大规模联邦仿真中实体迁移及其时间同步研究(二)--实体迁移中的时间同步

实体迁移技术有利于改善大规模分布式仿真系统的性能，其中迁移期间的时间同步是其关键与难点．基于HLA联邦仿真框架，研究了实体迁移中的时间同步机制；分析了迁移期间邦元的状态变迁情况；给出了旧邦元转发消息以及新邦元接收和处理消息时所需的同步策略；保证了按时戳序处理消息．迁移期间新旧邦元逻辑时间同步，防止了丢失消息或重复处理同一消息等现象，也能撤销消息，以便乐观同步．     

面向实时感知性能的分布式交互仿真实体迁移技术

分布式交互仿真中的实体需要实时感知周围的实体和环境信息，当仿真系统中“实体一主机”对应关系固定不变时，由于系统内通信关系和可用资源的动态变动，往往导致信息传输延迟超过QoS要求．首先提出了实体对环境的实时感知性能的评价指标，通过分析信息传输延迟的组成，得出了利用实体迁移以提高实体实时感知性能的方法．深入研究了此时实体迁移请求的提出、不同迁移请求的协调和迁移请求的处理等问题，并在HLA／RTI下进行了可行性测试．     

具有迁移能力的基于Agent分布仿真中的通信系统

对基于Agent系统的分布仿真是仿真领域的重要研究和应用方向，而分布仿真中的通信系统是其中的基础部分．提出并实现了一种支持基于Agent系统分布仿真的通信系统．该系统除了提供基本的仿真通信支持外，还能够有效地支持仿真中Agent的迁移，具有对应用系统透明、通信效率高等优点．首先给出了通信系统的结构及其基本思想，对局部服务Agent和通信过程进行了详细的描述；从应用系统级和分布仿真级两个层次，给出了结构化的通信协议；在此基础之上，给出了完整的Agent迁移支持方案，包括迁移过程、迁移过程中的消息处理和迁移后的通信；最后对通信系统的性能进行了测试．     

HLA/RTI中的时间管理机制分析

RTI是HLA的核心，时间管理服务作为RTI提供的六大类服务之一，按照HLA接口规范说明来管理各类消息的发送和接收，并协调不同的时间推进机制，以保证分布式仿真的逻辑正确性。详细描述了HLA／RTI的时间管理机制。     

面向虚拟试验网间信息感知度的实体迁移研究

复杂的虚拟试验系统往往需要基于异构网络环境互连的方法搭建,以满足不同试验实体问通信的实时性要求.当前,虚拟试验系统中存在大量的网间实体交互感知的需求,而且需求随着试验进程的推进而不同;当系统中网络拓扑固定不变时,必将导致网问信息传输延迟超过试验要求.提出了网间实体感知度的评价指标,通过分析网间信息传输延迟的组成,提出了以改变"实体-网络"对应关系为主要手段的网间实体迁移方法;研究了实体迁移的发起机制和仲裁策略.最后在HLA/RTI与实时网互连环境下验证了方法的正确性.     

HLA/RTI功能扩展研究与实现

高层体系结构（HLA）是当前分布仿真技术发展的一个重点和热点。为了扩展现有HLA／RTI分布仿真框架的功能，该文采用中间件技术，封装了RTI的标准服务，并能因需扩展功能。中间件层对用户提供标准的RTI接口和少量扩展RTI接口（用于某些特殊需求），邦元之间通过该中间件相互通信。该扩展方案具有可移植、兼容性强以及对邦元开发者透明等优点。利用该扩展结构，封装DMSORTI—NG1．3V3，实现和测试了坐标转换和初步实体迁移功能。     

基于HLA/RTI实现的网络对弈

本文介绍了HLA／RTI的主要功能和作用以及基于HLA／RTI应用程序的结构。说明了基于HLA／RTI的网络围棋的使用方法，并结合基于RTI网络围棋的开发过程，讲解了其编程实现的部分关键技术。拳文对学习和理解HLA／RTI理论和相关技术，以厦开发基于RTI的分布交互式仿真软件有一定的启发作用。     

基于MOM的HLA/RTI管理盟员的设计与实现

