文献类型：期刊文章

作　　者：郭钢[1] 汤华茂[1,2] 罗妤[1,3]

机构地区：[1]重庆大学机械工程学院,重庆400030 [2]重庆工业职业技术学院计算机系,重庆401120 [3]重庆科技学院电子信息工程学院,重庆401331

出　　处：《计算机集成制造系统》

基　　金：国家科技支撑计划资助项目(2006BAF01A41);国家863/CI MS主题资助项目(2007AA04Z1B1)~~

年　　份：2011

卷　　号：17

期　　号：6

起止页码：1171-1177

语　　种：中文

收录情况：AJ、BDHX、BDHX2008、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI、IC、INSPEC、SCOPUS、ZGKJHX、核心刊

摘　　要：由于缺乏形式语义,很难利用计算机在功能空间中进行有效的推理,以辅助设计人员进行功能分析和产品设计。为了解决传统功能模型存在的缺点,将基于描述逻辑的形式语义及其推理模型引入产品功能建模。从系统的观点出发,在功能基模型的基础上,定义了描述功能行为和流的原子概念,建立了基于本体的产品功能描述模型。举例说明了使用描述逻辑语言对产品功能进行形式化建模的方法。该形式化建模方法可使人和计算机共同理解各项功能的含义,并利用计算机在功能空间中进行推理,辅助设计人员进行功能分析和产品设计。

关 键 词：语义  功能建模  形式化 本体  描述逻辑 产品设计

分 类 号：TP393] TH166[计算机类]