论文部分内容阅读
本文介绍了一个基于知识的操作系统KZ10,它包括智能化人机接口和基于知识的分布式任务调度两个部分。它的研制为新一代计算机系统提供了一个有效的、合适的操作系统模式。
KZ10：一个基于知识的操作系统
【摘 要】
：
本文介绍了一个基于知识的操作系统KZ10,它包括智能化人机接口和基于知识的分布式任务调度两个部分。它的研制为新一代计算机系统提供了一个有效的、合适的操作系统模式。
【机 构】
：
南京大学计算机科学系,南京大学计算机科学系南京210008,南京210008,南京210008
【出 处】
：
软件学报
【发表日期】
：
1993年1期
其他文献
本文是[1]中内容的继续,讨论系统模型开发的形式化技术。基于多类一阶逻辑设计的概念模型语言CML可用来描述系统模型,并可用CMA对模型描述进行静态一致性和动态时序特性的检
在当今信息时代，信息技术课教学的优劣将直接影响到我国教育是否能够早日实现教育的信息化。如何提高信息技术教学的质量是我们应该努力去探究的。在探究的过程中，“任务驱动”
在由多个领域相关的ES组成的协作系统中,通常把能独立求解同一个领域难题A的所有ES组成一个协作组。有时组中诸ES对A都给出了相同的断言,但是它们却给出了不同的断言信度值。
在中职教育大改革的时代背景下，翻转课堂的教学理念在中职计算机教育中广泛运用。而所谓翻转课堂的理念或者说模式，其实就是改变过去原有的教与学的方式，将原来教师与学生的角色
根据这几年社会的变化情况，高校思想政治教育主要在以话语分析为的成效性探究中，发现出现的问题在于传统思想政治教育话语存在着缺陷和不足支出？所以本文主要讲述如何提高思想教
体育运动是人类社会发展到一定阶段的产物。古代体育是中国体育文化的重要组成部分。在漫长的历史发展过程中,中国古代体育呈现出自身的特点。
高校就业指导课程的开设是帮助学生掌握就业方面的知识和信息，了解社会的一个重要的渠道，目前各高校在开设的就业指导课程时还存在着各种问题，迭不到预期的效果，而使高校就业指导
面向对象的程序设计(OOP)以多种面貌广泛地出现在AI系统中,面向AI的OOP模型与结构依赖于对AI中对象的理解,以及相应的Al软件开发方法。本文提出在三个层次上,即世界观的层次
这篇论文探索了命题逻辑的Horn子句的Petri网模型,求解逻辑推论Petri网模型的T—不变量是求解逻辑推论的核心步骤,本文提供了计算T—不变量的算法,这些算法基于归约的思想,另
本文通过对1994～2003年河南省图书馆学情报学研究成果的增长态势、来源期刊、关注程度、主要研究机构、主要地市、作者情况等进行分析,对河南省图书馆学情报学的研究状况进行