基本介紹
- 中文名:模擬驗證
- 外文名:analog verification
電動汽車驅動電機的設計與模擬驗證是華中科技大學建設的虛擬仿真實驗課程。課程性質 課程背景 本實驗項目採用理論與實踐相結合的項目式教學法,以電動汽車驅動電機設計項目為題,藉助先進的虛擬仿真技術,融入綜合、設計、探究元素,將項目需求...
《高強鋁合金接頭疲勞全壽命分析,模擬及驗證》是依託哈爾濱工業大學,由王苹擔任項目負責人的青年科學基金項目。項目摘要 鋁合金是輕量化設計的首選材料,在動車組、航天航空設備中被廣泛採用。其抗疲勞能力是鋁合金焊接結構服役安全的關鍵...
《水輪機空化和多相流三維紊流數值模擬及驗證》是依託清華大學,由吳玉林擔任項目負責人的面上項目。項目摘要 發展了水輪機和水泵空化流和固液、氣液三維兩相紊流數值模擬。用固液兩相流大渦模擬模型計算了水輪機和水泵中兩相紊流,用兩相...
《土質邊坡失穩破壞的多尺度數值模擬及試驗驗證》是依託浙江大學,由凌道盛擔任項目負責人的面上項目。項目摘要 土質邊坡的多尺度(微觀顆粒、細觀單元體和巨觀坡體)耦合效應是導致土坡失穩破壞呈現突發性、不確定性等複雜特性的根本原因,...
模擬試驗是一種試驗方式,又分動物模擬試驗和檢材模擬試驗。①動物模擬試驗是選 用定數量適合於試驗的某種動物,以適量 毒物使之中毒成為中毒模型,而後進行實 驗,目的是研究毒物進入機體後的吸收分布 和代謝等情況,同時驗證被測組分進入...
《超音速氣流中液霧燃燒的數值模擬與實驗驗證》是依託中國科學院力學研究所,由岳連捷擔任項目負責人的青年科學基金項目。項目摘要 本項目針對液態燃料超燃衝壓發動機的複雜燃燒過程,利用實驗和理論分析手段,研究超音速氣流中液霧兩相物理模型...
《力電脈衝作用下壓電陶瓷疲勞裂紋擴展模擬與實驗驗證》是依託北京工業大學,由雷鈞擔任項目負責人的面上項目。項目摘要 壓電陶瓷的強度與斷裂韌度低,在極化與服役中極易產生缺陷,疲勞斷裂是其最危險的失效形式。與靜態載荷不同,壓電...
《飛行器複雜流場高精度快速模擬分析平台及驗證》是依託北京航空航天大學,由劉鐵鋼擔任項目負責人的重大研究計畫。項目摘要 高雷諾數可壓縮N-S方程的高精度快速求解算法、一致高精度的複雜邊界和邊界層處理、快速格線生成與格線自適應加密...
篩選可與客體形成穩定包合物的複合主體化合物用於實驗合成,利用電化學與光譜學等方法測量分子識別體系的動力學與熱力學參數,驗證模擬計算結果,為優選的複合主體化合物套用於化學感測器的製備奠定基礎。結題摘要 分子識別是超分子化學的核心...
《CPR1000全範圍驗證模擬機培訓教材》是2018年中國環境出版集團出版的圖書,作者是環境保護部核與輻射安全中心,全書以講解CPR1000機組的基本知識和概念、各種運行工況、事故處理為主,主要面向我國核安全監督審評人員,對其他從業人員也有一定...
進一步,我們通過對不同的應變玻璃合金模型體系的模擬研究,結果表明應變網路的強度和玻璃化轉變能力之間存在著標度律(scaling law) 和 普適性(universal behavior),該關係可以作為表征玻璃化轉變能力的統一判據。在此基礎上,我們驗證了...
然而,形式化的功能規約的安全性驗證方法(如證明等)在實際工程中不容易被使用,靜態分析功能規約的安全性又常常缺乏嚴格性和準確性。本課題將研究模擬執行軟體形式化規約以進行安全性驗證的方法。為此,課題將在SOFL形式化規約語言基礎上...
(2)為了使虛擬試驗中的故障樣本儘量逼近實際使用中的故障樣本,綜合考慮產品實際運行、維修及環境因素,提出了基於故障統計模型的故障樣本模擬生成技術。 3. 研究了測試診斷過程的仿真技術 (1)為使測試性虛擬驗證試驗更接近真實情況,考...
第6章 模擬驗證的激勵生成概述 [2] 6.1 簡介 6.2 遺傳算法用於激勵生成 6.2.1 遺傳算法的起源和發展 6.2.2 遺傳算法的基本結構 6.2.3 遺傳算法的技術要點 6.2.4 基於模擬的激勵生成與遺傳算法 6.2.5 ARTIST系統 6.3 確定性激勵生...
目的運用CT影像技術驗證其在施行腹腔神經叢阻滯術中的安全性和有效性.1) Verification Modeling Technology(VMT)驗證模型技術 2) simulation verification technology 模擬驗證技術 1.Investigation analysis and simulation verification technology...
支持飛控和航電模擬TTE網系統實時驗證平台是一種用於計算機科學技術領域的計算機及其配套設備,於2016年4月14日啟用。技術指標 具有主飛行仿真系統和教官台程式,內部使用TTE網路通訊。支持飛行仿真和典型航電套用集成,並提供相應的開發接口...
以建立覆蓋率驅動的VLSI功能驗證的理論框架體系為目標,以覆蓋率驅動為核心,以可覆蓋性分析與設計理論為基礎,突破模擬驗證和形式驗證中使用統一的功能覆蓋模型和覆蓋率分析信息進行自動驗證的理論與方法。研究VLSI可覆蓋性設計理論與可覆蓋...
本項目提出將多物理程式研發涉及的物理建模、計算方法與程式研製一體化考慮,研究多物理程式檢查點及功能點細化原則,構建多物理程式建模與模擬驗證與確認的基本框架和流程,研究拉氏程式人為解構造方法、格線收斂指標的正確性驗證技術;研究...
(1)這種方法主要用於研究心理過程的生理機制;(2)作為一種發展中的新方法,在運用時,要根據心理現象和代替物之間的類同和差別,反覆試驗,以建立儘可能精確、完備的模型;(3)在模擬研究之後,要進一步作實驗研究,加以驗證。
6.4 CMIP5模式模擬的地表反照率評估 223 6.4.1 數據處理 223 6.4.2 結果分析 223 6.5 Noah-MP的積雪反照率參數化方案改進 234 6.5.1 模式簡介及單點模擬驗證 234 6.5.2 積雪反照率參數化方案改進 236 6.5...
《EDA形式驗證中可滿足性(SAT)問題的算法研究》是依託復旦大學,由荊明娥擔任項目負責人的面上項目。項目摘要 隨著積體電路設計規模和複雜性的增加,驗證成為設計的瓶頸。而依靠測試向量的模擬驗證方法遠遠不能滿足大規模設計驗證的需求。具...
ORT是Ongoing Reliability test的縮寫,即產品可靠性測試,或產品連續性測試的意思。簡介 在工業生產中,為驗證產品品質,模擬出貨等流程,對機台、包材各方面性能進行測試,以保證出貨產品的質量可靠。可靠度為產品於既定時間內,在特定的...
* CNC Machine Probing 模擬工具機探測頭操作,減少潛在錯誤,節省購買探測設備的成本 * Inspection Sequence 快速準確地為用戶提供零件加工過程中的各部位尺寸,並以PDG、TXT或HTML的格式輸出,供各個部門引用 * EDM Die Sinking 模擬驗證電...
4.1.1 混合信號仿真器是驗證的基礎 73 4.1.2 設計畫分,驗證計畫,測試回歸 74 4.1.3 基於斷言的驗證 74 4.1.4 覆蓋率測量 75 4.2 混合信號仿真是驗證的基礎 76 4.2.1 數字和模擬驗證過程的差距 76 4.2.2 混合信號...
研究包括測驗連結的認知診斷模型的公式化界定、模擬數據驗證、真實數據檢驗和新的連結模型的套用等四部分。本研究第一次將認知診斷理論套用於測驗的連結問題,所得到的結果將從理論上豐富關於測驗連結的理論模型;從實踐上說,本研究的結果...