学术动态

美国斯坦福研究所人工智能中心主任N.J.尼尔逊博士应邀于九月十九日到三十日访问了中国科学院沈阳自动化研究所,讲学十二个半天,并进行了两个半天的讨论。除沈阳地区外,来自北京、上海、兰州、四川等全国各地的人工智能及计算机科学工作者参加了这一学术活动。     

人工智能国际研究进展——第17届国际人工智能联合大会评述

1 IJCAI-01概况由国际人工智能联合会(IJCAI)和美国人工智能学会(AAAI)主办的第17届国际人工智能联合会议(17th International Joint Conference on Artificial In-telligence)于2001年8月4至10日在美国华盛顿州西雅图市召开。这是两年一度的国际人工智能界最高学术会议,从1969年开始,已经有30余年的历史。除主办单位外,本次会议还得到了贝尔研究院、波音公司、微软公司、美国国家航空和宇宙航行局(NASA)Ames研究中心、NEC研究院、SemanticEdge和斯坦福研究院(SRI International)的协作。共有约1500人参加了此次会议。中国大陆有三位学者参加,他们是中国科学院计算技术研究所的史忠植研究员,中国科学院软件技术研究所的程虎教授以及南京大学计算机软件新技术国家重点实验室的周志华博士。程虎教授应邀担任会议顾问委员会成员。此外还有很多香港、台湾地区以及海外的华人学者参加了会议。香港科技大学的林方增博士担任了会议程序委员会成员。     

美国人工智能研究的概况

79年9月,应中国科学院沈阳自动化研究所邀请,美国斯坦福研究所(注1)(SRI)原人工智能实验室主任、现计算机资源部主任 BERTRAM RAPHAEL 来我国讲学,继在北京讲学之后,又来沈阳讲授人工智能,并举行多次座谈,回答了许多问题。     

MAP网络应用层通用通讯软件包设计

一、引言作者于一九八八年在美国奥本大学电气工程系访问时,在导师尼尔逊博士(Dr.Nelson)指导下,开发了一个适用于 MAP(Manufacturing Automation Protocol)应用层的通用通讯 C 语言软件包。该软件包已应用于奥本大学的高级加工技术中心的无人操作智能机器人计算机局部网络。     

美国人工智能研究的概况——根据美国人工智能专家B.拉菲尔博士讲学内容整理—

79年9月,应中国科学院沈阳自动化研究所邀请,美国斯坦福研究所(注1)(SRI)原人工智能实验室主任、现计算机资源部主任 BERTRAM RAPHAEL 来我国讲学,继在北京讲学之后,又来沈阳讲授人工智能,并举行多次座谈,回答了许多问题。现将其主要内容整理出来,前后次序作了某些变动,有些标题是整理者后加的。人工智能在国际上有三大学派,即计算机学派,心理学学派和仿生学学派,各自有一套主张,目的却都在探索人类智慧的秘密,用人工的方法获得有智慧的机器。拉菲尔先生属计算机学派。故望国内有关同志对这里所阐述的观点有自己的分析。     

美国W.J.Campbell博士等一行应邀来兰州冰川冻土所访问

受中国科学院兰州冰川冻土所所长谢自楚研究员和冰川冻土所遥感室主任曾群柱副研究员的邀请,美国地质调查局(USGS)、美国航空与航天局(NASA)William J.Campbell博士等一行四人于1988年9月9日至9月24日来兰州冰川冻土所访问。 W.J.Campbell博士等一行四人这次访问的主要目的是根据中美地表水合作计划寒区水文合作项目而来实地考察和进行具体     

译者序

<正> 由美国斯坦福研究院计算机科学实验室R. S. Boyer和J S. Moore博士合著、美国79年出版的《计算逻辑》一书,系统地介绍了当今计算机科学工作者十分关注并为之积极展开研究的课题——机械定理证明与程序正确性证明的形式化理论及其在计算机上实施的机械化方法。尤其是对人所共知、难度颇大的如何实现归纳法机械化的问题进行了卓有成效的研究,并给出了各式各     

美国随机信号分析专家J.S.贝达特博士来华讲学

美国随机信号分析专家J.S.贝达特博士应南京航空学院邀请于1985年6月间来我国访问,首次为我国同行作随机信号分析的系列讲座。贝达特博士为世界著名学者,曾被邀请到欧洲各主要国家(包括苏联)以及日本、澳大利亚、加拿大等国讲学。     

著名专家J.J.HOPFIELD教授在南航讲学

世界著名神经元网络专家、神经元网络创始人之一,美国科学院士、加州理工学院计算与神经系主任、化学及生物学教授John J. Hopfield博士,应我国863高技术计划智能计算机专家组和南京航空学院的联合邀请,在南航作了为期2.5周“人工神经网络”讲座。Hopfield教授系统地讲授了神经网络基本原     

新书介绍

<正> 由美国斯坦福研究院计算机科学实验室R. S. Boyer和J. S. Moore博士合著、于79年底美国出版的《计算逻辑》(A Computational Logic)一书,系统地介绍了当今计算机科学工作者十分关注并为之积极展开研究工作的课题——机械定理证明与程序正确性证明的形式化理论及其在计算机上实施的机械化方法。尤其是对人所共知、难度颇大的如何实现归纳法机械化的问题进行了卓有成效的研究,并给出了各式各样的实现技巧。全书分序、十九章正文及三个附录。第1章概说了该书的动机、形式理论及证明技术;     

