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

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

智能机理与软计算

随着计算机科学技术,特别是人工智能及其它相关学科的发展,关于人脑智能机理的研究引起越来越多的注意。与此同时、出现了关于软计算的研究.旨在研制出高机器智商系统(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.     

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

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

人工智能的战略方向

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

计算机科学中的数学教育问题

本文回顾了计算机科学中的数学教育的发展历史,论述今日加强数学教育对于培养计算机科学家及发展计算机应用的重要性,由此进一步探讨计算机科学教育中数学教育的新课程设置问题。     

ACM图灵奖获得者介绍

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

国外计算机科学教育及对我们的启示

1.前言1989年11月,我应以杨振宁教授为主席的“同中国教育交流委员会”的邀请,到美国纽约州立大学石溪分校进行学术访问。在访问期间,除从事科学研究外,我也有意识地了解美国计算机科学教育的情况,听取有关专家对于计算机科学的意见。我还到过纽约哥伦比亚大学、纽约市立大学、费城的坦普尔大学、宾夕法尼亚大学、西雅图的华盛顿大学等进行学术报告或学术交流,去年8月到9月,我还应邀到了挪威、瑞典、丹麦、瑞士、奥地利、西     

数学和计算机科学的相互影响

数学的源泉在于它的应用,这一断言是众所周知的,为了清楚阐述这一思想只须引证Von Neumann下面一段话就行了: “我认为,数学最有代表性的事实是它同自然科学,或者更一般地说,它同在高于纯叙