智能机理与软计算

随着计算机科学技术,特别是人工智能及其它相关学科的发展,关于人脑智能机理的研究引起越来越多的注意。与此同时、出现了关于软计算的研究.旨在研制出高机器智商系统(High Maehine Intelli-gene。Qt,,:sen:、产tom)[,〕。本文将初步探索智能机理与软计算两者间的关系以及把它们结合起来解决问题的可能性和途径。     

自调节软件

This paper introduces a new concept——Self-tuning software which has just been put forward recently abroad. It also surveys the development of the new thing.     

人工智能的战略方向

本文根据《ＡＣＭ计算的战略方向》研讨会中关于“工人智能的战略方向”的讨论及其专论［１］、［２］进行编译，论述未来十年或更长时间内人工智能发展的战略方向，旨在展望今后的研究动向。     

一种隐藏和提取版权控制数据的技术方案

研究了数字内容的版权控制问题，提出了一种隐藏和提取版权控制数据的技术方案．此方案基于整形小波变换，通过对部分小波系数的特殊量化来隐藏数字许可和版权标识，其提取不需要知道原始数字内容．隐藏版权标识用于证明内容的版权归属，隐藏数字许可用于限制用户的播放行为．文章在讨论版权控制框架和模型的基础上。对版权控制数据的隐藏和提取过程进行了算法描述，并且说明了在低频部分隐藏数字许可增加鲁棒性，在所有频带隐藏版权标识监测完整性。     

关于Peterson—Fischer二进程算法的断言式证明

本文旨在为Peterson—Fischer二进程互斥算法提供一个断言式证明,根据麻省理工学院Nancy A.Lynch教授的论述,这是一个未解决的问题,因此本文的意义在于填补这一空缺。     

ACM和IEEE‘91课程表的实施和更新发展——21世纪的计算机科学教育探讨

本文在“２１世纪的大学教育”一文的基础上,围绕ＡＣＭ和ＩＥＥＥ‘９１课程表,集中讨论２１世纪的计算机科学教育问题,探讨在世纪之交时’９１课程表的实施和更新发展,以满足２１世纪我国建设的需要。     

MPI（消息传输界面）的标准化与我国的对策

一、消息传输界面的提出众所周知,计算机的网络化成为当今计算机科学技术发展的不可阻挡的潮流,计算机的网络化形成了并行计算和分布式计算的环境。这些计算环境,旨在大大提高计算机的工作效力和工作能力,使得原来在单机环境下无法实现或实现起来效力很低的问题,在新的环境下可以有效地解决。在并行计算和分布式计算当中,有着普遍存在的一项通用任务,这就是消息在这样一种环境中的传输,以实现在参与计算的各进程之间的全局性的同步,或者激发在每个进程中某个事件的执行,或者实现各进程掌握有其部分输入的函数的计算(即此计算是分布在上述环境的各部分同步进行的)。这些任务通常总是通过按照某种预先确定的同网络拓扑有关的方案的消息传     

对一个分布式终止探测算法的改进

DTD(distributed termination detection)是分布式算法研究中的一个重要问题.如果不能探测计算的终止,算法就失去了其现实意义.Mattern提出的credit-recovery算法实现了消息最优,但只局限于在集中式计算中应用.对其进行了改进,使其能够应用在非集中式计算中,以更适合分布式环境.     

ACM图灵奖获得者介绍

美国计算机机器协会(ACM)为了表彰在计算机科学中作出特殊贡献的计算机科学家,以促进计算机科学技术事业的发展,使他们的贡献永彪史册,鼓励一代又一代的人们,尤其是青年人,以他们的业绩、他们的拼搏精神和奉献精神作为榜样,来创造出人类更加美好的未来和更加辉煌的成就,因此决定在计算机科学界中创立最高奖——图灵(Turing)奖.以图灵来命名这个奖,是为了永远纪念计算机科学先驱者——英国计算机科学家图灵.这一奖励,在计算机界,具有和诺贝尔奖金同样尊贵的荣誉,这是因为在诺贝尔奖金中,并未设立计算机科学这一学科.实际上,当创立诺贝尔科学奖金时,计算机科学也还未问世.     

软件——下一个五年

展望未来是必要的.本文对软件的下一个五年作了预测.悲观主义的态度值得商榷:今天未付诸实践的思想(指软件工程等)不等于永远不能实践,只不过尚未发展到完善实用的地步罢了.乐观者的预测还是有意思的.