世界九大科学园

新西伯利亚科学园它是前苏联的一座综合性的联合科研基地,集中了20多个国家的科研机构,各种科研人员达18000多人. 筑波科学园它拥有日本国立研究所和46所大学,汇集了1万余名科研人员,其中取得博士学位的高级科研人员达2500人. 斯坦福科学园它以美国加州斯坦福大学为中心.该园区生产的电子集成电路产品约占世界总产量的25%,年产值达440亿美元.     

美国的自动控制教育

笔者曾在美国普渡大学工作两年,现就普渡大学来介绍一下美国的自动控制教育情况。美国普渡(Purbue)大学的工学院是美国大学中工学院比较好的一个。其特点是本科大学毕业生在基本理论及技能的训练方面有坚实的基础,因此其本科毕业生在工业界受到普遍欢迎。其电机系在自动控制及人工智能方面拥有世界或美国知名的教授,例如人工智能及模式识别方面的傅京孙(K.S.Fu)教授,辩证及适应控制方面的 L.N.Saridis 教授,机械手方面的 R.P.Paul 教授,生物控制工程方面的 A.J.Koivo 教授,等人。本文拟从其电机系自动控制教育的概况介绍美国的自动控制教育,以为借鉴。     

John Mccarty奖及其首次获奖者Boy-Moore

<正> 1.Mccarthy奖及其首次获奖者 随着计算机的高速发展和广泛应用,一些关键计算机软件中的程序隐患造成的耗费越来越大,消除这些程序隐患的呼声也愈来愈高。目前,遍及世界的计算机科学工作者正采用不同的途径研究程序正确性证明问题。许多程序证明专家(如荷兰技术大学的E.W.Dijkst-ra、英国爱丁堡大学的R.M.Burstall、以色列魏司曼学院的A.Pnueli、美国斯坦福大学的Z.Manna、美国斯坦福研究院的J.A.Go-guen、美国奥斯丁得克萨大学的R.S.Boy-er和J.S.Moore等)提出了这样的观点,即     

PLCopen董事会新增成员

作为PLCopen董事会，我们很高兴宣布Ken Ryan先生的加入。Kenneth J．Ryan博士是亚历山大技术学院机电应用中心主任，该学院位于美国明尼苏达州的亚历山大。他负责机电应用中心的3S CoDeSys资格中心，并且为博世力士乐、Danaher、Eaton Corporation、Parker Hannifin、图尔克、Hyundai和Liebherr公司开发设计IEC61131-3课程。     

认识论应当成为人工智能的主要基础：兼评当前国际上关于人工智能基础之论争

一、引言自从一九六五年人工智能(AI)问世以来,它经历了一条坎坷曲折的发展道路。其间专家系统(ES)的出现,曾使 AI 获得蓬勃的生机,并在八十年代初达到了一个高潮。但好景不长,专家系统因其固有的缺欠已停滞不前,人工智能也随之转入低潮。在这种情况下,近年来国际人工智能界的一些仁人志士不得不对 AI 的基本问题进行反思,这导致了关于 AI 基础问题的一场论争。各派各持已见,排斥异己,争论不休。国际著名刊物《Artificial Intelligence》一九九一年出专辑记录了这场争论的一个侧面。其中有代表性的学派有:N.J.Nilsson 和 J.McCarthy     

数字化艺术的No.1……

第一批计算机艺术作品由美国的S. Ocsey、K. Strond,德国的K. End,澳大利亚的J. Gueet及美国的贝尔电话公司推出;     

E.J.戴维森教授及其研究领域

E.J.戴维森教授是加拿大皇家科学院院士,多伦多大学电子工程系系统控制室主任,IEEE的会士(Fellow),1983年度IEEE自动控制杂志总编辑。 他1938年出生于加拿大多伦多市,1957年毕业于多伦多皇家音乐学校(钢琴),1960年取得多伦多大学工程物理学学士,1961年取得该大学应用数学硕士,1964年在英国剑桥大学获得控制工程博士学位(Ph.D.),1977年荣获该校的科学博士(Sc.D.)。     

JANUS报告会在京举行

<正> 华北计算技术研究所、北京市计算机软件中心、北京统一场技术研究会与香港辉兄弟进出口有限公司于6月28日在京联合举办"JANUS软磁盘报告会".美国JANUS软磁盘曾在1984年美国工业市场调查评比中名列前茅,享有较高的市场信誉,今年以来这种产品开始进入我国市场.这次报告会的主办单位邀请了美国JANUS公司副总裁罗杰斯·哥尔温博士来华讲座,使更多的国     

什么是tinyML?

引言 机器学习(ML)作为人工智能的一个子类,在各个领域(包括大气科学和计算机视觉)都得到了广泛的应用.正如哈佛大学博士 Matthew Stewart所说,tinyML是一个新兴的发展学科,它能够在资源受限的微控制器上实现低资源消耗、低功耗的机器学习算法. C.J.Abate:让我们从您的背景开始.您是什么时候对机器...     

你了解鼠标吗？

在键盘诞生15年后的1963年,鼠标,当今电脑上最常用的输入工具,在斯坦福研究所(位于美国加利福尼亚州的Menlo Park)诞生了。经历了38年的风风雨雨,鼠标的家族不断壮大,而你又对它了解多少呢?