论文部分内容阅读
<正>1引言 随着数字系统变得越来越小、越来越便宜,它们用于物理过程控制和与物理过程互协作的机会将越来越多。互相协作的过程如果出现意外行为,后果将可能很严重。这种意外为不仅仅指程序和数字
分布实时系统的概率规范和证明形式化
【摘 要】
：
<正>1引言 随着数字系统变得越来越小、越来越便宜,它们用于物理过程控制和与物理过程互协作的机会将越来越多。互相协作的过程如果出现意外行为,后果将可能很严重。这种
【机 构】
：
国防科技大学计算机系,国防科技大学计算机系长沙410073,长沙410073
【出 处】
：
计算机科学
【发表日期】
：
1995年6期
其他文献
<正>知识库系统应提供有效的问题求解方法,并且能够解释求解过程.有效的求解方法应尽可能使求解过程简便.即步骤要少;而解释过程又要求尽可能的详细.影响知识工程师的另外一
<正>一、什么是计算机辅助协同工作?随着高性能计算机及其网络的广泛应用,计算机系统正由传统的问题求解,执行一定的计算,朝着帮助用户进行交互并支持协同工作的方向发展。分
<正>专家系统是一种能在专家水平上工作的计算机程序系统,是人工智能的一个最重要而活跃的分支,其使用弥补了人类专家不足等困难,并能利用、保存和推广专家的知识和经验,可以
<正>一、引言 人们对结构化开发方法研究和使用了多年,发现软件需求分析面临的最主要的难是[1] ·系统分析员可能工作在陌生的应用领域,但又要在短时间内理解所开
<正>1965年,K.S.Fu首先把人工智能的启发式推理规则用于学习控制系统,1971年又提出月了以控制理论和人工智能相结合的智能控制的概念。
<正>一、前言关于多态性概念的论述最早见于文[5]在文[4]中,R.Milner具体地提出了多态类型原则和自动类型检查算法ω.80年人们在ML语言中实现了多态类型的思想,其后相
<正>机器学习是人工智能的重要组成部分,可以说人工智能的进一步发展与机器学习的进展是不可分的。要使计算机具有智能,最关键的一点就是要使其具有学习的能力。本文以动态模
<正>在人工神经网络的应用方面,无论是联想记忆,还是神经优化算法,都毫不例外地利用了网络系统的稳定吸引子的性质。因此,都支持神经网络应用的基础理论而言,研究其动力学行
负载分布算法通过巧妙地重新分布系统中的工作负载，能够显著地提高分布式系统的性能。本文概述各种具有代表性的负载分布算法并比较了它们的性能。
<正>随着面向对象技术及其应用的不断发展,越来越多的人工智能工作者开始使用这种技术来建造面向对象的专家系统。