面向產(chǎn)品方案的形式化設計關鍵技術(shù)研究.pdf

1、針對產(chǎn)品方案設計中設計信息抽象性、模糊性和層次性等特點，本文提出了面向產(chǎn)品方案的形式化設計理論和方法，對運動方案設計、裝配方案設計、配置方案設計以及設計方案重用中的關鍵技術(shù)進行了深入研究，并結(jié)合實際應用項目將上述理論應用于實際產(chǎn)品開發(fā)中，取得了較好的效果，證明了作者所提設計理論的正確性和先進性?！　≌撐牡闹饕ぷ靼ǎ骸　〉谝徽戮C述了產(chǎn)品方案設計發(fā)展歷史和現(xiàn)狀，指出了產(chǎn)品方案形式化設計的必然性。闡述了產(chǎn)品方案形式化設計理論的主要思想

2、和研究背景。　　第二章提出了產(chǎn)品方案形式化設計的基本原理。分析了不同方案設計類型的形式化設計步驟。給出了產(chǎn)品方案形式化設計的語言和和演繹方法。　　第三章提出了運動功能到機構(gòu)映射、機構(gòu)映射到機構(gòu)組合的層次運動方案設計模型?！　〉谒恼绿岢隽水a(chǎn)品裝配方案的形式化設計方法。在功能分類的基礎上，通過功能到裝配語義，裝配語義到裝配約束的形式化演繹(映射)方法，實現(xiàn)了功能到裝配約束關系的映射。在此基礎上，利用裝配單元符號的組合演繹方法生成裝配草

3、圖。　　第五章提出了產(chǎn)品配置方案的形式化設計方法。研究了模板符號和節(jié)點符號的組成、性質(zhì)和相互關系，提出了基于模板符號的配置優(yōu)化設計過程模型。研究了基于模板符號的變量化設計?！　〉诹绿岢隽嗽O計方案重用方法。通過建立方案樹節(jié)點“與/或”關系運算規(guī)則實現(xiàn)了方案設計過程的形式化和設計結(jié)果的形式化。由于形式化的方案設計結(jié)果不僅表達了方案設計的原理解，而且包含了方案設計的過程信息，因此較好地實現(xiàn)了對已有設計方案的多層次重用?！　〉谄哒乱援a(chǎn)品