论文部分内容阅读
软件的安全性和可靠性对于军用软件是至关重要的,而软件的开发模式对软件的安全性影响很大,通过阐述了基于模型的开发技术,并在型号软件建模中进行了应用。结果证明,软件的安全性和可靠性得到了较大提高。
基于模型的软件开发技术在型号软件研制中的应用
【摘 要】
：
软件的安全性和可靠性对于军用软件是至关重要的,而软件的开发模式对软件的安全性影响很大,通过阐述了基于模型的开发技术,并在型号软件建模中进行了应用。结果证明,软件的安
【机 构】
：
中国空空导弹研究院
【出 处】
：
科学技术与工程
【发表日期】
：
2008年15期
其他文献
据悉，全国有8个省市提出县域突破，吉林省是最早提出的省份，一些发达地区还是跟我们学的。可是从现状看，我省落后就落后在县域经济上了。近日，省委、省政府下发《关于加快推进县域
在部件的寿命和修理设备的寿命均服从指数分布，部件的修理时间，修理工在系统外工作时间和修理设备的更换时间均服从一般连续型分布的假设下，研究了考虑修理设备和修理工状态的串
针对某些具有可能故障先验知识的非线性系统,基于RBF网络对系统正常及各种先验故障情形建模,并离线整定出各种故障模式下的控制律,由此建立模型库,进而构建基于多模型切换的
第1卷（选择题共70分）一、选择题（共70分） （一）单项选择题（本大题共20小题，每小题2分，共40分。在每小题给出的四个选项中，只有一项符合题目的要求。） 读“我国沿北纬30°地理参数随经
自国家发展和改革委、国家人口计生委实施计划生育流动服务车项目以来，吉林省先后有57个县（市、区）配备了58台服务车。同时，经吉林省人民政府同意，吉林省发改委和省人口计生委共同
观察手法配合针灸治疗椎动脉型颈椎病的临床疗效，并对其作用机理进行探讨。将90例患者随机分为手法组（A组）和牵引组（B组）进行治疗，每组45例。治疗前后两组结合疗效评定标准进行疗效
“直线和圆”是解析几何的起始篇，其中直线的倾斜角和斜率、直线方程、两点间距离、两直线的平行与垂直、对称、轨迹、圆的方程等知识，构成了解析几何的基础．由于引进了坐标系，架