Article

Free access

A reference kernel model for feature-based CAD systems supported by conditional attributed rewrite systems

Authors:

Ferruccio Mandorli,

Harald E. Otto,

Fumihiko KimuraAuthors Info & Claims

SMA '93: Proceedings on the second ACM symposium on Solid modeling and applications

Pages 343 - 354

https://doi.org/10.1145/164360.164468

Published: 01 June 1993 Publication History

PDF eReader

References

[1]

ACIS Interface Guide, Spatial Technology, Inc., Boulder, Colorado, 1991.

Google Scholar

[2]

Barichella, E., Beretta, M., Dioguardi, N., Mussio, P., Padula, M., Pietrogrande, M., Protti, M., A Visual Environment for Liver Simulation Studies, Visual Languages and Applications, R. Korfage, T. lchikawa (eds.), Plenum Press, in Press.

Google Scholar

[3]

Bergstra, J.A. and Klop, J.W., Conditional rewrite rules; Confluence and termination, Journal of Computational Science, 32, pp. 323-362, 1986.

Digital Library

Google Scholar

[4]

BjOrke, O., Geometry as a scientific base in manufacturing technologies, Robotics & Computer-lntegrated Manufacturing, 9, 4/5, pp. 377-382, 1992.

Google Scholar

[5]

Book, R.V., Thue systems as rewriting systems, Journal of Symbolic Computation, 3, pp. 39-68, 1987.

Digital Library

Google Scholar

[6]

Bottoni, P., Mussio, P. and Protti, M., Knowledge-Based contextual recognition and sieving of digital images, Pattern Recognition Letters, 10, 2, pp. 101-110, 1989.

Crossref

Google Scholar

[7]

Bottoni, P., Mussio, P. and Protti, M., Metalevel Control in Planning and Executing Image Interpretation Strategies, 6 t h International Conference on Image Analysis and Processing, 1991.

Google Scholar

[8]

Bottoni, P., Mussio P. and Protti, M., Metareasoning as a tool for pattern recognition, 11th IAPR Conference: Pattern Recognition Methodology and Systems, Forthcoming.

Google Scholar

[9]

Corney, J. and Clark, D.E.R., A Method for Finding Holes and Pockets which connect Multiple Faces in 2 1/2 D Objects, Computer Aided Design, 23, 10, pp. 658-668, 1991.

Crossref

Google Scholar

[10]

Cugini, U., Ferri, M., Mussio, P. and Protti, M., Pattern-directed restoration and vectorization of digitized engineering drawings, Computers & Graphics, 8, pp. 337- 350, 1984.

Crossref

Google Scholar

[11]

Cugini, U., M andorli, F. and V icini I., Form Features Recognition as a Technique for CAD- CAM Integration, in: Proceeding MICAD '92, pp. 115-126, Paris, February 1992.

Google Scholar

[12]

Cugini, U., Mandorli, F. and Vicini, I., Using Features as Knowledge Formalization for Simultaneous Engineering, in: Proceedings of the IFIP TC5/WG5.3 Eight International PROLAMAT Conference, Man in CIM, G.J, Oiling and F. Kimura (eds.), pp. 337-349, Tokyo, June 1992.

Digital Library

Google Scholar

[13]

Falcidieno, B. and G iannini, F., Automatic Recognition and Representation of Shape based Features in a Geometric Modelling System, Computer Vision, Graphics and Image Processing, 48, pp. 93-123, 1989.

Digital Library

Google Scholar

[14]

Finger, S, and Dixon, J.R., A Review of Research in Mechanical Engineering Design, Part I: Descriptive, Prescriptive, and Computer- Based Models of Design Process, Research in Engineering Design 1(1), pp. 51-67, 1989.

Crossref

Google Scholar

[15]

ten Hagen, P. J. W. and Tomiyama, T., Intelligent CAD Systems, i: Theoretical and Methodological Aspects. Springer-Verlag, Berlin 1987.

Digital Library

Google Scholar

[16]

Henderson, M.R. and Anderson, D.C., Computer Recognition and Extraction of Form Features: A CAD/CAM Link, Computers in Industry, 5, pp. 329-339, 1984.

Crossref

Google Scholar

[17]

Hirschtick, J K. arid Gossard, D.C., Geometric reasoning for design advisory system, in: Proceedings of the 1986 ASME International Computers in Engineering Conference & Exhibition, Chicago, 1986.

