【摘 要】
：
随着军用计算机技术的不断发展，软件在军用设备中的地位越来越重要。软件规模日益增大，安全性、可靠性等问题日益凸显。充分研究可信软件的特性，对提高我国军用装备技术水平意义
【机 构】
：
海军装备部,中国航空计算技术研究所
【基金项目】
：
航空科学基金项目资助(20120329192041)
论文部分内容阅读
随着军用计算机技术的不断发展，软件在军用设备中的地位越来越重要。软件规模日益增大，安全性、可靠性等问题日益凸显。充分研究可信软件的特性，对提高我国军用装备技术水平意义重大。在总结学术界对可信软件定义的基础上，结合实际的军事嵌入式应用阐述了软件可信性特点。分析了国内外军用领域软件可信性的发展现状，总结了软件可信性的评估方法。
其他文献
基于高分辨率卫星影像解译,通过野外地质地貌填图与差分GPS测量,初步获得了帕米尔高原1895年塔什库尔干地震地表破裂带的空间展布、破裂类型、位移及分布等基本参数,据此估算
行走在大街上,你有没有被别人的穿着而吸引过,绝大多数人的回答是肯定的。但你有没有想过,它的吸引点到底在哪里?是面料的质感,色彩的搭配,还是整体的设计风格,回答各异。那
目的:探讨不同药物治疗方案对同一种疾病产生的经济效果。方法:运用药物经济学成本-效果分析方法对我院146例肾移植患者,分别采用硫唑嘌呤组和霉酚酸酯组预防肾移植术后早期
<正>功能性消化不良(Functional dyspepsia,FD)是一种常见病,多发病,以上腹部烧灼感、上腹部疼痛,餐后饱胀和早饱为主要症状而无法用器质性病变及生化异常解释的消化功能异常
龙江医派地处北疆,在长期的行医救治中尊崇经典,融会新知,总结了一系列专科专病专方的治疗经验,在内、外、妇、儿等方向均总结了效如响应的方药,以期服务临床,造福百姓。
<正>在购物中心饱受"同质化"诟病之时,大家都在奋力突围,寻求差异化的基因,主题化方向发展成为探索的方向之一。从目前国外购物中心运营的案例来看,可以说主题化符合市场规律
目的探讨推拿结合深刺腘肌治疗髌股综合征的效果。方法选取2018年1~6月就诊于长春中医药大学附属第三临床医院软伤推拿科的髌股综合征患者64例,按随机数字表法分为治疗组和对
新的地基设计理论提出了依据基底荷载与沉降的p–s曲线,按照强度和变形双控的原则进行基础设计,但不同的基础尺寸其对应的p–s曲线也是不同的,如何依据基底荷载与沉降的p–s
大庆长垣油田三元复合驱三次采油自2007年工业化推广以来,应用规模不断扩大,由于三元体系的特殊性,暴露出许多需要解决的技术问题,原有的水、聚驱配套采油工程技术不能满足三
<正>"随着人们对现代时尚的要求,拼接元素渐渐变得不可或缺,这种艺术手法蕴藏在人们的审美中。这是因为拼接艺术既能展现古典的唯美主义情调,也能满足现代时尚等多方面需求,