【摘 要】
：
本文将高可信计算机系统的开发过程划分为需求、设计、实现和集成四个阶段，分别介绍各阶段中与可信性有关的任务及可信性评价技术的应用。
This paper divides the developme
论文部分内容阅读
本文将高可信计算机系统的开发过程划分为需求、设计、实现和集成四个阶段，分别介绍各阶段中与可信性有关的任务及可信性评价技术的应用。
This paper divides the development process of high-credible computer system into four phases: requirements, design, implementation and integration, and introduces the application of credible-related tasks and credible evaluation technologies in each stage.
其他文献
用液相外延(LPE)法生长了单层、双层和三层结构的外延层。在1(1/2)吋长的片子上生长的外延层有可控性好、厚度均匀以及表面好等特征。多层结构中的每层生长厚度为0.3～30微米。
AIM: To study the relationship between nm23H1 gene genetic instability and its clinical pathological characteristics in Chinese digestive system cancer patients
最近,中郡县域经济研究所公布了第八届全国县域经济竞争力百强县名单。相对于原由国家统计局农调总队评价公布的全国百强县,这次的评比属于“民间版”(去年底,国家统计局暂停
广东“大参林”连锁药店有限公司拥有遍布广东、广西、福建三省300多间旗舰店,以价廉、质优、便民著称,被群众誉为“连心店”。人们说起这个
Guangdong “Daxinlin ” Chai
介绍了Ａ／Ｄ转换器的基本原理和关键参数，比较了几种典型的数字无线电及软件无线电应用背景下的Ａ／Ｄ转换器的性能，并且以ＡＤ６６４０为例，介绍了宽带、高速Ａ／Ｄ转换器在软件ＰＣＳ蜂窝基站接收机中的应用。
Th
《俚言解》作为明清俗语辞书中之一种,其语料在辞书编纂的多个方面有参考价值;当然它的语料问题也较多,我们在利用明清俗语辞书时要特别注意。
As one kind of idioms in th
挥杆姿势古怪、在球场上妙语连珠,这就是出身寒微却总能给人带来欢乐的李·特维诺。但在这些公众形象背后,他是个更为复杂的人,一个嗜酒而不喜交际的独行侠。
Wiggly swing
试验在盆栽条件下进行，研究表明，低硫（＜９４μｇＳ／ｇ）处理促进烟株中氮含量的提高，而高硫（＞９４μｇＳ／ｇ）降低烟株氮含量。烟株氮含量随硒用量的增加呈现先降低后上升趋势。低硒（４．９４μｇＳｅ／ｇ）低硫（＜９４μｇＳ／ｇ）或高硒（９．８８μｇＳｅ／ｇ）高硫（＞９４μｇＳ／ｇ）处理
李素萍(LI Su-ping),1964年1月生,内蒙古巴彦淖尔市乌拉特中旗人,现任内蒙古农牧业科学院作物研究所研究员,硕士。1986年毕业于中国农业大学农学与生物技术学院(原北京农业大