计算机集成制造系统
計算機集成製造繫統
계산궤집성제조계통
COMPUTER INTEGRATED MANUFACTURING SYSTEMS
2011年
6期
1171-1177
,共7页
语义%功能建模%形式化%本体%描述逻辑%产品设计
語義%功能建模%形式化%本體%描述邏輯%產品設計
어의%공능건모%형식화%본체%묘술라집%산품설계
由于缺乏形式语义,很难利用计算机在功能空间中进行有效的推理,以辅助设计人员进行功能分析和产品设计.为了解决传统功能模型存在的缺点,将基于描述逻辑的形式语义及其推理模型引入产品功能建模.从系统的观点出发,在功能基模型的基础上,定义了描述功能行为和流的原子概念,建立了基于本体的产品功能描述模型.举例说明了使用描述逻辑语言对产品功能进行形式化建模的方法.该形式化建模方法可使人和计算机共同理解各项功能的含义,并利用计算机在功能空间中进行推理,辅助设计人员进行功能分析和产品设计.
由于缺乏形式語義,很難利用計算機在功能空間中進行有效的推理,以輔助設計人員進行功能分析和產品設計.為瞭解決傳統功能模型存在的缺點,將基于描述邏輯的形式語義及其推理模型引入產品功能建模.從繫統的觀點齣髮,在功能基模型的基礎上,定義瞭描述功能行為和流的原子概唸,建立瞭基于本體的產品功能描述模型.舉例說明瞭使用描述邏輯語言對產品功能進行形式化建模的方法.該形式化建模方法可使人和計算機共同理解各項功能的含義,併利用計算機在功能空間中進行推理,輔助設計人員進行功能分析和產品設計.
유우결핍형식어의,흔난이용계산궤재공능공간중진행유효적추리,이보조설계인원진행공능분석화산품설계.위료해결전통공능모형존재적결점,장기우묘술라집적형식어의급기추리모형인입산품공능건모.종계통적관점출발,재공능기모형적기출상,정의료묘술공능행위화류적원자개념,건립료기우본체적산품공능묘술모형.거례설명료사용묘술라집어언대산품공능진행형식화건모적방법.해형식화건모방법가사인화계산궤공동리해각항공능적함의,병이용계산궤재공능공간중진행추리,보조설계인원진행공능분석화산품설계.