Abstract
For the integration of design and manufacturing activities, it is important to have product models which represent all the necessary information for machine products under consideration. Several research works have been already carried out, but still it is not clear how to actually construct product models in a consistent manner. Here we propose a method combining the first order predicate logic and object-oriented approach for the model description. We deal with geometric constraints, such as dimensions, tolerances and assembly by this description method. With the aid of first order logic, we manipulate relations that appear in machine assembly in terms of geometry. And object-oriented approach helps us represent attributes of objects in an abstract way. We developed a prototype system based on this concept and some examples of assembly description, tolerance distribution and disassemblability verification are shown.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
