【摘 要】
：
1 引言安全关键系统指系统运行出错将造成严重的财产,甚至人员损失的计算机系统,这类系统广泛存在于航空航天、国防、交通运输、能源和医疗卫生等诸多领域中.近年来的研究数
【机 构】
：
电子科技大学计算机科学与工程学院,西南石油学院
论文部分内容阅读
1 引言安全关键系统指系统运行出错将造成严重的财产,甚至人员损失的计算机系统,这类系统广泛存在于航空航天、国防、交通运输、能源和医疗卫生等诸多领域中.近年来的研究数据显示,随着用户需求日趋复杂,计算机硬件可靠性的不断提高,计算机系统70%以上的错误来自于软件.因此,软件的可靠性已经成为系统可靠性的决定因素[1].防危性是计算机系统可靠性的重要组成部分,由于安全关键系统出错后果的严重性,用户对其防危性有着极其严格的要求[2].
其他文献
文[1,2]讨论了偶数Goldbach猜想是否计算机递归可解的基本问题,本文继续讨论其存在的判定模型和谓词结构特征描述,并给出一般模型必要的分析和证明1).……
1.引言遗产信息系统是现代企业信息流的主干,它体现了机构运作的业务逻辑,代表了特定领域专业知识,是企业的财富,所以不能简单地抛弃它.为了充分利用遗产系统所包含的领域知
1引言 人工智能系统规划方法是人工智能研究领域中的重要方法,有许多重要应用.1997年美国的A,L. Blum和M.L. Furst教授利用规划图分析(Planning Graph Analysis)提出一种
<正> 1 引言数据挖掘是从大量的、不完全的、有噪声的、模糊的、随机的数据中,提取隐含在其中的、人们事先不知道的、但又是潜在有用的信息和知识的过程。数据挖掘更广义的说
1引言工程、数学等领域经常遇到大量的约束优化(或非线性规划)问题,需要对约束条件进行处理.目前,还没有一种通用的传统优化方法,能够处理各种类型的约束.相比,遗传算法(GA)
Traditional Internet architecture is lack of flexibility and process of protocol standardization and compati-bil-ity is time-consuming and costly. Active networ
1前言 智能技术促进对大脑的认识和机器辅助智力劳动的发展[1].光子计算可以提高计算机的计算速度和解题能力,还能促进更人性化、更自然化的人机交互环境的形成[2].……
By analyzing the multiple pattern matching algorithm based on tree structure, a multiple pattern matching algorithm based on sequential binary tree is proposed
一、引言栽软件逆向工程的研究是软件工程领域的一个重要而实用的研究内容.逆向工程是在给定源代码的情况下理解软件结构的一个途径,其目的是标识软件系统中的构造块,抽取结
Web-based management systems are increasingly replacing traditional terminal-based and Xwindows-basedsystems,Producing such a system seems to require a tremendo