基于TENA的虚实结合的靶场公共体系结构设计

分析了武器装备信息化对靶场现行试验鉴定体制提出的挑战,指出了构建虚实结合靶场的必要性;阐述了虚拟靶场的技术内涵、系统需求分析、框架体系结构、总体设计思想以及如何将现行靶场通过逐步部署和应用TENA系统改造为虚实结合的试验鉴定靶场;最后提出了虚实结合的试验鉴定思想和外军在这方面的应用情况。     

SRTS一致性测试研究

同步残留时间戳SRTS（SynchronousResidualTimeStamp，简记为STRS，下同。）已被国际电信联盟ITU－T接纳为AAL1的时钟恢复的标准。在工程实践中为了验证所设计的SRTS电路是否正常工作，是否符合ITU－T及ATMForum的标准，需对SRTS进行一致性测试（ConformanceTesting）。对SRTS进行一致性测试的一个简单快捷的办法是对相邻RTS（ResidualTimeStamp，残留时间戳，简记为RTS）值的模差进行统计分析，如果其分布与理论值相近，则说明SRTS电路是合格的；否则，SRTS电路存在问题。本文针对三种可能的时钟频率概率模型，进行了理论分析，得出一些数值结果。并就这些结果进行讨论。指出，采用均匀分布概率模型是不太合理的，高斯模型应该是较为合理的选择，其数值结果对SRTS一致性测试有重要的指导意义，并且对建立更为有效的RTS处理协议也是有帮助的。     

TENA对象模型的研究

TENA是美国国防部正在开发的试验与训练领域的公共体系结构,其目的是能以快速、高效率的方式实现用于试验和训练的靶场、设施和仿真之间的互操作,而由TENA元模型组成的TENA对象模型为靶场内资源应用之间实现语义交互提供了通用语言,对资源的重用和组合也起着巨大的作用。本文主要从TENA对象模型的建立、存储、标准化以及管理等方面进行讨论。     

基于信息融合的分布式时间同步算法

时间同步算法作为无线传感器网络的支撑技术,成为近些年研究的一个热点。其中集中式时间同步算法一直以来被广泛研究,它依靠参考节点通过广播、泛洪或者多跳的方式达到全网时间同步,取得了良好的同步精度,但同时鲁棒性和可扩展性差。提出了一种分布式时间同步算法,通过融合全网节点的时间信息来达到时间同步,这种算法消除了网络拓扑变化和节点密度变化对集中式算法的影响。实验结果表明,针对典型的网络拓扑,分布式时间同步算法实现了全网时间同步,并且对于网络变化和节点数目变化具有鲁棒性。     

面向TENA的虚拟试验应用组件技术研究

近年来,TENA中间件在虚拟试验系统的开发中受到了越来越多的重视;但是基于TENA接口定义语言TDL进行试验应用开发对于试验领域的工程人员来说仍然是相当困难的;在TDL的基础上,参照CORBA组件模型CCM,提出了一个TENA应用组件模型,对试验的业务逻辑进行大粒度的封装,以期提高试验业务逻辑的重用性,降低试验应用开发难度;定义了TENA应用组件定义语言TCDL,给出了基于TCDL的试验应用开发模式。     

基于Internet的测试网时间同步问题的研究

时间同步是构建分布式测试网络最重要的基础技术之一，它在以Internet为基础构建的测试网络中显得尤为突出。本介绍了现有互联网上的一些网络时间协议，提出了几种解决测试网时间同步问题的方法，并对这几种方法进行了比较。通过试验和实际应用的检验，这些方法是切实可行的，时间同步的精度满足一般网络化测试的要求。     

一种低功耗无线传感器网络时间同步算法

间同步对无线传感器网络的应用至关重要,为提高同步精度,多数算法都以较多的消息交换或复杂的计算为代价来达到这一目的,因而能耗较大.为减少时间同步的消息交换开销,节约节点能量,提出了一种简单低功耗时间同步算法,该算法结合了单向广播同步机制和双向成对同步机制,有效利用网络中节点的广播信息,使网络中节点单跳广播域内只有一个下层节点与之进行双向成对同步,从而达到了减少消息开销和节约能量的目的.最后通过仿真验证了该算法的性能.     

基于数据库的UML一致性检查

UML是目前使用非常广泛的标准建模语言.但各模型间存在许多约束,出现不一致在所难免.而一致性检查单单依靠人工是无法完成的,需要实现一种机制来完成这项工作.于是便提出了用数据库解决这一问题的思想,并对其具体实现进行了大胆探索.在一定程度上实现了一致性检查,为以后的研究奠定了基础.     

HLA／RTI中时间管理机制及实现

时间是分布式仿真中的核心概念,理解时间管理的基本原理以及运行支撑环境（RTI）协调拥有不同时间管理策略的联邦成员的方式,对仿真开发者来说是十分重要的。在介绍时间管理相关概念的基础上,重点讨论高层体系结构（HLA）中联邦成员RT／所提供的时间管理策略及时间推进方法。     

