Session: CIE-07-01 - CAPPD: Computer-Aided Product and Process Development

Paper Number: 89940

89940 - Toward Formal Qualitative Reasoning to Support Functional Decomposition 

Functional decomposition is an important task in early systems engineering and design, where the overall function of the system is resolved into the functions of its components or subassemblies. Conventionally, this task is performed manually, because of multiple possible solution paths and the need for understanding the physics principles and phenomena that could be used to realize the desired effects. This paper presents an approach to developing a formal method for functional decomposition using physics-based qualitative reasoning. The representation includes three parts: (1) a natural language reasoner that detects the changes of physical states of material and energy flows, (2) a set of causation tables that abstract the knowledge of qualitative physics by capturing the causal relations between the various quantities involved in a physical phenomenon or process, and (3) a process-to-subgraph mapping that translate the physical processes into function structure constructs. The algorithm uses the above three representations and some topological reasoning to assemble function models that represent the decomposition of a given black-box model. The paper illustrates the potential of this method for functional decomposition using an example of an air-heating device. The paper also discusses the limitations and challenges in maturing this approach into an end-usable design tool.

Presenting Author: Chiradeep Sen Florida Institute Of Technology

Presenting Author Biography: Chiradeep Sen is an Associate Professor of Mechanical Engineering at Florida Institute of Technology. His research interests include formal representations, reasoning, and linguistics in design, function-based design, design automation, and design cognition.

Authors:

Xiaoyang Mao Nanjing University of Science & Technology
Chiradeep Sen Florida Institute Of Technology