论文部分内容阅读
为了克服传统可靠性测试方法在验证高可靠性指标时测试持续期太长的困难,针对实时多任务软件的特点,提供了一种融基于体系结构的系统可靠性建模、最大熵原理、贝叶斯统计推断为一体的多级高可靠性测评方法。数值仿真表明,该方法在不降低验证测试置信水平的基础上,能有效缩短验证测试持续期。
实时多任务软件高可靠性测评方法
【摘 要】
：
为了克服传统可靠性测试方法在验证高可靠性指标时测试持续期太长的困难,针对实时多任务软件的特点,提供了一种融基于体系结构的系统可靠性建模、最大熵原理、贝叶斯统计推断
【机 构】
：
东华大学计算机科学与技术学院,电子科技大学计算机科学与工程学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2008年24期
【基金项目】
：
上海市科委计划项目（the Fund of Science and Technology Commission of Shanghai Municipality under Grant No.06DZ150003）,东华大学青年教师基金（the Youth Teacher Fund of Donghua University under Grant No.112-10-0044056）,上海申通地
其他文献
意符是指汉字中有表意作用的部分.汉字中部分会意字和形声字含有2个或2个以上的意符,根据意符的特点与数量,对<说文解字>中的多意符会意字和形声字进行分类、统计,并指出意符
图像分割是目标识别的首要和关键步骤。目前的图像分割方法有多种,其中阈值方法优点比较突出,但是采用阈值方法分割的关键是要能高效率地找到被分图像的最佳熵阈值。针对这一问题,将Geese-LDW-PSO算法的位置更新公式作了改进,即用当前种群的全局极值取代所有粒子的当前位置,并将之用于熵阈值图像分割中。仿真实验表明,该算法可以快速稳定地获得一幅图像的最佳分割阈值。仿真结果显示,该方法对车牌分割具有较好的
双麦克风噪声抵消应用中,由于交叉串的存在,传统自适应算法降噪性能受到很大的影响。为了提高双麦克风算法降噪性能,使用两级自适应滤波系统消除交叉串扰问题。为提高自适应
国际油价持续高涨 2004年以来,国际原油价格出现持续上涨。纽约商品交易所西得克萨斯轻质油2004年平均价格达1．47美元/桶,比2003年高33． 8％,创该交易所成立以来的最高年平均价格
《嘉莉妹妹》是美国20世纪杰出的现实主义小说家西奥多.德莱塞的成功之作。长期以来国内外对该作品的研究和批评主要集中于主题和文体方面。拟从语言学的角度,基于系统功能语
对sinkhole攻击进行了研究，提出了基于多点监测与回复信息的攻击检测方法。利用基站和节点间数据包的传输与确认，结合邻节点的监视机制对节点收发的数据包统计分析，检测sinkhole
费如纯、王丽娜等提出了一个安全性基于有限域上求解离散对数的困难性和特定条件下求解二次剩余的困难性的门限数字签名方案。该方案能防止恶意参与者欺诈以阻止签名和伪造攻
为了对接地网进行故障诊断，通过对接地网支路拓扑结构进行分析，提出了一种以可及节点为裂点的分层拓扑分解方法，将接地网分解为元版块网、可及接地网和本征接地网。根据不同的数
在构建和谐社会的伟大实践中,高校艺术教育以审美教育为核心,以人的全面发展为目标,促进人与自然、人与社会、人与人之间关系的和谐发展,以其独特的功能为和谐社会建设服务。
随着国家的节能减排政策的不断推行,能源问题日益受到人们的广泛关注。对既有的建筑进行节能改造,能够有效减少资源的浪费,响应国家政策。本文主要从川西高原地区既有居住建