【文章內(nèi)容簡(jiǎn)介】 究 CAD 格式 IGES 和 STEP 等標(biāo)準(zhǔn)格式，研究離散模型表示格式 3. 研究模型的特征表示復(fù)用方法及其度量方法 4. 研究 基于類型論的命令式程序表示方法 5. 數(shù)組理論域的可判定理論研究 6. 自動(dòng)定理證明工具擴(kuò)展 7. 研究基于 WBS的流程構(gòu)建方法 及工具 8. 研發(fā)基于透明加解密的設(shè)計(jì)文檔保護(hù)系統(tǒng) 。 9. 研究 基于 GPU構(gòu)架的并行智能布點(diǎn)技術(shù) ，研發(fā) 復(fù)雜產(chǎn)品優(yōu)化設(shè)計(jì)平臺(tái) 。 1. 對(duì)拉伸、抽殼和拔模等高層次的幾何特征操作中取得高精度結(jié)果以及可控的誤差，找到統(tǒng)一的誤差表示模型。 2. 完成至少 3 種常用數(shù)據(jù)模型 格式的轉(zhuǎn)換工具并可演示。 3. 基于 COQ 工具，提出對(duì)命令式程序的一般性表示方法。 4. 在 FOPIC 基礎(chǔ)之上，對(duì)數(shù)組數(shù)據(jù)類型進(jìn)行擴(kuò)展，支持對(duì)數(shù)組數(shù)據(jù)類型的自動(dòng)定理證明。 5. 提出基于 WBS 和工作流的動(dòng)態(tài) WBS理論 ， 構(gòu)建基于 WBS 的流程建模工具集 6. 開發(fā)基于透明加解密的設(shè)計(jì)文檔保護(hù)原型系統(tǒng) 。 7. 針對(duì)不同優(yōu)化對(duì)象，構(gòu)建復(fù)雜產(chǎn)品優(yōu)化設(shè)計(jì)平臺(tái)。 15 年度 研究?jī)?nèi)容 預(yù)期目標(biāo) 第 四 年 1. 研究產(chǎn)品設(shè)計(jì)周期中誤差類型及其傳播和擴(kuò)散機(jī)制， 產(chǎn)品各種數(shù)據(jù)表示及其關(guān)聯(lián)關(guān)系，各種數(shù)據(jù)的異構(gòu)和同構(gòu)屬性。 2. 研究離散模型 的 格式與 CAD常見格式之間的轉(zhuǎn)換方法，多分辨率模型表示格 式和輕量化表示格式，特征表示的語義定義方法和特征縫合方法 ， 并研制相應(yīng)的工具集 。 3. 研究謂詞發(fā)現(xiàn)方法 、冗余謂詞消去方法， 開發(fā)程序驗(yàn)證工具 。 4. 研究基于動(dòng)態(tài) WBS的設(shè)計(jì)過程可視化交互模式 ， 研發(fā)動(dòng)態(tài) WBS 可視化表現(xiàn)工具 5. 研發(fā)基于隱私保護(hù)的設(shè)計(jì)文件分發(fā)系統(tǒng) 6. 研究 基于特征分析的高質(zhì)量大規(guī)模數(shù)據(jù)可視化算法。 1. 分析歸納出所有誤差類型以及其傳播擴(kuò)散機(jī)理，形成設(shè)計(jì)全生命周期的產(chǎn) 品數(shù)據(jù)誤差統(tǒng)一表示理論和方法。 2. 將 特征復(fù)用系統(tǒng)在汽車設(shè)計(jì)等應(yīng)用中 進(jìn)行 應(yīng)用驗(yàn)證 。 3. 開發(fā)面向幾何算法程序的驗(yàn)證工具。 4. 完成動(dòng)態(tài) WBS交互工具 。 5. 完成基于隱私保 護(hù)的設(shè)計(jì)文件分發(fā)系統(tǒng) 。 6. 實(shí)現(xiàn) 基于特征分析的高質(zhì)量大規(guī)模數(shù)據(jù)可視化算法 ，以及 面向多核、分布式集群、 GPU、 GPU 集群以及網(wǎng)格環(huán)境的大規(guī)模仿真數(shù)據(jù)并行可視化算法。 第 五 年 1. 研究產(chǎn)品數(shù)據(jù)模型的輕量化表示理論和方法、數(shù)據(jù)壓縮理論和策略。 2. 研制模型格式轉(zhuǎn)換工具集 、 模型特征的提取分割和復(fù)用工具集 。 3. 整合面向設(shè)計(jì)過程的建模工具集， 進(jìn)行 系統(tǒng)測(cè)試 4. 研發(fā)設(shè)計(jì)過程安全保障工具集，進(jìn)行 系統(tǒng)測(cè)試 5. 大型可信軟件平臺(tái)的集成 測(cè)試及其示范應(yīng)用 。 1. 建立統(tǒng)一產(chǎn)品數(shù)據(jù)模型的輕量化表示理論和方法，形成有損和無損的多種有效的數(shù)據(jù)壓縮方案。 2. 構(gòu)建幾何算法程序建模與驗(yàn)證集成平臺(tái)原型系統(tǒng)，實(shí)現(xiàn)平臺(tái)工具集 。 3. 完成 面向設(shè)計(jì)過程 的 安全保障工具集 4. 形成一個(gè)具有原始創(chuàng)新和實(shí)用價(jià)值的仿真模擬和優(yōu)化設(shè) 計(jì)平臺(tái)， 在汽車行業(yè) 典型 產(chǎn)品設(shè)計(jì)中應(yīng)用。 1 參考： 16 畢業(yè)論文（設(shè)計(jì)）工作記錄及成績(jī)?cè)u(píng)定冊(cè) 題 目： 學(xué)生姓名： 學(xué) 號(hào)： 專 業(yè)： 班 級(jí)： 指 導(dǎo) 教 師： 職稱： 助理指導(dǎo)教師： 職稱： 年 月 日 實(shí)驗(yàn)中心制 使 用 說 明 一、此冊(cè)中各項(xiàng)內(nèi)容為對(duì)學(xué)生畢業(yè)論文 （設(shè)計(jì)）的工作和成績(jī)?cè)u(píng)定記錄，請(qǐng)各環(huán)節(jié)記錄人用黑色或藍(lán)色鋼筆（簽字筆）認(rèn)真填寫（ 建議填寫前先寫出相應(yīng)草稿，以避免填錯(cuò) ），并妥善保存。 17 二、此冊(cè)于學(xué)院組織對(duì)各專業(yè)題目審查完成后，各教研室匯編選題指南，經(jīng)學(xué)生自由選題后，由實(shí)驗(yàn)中心組織發(fā)給學(xué)生。 三、學(xué)生如實(shí)填好本冊(cè)封面上的各項(xiàng)內(nèi)容和選題審批表的相應(yīng)內(nèi)容，經(jīng)指導(dǎo)教師和學(xué)院領(lǐng)導(dǎo)小組批準(zhǔn)后，交指導(dǎo)教師；指導(dǎo)老師填好《畢業(yè)論文（設(shè)計(jì)）任務(wù)書》的各項(xiàng)內(nèi)容，經(jīng)教研室審核后交學(xué)生簽名確認(rèn)其畢業(yè)論文（設(shè)計(jì)）工作任務(wù)。 四、學(xué)生在指導(dǎo)老師的指導(dǎo)下填好《畢業(yè)論文（設(shè)計(jì)）開題報(bào)告》 各項(xiàng)內(nèi)容，由指導(dǎo)教師和教研室審核通過后，確定其開題，并將此冊(cè)交指導(dǎo)老師保存。 五、指導(dǎo)老師原則上每周至少保證一次對(duì)學(xué)生的指導(dǎo)，如實(shí)按時(shí)填好《畢業(yè)論文（設(shè)計(jì)）指導(dǎo)教師工作記錄》，并請(qǐng)學(xué)生簽字確認(rèn)。 六、中期檢查時(shí)，指導(dǎo)老師將此冊(cè)交學(xué)生填寫前期工作小結(jié)，指導(dǎo)教師對(duì)其任務(wù)完成情況進(jìn)行評(píng)價(jià)，學(xué)院中期檢查領(lǐng)導(dǎo)小組對(duì)師生中期工作進(jìn)行核查，并對(duì)未完成者提出整改意見，后將此冊(cè)交指導(dǎo)老師保存。 七、畢業(yè)論文（設(shè)計(jì)）定稿后，根據(jù)學(xué)院工作安排，學(xué)生把論文（打印件）交指導(dǎo)老師評(píng)閱。指導(dǎo)老師應(yīng)認(rèn)真按《畢業(yè)論文（設(shè)計(jì)）指導(dǎo)教師成績(jī)?cè)u(píng)審表》對(duì)學(xué)生的論文進(jìn)行評(píng)審并寫出評(píng)語，然后把論文和此冊(cè)一同交教研室。 八、教研室將學(xué)生的論文和此冊(cè)分別交兩位評(píng)閱人評(píng)閱后交回教研室保存。 九、學(xué)院答辯委員會(huì)審核學(xué)生答辯資格，確定答辯學(xué)生名單，把具有答辯資格學(xué)生的論文連同此冊(cè)交各答辯小組。 十、學(xué)生答辯后由答辯小組記錄人填好《畢業(yè)論文（設(shè)計(jì)）答辯記錄表》中各項(xiàng)內(nèi)容，然后把學(xué)生的論文和此冊(cè)一同交所在答辯小組，答辯小組對(duì)其答辯進(jìn)行評(píng)審 并填寫評(píng)語后交教研室。 十一、學(xué)院答辯委員會(huì)進(jìn)行成績(jī)總評(píng)定，填好《畢業(yè)論文（設(shè)計(jì)）成績(jī)?cè)u(píng)定表》中各項(xiàng)內(nèi)容，然后把論文（印刷版和電子版（另傳））和此冊(cè)等資料裝入專用檔案袋中，教教研室后由實(shí)驗(yàn)中心統(tǒng)一保存。 目 錄 1．畢業(yè)論文（設(shè)計(jì)）選題審批表 18 2. 畢業(yè)論文（設(shè)計(jì)）任務(wù)書 3．畢業(yè)論文（設(shè)計(jì)）開題報(bào)告 4. 學(xué)生畢業(yè)論文（設(shè)計(jì)）題目更改申請(qǐng)表 5．畢業(yè)論文（設(shè)計(jì)）指導(dǎo)老師工作記錄 6．畢業(yè)論文（設(shè)計(jì)）中期檢查記錄 7．畢業(yè)論文（設(shè)計(jì)）指導(dǎo)教師成績(jī)?cè)u(píng)審表 8．畢業(yè)論文（設(shè)計(jì)）評(píng)閱人成績(jī)?cè)u(píng)審表 9. 畢業(yè)論文（設(shè)計(jì)）答辯申請(qǐng)表 10．畢業(yè)論文（設(shè)計(jì)）答辯記錄表 11．畢業(yè)論文（設(shè)計(jì)）答辯成績(jī)?cè)u(píng)審表 12．畢業(yè)論文（設(shè)計(jì)）成績(jī)?cè)u(píng)定表 19 畢業(yè)設(shè)計(jì)（論文）選題審批表 題目名稱 基于單片機(jī)的超聲波測(cè)距 題目性質(zhì) □工程設(shè)計(jì) □理論研究 □實(shí)驗(yàn)研究 □計(jì)算機(jī)軟件 □綜合論文 □其它 題目來源 □科研題目 □生產(chǎn)現(xiàn)場(chǎng) □教學(xué) □其它 □自擬題目 選題理由： 由于超聲波指向性強(qiáng)，能量消耗緩慢，在介質(zhì)中傳播的距離較遠(yuǎn)，因而超聲波 經(jīng)常用于距離的測(cè)量。利用超聲波檢測(cè)距離，設(shè)計(jì)比較方便，計(jì)算處理 也較簡(jiǎn)單，精度也能達(dá)到使用要求，超聲波測(cè)距應(yīng)用于各種工業(yè)領(lǐng)域，如工業(yè)自動(dòng)控制，建筑工程測(cè)量和機(jī)器人視覺識(shí)別等方面。超聲波作為一種檢測(cè)技術(shù)，采用的是非接觸式測(cè)量，由于它具有不受外界因素影響，對(duì)環(huán)境有一定的適應(yīng)能力，且操作簡(jiǎn)單、測(cè)量精度高等優(yōu)點(diǎn)而被廣泛應(yīng)用。這些特點(diǎn)可使測(cè)量?jī)x器不受被測(cè)介質(zhì)的影響，大大解決了傳統(tǒng)測(cè)量?jī)x器存在的問題，比如，在粉塵多情況下對(duì)人引起的身體接觸傷害，腐蝕性質(zhì)的被測(cè)物對(duì)測(cè)量?jī)x器腐蝕，觸電接觸不良造成的誤測(cè)等。此外該技術(shù)對(duì)被測(cè)元件無磨損，使測(cè)量?jī)x器牢固耐用，使用壽命加長(zhǎng)，而且還降低了能量耗損 ，節(jié)省人力和勞動(dòng)的強(qiáng)度。因此，利用超聲波檢測(cè)既迅速、方便、計(jì)算簡(jiǎn)單，又 易 于 實(shí) 時(shí) 控 制 ， 在 測(cè) 量 精 度 方 面 能 達(dá) 到 工 業(yè) 實(shí) 用 的 要 求 。 20 指導(dǎo)教師意見： 簽名： 年 月 日 院（系）領(lǐng)導(dǎo) 小組意見： 簽名： 年 月 日 注：此表由學(xué)生填寫 21 畢業(yè)論文（設(shè)計(jì)）任務(wù)書 畢業(yè)論文（設(shè)計(jì)）應(yīng)達(dá)到的目的： （ 1）能對(duì)學(xué)生在學(xué)期間所學(xué)知識(shí)的檢驗(yàn)與總結(jié)，培養(yǎng)和提高學(xué)生獨(dú)立分析問題和解決問題的能力，使學(xué)生受到科學(xué)研究、工程設(shè)計(jì)和撰寫技術(shù)報(bào)告等方面的基本訓(xùn)練。 （ 2）提高學(xué)生對(duì)工作認(rèn)真負(fù)責(zé)、一絲不茍，對(duì)事物能潛心觀察、用于開拓、用于實(shí)踐的基本素質(zhì)； （ 3）培養(yǎng)學(xué)生綜合運(yùn)用所學(xué)知識(shí)， 結(jié)合實(shí)際獨(dú)立完成課題的工作能力。 （ 4）對(duì)學(xué)生的知識(shí)面、掌握知識(shí)的深度、運(yùn)用理論結(jié)合實(shí)際去處理問題的能力、實(shí)踐能力、計(jì)算機(jī)運(yùn)用水平、書面及口頭表達(dá)能力進(jìn)行考核 。 畢業(yè)論文（設(shè)計(jì)）的內(nèi)容和要求（包括原始數(shù)據(jù)、技術(shù)要求、工作要求等）： 以單片機(jī)為核心設(shè)計(jì)了基于激光測(cè)距的防撞預(yù)警系統(tǒng)，采用 TDCGP2 芯片作為激光飛行計(jì)時(shí)單元 ,給出激光發(fā)射及回波接收放大電路，基于模塊化思想設(shè)計(jì)、完成系統(tǒng)軟件設(shè)計(jì)流程；最后通過實(shí)驗(yàn)測(cè)試，系統(tǒng)要能很好測(cè)出前方車輛距離及運(yùn)行狀態(tài)，并能及時(shí)發(fā)出報(bào)警，利用 Matlab 對(duì)其測(cè)試結(jié)果進(jìn) 行驗(yàn)證，修正。 對(duì)畢業(yè)論文（設(shè)計(jì)）成果的要求〔包括圖表、實(shí)物等硬件要求〕： 設(shè)計(jì)完成后，要提供電路圖，實(shí)驗(yàn)電路版，控制原始程序， 實(shí)驗(yàn)要保存大量的原始數(shù)據(jù)。完成設(shè)計(jì)論文。 22 畢業(yè)論文（設(shè)計(jì)）工作進(jìn)度計(jì)劃： 序號(hào) 論文（設(shè)計(jì)）工作進(jìn)度 日期（起止周 數(shù)） 1 根據(jù)所出題目，結(jié)合自身所學(xué)知識(shí)，選擇合適課題，確定畢業(yè)設(shè)計(jì)論文題目。 13141 第 16周 止 2 根據(jù)所定題目，全面搜集素材，列出各種設(shè)計(jì)方案，并一一比較，選擇出最好的設(shè)計(jì)方案。 13141 第 18周 止 3 聯(lián)系指導(dǎo)老師，將自 己的設(shè)計(jì)方案與老師溝通、交流，得到指導(dǎo)老師的認(rèn)同與指點(diǎn)，開始設(shè)計(jì)。 13141 第 19周 止 4 根據(jù)方案，確定所要用的器材。設(shè)計(jì)總體框架結(jié)構(gòu)，分出各大的模塊，并將其展開，以得到比較細(xì)的設(shè)計(jì)模式。 13142 第 1周 止 5 根據(jù)所列框圖，結(jié)合自己所學(xué)知識(shí)，開始各分支電路模塊的設(shè)計(jì)。 13142 第 2周 止 6 完成初稿，將所做的模塊給指導(dǎo)老師查閱，看是否有不當(dāng)之處，再進(jìn)行改進(jìn)。并將大電路的設(shè)計(jì)方案告之老師，得到老師更好的建議。 13142 第 3周 止 7 大膽進(jìn)行設(shè)計(jì)，將每一個(gè)小的電路， 大的模塊，都精心設(shè)計(jì)好，完成整個(gè)硬件和軟件部分的設(shè)計(jì)過程。 13142 第 6周 止 8