HLA时间管理中死锁的解除

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

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

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

对GALT算法的理论性分析

GALT(Greatest Available Logical Time，最大可能逻辑时间)算法是HLA(High Level Architecture，高层体系结构)接口规范中时间管理服务能否实现的关键技术。不合理的GALT算法会导致死锁或破坏HLA时间管理的原则，从而导致整个仿真无法向前推进，或产生过去时刻的消息。分析了Frederick算法和身高测量法的死锁问题，给出了Frederick算法造成死锁的一个充分条件，重点讨论了它们遵守时间管理原则的情况。一个好的GALT算法，必须在确保不违反时间管理原则的基础上，才能最终解决死锁问题。     

基于HLA/RTI的分布式交互仿真中的死锁问题研究

从避免死锁的角度出发,深入地研究了RTI实现中的保守同步协议,并分析了RTI中为预防死锁的发生所采取的策略。在HLA标准下,其中重要的一点就是通过引入Lookahead以使时间管理机制能够得到更多的信息,这样可以有效地解决保守算法中的死锁问题。但如果物理系统出现死锁,那么基于HLA/RTI进行仿真时,仿真系统还是会出现死锁。最后,以一个机床加工系统为例进行了仿真,证实了上述看法的正确性。     

并行分布式仿真中最小时间窗MTW算法研究

并行分布仿真对复杂大规模动态系统的研究以及探索其长远的应用提供了便利,近年来目益成为研究的热点.然而时间管理是关注并确保并行分布仿真正确执行的核心机制,也是影响并行分布仿真系统高效运行的重要因素之一.首先分析了乐观机制存在的弊端;然后提出了一种不依赖反消息就能乐观推进的MTW混合推进算法,详细阐述了算法的思想、步骤及其实现,最后对算法进行了分析,证明它在一定程度上能够有效避免极端乐观和过分保守.     

带有限缓冲区的知识化制造单元无死锁调度

鉴于制造系统无死锁随机调度问题研究的缺乏,在加工时间、工件到达以及产品需求到达均为随机的生产环境下,研究了带有限缓冲区的知识化制造单元无死锁随机调度问题.针对自动机对定量指标描述能力的不足,首先给出了一种费用自动机概念.在同时考虑工件加工、库存以及缺货费用的情况下,采用无限时域折扣准则下马尔可夫链建立了单元的费用目标函数,通过一致化技术对目标函数进行离散化处理,得到目标函数的随机动态规划模型,分析并证明了单元最优目标值函数的性质.为了克服离散状态空间组合所产生的维数灾问题,提出了一种基于仿真和函数逼近的启发式近似动态规划算法对模型进行求解.在上述研究基础上,构建了一种单元无死锁随机调度策略,以保证单元安全高效地运行.最后,通过实例研究对无死锁调度策略进行了验证.     

基于分布式共享内存的RTI通信机制研究

共享内存可以为运行于多核计算平台的进程间提供高效的通信方式,目前的HLA仿真运行支撑平台RTI主要采用基于TCP/IP的通信机制,不能充分发挥多核计算平台的核间高速共享内存通信优势.结合 RTI体系结构和多核的通信特点,提出了一种基于分布式共享内存的RTI通信机制——SMCM机制,该机制为每个盟员设立一个独立的消息接收共享内存区域,发送盟员通过向接收盟员内存区写数据实现消息发送,并基于信号量机制实现盟员进程间访问控制,避免了共享内存访问冲突,提高了盟员间可的通信效率.多核平台上的对象管理服务性能测试表明,与当前国际上普遍使用的pRTI相比,使用SMCM机制的RTI端对端通信延迟约为pRTI的1/3,吞吐量也明显高于pRTI.     

RTI系统时间管理算法研究

ＲＴＩ是高层体系结构ＨＬＡ的软件实现，它分分布式交互仿真提供透明的服务。时间管理是影响ＲＴＩ系统高效运行的重要因素之一，本文结合并行离散事件仿真思想，深入探讨了ＲＴＩ时间管理算法。该算法从系统可实现角度分别研究了时间管理中ＬＢＴＳ计算、死锁检测与解锁，成员时间属性改变以Ｌｏｏｋａｈｅａｄ值改变等的有关算法，应用结果表明该算法有效提高了系统运行的并发度，ＲＴＩ系统性能也得以明显改进。     

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

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

仿真网格中预防死锁的资源分配方法及其仿真分析

仿真网格中资源协同分配是资源组织和调度的一个重要组成部分,如何避免仿真应用之间的死锁是资源协同分配过程中需要解决的重要问题。通过对仿真网格中死锁原因的分析,对死锁的特点进行了描述。根据解决死锁问题的不同策略,提出了仿真网格中基于原子事务预防死锁的资源协同分配方法,并根据应用的不同资源分配方案给出了具体算法。通过理论分析并结合仿真试验研究了该算法在资源协同分配过程中的性能,试验证明使用该方法不仅能够避免应用资源分配过程中的死锁,与其它方法相比,还能获得好的资源分配性能。     

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     

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:     

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

正~~     

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.