【摘 要】
：
无论是可靠性工程还是软件可靠性中的可靠性模型，都难以描述硬件故障在程序中的传播问题．首先建立了计算数据流模型，并以无穷存储机器的指令集为例，说明可以为任意程序建立计算数
【基金项目】
：
SupportedbytheNationalNaturalScienceFoundationofChina,theNationalScienceFundforDistinguishedYoungScholarsofChinaunderGrantNo.60621003(国家自然科学基金创新研究群体)
论文部分内容阅读
无论是可靠性工程还是软件可靠性中的可靠性模型，都难以描述硬件故障在程序中的传播问题．首先建立了计算数据流模型，并以无穷存储机器的指令集为例，说明可以为任意程序建立计算数据流图．在计算数据流模型的基础上，进一步建立了错误流模型．把计算过程中的错误分成物理错误和传播错误两种，通过分析这两种错误的本质和传播规律，给出了6条有关错误传播的规则和2条独立定律．根据这些规则和定律，能够计算出在程序运行过程中，任意时刻在任意位置上出现错误的概率．最后以一个简单的无穷存储机器程序为例，简要地展示了错误流模型描述硬件故障在
其他文献
一、韩国独立电影的危机 近十年，韩国电影产业在观影人次、本土电影市场占比、人均观影频次、国际电影节获奖等方面都实现巨大飞跃，韩国电影史不断被改写。具体来看，2012年韩国本土电影年度观影总人次突破1亿，2013年包括外国电影在内的年度观影总人次突破2亿。2018年，韩国人均观影频次4.18次，超过美国的3.7次，位列世界第二。同时，在与好莱坞大片的艰难对垒中，2018年观看本土电影的观众占比达到
建立了离子色谱法测定爆炸残留物中 F–,Cl–,NO2–, SO42–,Br–,NO3–, PO43– 7 种阴离子的方法.采用抑制电导检测器, 以 DIONEX IonPac？AS11–HC 型阴离子交换柱为分离柱,
编辑同志：我与前妻李某于2004年协议离婚，离婚协议中约定：儿子随李某共同生活：将共同所有的3万元存款留给正在上高中三年级的儿子（当时刚满17周岁）．作为他以后上大学的费用。并约定
采用AC-20级配和马歇尔设计方法开展乳化沥青混合料组成设计研究.对比了不同的设计方法,研究了马歇尔击实次数、养生温度和时间对乳化沥青混合料体积参数和性能的影响,为乳化
介绍了高温性能试验的各种方法，分析了车辙试验评价指标的优劣，认为现有评价指标（动稳定度、绝对变形量、相对变形率等）是由实测值得到，具有不稳定性。经验永久变形模型和实测变形
阴茎是男性的主要生殖器官,它由三根圆柱形的海绵体组成,其中两根位于阴茎的背侧,组成阴茎的大部分,称为阴茎海绵体;另一根位于这两根的下方,即阴茎的腹侧,尿道从其中心部位
通过对旧水泥混凝土路面板块再生集料的性能分析,获取再生集料稳定碎石基层的性能.并通过试验路段的铺筑,得到再生集料加工工艺及控制方法.
近日,广西崇左至靖西高速公路开工。广西崇左至靖西高速公路主线全长147 km,主要经过崇左江州区、大新县、天等县、百色靖西县。工程采用双向四车道高速公路建设标准修建,路
毕摩在彝族人们的心中是德高望重的,生活中彝族人们往往离不开毕摩为他们排忧解难,本文所记述的是彝族地区经常做的活动毕模摩文化对当代教育的影响。
Bimo is highly respe
以儿童和少年为受众主体的电视动画,承载着比其他节目类型更多也更重要的社会责任。在电视动画中,英雄形象是重要的人物形象,是有别于真人电视节目的艺术形象。英雄形象塑造