排序方式: 共有34条查询结果,搜索用时 15 毫秒
1.
2.
3.
本文旨在为Peterson—Fischer二进程互斥算法提供一个断言式证明,根据麻省理工学院Nancy A.Lynch教授的论述,这是一个未解决的问题,因此本文的意义在于填补这一空缺。 相似文献
4.
本文在“21世纪的大学教育”一文的基础上,围绕ACM和IEEE‘91课程表,集中讨论21世纪的计算机科学教育问题,探讨在世纪之交时’91课程表的实施和更新发展,以满足21世纪我国建设的需要。 相似文献
5.
研究了数字内容的版权控制问题,提出了一种隐藏和提取版权控制数据的技术方案.此方案基于整形小波变换,通过对部分小波系数的特殊量化来隐藏数字许可和版权标识,其提取不需要知道原始数字内容.隐藏版权标识用于证明内容的版权归属,隐藏数字许可用于限制用户的播放行为.文章在讨论版权控制框架和模型的基础上。对版权控制数据的隐藏和提取过程进行了算法描述,并且说明了在低频部分隐藏数字许可增加鲁棒性,在所有频带隐藏版权标识监测完整性。 相似文献
6.
7.
计算机科学中的数学教育问题 总被引:1,自引:0,他引:1
本文回顾了计算机科学中的数学教育的发展历史,论述今日加强数学教育对于培养计算机科学家及发展计算机应用的重要性,由此进一步探讨计算机科学教育中数学教育的新课程设置问题。 相似文献
8.
高德纳的《计算机程序设计艺术》,始于1968年,而且很快就把前三卷完成了。人们原来认为,接下来出版的自然应该是第4卷了,然而,事实并非如此。近40年过去了,他对第1卷作过多次修改并再版。第2、3卷,也都分别至少作了一次修改和再版。而且如他所宣称的那样,每次修改,不论是哪一卷,都涉及几乎所有页面。在此期间,他又发表了大量的论著,特别是完成了METAFONT和TEX(为计算机排版技术作出巨大贡献)和著名的《公理与外壳》和《具体数学》等著述。但是对于第4卷,却迟迟未闻任何信息。只是后来才听说,第4卷将分为三个分卷出版,但也未见任何一卷… 相似文献
9.
美国计算机机器协会(ACM)为了表彰在计算机科学中作出特殊贡献的计算机科学家,以促进计算机科学技术事业的发展,使他们的贡献永彪史册,鼓励一代又一代的人们,尤其是青年人,以他们的业绩、他们的拼搏精神和奉献精神作为榜样,来创造出人类更加美好的未来和更加辉煌的成就,因此决定在计算机科学界中创立最高奖——图灵(Turing)奖.以图灵来命名这个奖,是为了永远纪念计算机科学先驱者——英国计算机科学家图灵.这一奖励,在计算机界,具有和诺贝尔奖金同样尊贵的荣誉,这是因为在诺贝尔奖金中,并未设立计算机科学这一学科.实际上,当创立诺贝尔科学奖金时,计算机科学也还未问世. 相似文献
10.
展望未来是必要的.本文对软件的下一个五年作了预测.悲观主义的态度值得商榷:今天未付诸实践的思想(指软件工程等)不等于永远不能实践,只不过尚未发展到完善实用的地步罢了.乐观者的预测还是有意思的. 相似文献