什么是理论计算机科学

当前,计算机事业的发展已日益为人们所重视。然而,我国的计算机事业的技术贮备不足,理论贮备则更缺乏,这对我国计算机事业的发展是不利的。《什么是理论计算机科学》一文提出建立理论计算机科学的观点,指出理论计算机科学涉及到计算机技术的各个领域,并就理论计算机科学的一些主要领域及其研究方向作了介绍。本刊拟以此文引起大家对理论计算机科学的重视,以促进我国计算机事业的发展。     

计算机代数及其应用

何谓 CA 计算机代数(Computer Algebra,简称CA)是计算机科学百花园中的一枝新蕾,它又称为计算机公式处理或符号处理等。它与通常大家所熟悉的数值计算不同,数值计算的目的是在于更有效地使用计算机,以求得各类数学问题的满足一定精度的数值解;而CA是研究使用计算机对公式直接进行处理的理论、算法和系统的计算机科学的一个分支,利     

关于字方程

字方程是近代代数学中“异军突起”的一类新型方程,字方程理论在数理逻辑、编码理论、计算机科学以及语言代数学中有很多背景和应用。《关于字方程》一文介绍了字方程理论的一些应用背景和若干最基本的内容。     

数据结构及其在计算机科学中的作用和地位

计算机科学是一门研究信息表示和处理的科学,而信息的表示和组织直接关系到信息处理的效率.随着计算机应用的日益广泛,计算机程序的规模愈来愈大,程序结构愈来愈复杂.正如人们所熟悉的那样,程序是用某种算法语言来实现的,而语言中所操作的数据是由关于数据类型的说明和定义来描述的.换句话说,程序设计依赖于一定的数据结构,数据结构及算法构成了程序设计.因此,对数据及其结构的研究就显得更加重要了.本文拟就数据结构的形成、研究内容及其在计算机科学中的作用,地位和发展趋向进行一些探讨.     

計算機輔助設計——一门飞速发展的新兴技术

CAD是一门新兴的技术,它将计算机科学直接应用到一些传统的工业领域,使这些古老的工业发生了革命性的变化。《计算机辅助设计——一门飞速发展的新兴技术》一文较为系统地介绍了CAD技术,并指出了该技术的发展趋势。     

关于Newton迭代的点估计

S.Smale在1986年国际数学家大会上报告了他关于连续复杂性理论的开创性工作。这个理论是借鉴计算机科学中关于代数与组合算法复杂性研究的观点,来处理分析算法的整体复杂性的。报告的基础性工作和在摘要中列为     

知识处理与传统数据处理:差别

推理的机器计算机科学家至少已经造出了能推理的机器,但它和我们经常使用的计算机是相似的,那么还有什么值得高兴的呢? 问题不在于知识库系统象什么,而在于它做什么,将来能做什么。在硬件上没有多大的区别。确实,一些老的知识库系统仍运行在与已算了好几年工资相同的计算机上。较新的系统也是在传统的个人计算机上开     

桥涵地基换填计算方法浅析

就交通行业及建设行业关于地基换填计算理论进行了比较分析,并提出作者的一些建议。     

当代软件设计方法学发展的哲学与数学背景

本世纪初发生的物理学危机,导致了相对论与量子力学的建立;而第三次数学危机的挑战,导致了人们对数学基础及其哲学背景的关心和思考,从而促进了现代数学、哲学及逻辑学的发展。60年代末爆发的“软件危机”,已成为计算机科学继续发展的“瓶颈”。程序设计何时才能从“技巧和经验”变成一门真正的“科学”?如何使计算机科学这门年轻而又发展迅猛的学科建立在坚实的理论基础上?带着疑虑和期望,计算机科学家们将目光投向了哲学和数学……     

对策论,外交谈判及其他

现代计算机科学的奠基人、美籍匈牙利数学家冯·诺依曼(J.von Neumann)被人们推崇为二十世纪最伟大的数学家.他还是对策论和现代数理经济理论的奠基人之一.早在1928年,冯·诺依曼就发表了一篇题为《论社会对策》的论文,开始形成他的对策论思想.1944     

多元遺傳分析

