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

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

2、和研究背景?！　〉诙绿岢隽水a(chǎn)品方案形式化設(shè)計(jì)的基本原理。分析了不同方案設(shè)計(jì)類型的形式化設(shè)計(jì)步驟。給出了產(chǎn)品方案形式化設(shè)計(jì)的語(yǔ)言和和演繹方法?！　〉谌绿岢隽诉\(yùn)動(dòng)功能到機(jī)構(gòu)映射、機(jī)構(gòu)映射到機(jī)構(gòu)組合的層次運(yùn)動(dòng)方案設(shè)計(jì)模型?！　〉谒恼绿岢隽水a(chǎn)品裝配方案的形式化設(shè)計(jì)方法。在功能分類的基礎(chǔ)上，通過(guò)功能到裝配語(yǔ)義，裝配語(yǔ)義到裝配約束的形式化演繹(映射)方法，實(shí)現(xiàn)了功能到裝配約束關(guān)系的映射。在此基礎(chǔ)上，利用裝配單元符號(hào)的組合演繹方法生成裝配草

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