基于规则推理的军事概念模型验证方法研究

针对现有的概念模型形式化验证方法较复杂、非形式化验证方法的主观性较强, 提出了一种基于规则推理的军事概念模型验证方法, 并详细介绍了该方法的原理、框架、实施步骤、验证内容和验证规则。该方法的实质是利用验证规则和推理机代替领域专家, 在计算机上实现概念模型语义验证的自动化。它可以降低形式化验证方法的复杂性, 减少非形式化验证方法的主观性和不确定性, 提高概念模型验证的质量和效率。     

虚拟专用网实现矿区计算机网络安全连接

针对煤炭企业矿区地理位置分布偏远所带来的网络安全连接的问题,提出利用IPSec安全协议实现2个矿区之间跨越因特网的企业内部网络连接方案,运用虚拟专用网内部网关策略控制体系,对发送端原始的数据经过高强度、动态变换的密钥封装在另一个IP通道内,通道头部地址为接收端的IP地址,以此来保证数据的安全性,以达到煤炭企业网络安全扩展的目的.并对企业矿区之间网络出口存在网络地址转换设备,导致两地网络间安全数据隧道无法连接的问题提出了有效的解决方法.     

装备保障兵棋推演系统框架研究

装备保障兵棋推演是兵棋原理在装备保障领域的应用,是各级装备指挥员运用兵棋系统模拟指挥战时装备保障的活动。在阐述兵棋和兵棋推演概念的基础上,总结了装备保障兵棋推演的特点,通过系统功能分析并结合综合集成的思想,初步设计了装备保障兵棋系统框架,对系统的运行进行了简要说明。     

军事概念模型分层次验证方法研究

概念模型验证是建模与仿真校核、验证与确认中的重点和难点。军事概念模型的内涵丰富、层次多、种类多,因而难以在一个层次上验证其全部内容。鉴于此,提出了军事概念模型分层次验证方法,将其划分为系统层、模型层、设计层3个层次,然后分析了各个层次的验证内容、验证指标、验证过程和验证方法。该方法的优点是明确了概念建模各个阶段的验证内容和验证方法,分解了验证工作的复杂性,增强了验证工作的阶段性、层次性、针对性和可操作性。     

逆变器双环控制算法仿真研究

经典PID控制算法在逆变器中获得广泛应用,但控制效果和精度有待改进和提高,针对此问题,研究了双环控制算法在逆变器控制中的应用,给出了双环控制逆变器的结构,设计了电压环和电流环的控制参数。在MATLAB/Simulink软件中构建了双环控制逆变器的仿真模型,通过仿真,验证了控制参数选择的可行性,证明逆变器在采用双环控制算法时具有好的输出性能。     

仿真系统概念模型验证方法的分析与选择

概念模型是对真实世界的第一层次抽象,是仿真系统开发的基础。概念模型的质量对于提高仿真系统的质量有着重要的影响,而概念模型验证是提高概念模型质量的重要手段。在对概念模型验证的定义、层次和内容进行分析的基础上,介绍了当前主要的四类概念模型验证方法,将其分为专家评审法、折衷分析法、形式化验证方法和可执行验证方法,并分析其优缺点,最后从语法、语义和语用三个层次出发,对概念模型验证方法的选择问题进行了探讨,其结果可以为概念模型验证人员提供理论参考。     

基于Web Service的潜艇作战仿真平台框架研究

构建了潜艇作战仿真模型体系结构，阐述了各类模型的组成及所能完成的功能．介绍了Web Service技术，分析了仿真平台的功能需求，并根据设计要求对装备模型资源进行了分解，提出了仿真平台集成框架的技术实现方法，可提高模型的重用性，缩短系统开发应用周期．     

把驻外办事处建成企业的"娘家"

江苏省海门市建筑业的驻外办事处最早设立于上世纪七十年代。1977年,随着海门成建制建筑施工队伍跨出家门,赴外施工,在业务量较为集中的南京、徐州、大庆、新疆等地率先设立了办事处。此后,又在上海、北京、天津、济南、青岛、大连、海南等地设立了办事处。办事处最多时达16个。随着改革开放的不断深入,2004年底,     

煤质分析全流程自动化处理系统设计

针对煤质分析过程中人为因素造成的数据错误、计算误差、复检等问题,设计一种煤质分析全流程自动化处理系统,系统硬件接口采用RS485/422到TCP/IP数据透明传输技术,编程开发了基于GB/T 212—2008等国家标准数学公式的计算处理程序来完成检验数据的自动分析处理。结果表明:该系统原始检验数据提取阶段降低了传统方法产生错误的概率,数据分析处理阶段实现了自动化,提高了效率和时效性。同时,系统具有良好的可扩展性,可根据煤质检验要求,无缝地增加检测仪器终端以及软、硬件接口程序或数学公式模型。     

装备保障仿真概念模型的语义验证方法研究

概念模型验证是保证概念模型正确、可信的重要手段。针对现有概念模型形式化验证方法复杂、繁琐,非形式化验证方法的主观性较强、可信性不高等问题,采用本体理论和语义网技术,提出了一种基于本体与规则推理的装备保障仿真概念模型语义验证方法。该方法的思路是:首先将UML描述的概念模型转化为本体描述语言OWL描述的概念模型;然后根据领域知识构建验证规则,并运用语义网规则描述语言SWRL描述验证规则;最后将模型和规则转换为Jess规则引擎识别的数据格式,输入到Jess规则引擎中进行模型与规则的语义推理,检查概念模型是否符合验证规则。实例表明,该方法使用验证规则和语义推理机替代领域专家在计算机上自动对概念模型的语义内容进行验证,提高了验证效率,减少了专家验证的主观性和不确定性,降低了形式化验证方法的复杂性。