几何定理机器证明20年

由于传统的兴趣和多种原因,几何定理的机器证明在自动推理的研究中占有重要的地位。自吴法发表至今20年,几何定理机器证明的研究和实践有了很大的进展。对无序几何命题而言,代数方法、数值方法均能有效地判定其真假,消点法、搜索法更能生成其可读的证明。几何不等式机器证明的研究,由于多项式完全判别系统的建立,也有了突破。研究领域已由机器证明扩展为包括几何作图在内的一般几何问题的机器求解,并有了实际的应用。     

我国机器翻譯工作的进展

我国科学工作者注意机器翻譯这个問題是从1956年开始的。不过当时注意这个問題的人还不很多,从事研究的人更是寥寥无几。只是在苏联英俄机器翻譯的实驗成果传到中国之后,机器翻譯这个問題才引起更多人的兴趣。 1958年起,机器翻譯研究工作开始正式进行。最初的工作是分散地进行的。1958年8月在中国科学院計算技术研究所成立了机器翻譯研究組,該組在与語言研究所的密切合作下专門进行俄汉机器翻译。同年11月在中国科学院語言研究所正式成立了专門的研究小組,該組与計算技术研究所合作研究俄汉机器翻譯,与外国語学院合作研究英汉机器翻譯。同年     

拓扑学与模糊性的数学处理

拓扑学与模糊性的数学处理中国科学院院士全国政协常委四川联合大学副校长刘应明拓扑学是纯粹数学中一个分支，而模糊性数学则是应用背景十分强烈的新方向，万流同源，其间有很深刻的联系。今介绍我们这方面若干成果，以资证明。同时从中也或可看出若干研究的新动向。１经...     

仿生机器鱼水下考古好帮手

经过上亿年进化的鱼类在推进效率、灵活性、可操纵性等方面,具有超越任何人造的水面和水下运载器的优越性。目前许多发达国家都十分重视鱼形机器人的研究,美国和日本都在这一领域取得了重要成果。日本三菱重工研发出用于观赏的机器鱼,市场售价达到每条1000美元。中国的一些科研单位也致力于相关的研究。近期北京航空航天大学机器人研究所和中国科学院终于研制成功名为SPC-II仿生机器鱼,而这条特殊的“大鱼”也成了我国第一条可实际应用的仿生机器鱼。     

“吴方法“与吴文俊

1978年,一位中国学者正式发明了几何定理机器证明的新方法,这就是举世公认的“吴方法”。应用这种方法,使欧氏几何定理的证明完全实现了机械化。利用它,人们便能借助计算机很快地重新验证已经证明过的定理,这些定理要是用传统方法来证明的话,难度之大是不可想象的。     

CUSPEA简介

CUSPEA 是 China-US Physics Ex-amination and Application Program的缩写，其中译名为：中一美招考物理研究生项目。该项目由诺贝尔奖获得者、美籍华裔物理学家、哥伦比亚大学教授李政道发起和运作，受到中国政府支持的派遣中国学生去美国大学攻读博士学位的教育交流项目。CUSPEA办公室设在中国科学院研究生院12年之久。     

我命由我不由天, 成为什么细胞,我自己说了算

正"走近科学"是本刊科研项目科普化报道的传统栏目,从本期开始,我们选择一批上海市获得国家及上海市科技奖励的成果进行报道。本篇报道的是2018年度自然科学奖一等奖"项目细胞属性转变的基础和应用研究",该项目由中国科学院上海生命科学研究院惠利健团队获得。     

仿生机器鱼

据悉,经过上亿年进化的鱼类在推进效率、灵活性、可操纵性等方面,具有超越任何人造水面和水下运载器的优越性,一直为仿生科学家所关注。目前许多先进国家都十分重视鱼形机器人的研究,美国和日本都在这一领域取得了重要成果。日本三菱重工就研发出用于观赏的机器鱼,市场售价达到每条1000美元。我国的一些科研单位也致力于相关的研究。今年初,北京航空航天大学机器人研究所和中国科学院成功研制成名为SPC—Ⅱ仿生机器鱼,这条特殊的“大鱼”也成了我国第一条可实际应用的仿生机器鱼。在大风大浪中安然行进SPC—Ⅱ仿生机器鱼身长1.23米,通体…     

编后

我国著名数学家吴文俊,近年来致力于数学机械化的研究,成绩显著,深受国内外数学界重视.本期所载《几何定理的机器证明》一文,是他于今年9月初在双微北京讨论会上所作报告《初等几何和微分几何定理的机器证明》的前半部分,文中详细阐述利用电子计算机证明几何定理并发现新定理的思想、方法、步骤和效果,谅为读者所欢迎.     

外来植物入侵机理研究取得进展

