指挥控制的形式化描述与性质验证

在分析了IDEF0基本模型及其军用模型的基础上,结合面向对象的分析方法,提出了一个通用的指挥控制对象的概念模型,并采用形式化描述语言LOTOS(LanguageofTemporalOrderingSpecification)和基于动作的时序逻辑ACTL(ActionBasedTemporalLogical)对系统进行了形式化描述和性质验证。这为C4ISR系统的需求描述和验证提供了一种新的思路和方法。     

军用通信接入控制软件设计与实现

为了适应军用通信技术的不断发展,提升通信集成水平,实现各种通信接入手段综合利用,研究开发了通信接入控制软件,重点介绍了通信接入控制软件设计技术,主要包括软件的体系结构,端口I/O技术、队列缓冲技术、数据路由处理技术,最后对设计进行了验证.验证表明通信接入控制软件设计技术实现了各种军用通信手段的集成应用,具备快速消息处理交换与灵活管理能力,满足了通信应用对通信接入的需求.     

军用可信软件现状及发展研究

随着计算机技术在军事领域的广泛应用,军用软件的可信性越来越引人关注。在总结了学术界对可信与可信性定义的基础上,给出了军用可信软件和军用软件可信性的定义。分析了国内外军事相关领域可信软件的发展现状,指出了当前我军军用软件研发模式中的不足并阐述了开展军用可信软件研究的意义及其发展方向。     

基于UML的航天发射指挥控制软件建模研究

指挥控制软件是影响SLC2S高效运行的重要因素之一。为了提高航天发射指挥控制软件的综合效能,基于统一建模语言(UML)建模技术,从软件需求分析出发,对航天发射指挥控制软件开发进行了静态和动态建模,增强了软件的一致性和可复用性,为软件开发奠定了良好基础。     

基于Fuzzy-AHP的指挥信息系统可信性评估模型研究

针对未来作战指挥需求,运用模糊理论和多模型理论探索指挥信息系统可信性评估问题。建立了指挥信息系统可信性评估指标体系层次结构,以评估流程为基础综合集成了层次分析法和多级模糊评判方法,提出了一种基于Fuzzy-AHP的指挥信息系统可信性评估模型。经评估实例验证,该模型能够有效解决指挥信息系统可信性指标种类繁多而又相对模糊的问题,科学地实现定量与定性的有机结合,较好地满足了指挥信息系统可信性评估的需求。     

基于OSGi的军用指挥软件插件机制研究

为降低军用指挥软件的耦合度,提高重用性,提出了一种基于OSGi的军用指挥软件插件机制,详细描述了插件加载机制、插件扩展以及插件间通信机制,并对开发平台扩展等关键技术进行了探讨。同时将这一成果成功应用到某外贸合成旅指挥软件的开发与实践中,实现了全插件式的军用指挥软件开发机制,应用结果表明,该插件机制适用于大型指挥软件团队并行开发,能显著提高软件开发效率。     

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

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

指控信息特征的分析与捕获方法

为了进一步提高指挥信息系统的信息推荐效率,从信息本身和用户两个角度出发分析了指控信息的形式化描述方法,并提出了基于文本分析和配置文件描述的特征捕获方法。经案例验证,该方法对于军事应用中的信息推荐技术有一定的支持作用。     

基于EATI的多分辨率联邦可组合性判定研究

联邦可组合性判定是在组建联邦之前,在语义层面分析邦员之间是否存在一种或多种交互方式能够满足联邦的仿真需求和目的。多分辨率联邦执行的有效性是判定联邦可组合性的主要标准。基于EATI方法,提出了多分辨率组合性的形式化理论,给出多分辨率联邦概念模型与多分辨率联邦组合模型的形式化描述。通过比较这两个模型得出联邦有效性的形式化定义,并在此基础上得到联邦可组合性判定方法。该判定方法从实践中总结并在实践中验证,对于构建军用仿真联邦的可行性分析具有一定的借鉴价值。     

军用电力系统频率测试研究

军用电力系统是火力与指挥控制系统最重要的能源,其供电质量直接影响火力与指挥控制系统的作战效能。频率是军用电力系统最重要的供电质量指标之一。频率测量也是军用电力系统运行控制中的重要技术。在军用电力系统中,频率测试不仅要考核稳态过程,而且还要考核瞬态过程。详细描述了军用电力系统的频率偏差,频率测试特点及测试平台设计,讨论分析了实际测试结果。     

微小RNA及其军事应用