为了在仿真运行过程中对联盟、盟员以及RTI进行监控，HLA中引入了管理对象模型(MOM)，该模型是HLA／RTI架构中的重要组成部分。该文介绍了IEEEl516规范中定义的MOM，并在此基础上对其进行了扩展。结合我们StarLink RTI的开发实践，提出了通过代理盟员实现MOM的设计方案，在该RTI中实现了对MOM的支持。最后在此基础上，设计并实现了管理盟员StarFM。     

使用QualNet实现联合仿真

对通信仿真工具QualNet做为HLA架构中的联邦成员同其它仿真软件实现联合仿真进行了研究.介绍了HLA体系结构中联邦的建立过程;各联邦成员仿真场景的建立过程;联邦成员使用RTI进行事件发布,消息定购,对象属性更新;描述了联合仿真的执行过程并给出了实体间通信结果的统计数据.通过对仿真过程的描述和对仿真统计结果的分析,验证了QualNet实现基于HLA架构联合仿真的可行性和实用性.     

HLA/RTI仿真系统中应用层组播通信的设计与实现

底层通信方式是影响HLA／RTI仿真系统性能的一个重要因素。采用组播的通信方式能够显著的提高HLA／RTI仿真系统的性能。基于IP组播的应用研究了很长时间，但在实施上还存在很多困难，软硬件方面的问题都有。近年来，不少人都开始反思IP组播体系结构本身的问题，并提出将复杂的组播功能放在端系统来实现的新思想，这就是应用层组播技术。该文根据应用层组播的思想，设计实现了一套简单的基于应用层组播的HLA／RTI组播通信解决方案，为解决HLA／RTI仿真系统的通信问题提供了新思路。     

现代防空导弹武器系统仿真策略研究

仿真策略的设计对仿真应用的有效性、可重用性和可扩展性有着重要的影响。该文根据基于HLA和面向对象的防空导弹武器系统仿真的特点，提出了基于消息驱动和等步长时钟推进的仿真策略，并给出了在此仿真策略下防空导弹武器系统仿真的框架，及关键类的实现方法。该仿真策略简单易用，通用性和可扩展性强，具有很高的实用价值。     

TLS1.3后量子安全迁移方案、实现和性能评测

本文分析了NIST量子安全标准化进程第二轮和中国密码算法设计竞赛获奖的格基后量子密码算法,并从性能、安全级别和消息长度等方面对它们进行了比较;探讨了将这些算法集成到TLS 1.3的可行性和途径,通过将后量子密钥封装算法和签名算法及其混合模式集成到标准TLS 1.3,我们实现了一个后量子安全TLS 1.3软件库,可以进行后量子安全握手以对抗量子对手.此外,我们构建了一个测试TLS 1.3协议在各种网络条件下性能的实验框架,允许我们独立控制链路延迟和丢包率等变量,隔离出单独的网络特性,从而在一台电脑上模拟客户机-服务器网络实验,检查各种后量子算法对建立TLS 1.3连接产生的影响.实验结果表明,TCP的分段机制可以保证具有超长公钥/密文/签名的后量子格基密码算法在TLS 1.3协议正常运行;尽管网络延迟会隐藏大部分后量子算法的性能差异,但是在高质量的链路上,计算速度是决定因素;当网络丢包率较大时,具有较短传输数据的后量子算法将展现出带宽优势.我们的实验结果也为在不同网络条件下如何选择后量子算法提供指导,有助于将后量子算法进一步标准化和将TLS 1.3向后量子安全发展和迁移.     

TLS1.3后量子安全迁移方案、实现和性能评测

本文分析了NIST量子安全标准化进程第二轮和中国密码算法设计竞赛获奖的格基后量子密码算法,并从性能、安全级别和消息长度等方面对它们进行了比较;探讨了将这些算法集成到TLS 1.3的可行性和途径,通过将后量子密钥封装算法和签名算法及其混合模式集成到标准TLS 1.3,我们实现了一个后量子安全TLS 1.3软件库,可以进行后量子安全握手以对抗量子对手.此外,我们构建了一个测试TLS 1.3协议在各种网络条件下性能的实验框架,允许我们独立控制链路延迟和丢包率等变量,隔离出单独的网络特性,从而在一台电脑上模拟客户机-服务器网络实验,检查各种后量子算法对建立TLS 1.3连接产生的影响.实验结果表明,TCP的分段机制可以保证具有超长公钥/密文/签名的后量子格基密码算法在TLS 1.3协议正常运行;尽管网络延迟会隐藏大部分后量子算法的性能差异,但是在高质量的链路上,计算速度是决定因素;当网络丢包率较大时,具有较短传输数据的后量子算法将展现出带宽优势.我们的实验结果也为在不同网络条件下如何选择后量子算法提供指导,有助于将后量子算法进一步标准化和将TLS 1.3向后量子安全发展和迁移.     