Google Scholar

[18]

Karinthi, R.R. and Nau, D., An Algebraic Approach to Feature Interactions, IEEE Transactions on Pattern Analysis and Machine intelligence, 14, 4, pp. 469-484, 1992.

Digital Library

Google Scholar

[19]

Kimura, F., Yamaguchi, Y. and Kobayashi, K., New features of geometric modeling for product description, Advanced Geometric Modelling For Engineering Applications Conference, F.-L. Krause and H. Jansen (eds.), Berlin, Germany, pp. 35-52, 1989.

Google Scholar

[20]

Kyprianou, M.R., Shape Classification in Computer Aided Design, Ph.D. Dissertation, University of Cambridge, Cambridge, U.K., 1980.

Google Scholar

[21]

Laakko, T. and Miintylii, M., Feature-Based Modelling of Families of Machined Parts, Report TKO-B71, Department of Computer Science, Helsinki University of Technology, Helsinki, Finland, 1991.

Google Scholar

[22]

Laakko, T. and Mantylii, M., A New Form Feature Recognition Algorithm, in Computer Applications in Production and Engineering: Integration Aspects Elsevier Science Publishers B.V. (North-Holland), IFIP, pp. 369- 376, 1991.

Google Scholar

[23]

Lee, Y.C.and Fu, K.S., Machine Understanding of CSG: Extraction and Unification of Manufacturing Features, IEEE Computer Graphics & Applications, 7, 11, pp. 20-32, 1987.

Google Scholar

[24]

Maes, P., Computational Reflection, Knowledge Engineering Review, 3, pp. 3-19, 1988.

Crossref

Google Scholar

[25]

Mandorli, F. and Vicini, I., A form feature automatic recognition system, in: Proceeding ICAR'91, Pisa, pp.1398-1403, 1991.

Crossref

Google Scholar

[26]

Merelli, D., Mussio, P. and Padula, M., An approach to the definition, description, and extraction of structures in binary digital images, Computer Vision, Graphics, and image Processing, 31, pp. 19-49, 1985.

Google Scholar

[27]

Mussio, P., Pitrogrande, M.and Protti, M., Simulation of hepatological models: a study in visual interactive exploration of scientific problems, Journal of Visual Languages and Computing, 2, 1, pp. 75-95, 1991.

Digital Library

Google Scholar

[28]

Ostrowski, M.C., Feature-based Design using Constructive Solid Geometry, Internal Report, General Electric Corporate Research and Development, March 1987.

Google Scholar

[29]

Otto, H.E. and Mandorli, F., A Reference Kernel for Feature-Based CAD-Systems; Theoretical and Practical Aspects, Research Note RN-KLO- 7-92, Dept. of Precision Machinery Engineering, University of Tokyo, July 1992.

Google Scholar

[30]

Pemg D., Chen Z.and Li, R., Automatic 3D Machining Features Extraction from 3D CSG Solid Input, Computer Aided Design, 22, 5, pp. 285-295, 1990.

Digital Library

Google Scholar

[31]

Pratt, M.J., Synthesis Of An Optimal Approach To Form Feature Modeling, ASME Computer and Engineering Conference, San Francisco, California, pp. 263-274, 1988.

Google Scholar

[32]

Pratt, M.J., A Hybrid Feature-Based Modelling System, Advanced Geometric Modelling For Engineering Applications Conference, F.-L. Krause and H. Jansen (eds.), Berlin, Germany, pp.177-189, 1989.

Google Scholar

[33]

Roller, D., Design by features: An Approach to High Level Shape Manipulations, in CAD.K! Workshop "Forschungsinstitut fiir angewandte Wissensverarbeitung", 1988.

Google Scholar

[34]

Rossignac, J.R., Issues On Feature-Based Editing And Interrogation Of Solid Models, Computers & Graphics, pp. 149-172, 1990.

Google Scholar

[35]

Sakurai, H.and Gossard D.C, Recognizing Shape Features in Solid Models, IEEE Computer Graphics & Applications, 10, 5, pp. 22-32, 1990.

Digital Library

Google Scholar

[36]

Shah, J.J. and Rogers, M.T., Feature Based Modeling Shell: Design and Implementation, ASME Computer and Engineering Conference, San Francisco, California, pp. 255-261, 1989.

Google Scholar

[37]

