论文部分内容阅读
为提高装备保障决策支持系统的整体质量，将形式化方法应用于系统设计和组件开发，特别是关键算法的设计和实现，从而大幅提高了软件的可靠性、可复用性，以及问题求解的效率，有助于装备保障整体效能的提升。
形式化方法在装备保障决策支持系统中的应用
【摘 要】
：
为提高装备保障决策支持系统的整体质量，将形式化方法应用于系统设计和组件开发，特别是关键算法的设计和实现，从而大幅提高了软件的可靠性、可复用性，以及问题求解的效率，有助于装
【机 构】
：
装甲兵工程学院; 工程装备系统工程研究所; 装甲兵工程学院 北京 100072 武器装备论证研究中心; 北京 100034; 北京 100093; 北
【出 处】
：
装甲兵工程学院学报
【发表日期】
：
2005年04期
其他文献
分析了由云斑尖塘鳢(Oxyeleotris marmoratus)、线纹尖塘鳢(Oxyeleotris lineolatus)、云斑尖塘鳢(♀)×线纹尖塘鳢(♂)的杂交子一代3个实验组鱼的生长性状以及杂交子代的杂
大学生是民族的希望、祖国的未来,高校思想政治理论课是对大学生进行思想政治教育的主渠道,帮助大学生树立正确的世界观、人生观、价值观是高校思想政治理论课教学的重要使命
虾青素是一种在食品、医药和化妆品等领域有广阔的应用前景的高附加值产品,红法夫酵母是天然可产虾青素的主要微生物之一。主要概述了国内外在高产菌株育种及生产工艺优化方
对凡纳滨对虾(Litopenaeus vannamei)与点带石斑鱼(Epinephelus malabaricus)进行90 d的混养试验,研究点带石斑鱼混养密度、规格对凡纳滨对虾生长、成活率和产量的影响。结果
在黑暗条件下对全缘马尾藻(Sargassum integerrimum)幼孢子分别进行0.5、1、2、4 h干出处理,研究干出处理对幼孢子体生长、幼孢子体体内叶绿素a、叶绿素c、类胡萝卜素、脯氨
为研究大学生宿舍人际关系现状,采用自编问卷对大学生进行调查。结果表明:有近70%的被调查学生一天中有60%以上的空闲时间是在宿舍中度过的;超过60%的学生经常一起活动,也有7
<正>新华网2月11日报道:福州市鼓楼区科学艺术宫2012年安排了多达80个课外辅导班的课程。当前课外辅导班不仅名目繁多,价格不菲,而且许多辅导班授课老师都是兼职课外教"私活"
鉴于整体式闸首底板在顺水流方向易出现裂缝,严重危害船闸的使用安全。本文提出的设置施工宽缝的施工方案可以有效改善整体式闸首底板开裂问题。首先运用ANSYS软件建立模型,
<正> 面肩肱型肌营养不良症(Facioscapulohumeral muscular dystrophy,FSHD)是常见的常染色体显性遗传肌病。表现为进行性面肌、肩胛带肌及上肢肌群的萎缩和肌无力。其基因被
会议
Effects of Ti-Ce refiners on the solidification structure and the hot ductility of Fe-36Ni invar alloy were investigated,the corresponding mechanisms were also