1-20 of 20
Formal methods
Close
Save search
Follow your search
Access your saved searches in your account
Would you like to receive an alert when new items match your search?
Close Modal
Sort by
Proceedings Papers

Toward Generating System Architecture and Formal Functional Description in the Architecture Analysis & Design Language (AADL) With Structured Natural Language

Anshumaan Chauhan, Parth Ganeriwala, Chiradeep Sen, Siddhartha Bhattacharyya
Proc. ASME. IDETC-CIE2022, Volume 2: 42nd Computers and Information in Engineering Conference (CIE), V002T02A077, August 14–17, 2022
Paper No: DETC2022-90002
DOI: https://doi.org/10.1115/DETC2022-90002
View Paper titled, Toward Generating System Architecture and Formal Functional Description in the Architecture Analysis & Design Language (AADL) With Structured Natural Language
Click here to open pdf in another window PDF for Toward Generating System Architecture and Formal Functional Description in the Architecture Analysis & Design Language (AADL) With Structured Natural Language
Topics: Design, System architecture, Aerospace industry, Computation, Errors, Formal methods, Modeling, Natural language processing
Proceedings Papers

Toward Formal Qualitative Reasoning to Support Functional Decomposition

Xiaoyang Mao, Chiradeep Sen
Proc. ASME. IDETC-CIE2022, Volume 2: 42nd Computers and Information in Engineering Conference (CIE), V002T02A046, August 14–17, 2022
Paper No: DETC2022-89940
DOI: https://doi.org/10.1115/DETC2022-89940
View Paper titled, Toward Formal Qualitative Reasoning to Support Functional Decomposition
Click here to open pdf in another window PDF for Toward Formal Qualitative Reasoning to Support Functional Decomposition
Topics: Algorithms, Design, Flow (Dynamics), Formal methods, Heating, Natural language processing, Physics, Systems engineering, Topology
Proceedings Papers

An Intelligent Real Time Design Methodology for Catalog Selection

S. R. Bradley, Alice M. Agogino
Proc. ASME. DETC91, 3rd International Conference on Design Theory and Methodology, 201-208, September 22–25, 1991
Paper No: DETC1991-0049
DOI: https://doi.org/10.1115/DETC1991-0049
View Paper titled, An Intelligent Real Time Design Methodology for Catalog Selection
Click here to open pdf in another window PDF for An Intelligent Real Time Design Methodology for Catalog Selection
Topics: Decision making, Design, Design methodology, Formal methods, Optimization, Rolling bearings
Proceedings Papers

Formalisms for Negotiation in Engineering Design

Michael J. Scott, Erik K. Antonsson
Proc. ASME. DETC-CIE96, Volume 4: 8th International Conference on Design Theory and Methodology, V004T04A018, August 18–22, 1996
Paper No: 96-DETC/DTM-1525
DOI: https://doi.org/10.1115/96-DETC/DTM-1525
View Paper titled, Formalisms for Negotiation in Engineering Design
Click here to open pdf in another window PDF for Formalisms for Negotiation in Engineering Design
Topics: Engineering design, Negotiation, Design, Formal methods, Manufacturing, Sales
Proceedings Papers

Quantifying Design Freedom in Decision-Based Conceptual Design

William H. Wood
Proc. ASME. IDETC-CIE2000, Volume 4: 12th International Conference on Design Theory and Methodology, 355-365, September 10–13, 2000
Paper No: DETC2000/DTM-14577
DOI: https://doi.org/10.1115/DETC2000/DTM-14577
View Paper titled, Quantifying Design Freedom in Decision-Based Conceptual Design
Click here to open pdf in another window PDF for Quantifying Design Freedom in Decision-Based Conceptual Design
Topics: Conceptual design, Design, Uncertainty, Entropy, Formal methods
Proceedings Papers

Decision-Based Design Method for Computing Marginal Cost of Durability

Felipe M. Pasquali, Jonatan Meza, John F. Hall
Proc. ASME. IDETC-CIE2020, Volume 6: 25th Design for Manufacturing and the Life Cycle Conference (DFMLC), V006T06A023, August 17–19, 2020
Paper No: DETC2020-22511
DOI: https://doi.org/10.1115/DETC2020-22511
View Paper titled, Decision-Based Design Method for Computing Marginal Cost of Durability
Click here to open pdf in another window PDF for Decision-Based Design Method for Computing Marginal Cost of Durability
Topics: Design methodology, Durability, Economics , Wind turbines, Design, Fatigue damage, Formal methods, Optimization
Proceedings Papers

Formalization of Fractional Flow Component in Higher-Order Logic Theorem Proving

Chunna Zhao, Murong Jiang, Yaqun Huang
Proc. ASME. IDETC-CIE2019, Volume 9: 15th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, V009T12A012, August 18–21, 2019
Paper No: DETC2019-97209
DOI: https://doi.org/10.1115/DETC2019-97209
View Paper titled, Formalization of Fractional Flow Component in Higher-Order Logic Theorem Proving
Click here to open pdf in another window PDF for Formalization of Fractional Flow Component in Higher-Order Logic Theorem Proving
Topics: Flow (Dynamics), Theorems (Mathematics), Complex systems, Fluid mechanics, Formal methods, Rheology, Vibration
Proceedings Papers

