基于超图的Cyber空间故障传播研究方法

针对现有的基于相连链路联系的故障研究方法不能准确描述Cyber空间因资源发生故障而造成的影响这个问题,提出了一种从共享任务联系的角度分析资源故障传播与扩散问题的研究方法。其基本思想是利用Petri网建模方法描述Cyber空间中任务与资源的基本关系,基于超图理论构建任务-资源模型。定义了传播能力、传播系数、扩散系数等指标来刻画故障的传播与扩散过程,采用邻接矩阵分析并推导出了这些指标的量化方法,在此基础上给出了资源故障在网络中产生的影响力的函数,最后利用案例验证了资源的故障传播和扩散过程。     

集成化离散生产过程的工作流管理

文章以面向过程的观点,分析了生产过程内活动之间的逻辑关系,提出了以工作流管理系统为集成平台的企业生产过程管理和离散生产过程工作流建模方法。在此基础上建立了过程运行规则和资源约束处理规则。由于生产过程的工作流模型是以活动为组件自下而上建立的有向树结构,它与过程运行规则和资源约束处理规则的结合,使生产过程能够适应内部及外部环境的变化,从而可有效地解决生产过程中各活动之间的协调问题。     

导弹武器系统任务空间概念模型开发

为了构建导弹武器系统执行战略反击使命的任务空间概念模型,保证模型的互操作性和可重用性,研究了任务空间概念模型的形式化描述,突出了任务空间概念模型中核心元素之间的关系。利用UML建立了战略反击作战使命的任务空间概念模型。分析了执行战略反击使命的特点,抽象出任务空间概念模型的核心元素,重点描述了实体间的关系、任务间的关系、条件与任务的关系、交互与任务、实体的关系等核心元素之间的关系。最后讨论了模型验证的方法。实践证明,以核心元素及其关系描述任务空间概念模型的方法可操作性较强,建立的模型也容易理解。     

基于扩展Petri网的虚拟维修作业过程模型

维修作业过程模型是进行装备虚拟维修性分析与维修训练的基础。维修作业过程属于典型的离散事件,Petri网方法相对于其他过程建模方法,更适合于描述具有冲突、并发关系的离散事件系统,且模型具有直观性。利用时间-有色Petri网对装备的维修作业过程进行建模,分析讨论了维修作业过程中逻辑关系的表达与维修保障资源的描述;引入对象概念对资源库所进行了扩充,定义了维修作业变迁的触发条件及触发延时的确定方法,增强了模型的描述能力。最后通过一个维修作业实例,说明了该模型可以很好地应用于装备维修作业过程建模。     

一种基于事件-响应关系的Cyber系统行为模型

CPS(Cyber-Physical System)系统中的Cyber系统旨在根据用户要求,应用计算、通信和控制等技术实现对现实世界物理行为的精准控制.物理行为是连续和并发的,而Cyber行为是离散的,这种异构性给Cyber系统行为的分析和设计带来了巨大的挑战,迫切需要一种精确的模型来捕获Cyber系统与外界的交互行为语义.按照行为角色的不同,分析了CPS系统的抽象组成架构,阐述了各实体的行为;提出了一种基于事件-响应关系的Cyber系统行为模型,给出了事件的形式化定义和各类事件的形成规则的语法和语义,对事件的属性取值条件和时序特性进行了详细刻画;在此基础上,定义了事件-响应关系模型的语法和语义;最后以智能探测车为例,分析了该模型在Cyber系统设计与开发中的作用,并提出了进一步的研究工作.     

基于时间Petri网的工作流建模

随着工作流管理的发展,人们提出了很多扩展Petri网概念用于工作流建模。描述工作流中的资源、资源条件以及任务与资源条件之间的关系是一件很复杂的事情。而现有的用于描述工作流的Petri网在这方面,并不令人满意。该文特别强调资源的概念,在时间Petri网的基础上提出了一种新Petri网———资源条件/任务网(ResourceCondition/Tasknet,简称RC/TN),利用RC/TN网来进行工作流建模,描述工作流的执行过程。并将该工作流建模方法应用于OA流程的描述中。     

旋翼飞行机器人研究进展

旋翼飞行机器人是面向空中自主作业需求,将旋翼飞行器与多自由度机械臂相结合所提出的新型机器人.该机器人作业过程中旋翼飞行器、机械臂与作业目标之间的动态相对运动以及与作业目标接触过程中未建模外力、力矩扰动使自主控制受到极大挑战.本文将针对旋翼飞行机器人的结构演变及关键技术、作业机构集成技术进行综述.从动力学建模及动力学特性分析、动态运动约束/力约束下的协调规划、非结构环境下的运动和作业控制、面向任务动态操作的环境感知、面向任务的实验系统构建与实验验证五个方面初步构建了旋翼飞行机器人自主作业理论体系.     

CAUPS系统中的时空推理机制与算法

动态城市规划方案仿真系统中的一个重要问题就是抽象和提取仿真对象之间涉及到的空间和时间逻辑关系,并以此作为仿真过程的基本准则和规范动态推理演算。为了建立CAUPS系统中的时空推理机制,针对城市规划方案的动态仿真过程中需要应用到的基本准则和规范,在传统时空关系描述和推理规范的基础上定义出适用于面向城市规划动态仿真的时空关系。考虑到城市规划过程中存在的非刚体对象,提出面向城市辅助规划系统方案应用结果仿真的时间空间推理规范,该规范能够非常好的支持如植被、水域等非刚体对象,并给出一个适合多Agent系统采用的时间空间推理规范执行解决方案,包括时间推理规范算法和空间推理规范算法。面向城市规划的时间推理规范算法和空间推理规范算法已经被成功应用于CAUPS系统底层的多Agent交互关系调整中。     

虚拟企业环境下过程融合机制、模型及过程管理模式

提出虚拟企业产品设计过程融合的思想以及面向虚拟企业的设计过程融合与设计活动集成体系结构,该体系结构在任务分解与资源匹配、过程融合、设计任务执行以及对象与版本管理四个层次上捕捉设计过程中内在的动态特性。基于设计过程动态建模描述虚拟企业环境下过程融合设计流模型,支持虚拟企业环境下敏捷设计流管理,统一组织和管理设计过程、活动及其资源,实现虚拟企业环境下产品设计过程分析、优化与动态重构。     

工作流模型的研究与实现

本文介绍工作流以及工作流建模的一些基本概念，以及Petri网技术在工作流模型中的应用，同时提出了一个工作流建模的具体实现方法。本工作流模型的实现包括了企业人员、资源以及任务信息模型的实现，同时任务模型中包括了任务之间的约束关系，以及任务执行过程中产生的文档。