《多元遗传分析》一文作者根据翔实的资料阐明了多元遗传分析的遗传物质基础——多基因系统——的一些特征,指出多元遗传分析的一个中心课题是在各种遗传学与统计学考虑下去估计所研究的综合性状的权向量,并根据作者自己的研究成果对多元统计与遗传分析相结合中存在的若干问题提出了一些解决方案。这是一篇从遗传学和统计学两个角度来看都值得一读的好文章。     

新知短信

智能电脑人问世英国最新研制一款智能聊天语言系统,可以赋予计算机类似人类的思维。该计算机系统能够让测试者无法辨识究竟是计算机还是人类,在印度古瓦哈提市召开的计算机科学节上,一款叫做智能机器人的软件     

智能“电脑人”问世

英国最新研制一款智能聊天语言系统．可以赋予计算机类似人类的“思维”。该计算机系统能够让测试者无法辨识究竟是计算机还是人类，在印度古瓦哈提市召开的计算机科学节上．     

数学基础与模糊数学基础

模糊数学创立以来发展迅速,国内外都在理论和应用方面作了大量工作。但是关于它的理论基础以及它与经典数学的关系,学术界看法不一。《数学基础与模糊数学基础》一文提出了作者的见解,值得重视。     

太阳系演化新说——循环日曝说

本文作者系河南温县一位农民——非专业的天文、地质学者,他潜心钻研太阳系成因问题达30年之久,形成了与国外关于太阳系起源理论截然不同的新假说.关于太阳系起源假说的提出,在中国尚属首次,科学界认识很不统一,许多科学家持异议或否定意见,也有一些著名学者认为该论观点新颖,见解独特,向传统的地质理论提出了挑战,对“天地生相互关系”研究课题有一定启发.本刊发表该文,供大家研讨、探索.     

层展论的旗手——菲利普•安德森

文章综述了理论物理学家菲利普?安德森的生平和科学成就。安德森的科学工作既紧密联系实验又有深刻的普遍意义。他对凝聚态物理有很多方面的具体贡献，如确立了一些核心概念或者范式，特别是对称破缺。他建议用对称性自发破缺解决粒子物理领域杨-米尔斯理论中的规范粒子质量问题，而他在自旋玻璃方面的工作对生物学和计算机科学也有影响。 安德森在层展论（笔者译自emergentism）的崛起中居功至伟，他强调高层次物质的规律不是低层次规律的应用。笔者认为还原论和层展论是硬币的两面，相辅相成。     

交互计算机图示学

《交互计算机图示学》一文介绍近二十年间迅速发展起来的,应用相当广泛的一门新的计算机科学分支,并配有多幅黑白与彩色照片,读来颇吸引人。     

流量校准的广义开合误差方法——兼评ISO TC30主席金霍恩的一封信及有关的三篇文章

流量校准的开合误差问题,是国际流量计量界长期以来未能严格解决的困难问题。本文作者提出的广义开合误差方法(KK方法),解决了这一问题,并得到了实验的佐证。如果说这件事本身是很有意义的话,那末下面一些事实就值得探究一下:1980年本文作者将他方法中的基本公式告知ISO TC30主席斯潘塞先生,1986年斯潘塞的继任者金霍恩先生告诉作者KK方法与英国国家工程研究所的方法“没有任何有意义的差别”(是否真是如此?),同时寄来了发表于1984年第4期《热与液流》上的琼斯先生的一篇论文,但在这篇论文中,作者发现了与他的基本公式几乎完全等同的公式(如此之“巧”?),作者当即去信指出这一点,答复是沉默。     

交叉学科面临的挑战

2001年在荷兰召开的DNA计算研讨会关注的重点是两个几乎不相干的学科：计算机科学和分子生物学。计算机科学家力图把分子生物学的原理应用于计算平台：而分子生物学家则想研制能将DNA用作信息存储的计算机。     

什么是计算机科学

计算机科学是一门研究信息转换过程的设计、分析、实现、效率及应用的学问。构成所有计算机科学的基本问题是“什么可以自动化?”。计算机科学伴随着存贮程序电子计算机的发明,于四十年代中期应运而生,并且自那以后发展迅速。