【摘 要】
：
进行软件可靠性评估主要通过构建软件可靠性模型实现。软件可靠性模型通常给出被检出的故障可以立即被排除,并且不会有新的故障被引入的假设,这与实际的检错过程是不相符的。
【机 构】
：
空军预警学院黄陂士官学校指挥自动化教研室,武汉数字工程研究所
【基金项目】
：
国家自然科学基金（61173120）资助课题
论文部分内容阅读
进行软件可靠性评估主要通过构建软件可靠性模型实现。软件可靠性模型通常给出被检出的故障可以立即被排除,并且不会有新的故障被引入的假设,这与实际的检错过程是不相符的。针对以上假设条件,提出了一种新的软件可靠性增长模型。该模型将软件的检错过程和排错过程作为两个独立的非齐次泊松过程分别进行建模,并将软件中存在的故障数看作是一个变化的函数,该函数包括软件中初始故障及引入的故障。在两个数据集上进行相应实验证明,较之其他模型,新建模型的拟合和预测效果更好。
其他文献
由于连续波合成孔径雷达（synthetic aperture radar,SAR）特有的工作方式,带来了不同的回波信号形式。首先分析了调频连续波（frequency modulated continuous wave,FMCW）SAR动目标
山西潞安环保能源开发股份有限公司王庄煤矿建成投产于1966年12月,经过几次改扩建,目前年生产原煤800万吨,现有职工6500余人,居民住户5000余户,常住人口1.6万余人,被誉为“煤
为实现智能电能表检定系统标准时钟的集约再利用、降低人力物力的成本投入，提出了一种智能电能表自动化检定系统的标准时钟共用方法。分析标准时钟测试仪在自动化检定中的实际
李斯特的艺术创作范围涉及钢琴音乐、交响乐、器乐曲等,范围广阔,但却很少被提及他的艺术歌曲创作。他的音乐创作具有独特的音乐审美特征和开创性的音乐创作技巧,这使他成为
历史学家说,这是人类钻井史上的一座伟大丰碑;科学家说,这是中国古代的第五大发明;经济学家说,这是一块亟待开发、底蕴深厚的旅游金矿;它是盐都自贡的标志,千年盐文化的灵魂
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
帕潘立酮(paliperidone)是2006年12月20日由美国食品药品管理局(FDA)批准上市的治疗精神分裂的新药。该药由强生公司的子公司杨森公司开发研制,商品名In-vega,为口服控释片。
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
近几十年来,急性心肌梗死(acute myocardial infarction,AMI)在治疗上取得了一系列重大的进展,发展了溶栓、经皮冠状动脉腔内成形术、支架植入术,以及血管紧张素转换酶抑制剂
目的 探讨快速康复外科理念在食管癌手术中应用的可行性。方法 选取2015年2月至2016年2月我院接收治疗的80例食管癌手术患者作为研究对象,根据护理方法的不同将其分为对照组（n