Abstract
Machine elements and systems are represented for use in a design library to support the tasks involved in machine design. Machines are modeled as systems decomposable hierarchically from both the views of structure and behavior. Systems and their decomposed structures are represented algebraically using set and list primitives while behaviors are represented using typed predicate logic. The function, i.e. purpose, of subsystems in a machine system is also represented. Procedures to support design verification, design selection and design synthesis using algebraic and logical transformation rules are presented. The development of the representation scheme and reasoning procedures are illustrated with simple examples from machine design.
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.
