中科院数学所计算机科学室的前身是数学所计算站,成立于1972年,分为两个组:软件和硬件组、方法和程序组。1980年其中的软件研究人员正式成立计算机科学室。陆汝钤院士为首任室主任。周龙骧研究员为第二任室主任。
- 现在,计算机科学室由陆维明研究员担任室主任,由金芝研究员担任室副主任,共有七位研究人员。
- 研究工作与获奖
- 中科院数学所计算机科学室是我国知识工程和基于知识的软件工程的发源地之一。主要研究工作如下:
- 在知识工程方面,陆汝钤院士主持研制成功知识工程语言TUILI和大型专家系统开发环境《天马》。其中,《天马》已应用于国防和经济等20多个领域,取得了重要的经济和社会效益。为解决知识工程中的瓶颈问题,还研究出基于类自然语言理解的一套知识自动获取技术,应用于基于知识的应用软件自动生成。
- 在软件工程方面,陆汝钤院士倡导并主持完成了以软件的机械化生成和移植为目标的系列软件计划(XR计划),推动了当时国产机软件缺乏问题的解决。后来进一步把类自然语言理解和软件工程中的领域分析和领域建模结合起来,促进了管理软件开发的自动化。
- 在人工智能和计算机艺术方面,陆汝钤院士还研究并主持研制了一套全过程计算机辅助动画生成技术,从受限自然语言理解开始,把中文童话故事自动转换成动画片,让计算机模拟脚本改编,电影导演和摄影师的功能,在艺术创造领域发展了人工智能技术。
- 这一系列工作获得国内外学术界的好评。由于这些成果,陆汝钤院士领导的科研集体曾荣获全国科学大会先进集体奖,中科院重大科技成果一等奖,中科院科技进步一等奖和国家科技进步二等奖。
- 在陆汝钤院士工作的影响下,该室成员在数据库技术、电子商务、Petri网、自然语言理解、基于知识的需求工程等方面均作出了很好的工作。因此获得中科院盈科优秀青年人才奖,并有两人获得中创软件人才奖。
- 主持的科研项目
- 1.主持国家七·五重点攻关项目《知识工程环境》,国家八·五重点攻关项目《实用智能工具集的开发》,国家九·五重点攻关项目第一期《智能软件工具的概念模型研究》,国家九·五重点攻关项目第二期《基于领域分析的软件开发技术》。这些项目均由陆汝钤院士负责,全国先后有南京大学、中科院软件所、吉林大学、上海交通大学等单位的近百人参加了这些项目。
- 2.主持国家863高技术课题《面向对象的软件技术》,《基于本体论的领域分析和领域建模》,和《基于知识的需求工程》(编号2001AA113130)。这些项目由金芝研究员和陆汝钤院士合作主持。
- 3.主持国家自然科学基金重点项目《常识知识的实用研究》(编号69733020)。由陆汝钤院士主持,有清华大学、中山大学、中科院计算所等单位参加。
- 此外还曾主持中科院院长特别基金、国家自然科学基金等重要项目。
- 学术交流活动
- 中科院数学所计算机科学室还与国际科研单位进行了广泛的学术交流和项目合作。包括:
- 1. 与法国国家科学院IRISA合作承担中法合作项目。
- 2. 与英国Ulster大学共同承担英国皇家学会的中英合作项目。
- 3. 与俄国科学院圣比得堡信息技术研究所的中俄合作项目。
- 除此之外,计算机科学室还与德国、澳大利亚等国家的科研院所和大学建立了长期的交流和合作关系。
- 主要研究方向
- 中科院数学所现在和将来的主要研究方向包括:人工智能和知识工程,包括:
- 1. 研究计算机计算机动画自动生成中的相关理论和技术;
- 2. 研究基于知识的软件工程的相关理论和技术;
- 3. 基于机器学习的生物信息学技术。
- 4. 多媒体数据库和电子商务
- 5. Petri网
- 研究生培养
- 中科院数学所计算机科学室的计算机软件和理论的硕士培养点、博士培养点以及博士后流动站,均设立在中国科学院数学与系统科学研究院(前身为中科院数学所)中,是我国改革开放后首批建立的。这些年来共培养了硕士、博士、博士后百余名,她 (他) 们分布于国内外科研、大学与IT行业公司中。
- 由于培养过程中应用与理论并重,获得学位的学生在各个行业均表现十分出色。比如,不少已提升为教授,正在培养博士生;有的己是国际著名公司NOKIA研究中心的首席科学家 (约15O名研究人员,首席科学家共3名) ;有的在海外研学有成,己为中科院百人计划吸引归来;有的在国内信息安全领域已是举足轻重的公司董事长、总经理;有的己是国际著名金融公司的高级白领……
- 在学习期间,由于导师和同学的共同努力,她 (他) 们也曾获得过多种奖励,包括,中国科学院院长奖,华为奖,刘永龄奖等。