【摘 要】
：
目前,在对于计算机硬件系统相关的动态特征描述上,难以用传统方式进行描述,例如故障树、可靠性框图、事件树等.对于计算机的可靠性分析,要研究出新的方法,需从硬件系统动态特
论文部分内容阅读
目前,在对于计算机硬件系统相关的动态特征描述上,难以用传统方式进行描述,例如故障树、可靠性框图、事件树等.对于计算机的可靠性分析,要研究出新的方法,需从硬件系统动态特征入手.基于此,提出一种以数学为工具的计算机硬件系统的可靠性和分析方法,以GSPN为基础.并建构了用于描述结构关系复杂的计算机硬件系统,可解决建立模型力度过渡精细时造成的组合爆炸问题.笔者精细化了该计算机硬件系统基本单元GSPN的模型,可以有效的描述结构复杂的计算机硬件系统,并且在实验中验证了其有效性,并且提供了理论指导.
其他文献
目的：利用毕赤酵母表达系统表达Calreticulin-N58蛋白。方法：利用重叠延伸PCR方法合成Calreticulin-N58基因，构建成分泌型的重组表达载体pPIC9K-CRT-N58。该重组表达载体经SacI
【正】 “啊!富士山”——目本国到了。飞机从上海虹桥机场起飞的时候,天阴沉沉地。飞机正在爬高。我从舷窗向外眺望,大上海在机翼下一掠而过。遥见长江入海处,江水分流,中间
目的：针对单波长法在测定己糖和戊糖的混合体系中戊糖含量时出现较大的误差,提出了等吸收双波长法测定二元混合体系中戊糖的含量。方法：通过对己糖（葡萄糖）和戊糖（木糖）的不同含量（5
美国麻省理工学院的研究人员与一家名为24M的衍生公司合作，开发出一种制造锂离子电池的先进工艺，不仅有望显著降低生产成本，还能提高电池性能，使其更易于回收。
以草酸亚铁为铁源,磷酸二氢锂为锂源,以葡萄糖为第一相碳源,乙炔黑为第二相碳源,两步高温固相法合成碳包覆磷酸铁锂（LiFePO4/C）正极材料,采用X射线衍射（XRD）、扫描电子显微镜（SEM）
目的：筛选产脂肪酶嗜碱细菌,并研究其酶学性质。方法：以豆油为唯一碳源的固体平板筛选产酶菌株,16S rDNA同源性分析确定微生物菌属,单因素实验优化产酶条件、研究酶学性质。结
通过溶胶-凝胶法合成正极材料LiNi0.5Mn0.5O2,为了提高材料LiNi0.5Mn0.5O2的高倍率放电性能,采用Mg进行掺杂。通过X射线衍射(XRD),扫描电镜(SEM),恒电流充放电对材料的结构和
目的：获得不包含C末端跨膜区的HCV包膜糖蛋白E2蛋白（E2 661）编码基因,构建酵母双杂交诱饵载体,并检测对报告基因的激活作用。方法：PCR扩增HCV E2661 cDNA片段,先克隆入pMD-18T载
涉检舆情专指以检察机关为对象，在媒体聚集、传播，并可能对检察机关的工作和形象产生影响的舆论，多为负面影响。在人人都有麦克风的网络信息时代，如何妥善处理和应对涉检舆情。是
[案情]温某为了取得某品牌白酒的代理权，需要注册成立一家注册资本不低于500万元的贸易公司，但温某自己没有资金出资。2012年5月1日，温某找到其朋友温某某借款500万元，借款理由是成立公司需要注册资金，公司注册后马上还钱。5月2日，温某某将500万元借给了温某，温某将钱分成了三部分：温某账上留了400万元，其妻子账上50万元，其弟媳账上50万元。5月4日，温某三人把各自账上的钱转入新注册公司的临