基于HTCPN的飞机维修保障资源配置方法

针对飞机基层级维修保障资源配置问题,提出了一种基于分层赋时着色Petri网(hierarchical timed colored Petri net, HTCPN)的维修保障资源配置方法。首先,根据飞机基层级维修保障工作内容及流程,运用CPN Tools软件,构建飞机维修保障全过程的HTCPN仿真模型,设计仿真时钟折算方法。其次,提出维修保障资源配置规则,建立基于飞机出动架次率的维修保障资源配置模型。最后,算例分析结果表明所提方法能够迅速、准确地完成飞机基层级维修保障资源配置。所提方法为科学制定飞机基层级维修保障配置方案提供了技术支撑,具有一定的工程应用价值。     

基于HTCPN的飞机维修保障资源配置方法

针对飞机基层级维修保障资源配置问题,提出了一种基于分层赋时着色Petri网(hierarchical timed colored Petri net, HTCPN)的维修保障资源配置方法。首先,根据飞机基层级维修保障工作内容及流程,运用CPN Tools软件,构建飞机维修保障全过程的HTCPN仿真模型,设计仿真时钟折算方法。其次,提出维修保障资源配置规则,建立基于飞机出动架次率的维修保障资源配置模型。最后,算例分析结果表明所提方法能够迅速、准确地完成飞机基层级维修保障资源配置。所提方法为科学制定飞机基层级维修保障配置方案提供了技术支撑,具有一定的工程应用价值。     

基于UML的飞机维修保障仿真研究

统一建模语言(UML)是一种基于面向对象技术的标准建模语言,其不仅可以在软件开发过程中使用,也可在复杂系统仿真中应用。参照面向对象Petri网的建模过程,提出了一种基于UML的仿真建模方法,通过UML状态视图描述各个仿真实体的状态变化,使用顺序图描述消息交互的时间性,并通过协作图连接各个仿真实体。文中将该方法应用于飞机的维修保障仿真过程,并根据所建立的仿真模型,对仿真系统进行了实现,得到了较好的效果。     

关节化虚拟人手臂动作的建模及其仿真实现

关节化虚拟人在执行维修作业过程中，不可避免的需要用手臂去操控各种操作对象，为此提出了一种基于Petri网的关节化虚拟人手臂动作模型。模型首先利用逆向运动学方法计算出在目标位姿下的关节链上各关节的角度，进而利用关节插值方法，以仿真循环迭代的方式实现对手臂关节链上各个关节的运动控制。仿真和实验结果验证了所提方法的可行性与实用性。     

基于改进型随机Petri网的维修保障方案评估方法

一体化联合作战对诸军兵种装备系统及其维修保障体系提出了更高的要求,急需对装备维修保障体系运行规律进行建模与仿真分析,提高装备完好率和任务成功率.分析了Molloy形式的随机Petri网及其扩展模型在装备使用与维修过程建模与仿真分析中的不足,据此提出了全局时间的实现方法,改变了抑制孤的功能,选择了适当的变迁规则,提出了基于改进型随机Petri网的装备维修保障过程建模方法,开发了基于MATLAB的分析软件,针对某型导弹装备使用维修过程进行建模与分析,实现了保障方案的评估与优化.     

数字化工厂敏捷维修仿真平台

敏捷维修是后勤保障领域的新概念，对其进行的研究需要一个统一的仿真平台。首先分析了在数字化工厂虚拟环境下建立敏捷维修仿真平台的基本原则、方法和可行性，提出一个双层结构的仿真平台及其总律设计方案，并详细介绍了其具体实现方式。最后，展示了一个数字化工厂环境下的敏捷维修平台的实例，分别以商用优化包及自主二次开发两种方式对它的优化控制层进行了实现，提出了其工作流程。生产前此平台可以对生产中可能遇到的各种分布的随机故障进行模拟，对维修资源进行优化：从而在实际生产中敏捷地开展各项维修活动，减少平均修复时间，提高生产效率；同时它又可与实际生产中采集到的状态数据相结合，从而转化成一个实际的敏捷维修系统。     