近日,在国家自然科学基金重点项目、中国科学院重大项目和云南省应用基础计划项目等的支持下,西双版纳热带植物园生物入侵生态学研究组冯玉龙研究员与美国蒙塔纳大学、墨西哥国立自治大学和印度德里大     

一个古老的梦实现了!——几何定理机器证明的吴法浅谈

我国著名数学家吴文俊教授近年来在几何定理的机器证明方面取得了开创性的成果,他发明的方法被誉为“吴法”。《一个古老的梦实现了!——几何定理机器证明的吴法浅谈》对此作了深入浅出的介绍。     

《中国科学C辑：生命科学》简介

《中国科学C辑：生命科学》和Science in China Series C： Life Sciences是中国科学院主管、中国科学院和国家自然科学基金委员会共同主办的生命科学领域综合性学术刊物，力求及时报道生物学、农学和医学领域的基础研究与应用研究方面具有重要意义和创新性的最新研究成果中、英文版是两个相对独立的刊物，均为双月刊．     

“板块俯冲和折返的地球动力学”学术讨论会举行

<正> 由中国科学技术大学地球和空间科学学院、中国科学院地质与地球物理研究所联合主办的学术讨论会“板块俯冲和折返的地球动力学”于2003年11月21～23日在安徽省合肥市举行。这次会议既是“第三届全国化学地球动力学学术讨论会”,也是国家重点基础研究发展规划项目“大陆深俯冲作用”和中国科学院知识创新项目“华北东部盆山系     

大陆的俯冲、拆离和减薄作用学术研讨会召开

２００１年１１月２１～２４日，由国家重点基础研究发展规划“大陆深俯冲作用”项目和中国科学院知识创新重大项目“华北东部盆山系统与战略资源预测”发起，中国科学院地质与地球物理研究所和西北大学地质系共同主办的“大陆的俯冲、拆离和减薄作用”学术研讨会在西北大学召开．参会人员１２０余人，来自８所高校和５个研究院、所．除了这两个项目的主要研究人员，国内该领域的许多同行也参加了会议，充分显示了重大课题研究对国内相关领域的带动和促进作用．会议期间，代表们就“大陆的俯冲、拆离和减薄作用”这一主题进行了充分学术交流…     

《中国科学D辑：地球科学》简介

《中国科学D辑：地球科学》是中国科学院主管、中国科学院和国家自然科学基金委员会共同主办的地球科学领域的综合性学术期刊，力求及时报道地质学、地球化学、地球物理学、地理学、大气科学和海洋科学基础研究与应用方面具有创新性和高水平成果的最新研究成果．由《中国科学》杂志社出版．月刊．主编为周光召院士，执行主编为孙枢院士．     

从红外物理国家重点实验室看红外物理的发展

从红外物理国家重点实验室看红外物理的发展陆卫（中国科学院上海技术物理研究所，红外物理国家重点实验室）中国科学院红外物理国家重点实验室．位于上海中山北一路４２０号，它的依托单位是中国科学院上海技术物理研究所。它的前身是中国科学院红外物理开放实验室，成立...     

智能无法用计算技术实现

正按照学习能力排名的人工智能计算机分级制度体现了这些机器的能力和局限。人工智能领域的终极目标是建造在特定任务上至少与人类同样聪慧的机器。目前,人工智能已经成功开发了各类机器,它们可以学习如何识别语音、在巡天项目中寻找新种类恒星、在国际象棋比赛中战胜特级大师、识别人脸、分类图像、诊断疾病、打车、开车、导航绕过障碍物,等等。然而,现在的这些机器一点都不聪明。     

中国将建立陆地卫星地面站

中国科学院和美国宇航局在1980年1月24日签订了一项谅解备忘录,中国将参加陆地卫星(Landsat)项目,在北京地区建一个地面站以接收陆地卫星D发出的地球资源数据。根据协议,中国科学院将得到并管理在北京附近     

CUSPEA 简介

1.什么是CUSPEA? CUSPEA是China-US Phvsics Examination and Application Program的缩写,其中译名为:中-美招考物理研究生项目.该项目由诺贝尔奖获得者、美籍华裔物理学家、哥伦比亚大学教授李政道发起和运作,受到中国政府支持的派遣中国学生去美国大学攻读博士学位的教育交流项目.CUSPEA办公室设在中国科学院研究生院12年之久.     

日地空间环境的监测和预报

日地空间环境的监测和预报中国科学院院士中国科学院空间科学与应用研究中心研究员刘振兴１日地空间环境及其对人类的影响日地空间环境包括太阳上层大气、日地行星际、地球磁层、电离层和高中层大气。其中，地球磁层、电离层和高中层大气称为地球空间环境。随着空间技术的...