论文部分内容阅读
应用双模型混合Petri网描述与分析容错计算机系统.在分析容错系统的可靠性时,把复杂的混合Petri网模型简化为GSPN模型,并利用GSPN与马尔可夫链同构的性质,来计算系统的可靠性.
基于Petri网的容错计算机可靠性
【摘 要】
：
应用双模型混合Petri网描述与分析容错计算机系统.在分析容错系统的可靠性时,把复杂的混合Petri网模型简化为GSPN模型,并利用GSPN与马尔可夫链同构的性质,来计算系统的可靠性
【机 构】
：
北京航空航天大学自动化科学与电气工程学院
【出 处】
：
计算机工程
【发表日期】
：
2005年24期
其他文献
本论文的主要工作是在系统阐述核心劳工标准之争及其对我国启示的基础上,将核心劳工标准与我国的相关劳工标准加以比较,发现两者差距,进而提出对我国劳动立法的修改建议。在
在多模式集中办刊和融媒发展的背景下,资源环境科技期刊集群的出版功能和知识服务体系构建正处于积极拓展的阶段。本文从出版、运营、服务和宣传等角度提出了刊群体系融合和
收集分析了浙江省6a的火情监测与记录,及相应的环境林分信息,如坡度、树种、龄级、郁闭度、林地权属,整理分析了火、植被以及人为环境梯度间的关系。结果发现,浙江省火损失的
利用Flankling荧光染色和石蜡切片技术观察了同源四倍体和二倍体结球甘蓝的授粉受精及胚胎发育过程，探讨了同源四倍体结籽率降低的原因。结果表明：四倍体结球甘蓝自交授粉后部
斑节对虾具有活力强、耐干露的特点,适于鲜活上市,售价高,故而养殖的经济效益也比较高。现将近几年来本地斑节对虾养殖的主要技术措施介绍如下。1放苗前的准备工作1.1虾池修
词曲递变是在宋金对峙时期在南、北两个路向上多元发生的。作为独立文体的诸宫调在北方路向上词(金词)向曲(清唱的散曲)的嬗变过程中担当重要角色。通过对诸宫调曲调与金词词
现代西方哲学是语言哲学的时代,哲学从不同层面、不同角度转向了对语言的研究和关注。语言问题成为哲学的中心问题,语言哲学成为第一哲学。费尔迪南·德·索绪尔(Ferdinand d
比例原则作为一个法律原则的概念产生于19 世纪的德国,但是其得以存在发展的基础——合比例性思想,却历史悠久,普见于世界各国。应该说,比例原则是法治国家下的一个产物,是从
关于不能犯的性质及如何判断其是否具有可罚性的问题,国内外刑法理论界存有不同的观点。本文在讨论分析我国犯罪本质即社会危害性理论的前提下,对不能犯的性质进行了认定,认