论文部分内容阅读
针对解决高可靠计算机系统所需要的N版本编程技术,本文提出了对其可靠性进行分析和评估的基本方法.还特别针对使用了N版本编程技术而残存的共性故障进行了详细的分析,对一般的工程实践具有理论指导意义.
N版本编程技术的软件可靠性分析
【摘 要】
：
针对解决高可靠计算机系统所需要的N版本编程技术,本文提出了对其可靠性进行分析和评估的基本方法.还特别针对使用了N版本编程技术而残存的共性故障进行了详细的分析,对一般
【机 构】
：
西北工业大学计算机工程系西安710072
【出 处】
：
微电子学与计算机
【发表日期】
：
2003年5期
【基金项目】
：
“八五“科工委预研基金资助项目(713.1.4);“九五“总装备部预研基金资助项目(16.2.5)
其他文献
中小企业是一个国家市场中最为活跃的元素,各国都十分重视对中小企业培养,积极寻求各种途径来改善中小企业的融资环境,通过对域外先进经验的研究和借鉴,对于解决我国当前中小
在跨境股票融资监管中，各国根据本国国情对境外企业在本国范围内的会计准则适用基本形成了单一模式与选择模式等多种适用模式组合。在我国“国际板”市场建设初期，也应通过许可
为了探讨“脾主肌肉”的机理，利用脾气虚的模型动物，测定肌肉、血液中与肌肉能量代谢物质代谢有关酶活性的变化，从这些指标的变化来了解脾与肌肉的关系。脾气虚模型动物制作是依
随着我国乡村建设的稳步推进,公众参与已成为村庄规划中的重要内容,是规划程序及村民自治的体现。在梳理现行村庄规划特点以及规划决策、规划编制、规划实施全过程中村民参与
绍兴七年(1137)二月,宋高宗自平江(今苏州)移跸建康(今南京),召岳飞入觐,从而有了传于后世的君臣论对——《良马对》。通过分析《良马对》,着重探讨了二人在绍兴七年关系的转
对手机应用软件用户个人信息保护检测工作的基本情况,以及用户个人信息保护重点问题进行了介绍和分析;在此基础上,提出了我国推进手机应用软件用户个人信息保护工作的指导性
目的探讨白求芍药散联合传统方法治疗溃疡性结肠炎的效果。方法治疗组（42例）给予思密达3．0g＋SASP1．0g，1日4次，加中药辨证：对照组口服思密达3．0g＋SASP1．0g。1日4次。治疗4～8周后评价疗效。
就如何进行特色产品品牌推广渠道对接,增强区域综合竞争力和消费下行,达到精准营销和快速裂变等与大家作了分享。乡村振兴蛋禽农产品新零售模式,包括市场痛点、模式背景、品