产品设计自动化系统中离散事件驱动的分布求解框架

在分析事件驱动的消息处理机制基础上,对过程设计自动化系统中如何有效利用事件—状态—动作(ECA)机制进行了研究,给出了支持离散事件驱动的过程模型,并结合工程求解问题实际情况提出了支持设计过程自动化的求解框架和动态求解策略。     

基于Petri网的建模分析

Petri网以其简洁、直观、潜在模拟能力强等特点被广泛用于离散事件系统的模拟和分析中。随着业务流程建模、工作流概念的出现以及Petri网技术的发展,Petri网也被用于工作流模型的建立。在介绍工作流和Petri网概念的基础上,通过实例研究如何使用Petri网建立模型,并进一步做了可达性分析。     

集成化设计质量管理平台

在分析现代产品设计过程及其特点的基础上,对产品设计质量管理所涉及的内容和方法进行了分析与研究,提出了一种集面向产品设计各阶段的宏观描述和面向产品设计过程内循环的微观过程为一体的设计质量管理模型,并基于此模型构建了集成化的设计质量管理平台体系架构。本文介绍了集成化设计质量管理平台的总体框架和系统实现方法。     

一类短延时网络控制系统的建模与稳定性分析

网络控制系统由于将通讯网络引入了控制系统的闭环中,使得对其分析非常复杂。在分析网络多包传输原因的基础上,讨论了多包传输网络控制系统的建模问题。系统中传感器采用时间驱动方式,控制器和执行器采用事件驱动方式。在考虑延时小于一个采样周期情况下,建立了多包传输闭环网络控制系统模型,并分析了闭环网络控制系统的稳定性。     

离散制造系统在制品库存控制

建立了离散制造系统在制品库存控制模型,详细分析了模型中采用的需求平稳化策略、生产延迟策略和库存策略对在制品库存的影响。在仿真分析系统参数对在制品库存影响的基础上,指出了在离散制造过程中通过采用过程控制技术以及集成应用过程控制与统计过程控制来控制在制品库存的优越性。     

实时离散事件系统的状态反馈逻辑

 基于状态时间的概念,在Ramadge-Wonham模型的基础上提出了一种新的实时离散事件系统模型。在控制目标是保持某给定谓词在闭环系统状态轨迹上为真的情况下,给出了实时控制不变性的定义。研究表明,对这类系统,存在一个状态反馈控制器使给定谓词在闭环系统状态轨迹上保持为真的充要条件是该谓词是实时控制不变的。证明了给定谓词所含的最大实时控制不变子谓词的存在性并给出了计算方法。最后,给出一个例子来说明有关结果。     

基于使用数据的航空装备保障效能仿真基准模型构建方法

针对当前保障效能仿真技术引入国内后一直无法在型号应用中取得良好效果的现状,创新性地提出了基于使用数据的航空装备保障效能仿真基准模型构建方法。首先,在自主研发保障效能仿真平台ILSLab-Sims的基础上,提出了一套完备的使用数据采集方案;其次,在对航空装备维修保障过程分析的基础上,运用离散事件建模方法和计算机建模与仿真技术建立了飞机维修保障仿真模型;然后,以完好率为校验指标,提出了一套基于Z检验确定保障效能仿真基准模型的校验方法;最后以某典型航空装备为例,对上述基准模型构建方法的有效性进行了验证,并做了进一步的应用分析。     

Petri网理论及其在离散事件系统中的应用

 本文扼要介绍Petri网理论及Petri网图。阐明了Petri网的解析方法,举出了用Petri网建立离散事件系统模型的例子。最后用Petri网不变量对系统进行了验证。     

支持产品设计信息管理的"参数面"模型

在研究产品设计和产品设计过程的基础上,建立了支持产品设计过程动态管理的参数面模型。对产品设计的参数组织和管理进行了深入研究,给出了参数面模型支持下的应用实例。     

多包传输网络控制系统的建模

作为系统分析和设计的基础,对网络控制系统建立合适的模型,意义尤显重要。本文对广义被控对象进行了分析,考虑了延时、系统噪声和数据包丢失的情况下,用一种统一的形式,建立了多包传输网络控制系统的模型。在系统中,传感器采用时间驱动方式,控制器和执行器采用事件驱动方式。这些模型的建立有利于网络控制系统的分析和网络控制系统控制器的设计。