基于多移动代理的分布式协同控制研究

针对移动代理的特点和其在分布式协同中的要求,提出了一种基于多移动代理的分布式协同控制机制和算法。给出了支持分布式用户协同工作的多移动代理协同交互的体系结构和协同控制模型。在扩展移动代理固有属性的基础上,赋予了分布式事务的属性,提出了移动代理事务及其相关概念,并给出了基于移动代理事务的行为状态的转换和基于等待队列的多移动代理协同算法。给出了Web环境下多移动代理的协同控制应用验证模型。     

分布式虚拟环境下的产品协同设计与制造

虚拟技术和计算机支持的协同工作（CSCW）技术已经渗透在设计与制造的活动中,并推动制造信息集成和网络协同设计与制造技术的发展。文中分析和讨论了分布式虚拟环境中的协同设计与制造系统的特点及其本要求,以五层结构形式给出了一处系统实现的框架模型。     

空间数据协同编辑平台协同机制的研究

为满足多用户对分布空间数据进行远程查询、远程获取、远程协同编辑修改和分析的需求，研究开发了分布式空间数据协同编辑平台。该平台的协同机制重点解决分布用户同时编辑空间数据的冲突问题、用户数据操作的协同与群体感知问题、不同平台之间数据／消息传输的异构性等问题。为有效地解决协同等同题，提出了基于多智能体的分布式空间数据协同编辑平台的体系结构；给出了分布式空间数据协同编辑平台的通信机制和并发控制机制的设计与实现，设计了传输层的通信接口和表示层的通信接口。开发了分布式空间数据协同编辑平台系统原型，该系统可支持基于地理信息系统的规划设计应用系统。     

基于计算机支持的协同工作的注塑模协同设计研究

协同设计是计算机支持的协同工作 (CSCW)在制造业中的重要应用。本文提出了基于 CSCW的注塑模协同设计系统 ,其采用的基于三级客户 /服务器原理的协同设计系统结构 ,可以有效支持异地异构分布式设计环境。同时对注塑模协同设计过程控制、协同设计产品多模型视图和基于多 Agent的协同组织机制进行了深入探讨。     

基于着色解释Petri网的网络协议建模及协同仿真方法

为解决协议工程中协议形式化验证和仿真断裂的问题,结合着色Petri网和解释Petri网,构造出一种可建模复杂离散事件系统的着色解释Petri网.借助观察者模式,依据着色解释Petri网的特点,提出了一种具有通用性的与协议仿真工具协同工作的方法.作为对该方法的示例,采用着色解释Petri网对避免冲突的多路访问协议进行建模.在保证与OPNET仿真模型一致的基础上,通过着色解释Petri网与OPNET的协同仿真,改良了避免冲突的多路访问的功率控制算法.基于着色解释Petri网的协同仿真,第一次紧密连接了Petri网和通用协议仿真工具,对协议工程将起到重要作用.     

面向并行工程的产品设计质量协同评估系统的研究

本文基于分布式人工智能,并行工程和计算机辅助软件工程的思想,提出了一种基于分布式,并行处理环境下的服务于产品整个生命周期的集成化,智能化并行产品设计协同评估系统模型,论述了它的总体设计思想,体系结构,并给出了系统的应用实例。     

基于元模型调用的机械产品协同设计过程建模

针对具有设计任务多主体并发执行和设计过程动态不确定性的协同设计过程建模问题,在分析并给出了机械产品协同设计全过程协同模型的基础上,基于对象Petri网定义了协同设计过程的进程控制网模型.对产品调研立项、初步设计、方案设计、总体设计、零部件设计等基本设计单元的元模型进行了形式化描述.基于元模型调用策略,将元模型调用变迁和设计阶段审核决策变迁绑定,提出了机械产品协同设计过程的进程控制机制,并给出其决策变迁的路由策略.以机械产品总体设计元模型调用为例,说明了对协同设计过程动态控制的有效性.     

基于复杂Petri网的协同产品开发流程建模研究

协同产品开发是一项庞大且复杂的工程项目,传统的协同产品开发流程建模往往过于庞大、杂乱且层次不清.文中通过对基于Petri网的产品开发流程建模方法的分析,借鉴工作流管理思想,建立了一种新的、基于层次时间有色Petri网的协同产品开发流程模型.     

网络化协同CAE管理系统的研究与实现技术

对协同CAE的需求和特点进行分析,按照C/S模式构建协同计算机辅助工程体系结构,实现网络化协同CAE管理系统,从而解决了产品数据/模型管理、CAE协同等问题。详细介绍了该系统的功能和关键技术的实现,包括分布式CAE数据管理、基于文件的模型库系统、协同辅助工具等技术。最后给出了一个应用实例。     

基于构件技术的分布式协同设计系统研究

图形共享是远程分布式协同设计的一个关键问题,针对机械设计行业分布式协同工作中对图形数据库的要求,提出了基于软构件技术的支持协同设计的图形系统设计方案.系统在图形的管理、检索方面借鉴了软构件的统一规范思想,实现了行业设计方面的图形构件对于协同设计的有效支持,并依据行业特点,对图形库内图形的安全管理、检索等重要问题也进行了研究,给出了关键算法.系统的研究显著提高了资源利用率和设计人员的工作效率.     

Petri网在产品拆卸序列规划中的应用研究

拆卸是废旧产品中零部件再制造及材料回收再利用的重要环节，拆卸过程规划的目的就是为了寻找最优的拆卸序列。这里以Petri网为工具，建立了包括零部件回收价值及拆卸成本在内的产品拆卸Petri网模型，对模型进行求解，得到了满足需求约束的最佳拆卸序列。     

