摘要：为实现分布式仿真系统的自动验证,设计并开发了一个基于多Agent技术的验证工具.该工具采用形式化描述和校核方法完成多Agent系统的设计,利用Q学习算法实现多Agent之间的协调和协作,并使用面向对象知识表示方法表示了分布式仿真系统的验证知识,从而实现了统计验证、图灵测试和表面验证等任务.实际应用证明,该工具极大的提高了分布式仿真系统验证的自动化水平.

摘要：为了提高仿真系统的灵活性和易扩展性,在分布式仿真体系高层体系结构的基础上,引入Agent技术,设计了一种基于移动Agent的分布式仿真体系架构。通过分析Agent的分类和功能,详细描述了仿真节点结构的设计方案。同时,利用Agent的可移动性、易协作性和智能性等特点,实现了一种可靠、高效的通信机制,从而保证了仿真节点之间和联邦之间进行交互时的安全性和高效性。最后,通过应用实例,证明了移动Agent技术的应用有助于加强分布式仿真系统的规范性,提高复用性,增加互操作性。

摘要：针对现代空面导弹武器系统作战效能分析的任务和功能需求,基于分布交互仿真的思想,开发了一套分布交互式的空面导弹作战效能仿真系统。整个系统按照分层模块化设计,对空面导弹作战效能分析的各子系统和关键技术建立了精确的数学模型,同时各子系统之间的数据交联关系也通过局域网与服务器上数据库管理系统进行交互管理,减少了模型的复杂度,保持了整个系统平台的开发性和可维护性。仿真应用表明系统具有模型准确、逼真度较高的特点。

摘要：面向航空飞行器的半实物分布式仿真系统中,传统的基于Socket的编程方法难以满足网络通信的多样性、实时性及高可靠性等要求。通过分析仿真系统的通信特点,基于TAO(The ACE Orb)实时中间件,利用其提供的抽象机制、命名服务和调度服务等,提出了针对控制通信与仿真通信的网络通信模型。实验结果表明,这一模型额外开销较小,可以满足目标系统的技术要求。基于TAO中间件实现仿真平台网络通信,有效降低了网络通信的设计复杂度,保证了实时、高效、可靠的网络通信。

摘要：阐述了大型火电机组仿真培训系统的设计规则 ,详细介绍了仿真培训系统的结构、功能特点、系统环境和开发平台。提出了热力对象的自动建模、控制系统的建模及建立仿真系统数据库的方法。所开发研制出的火电机组分布式仿真系统已在多家火力发电厂中得到成功应用。

摘要：针对分布式仿真系统设计中存在的设计层次不明确的问题,提出基于商空间粒计算理论的系统分层模型,该模型包括系统总体设计层、系统体系结构层和系统执行结构层,解决系统设计的层次问题并分析各层次之间的关系。在此基础上,为了建立系统设计的形式化系统资源分配模型,提出基于仿真任务、仿真资源和仿真服务的系统设计分布模型,综合考虑各元素之间的相互约束关系。最后,根据1个具体的仿真系统设计实例对模型进行验证。

摘要：为了解决分布式仿真系统中如何实现实时和按需分发信息的问题,在分析了分布式仿真系统的通信需求的基础上,文中提出了一种用于分布式仿真系统中的通信中间件的设计方法。该设计借鉴了高层体系结构(HLA)的发布订阅的思想,使用了华盛顿大学发布的开源的自适应通信环境(Adaptive Communication Environment)组件来完成此设计,并使用"主动对象"的方法解决了并发执行的效率问题。与以往使用的通信方法相比,它具有实时高效、可动态通信和跨操作系统平台的特点。实现了分布式仿真系统中信息的实时和按需分发。

摘要：研究网络中间件问题中,为简化分布式仿真系统的开发,并使系统的健壮性、可扩展性、可用性更好,提出在分布式仿真系统中利用网络中间件的方法。对分布仿真系统的结构和工作流程进行分析,并阐述了网络中间件在系统中实现监测和控制的作用。其次,根据分布式仿真系统的工作原理和设计需求,阐述网络中间件在分布式仿真系统中的结构、模块设计和功能实现,并详细地论述了地址管理、指令执行、反馈消息及分析3个模块的工作机制。最后进行试验证明在网络中间件网络系统发展中的作用,为网络中间件开发提供有效参考。

摘要：介绍了一个基于 MATRIXx的通用实时分布式仿真系统的开发。该系统可以接受来自网络或本地终端的不同数据输入。仿真模块中的应用模型能自动获取这些数据 ,并加以分析和计算 ,最终输出实时的仿真控制信息 ,同时设计了相关仿真组件来实现数据的输入与输出以保证实时通用的数据传输。实验结果表明 ,仿真的实时性能够得到充分保证。

摘要：针对卫星仿真工具包(STK)分布式仿真系统集成问题,提出了基于STK/Connect中间件和STKX组件技术的两种仿真模式,依次对其工作原理和实现方法进行了描述。同时分析了两者的约束条件、应用程序设计复杂度与性能、开发效率以及已有成果改动量等,并进行两者优缺点的比较。最后,以武器攻防对抗为背景进行了仿真。结果表明,基于STKX组件的仿真模式在程序设计复杂度、性能和开发效率等方面均优于STK/Connect中间件,且后者在成果改动工作量方面更具优势。