论文部分内容阅读
随着计算机技术在军事领域的广泛应用,军用软件的可信性越来越引人关注。在总结了学术界对可信与可信性定义的基础上,给出了军用可信软件和军用软件可信性的定义。分析了国内外军事相关领域可信软件的发展现状,指出了当前我军军用软件研发模式中的不足并阐述了开展军用可信软件研究的意义及其发展方向。
军用可信软件现状及发展研究
【摘 要】
：
随着计算机技术在军事领域的广泛应用,军用软件的可信性越来越引人关注。在总结了学术界对可信与可信性定义的基础上,给出了军用可信软件和军用软件可信性的定义。分析了国内
【机 构】
：
解放军理工大学指挥信息系统学院,全军军事训练软件测评中心
【出 处】
：
军事运筹与系统工程
【发表日期】
：
2012年4期
【基金项目】
：
国家高技术研究发展计划（2009AA012402）,中国博士后科学基金资助项目（20110491843）,江苏省自然科学基金项目（BK2012059,BK2012060）
其他文献
本文从数字图像的灰度及其边缘的距离特征 ,对数字图像的特征提取进行了分析和探讨 ,并绘出了基于十字链表这种数据结构的编程实现方案
超宽带(Ultra Wideband,UWB)技术是一种利用纳秒(ns)级极窄脉冲发送信息的技术.在针对已有UWB窄脉冲产生方法缺陷的基础上,分析了一种基于雪崩效应理论的超宽带纳秒(ns)级窄
建立高度统一、反应灵敏的战略预警系统,是有效对付各种飞机、导弹和航天兵器袭击的首要环节.战略预警系统是国家防御体系的重要组成部分,是防备突然袭击的手段之一,对国家安
体系结构的建立是C3I系统工程的重要组成部分,面向对象是C3I系统体系结构开发的最有前途的方法之一.在对C3I系统的体系结构和统一建模语言(UML)进行研究的基础上,本文着重论
独立学院作为一个新兴的办学群体，是我国高等教育改革和发展的创新型产物，教学管理与教材建设是其做好教育改革、提高教学质量的关键。从学校教材管理工作的实际情况出发，思考如
本文突破了以往以确定性模型研究兵力部署问题的限制,将数学规划与概率结合,以防空战略作战的兵力部署为背景,建立了基于概率度量的兵力部署问题的一系列数学模型,并指出了一