形式化驗證的案例
AI驅(qū)動的形式化驗證：Formal Advisor實踐教程，助力形式化驗證一步到位【今日14:00直播】
image_process=/format,webp" data-initial-src="https://img.jishulink.com/202603/attachment/6758878541cf4020970bddf79c4350a4.png"></figure>
</figure><p><strong>時間</strong>：<strong>3月27日 周五，14：00-15：00</strong></p><p><strong>內(nèi)容簡介</strong>：</p><p>Formal Advisor是一款基于Al的形式化驗證輔助工具，集成于新思科技 VC Formal平臺。它通過智能檢索與生成技術(shù)，幫助用戶自動生成、優(yōu)化和管理形式化屬性(如斷言、覆蓋點等)，大幅提升形式化驗證的效率和質(zhì)量。課程將系統(tǒng)講解Formal Advisor的基本原理、主要功能、典型應(yīng)用場景及實際操作流程。</p><p>課程還將結(jié)合實際案例，演示如何利用Formal Advisor提升屬性生成的準(zhǔn)確性和覆蓋率，幫助設(shè)計與驗證工程師快速上手并應(yīng)用于實際項目中。
展開 嵌入式系統(tǒng) | 基于SCADE模型的形式化方法
可以在頂層操作符中使用Assert功能添加約束，排除無關(guān)的場景，以加速形式化分析過程
根據(jù)安全屬性創(chuàng)建自定義的形式化驗證目標(biāo)，或直接啟用Suite內(nèi)置預(yù)定義的形式化驗證目標(biāo)
定制形式化驗證策略，并將策略應(yīng)用到形式化驗證目標(biāo)上
啟動形式化引擎進(jìn)行分析
輸出形式化驗證結(jié)果
檢查結(jié)果，為真則得證，為假，則導(dǎo)入給出的反例進(jìn)行模型仿真，再基于仿真結(jié)果修正模型后，迭代進(jìn)行下一輪形式化分析
步驟4中指出的Suite內(nèi)置預(yù)定義的形式化驗證目標(biāo)有4種
除0檢查：Division-by-Zero PO：驗證是否會引起除0的可能
溢出檢查：Overflow PO:驗證數(shù)值類型數(shù)據(jù)在賦值、移位或類型轉(zhuǎn)換時是否會溢出等
動態(tài)訪問檢查：Dynamic Access PO：驗證數(shù)組索引是否越界等
一致性檢查：Consistency PO: 驗證假設(shè)和約束是否一致，約束可以由Assume功能添加
SCADE形式化驗證面板
步驟5中指出的形式化驗證策略有如下3種：
SCADE形式化驗證策略
Debug策略和Induction策略中的屬性及其含義如下:
SCADE策略的屬性
SCADE Design Verifier選項卡與安全屬性策略
使用形式化驗證策略有助于用戶
展開 Stimulus—需求形式化建模和驗證工具
image_process=/format,webp" data-initial-src="https://img.jishulink.com/202312/attachment/afac58041bee4413a266a3319db69322.jpg"></figure>
</div><p class="ql-align-center"><br></p><ul><li>仿真及驗證需求規(guī)范</li></ul><p> Stimulus使系統(tǒng)架構(gòu)師能夠模擬需求，并在設(shè)計開始之前檢測到模糊、不正確、缺失或沖突的需求，從而創(chuàng)建安全關(guān)鍵型嵌入式系統(tǒng)驗證所需的高質(zhì)量規(guī)范。Stimulus使用“自然語言”對需求進(jìn)行建模、仿真并驗證需求，Stimulus中包含了豐富的時間與邏輯運(yùn)算符，例如：“當(dāng)……時”“如果”“大于”“只有”等。通過對需求按照運(yùn)算符進(jìn)行重新書寫，可以驗證需求中是否存在沖突；通過對仿真結(jié)果的觀察，來驗證需求規(guī)范中是否存在沖突與缺陷，進(jìn)而保證了需求規(guī)范的正確性。開發(fā)團(tuán)隊可以用更少的時間重新定義需求、重寫和重新調(diào)試代碼，從而減少實現(xiàn)高質(zhì)量結(jié)果所需的開發(fā)迭代。</p><p> </p><ul><li>生成測試用例及系統(tǒng)驗證</li></ul><p> 在驗證階段，Stimulus還使測試工程師能夠自動生成測試向量和測試目標(biāo)，并檢查嵌入式代碼是否符合其規(guī)范。Stimulus可以根據(jù)需求描述自動生成符合需求的測試用例（需求可以是高層次需求或者低層次需求），也可以在Stimulus中使用“自然語言”描述測試場景，并生成符合測試場景的測試用例。Stimulus不但可以根據(jù)需求生成測試用例，還可以監(jiān)測系統(tǒng)輸出是否符合需求規(guī)格說明中的要求。
展開 RISC-V芯課程 | 形式驗證為RISC-V內(nèi)核保駕護(hù)航
5月22日，新思科技芯課程RISC-V系列即將推出：【形式驗證為RISC-V內(nèi)核保駕護(hù)航】，將重點介紹如何通過形式驗證技術(shù)，為RISC-V內(nèi)核提供端到端的驗證保證。我們將結(jié)合自研的RISC-V AIP，講解形式驗證在RISC-V設(shè)計中的應(yīng)用場景，幫助您快速掌握利用形式化方法，在無需復(fù)雜testbench的前提下，高效發(fā)現(xiàn)功能缺陷，覆蓋邊界場景，為設(shè)計質(zhì)量筑牢防線。歡迎大家積極報名參會。
時間：5月22日（星期五），14:00–15:00
地點：線上直播
講師簡介：
李霈霈 | 新思科技高級資深應(yīng)用工程師
目前專注于 Formal形式驗證工作。
掃碼立即報名參會
展開 
5.22 線上研討會｜深度解析：形式驗證如何為RISC-V內(nèi)核保駕護(hù)航
本周五14:00，新思科技「形式驗證為RISC-V內(nèi)核保駕護(hù)航」正式開講！感興趣的下滑預(yù)約學(xué)習(xí)??
時間：5月22日 周五，14:00-15:00
內(nèi)容簡介：
本次分享中，我們將重點介紹如何通過形式驗證技術(shù)，為RISC-V內(nèi)核提供端到端的驗證保證。我們將結(jié)合自研的RISC-V AIP，講解形式驗證在RISC-V設(shè)計中的應(yīng)用場景，幫助您快速掌握利用形式化方法，在無需復(fù)雜testbench的前提下，高效發(fā)現(xiàn)功能缺陷，覆蓋邊界場景，為設(shè)計質(zhì)量筑牢防線。
講師介紹：
李霈霈， 新思科技高級資深應(yīng)用工程師，目前專注于 Formal形式驗證工作。
形式：線上
參與方式：下方掃碼免費(fèi)報名
(web: synopsys.snps.tech/surl/cZ4c0GC )
歡迎掃碼進(jìn)入課程報名入口，鎖定2026全年課程席位！
- -THE END- -
展開 Stimulus—需求形式化建模和分析工具
應(yīng)用&案例
某跨國汽車設(shè)備供應(yīng)商（驗證ABS/ESP系統(tǒng)需求規(guī)范）
法國某軌道系統(tǒng)運(yùn)營商（驗證地鐵車站自動門開關(guān)控制系統(tǒng)）
Stimulus — 需求形式化建模和分析工具
Stimulus 是法國達(dá)索公司產(chǎn)品，其目的是通過需求建模分析來驗證需求的正確性。Stimulus 的核心理念是運(yùn)用“自然語言”對功能性需求進(jìn)行建模，并通過仿真來查找需求中的缺陷，例如需求一致性、不二義性檢查等。借助Stimulus 可以在系統(tǒng)開發(fā)的早期階段發(fā)現(xiàn)并修改需求規(guī)范中的錯誤、在系統(tǒng)交付驗收階段檢查系統(tǒng)設(shè)計是否滿足需求規(guī)范，從而很大地降低產(chǎn)品開發(fā)的成本與風(fēng)險。
產(chǎn)品介紹
? 仿真及驗證需求規(guī)范
Stimulus 使用“自然語言”對需求進(jìn)行建模、仿真并驗證需求。Stimulus 中包含了豐富的時間與邏輯運(yùn)算符，例如：“當(dāng)…時”，“如果”，“大于”，“只有”等。通過對需求按照運(yùn)算符進(jìn)行重新書寫，可以驗證需求中是否存在沖突；通過對仿真結(jié)果的觀察，來驗證需求規(guī)范中是否存在沖突與缺陷，進(jìn)而保證了需求規(guī)范的正確性。
? 生成測試用例及系統(tǒng)驗證
Stimulus 可以根據(jù)需求描述自動生成符合需求的測試用例（需求可以是高層次需求或者低層次需求），也可以在Stimulus 中使用“自然語言”描述測試場景，并生成符合測試場景的測試用例。Stimulus 不但可以根據(jù)需求生成測試用例，還可以監(jiān)測系統(tǒng)輸出是否符合需求規(guī)格說明中的要求。在測試環(huán)境中導(dǎo)入生成的測試用例并通過監(jiān)視系統(tǒng)輸出，客戶可以驗證系統(tǒng)設(shè)計是否滿足需求，還可以節(jié)省手工書寫測試用例時冗長而無味的時間。
? 良好的集成擴(kuò)展性
Stimulus 支持對SIMULINK及SCADE集成， 可以為SIMULINK或SCADE模型自動生成測試用例，即根據(jù)需求生成系統(tǒng)輸入以及系統(tǒng)行為的約束限制，進(jìn)而檢驗?zāi)Ｐ褪欠駶M足需求規(guī)范中的要求。
展開 3/22 Ansys SCADE 2022 R1 新功能
內(nèi)容簡介
1.SCADE Achitect的新功能，添加FACE 3.1版本支持，新增AutoSAR架構(gòu)設(shè)計新特性
2.SCADE Achitect支持對Dassualt的Cameo架構(gòu)文件導(dǎo)入，支持對EA的Sparx文件導(dǎo)入
3.SCADE Suite UI的改進(jìn)
4.SCADE Suite中形式化驗證對抽象對象分析介紹
5.SCADE Suite/Test中基于形式化驗證的模型覆蓋分析方法介紹和應(yīng)用
6.SCADE Display新增8個特效容器，對復(fù)雜字體顯示的支持
7.SCADE Display對3D圖元的支持
8.SCADE Lifecycle改進(jìn)更新
9.SCADE對AbsInt WCET支持的策略變化
10.文檔更新 EN 50128 A661方案
面向受眾
SCADE工具用戶，航空航天，軌道交通、汽車電子領(lǐng)域中系統(tǒng)架構(gòu)設(shè)計，軟件開發(fā)驗證
時間
2022年3月22日（周二）16:00-17:00
展開 EDA驗證技術(shù)，十大趨勢展望
形式化驗證更廣泛應(yīng)用，逐漸成為驗證核簽（Sign-off）的必備工具
仿真方法學(xué)的應(yīng)用雖然普遍，但也有其驗證不完整、耗費(fèi)大量時間的固有缺陷。而形式化驗證經(jīng)過過去幾十年的發(fā)展，已經(jīng)越來越成熟，同時進(jìn)一步使用高效的算法求解器，透過智能調(diào)度引擎縮小求解空間，并配合新型分布式云計算進(jìn)行快速的迭代。形式化驗證不僅提供了一個比較完備的功能驗證手段，也為開發(fā)流程中各個環(huán)節(jié)之間，例如HLS往下到RTL、RTL到Gate，提供了一個非常有力的快速的等效性驗證方法。
智能化系統(tǒng)級調(diào)試方案進(jìn)一步實現(xiàn)驗證調(diào)試自動化
除了更多更好的仿真和形式化技術(shù)作為驗證手段，不能忘記調(diào)試才是驗證的核心目的之一。多種EDA驗證工具的功耗、功能、日志、覆蓋率等輸出，最終都要匯總到調(diào)試工具中，從整體到細(xì)節(jié)層層深入地分析。這個分析的流程，除了需要優(yōu)秀的工程師，還需要調(diào)試工具能更智能、更系統(tǒng)的自動從數(shù)據(jù)中提煉分析數(shù)據(jù)，幫助工程師定位和解決問題。新一代EDA 2.0的自動和智能，必然需要智能的系統(tǒng)級調(diào)試方案的配合。
從系統(tǒng)級驗證場景定義到自動驗證系統(tǒng)的智能工具和方法學(xué)
IP復(fù)用在現(xiàn)代SoC和Chiplet system中已經(jīng)是普遍現(xiàn)象，因此對IP的驗證需求實際上逐漸下降。而隨之上升的是要驗證由眾多IP或Chiplet構(gòu)成的系統(tǒng)，在目標(biāo)驗證場景中的功能、功耗、性能是否能達(dá)到要求。因此我們需要的是從系統(tǒng)場景需求定義到芯片設(shè)計至系統(tǒng)集成之后整個流程中，端到端的系統(tǒng)級場景驗證方法。目前基于Accellera Systems Initiative標(biāo)準(zhǔn)化組織定義的PSS可移植激勵標(biāo)準(zhǔn)，已經(jīng)初步推動EDA向這個領(lǐng)域發(fā)展。國內(nèi)和國外EDA公司，也推出了基于PSS標(biāo)準(zhǔn)的場景級驗證工具，但其進(jìn)一步形成產(chǎn)業(yè)生態(tài)，必然需要未來幾年的努力。
展開 智能座艙功能測試平臺：驅(qū)動汽車智能化升級的核心驗證引擎
多屏互聯(lián)、智能語音、手勢識別、人臉監(jiān)控等創(chuàng)新功能紛紛落地，在提升駕乘體驗的同時，也為測試驗證帶來了巨大挑戰(zhàn)。海量的功能場景、嚴(yán)苛的響應(yīng)精度和頻繁的OTA更新，迫切需要一套高效、精準(zhǔn)且自動化的測試解決方案。
智能座艙功能測試平臺正是應(yīng)對這一挑戰(zhàn)的關(guān)鍵工具。該系統(tǒng)通過集成高精度圖像識別、多通道音頻分析、車輛總線通信及自動化仿真技術(shù)，構(gòu)建出完整的數(shù)字化的測試環(huán)境。平臺可模擬用戶真實操作行為，如觸摸屏點擊、語音指令發(fā)送、手勢動作捕捉等，并對座艙系統(tǒng)的響應(yīng)時間、顯示內(nèi)容、音視頻輸出及邏輯判斷進(jìn)行全方位量化評估。
多功能觸摸屏測試系統(tǒng)
本設(shè)備適用于用于各種智能設(shè)備觸摸屏的檢測、研發(fā)，對電容式觸摸屏的功能性測試和電性能檢測，整機(jī)和電容屏、紅外屏單體均可測試。
測試標(biāo)準(zhǔn)：GB_T 43860.1210-2024 觸摸和交互顯示、 第12-10部分：觸摸顯示測試方法 觸摸和電性能
北京沃華慧通測控技術(shù)有限公司支持對液晶儀表、中控屏、HUD等硬件設(shè)備的單體測試，更具備多設(shè)備聯(lián)動測試能力，能夠驗證跨屏交互、場景切換等復(fù)雜功能邏輯。同時，結(jié)合協(xié)議仿真與故障注入技術(shù)，平臺可在研發(fā)早期發(fā)現(xiàn)潛在缺陷，大幅降低后期整改成本。
性能測試框圖
北京沃華慧通測控技術(shù)有限公司深耕汽車電子測試領(lǐng)域多年，自主研發(fā)的智能座艙功能測試平臺已成功應(yīng)用于多家主流車企及零部件供應(yīng)商。該平臺具備高度靈活的模塊化架構(gòu)，支持用戶快速定制測試用例，實現(xiàn)自動化回歸測試和持續(xù)集成，顯著提升測試效率和覆蓋率。沃華慧通致力于為客戶提供全面、可靠的測試解決方案，助力智能座艙產(chǎn)品高質(zhì)量量產(chǎn)落地。
展開 球化率90%以上的生產(chǎn)秘法，記錄實驗驗證全過程
國內(nèi)普通球墨鑄鐵鑄件的球化級別要求達(dá)到4級以上，（即球化率70%，）一般鑄造廠達(dá)到的球化率為85%左右。近年來，隨著球墨鑄鐵生產(chǎn)的發(fā)展，尤其是在風(fēng)電鑄件生產(chǎn)和鑄件質(zhì)量要求較高的行業(yè)，要求球化級別達(dá)到2級，即球化率達(dá)到90%以上。筆者公司通過對QT400-15原采用的球化、孕育處理工藝以及球化劑、孕育劑進(jìn)行分析、改進(jìn)，使球墨鑄鐵的球化率達(dá)到了90%以上。
1、原生產(chǎn)工藝
原生產(chǎn)工藝：熔煉設(shè)備采用2.0T中頻爐和1.5T工頻爐；QT400-15原鐵液成分為ω（C）=3.75%~3.95%、、ω（Si）=1.4%~1.7%、ω(Mn)≤0.40%、ω（P）≤0.07%、ω（S）≤0.035%；球化處理所用球化劑為1.3%~l.5%的RE3Mg8SiFe合金；孕育處理所用孕育劑為0.7%~0.9%的75SiFe-C合金。球化處理采用兩次出鐵沖入法：先出鐵55%~60%，進(jìn)行球化處理，然后加入孕育劑，再補(bǔ)加其余鐵液。由于球化、孕育采用傳統(tǒng)的方式，用25 mm厚的單鑄楔形試塊檢測得到的球化率一般在80%左右，即球化級別3級。
2、提高球化率的試驗方案
為提高球化率，對原來的球化和孕育處理工藝進(jìn)行了改進(jìn)，主要措施是：增大球化劑和孕育劑加入量、凈化鐵液、脫硫處理等。球化率仍然采用25 mm的單鑄楔形試塊進(jìn)行檢測，具體方案如下：
（1）分析原工藝球化率偏低的原因，曾認(rèn)為是球化劑用量較少，故將球化劑加入量由1.3%~1.4%增加到1.7%，但球化率并未達(dá)到要求。
（2）另一種猜測是認(rèn)為球化率偏低可能是由于孕育不良或孕育衰退引起，因而試驗加大孕育劑量，由0.7%~0.9%增加到1.1%，球化率亦未達(dá)到要求。
展開 
【CAE案例】城市峽谷效應(yīng)下污染物傳輸流參數(shù)化方法的驗證
為了驗證參數(shù)化方法，其計算得到的，不同街道模型下，衰減系數(shù)與入射角關(guān)系與CFD仿真結(jié)果對比如下圖所示：
參數(shù)化方法與CFD仿真關(guān)于風(fēng)速衰減系數(shù)與峽谷風(fēng)入射角度的關(guān)系結(jié)果對比
在平行于建筑的峽谷風(fēng)影響下，風(fēng)的衰減系數(shù)與街道的高寬比的關(guān)系對比如下圖所示：
參數(shù)化方法與CFD仿真關(guān)于風(fēng)速衰減系數(shù)與街道高寬比的關(guān)系結(jié)果對比
可以發(fā)現(xiàn)，隨著峽谷風(fēng)角度的增大，風(fēng)的衰減效果逐漸顯著；而在相同峽谷風(fēng)的影響下，街道峽谷越寬，風(fēng)的衰減效果越不顯著，這與CFD仿真計算結(jié)果相吻合。可以發(fā)現(xiàn)，該參數(shù)化模型的描述較為準(zhǔn)確。
最后，對于不同城市峽谷模型，在不同入射方向的峽谷風(fēng)作用下，其歸一化的街道水平風(fēng)速的變化如下圖所示：
街道歸一化水平風(fēng)速隨峽谷風(fēng)入射角的變化：
a)寬街道峽谷；
b)中街道峽谷；
c)窄街道峽谷
可以發(fā)現(xiàn)，隨著峽谷風(fēng)的入射角度變大，街道風(fēng)的水平風(fēng)速會增大，該效果也隨著城市峽谷的寬度增大愈加明顯。比較結(jié)果中，僅有U_mw對應(yīng)的參數(shù)化方法與CFD仿真計算結(jié)果吻合。
最后，在不同入射角度下和不同街道峽谷模型下，歸一化風(fēng)速的豎直方向分量與高度的變化關(guān)系如下圖所示：
可發(fā)現(xiàn)僅有U_mw對應(yīng)的方法的計算結(jié)果與CFD仿真計算結(jié)果較為接近。
04 研究結(jié)論
CFD仿真可進(jìn)行簡單到復(fù)雜的大氣流場的仿真，進(jìn)而對空氣質(zhì)量以及污染物的擴(kuò)散進(jìn)行仿真和研究，其計算結(jié)果具有可信度。本文比較了不同MUNICH下的參數(shù)化方法，并與CFD仿真計算結(jié)果在風(fēng)速以及示蹤粒子濃度的分布情況上進(jìn)行對比，從而驗證了參數(shù)化方法的可行性。
展開 電氣化趨勢引發(fā)NASA對X驗證機(jī)計劃的重新思考
瓦格納向與會者表示：“上一屆管理層任期結(jié)束時，我們計劃建造一些X驗證機(jī)。我們知道那是一個沒有希望的預(yù)算，但是它給了我們制定一套好計劃的權(quán)力。我們成功地獲得了X-59的資金，現(xiàn)在我們期待著可能獲得第二架X驗證機(jī)的預(yù)算支持。
02
創(chuàng)業(yè)公司萊特電力向美國宇航局簡要介紹了其M型機(jī)翼全電客機(jī)的概念。
四、NASA已開展電動飛機(jī)相關(guān)基礎(chǔ)研究，正進(jìn)一步開展應(yīng)用研究以確定可能的驗證機(jī)方案
瓦格納說，NASA正處于“發(fā)現(xiàn)模式”。“我們在這里傾聽，從工業(yè)的角度理解更多電推進(jìn)的潛力。我們想了解工業(yè)在哪里發(fā)展，它的關(guān)鍵研究需要是什么。我們想了解亞音速固定翼運(yùn)輸機(jī)實現(xiàn)電氣化推進(jìn)的關(guān)鍵技術(shù)是什么…看看它們?nèi)绾闻cNASA的計劃結(jié)合。”
IASP負(fù)責(zé)飛行戰(zhàn)略的副主任費(fèi)伊·科利爾說，NASA的重點是展示1兆瓦以上的電推進(jìn)能力。工業(yè)已經(jīng)表明，兆瓦級系統(tǒng)可以有幾種應(yīng)用:一種可以為小型支線客機(jī)提供動力;一些可以用分布式電力推進(jìn)裝置為更大的飛機(jī)提供動力；兆瓦級的電動機(jī)可以驅(qū)動尾部推進(jìn)器，實現(xiàn)邊界層抽吸減小阻力，或者被集成到渦扇發(fā)動機(jī)中以混合方式提供電力增強(qiáng)（研究表明，這可以提高能源效率）。
科利爾說，NASA已經(jīng)資助了幾個研究團(tuán)隊開發(fā)兆瓦級的電動機(jī)器和電力電子產(chǎn)品，而且根據(jù)預(yù)算，在項目啟動后的三年內(nèi)，可以展示1兆瓦以上的能力。兆瓦級系統(tǒng)的可能應(yīng)用范圍意味著驗證機(jī)選擇的方案。“當(dāng)我們開始低聲爆飛行驗證項目時，我們沒有預(yù)算，所以我們把它分成兩部分采購。如果我們再做一架X驗證機(jī)，我們希望不必這樣做:只需要一次競爭、一次采購。
展開 高校自動駕駛研究新基建：“實測 - 仿真” 一體化數(shù)據(jù)采集與驗證平臺
3、智能標(biāo)定工具
為降低高校團(tuán)隊的系統(tǒng)使用門檻，康謀同步交付了 智能標(biāo)定工具，將復(fù)雜的標(biāo)定流程標(biāo)準(zhǔn)化、自動化。
（1）提供一鍵式自動標(biāo)定流程
（2）基于PCA的運(yùn)動方向智能估計
（3）投影和高度數(shù)據(jù)自動修正
（4）質(zhì)量可量化的標(biāo)定評估體系
三、方案成效
通過本項目的實施，該平臺成功構(gòu)建了一個面向高校的標(biāo)準(zhǔn)化智能駕駛實訓(xùn)與科研驗證基礎(chǔ)設(shè)施。，客戶在科研與教學(xué)層面獲得了顯著收益：
1、科研效率提升
獲取高精度時間同步的多傳感器原始數(shù)據(jù)
支持低延時在線監(jiān)測，減少無效采集與重復(fù)外場測試
2、測試成本與風(fēng)險顯著降低
危險與長尾工況可通過數(shù)字孿生方式反復(fù)驗證
顯著減少高風(fēng)險實車測試帶來的安全與合規(guī)壓力
3、教學(xué)資源標(biāo)準(zhǔn)化與復(fù)用
“實測—仿真”雙向聯(lián)動平臺可直接用于課程教學(xué)
支撐多屆學(xué)生、多個課題組共享同一驗證體系
客戶評價：康謀并沒有給我們一套“黑盒式”系統(tǒng)，而是和我們一起把數(shù)據(jù)采集、時間同步和仿真驗證的關(guān)鍵問題拆解清楚。這套平臺既能直接用于科研項目，也非常適合教學(xué)使用，為我們后續(xù)的算法研究和課程建設(shè)提供了長期價值。
展開 驗證纖維增強(qiáng)材料3D打印技術(shù)制造輕量化零件的可行性
KTM 表示，通過纖維增強(qiáng)復(fù)合材料開發(fā)的3D打印制動桿滿足了初始要求, 3D打印制動桿輕量化系數(shù)提高了40%，滿足ISO 8710要求。KTM 通過輕量化3D打印制動桿的研究，對復(fù)合材料3D打印工藝進(jìn)行了進(jìn)一步驗證，證明纖維增強(qiáng)3D打印零部件可以像金屬部件一樣堅固耐用，并且成本和重量更低。
