论文部分内容阅读
可信软件是近年来软件工程领域研究的热点，装备软件可信性的研究有助于提升我国国防武器装备的作战效能。首先分析了进行装备软件可信相关研究的必要性；然后阐述可信软件技术的研究现状，主要包括软件可信度量和评估、可信软件的构造与验证、可信软件的演化与控制等三个方面；最后分析了研究可信装备软件面临的挑战。
可信软件研究
【摘 要】
：
可信软件是近年来软件工程领域研究的热点，装备软件可信性的研究有助于提升我国国防武器装备的作战效能。首先分析了进行装备软件可信相关研究的必要性；然后阐述可信软件技术的
【机 构】
：
江苏自动化研究所
【出 处】
：
指挥控制与仿真
【发表日期】
：
2013年4期
【基金项目】
：
总装备部“十二五”基金项目
其他文献
阐述了彭阳县王洼林场资源概况，总结了该林场棚户区改造工程规划的具体内容，并分析了工程的投资概算及效益，提出了工程项目管理办法，认为该工程具有可行性，可以立项实施。
爱密挺与华辉氨基酸水溶肥料在黄瓜上配施田间肥效研究结果表明,在黄瓜苗期和初花期喷施爱密挺2次,增产效果明显（6 041.7 kg/hm2）;产投比为12.4;在黄瓜苗期喷施爱密挺1次,初花
8月3日16时30分，云南昭通鲁甸县发生6.5级地震，震源深度12千米，余震共计发生1335次。截止目前，地震共造成617人死亡。此次地震造成严重人员、财产损失，据不完全统计，8.03地震共造成
采用土培试验研究了不同浓度的Cu（0mg／kg、50mg／kg、100mg／kg、200mg／kg和300mg／kg）对紫荆（Cercis chinensis Bunee）气体交换系统、叶绿素荧光和生物量分配格局的影响。结果表明，Cu对紫
人类还挺喜欢住在一块儿的。能在生活中互相照应当然是件好事，可是，假如你必须跟一大群人共用一个卫生间，而且没有完全属于自己的小床……天啊，这样的生活简直是噩梦!
盾构始发段施工作业是盾构施工中最容易产生事故的工序,直接关系到盾构隧道能否顺利贯通。武汉地铁6号线琴台站~武胜路站区间工程采用泥水平衡盾构施工,盾构直径6.5 m,已成功
现代海战中,空中来袭平台可以通过多种手段发现、打击目标,并具有高度的机动性。因此,防空作战过程中,根据战场态势信息,建立基于熵权-灰关联方法的目标威胁评估模型评估空中
6月6日。世界最大的平头塔机STT3330在抚顺永茂成功下线，目前正在场内做型式试验。永茂建机经营公司总经理、高级工程师史勇先生介绍道，“永茂建机STT3330．160t平头塔机是目前世
于9月12日在北京举行的第39届国际标准化组织（ISO）大会开幕式上,国家主席习近平发来贺信,向大会表示热烈祝贺。习近平在贺信中指出,标准是人类文明进步的成果。伴随着经济全球