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

被引:3
作者
郭银章
曾建潮
机构
[1] 太原科技大学复杂系统与计算智能实验室
关键词
协同设计过程; 时序逻辑推理; 时间约束Petri网; 触发规则; 推理机制;
D O I
暂无
中图分类号
TB472 [产品设计]; TP391.72 [];
学科分类号
140303 [工业设计];
摘要
针对具有动态、并发、不确定性特点的协同设计过程的设计活动模糊时间推理问题,基于时间约束Petri网理论,建立一种产品协同设计过程模型及其时间约束关系模型.通过分析协同设计过程的时间约束类型,提出了协同设计活动间的时间约束触发规则与推理机制,以及不同触发规则下的时间运算关系;最后通过一个链式输送机协同设计过程实例,验证了文中模型的相关结果,并开发了一个基于时间约束Petri网的协同设计过程时序推理仿真系统.
引用
收藏
页码:1824 / 1830
页数:7
相关论文
共 6 条
[1]
时间约束Petri网及其可调度性分析与验证 [J].
宋巍 ;
窦万春 ;
刘茜萍 .
软件学报, 2007, (01) :11-21
[2]
现代产品设计理论的相关研究现状综述 [J].
单鸿波 .
东华大学学报(自然科学版), 2006, (05) :118-122+124
[3]
模糊定时高级Petri网的协同设计活动建模和分析 [J].
田锋 ;
李人厚 ;
张金成 .
计算机辅助设计与图形学学报, 2004, (03) :267-274
[4]
一种随机Petri网性能等价化简与分析方法 [J].
林闯 ;
曲扬 ;
郑波 ;
田立勤 .
电子学报, 2002, (11) :1620-1623
[5]
一种基于线性逻辑的时间Petri网推理方法 [J].
高梅梅 ;
吴智铭 ;
不详 .
计算机研究与发展 , 2000, (12) :1452-1456
[6]
基于时间Petri网的实时并行设计过程建模研究 [J].
宋玉银 ;
褚秀萍 ;
蔡复之 .
计算机集成制造系统-CIMS, 1999, (06) :17-22