论文部分内容阅读
提出了一个适用于复杂系统软件的可信性评估自适应模型。该模型不仅对连续状态下可信性评估的动态求解的实现逻辑进行了合理抽象,而且还提供了一种合理的方法,用于促进软件可信性评估指标系统的自主重构。该模型有助于解决开放动态环境下的软件可信性评估问题。
面向软件演化的可信性评估自适应模型
【摘 要】
：
提出了一个适用于复杂系统软件的可信性评估自适应模型。该模型不仅对连续状态下可信性评估的动态求解的实现逻辑进行了合理抽象,而且还提供了一种合理的方法,用于促进软件可信性评估指标系统的自主重构。该模型有助于解决开放动态环境下的软件可信性评估问题。
【机 构】
：
合肥工业大学计算机网络系统研究所,合肥市屯溪路193号,230009
【出 处】
：
武汉大学学报(信息科学版)
【发表日期】
：
2010年05期
其他文献
简要地论述了基于星间测距数据和地面跟踪数据的导航卫星联合定轨中的观测模型、定轨软件及数据模拟方法等,在此基础上,基于自编的联合定轨软件进行了不同方案的模拟计算。结果表明,采用星地联合定轨模式,不仅可以获得很好的定轨精度,而且可大量减少地面跟踪站的布设数目以及降低对地面站的几何分布要求;地面跟踪站数量的增加及其地理分布的改善对提高联合定轨精度作用有限。
设创新型国家,创新人才是关键因素。创新型人才的成长是一个综合培养的过程,创新人才的培养要靠创新教育,而创新教育的实施者主要是创新型教师。"有创新型的教师,才会有创新
会议
培养创新型教师首先要改变在应试制度下的教学观念,树立以学生为主、以发展为本的新的教学理念,在不断加强自身学习的同时,又要不断发展创新,培养出创新型的学生。本文论述了
百年大计,教育为本；教育大计,教师为本。高质量的教育,必须有高质量的教师。党的十六大报告提出,坚持教育创新,深化教育改革,必须加强教师队伍建设,提高教师的师德和业务水平
会议
对基于广义猫映射和加法模运算的混沌密码进行了安全性分析,指出了该密码设计上的几处瑕疵。在选择明文攻击下,该密码系统在1轮加密时不够安全,仅选择3幅明文图像就可破译。讨论了该密码在多轮加密时待解决的问题以及可能采取的改进措施。
世间最宝贵的是人才,迎接经济全球化的机遇和挑战,说到底是人才、科技的竞争。培育、造就这些人才,是兴国运、壮国威、福万民、泽后代之根本。人才来自于培养,培养要靠教育,
当前的课程改革注重推进信息技术与其他学科教学的整合,并把信息技术教育融合在其他学科的学习中。所谓信息技术与课程整合,就是通过学科课程把信息技术与学科教学有机地结合
为了解决证明系统中存在的完整性保护不足的问题,对完整性策略和保护机制进行了研究,提出了一种基于DTE技术的证明系统安全域模型。该模型将证明系统按照功能特性划分为若干安全域,并且定义了模型变量以及安全规则。同时,为了确保不同域之间能够安全传输,在模型中引入了可信管道的概念。给出了安全域模型的实现方法和管道协议,并对管道协议进行了安全性分析和证明。
本文主要介绍了舞阳钢铁公司开发建筑结构用Q390～460MPa级高强度宽厚钢板采用的主要技术措施和建筑结构钢的供货业绩,以及供中央电视台新台址、国家体育场建设用高强度钢的实
探讨了深海拖缆导航勘探数据的处理方法。首先,介绍了预处理中Crossline声学观测值的粗差探测及RGPS观测值的类周跳问题探测等关键技术;然后,分步介绍了数据处理过程中的约束网平差、曲线积分和拟稳平差等方法;最后,通过与国外常用数据处理软件进行比较,验证了所提出的数据处理方法的有效性。