An Experimental Study of Feedback and Risk in Engineering Decision-Making

Mojtaba Arezoomand, Jesse Austin-Breneman
Proc. ASME. IDETC-CIE2017, Volume 2A: 43rd Design Automation Conference, V02AT03A019, August 6–9, 2017
Paper No: DETC2017-68336
DOI: https://doi.org/10.1115/DETC2017-68336
View Paper titled, An Experimental Study of Feedback and Risk in Engineering Decision-Making
Click here to open pdf in another window PDF for An Experimental Study of Feedback and Risk in Engineering Decision-Making
Topics: Decision making, Feedback, Risk, Design, Safety engineering, Economics , Engineering design, Formal methods, Performance, Probability
Proceedings Papers

Understanding the Impact of Expertise on Design Outcome: An Approach Based on Concept Inventories and Item Response Theory

Murtuza Shergadwala, Karthik N. Kannan, Jitesh H. Panchal
Proc. ASME. IDETC-CIE2016, Volume 3: 18th International Conference on Advanced Vehicle Technologies; 13th International Conference on Design Education; 9th Frontiers in Biomedical Devices, V003T04A016, August 21–24, 2016
Paper No: DETC2016-59038
DOI: https://doi.org/10.1115/DETC2016-59038
View Paper titled, Understanding the Impact of Expertise on Design Outcome: An Approach Based on Concept Inventories and Item Response Theory
Click here to open pdf in another window PDF for Understanding the Impact of Expertise on Design Outcome: An Approach Based on Concept Inventories and Item Response Theory
Topics: Design, Performance, Formal methods, Product development, Thermography
Proceedings Papers

Understanding Abstraction in Design: A Comparison of Three Functional Analysis Methods for Product Dissection

Joran W. Booth, Tahira Reid, Karthik Ramani
Proc. ASME. IDETC-CIE2013, Volume 5: 25th International Conference on Design Theory and Methodology; ASME 2013 Power Transmission and Gearing Conference, V005T06A002, August 4–7, 2013
Paper No: DETC2013-13130
DOI: https://doi.org/10.1115/DETC2013-13130
View Paper titled, Understanding Abstraction in Design: A Comparison of Three Functional Analysis Methods for Product Dissection
Click here to open pdf in another window PDF for Understanding Abstraction in Design: A Comparison of Three Functional Analysis Methods for Product Dissection
Topics: Design, Functional analysis, Students, Engineers, Electric drills, Errors, Flow (Dynamics), Formal methods
Proceedings Papers

An Investigation Into How Structural Design Process Performed by Industrial Design Engineering Trainees Unfolds

Eliab Z. Opiyo
Proc. ASME. IDETC-CIE2013, Volume 1: 15th International Conference on Advanced Vehicle Technologies; 10th International Conference on Design Education; 7th International Conference on Micro- and Nanosystems, V001T04A001, August 4–7, 2013
Paper No: DETC2013-12318
DOI: https://doi.org/10.1115/DETC2013-12318
View Paper titled, An Investigation Into How Structural Design Process Performed by Industrial Design Engineering Trainees Unfolds
Click here to open pdf in another window PDF for An Investigation Into How Structural Design Process Performed by Industrial Design Engineering Trainees Unfolds
Topics: Industrial design, Structural design, Formal methods, Product engineering
Proceedings Papers

Evaluating the Directed Method for Bioinspired Design

Michael W. Glier, Joanna Tsenn, Julie S. Linsey, Daniel A. McAdams
Proc. ASME. IDETC-CIE2012, Volume 7: 9th International Conference on Design Education; 24th International Conference on Design Theory and Methodology, 403-413, August 12–15, 2012
Paper No: DETC2012-71511
DOI: https://doi.org/10.1115/DETC2012-71511
View Paper titled, Evaluating the Directed Method for Bioinspired Design
Click here to open pdf in another window PDF for Evaluating the Directed Method for Bioinspired Design
Topics: Biomimetics, Design, Engineering design, Biology, Design methodology, Formal methods, Modeling, Sapphire
Proceedings Papers

A Pilot Study of Engineering Design-Decision Methods in Practice

Aaron Nichols, Andrew Olewnik
Proc. ASME. IDETC-CIE2012, Volume 7: 9th International Conference on Design Education; 24th International Conference on Design Theory and Methodology, 603-614, August 12–15, 2012
Paper No: DETC2012-70407
DOI: https://doi.org/10.1115/DETC2012-70407
View Paper titled, A Pilot Study of Engineering Design-Decision Methods in Practice
Click here to open pdf in another window PDF for A Pilot Study of Engineering Design-Decision Methods in Practice
Topics: Design, Engineering design, Engineers, Formal methods, Potential barrier, Students, Undergraduate students
Proceedings Papers

Manufacturing Footprint Computation From Detailed Machining Plans for Sustainability Assessment in Manufacturing Enterprises