微小RNA（miRNA）是一类小分子单链RNA,不编码蛋白质,但是通过抑制基因表达参与调控许多重要的生物学过程。最新研究发现。miRNA广泛存在于体液中,并且含量稳定。易于检测。其表达的变化可以作为一些非正常生理状态或者肿瘤等病理状态的分子标记。复杂战场环境及太空等特殊环境下人血清miRNA的表达谱可能是相关作业人员健康状态的指标．体液中miRNA的表达谱也可作为评价新型武器毁损效应的检测标志物。因此建立特定因素作用下人体液中miRNA的表达谱并建立快速小型化的检测装备。不仅可以服务于军事活动参与人员状态的监测。还能在武器装备研发中发挥重要的评估作用。     

Economic and environmental impacts of vertical and horizontal competition and integration

We explore the economic and environmental impacts of market structures (competition or integration at vertical and horizontal levels). We consider a bilateral duopoly consisting of two manufacturers and two retailers in which each manufacturer offers a wholesale price contract to the respective retailer. The manufacturers decide on wholesale prices and abatement efforts concerning pollution emissions related to manufacturing processes, whereas the retailers compete in quantities in the consumer market. To understand the comprehensive effects of market structures on economic competitiveness and environmental sustainability, we examine a measure of eco‐friendly social welfare, which is the ratio of social welfare and environmental pollution. Interestingly, we find that the market structures that have been believed to be more efficient are less efficient from a broader perspective: (1) double marginalization can generate higher eco‐friendly social welfare, and (2) horizontal competition between firms can result in lower eco‐friendly social welfare. Although vertical integration and horizontal competition yield greater social welfare by facilitating more production activities, these market structures often fail to induce sufficient abatement efforts to balance the polluting effect of the large volume, resulting in more significant environmental degradation. We also show that, despite the pollution‐curbing effect, higher emission penalties can result in less eco‐friendly social welfare. They can even curtail the abatement efforts of firms under particular circumstances. When products become more substitutable, the eco‐friendly social welfare can decrease depending upon the market structure.     

网络文化与高校思想政治工作

网络文化对人类社会产生了深刻的影响,受网络文化影响最深、最广的莫过于有较高文化层次的大学生.新时期的高校思想政治工作面临网络科技带来的发展机遇和前所未有的挑战.高校应采取积极的对策,占领网络这块阵地,促使思想政治工作再上一个新台阶.     

鲁迅与魏晋南北朝诗歌

鲁迅以魏晋诗人的人格理想对诗性精神的影响为思考脉络，来考察这一时期的文化风貌之于诗歌的意义，并用“魏晋风度”来概括。在精神文化传承上，鲁迅和魏晋诗人都对酒情有独钟，借助于酒文化获得精神上的超越。在艺术创作上，鲁迅诗歌与魏晋南北朝诗歌都有着沉郁、苍劲的特点，也都呈现出率真自然的风格。     

船舶工业军民技术创新链的构成及作用机制探讨

基于技术创新链理论的最新研究成果及船舶工业的特征,本文从系统论的视角分析了船舶工业军民技术创新链的基本结构及其作用机制。这些作用机制主要有供求机制、协同机制、共享机制、竞争机制、激励机制。研究表明,这五种作用机制对促进世界主要造船国的船舶工业军民技术创新起到了关键作用。     

建立完善红外光电产品技术标准 促进引导军民品装备及市场的发展

一．引言 随着红外热成像技术的发展及国外武器装备夜视装备的更新换代，我国海、陆、空、防化的武器装备均提出了装备二代热像仪的需求。红外热成像技术已经从一代发展到二代、三代，一代红外热成像装置采用红外探测器线阵扫描成像，二代和三代红外热成像装置则采用红外焦平面阵列，但总体上来说，二代和三代红外热成像装置仍处于发展阶段，相对于一代技术，二代热像仪的性能指标体系、     

气象水文软件测评系统建设研究

介绍了气象水文软件测评系统建设和研究情况,重点分析了测评系统的网络环境、硬件环境、软件环境、测试技术能力、测试流程管理等方面的建设和研究情况.     

发展再制造工程，实现节能减排

节能减排的目的是减少资源能源的浪费及降低废气排放和废料排出.再制造工程是实现节能减排的关键手段之一,是循环经济4R原则的重要组成,其关键技术是表面工程技术.为充分适应表面工程的发展方向和再制造工程的实践需要,研究开发了以自动化纳米颗粒复合电刷镀技术为代表的、可适应产业化再制造加工需求的多种自动化表面工程技术.     

电磁炮及其特点和军事应用前景

从美国海军最新试验进展出发,概括了电磁炮的系统组成,说明了不同类型电磁炮的工作原理、优缺点、适用场合和研究现状,分析了电磁炮特点和需要进一步解决的主要问题.在此基础上,讨论了电磁炮的军事应用前景,包括其在打击地面和海上目标、防空反导、发射导弹和卫星、天基战略反导和反卫星、空中作战等方面的应用.