海量資源，盡在掌握

當前位置：首頁 > 科技文檔 > 非線性科學與系統科學 > 正文

基于本體的公理化系統設計語義建模與推理規則

機械工程學報頁數： 17 2020-03-25

摘要：使得計算機理解系統設計的語義并完成自動推理是實現智能制造和基于模型的系統工程的兩個重要特征,但現有系統建模語言對語義表達和自動推理的支持有限。（共17頁）

開通會員，享受整站包年服務

說明：本文檔由創作者上傳發布，版權歸屬創作者。若內容存在侵權，請點擊申訴舉報

科技文檔

數學力學化學金融證券保險投資會計審計園藝林業旅游體育物理學生物學天文學氣象學海洋學地質學新能源金屬學農藝學農作物管理學領導學自然科學系統科學資源科學無機化工有機化工燃料化工化學工業材料科學礦業工程冶金工業安全科學環境科學工業通用機械工業無線電子電信技術鐵路運輸汽車工業船舶工業動力工程電力工業農業科學農業工程植物保護動物醫學教育理論學前教育初等教育中等教育高等教育職業教育成人教育自然地理地球物理經濟統計農業經濟工業經濟交通經濟企業經濟文化經濟信息經濟貿易經濟財政稅收市場研究科學研究互聯網自動化輕工業核科學服務業石油然氣服務業野生動物水產漁業硬件儀器儀表航空航天武器軍事公路運輸水利水電建筑科學軟件

国产呦精品一区二区三区网站|久久www免费人咸|精品无码人妻一区二区|久99久热只有精品国产15|中文字幕亚洲无线码