国防科技技术预先研究基金(51404010403KG0155)
- 作品数：14 被引量：43H指数：4
- 相关作者：刘云生查亚兵张童张传富黄柯棣更多>>
- 相关机构：国防科学技术大学中国人民解放军海军装备研究院更多>>
- 发文基金：国防科技技术预先研究基金更多>>
- 相关领域：自动化与计算机技术兵器科学与技术更多>>
- 导弹飞行试验靶标规模设计方法研究
- 2009年
- 基于蒙特卡洛(Monte-Carlo)方法对导弹飞行试验靶标规模设计问题开展研究,总体思路是模拟计算导弹命中一定区域的概率,以计算结果对比设计要求,最终确定靶标规模.根据整体弹和子母弹飞行着靶的特点和数学化描述,确定采用统一的导弹命中目标区域概率计算对象——子母弹抛撒子弹着靶事件;在明确方法设计过程基础上,分别讨论确定了蒙特卡洛方法应用中的随机过程概率模型、随机数产生模型、命中靶标判据及模拟计算误差模型,并给出了靶标规模设计方法实现的程序框图和计算实例.研究成果可用于计算导弹命中任意形状目标区域的概率及确定靶标建设规模与布局.
- 傅常海黄柯棣郑明强张凤林
- 关键词：导弹飞行试验设计方法命中概率蒙特卡洛方法
- 基于SGE的仿真网格通信机制研究
- 2006年
- 仿真网格是利用网格技术构建的分布式仿真应用平台,仿真网格通信机制是仿真任务能够使用强大而分散仿真共享资源的前提,是构建仿真网格平台的关键。在基于网格引擎(Sun G rid Engine,SGE)框架构建的分布式仿真网格中,根据仿真网格执行分布交互式仿真任务的特点,采用了将网格中的组件与通信层分开的通信方式,使得通信作为一个独立的部分存在。在此基础上提出并实现了仿真网格的双通道通信机制:一个通道负责网格组件之间的通信,通过通信进程(comm-proc)和消息机制(m essage)以及通信库(S imG-comm lib)实现网格组件之间数据交互;另一个通道负责仿真网格中基于高层体系结构(HLA)的仿真联邦成员之间的通信,通过S imG-rtid守护进程和RTI管理器实现仿真网格中提交联邦之间的数据交换和同步。
- 张传富刘云生张童查亚兵
- 关键词：通信进程高层体系结构
- 仿真网格中预防死锁的资源分配方法及其仿真分析被引量：4
- 2006年
- 仿真网格中资源协同分配是资源组织和调度的一个重要组成部分,如何避免仿真应用之间的死锁是资源协同分配过程中需要解决的重要问题。通过对仿真网格中死锁原因的分析,对死锁的特点进行了描述。根据解决死锁问题的不同策略,提出了仿真网格中基于原子事务预防死锁的资源协同分配方法,并根据应用的不同资源分配方案给出了具体算法。通过理论分析并结合仿真试验研究了该算法在资源协同分配过程中的性能,试验证明使用该方法不仅能够避免应用资源分配过程中的死锁,与其它方法相比,还能获得好的资源分配性能。
- 张传富查亚兵刘云生张童黄柯棣
- 关键词：仿真网格原子事务资源协同分配死锁
- 仿真模型的语义可组合性研究被引量：1
- 2008年
- 可组合性是选择和组装仿真组件并以不同的方式组合成为有效的仿真系统来满足用户需求的一种能力。在语法组合的基础上,语义可组合性保证了组合模型的有效性。语义可组合性的形式化理论能够以形式化的方式确定模型组合的基本特征,为实现正确有效的模型组合奠定基础。首先,提出了模型、仿真、可组合性和有效性的形式化定义,并对定义的合理性进行了分析;然后,建立形式化定义与语义之间的联系,研究了基于MDA的元建模方法,并确定了仿真模型中的语义元数据。
- 张童刘云生查亚兵
- 关键词：可组合性语义有效性
- 基于SGE的分布式仿真网格框架研究被引量：4
- 2006年
- SGE(SunGridEngine)是构建本地和集群级网格的工具。研究以SGE为基础,根据HLA仿真任务的特点,进行分布式仿真网格的框架研究和设计。分析了仿真网格的时间管理机制和仿真任务的迁移机制,采用点检查的方式实现了仿真任务迁移和动态调度,提供了用户级和内核级的点检查任务的支持。提出了仿真网格的双通道通信机制和仿真任务在仿真网格中的两种调度模式。通过研究构建了仿真网格的原型系统,并进行了HLA仿真应用的测试。
- 张传富查亚兵刘云生张童
- 关键词：任务调度HLA/RTI
- 分布式仿真系统非阻塞式协同检查点协议被引量：3
- 2007年
- 联邦存储是实现分布式仿真系统容错的基础,IEEE1516-2000中提供了一种阻塞式的系统状态存储协议,实际使用时会给系统带来很大开销。根据对系统状态存储过程中仿真组件状态变化影响因素的分析,提出了一种非阻塞式的系统状态存储协议,该协议完整地解决了由于在系统状态存储期间允许时间推进导致所保存的RTI状态和对应成员状态时间上的不一致、由于成员间消息传递导致不同成员状态的不一致及in-transit消息问题。先完成状态保存的成员不需阻塞,该协议在一定程度上降低了联邦存储的开销。证明了该协议的正确性。
- 刘云生黄健查亚兵
- 关键词：分布式仿真容错
- 分布式仿真任务的最坏反应时间分析被引量：1
- 2006年
- 最坏反应时间是进行任务可调度性分析的标准之一。我们对采用被动备份的PB(Primary-Backup)模型进行容错的仿真任务的最坏反应时间分别进行了分析,其中主、副版本仿真任务之间的同步分别采用重新执行和共享检查点文件,给出了相应最坏反应时间的计算公式。仿真试验结果表明基于共享检查点文件进行主、副版本任务同步会获得更短的最坏反应时间。
- 刘云生张童张传富查亚兵
- 关键词：容错
- 分布式仿真系统socket迁移被引量：3
- 2006年
- 在分布式仿真系统进程迁移中,除了要保存、恢复仿真进程本身的状态,进程之间通信状态的保存与恢复也是关键。通信状态主要包括两部分:进程IP地址以及进程间的交互数据。我们通过截获系统调用的方式,在用户空间完成了上述通信状态保存与恢复,实现了socket迁移。其中连接错误的监控通过心跳机制实现;进程的IP地址及交互消息被修改的系统调用透明的保存在checkpoint文件中;基于保存的上述信息,我们实现了联邦成员和RTI之间通信关系的恢复。测试结果表明该系统可以实现socket通信关系的迁移。
- 刘云生张传富张童查亚兵黄柯棣
- 关键词：分布式仿真RTI容错
- 基于网格的分布式仿真系统负载平衡研究被引量：3
- 2004年
- 对进程迁移的研究起源于分布式处理的出现 ,它使得分布式系统内动态负载平衡成为可能 ,并可显著提高系统的容错性和可用性 ;网格是新一代信息基础设施 ,其目的是实现资源共享。利用网格提供的信息 ,将过载节点上的进程迁移到合适的其它节点上运行 ,就可以实现真正的负载平衡。该文首先简要介绍了进程迁移及网格的资源管理功能 ,根据现有的基于HLA构建的分布式仿真系统存在的缺陷 ,利用进程迁移、网格技术的优势研究并提出了分布式仿真系统负载平衡使能模块(LBEM)。现初步实现了网格环境中进程迁移的部分功能 。
- 刘云生张传富张童查亚兵
- 关键词：网格分布式仿真系统负载平衡
- 基于Markov链的分布式仿真系统可用度研究被引量：2
- 2006年
- 根据HLA仿真系统的特点及不同进程对仿真结果的重要程度,提出了分布式仿真系统的故障模型,并将仿真进程分为关键仿真进程和次要仿真进程;根据处理机是否在进行仿真运算,将处理机的计算时间分为有效时间和无效时间,并以此为基础定义了分布式仿真系统的可用度,然后利用Markov链分析了分别采用两级恢复策略和传统容错策略的分布式仿真系统的可用度。结果表明,在发生故障时,在将仿真节点重启时间算入恢复开销的前提下,两级恢复策略会降低系统的可用度,而传统容错策略由于可立即在备份机上进行故障恢复,所以可使系统获得更高的可用度。最后用一组数据验证了该结论的正确性。
- 刘云生张童张传富查亚兵黄柯棣
- 关键词：分布式仿真容错可用度MARKOV链
