田书超
- 作品数：10 被引量：16H指数：2
- 供职机构：中国人民解放军军械工程学院更多>>
- 发文基金：国家自然科学基金军队科研计划项目更多>>
- 相关领域：自动化与计算机技术军事兵器科学与技术更多>>
- 概念模型验证方法研究综述
- 2013年
- 概念模型验证是保证和提高仿真可信性的重要手段,是建模与仿真VV&A中的重点和难点.首先将概念模型的验证方法划分为非形式化方法、静态方法、动态方法和形式化方法4类,并提出了一种基于本体推理的概念模型验证方法,然后对各种方法的基本思想、基本原理、基本过程、适用对象、优缺点进行全面的分析总结,明确了各种方法的优缺点和适用范围,为如何选用各种验证方法提供参考,也明确了下一步应重点研究的问题.
- 顾闯贾希胜刘彬田书超孙王虎
- 关键词：形式化验证方法
- 战场弹药供应CGF决策中的目标威胁评估模型被引量：1
- 2013年
- 威胁评估是弹药供应CGF决策中的关键任务之一,能够为指挥员提供及时、准确的威胁信息。针对CGF决策系统,在分析威胁因素构成的基础上,构建目标威胁评估模型,利用模糊综合评判法计算目标威胁等级。通过实例计算表明,目标威胁评估模型是可行的。
- 田书超李志勇
- 关键词：计算机生成兵力模糊综合评判法
- 弹药保障单元CGF人类行为建模与研究(英文)
- 2014年
- 弹药保障单元CGF是综合保障效能评估系统中的基本单位,是仿真系统中必不可少的组成部分,核心是人类行为的建模与仿真。为使保障单元CGF达到高分辨率仿真的要求,确定了基于多Agent的体系结构,将保障单元的各成员分别视为具有智能行为的Agent,建立行为控制结构,并描述其应该具有的行为特征,给出了目标威胁等级评估、指挥决策、避障方法和动作决策规则集的实现模型。弹药保障单元CGF以组长Agent为核心,各成员Agent分工合作,其行为更加趋近于人类,提高了行为模型的逼真度。
- 杜晓明田书超张星邱焕仁
- 关键词：计算机生成兵力智能体弹药保障
- 基于规则推理的军事概念模型验证方法研究被引量：1
- 2013年
- 针对现有的概念模型形式化验证方法较复杂、非形式化验证方法的主观性较强,提出了一种基于规则推理的军事概念模型验证方法,并详细介绍了该方法的原理、框架、实施步骤、验证内容和验证规则。该方法的实质是利用验证规则和推理机代替领域专家,在计算机上实现概念模型语义验证的自动化。它可以降低形式化验证方法的复杂性,减少非形式化验证方法的主观性和不确定性,提高概念模型验证的质量和效率。
- 顾闯刘彬张学民孙王虎田书超
- 关键词：语义验证语义网规则语言
- 装备保障仿真概念模型的语义验证方法研究被引量：2
- 2014年
- 概念模型验证是保证概念模型正确、可信的重要手段。针对现有概念模型形式化验证方法复杂、繁琐,非形式化验证方法的主观性较强、可信性不高等问题,采用本体理论和语义网技术,提出了一种基于本体与规则推理的装备保障仿真概念模型语义验证方法。该方法的思路是:首先将UML描述的概念模型转化为本体描述语言OWL描述的概念模型;然后根据领域知识构建验证规则,并运用语义网规则描述语言SWRL描述验证规则;最后将模型和规则转换为Jess规则引擎识别的数据格式,输入到Jess规则引擎中进行模型与规则的语义推理,检查概念模型是否符合验证规则。实例表明,该方法使用验证规则和语义推理机替代领域专家在计算机上自动对概念模型的语义内容进行验证,提高了验证效率,减少了专家验证的主观性和不确定性,降低了形式化验证方法的复杂性。
- 顾闯刘彬张星田书超王桂起
- 关键词：装备保障仿真语义验证本体
- 弹药保障单元CGF人类行为建模
- 2014年
- 为提高弹药保障单元CGF行为模型的逼真度,针对CGF实体具有自主性和智能性的特点,从结构构成和行为功能上考虑,将弹药保障单元的行为视为内部成员行为表现的聚集,构建了多Agent的弹药保障单元CGF行为模型。行为模型将保障单元的成员分别视为具有智能行为的单独Agent,采用包容式结构控制模型的行为,并描述它的行为特征,给出了目标威胁等级评估、指挥决策、避障方法的实现模型。弹药保障单元CGF行为模型以组长Agent为核心,各成员Agent分工合作,其行为更加趋近于人类,提高了仿真系统的逼真度。
- 田书超杜晓明徐雪峰郝立山
- 关键词：计算机生成兵力智能体
- 基于反馈的装备保障决策Agent模型研究
- 2014年
- BDI模型的建立以及与Agent模型的交叉与结合促成了BDI-Agent模型的形成,扩充了智能控制领域的理论基础。针对目前对于带反馈的BDI-Agent模型的研究相对较少的问题,介绍了传统的BDI-Agent模型包含的主要数据结构以及推理过程,提出了一种带反馈的BDI-Agent模型的设想,是对带反馈BDI-Agent模型研究的一个探索。为证明设想的可行性,以装备保障人员执行保障任务途中遇到火力打击时的决策反应为背景,设置了反馈条件,最终验证了带反馈的BDI-Agent模型的合理性。
- 张星杜晓明田书超李华
- 基于规则推理的弹药供应CGF决策模型研究
- 计算机生成兵力(Computer Generated Forces,CGF)是指在仿真环境中由计算机生成的兵力，是一种仿真实体。早期的CGF不具备智能决策能力，决策行为由参与仿真的人来完成。随着建模理论、人工智能、计算机...
- 田书超杜晓明朱宁张星
- 关键词：仿真系统弹药供应计算机生成兵力
- 文献传递
- IETM技术体系构建研究被引量：3
- 2013年
- 在结合国内外研究现状的基础上,通过分析比较IETM(Intractive Electronic Tehnical Manual)技术体系的过程构建法、类别构建法、主体构建法和客体构建法,得到一种综合构建法。该构建方法是在客体构建法的基础上,将贯穿各层的管理技术和交付前的验收技术进行单独归类,并在生成技术和管理技术中引入了过程构建法中"寿命周期阶段"的划分方法,而形成的一套IETM技术体系构建方法。采用这种构建方法形成的IETM技术体系框架,可为规划IETM的研究方向提供指导。
- 朱宁杜晓明田书超张星
- 关键词：IETMS1000D
- 基于规则的CGF实体行为建模技术被引量：9
- 2015年
- CGF行为建模的目的是使行为模型能更好地体现出人类行为特征,提高作战仿真系统的可信性和科学性。在介绍CGF、CGF行为建模概念的基础上,对当前几种主要的CGF行为建模方法进行了比较,并分析了CGF行为模型的一般结构。构建了基于规则的CGF行为模型,重点对基于规则CGF行为模型的决策推理方法进行了研究。采用产生式规则方法对决策知识进行了描述,定义了决策推理过程中的3个要素:态势、动作、决策推理,并对其决策推理过程进行了研究。
- 郝立山夏洪波田书超郭宗峰贾会琰
- 关键词：计算机生成兵力产生式规则
