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