基于TCPN的产品协同设计过程时序逻辑推理研究  

A Temporal Logic Inference for Collaborative Product Design Process Based on Time Constraint Petri Nets

作　　者：郭银章[1] 曾建潮[1] 

机构地区：[1]太原科技大学复杂系统与计算智能实验室,太原030024

出　　处：《计算机辅助设计与图形学学报》2010年第10期1824-1830,共7页Journal of Computer-Aided Design & Computer Graphics

摘　　要：针对具有动态、并发、不确定性特点的协同设计过程的设计活动模糊时间推理问题,基于时间约束Petri网理论,建立一种产品协同设计过程模型及其时间约束关系模型.通过分析协同设计过程的时间约束类型,提出了协同设计活动间的时间约束触发规则与推理机制,以及不同触发规则下的时间运算关系;最后通过一个链式输送机协同设计过程实例,验证了文中模型的相关结果,并开发了一个基于时间约束Petri网的协同设计过程时序推理仿真系统.A collaborative product design process model and its time constraint relation model are built based on time constraint Petri net（TCPN） to solve fuzzy time inference problem with characteristic of dynamics,concurrency and uncertainty.The time constraint types of collaborative design process are analyzed.Time constraint fire rules and inference mechanism as well as time computing relation in different fire rules are proposed in this paper.A temporal inference simulation system of collaborative design process based on TCPN is designed.The corresponding conclusion is validated by an instance of the collaborative design process of a chain-transported machine.

关 键 词：协同设计过程 时序逻辑推理 时间约束PETRI网 触发规则 推理机制 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]