论文部分内容阅读
软件的安全性和可靠性对于军用软件是至关重要的,而软件的开发模式对软件的安全性影响很大,通过阐述了基于模型的开发技术,并在型号软件建模中进行了应用。结果证明,软件的安全性和可靠性得到了较大提高。
基于模型的软件开发技术在型号软件研制中的应用
【摘 要】
：
软件的安全性和可靠性对于军用软件是至关重要的,而软件的开发模式对软件的安全性影响很大,通过阐述了基于模型的开发技术,并在型号软件建模中进行了应用。结果证明,软件的安
【机 构】
：
中国空空导弹研究院
【出 处】
：
科学技术与工程
【发表日期】
：
2008年15期
其他文献
在部件的寿命和修理设备的寿命均服从指数分布，部件的修理时间，修理工在系统外工作时间和修理设备的更换时间均服从一般连续型分布的假设下，研究了考虑修理设备和修理工状态的串
针对某些具有可能故障先验知识的非线性系统,基于RBF网络对系统正常及各种先验故障情形建模,并离线整定出各种故障模式下的控制律,由此建立模型库,进而构建基于多模型切换的
观察手法配合针灸治疗椎动脉型颈椎病的临床疗效，并对其作用机理进行探讨。将90例患者随机分为手法组（A组）和牵引组（B组）进行治疗，每组45例。治疗前后两组结合疗效评定标准进行疗效