顾闯
- 作品数：10 被引量：39H指数：5
- 供职机构：中国人民解放军军械工程学院装备指挥与管理系更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电气工程兵器科学与技术更多>>
- 概念模型验证方法研究综述
- 2013年
- 概念模型验证是保证和提高仿真可信性的重要手段,是建模与仿真VV&A中的重点和难点.首先将概念模型的验证方法划分为非形式化方法、静态方法、动态方法和形式化方法4类,并提出了一种基于本体推理的概念模型验证方法,然后对各种方法的基本思想、基本原理、基本过程、适用对象、优缺点进行全面的分析总结,明确了各种方法的优缺点和适用范围,为如何选用各种验证方法提供参考,也明确了下一步应重点研究的问题.
- 顾闯贾希胜刘彬田书超孙王虎
- 关键词：形式化验证方法
- 海流对潜布水雷水中弹道的影响研究被引量：8
- 2010年
- 针对某型水雷的水中弹道问题,分析了某型潜布沉底水雷的水下无动力运动过程中的受力情况,在分析海流对其作用力的基础上,建立了研究其水下散布的水下无动力运动的六自由度空间弹道数学模型和海流影响分析模型,并用Matlab软件编写了潜射水雷水下散布仿真程序,并对不同流速条件下的水雷散布进行了研究,给出了仿真结果和分析结论。
- 顾闯逄洪照张永
- 关键词：弹道仿真MATLAB
- 基于规则推理的军事概念模型验证方法研究被引量：1
- 2013年
- 针对现有的概念模型形式化验证方法较复杂、非形式化验证方法的主观性较强,提出了一种基于规则推理的军事概念模型验证方法,并详细介绍了该方法的原理、框架、实施步骤、验证内容和验证规则。该方法的实质是利用验证规则和推理机代替领域专家,在计算机上实现概念模型语义验证的自动化。它可以降低形式化验证方法的复杂性,减少非形式化验证方法的主观性和不确定性,提高概念模型验证的质量和效率。
- 顾闯刘彬张学民孙王虎田书超
- 关键词：语义验证语义网规则语言
- 兵棋推演在装备保障领域的应用被引量：6
- 2013年
- 深入研究兵棋和兵棋推演,准确把握其内涵和特点,积极研发适合我军需要的兵棋系统,对于推进我军作战模拟深入发展、提高部队战备训练水平、促进军事学术研究有着十分重要的意义。在阐述兵棋概念和总结兵棋发展的历史基础上,通过分析装备保障兵棋与作战兵棋的差异,综合兵棋推演、运筹分析和实兵演习技术,提出装备保障兵棋系统总体框架的设计。
- 王桂起杜晓明孙晓顾闯
- 关键词：兵棋兵棋推演
- 装备保障兵棋推演系统框架研究被引量：3
- 2012年
- 装备保障兵棋推演是兵棋原理在装备保障领域的应用,是各级装备指挥员运用兵棋系统模拟指挥战时装备保障的活动。在阐述兵棋和兵棋推演概念的基础上,总结了装备保障兵棋推演的特点,通过系统功能分析并结合综合集成的思想,初步设计了装备保障兵棋系统框架,对系统的运行进行了简要说明。
- 王桂起杜晓明顾闯刘彬孙晓
- 关键词：兵棋推演
- 装备保障仿真概念模型的语义验证方法研究被引量：2
- 2014年
- 概念模型验证是保证概念模型正确、可信的重要手段。针对现有概念模型形式化验证方法复杂、繁琐,非形式化验证方法的主观性较强、可信性不高等问题,采用本体理论和语义网技术,提出了一种基于本体与规则推理的装备保障仿真概念模型语义验证方法。该方法的思路是:首先将UML描述的概念模型转化为本体描述语言OWL描述的概念模型;然后根据领域知识构建验证规则,并运用语义网规则描述语言SWRL描述验证规则;最后将模型和规则转换为Jess规则引擎识别的数据格式,输入到Jess规则引擎中进行模型与规则的语义推理,检查概念模型是否符合验证规则。实例表明,该方法使用验证规则和语义推理机替代领域专家在计算机上自动对概念模型的语义内容进行验证,提高了验证效率,减少了专家验证的主观性和不确定性,降低了形式化验证方法的复杂性。
- 顾闯刘彬张星田书超王桂起
- 关键词：装备保障仿真语义验证本体
- 仿真系统概念模型验证方法的分析与选择被引量：5
- 2012年
- 概念模型是对真实世界的第一层次抽象,是仿真系统开发的基础。概念模型的质量对于提高仿真系统的质量有着重要的影响,而概念模型验证是提高概念模型质量的重要手段。在对概念模型验证的定义、层次和内容进行分析的基础上,介绍了当前主要的四类概念模型验证方法,将其分为专家评审法、折衷分析法、形式化验证方法和可执行验证方法,并分析其优缺点,最后从语法、语义和语用三个层次出发,对概念模型验证方法的选择问题进行了探讨,其结果可以为概念模型验证人员提供理论参考。
- 刘彬米东杜晓明顾闯
- 关键词：仿真系统
- 逆变器双环控制算法仿真研究被引量：10
- 2011年
- 经典PID控制算法在逆变器中获得广泛应用,但控制效果和精度有待改进和提高,针对此问题,研究了双环控制算法在逆变器控制中的应用,给出了双环控制逆变器的结构,设计了电压环和电流环的控制参数。在MATLAB/Simulink软件中构建了双环控制逆变器的仿真模型,通过仿真,验证了控制参数选择的可行性,证明逆变器在采用双环控制算法时具有好的输出性能。
- 王川川朱长青顾闯
- 关键词：逆变器双环控制MATLAB/SIMULINK仿真
- 军事概念模型分层次验证方法研究
- 2014年
- 概念模型验证是建模与仿真校核、验证与确认中的重点和难点。军事概念模型的内涵丰富、层次多、种类多,因而难以在一个层次上验证其全部内容。鉴于此,提出了军事概念模型分层次验证方法,将其划分为系统层、模型层、设计层3个层次,然后分析了各个层次的验证内容、验证指标、验证过程和验证方法。该方法的优点是明确了概念建模各个阶段的验证内容和验证方法,分解了验证工作的复杂性,增强了验证工作的阶段性、层次性、针对性和可操作性。
- 顾闯杜晓明刘彬王桂起
- 关键词：军事概念模型本体
- 基于Web Service的潜艇作战仿真平台框架研究被引量：5
- 2009年
- 构建了潜艇作战仿真模型体系结构,阐述了各类模型的组成及所能完成的功能.介绍了Web Service技术,分析了仿真平台的功能需求,并根据设计要求对装备模型资源进行了分解,提出了仿真平台集成框架的技术实现方法,可提高模型的重用性,缩短系统开发应用周期.
- 顾闯张强
- 关键词：WEBSERVICE潜艇作战仿真平台