Modeling FMS with decision Petri nets

Decision point extended timed Petri nets or decision Petri nets (DPN) are introduced as an extended modeling framework for FMS performance evaluation. The decision point extension allows the explicit modeling of the control of the flow of tokens in timed Petri nets and hence represents the control of the flow of material, resources, and information in FMS. Further, the concept of a bounded transition is proposed to conveniently model the blocking logic in an FMS with limited buffer capacities. The motivation to present these conventions is to develop a user-friendly graphic model to represent FMS designs for analysis by discrete event simulation. DPN affords concise models that can be conveniently developed and easily transformed into discrete event simulation models. With the help of a simple FMS example, which includes a number of part types, loading rules, dispatching rules, and probabilistic branching (at an inspection station), we illustrate the DPN model development. As an illustration of the ease with which it can be tranformed into a simulation model, we have developed a generalized simulator called ROBSIM and outline here its methodological basis. The proposed concepts should be of interest to users of discrete event simulation in FMS design or elsewhere to tap the potential of basic Petri net concepts for graphic representation and specification purposes. In particular, our work should encourage other researchers to develop extensions relevant to their own areas of interest.     

基于过程控制网的协同设计建模与分析

为解决协同设计中多任务实例并发执行，以及设计过程动态控制的可视化与形式化问题，提出了协同设计全过程的概念及其形式化方法——过程控制网。协同设计全过程由设计对象、设计阶段和过程转移机制组成。过程控制网是在面向对象Petri网的基础上，通过扩展其变迁的语义得到。设计对象建模为托肯，过程转移建模为过程网，各设计阶段建模为单元网，过程网和单元网通过特定的变迁进行交互。最后，给出了协同设计全过程的过程控制网模型的运行实例。多实例并行执行所产生的变迁序列表明，该模型不仅胜任动态设计过程的控制，而且允许多个任务按照不同的过程定义同时执行。     

基于PDM协同设计任务建模与调度方法研究

从产品数据管理系统中协同设计过程任务建模的角度出发,提出基于产品结构分解的协同设计过程人员-任务分配模型,建立任务结构的约束映射和基于可扩展着色Petri网的任务过程建模方法,实现Multi-agent协同设计过程任务调度集成框架,最后进行了系统实现.     

Petri nets based coordination component for CSCW environment

In view of the lack of efficient coordination of interdependent task in the collaborative design system, the mechanisms for temporal and resource coordination problems are established based on Petri Nets, respectively. Both of the mechanisms are encapsulated and implemented in the coordination component so as to increase the flexibility and acceptability of the system. We model the CSCW system based on Petri Nets for simulation, analysis and optimization. A case study on the overhead traveling crane is given to demonstrate and validate our theory.     

使用着色Petri网实现调度仿真系统中的启发式算法

提出了在着色Petri网中运用标准元语言（SML）实现逻辑计算的方法。将着色Petri网与SML函数的组合体称为着色Petri网的运算单元，利用运算单元实现了调度系统NEH启发式算法。给出了使用着色Petri网组建流水车间（FlowShop）调度仿真系统的实例。     

基于数字孪生的制造资源动态优选决策

针对面向服务的智能制造环境下决策数据的准确性和实时性不足,以及协同和动态决策机制欠缺等问题,提出一种基于数字孪生的制造资源动态优选决策方法。设计了基于数字孪生的制造资源动态优选决策架构,并提出设备数字孪生(云/边数字孪生)和产品数字孪生,为决策者提供准确、实时的评价数据;构建基于实时Multi-Agent的资源优选决策多方协同机制,采用层次赋时有色Petri网仿真分析复杂制造任务中的瓶颈设备资源;采用序关系分析法计算评价指标权重,引入参考理想法对候选制造资源进行综合评估。将该方法应用于某航空发动机叶片制造企业设备资源优选中,验证了所提方法的可行性和有效性。     

知识化制造单元协同工作模型的研究

为了满足知识化制造单元及时响应多任务工作的请求,提出了一种基于契约网络协议的协同工作模型.对知识化制造单元的协同环境进行了假设,分析了协同工作机理.设计了功能结构,并将其划分为逻辑功能块、创新功能块及协同功能块,以便于知识化制造单元之间顺利工作;构画了工作协同的实现步骤,给出了知识化制造单元知识匹配的过程;最后简单描述了Web实现问题.该方法已在实际中得到了验证.     

基于过程管理的协同质量保证技术研究

在综合分析ISO9000质量保证体系结构、系统运行机制和设计特点的基础上，对建立基于过程管理的协同质量保证系统所涉及的关键支撑平台、仿真技术、体系结构和实现方法进行了研究。说明了基于Petri网的质量保证流程在网络化制造中的一般交互过程，在此基础上开发了原型系统。     

基于灰色广义随机Petri网的产品装配过程可靠性建模与分析

以产品的装配工步为研究对象,提出了基于灰色广义随机Petri网（GGSPN）的产品装配可靠性建模方法。首先,通过对装配过程中各道工步之间的装配关系分析,建立产品装配过程的GGSPN模型;其次,采用基本随机Petri网模型及其性能等价公式对GGSPN模型进行简化;再次,针对装配过程故障信息的贫信息不确定性问题,在广义随机Petri网模型的变迁激发率中引入灰数进行优化处理;然后,针对建立的产品装配过程可靠性模型,求解出用灰数表示的稳态概率并对其进行白化处理,再通过对产品装配过程的可靠性分析,提出可靠性控制的改进措施;最后,以某齿轮油泵装配过程为例,验证了该方法的可行性。