TENA网关研究

该文对TENA（试验与训练使能体系结构）网关进行了研究。首先给出了TENA网关的通用结构,然后结合具体应用领域分别给出了面向不同应用领域的TENA网关,以及实现这些网关涉及的相关问题,最后概述了TENA网关在TENA逐步部署到靶场的过程中所起的作用。     

基于HLA的时间同步技术

时间同步是实时仿真的重要技术,高层体系结构HLA既支持基于物理时间的同步方法,也支持基于逻辑时间的同步方法。本文系统地介绍了基于HLA的各类时间同步技术,包括物理时间同步方法、同步点方法以及基于逻辑时间的保守同步推进方法和乐观同步推进方法。     

基于IEEE1588标准的列车时间同步技术的研究

随着实时以太网技术的飞速发展,中国铁路速度的不断提高,铁路时间同步网需要为其各个系统提供准确的时间信息,才能保障列车的行车安全,因此对于时间的统一非常重要.以铁路同步网为背景,通过介绍IEEE1588协议中的IEEE 802.1 AS协议,对列车的各个系统之间如何进行精确时间同步进行研究.提出了时钟同步模型和延时测量机...     

基于时间约束Petri网的一致性验证算法

时间约束的一致性验证是保证工作流时间模型正确工作的前提,因而一致性验证的算法的精确度和复杂度关乎整个工作流时间模型的运行效率。文中简要介绍了时间约束一致性定义及约束关系的推理规则,提出了一种简洁有效的时间约束一致性验证算法并分析了算法的时间复杂度。该算法借助于T-组件网和时间约束流图,能有效验证时间约束Petri网中存在的各种时间冲突,以保证工作流时间约束模型的建立及运行等各个阶段的正确性,对业务流程的建立、维护和优化都具有重要的参考意义。     

基于逻辑和辩论的安全策略一致性研究

冲突检测和冲突消解是策略一致性研究的两个主要方向。现有的冲突检测算法时间复杂度高,且缺乏灵活性和扩展性。改变策略条件和基于优先级的冲突消解方法容易引起新的不一致性问题,而且优先权的赋予带有主观因素,难以实现。在此基础上,使用逻辑对策略和策略冲突进行形式化描述和分析,并提出了一种基于逻辑合一思想的多项式时间内的策略一致性检测算法;把策略冲突分为包容冲突、相交冲突和互补冲突,给出了一种包容冲突和相交冲突的自动解决方法,证明了该方法的可行性和完备性;利用辩论机制和理论对策略互补冲突进行了语义分析,为基于优先级的解决方案提供了理论基础;提出了一种策略互补冲突下的一致性策略子集的计算算法,并进行了复杂度分析。     

分布式系统的时间同步容错机制研究

网络化计算和分布式应用,对计算机系统的时间同步精度要求越来越高,高精密时间同步是分布式控制系统一切应用的基础。分布式系统必须建立统一的时间服务系统或时间服务器,以实现系统的时间统一。从时间同步着手,分析了时间同步技术——网络时间协议（NTP）和直接连接时间技术,研究了分布式系统时间同步技术及时间同步容错策略,给出了误差估算方法,并将滑动窗口演算法应用于时间同步容错策略,提出并得到时间校正值的算法,并对同步结果进行了分析。     

基于PDES乐观时间管理的周期时间桶算法研究

时间管理是影响并行离散事件仿真PDES系统高效运行的重要因素之一。文章首先分析了离散事件仿真的原理,以及PDES所面临的时间管理方面的挑战;然后阐述了乐观时间管理机制,重点提出了周期时间桶算法的设计与实现,并对其性能作了大体上的评估。     

基于主动机制的数据库管理系统的研究

提出的主动式数据库管理系统与传统的数据库管理工具不同,主动式数据库管理工具通过实时监测数据库系统以及相关的系统与网络资源的状况,预测、发现系统运行中存在的种种问题,并通过智能关联机制,进行快速的故障定位,提供多种处理手段,改善数据库性能和数据库应用的可用性,以保障数据库系统的正常运转。     

基于时间约束Petri网的工作流动态一致性检验

工作流系统中的时间管理是工作流建模和分析的重要组成部分。支持动态修改是人们在实际应用中对工作流系统提出的新要求。文中在基于时间约束的Petri网模型基础上,根据时间约束推理规则,提出一种动态修改时间约束时检验工作流一致性的方法,从而丰富了工作流的时间管理功能。     

HLA桥接多联邦系统中时空一致性问题研究

针对HLA桥接多联邦系统,提出其时空一致性问题研究。将桥接转发的数据划分为3种数据类型,定义相应的实体类和交互类,给出3种处理方法,其中,延时补偿法解决实体属性更新时的延时,平移命中点法处理精确制导武器爆炸交互时的延时,回滚法面向非精确制导武器爆炸交互时的延时。实验结果表明,该方法可满足桥接多联邦系统中的时空一致性。