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

摘要：针对具有周期时间约束、访问次数限制和设计过程动态变化特点的协同设计过程访问控制问题,将基于角色的访问控制模型和基于任务的访问控制模型进行扩展与融合,提出一种适应于协同设计全过程的动态访问控制模型CDACM。通过引入设计单元结构体的状态迁移和约束依赖关系,控制访问授权状态的变化和权限的约束,以实现与上下文相关的主客体动态授权管理;同时通过设定权限激活周期时间约束和权限访问次数限制约束,来解决权限访问时间限制和事务完整性约束问题。给出协同设计的访问控制策略和激活机制。将理论研究应用于链式输送机协同设计访问控制系统中,验证了所提模型的有效性。

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

摘要：设计资源的有限性和设计活动的并发性会导致产品协同设计过程中的资源冲突.针对具有时间属性的产品协同设计过程资源约束的可调度性问题,采用时间约束Petri网理论提出一种产品协同设计过程资源约束网模型,定义了具有单一资源库所输入和多个资源库所输入的设计活动变迁的可调度性概念及其判定规则.把协同设计的资源约束可调度性划分为弱可调度和强可调度2类,通过引入变迁序列的token到达资源库所时间上下界的概念,给出了产品协同设计过程资源约束的可调度性规则及算法.最后通过一个链式输送机传动系统的协同设计资源约束模型,验证了文中方法的有效性.

摘要：提出了一种基于决策规则的机械产品协同设计全过程动态建模方法。在定义了基于决策规则的协同设计过程OPN模型的基础上,将机械产品的设计过程描述为具有多个输入输出调用接口的设计单元模型,然后将设计单元的输入输出接口与协同设计过程的评审决策变迁绑定,构建了一种协同设计全过程控制模型。该模型通过决策变迁信息库所中的决策信息,动态地确定协同设计过程的执行流向。最后,以链式输送机驱动机构的协同设计建模实例验证了该方法的有效性。

摘要：针对协同设计过程中由于任务执行的动态性承担任务的角色与权限之间的动态分配问题,在协同设计访问控制中引入任务关联,提出一种基于任务/角色的动态访问控制模型TRBAC,给出TRBAC的形式化描述。论述基于TRBAC的协同设计动态访问过程,设计其访问授权及控制算法。以凸轮组协同设计为例,通过引入TRBAC模型,实现其动态访问控制。

摘要：对分布对象中间件异步通信中的时间、空间和流程的解耦问题进行研究,分析当前分布对象中间件异步通信机制存在的问题。基于CORBA分布环境引入P/S发布订阅系统,构建基于P/S模式的CORBA通信体系。阐述该通信体系的体系结构及其接口的封装与设计,对支持这种通信体系的使能技术进行说明。

摘要：针对云计算环境下智能制造集中资源分散服务过程中存在的数据异构与资源统一描述问题,在分析现有云制造资源服务化封装与发布技术的基础上,利用张量理论在描述异构数据上的技术特点,提出了一种基于张量理论的云资源服务化封装与发布策略。首先将云制造资源进行分类,并就不同资源给出封装方法;其次基于张量理论定义了不同类型的云制造资源的张量模型,根据不同资源服务属性建立低阶子张量;然后利用张量扩展算子对低阶子张量子进行融合,将各类属性信息嵌入至高阶张量空间,实现云制造资源的统一表示。给出了制造资源、制造能力、设计资源的统一封装模板和形式化描述。最后,给出了云制造资源的服务化部署及发布策略,设计开发了一个云制造资源服务化封装与发布系统,通过实例验证了所提方法的有效性。

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

摘要：为解决复杂机械产品协同设计中的知识冲突问题,研究了产品设计时约束网络的建立方法和约束的分层管理,并采用区间传播算法求解约束满足问题,解决了协同设计中基于约束的冲突检测和冲突归档问题。在理论研究的基础上,开发了一种基于J2EE平台Struts+IBatis轻量级框架的协同设计中知识冲突管理系统,在一定程度上解决了协同设计中的知识冲突问题,并以挖掘机产品设计选择轴承为实例验证了知识冲突管理系统的正确性和可行性。