摘要
由于缺乏形式语义,很难利用计算机在功能空间中进行有效的推理,以辅助设计人员进行功能分析和产品设计。为了解决传统功能模型存在的缺点,将基于描述逻辑的形式语义及其推理模型引入产品功能建模。从系统的观点出发,在功能基模型的基础上,定义了描述功能行为和流的原子概念,建立了基于本体的产品功能描述模型。举例说明了使用描述逻辑语言对产品功能进行形式化建模的方法。该形式化建模方法可使人和计算机共同理解各项功能的含义,并利用计算机在功能空间中进行推理,辅助设计人员进行功能分析和产品设计。
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.
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2011年第6期1171-1177,共7页
Computer Integrated Manufacturing Systems
基金
国家科技支撑计划资助项目(2006BAF01A41)
国家863/CI MS主题资助项目(2007AA04Z1B1)~~
关键词
语义
功能建模
形式化
本体
描述逻辑
产品设计
semantics
functional modeling
formalization
ontology
description logic
product design
