自动化空中交通管制系统软件可靠性评估研究

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:dej0415
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
文章提出了评估自动化空中交通管制系统(AATCS)软件可靠性的一种新方法-基于PCR的软件可靠性评估。经操作员和软件支持业务人员(SSF)现场测试,对发现、过滤的软件故障进行确认,生成S2级的软件系统问题变更报告(PCR)。采用CROW—AMSSA(NHPP)模型进行系统的可靠性增长计算,通过极大似然估计法确定模型的参数,经过计算得到AATCS的S2级失效强度和可靠性预测趋势。
其他文献
摘要《汉语大字典》的同义对释法,是释义方式的一种,源自古代辞书释义“直训”法。同义对释有明显的长处,它使释文简短精练,也便于读者对相关的同义词语进行联系理解,符合“辞书体”的要求;然而这种方式也有很大的局限,它对词语注释的精确度不高,不能表现出同义词语间的“同中之异”。滥用这种方式会出现以难注易、以生僻注常见、以多义注单义的现象,使读者难以理解和使用。在通读《汉语大字典》人部的基础上,文章运用归纳
视频编码标准H.264已经正式采纳了UMHexagonS算法作为整像素的快速运动估计算法.该算法的运算量相对于快速全搜索算法可节约90%以上,同时能保持较好的率失真性能.文章对UMHex
关联规则挖掘可以发现大量数据项集之间隐含的关系,在许多领域得到了广泛应用。目前很多关联规则挖掘算法已经被提出,这些算法一般都认为每个数据项的重要性相同。然而在现实中
讲述棋阵多项式计算原理,给出四种方法并比较它们的优缺点和适用情况,最后给出了最优方法的算法设计和程序实现,并且通过禁位排列显示该方法在现实中的应用.
在目前的密封式电子拍卖中.都没有解决标价瓶颈问题,即有多个投标者同时提交了相同的获胜价住.有些方案仅仅把标价提高,所有的投标者再重新进行拍卖,这样既增加了计算量又增加了通