【摘 要】
：
程序设计语言与操作系统引入抽象概念使程序员可以忽略实现细节。支撑抽象的主要目的不只是提高实现效率,而且也提供必要的保护以避免违背抽象。由于对效率的狂热追求,第二个
论文部分内容阅读
程序设计语言与操作系统引入抽象概念使程序员可以忽略实现细节。支撑抽象的主要目的不只是提高实现效率,而且也提供必要的保护以避免违背抽象。由于对效率的狂热追求,第二个目的被忽视了。种种迹象表明,近来一些声称为简单而有效的设计是通过把代码生成与适当的保护这两者的复杂问题推卸给编译程序来达到效率的。软件设计与硬件设计的共同特点是其复杂性,这是通过通常的测试与模拟所控制不了的。硬件设计可以采用那些类似于程序设计中所使用的证明技术,从而利用程序设计方法学的研究成果。
其他文献
本文介绍在新一代计算机系统模型HNM上实现基于知识的智能型操作系统BKOS的并发进程同步控制。我们提出了资源也是知识的思想,并把共享资源抽象为自动机。然后用Prolog语言实
过去三十年中,操作系统几经大变后,其结构已相对稳定。我们目睹了操作系统从单用户到多道处理,到分时,再到独立于机器之发展。我和我的同事们认为操作系统的另一次演变即将发
<正> 一引言 1 DES出现的必然性专家系统(ES)以其固有的理论研究价值在AI和计算机科学中占着重要地位,它使一类新问题可由计算机求解。同时ES以其高性能(在专门领域达到专家
我们给出了一种能处理不确定性和近似推理的推理机制的VLSI实现。为了有效和实时应用,设计是以模糊集合论中的“极大极小运算”为基础的,这种推理机制能处理不精确和不确定的
<正> 综观三十年来开发的程序设计语言不难发现,至今在计算机领域内占主导地位的仍是当初就已形成的冯·诺依曼程序设计风格的命令型语言,象FORTRAN、COBOL、BASIC、ALGO
4GLs是八十年代的新一代计算机语言,它的基本特征是非过程性并获得数据库功能。在编码生产上比COBOL高一个数量级,很适合于最终用户使用,但它要高消耗硬件资源,也不很适合于
本文通过分析现有词典匹配汉语词切分法及相应切分错误检出与纠正方法的现状及不足,提出了一种基于后加词典,利用句法语义知识的汉语词切分检纠错方法,这种方法旨在将词切分
<正> 一、引言不精确推理是人工智能中的一个重要问题,其目的是要寻求一种形式化的方法,能很好的表达各种不精确知识,并且能有效地利用这些知识进行推理,同时计算过程简单易
<正> 一.引言学习是人类智能的一个最基本也是最为重要的方面,所以以模拟人类智能的基本机理、开发更为“聪明”的计算机系统为目标的人工智能研究从一开始(1956年)就一直注
模湖性是自然语言的一个固有性质,它也是产生不确定性的一个重要原因,因此能够有效地处理这种不确定性的近似推理方法,正在受到越来越多的人的重视。本文简要地介绍了这个理