并行分布实时仿真的时间管理算法研究

并行分布实时仿真技术对大规模复杂系统的实时仿真提供了便利,近年来日益成为研究的热点.时间是分布式仿真中的重要概念;时间管理自然成为了分布仿真的关键技术.实时仿真对仿真时间的特殊要求,使得系统中的时钟同步与时间推进成为系统研究的关键.在探讨并行分布式仿真中的通用时间管理机制的基础上,从内同步和外同步两个角度研究了并行分布式实时仿真系统的时间推进方案和时钟同步方法;基于高速实时网络,提出了“共享时钟源”的时钟同步策略;结合具体的应用需求,给出了一种优先级轮询的时间管理算法.     

基于PDES系统的Time Warp性能研究

随着分布式仿真规模的日益扩大,高性能并行计算技术的不断发展,并行与分布式仿真正逐渐成为新的研究热点.时间管理技术是决定并行与分布式仿真正确性和可重复性的关键技术,直接影响着仿真系统的整体性能.而TW乐观时间管理机制的许多思想和概念一直为现在各种算法所借鉴和沿用.文章建立了一个TW的性能分析模型,利用该模型对事件数量、平均回退长度、回退概率及其上限等进行了分析,分析结果对并行离散事件仿真系统的研发与改进具有一定的指导意义和参考价值.     

HLA时间管理中死锁的研究

时间管理服务是高层体系结构HLA（High Level Architecture）的重要组成部分,而考虑不全面的时间推进机制和算法会导致死锁,进而导致整个仿真系统无法向前推进。从零前瞻量、时间管理策略、时间管理算法以及死锁的解除等方面对分布式仿真中的死锁问题进行了多方面的研究,探讨了死锁发生时系统所具有的一系列现象,论证了发生死锁和不可能发生死锁时的各类情形.讨论了死锁出现的原因,对Frederick算法及身高测量法存在的不足之处进行了修正,提出了一种严格序算法,并证明了这种方法不会产生死锁现象。在设计一个联邦时可考虑使盟员灵活地使用保守和乐观两种时间推进机制,并在对保守盟员计算GALT时使用序算法,这样就可以在仿真过程中有效地避免死锁的产生。     

基于HLA的乐观时间同步的实现研究

HLA (High Level Architecture)为了适应各种分布式同步算法,它只提供了比较底层的服务,这增加了乐观同步的实现难度。针对这个问题,在研究了HLA规则的基础上,结合时间卷曲机制(Time Warped )算法,总结了并行分布式仿真中乐观同步方式一般实现原理,比较了乐观邦员实现回卷的两种不同的算法——典型的卷曲算法和利用计算反射技术的回卷管理层方法。并指出利用计算反射技术的回卷管理层方法HLA还可以为乐观同步提供更好的接口和函数封装,使HLA在支持乐观同步上也强壮起来。     

并行离散事件仿真中的回退和持续机制研究

介绍了并行仿真驱动及支持软件KD-PARSE基于状态变换对象（SXO），采用增量式状态保存法，实现透明、可扩展自动回退机制以支持并行离散事件仿真中的乐观时间管理算法的方法，并给出了诸回退框架的整体结构设计。介绍了该软件实现的一种持续机制以支持仿真运行中的检查点功能。该持续机制利用持续数据库不仅实现了持续化内存管理，主持程序运行中的可回退动态内存分配和删除操作。     

DEVS/HLA分布仿真系统的时间推进方法研究

离散事件系统规范(DEVS)和高层体系结构(HLA)关注于不同的系统层次,将它们结合起来可以有效实现模型重用并利于仿真系统的校核和测试.DEVS/HLA分布仿真环境是将两者集成在一起的实现形式,该环境的核心在于如何利用时间管理服务在HLA分布模式下实现DEVS协议.在对DEVS/HLA环境的体系结构进行详细分析的基础上,详细研究了协调者控制和基于映射机制的两种时间推进方法,着重针对映射式方法提出了一种改进的时间推进算法,该算法能够为成员提供尽可能大的前瞻量,从而改进了DEVS/HLA系统的时间推进效率,算法的实际性能通过实验进行了验证.     

并行与分布仿真桥接技术研究

针对目前分布仿真系统对于复杂仿真模型解算能力的不足,提出了采用桥接技术实现并行仿真与分布仿真联合演练的思想.通过高性能并行计算机对复杂仿真模型进行快速解算,其结果通过桥接软件及时地返回给分布仿真系统.系统地描述了并行与分布仿真桥接软件的主要功能,以及数据实时传输技术、通用数据实现方案、时间同步策略等关键技术.     

基于HLA的维修保障仿真保守时间推进算法研究

高层体系结构(HLA)中的保守时间推进机制是以并行离散事件仿真(PDES)的保守算法为基础,而考虑不全面的时间推进算法会导致死锁。在维修保障仿真中,维修单元成员常常由于不满足保守算法而引起整个仿真系统无法向前推进。针对具有确定维修任务完成时间的成员不遵循本地因果约束条件的情况下,提出了强制时间同步法;针对具有不定维修任务完成时间的成员违反可预测性的情况下,提出了空事件法和任务阶段法。最终,通过实例验证了算法的正确性和有效性。     

HLA时间管理中死锁的解除

时间管理服务是高层体系结构HLA(High Level Architecture)的重要组成部分，而考虑不全面的时间推进机制和算法会导致死锁，进而导致整个仿真系统无法向前推进。讨论了死锁出现的原因，对Frederick算法存在的不足之处进行了修正，提出了改进的身高测量法，并证明了这种方法不会产生死锁现象。在设计一个联盟时可考虑使盟员灵活地使用保守和乐观两种时间推进机制，并在对保守盟员计算GALT时使用改进的身高测量法，这样就可以在仿真过程中有效地避免死锁的产生。     

并行/分布式仿真微内核μsik的研究与改进

在大规模分布式仿真中,要开发一个内部实体能并行处理的联邦成员,目前还没有比较通用的开发工具。并行/分布式仿真微内核μsik使这类联邦成员的开发不必从零开始。该文首先阐明并行仿真与分布仿真的异同,以及并行仿真中的同步与回退机制,接下来对μsik从体系结构、数据结构、调度过程和事件发送过程等方面进行分析,然后在μsik中增加了两种事件发送机制:保守发送机制和限制的乐观发送机制,对改进的内核进行测试并对测试结果做了详细分析,结果表明增加的事件发送机制能够提高系统性能。     

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

正~~     

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     

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

正~~     

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

正June 22-24,2015Guangzhou,China http://iec.cnsba.com/index.htmlCo-Sponsored by:ffiEE SMC(pending)South China University of Technology The Chinese University of Hong Kong Tsinghua UniversityHosted bv:School of Business Administration,South China University of Technology,China Conference Co-Chairs:     

分布交互仿真技术综述

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

Innovation Versus Environmental Protection Presumptions

The paper is about negotiating with issues that discourage innovation. The subject is environmental deterioration, with concern directed at the impediments that keep it from being innovatively resolved. The paper is organized around three issues. (1) The dominant model of environmental concern, called environmental protection, is managed predominantly via command and control approaches. (2) Command and control, by relying on analytical segmentation to subdivide the problem into digestible bits and using formal legislation to direct it, are not up to emerging challenges in the area. (3) More robust models are available but difficult to experiment with due to impediments that discourage change. These impediments are seen in ideals associated with protection, prevention, recycling, and sustainability that tend to do more to sustain harmful practices than to seek beneficial alternatives. Being able to appreciate the underlying restrictions of entropy could help stimulate a more innovative agenda. These issues are tested via a project funded by the EPA entitled ENERGY STAR Homes.