切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
军用可信软件现状及发展研究
军用可信软件现状及发展研究
来源 :军事运筹与系统工程 | 被引量 : 0次 | 上传用户:daocaoren666666
【摘 要】
:
随着计算机技术在军事领域的广泛应用,军用软件的可信性越来越引人关注。在总结了学术界对可信与可信性定义的基础上,给出了军用可信软件和军用软件可信性的定义。分析了国内
【作 者】
:
郑长友
刘晓明
【机 构】
:
解放军理工大学指挥信息系统学院,全军军事训练软件测评中心
【出 处】
:
军事运筹与系统工程
【发表日期】
:
2012年4期
【关键词】
:
军用软件
可信计算
可信软件
软件可信性
【基金项目】
:
国家高技术研究发展计划(2009AA012402),中国博士后科学基金资助项目(20110491843),江苏省自然科学基金项目(BK2012059,BK2012060)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着计算机技术在军事领域的广泛应用,军用软件的可信性越来越引人关注。在总结了学术界对可信与可信性定义的基础上,给出了军用可信软件和军用软件可信性的定义。分析了国内外军事相关领域可信软件的发展现状,指出了当前我军军用软件研发模式中的不足并阐述了开展军用可信软件研究的意义及其发展方向。
其他文献
钢管高强混凝土柱的力学性能——Ⅱ.长柱和偏压柱的力学性能
报导了钢管高强混凝土长柱和偏压柱力学性能试验的结果.研究表明,钢管高强混凝土长柱的承载能力和极限变形率随长细比Le/D的增大而下降.钢管高强混凝土偏压柱在相同的长细比
期刊
长柱
偏压柱
承载能力
高强混凝土
columns
load bearing capacity
deflection
high strength co
一种基于距离和灰度的特征提取及其十字链表法的编程实现
本文从数字图像的灰度及其边缘的距离特征 ,对数字图像的特征提取进行了分析和探讨 ,并绘出了基于十字链表这种数据结构的编程实现方案
期刊
数字图像
特征提取
灰度
十字链表
数据结构
digital image
character extraction
gray-level
cross-linke
基于雪崩效应的UWB窄脉冲产生方法
超宽带(Ultra Wideband,UWB)技术是一种利用纳秒(ns)级极窄脉冲发送信息的技术.在针对已有UWB窄脉冲产生方法缺陷的基础上,分析了一种基于雪崩效应理论的超宽带纳秒(ns)级窄
期刊
UWB
窄脉冲
雪崩效应
超宽带
纳秒
电路原理图
信号分析
发送
逻辑框图
测试结果
UWB technology
UWB wireless communi
战略预警系统中目标首次发现融合检测仿真比较研究
建立高度统一、反应灵敏的战略预警系统,是有效对付各种飞机、导弹和航天兵器袭击的首要环节.战略预警系统是国家防御体系的重要组成部分,是防备突然袭击的手段之一,对国家安
期刊
战略预警系统
信息融合
数学模型
计算机仿真
基于DVB—S的IP数据业务的实现机制研究
对如何通过卫星数字视频广播实现Internet业务进行了剖析,并对UDP OVER DVB和TCPOVER DVB的实现机制分别进行了研究和讨论.
期刊
卫星数字视频广播
INTERNET
IP数据业务
UDP-OVER-DVB
TCP-OVER-DVB
实现机制
DVB-S
多协议封装
Digital Vide
低g值硅压阻式加速度传感器的设计与分析
本文介绍一种低g值双悬臂梁式硅压阻式加速度传感器新结构,通过理论分析与计算说明该结构的硅压阻式加速度传感器具有良好的输出性能。
期刊
加速度传感器
压阻式传感器
硅
低g值
Sensor
Accelerometer
Piezoresistive sensor
CaO—SiO2—MgO—H2O体系的热力学研究
本文研究了CaO-SiO2-MgO-H2O体系的热力学,结果表明:SiO2 优先与CaO水热形成水化硅酸钙,多余的SiO2 才会与MgO直接水热形成水化硅酸镁。当没有SiO2 时,MgO才会水化形成Mg(OH)2。
期刊
CaO-SiO2-MgO
水热反应
热力学
冶金渣
CaOSiO_2MgOH_2O
hydrothermal reaction
thermodynamics
基于UML的C3I系统的体系结构开发方法
体系结构的建立是C3I系统工程的重要组成部分,面向对象是C3I系统体系结构开发的最有前途的方法之一.在对C3I系统的体系结构和统一建模语言(UML)进行研究的基础上,本文着重论
期刊
指挥控制通信情报系统
体系结构
统一建模语言
浅谈独立学院教材管理优化策略——以集美大学诚毅学院为例
独立学院作为一个新兴的办学群体,是我国高等教育改革和发展的创新型产物,教学管理与教材建设是其做好教育改革、提高教学质量的关键。从学校教材管理工作的实际情况出发,思考如
期刊
独立学院
教材管理
改进策略
基于概率度量的兵力部署理论
本文突破了以往以确定性模型研究兵力部署问题的限制,将数学规划与概率结合,以防空战略作战的兵力部署为背景,建立了基于概率度量的兵力部署问题的一系列数学模型,并指出了一
期刊
兵力部署
数学规划
防空作战
与本文相关的学术论文