【摘 要】
：
针对构件化软件系统本身的复杂性和早期可靠性评估存在的＂贫信息、少数据＂的问题,提出了一种灰色随机Petri网（GrSPN）模型。该模型在随机Petri网的变迁速率中引入灰数,首先结合系
【基金项目】
：
国家自然科学基金资助项目（60774029）
论文部分内容阅读
针对构件化软件系统本身的复杂性和早期可靠性评估存在的＂贫信息、少数据＂的问题,提出了一种灰色随机Petri网（GrSPN）模型。该模型在随机Petri网的变迁速率中引入灰数,首先结合系统GrSPN模型的可达树确定系统的状态标识集及其子集,然后将得到的GrSPN转化为与其同构的连续时间马尔可夫链（MC）。通过对MC的平稳状态分布对软件系统可靠性进行分析,得到用灰数表示的稳态概率,然后根据白化权函数对结果进行白化,得到软件系统每个可达状态标识下的稳态概率,进而求得系统可靠度。最后,结合某构件化软件可靠性早期评
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
提出了一种用于雷达目标跟踪的自适应广义调频波形设计算法。该算法根据跟踪器的动态需求,以广义调频信号为样板波形自适应设计下一时刻的发射波形,其目的是使预测的目标跟踪
全面预算管理是提升企业经营管理水平、提高管理效率、实现企业内部资源合理配置的现代企业管理模式,有助于提高企业管理水平和竞争力,保障企业发展战略的实现。
我国医疗卫生水平的提升以及卫生体制创新、改革,在很大程度上增加妇幼保健院财务工作内容,增加财务工作压力,使得财务人员必须要在现有的环境下提升自身的专业能力和职业素
在拖曳水池及大型循环水槽中,分别开展了中尺度及大尺度回转体模型喷气减阻试验研究,初步探讨了喷气方式、气流量、喷孔尺度变化对减阻率、推进性能及辐射噪声的影响规律。结
目的：观察退热贴治疗肝源性发热的临床效果。方法：将150例肝源性发热患者采用随机数字表法随机分为治疗组100例和对照组50例。对照组给予对症处理，体温超过38度：给予退热栓。治疗
由农业部、国台办、国家林业局、中囡贸促会、中国食品工业协会和福建省人民政府共同主办的第叫届海峡两岸现代农业博览会·第十四届海峡两岸花卉博览会2012年11月在福建
针对在强背景噪声中检测微弱舰船轴频电场信号的问题,提出了基于随机共振技术的检测方法。首先,介绍了随机共振利用噪声增强信号能量从而提高信噪比的基本原理,并在此基础上
建立飞机地面转弯运动的数学模型．然后在ADAMS／Aircraft模块中建立前轮可偏转的全机虚拟样机模型．并进行地面转弯仿真。通过仿真结果分析飞机滑行速度和前轮操纵角对飞机轮胎侧
目的探讨双轨教学模式在高等中医院校临床病理教学中的改革与实践,以改变中医药大学学生西医基础薄弱的现象,提高临床病理学教学质量.方法：采用传统教学法（LBL）和基于问题的教学