基于语义的产品功能形式化建模  

Semantic-based product functional formal modeling

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

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

出　　处：《计算机集成制造系统》2011年第6期1171-1177,共7页Computer Integrated Manufacturing Systems

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

摘　　要：由于缺乏形式语义,很难利用计算机在功能空间中进行有效的推理,以辅助设计人员进行功能分析和产品设计。为了解决传统功能模型存在的缺点,将基于描述逻辑的形式语义及其推理模型引入产品功能建模。从系统的观点出发,在功能基模型的基础上,定义了描述功能行为和流的原子概念,建立了基于本体的产品功能描述模型。举例说明了使用描述逻辑语言对产品功能进行形式化建模的方法。该形式化建模方法可使人和计算机共同理解各项功能的含义,并利用计算机在功能空间中进行推理,辅助设计人员进行功能分析和产品设计。Owing to lack formal semantics,it was difficult for computers to conduct reasoning effectively in functional space to support functional analysis and product design for designers.To solve the weakness of conventional functional modeling,the formal semantics and the reasoning model based on description logic were introduced into product functional modeling.From the system＇s point of view,the atomic concepts of flows and functional behaviors based on the function basis were defined.Moreover,a product function description model based on ontology was constructed.An example was given to illustrate the method for constructing formal product functional models with the description language.The meaning of functions were fully understood by computers and users with the formal modeling method.In addition,designers were able to conduct functional analysis and product design by reasoning in functional space with computers.

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

分 类 号：TP393[自动化与计算机技术—计算机应用技术] TH166[自动化与计算机技术—计算机科学与技术]