基于CPN的联邦概念模型形式化建模与验证(英文)

提出了基于着色Petri网(CPN)的联邦概念模型(FCM)形式化建模与验证一体化方法。这种方法的提出主要基于下面两点:一是形式化的FCM与用自然语言描述的模型相比具有更完整、更准确和更规范的特点;二是形式化模型的验证需要专门的工具辅助完成。以一个简单的制造系统为例,采用CPN语言建立了该系统的形式化概念模型,利用辅助软件工具CPN Tools完成了该联邦概念模型的仿真和验证。应用研究表明,着色Petri网有助于描述联邦中各实体的行为和关系,CPN Tools辅助工具实现了形式化模型建模、仿真和验证的一体化过程。     

基于SMP2的导弹攻防对抗仿真模型开发与集成

介绍了仿真模型可移植性标准(SMP2),指出其在分析型仿真中的优点,提出基于SMP2进行导弹攻防对抗仿真系统模型开发与集成思路.从组成框架、交互框架、时序框架和对象执行框架搭建基于SMP2标准的导弹攻防对抗仿真系统概念模型框架,根据SMP2建模一般过程描述了基于SMP2的导弹攻防对抗仿真系统模型设计、开发与集成,讨论了相应的关键功能设计与实现,并以弹道导弹对美导弹防御系统突防措施论证问题为实例验证了介绍的模型开发和集成思路.     

不确定条件下舰载机动态调度仿真与优化方法

针对舰载机调度中的不确定性及动态特征,给出了基于多主体技术的舰载机动态调度仿真与优化方法。定义了不确定条件舰载机动态调度的概念模型。基于多主体技术描述了概念模型中变量与目标、约束之间的隐函数关系。为降低不确定因素中能够引发重调度的各类系统扰动（故障或新任务到达）的影响,给出了主体之间的交互协商机制。在此基础上,给出了基于合同网与遗传算法的混合优化算法以提高模型的求解能力。最后以舰载机的典型任务模式为例,测试了混合优化算法的能力,并利用敏感性分析方法对故障扰动的影响进行了描述,验证了仿真模型与优化算法的可行性。     

坦克CGF发现目标过程的建模与仿真

坦克计算机生成兵力是陆军作战仿真系统的重要组成部分,其模型由机动模型、发现目标模型、火力模型等组成.针对坦克发现目标的过程,分析了影响坦克发现目标的相关因素,描述了坦克扫描、发现、识别目标的主要过程,建立了坦克发现目标的军事概念模型和各环节的数学模型,建立的模型在坦克单车对抗仿真系统中分别进行了不同植被、不同能见度、不同倍率奈件下的发现目标仿真试验,并分别与“人在环”坦克模拟器、资料数据以及实地观测数据进行了比对,验证了模型的有效性.     

混杂交通微观仿真原型系统的验证

在混杂交通微观仿真原型系统的开发中，需要做大量实地研究工作，并且验证主要是验证交通参与者模型。考虑到这些特点，在借鉴现有仿真验证方案的基础上，为其验证制定了方案。验证方案包含5步：仿真用途确定、比较基准定义、概念模型验证、规则库验证、结果验证。在文章最后，给出了一个应用该验证方案的具体实例。     

编队协同反潜概念模型研究

概念建模是当前仿真领域的关键技术之一,被用于连接真实世界和仿真模型,建立概念模型有利于实现仿真间的互操作和促进仿真资源的重用。分析了概念模型的建立过程,简要介绍了统一建模语言UML。结合编队协同反潜的特点,建立了实体、任务、动作和交互的概念模型,并利用UML对协同反潜军事活动进行了形式化描述。所建模型可以减小军事专家与仿真技术人员对该活动的认知偏差,缩短建模与仿真的工作周期。     

模型验证——基于主体建模的方法论问题

基于主体的(agent-based, AB)建模已成为目前社会经济系统复杂性分析的重要方法, 但由于缺乏有效的模型验证导致AB 建模方法还未能得到主流研究者的认同. 本文比较了AB建模和基于方程(equation-based, EB)建模在建模过程上的区别, 从结果验证、过程验证和模型对接研究三个方面回顾了AB模型验证的主要方法论问题和相关研究进展, 指出建模工具标准化、一致性判断、灵敏度分析和参数空间压缩技术是未来AB 模型验证的主要方向.     

防空雷达预警监视系统建模与仿真框架及实现

针对防空雷达预警监视系统作战呈现的体系对抗特点,基于CAS理论和实体M&S方法,提出了一种由"一个核心"、"二个系统"和"四个模型"组成的防空雷达预警监视系统建模与仿真一体化框架,其中,"一个核心"为SEBI-TE(System Entity Behavior Interaction-Task Efficiency)方法,"二个系统"为真实系统和仿真系统,"四个模型"包括概念模型、数学模型、仿真概念模型和仿真模型;并简述了框架的各个组成部分;最后,通过雷达群站系统在有源压制背景下探测空中突防目标的建模与仿真实例分析,验证了该框架的有效性和优越性。     

基于HLA的仿真系统模型研究

在基于HLA的仿真系统开发中,设计和建立HLA仿真系统的各种模型是促进仿真互操作和仿真组件重用的关键过程,模型问题是整个HLA联邦开发的核心问题。在提炼了HLA仿真系统建模过程的基础上,提出了改进的基于HLA的仿真系统开发模型体系,并总结了概念模型、对象模型和仿真模型的开发方法和过程,为各模型的快速、规范化开发打下了基础,并能够缩短基于HLA的仿真系统的开发周期,提高建模与仿真的效率。     

基于Swarm的供应链多主体聚集模型及其仿真

供应链是一类典型的复杂适应系统,本文采用一种高级Petri网方法建立基于多主体的供应链模型,着重论述通过子主体代换建立多主体聚集模型的方法与步骤,并给出多主体聚集模型实例。最后,建立了供应链配送渠道系统简化模型,设计了相应的仿真参数,通过Swarm仿真平台模拟了供应链配送渠道系统的动态组合行为,并对仿真结果进行了分析。     

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.