Migrating Autonomous Objects in a WAN Environment

Along with the fast progress the interconnection of computer systems makes the need for enterprise-wide distributed solutions grows. These systems have to support hundreds or even thousands of sites located all over the world. The distances between the sites will impose high communication costs on distributed activities thus significantly increasing their response times. This problem can be alleviated through migrating objects to the sites where they are needed. However, migration in such systems cannot be managed globally. Therefore, we present a migration protocol for (autonomous) objects which enables them autonomously to decide whether or not and which site to migrate to, thus making the system self-tuning. We also present two migration strategies objects can use to derive their migration decisions. The first one finds the optimal placement for an object while the second strategy in some cases returns a sub-optimal location but induces lower computation costs. The two strategies are evaluated through benchmarks in a distributed system of autonomous objects. The experiments show a significant decrease in communication costs when migration is employed.     

基于协议状态机遍历的模糊测试优化方法

针对现有的协议模糊测试技术存在报文重复交互、输入盲目等问题,提出一种基于协议状态迁移遍历的模糊测试优化方法。该方法将协议状态迁移遍历问题转化为中国邮路问题,求解遍历所有协议状态迁移的最短路径,并依据该最短路径对各个状态迁移进行测试。在测试过程中,通过分析协议实体在执行测试用例后的响应报文,动态调整后续的报文输入,进而避免无效交互。同时利用UIO序列判断协议实体状态是否发生异常迁移,及时检测协议逻辑漏洞。实验结果表明,该模糊测试优化方法可以显著提高测试效率与漏洞挖掘能力。     

Temporal Properties of Repetitive Entities

Temporal entities are assertions (e.g. events, states) whose truth can be associated with time. An interesting problem in temporal reasoning is the problem of representing the fact that such entities are repeated over time. The problem has attracted some interest lately in the knowledge representation community. In this paper, we take a novel approach to the problem, which allows us to recognize repeated (or recurrent) entities as a class of temporal entities with well-defined properties. We derive some general properties for this important class of temporal entities, and some properties for an interesting subclass, namely the class of repetition of concatenable entities. Conacatenable entities have been called unrepeatable in the literature. As such we take a special interest in investigating their properties. The logical theory used here is a reified theory, which admits entity types, into its ontology as opposed to tokens, and uses Allens interval logic. Finally, we relate the new class of repetitive entities to existing classes in Shohams taxonomy.     

地图精简中一种新的实体相交关系处理策略

针对地理实体在精简过程中遇到的相交关系一致性维护问题，提出了一种新的处理策略。该策略设计了一种新的数据记录方式来完成地理实体的相交关系管理，为地图数据精简前后相交关系的冲突提供了不同层次的等级划分，让用户可以通过不同的设置来控制交点偏移的范围，最终达到良好的相交关系维护效果。这种策略很适合面向移动设备的地图精简。     

一种用于迁移工作流管理系统的消息服务框架

作为移动计算的一类应用,现有的迁移工作流模型遵守了按照移动agent范型构造迁移实例的方法。由于移动agent继承智能agent的基本属性,因此,上述方法往往导致迁移实例的代码臃肿和移动困难。考虑到实际上的迁移工作流管理系统,一般地都要求迁移实例工作于一个具有信任合约关系的环境中,因此,可以针对这种特定环境,令工作位置为迁移实例提供尽可能多的服务支持,以便减小迁移实例的代码体积,提高其迁移效率,而不必拘泥于移动agent范型。该文给出了一种嵌入工作位置服务器的消息服务框架,该消息服务框架可以有效降低迁移实例代码规模,实现其轻量化移动。