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

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

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

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

海流对潜布水雷水中弹道的影响研究

针对某型水雷的水中弹道问题,分析了某型潜布沉底水雷的水下无动力运动过程中的受力情况,在分析海流对其作用力的基础上,建立了研究其水下散布的水下无动力运动的六自由度空间弹道数学模型和海流影响分析模型,并用Matlab软件编写了潜射水雷水下散布仿真程序,并对不同流速条件下的水雷散布进行了研究,给出了仿真结果和分析结论。

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

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

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

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

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

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

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

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

企业资金集中管理信息化系统建设研究

提出集团型企业资金集中管理发展趋势和建设目标,分析了企业在实现资金集中管理信息化过程中的一些问题,重点介绍了资金集中管理的管理体系、管理职责。并阐述说明了平台信息系统的设计思路。

概念模型验证方法研究综述

概念模型验证是保证和提高仿真可信性的重要手段,是建模与仿真VV&A中的重点和难点.首先将概念模型的验证方法划分为非形式化方法、静态方法、动态方法和形式化方法4类,并提出了一种基于本体推理的概念模型验证方法,然后对各种方法的基本思想、基本原理、基本过程、适用对象、优缺点进行全面的分析总结,明确了各种方法的优缺点和适用范围,为如何选用各种验证方法提供参考,也明确了下一步应重点研究的问题.

企业自建弱电项目施工过程造价控制研究

在总结存在问题的基础上,阐述推行网络弱电工程施工过程造价控制和监督形式的必要性,归纳分析工作准则、内容、研究探讨工作方法和要点,对实现工程建设投资控制、推动后期网络弱电工程良性发展,具有一定的指导意义。

兵棋推演在装备保障领域的应用

深入研究兵棋和兵棋推演,准确把握其内涵和特点,积极研发适合我军需要的兵棋系统,对于推进我军作战模拟深入发展、提高部队战备训练水平、促进军事学术研究有着十分重要的意义。在阐述兵棋概念和总结兵棋发展的历史基础上,通过分析装备保障兵棋与作战兵棋的差异,综合兵棋推演、运筹分析和实兵演习技术,提出装备保障兵棋系统总体框架的设计。

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

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

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

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

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

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

乙酰半胱氨酸治疗老年COPD的临床疗效

目的观察乙酰半胱氨酸治疗老年慢性阻塞性肺疾病(COPD)的临床疗效。方法选取2018年1月—2020年12月徐州市康复医院收治的老年COPD患者80例,采用随机数字表法分为联合组和常规组各40例。常规组患者实施常规治疗,联合组患者在常规组的基础上联合乙酰半胱氨酸治疗,2组均治疗7~10 d。比较2组患者的临床疗效,治疗前后肺功能[第1秒用力呼气容积(FEV_(1))占用力肺活量(FVC)比值(FEV_(1)/FVC)及FEV_(1)]、细胞因子[白介素-8(IL-8)及肿瘤坏死因子-α(TNF-α)]水平及不良反应。结果联合组患者的总有效率为95.00%,高于常规组的77.50%(χ^(2)=5.165,P=0.023)。与治疗前比较,治疗7~10 d后2组患者FEV_(1)及FEV_(1)/FVC均升高,IL-8及TNF-α水平均降低,且改善幅度比较,联合组大于常规组(P<0.01)。联合组患者不良反应总发生率为15.00%,低于常规组的17.50%,但组间比较差异无统计学意义(χ^(2)=0.092,P=0.762)。结论乙酰半胱氨酸治疗老年COPD效果明显,可提高疗效,改善肺功能,降低细胞因子水平,安全性较高。

不同眩晕与颈椎病及自主神经功能障碍的关系(附52例眩晕患者临床分析)

目的观察和初步探讨眩晕与颈椎病及自主神经功能障碍的关系.方法 52例患者根据临床诊断分成椎基底动脉供血不足(VBI)、良性位置性眩晕(BPPV)和周围性眩晕(PV)三组,所有患者均在眩晕症状消失或症状明显缓解后行自主神经功能障碍检查.结果自主神经功能检查临界及异常率高达59.6%～94.4%,其中临界36.6%～69.2%,异常5.8%～44.2%.副交感神经的异常率较交感神经高.在用力呼气时心率变化方面VBI及BPPV组的临界和异常率高于PV组,余各组自主神经功能检查结果无明显差异.本组37例(71.2%)患者伴发颈椎病,其中VBI 27例,BPPV 6例,PV 4例,三组比较χ2=2.44 P=0.30,无明显差异.结论自主神经功能失调和障碍与眩晕有密切的联系,颈椎病患者易引起眩晕,颈椎病与自主神经功能障碍的关系有待于进一步研究.

煤炭企业工控网络安全防护与预测方法研究

针对煤矿企业工控网络的安全防护和预警在煤矿安全生产中的重要性,分析了煤矿工控网络安全防护的3个主要区域:井上安全防护体系、井下传输通信、井下控制执行及相关安全防护策略,并提出在数字监控系统网络安全防护中,尝试引入大数据分析的思路,应用LM神经网络预测方法,利用网络数据的包方向、包间隔、CAN协议数据位为体征信息集合,建立网络异常预测系统的架构和模型程序设计。并通过试验结果表明:通过对3层神经网络的隐含层神经元数量由3个分别增加到5个和7个之后,该模型趋近稳定、预测精度误差趋近0.007%,能够较好地对监控系统网络异常做出分类,以实现预测预警功能。

云计算技术在煤炭企业信息化建设中的应用

分析了煤炭企业信息化建设的现状,提出了云计算技术在煤炭企业的应用思路:利用云计算技术从建新、利旧2个层面建设企业云数据中心平台,通过建设物理资源、软件虚拟资源、资源服务调度机制整合新、旧信息资源,实现数据层面的共享与交互、资源层面的相互传递与支撑,充分发挥和挖掘了企业海量数据中的价值。

煤质检测管理系统与关键技术

针对煤质检测在完成煤炭销售定价和品种鉴定过程中存在的种类多、标准差别大、检测周期不同、检测数据准确率要求高等问题,简要介绍了煤质检测管理业务工作的特点、煤质检测管理系统的组成与平台搭配、系统使用环境与配套硬件设备要求、系统性能、系统主要功能、系统实现过程中的关键技术,重点阐述了产品检测委托过程信息的自动传递、被检样品信息的自动读取、系统多态组合模式的使用等方面,提出委托管理操作应具备网页界面交互、样品登记管理操作应使用移动终端、具体委托任务检测操作可通过客户端模式提供等多种检测操作方式,并对使用web报表技术计算检测管理系统数据进行了研究和说明。

微量元素铜、锌与高血压病及胸卒中的关系初探

本文用原子吸附法对原发性高血压病、脑卒中共230例患者进行临床血清铜、锌、铜/锌测定,并将测定结果与对照组(共200例)进行比较,结果显示均较对照组有显著差异(p<0.01),特别是高血压病组与脑梗塞、脑出血组间差异更为显著(p<0.001);脑梗塞与脑出血组间差异除血清铜外(p<0.005),血清锌、铜/锌均无统计学意义(p>0.05)。