维修保障流程的通用仿真模型研究

在分析维修保障流程建模与仿真重要性的基础上，分析了PERT模型和Petri网模型在流程仿真中的应用特点，结合PERT和Petri网技术，提出了基于多层次PERT-Petri网的通用仿真模型，并给出了该模型的建模方法和仿真算法，文章最后给出了一个例子。     

CIMS并行智能实时动画仿真

本文介绍一个ＣＩＭＳ并行智能实时动画仿真软件的设计与实现，提出了建立并行智能仿真模型、进行并行智能任务规划、以三维实时图形再现ＣＩＭＳ各工作单元工作过程的算法和思想。完成的一个制造加工系统已在Ｓｕｎ工作站上用Ｃ语言实现，取得了个人满意的仿真结果。     

基于资源竞争的协同式维修操作过程建模

大型复杂装备的维修过程通常需要多个维修人员的协同配合操作,使得具有独占性的维修资源在分配和使用时存在一定的竞争性。对协同式维修操作过程特点及其协同模式进行分析的基础上,基于颜色Petri网对其相关的维修对象、维修人员和维修资源等要素进行行为分析和状态变换描述。在考虑维修操作时间开支的基础上,基于资源竞争机制建立了大型复杂装备的协同式维修操作过程模型。对避免资源竞争和并发冲突的相关策略进行了分析和论述,开发了大型复杂装备通用化CMOP仿真平台,为大型复杂装备协同式虚拟维修过程建模和仿真实现提供技术支撑。     

基于可执行规格说明的维修机构建模与仿真

为分析维修机构的性能,采用基于赋时有色Petri网的可执行规格说明语言建立了维修机构模型。模型采用自顶而下逐层分解细化、组件重用和基于状态的Petri网建模方法,对维修机构进行维修资源分析,并对动态组成维修小组和维修过程的系统状态变化过程进行了详细描述,准确反映了维修机构的维修等待和资源竞争现象,同时将定量关系嵌入到描述模型中。通过模型执行,以动画显示系统状态的变化,分析系统性能。最后给出了一个建模与仿真实例。实例表明,基于可执行规格说明建模和仿真方法是研究维修机构运行的有效工具。     

The 12th International Conference on Service Systems and Service Management ICSSSM'15

正~~     

THE 8~(th) INTERNATIONAL CONGRESS ON INDUSTRIAL AND APPLIED MATHEMATICS

正August 10-14,2015Beijing,ChinaThe International Congress on Industrial and Applied Mathematics(ICIAM)is the premier international congress in the field of applied mathematics held every four years under the auspices of the International Council for Industrial and Applied Mathematics.From August 10 to 14,2015,mathematicians,scientists     

2014 List of Referees

正~~     

《Journal of Systems Science and Systems Engineering》Contents of Volume 23,2014

正~~     

TSINGHUA UNIVERSITY,Beijing, China

正AF:Any Field The School of Economics and Management at Tsinghua University(Tsinghua SEM)invites applications for faculty positions at all levels(Assistant Professor,Associate Professor and Full Professor)in any fields of business administration and management.Tsinghua SEM is the only school     

Enterprise resource planning implementation decision & optimization models

To study the uncertain optimization problems on implementation schedule, time-cost trade-off and quality in enterprise resource planning (ERP) implementation, combined with program evaluation and review technique (PERT), some optimization models are proposed, which include the implementation schedule model, the timecost trade-off model, the quality model, and the implementation time-cost-quality synthetic optimization model. A PERT-embedded genetic algorithm (GA) based on stochastic simulation technique is introduced to the optimization models solution. Finally, an example is presented to show that the models and algorithm are reasonable and effective, which can offer a reliable quantitative decision method for ERP implementation.