张巍
- 作品数：16 被引量：50H指数：3
- 供职机构：国防科学技术大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术军事更多>>
- 基于FreeBSD内核的Chamber技术
- 2007年
- 服务质量支持技术和安全隔离技术是当前服务器操作系统研究领域的热点,也是服务器之间竞争的关键技术。该文分析了一些重要的资源控制技术,并结合这些技术提出了在FreeBSD操作系统中的QoS支持和安全隔离技术——FreeBSD Chamber(FC)机制。FC机制包括了上层的虚拟执行环境和底层的资源管理框架,提供完全隔离的执行环境和系统服务质量支持。
- 张巍卢凯
- 关键词：操作系统服务质量资源控制
- 虚拟战场环境中群体组织结构本体建模方法研究被引量：5
- 2008年
- 军事仿真建模技术随着战场规模的扩大和仿真真实感要求的提高变得越来越困难。针对虚拟战场环境群体组织结构,提出一种本体建模方法。将本体的思想引入军事仿真建模,结合军事领域中群体组织的概念体系,采用本体描述语言OWL DL,对虚拟战场环境群体组织结构进行建模。实践表明,该方法有利于模型资源重用,提高了建模效率,保证了模型描述的一致性。
- 戴静波曾亮张巍
- 关键词：军事仿真本体OWL
- 联合作战想定中的复杂电磁环境建模技术研究被引量：8
- 2010年
- 针对在复杂电磁环境条件下联合作战的特点,提出一种联合作战想定中的电磁环境模型。模型综合考虑了复杂电磁环境的组成和作战模拟仿真的需求,采用文档类型定义语言进行描述。在该模型的基础上,设计实现了一个电磁环境下联合作战模拟想定生成系统。
- 曾亮戴静波张巍
- 关键词：电磁环境联合作战想定文档类型定义
- Hunter:一种指令集体系结构无关的二进制级动态测试用例生成技术被引量：1
- 2011年
- 动态测试用例生成技术是一类新兴的软件测试技术。由于使用该类技术无需任何人工干预,也无需验证人员具备任何专业知识,同时该类技术能够无误地发现程序错误,越来越多的研究者采用该技术查找预发布的二进制级软件错误。然而,已有的该类技术及其实现系统不具有可重定向性,只能处理面向某种特定指令集体系结构(ISA)的二进制代码,进行测试用例的生成与查错。本文提出了一种全新的指令集体系结构无关的二进制级动态测试用例生成技术,以及实现该技术的系统Hunter。与已有的动态测试用例生成技术不同,Hunter具有极强的可重定向性,可对任何指令集体系结构的二进制代码进行查错,定向地为其生成指向不同执行路径的测试用例。Hunter定义了一套元指令集体系结构(MetaISA),将在二进制代码执行过程中收集到的所有执行信息映射为MetaISA,并对生成的MetaISA序列进行符号化执行、约束收集、约束求解以及测试用例生成,从而使整个过程与ISA无关。我们实现了Hunter,将其重定向至32位x86、PowerPC和Sparc ISA,并使用该系统为6个含有已知错误的测试程序查错。实验结果表明,由于MetaISA的引入,只需很小的开销,Hunter系统即可容易且有效地重定向至不同的ISA,并且Hunter能够有效地发现面向32位x86、PowerPC和Sparc ISA编写的二进制应用中隐藏极深的错误。
- 李根卢凯张英卢锡城冯华张巍
- 关键词：重定向
- 虚拟战场环境中群体组织结构本体建模方法研究
- 军事仿真建模技术随着战场规模的扩大和仿真真实感要求的提高变得越来越困难.针对虚拟战场环境群体组织结构,提出一种本体建模方法.将本体的思想引入军事仿真建模,结合军事领域中群体组织的概念体系,采用本体描述语言OWL DL,对...
- 戴静波曾亮张巍
- 关键词：军事仿真虚拟战场环境本体建模
- 文献传递
- 处突维稳行为建模仿真方法研究被引量：1
- 2012年
- 非战争军事行动能力建设是我军建设的一个重要内容。目前极少有针对非战争军事行动的建模仿真研究。基于描述任务逻辑理论建立了一个计算机生成群体兵力模型GCGF。该模型具有层次结构,适宜描述不同规模的群体。并采用该模型对处突维稳型非战争军事行动进行了分析研究,军事群体对象能够正确做出符合处突原则的反应,效果良好,达到了预期目的。
- 张巍曾亮李思昆
- 关键词：非战争军事行动
- 群体组织协同行为并行仿真框架设计
- 针对大规模作战仿真中群体组织协同行为的特点,设计合理的数据结构,结合SPEEDES仿真引擎,提出了一种虚拟战场的并行仿真框架,详细介绍了框架的设计思想、系统构成和主要模块。进行了实验分析,表明在群体规模增大时,并行框架能...
- 麻大顺曾亮张巍
- 关键词：仿真引擎作战仿真虚拟战场
- 文献传递
- 处突维稳行为建模仿真方法研究
- 非战争军事行动能力建设是我军建设的一个重要内容，目前极少有针对非战争军事行动的建模仿真研究.基于描述任务逻辑理论建立了一个计算机生成群体兵力模型GCGF.该模型具有层次结构，适宜描述不同规模的群体.并采用该模型对处突维稳...
- ZHANG Wei张巍ZENG Liang曾亮LI Si-kun李思昆
- 关键词：非战争军事行动建模仿真
- 文献传递
- 数字游戏中的协同——描述任务逻辑方法被引量：3
- 2012年
- 传统的数字游戏只注重底层实体级别的交互协同,不支持多层次群体协同关系描述和协同规划描述,且很少有形式化理论支持.描述任务逻辑结合了描述逻辑的知识表示结构和任务逻辑的任务语义.描述任务逻辑方法对数字游戏中的协同关系和协同规划进行了形式化描述,给出了任务和规划可完成性的定义,以及联合策略下的规划可完成性的判定理论.通过示例说明,描述任务逻辑方法能够准确地描述虚拟群体高层指挥关系的任务交互语义,同时又能提供协同规划可完成性的可判定的推理验证服务.
- 张巍曾亮张会李思昆
- 关键词：数字游戏非玩家角色
- 基于描述任务逻辑的群体组织协同关系模型被引量：3
- 2013年
- 群体组织模型是深入研究群体协同行为的基础,而现有的组织模型大多集中在对Agent组织的结构或个体低层指令级的交互上,不能描述组织高层的动态任务交互。提出一个新的群体组织协同关系模型GRNA。该模型包含两个子模型:认知模型和交互模型。认知模型构建于领域本体之上,为GRNA模型提供准确的术语定义;交互模型则基于描述任务逻辑理论,反映了群体的任务协同语义。实例分析表明,GRNA支持对群体规范和能力的描述,提供了组织任务可完成性的可判定的推理服务,能够描述组织的高层任务交互语义。
- 张巍曾亮李思昆
