HLA时间管理中死锁的解除

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

HLA时间管理中死锁的研究

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

HLA时间管理算法中输出时间的研究

时间管理服务是高层体系架构HLA(High Level Architecture)的重要组成部分.GALT(Great Available Logical Time)算法是实现时间管理服务的关键技术,而输出时间OPT(OutputTime)则是某些GALT算法实现的基础.不合理的输出时间算法所确定的GALT算法会违背HLA时间管理的原则或延缓联邦推进.通过对IEEE 1516[1]标准接口的分析,提出了一种符合IEEE 1516标准的输出时间算法,其它的输出时间公式可引为参考.     

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

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

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

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

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

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

HLA时间管理与PDES仿真算法研究

HLA的接口规范中定义了六类服务 ,其中时间管理服务是联邦成员间正确交互的基础。本文将对HLA/RTI时间管理 ,以及PDES的两种主要算法———保守算法和乐观算法进行研究 ,并对它们进行比较和分析。这两种算法也是作者已经实现的RTI时间管理中使用的算法。     

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

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

CHY-Ⅲ通讯库的设计--一种面向并行仿真程序的可伸缩通信缓冲申请算法

从并行仿真程序的特点出发，为了解决点对点消息传递系统中由于网络热点（ＨｏｔＳｐｏｔ）而引发的消息阻塞问题，充分利用仿真程序的帧特性，设计实现了一种可伸缩的通信缓冲区申请算法，用软件方法消除了由阻塞而引起的死锁现象。经试用表明该算法开销小、效率高     

外部型硬件进化方法研究

外部型硬件进化(Extrinsic EHW)是将硬件描述语言(HDL)与进化算法(EA)结合起来的硬件进化(EHW)方法。在简要介绍了EHW的基本概念和工作原理的基础上，针对外部型硬件进化的基本方法，通过实验分析指出了这类方法存在的问题，阐述了在电子设计自动4g(EDA)平台上实现Extrinsic EHW方法必须解决的核心问题。     

基于自适应模糊滑模控制的主动队列管理算法

针对TCP这样大型复杂的网络系统的拥塞问题,考虑系统中存在的不确定因素是未知非线性的情况,设计了一种采用自适应模糊滑模控制理论的主动队列管理算法。该算法基于网络模型的特殊性,构造了Lyapunov-Krasovskill函数,设计了滑动模面,并基于线性矩阵不等式的方法给出该系统鲁棒渐近稳定的充分条件,所设计的自适应模糊控制律能够使系统的状态轨迹在有限时间内到达滑动模面。仿真结果表明,该算法在网络条件变化的情况下,能实现准确的跟踪目标队列长度,避免网络拥塞的发生。     

分布式交互仿真中一种新的数据分发管理算法的研究

高层体系结构HLA中的数据分发管理DDM的主要目标是为了尽可能地减少成员收到不需要的数据和流过网络的数据量，以有效地使用系统的通信带宽和处理机的计算能力来满足系统的可扩展性，同时也提高了仿真效率。在对HLA中数据过滤机制深入研究的基础上，提出了一种新的DDM算法：首先利用网格进行区域匹配的计算，其次给当前有公布区域和订购区域重叠的网格单元动态地分配组播地址，最后实现把部分公布数据传递给接收方。仿真结果证明了方法的有效性。     

基于HLA/RTI的分布式组织活动建模研究

提出一种基于HLA的分布式组织活动建模方法。企业边界随着管理技术手段的进化在不断扩大,地域分散与组织活动并发是突出特点。HLA对分布和异构交互活动的时序处理等问题给出了解决方案,其中的RTI模型较好地解决了交互与时序处理问题。我们结合HLA/RTI规范与分布式组织活动特点,抽象了分布式组织中结点的活动模型,然后按照FOM与SOM规则,设计了分布式组织活动的联邦对象与仿真对象,并讨论了进行集成交互的方法。所设计模型为分布式组织管理仿真研究提供了新的途径。     

基于SWEEP方法的改进车辆路径协作策略研究

针对需求随机的车辆路径优化问题,提出了一种基于SWEEP方法的改进车辆路径协作策略,构造了基于该策略的车辆任务量分配模型、设计了求解该模型的启发式算法。该策略采用SWEEP规则对基本车未完成任务的客户重新进行路径优化,然后利用SWEEP车服务这些客户,以缩短客户的服务时间、减少运输成本。应用此方法对24个不同规模的车辆路径优化问题进行了计算机仿真,结果表明,该任务分配模型和算法具有较强的适用性,改进的SWEEP协作策略能够有效地解决解随机车辆路径问题。     

协同粒子群-模拟退火算法求解VRPSPD问题

研究逆向物流车辆路径(VRPSPD)问题,建立了VRPSPD问题的混合整数规划模型.利用启发式算法的特点构造求解VRPSPD问题的一种协同PSO_SA算法,设计了该算法初始种群的编码规则、信息交换策略、2-opt邻域解生成策略和SA算法中的冷却进度表规则.实验过程以典型算例为例进行了实验,并对重要参数进行了分析.实验结果表明,该算法对于求解VRPSPD 问题,可以有效提高车辆的负载使用率,避免因负载波动和最大负载能力约束而增加车辆总行程,在可以接受的迭代次数限制内可以收敛到满意解.     

CTCH网的死锁分析

在给出批处理生产系统的过程调度的赋色时间限制混合(CTCH)Petri网模型的基础上，分析了影响CTCH网活性的基本结构，给出了该结构产生死锁的原因。在此基础上，分析了该结构死锁产生死锁的充要条件，并给出了避免死锁的控制策略，为解决整个CTCH网的死锁提供了重要依据。实例表明了结论的正确性。