浙江专业音响设备:陆汝钤

来源:百度文库 编辑:偶看新闻 时间:2024/06/23 22:16:50
陆汝钤 1935年生于上海市,1959年毕业于德国耶拿大学数学系,后到中国科学院数学研究所工作。1999年当选为中国科学院院士。2000年起加盟复旦大学。 现为研究员、博士生导师。曾任中科院数学研究所副所长、学术委员会主任。
陆汝钤在知识工程和基于知识的软件工程方面,作了系统的、创造性的工作,是我国该领域研究的开拓者之一。倡导、主持并完成以软件的机械化生成和移植为目标的系列软件计划(XR计划),推动早期国产机缺乏软件问题的解决,获全国科学大会先进集体奖和中科院1983年重大成果一等奖。
主持研制知识工程语言TUILI以及大型专家系统开发环境《天马》,其中《天马》已应用于国防和经济的20多个领域,取得重要的经济和社会效益,获1992年中科院科技进步一等奖,1993年国家科技进步二等奖。
为了解决知识工程中的瓶颈问题,他研究出基于类自然语言理解的一套知识自动获取技术,可应用于基于知识的应用软件自动生成,特别是专家系统、ICAI系统和MIS系统的自动生成。该方法有利于把ICAI生成技术从手工编制(第一代),用写作软件编制(第二代),向基于知识自动获取的自动生成(第三代)推进。
之后,陆汝钤进一步把类自然语言理解与软件工程中的领域分析、领域建模结合起来,促进管理软件开发的自动化,并使企业管理人员能够直接介入软件的开发和维护。1994年英国AI WATCH杂志,用整整一页篇幅发表评论指出,这是他们所见到的“以领域知识库支持主流软件开发的第一例”,“很有可能发展为可实用的工业工具”,并就此提出:“看来是欧洲的人工智能/软件工业界与中国的人工智能界建立联系的时候了”。
陆汝钤研究并主持实现一套全过程计算机辅助动画生成技术,其特点是从受限自然语言理解开始,把中文童话故事自动转换成动画片,使计算机模拟脚本改编,电影导演和摄影师的功能,在艺术创造领域内发展人工智能技术。
在形式语义学研究方面,陆汝钤把原来只能描述静态控制结构的代数语义,推广到能描述动态控制结构,使代数语义具备描述完整程序控制结构的能力,从而真正体现“对代数语义来说,程序即抽象数据类型”这一论题。陆汝钤还把数学中黎曼曲面的思想引进PETRI网论,建立了多层PETRI网模型—— P/R网,并应用P/R网给出了CCS的完全真并发语义,彻底解决了其特有的(在双模拟意义下的)语义等价问题。