用自动机建立操作系统模型

这篇文章用自动机理论的一些概念,建立在一个多道程序的操作系统中进程间如何交互作用的模型。为了得到所需的模型采取的方法是,引进状态集合的结构和自动机转换规则。操作系统的一些概念,如限定性和死锁等,用自动机理论的术语加以形式化并进行细致的分析。为读者方便文中提供了许多例子。本文预备知识涉及有限自动机概念。(原提要)     

操作系统理论的研究

今天操作系统的发展,已经达到了一个崭新的阶段。但是,当前面临的最大困难,在于没有一套可遵循的理论和算法。如果对比一下系统软件中两大分支——编译程序和     

计算和智能

大约一年多以前,作者发表了拙作《智能机理和软计算》(l),曾引起不少同行的兴趣,希望进一步推     

把思维转换成行动

1.问题的提出美国国家科学基金会的一位资深研究人员Joseph Bor-dogna在人类即将进入21世纪和新千年之际就提出认知科学是21世纪工程技术人员的业务基础之一。他实际上也等于宣告,美国国家科学基金会将对这个领域予以大力资助。他认为,在这个领域中,我们正处于迎接许多激动人心的新发现的前夕。这些突破将给对国家具有重大重要性的许多领域打下基础,从教育孩子们如何阅读到理解学习过程;从构造类似人的计算机和机器人到设计有认知能力的网络和系统,等等。几年前我们也曾经提出,人工智能的发展之一是理性的模拟。这也就是把人本身的智能加以模拟,通过计划、视力、触觉和自觉性(意识)来控制机器人或专门装置的运动。这对于一部分人类来说是具有重大意义的。这也表明人工智能的研究和认知科学的研究有着交汇点。