模糊定时高级Petri网的协同设计活动建模和分析

利用模糊定时高级Petri网和工作流技术对协同设计活动进行建模和分析，定义了评估和推理规则，解决了协同设计中对不确定性时间参数的管理，并能够实现对协同设计的时间验证，特别是对协同设计时间的定量分析，最后举例说明了如何建立相应的模糊Petri网模型，并对其性能进行分析推理。     

嵌入式系统协同设计中的扩展双变迁Petri网技术

在分析现有用于软硬件协同设计的Petri网技术的基础上，针对双变迁Petri网在描述数据操作方面存在的不足，给出了一种扩展双变迁Petri网，并结合实例进行了阐述。     

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

针对具有动态、并发、不确定性特点的协同设计过程的设计活动模糊时间推理问题,基于时间约束Petri网理论,建立一种产品协同设计过程模型及其时间约束关系模型.通过分析协同设计过程的时间约束类型,提出了协同设计活动间的时间约束触发规则与推理机制,以及不同触发规则下的时间运算关系;最后通过一个链式输送机协同设计过程实例,验证了文中模型的相关结果,并开发了一个基于时间约束Petri网的协同设计过程时序推理仿真系统.     

基于TPN的协同设计过程时间推理及仿真

针对协同设计的时间复杂性,给出了基于时间Petri 网(time Petri net,TPN)的协同设计过程模型的形式化定义,并给出了协同设计过程TPN模型的几种基本关系模型的等价约简及时间推理规则.在此基础上,利用Delphi开发了一个仿真系统,系统中可以建立协同设计过程的TPN模型;通过输入各设计活动的时间参数,可以快速地自动推出整个过程完成的最早时间、最迟时间.最后,以链式输送机驱动装置的协同设计过程为例,建立TPN模型进行了时间推理和仿真实验.实验结果为协同设计时间安排提供了参考依据.     

分布式协同设计技术综述

分析了分布式协同设计中的关键技术问题，介绍了其目前的主要研究进展和代表性成果．在集成技术方面，重点阐述了CAX／DFX工具的分布集成问题，包括封装、互操作、本体论；在协同技术方面，集中分析了异步协同设计、同步协同设计和协同装配设计；最后对该领域需要解决的深层次问题进行了讨论。     

协同设计中的并行冲突检测算法

冲突是协同设计的本质，产生的原因是协同设计环境下不同设计群体考虑问题的角度、评价标准和专业知识有所不同。提出了对等式协同设计中操作序列的一致性模型，在操作序列一致性的基础上提出了基于几何级的冲突检测算法，并在此基础上实现了系统设计冲突检测原型系统。     

团队协同设计理性模型

针对当前的设计理性建模理论与方法不能完全适应协同设计过程,不能全面描述协同设计中的设计理性的问题.在对IBIS(issue-based information system)模型进行拓展和改造的基础上,结合协同设计的认知特征提出了团队协同设计理性模型.该模型包括2类要素,分别以不同类型的节点和连接线表示,其中设计问题、设计方案、设计知识、设计产品、协同过程和协同情境6个要素以不同类型的节点表示;设计行为要素描述设计过程中设计者的具体操作,以不同类型的连接线表示.最后以自动打标机的协同设计过程为例,阐述了文中模型的建模过程,建立了自动打标机团队协同设计理性模型,证明了该模型的可行性和有效性.     

基于对象的扩展Petri网协同设计过程分析

针对协同设计中任务的执行流程缺乏柔性,不利于分析实际设计过程的现状,提出一种单元调用变迁对与决策变迁相集成的基于对象的扩展Petri网,扩展了Petri网的可达图以适应分析OEPNs模型.采用OEPNs中的过程网和单元阿对协同设计过程楚模,利用模型中的单元调用变迁对和决策变迁对过程本身和可能状态进行分析.最后与相关的研究工作进行比较并给出了结论.     

动态联盟中的同步协同设计系统模型

利用Muiti-Agent，π-演算和Petri网给出了动态联盟中的同步协同设计系统形式化模型．该模型利用π-演算的操作语义表现系统的动态行为；根据Petri网理论表现适应动态联盟中同步协同设计的多层次、多资源、无死锁，且具有一定公平性的发言权控制．     

基于ObjectARX和DCOM实现协同设计研究

分布式协同设计是基于网络工作环境而提出的一种先进的设计理念，其目的就是通过群体的协作和交互来完成设计任务。分布式协同设计需要一个满足其要求的协同设计平台以保证设计的顺利进行。DCOM技术是微软为适应分布式计算而提出的分布式组件对象模型，ObjeetaRX是随同AutoCAD发布的二次开发工具。文中探讨了基于ObjectARX和DCOM技术对AutoAD进行二次开发，提出了一个在分布式环境下多人协同设计开发的分布式协同设计AutoCAD系统。