DOI: 10.3724/SP.J.1089.2010.11062

Journal of Computer-Aided Design & Computer Graphics (计算机辅助设计与图形学学报) 2010/22:9 PP.1578-1586

EFVM Solving Algorithm of Function Trees

There often exist enormous possible solutions in solving of and/or/not function trees. A solving algorithm based on the four-valued matrix (FVM) is proposed. The FVM, extended four-valued matrix (EFVM) and FVM system are constructed from the characteristics of and/or/not function trees. Then, the ISOmorph between the FVM system and classical propositional logic's disjunctive normal form system is analyzed, the extensions of the FVM are achieved, and the EFVM direct solving algorithm is given. At last, the EFVM solving algorithm considering simplification is proposed by taking logic simplification into account. The experimental results show that the EFVM solving algorithm reduces the quantity of solutions under the condition of lots of redundancies, and then effectively supports conceptual design.

Key words:conceptual design,and-or-not function tree,classical propositional logic,algebra system,simplification

ReleaseDate:2014-07-21 15:25:45

[1] lvander J, Lundén B, Gavel H. A computerized optimization framework for the morphological matrix applied to aircraft conceptual design[J]. Computer-Aided Design, 2009, 41(3): 187-196

[2] Mateen-ud-Din Q, He L S. Nearly-orthogonal sampling and neural network metamodel driven conceptual design of multistage space launch vehicle[J]. Computer-Aided Design, 2006, 38(6): 595-607

[3] Hsu W, Woon I M Y. Current research in the conceptual design of mechanical products[J]. Computer-Aided Design, 1998, 30(5): 377-389

[4] Zhu Longying, Zhu Rupeng, Liu Zhengxun. Product information model for integrating axiomatic design with DFA[J]. Journal of Computer-Aided Design & Computer Graphics, 2004, 16(2): 216-221 (in Chinese) (朱龙英, 朱如鹏, 刘正埙. 公理化设计与DFA集成的产品信息模型[J]. 计算机辅助设计与图形学学报, 2004, 16(2): 216-221)

[5] Chakrabarti A, Bligh T P. A scheme for functional reasoning in conceptual design[J]. Design Studies, 2001, 22(6): 493-517

[6] Zhang Shuai, Feng Peien, Pan Shuangxia,et al. Study on automatic conceptual design strategy based on cyclic mapping model[J]. Journal of Computer-Aided Design & Computer Graphics, 2005, 17(3): 491-497 (in Chinese) (张 帅, 冯培恩, 潘双夏, 等. 基于循环映射模型的概念设计自动化策略研究[J]. 计算机辅助设计与图形学学报, 2005, 17(3): 491-497)

[7] Liu X P, Qin J, Tang Y M. An innovative function-tree building method based on similarity theory and extension theory[C]// Proceedings of the 7th International Conference on Computer-Aided Industrial Design and Conceptual Design, Hangzhou, 2006: 199-204

[8] Liu Xiaoping, Lu Jingting, Tang Yiming. A contrast similarity function-tree's extension method based on extension theory[J]. Journal of Engineering Graphics, 2009, 30(1): 153-159 (in Chinese) (刘晓平, 陆劲挺, 唐益明. 基于可拓学的对比相似功能树扩展方法[J]. 工程图学学报, 2009, 30(1): 153-159)

[9] Song Huijun, Lin Zhihang. Product model supported by axiomatic design in conceptual design[J]. Journal of Computer-Aided Design & Computer Graphics, 2002, 14 (7): 632-636 (in Chinese) (宋慧军, 林志航. 公理化设计支持的概念设计产品模型[J]. 计算机辅助设计与图形学学报, 2002, 14(7): 632-636)

[10] Tang Y M, Liu X P. Task partition for function tree according to innovative functional reasoning[C]// Proceedings of the 12th International Conference on Computer Supported Cooperative Work in Design, Xi'an, 2008: 189-195

[11] Shai O, Reich Y, Rubin D. Creative conceptual design: extending the scope by infused design[J]. Computer-Aided Design, 2009, 41(3): 117-135

[12] Li T S, Huang H H. Applying TRIZ and fuzzy AHP to develop innovative design for automated manufacturing systems[J]. Expert Systems with Applications, 2009, 36(4): 8302-8312

[13] Chang H T, Chen J L. The conflict-problem-solving CAD software integrating TRIZ into eco-innovation[J]. Advances in Engineering Software, 2004, 35(8-9): 553-566

[14] Liu Xiaoping, Tang Yiming, Qin Jin,et al. A function-solving method based on extended function matrix in conceptual design[J]. Journal of Computer-Aided Design & Computer Graphics, 2007, 19(12): 1610-1617 (in Chinese) (刘晓平, 唐益明, 秦 晋, 等. 概念设计中基于扩展功能矩阵的功能求解方法[J]. 计算机辅助设计与图形学学报, 2007, 19(12): 1610-1617)

[15] Wang G J, Fu L, Song J S. Theory of truth degrees of propositions in two-valued logic[J]. Science in China: Series A, 2002, 45(9): 1106-1116

[16] Zha Jushan. Telescopic tea cup[P]. Patent of Utility Model: China, 02259916.9, 2003-09-03 (in Chinese) (查菊山.伸缩式茶杯[P]. 中国, 02259916.9, 2003-09-03)