Smith, B. C., Reflection and Semantics in a Procedural Language, Ph. D. Thesis, Massachusetts Institute of Technology, Cambridge, Massachusetts, 1982.

Google Scholar

[38]

Smyth, M., Effectively given domains, Theoretical Computer Science, 5, pp. 257-274, 1977.

Crossref

Google Scholar

[39]

Stroustrup, B., The C++ Programming Language, Theoretical Computer Science, Addison-Wesley Publ., Reading, MA., 1986.

Digital Library

Google Scholar

[40]

Suzuki, H., Inui, M., Kimura, F. and Sata, T., A Product Modeling System for Constructing Intelligent CAD and CAM Systems, in: Robotics & Computer-Integrated Manufacturing, 4, 3/4, pp. 483-489, 1988.

Google Scholar

[41]

Takeda, H., Veerkamp, P., Tomiyama, T. and Yoshikawa, H., Modeling Design Processes, AI Magazine, pp. 37-48, 1990.

Digital Library

Google Scholar

[42]

Tomiyama, T. and Yoshikawa, H., Extended General Design Theory, in: Design Theory for CAD - Proceedings of the IFIP Working Group 5.2 Working Conference, H. Yoshikawa and E.4. Warman (eds.), pp. 95-124, 1987.

Google Scholar

[43]

Ullman, D.G., Dietterich, T.G., and Stauffer, L.A., A Model of the Mechanical Design Process Based on Empirical Data" A Summary, in: Artificial Intelligence in Engineering Design, J.S. Gero (ed.), pp. 193-215, Elsevier, Amsterdam, 1988.

Google Scholar

[44]

Veth B., An Integrated Data Description Language for Coding Design Knowledge, in: Intelligent CAD Systems, I: Theoretical and Methodological Aspects, P.I.W. ten Hagen and T. Tomiyama (eds.), pp. 295-313, Springer- Verlag, Berlin, 1987.

Crossref

Google Scholar

[45]

Wilson, P.R. and Pratt, M.J., A Taxonomy of Form Features for Solid Modeling, in: Geometric Modeling for CAD Applications, M.J. Wozny, H.W. McLaughlin and J. Encarna~tto (eds.), North-Holland Publisher, 1988.

Google Scholar

[46]

Yoshikawa, H., General Design Theory and a CAD System, in: Man-Machine Communication in CADICAM - Proceedings of the IFIP Working Group 5.2-5.3 Working Conference, T. Sara and E. A. Warman (eds.), pp. 35-53, 1981.

Google Scholar

Cited By

View all

Marconi MGermani MFavi CRaffaeli R(2018)CAD feature recognition as a means to prevent ergonomics issues during manual assembly tasksComputer-Aided Design and Applications10.1080/16864360.2018.144124015:5(734-746)Online publication date: 6-Mar-2018
https://doi.org/10.1080/16864360.2018.1441240
Raffaeli RMandolini MGermani M(2013)Identification of Weld Beads in Assemblies of B-Rep ModelsComputer-Aided Design and Applications10.1080/16864360.2014.86348511:3(263-274)Online publication date: 9-Dec-2013
https://doi.org/10.1080/16864360.2014.863485
Lobo EFertuzinhos JSilva JMachado J(2012)Obtaining Plant Models for Formal Verification Tasks from 3D CAD Models: Which is the Best Approach?Advanced Materials Research10.4028/www.scientific.net/AMR.630.283630(283-290)Online publication date: Dec-2012
https://doi.org/10.4028/www.scientific.net/AMR.630.283
Show More Cited By

Index Terms

A reference kernel model for feature-based CAD systems supported by conditional attributed rewrite systems

Recommendations

Proving termination of (conditional) rewrite systems

In this paper an important problem in the domain of term rewriting, the termination of (conditional) rewrite systems, is dealt with. We show that in many applications, well-founded orderings on terms which only make use of syntactic information of a ...
Kernel-based hidden Markov conditional densities
Abstract
A natural way to obtain conditional density estimates for time series processes is to adopt a kernel-based (nonparametric) conditional density estimation (KCDE) method. To this end, the data generating process is commonly assumed to be ...
Feature selection based on conditional mutual information: minimum conditional relevance and minimum conditional redundancy

Feature selection is a process that selects some important features from original feature set. Many existing feature selection algorithms based on information theory concentrate on maximizing relevance and minimizing redundancy. In this paper, relevance ...

