论文部分内容阅读
本文从软件可靠性的需求出发，讨论了软件可靠性建模发展史，建模新发展和当前存在的主要问题。
软件可靠性建模的发展和存在的问题
【摘 要】
：
本文从软件可靠性的需求出发，讨论了软件可靠性建模发展史，建模新发展和当前存在的主要问题。
【机 构】
：
山东师范大学数学研究所济南250014
【出 处】
：
计算机科学
【发表日期】
：
1995年6期
其他文献
<正>一、前言许多代表人类智能最高成就的重大科技发现源于类比学习。如果智能计算机具有模拟人类学习的功能,则可能让机器帮助人去发现新的科学规律和提出新的科学假说。
<正>1.引言对于计算机系统,传统的设计方法很少考虑用户的使用效率方面的问题.在人机界面的研究方面投入甚少.使设计出的系统功能复杂.普通用户不能
<正> “什么是智能”已成为哲学家、脑科学家、心理学家、计算机人工智能(AI)专家所共同面临的挑战。面对这一挑战,AI科学家除了应战别无选择,因为AI发展的历史和现状都已证
最近，嵌套关系模型语言及复杂对象语言的研究已引起人们的广泛重视。这些语言有些是代数结构的，有些是基于演算的，还有的是面向逻辑程序设计的。本文将介绍这些语言的发展概况、
<正> 一、引言 Petri网的理论是使用数学和图形进行研究系统的工具。它不仅能适用于计算机科学和技术这样的研究领域,而且也能适用于社会、物理等研究领域,具有较广的适应性
<正>一、实时数据库系统研帛的一般途经实时应用领域对数据库的需求不同于传统领域对数据库的需求,传统数据库系统的设计,主要强调维护数据的完整性,保持系统的低代价,并且提
<正>一、SQL简介 如果说七十年代关系数据库还处于研制实验阶段,那么到了八十年代大量关系数据库商用产品的面市几乎占据了整个数据库市场,其中的原因在于它们使用了统一
<正>一、引言系统级故障诊断的概念自从1976年由Preparata、Metze和Chien提出以来.有关系统级故障诊断的问题得到了越来越多的重视.并取得了迅
<正> 进入九十年代以来,人们越来越意识到,站在下世纪初各种信息管理的应用的立场来看,我们对支持这些应用的数据库原理和技术的理解还很肤浅。制造科学、科学形象化、机器人