Ananth K. Turaga, Utpal Roy
Proc. ASME. IDETC-CIE2011, Volume 2: 31st Computers and Information in Engineering Conference, Parts A and B, 959-968, August 28–31, 2011
Paper No: DETC2011-47984
DOI: https://doi.org/10.1115/DETC2011-47984
View Paper titled, Manufacturing Footprint Computation From Detailed Machining Plans for Sustainability Assessment in Manufacturing Enterprises
Click here to open pdf in another window PDF for Manufacturing Footprint Computation From Detailed Machining Plans for Sustainability Assessment in Manufacturing Enterprises
Topics: Computation, Machining, Manufacturing, Sustainability, Design, Cycles, Computer software, Computer-aided design, Engineering design, Engineers
Proceedings Papers

A Comparison of Formal Methods for Evaluating the Language of Preference in Engineering Design

Tomonori Honda, Maria C. Yang, Andy Dong, Haifeng Ji
Proc. ASME. IDETC-CIE2010, Volume 5: 22nd International Conference on Design Theory and Methodology; Special Conference on Mechanical Vibration and Noise, 297-306, August 15–18, 2010
Paper No: DETC2010-29045
DOI: https://doi.org/10.1115/DETC2010-29045
View Paper titled, A Comparison of Formal Methods for Evaluating the Language of Preference in Engineering Design
Click here to open pdf in another window PDF for A Comparison of Formal Methods for Evaluating the Language of Preference in Engineering Design
Topics: Engineering design, Formal methods, Preferences, Design, Modeling, Probability, Teams
Proceedings Papers

Aligning Shape Rule Creation With Modular Design: Minimizing the Cost of Using Shape Grammars

Jay McCormack, Jonathan Cagan, James Antaki
Proc. ASME. IDETC-CIE2008, Volume 4: 20th International Conference on Design Theory and Methodology; Second International Conference on Micro- and Nanosystems, 107-118, August 3–6, 2008
Paper No: DETC2008-49366
DOI: https://doi.org/10.1115/DETC2008-49366
View Paper titled, Aligning Shape Rule Creation With Modular Design: Minimizing the Cost of Using Shape Grammars
Click here to open pdf in another window PDF for Aligning Shape Rule Creation With Modular Design: Minimizing the Cost of Using Shape Grammars
Topics: Design, Shapes, Formal methods, Geometry, Product development
Proceedings Papers

Consistency Constraint Allocation in Augmented Lagrangian Coordination

James T. Allison, Panos Y. Papalambros
Proc. ASME. IDETC-CIE2008, Volume 1: 34th Design Automation Conference, Parts A and B, 917-926, August 3–6, 2008
Paper No: DETC2008-49823
DOI: https://doi.org/10.1115/DETC2008-49823
View Paper titled, Consistency Constraint Allocation in Augmented Lagrangian Coordination
Click here to open pdf in another window PDF for Consistency Constraint Allocation in Augmented Lagrangian Coordination
Topics: Design, Engineering systems and industry applications, Formal methods, Optimization, Optimization algorithms, Pumps, Water
Proceedings Papers

Utilization of Concept Selection Methods: A Survey of Finnish Industry

Mikko Salonen, Matti Perttula
Proc. ASME. IDETC-CIE2005, Volume 5a: 17th International Conference on Design Theory and Methodology, 527-535, September 24–28, 2005
Paper No: DETC2005-85047
DOI: https://doi.org/10.1115/DETC2005-85047
View Paper titled, Utilization of Concept Selection Methods: A Survey of Finnish Industry
Click here to open pdf in another window PDF for Utilization of Concept Selection Methods: A Survey of Finnish Industry
Topics: Decision making, Design, Formal methods
Proceedings Papers

Modeling Imprecise and Uncertain Engineering Information in EXPRESS-G and Relational Data Models

Z. M. Ma
Proc. ASME. IDETC-CIE2005, Volume 3: 25th Computers and Information in Engineering Conference, Parts A and B, 1059-1066, September 24–28, 2005
Paper No: DETC2005-85663
DOI: https://doi.org/10.1115/DETC2005-85663
View Paper titled, Modeling Imprecise and Uncertain Engineering Information in EXPRESS-G and Relational Data Models
Click here to open pdf in another window PDF for Modeling Imprecise and Uncertain Engineering Information in EXPRESS-G and Relational Data Models
Topics: Modeling, Databases, Engineering systems and industry applications, Uncertainty, Computers, Engineering design, Formal methods, Manufacturing, Manufacturing systems, Relational databases
Proceedings Papers

A Formal Model of Functional Decomposition

Pawel Garbacz
Proc. ASME. IDETC-CIE2006, Volume 4a: 18th International Conference on Design Theory and Methodology, 115-124, September 10–13, 2006
Paper No: DETC2006-99097
DOI: https://doi.org/10.1115/DETC2006-99097
View Paper titled, A Formal Model of Functional Decomposition
Click here to open pdf in another window PDF for A Formal Model of Functional Decomposition
Topics: Engineering design, Formal methods, Ontologies