Comments

Information & Contributors

Information

Published In

SMA '93: Proceedings on the second ACM symposium on Solid modeling and applications

June 1993

498 pages

ISBN:0897915844

DOI:10.1145/164360

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1993

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

SMF93

Sponsor:

SIGGRAPH

SMF93: ACM Symposium in Solid Modeling Foundations and CAD/CAM Applications

May 19 - 21, 1993

Quebec, Montreal, Canada

Acceptance Rates

Overall Acceptance Rate 86 of 173 submissions, 50%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
400
Total Downloads

Downloads (Last 12 months)8
Downloads (Last 6 weeks)0

Reflects downloads up to 10 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Marconi MGermani MFavi CRaffaeli R(2018)CAD feature recognition as a means to prevent ergonomics issues during manual assembly tasksComputer-Aided Design and Applications10.1080/16864360.2018.144124015:5(734-746)Online publication date: 6-Mar-2018
https://doi.org/10.1080/16864360.2018.1441240
Raffaeli RMandolini MGermani M(2013)Identification of Weld Beads in Assemblies of B-Rep ModelsComputer-Aided Design and Applications10.1080/16864360.2014.86348511:3(263-274)Online publication date: 9-Dec-2013
https://doi.org/10.1080/16864360.2014.863485
Lobo EFertuzinhos JSilva JMachado J(2012)Obtaining Plant Models for Formal Verification Tasks from 3D CAD Models: Which is the Best Approach?Advanced Materials Research10.4028/www.scientific.net/AMR.630.283630(283-290)Online publication date: Dec-2012
https://doi.org/10.4028/www.scientific.net/AMR.630.283
Gameiro SAlmeida LFreitas APereira PMarcos Avan Zijl LMarais P(2004)Developing applications for the Portuguese Shoe IndustryProceedings of the 3rd international conference on Computer graphics, virtual reality, visualisation and interaction in Africa10.1145/1029949.1029972(125-129)Online publication date: 3-Nov-2004
https://dl.acm.org/doi/10.1145/1029949.1029972
Clement ARiviere ASerre P(1999)Global Consistency of Dimensioning and TolerancingGlobal Consistency of Tolerances10.1007/978-94-017-1705-2_1(1-26)Online publication date: 1999
https://doi.org/10.1007/978-94-017-1705-2_1
Bottoni PCostabile MMandorli FMussio PPaternò FPizzicannella RSantucci G(1998)Methodologies and Tools for Co-operative Interaction in the Design ProcessGlobalization of Manufacturing in the Digital Communications Era of the 21st Century10.1007/978-0-387-35351-7_36(451-462)Online publication date: 1998
https://doi.org/10.1007/978-0-387-35351-7_36
Mandorli FCugini UOtto HKimura FHoffmann CBronsvoort WAllen GPratt MRosen D(1997)Modeling with self validation featuresProceedings of the fourth ACM symposium on Solid modeling and applications10.1145/267734.267757(88-96)Online publication date: 1-May-1997
https://dl.acm.org/doi/10.1145/267734.267757
Mandorli FCugini UOtto HKimura F(1996)Reflective control of attributed entities in feature-based CAD systems using a CARW system managerKnowledge Intensive CAD10.1007/978-0-387-34930-5_11(151-170)Online publication date: 1996
https://doi.org/10.1007/978-0-387-34930-5_11
Otto HKimura F(1994)THE DESCRIPTIVE PARTIAL EMBEDDING OF FORM FEATURE MODELS BASED ON TYPED ATTRIBUTED ENTITY STRUCTURES IN THE STANDARD FOR THE EXCHANGE OF PRODUCT MODEL DATAAdvancement of Intelligent Production10.1016/B978-0-444-81901-7.50018-9(19-26)Online publication date: 1994
https://doi.org/10.1016/B978-0-444-81901-7.50018-9

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Proving termination of (conditional) rewrite systems

Kernel-based hidden Markov conditional densities

Feature selection based on conditional mutual information: minimum conditional relevance and minimum conditional redundancy

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF

eReader

Login options

Full Access

References

Cited By

Index Terms

Recommendations

Proving termination of (conditional) rewrite systems

Kernel-based hidden Markov conditional densities

Feature selection based on conditional mutual information: minimum conditional relevance and minimum conditional redundancy

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations