论文部分内容阅读
阐述了软件失效安全性的基本概念,基本研究内容,以及基本方法和技术,从而确定软件失效安全性需求,分析和度量软件的失效安全性。
软件失效安全性 一
【摘 要】
：
阐述了软件失效安全性的基本概念,基本研究内容,以及基本方法和技术,从而确定软件失效安全性需求,分析和度量软件的失效安全性。
【机 构】
：
北京计算机应用与仿真技术研究所,北京计算机应用与仿真技术研究所
【出 处】
：
质量与可靠性
【发表日期】
：
1993年2期
其他文献
1995年某战略导弹三发试飞三发成功,发发准确击中目标,人们喜称“三连冠”。亚星二号和回声一号连续发射成功,卫星准确入轨,人们喜称“双星高照”。上述型号都采用了内蒙基地
提取菜心（Brassica campestris L．ssp．chinensis（L．）Makino vat．utillis Tsen et Lee）和生菜（Lactuca sativa L．）绿叶粗蛋白，经SDS-变性后作醋酸纤维素薄膜电泳，证实这两种蔬菜含有分别向
以自育的3个烤烟（Nicotiana tabacum L．）胞质雄性不育系和4个国内推广烤烟品种为材料，配成12个杂种，研究烤烟6个经济性状（产量、产值、均价、上等烟比例、上中等烟比例和级指）的杂种
我们的很多读者都是疯狂的Q宠迷。不过宠归宠，如果矫枉过正，我们的Q宠可受不了哟！所以我们约请从Q宏内测起就一直玩到现在。大号小号的Q宠多达上百只，有Q宠爸爸之称的程晔扬写来
报道了越南木兰科1新记录种Michelia mannii King,原记载分布于印度。该种产自越南北部的Cuc Phuong国家公园的原生石灰岩森林和越南南部的Lam Dong省的Langbiang地区。凭证
用氧弹热值仪测定了生长在硫和氟复合污染环境和相对洁净环境下的9种木本植物幼苗叶片热值.结果表明,植物叶片的基础干重热值、灰分含量因种类不同而有差异,其中热值较高的(
介绍了7105厂在某航天型号产品生产检验中采用的“3351”管理法,即:强化“三个制约”、抓住“三个关键”、实施“五个归零”、不放过“一个隐患”的闭环目标管理法则。
利用指数型随机粗糙面模拟实际的粗糙地面，运用时域有限差分法研究了微分高斯脉冲波照射时粗糙地面的宽带电磁散射问题，得出了后向散射系数的频率响应曲线，计算了后向散射系数随