共查询到20条相似文献,搜索用时 46 毫秒
1.
在分析了IDEF0基本模型及其军用模型的基础上,结合面向对象的分析方法,提出了一个通用的指挥控制对象的概念模型,并采用形式化描述语言LOTOS(LanguageofTemporalOrderingSpecification)和基于动作的时序逻辑ACTL(ActionBasedTemporalLogical)对系统进行了形式化描述和性质验证。这为C4ISR系统的需求描述和验证提供了一种新的思路和方法。 相似文献
2.
为了适应军用通信技术的不断发展,提升通信集成水平,实现各种通信接入手段综合利用,研究开发了通信接入控制软件,重点介绍了通信接入控制软件设计技术,主要包括软件的体系结构,端口I/O技术、队列缓冲技术、数据路由处理技术,最后对设计进行了验证.验证表明通信接入控制软件设计技术实现了各种军用通信手段的集成应用,具备快速消息处理交换与灵活管理能力,满足了通信应用对通信接入的需求. 相似文献
3.
随着计算机技术在军事领域的广泛应用,军用软件的可信性越来越引人关注。在总结了学术界对可信与可信性定义的基础上,给出了军用可信软件和军用软件可信性的定义。分析了国内外军事相关领域可信软件的发展现状,指出了当前我军军用软件研发模式中的不足并阐述了开展军用可信软件研究的意义及其发展方向。 相似文献
4.
基于UML的航天发射指挥控制软件建模研究 总被引:1,自引:0,他引:1
指挥控制软件是影响SLC2S高效运行的重要因素之一。为了提高航天发射指挥控制软件的综合效能,基于统一建模语言(UML)建模技术,从软件需求分析出发,对航天发射指挥控制软件开发进行了静态和动态建模,增强了软件的一致性和可复用性,为软件开发奠定了良好基础。 相似文献
5.
6.
7.
概念模型验证是保证和提高仿真可信性的重要手段,是建模与仿真VV&A中的重点和难点.首先将概念模型的验证方法划分为非形式化方法、静态方法、动态方法和形式化方法4类,并提出了一种基于本体推理的概念模型验证方法,然后对各种方法的基本思想、基本原理、基本过程、适用对象、优缺点进行全面的分析总结,明确了各种方法的优缺点和适用范围,为如何选用各种验证方法提供参考,也明确了下一步应重点研究的问题. 相似文献
8.
9.
10.
军用电力系统是火力与指挥控制系统最重要的能源,其供电质量直接影响火力与指挥控制系统的作战效能。频率是军用电力系统最重要的供电质量指标之一。频率测量也是军用电力系统运行控制中的重要技术。在军用电力系统中,频率测试不仅要考核稳态过程,而且还要考核瞬态过程。详细描述了军用电力系统的频率偏差,频率测试特点及测试平台设计,讨论分析了实际测试结果。 相似文献
11.
微小RNA(miRNA)是一类小分子单链RNA,不编码蛋白质,但是通过抑制基因表达参与调控许多重要的生物学过程。最新研究发现。miRNA广泛存在于体液中,并且含量稳定。易于检测。其表达的变化可以作为一些非正常生理状态或者肿瘤等病理状态的分子标记。复杂战场环境及太空等特殊环境下人血清miRNA的表达谱可能是相关作业人员健康状态的指标.体液中miRNA的表达谱也可作为评价新型武器毁损效应的检测标志物。因此建立特定因素作用下人体液中miRNA的表达谱并建立快速小型化的检测装备。不仅可以服务于军事活动参与人员状态的监测。还能在武器装备研发中发挥重要的评估作用。 相似文献
12.
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. 相似文献
13.
网络文化与高校思想政治工作 总被引:6,自引:0,他引:6
孙厚明 《兵团教育学院学报》2002,12(2):23-25
网络文化对人类社会产生了深刻的影响,受网络文化影响最深、最广的莫过于有较高文化层次的大学生.新时期的高校思想政治工作面临网络科技带来的发展机遇和前所未有的挑战.高校应采取积极的对策,占领网络这块阵地,促使思想政治工作再上一个新台阶. 相似文献
14.
15.
基于技术创新链理论的最新研究成果及船舶工业的特征,本文从系统论的视角分析了船舶工业军民技术创新链的基本结构及其作用机制。这些作用机制主要有供求机制、协同机制、共享机制、竞争机制、激励机制。研究表明,这五种作用机制对促进世界主要造船国的船舶工业军民技术创新起到了关键作用。 相似文献
16.
鲁迅以魏晋诗人的人格理想对诗性精神的影响为思考脉络,来考察这一时期的文化风貌之于诗歌的意义,并用“魏晋风度”来概括。在精神文化传承上,鲁迅和魏晋诗人都对酒情有独钟,借助于酒文化获得精神上的超越。在艺术创作上,鲁迅诗歌与魏晋南北朝诗歌都有着沉郁、苍劲的特点,也都呈现出率真自然的风格。 相似文献
17.
18.
介绍了气象水文软件测评系统建设和研究情况,重点分析了测评系统的网络环境、硬件环境、软件环境、测试技术能力、测试流程管理等方面的建设和研究情况. 相似文献
19.
20.
当今时代,轻武器产品研发过程越来越快,为了保持竞争优势,必须加快新产品开发设计过程,缩短新产品的研制周期,保持轻武器高技术装备发展的势头。通过优化轻武器产品结构、建立最佳配系,使轻武器装备互补、互用,简化操作使用与后勤保障,缩短维护和修复时间,从而提高总体作战能力。同时,轻武器新产品必须有助于国防工业企业实现平时经济批量生产和战时动员生产,提高其精密性和降低成本,避免规模小、成本高、科研与生产重复浪费等现象,将技术力量应用到最能发挥效能的关键地方,从而实现寓军于民,军民结合。轻武器“三化”技术的实施应用正是以… 相似文献