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

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

航空装备单元维修保障仿真评估方法研究

针对航空装备维修保障的仿真评估问题,首先,以某装备单元完成典型训练任务为主线,构建装备单元维修保障业务模型、组织机构模型、装备任务模型、装备系统模型、保障系统模型和保障行为模型.其次,设计了维修保障仿真推演运行控制和计算推演框架.最后,对维修保障分析评估流程进行分析,并通过典型案例进行计算验证.通过研究,能够为深入推进...     

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

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

多范式人工社会建模与多智能体仿真平台框架

ACP（Artificial Society,Computational Experiments,Parallel Execution）方法是一种新的解决突发事件应急管理的理论方法。基于ACP方法和多范式建模理论,提出了多范式人工建模方法及其运行支撑多智能体仿真环境,利用模型变换支持人工社会多领域建模,改造基于组件的并行仿真支撑形成支持FIPA（Foundation for Intelligent Physical Agents）协议的多智能体仿真引擎。以此为基础,最后提出了多范式人工社会建模与多智能体仿真平台框架。包括人工社会建模环境、人工社会运行环境和人工社会实验环境。该框架同时也是＂非常规突发事件模拟仿真与计算实验集成升华平台＂的重要支撑。     

机电系统新型多软件协同建模与仿真环境

针对传统机电系统虚拟样机软件的性能易受个别子程序分析能力制约的问题,综合多种仿真软件的优势,构建了一种新的模块化的多领域协同建模与仿真环境.采用Pro/Engineer、ANSYS和ADAMS建立机械系统的刚柔耦合多体动力学模型,采用AMESim和MATLAB/Simulink建立液压控制系统模型,并在MATLAB/Simulink中将两子系统模型根据参数关联有机集成,得到机电液一体化的总体模型.子系统模型和总体模型可分别用于不同系统级别的仿真研究.以某复杂机电液一体化调平系统的虚拟设计为例,便捷高效地实现了单学科领域建模和机电液集成建模与协同仿真分析.仿真实验表明该新型多软件环境能够有效支持机电系统虚拟样机的开发研究.     

基于SMP2的复杂系统生成式仿真建模方法

复杂系统仿真迫切需要能够同时支持多领域分别独立针对性建模和全系统统一集成仿真的方法. 将当前用于复杂系统仿真的建模方法分为统一型、组合型和生成式三大类, 分析指出生成式建模方法具有较之其它方法的独特优势, 有望解决复杂系统仿真建模面临的问题. 研究了当前仿真领域应用的各类生成式建模方法存在的不足. 提出了以仿真模型可移植性标准(SMP2)为基础, 综合利用生成式建模方法的两大流派-模型驱动架构(MDA)和模型集成计算(MIC)-的先进技术和规范, 构建复杂系统生成式仿真建模方法的研究思路. 分析了其中的多领域生成式仿真模型公共表示规范、各类仿真形式体系到SMP2的映射与模型变换以及面向领域的仿真建模工具的自动生成等三大关键技术问题. 设计了生成式仿真建模一体化支撑环境的体系结构, 介绍了其中已经完成的工作和下一步的重点.     

基于嵌入Petri网的GERTS维修保障流程仿真模型研究

在分析维修保障流程建模与仿真重要性的基础上,分析了GERTS模型和Petri网模型在流程仿真中的应用特点,提出了基于嵌入Petri资源约束网的GERTS仿真模型,并给出了具体的仿真算法。该模型通过在GERTS模型中嵌入Petri资源控制网,解决了GERTS难以对具有较强资源依赖性的过程很好描述的缺陷,可用于复杂流程的仿真建模分析。最后,文章针对某型生产设备的维修保障流程进行了实例分析。     

典型陆军部队装备维修作业能力评估系统仿真建模研究

针对陆军部队维修作业仿真评估需求,提出了一套仿真模型设计方案。分析了部队维修作业能力仿真评估原理,进而明确了评估模型需求;给出了维修任务生成、维修保障系统建模方案;结合备件调度和保障设备使用过程,设计了维修保障资源模型。为陆军部队装备维修作业能力评估提供建模基础,用于支撑部队维修作业能力仿真评估系统的设计和应用案例研究。     

C3I网络仿真的可视化设计与实现

真结果分析可视化。在整个系统的实现过程中,这三个阶段的可视化又是相互联系的,并要支持分布式仿真。利用面向对象的VC 6.0提供的文件存储和CSocket,该系统完成了从分布式建模、运行到结果分析的一体化可视化设计。目前该系统拥有单计算机单模型和多计算机多模型的多种运行方式,曾运行在5个处理器的分布式环境中,最高可以仿真具有80个网络终端的模型,取得了良好的仿真效果。     

基于CPN仿真的排队系统建模及性能分析

排队网络模型是一种经典的性能分析模型,提出按照队列的输入过程、排队规则和服务机构三要素,将排队系统转换为层次颜色Petri网模型的建模规则,利用CPN Tools 工具在模型中加入monitor监视器监视模型运行情况,使用Data Collector采集相关数据,进行队列模型的相关指标的性能分析和评价工作,最后给出基于仿真的建模与分析方法的一般操作步骤.这种建模和分析方法不需要对系统作任何的假设和限定,可以对模型的任何方面进行性能分析,扩展了传统排队系统的研究范围,具有很强的灵活性;一些扩展排队网络的建模和分析,如考虑服务台损坏和维修时间的扩展模型,只需对基础的排队网络稍加修改即可完成建模和性能分析,提高了模型的复用性;层次化的建模方法克服了基本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.     

分布交互仿真技术综述

介绍了ＤＩＳ的技术特点,综述了ＤＩＳ中关键技术和相关技术,并对目前ＤＩＳ发展过程中遇到的问题进行了深入的分析与论证。