搜索筛选:
搜索耗时0.0857秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
类      型:
[学位论文] 作者:史领航, 来源:北京工业大学 年份:2009
随着软件在安全关键领域的广泛应用,可信软件的研究成为可信计算研究中的一个重要内容。由于软件系统本身的复杂特性,如何使软件具有可信性的研究面临着巨大挑战。它要求人们对......
[会议论文] 作者:史领航,王丹,赵晶, 来源:第二十五届中国数据库学术会议(NDBC2008) 年份:2008
基于马尔可夫链描述软件系统控制转移的动态特性,研究了基于马尔可夫分析方法的可信软件的可靠性建模问题。针对模块化的软件系统,综合模块自身的可靠性和模块间的转移调用对其在系统中的重要程度两个方面,分别定义了模块的可靠性函数和模块在系统中重要程度的......
相关搜索: