张童
- 作品数:31 被引量:112H指数:7
- 供职机构:国防科学技术大学机电工程与自动化学院更多>>
- 发文基金:国防科技技术预先研究基金国家部委资助项目国家部委预研基金更多>>
- 相关领域:自动化与计算机技术电子电信自然科学总论更多>>
- 仿真网格中预防死锁的资源分配方法及其仿真分析被引量:4
- 2006年
- 仿真网格中资源协同分配是资源组织和调度的一个重要组成部分,如何避免仿真应用之间的死锁是资源协同分配过程中需要解决的重要问题。通过对仿真网格中死锁原因的分析,对死锁的特点进行了描述。根据解决死锁问题的不同策略,提出了仿真网格中基于原子事务预防死锁的资源协同分配方法,并根据应用的不同资源分配方案给出了具体算法。通过理论分析并结合仿真试验研究了该算法在资源协同分配过程中的性能,试验证明使用该方法不仅能够避免应用资源分配过程中的死锁,与其它方法相比,还能获得好的资源分配性能。
- 张传富查亚兵刘云生张童黄柯棣
- 关键词:仿真网格原子事务资源协同分配死锁
- 仿真模型的语义可组合性研究被引量:1
- 2008年
- 可组合性是选择和组装仿真组件并以不同的方式组合成为有效的仿真系统来满足用户需求的一种能力。在语法组合的基础上,语义可组合性保证了组合模型的有效性。语义可组合性的形式化理论能够以形式化的方式确定模型组合的基本特征,为实现正确有效的模型组合奠定基础。首先,提出了模型、仿真、可组合性和有效性的形式化定义,并对定义的合理性进行了分析;然后,建立形式化定义与语义之间的联系,研究了基于MDA的元建模方法,并确定了仿真模型中的语义元数据。
- 张童刘云生查亚兵
- 关键词:可组合性语义有效性
- 分布式仿真任务的最坏反应时间分析被引量:1
- 2006年
- 最坏反应时间是进行任务可调度性分析的标准之一。我们对采用被动备份的PB(Primary-Backup)模型进行容错的仿真任务的最坏反应时间分别进行了分析,其中主、副版本仿真任务之间的同步分别采用重新执行和共享检查点文件,给出了相应最坏反应时间的计算公式。仿真试验结果表明基于共享检查点文件进行主、副版本任务同步会获得更短的最坏反应时间。
- 刘云生张童张传富查亚兵
- 关键词:容错
- 基于SGE的仿真网格及其作业调度研究被引量:7
- 2006年
- 网格引擎是一个构建本地和集群网格的工具,其框架是由四种类型的主机及其对应的守护进程构成。该文主要研究了通过SGE框架构建分布式仿真网格平台的方法,描述了仿真网格平台上执行用户提交的仿真任务的工作流程。随后讨论了基于SGE仿真网格中的资源组织和作业调度,并分析了仿真网格中所使用的作业调度算法,包括确定作业顺序的FIFO算法、优先级算法、等额度和日历算法等;确定队列顺序的负载调整、队列号等算法等。
- 张传富刘云生张童查亚兵
- 关键词:作业调度资源管理高层体系结构
- 基于本体的仿真服务定制与组合被引量:6
- 2007年
- 为实现快速构建仿真系统,提出了面向服务的仿真开发模式,基于本体和Web服务进行仿真服务的定制与组合。给出了本体、仿真服务等基本概念,详细定义领域本体、需求本体和服务本体;提出了仿真服务定制模型及系统框架;分析了需求目标与仿真服务之间存在的逻辑关系,并确定了服务定制的一般过程。基于网格工具集初步实现了仿真服务定制和组合系统,验证了上述方法的可行性。
- 张童刘云生查亚兵
- 关键词:本体定制
- 基于SGE的仿真网格通信机制研究
- 2006年
- 仿真网格是利用网格技术构建的分布式仿真应用平台,仿真网格通信机制是仿真任务能够使用强大而分散仿真共享资源的前提,是构建仿真网格平台的关键。在基于网格引擎(Sun G rid Engine,SGE)框架构建的分布式仿真网格中,根据仿真网格执行分布交互式仿真任务的特点,采用了将网格中的组件与通信层分开的通信方式,使得通信作为一个独立的部分存在。在此基础上提出并实现了仿真网格的双通道通信机制:一个通道负责网格组件之间的通信,通过通信进程(comm-proc)和消息机制(m essage)以及通信库(S imG-comm lib)实现网格组件之间数据交互;另一个通道负责仿真网格中基于高层体系结构(HLA)的仿真联邦成员之间的通信,通过S imG-rtid守护进程和RTI管理器实现仿真网格中提交联邦之间的数据交换和同步。
- 张传富刘云生张童查亚兵
- 关键词:通信进程高层体系结构
- 分布式仿真系统socket迁移被引量:3
- 2006年
- 在分布式仿真系统进程迁移中,除了要保存、恢复仿真进程本身的状态,进程之间通信状态的保存与恢复也是关键。通信状态主要包括两部分:进程IP地址以及进程间的交互数据。我们通过截获系统调用的方式,在用户空间完成了上述通信状态保存与恢复,实现了socket迁移。其中连接错误的监控通过心跳机制实现;进程的IP地址及交互消息被修改的系统调用透明的保存在checkpoint文件中;基于保存的上述信息,我们实现了联邦成员和RTI之间通信关系的恢复。测试结果表明该系统可以实现socket通信关系的迁移。
- 刘云生张传富张童查亚兵黄柯棣
- 关键词:分布式仿真RTI容错
- 基于SGE的分布式仿真网格框架研究被引量:4
- 2006年
- SGE(SunGridEngine)是构建本地和集群级网格的工具。研究以SGE为基础,根据HLA仿真任务的特点,进行分布式仿真网格的框架研究和设计。分析了仿真网格的时间管理机制和仿真任务的迁移机制,采用点检查的方式实现了仿真任务迁移和动态调度,提供了用户级和内核级的点检查任务的支持。提出了仿真网格的双通道通信机制和仿真任务在仿真网格中的两种调度模式。通过研究构建了仿真网格的原型系统,并进行了HLA仿真应用的测试。
- 张传富查亚兵刘云生张童
- 关键词:任务调度HLA/RTI
- 基于HLA分布式仿真的Web服务化被引量:8
- 2008年
- HLA虽然能够简化各类仿真系统的互操作和重用,但是接口规范与编程语言的绑定、缺乏与商业技术的融合等阻碍了它在商业领域的广泛应用,Web服务具有平台和厂商独立等良好特性,实现基于HLA分布式仿真的Web服务化能够将Web服务的优势附加给HLA。该文在分析了HLA不足和Web服务优势的基础上,提出了HLA Web服务化,对比了互操作在两个上下文中的差异,分析了实现HLA Web服务化的三个层次;之后,概述了相关研究,重点讨论了实现Web使能RTI的关键技术问题及其解决方案;最后,设计了原型系统,测试结果显示原型系统能够初步实现RTI的Web服务化。
- 张卫张童查亚兵
- 异构分布式实时仿真系统的容错调度算法被引量:10
- 2006年
- 异构分布式实时仿真系统是一类特殊的实时系统,基于改进的SP(spareprocessor)容错模型(checkpoint-basedspareprocessor,简称CSP)对其容错问题进行了研究.首先,根据仿真系统的特点提出了两个命题,这是后续工作的基础;而后,基于Markov链对仿真任务的最坏反应时间进行了分析,并提出了仿真任务的可调度性分析规则;最后,基于CSP容错模型和上述可调度分析规则提出了异构分布式实时仿真系统的容错调度算法CSP-RTFT.算法的仿真结果表明:该算法较之基于SP模型的算法SP-RTFT可获得更好的稳定性、更高的任务接收率;缺点是资源利用率比PB模型下的算法要低.
- 刘云生张童张传富查亚兵
- 关键词:容错实时调度MARKOV链