求真百科歡迎當事人提供第一手真實資料,洗刷冤屈,終結網路霸凌。

變更

前往: 導覽搜尋

陆汝钤

增加 1,751 位元組, 2 年前
無編輯摘要
| 外文名 =
| 图像 =
[[File:20160929211939793陆汝钤.jpg|缩略图|center|[https://p1image.ssl.qhmsgso.com/t01cc4c8488a76898c6.jpg view?q=%E9%99%86%E6%B1%9D%E9%92%A4&src=tab_www&correct=%E9%99%86%E6%B1%9D%E9%92%A4&ancestor=list&cmsid=58dd695cc315b9f4c66e24421bd4feed&cmras=6&cn=0&gn=0&kn=0&crn=0&bxn=0&fsn=60&cuben=0&pornn=0&manun=0&adstar=0&clw=255#id=0e985ab233ffe729082d38a2dc4c855b&currsn=0&ps=56&pc=56 原图链接] [httpshttp://baikewww.soyidianzixun.com/docarticle/7727243-8001338.html 0KvwVAm7 图片来源一点资讯]]]
| 图像说明 = 中国科学院院士
| 出生日期 = 1935年2月15日
| 职业 = 教育科研工作者
| 知名作品 = 《人工智能》、《计算系统的形式语义》
}}
'''陆汝钤''',1935年2月15日出生于[[上海]],计算机[[科学家]]<ref>[http://sourcedb.cas.cn/sourcedb_ad_cas/zw2/ysxx_xxbwz/xxjskxb/200906/t20090624_1807767.html   陆汝钤 ],中国科学院, 2009-06-24</ref> ,[[中国科学院]]院士<ref>[https://www.sohu.com/a/283588126_100274693 专访中国科学院 陆汝钤 院士 ],搜狐, 20142018-0612-2721</ref>,中国科学院数学与系统科学研究院研究员 ,[[复旦大学]][[教授]]、[[博士生导师]]<ref>[http://yanzhao.bjut.edu.cn/ds/6/2015626/1435286503125_1.html 陆汝钤 ],北京工业大学</ref>
'''陆汝钤''',1935年2月15日出生于上海,计算机科学家,中国科学院院士 ,中国科学院数学与系统科学研究院研究员 ,复旦大学教授、博士生导师。 1959年陆汝钤从德国 [[ 耶拿大学 ]] 数学系本科毕业后进入中国科学院数学研究所工作,先后担任副研究员、研究员、博士生导师;1987年担任中国科学院数学研究所副所长;1991年担任中国科学院数学研究所学术委员会主任;1999年当选中国科学院院士;2000年加盟复旦大学,担任复旦大学计算机学院教授;2002年担任复旦大学智能信息处理开放实验室主任;2003年获得 [[华罗庚]]数学奖<ref>[http://news.sohu.com/75/37/news215133775.shtml 中科院院士石钟慈陆汝钤获 华罗庚数学奖],搜狐, 2003-11-03</ref>;2004年担任上海市智能信息处理重点实验室学术委员会主任 ;2018年获得 吴文俊人工智能最高成就奖 <ref>[https://www.sohu.com/a/280682476_651893 中科院陆汝钤获 吴文俊人工智能最高成就奖 ],搜狐, 2018-12-09</ref>
陆汝钤以人工智能、知识工程和基于知识的软件工程为主要研究方向,是中国该领域研究的开拓者之一,他在国际上率先研究异构型分布式人工智能(DAI),把机器辩论引进人工智能,设计并主持实现分布式逻辑推理和基于分布式推理的城市交通管理软件等成果应用 。
==人物经历==
1935年2月15日,陆汝钤出生于上海,原籍 [[ 江苏 ]][[ 苏州 ]]
1959年,陆汝钤毕业于德国耶拿大学数学系,获得学士学位,同年进入中国科学院数学研究所工作,师从华罗庚院士,并在陆启铿院士指导下从事多元复变函数论研究。先后担任副研究员(1978年起)、研究员(1983年起)、博士生导师(1984年起)。
'''计算机科学研究'''
{{Infobox person | 图像 = [[File:陆汝钤2.jpg|缩略图|center|[https://image.so.com/view?q=%E9%99%86%E6%B1%9D%E9%92%A4&src=tab_www&correct=%E9%99%86%E6%B1%9D%E9%92%A4&ancestor=list&cmsid=58dd695cc315b9f4c66e24421bd4feed&cmras=6&cn=0&gn=0&kn=0&crn=0&bxn=0&fsn=60&cuben=0&pornn=0&manun=0&adstar=0&clw=255#id=da5119865727e0d65501f21aee82622a&currsn=0&ps=56&pc=56 原图链接] [https://new.qq.com/rain/a/20200617A0P9AP00 图片来源腾讯]]]| 图像说明 = 陆汝钤院士}}
1972年起,陆汝钤进入计算机科学领域,1972年-1974年研制了DJS-21机上Algol60编译程序改进版。1975年-1981年倡导并主持旨在软件机械生成和自动移植的系列软件计划(XR计划),提出了可统一各类优先文法的广义优先文法,给出了有效的分析算法及相应的正确性证明。
'''承担项目'''
时间 项目名称 项目来源
{| class="wikitable" width=100%
|-style="background:#006699; color:white; font-weight:bold; text-align:center;"
| 年份时间|| 项目 || 角色||性質项目来源
|-
| 2008 1998年-2001 年 || 在地球 常识性知识的实用研究(69733020) || 国家自然科学基 在中 ||男主角重点项目
|-
| 2009 1996年-1997 年 || 邮递员软件新工具和新技术研究(96-729-01-06)|| 申在俊 ||男主角国家攻关项目
|-
| 2012 1996年-1997 年 || 胡狼来了 智能软件工具的概念模型研究(96-729-01-06-09) || 崔贤||男主角国家攻关项目
|}
1998年-2001年 常识性知识的实用研究(69733020) 国家自然 ''' 学基金重点项目1996年-1997年 软件新工具和新技术研究(96-729-01-06) 国家攻关项目1996年-1997年 智能软件工具的概念模型 究(96-729-01-06-09) 国家攻关项目成果奖励'''
'''科研成果奖励'''
截至2018年11月,陆汝钤先后获得中国科学院重大成果一等奖一项,中国科学院科技进步一等奖一项,国家科技进步二等奖一项。还获得科普创作一、二、三等奖,在第三和第四次中国科普作协代表大会上两次被评为"建国以来,特别是科普作协成立以来成绩突出的科普作家" 。
1978年, 全国科学大会先进集体奖
1983年, 中国科学院重大成果一等奖<ref>[https://www.sohu.com/a/272874561_505819 央视报道丨陆汝钤院士获首位人工智能最高成就奖 ],搜狐, 2018-11-02</ref>
1992年, 中国科学院科技进步一等奖<ref>[https://baike.sogou.com/v5929278.htm?fromTitle=%E9%99%86%E6%B1%9D%E9%92%A4   陆汝钤 ],搜狗</ref>
1993年, 国家科技进步二等奖
截至2017年7月,根据全国图书馆参考咨询联盟显示,陆汝钤在北京工业大学 、中国科学院计算技术研究所、复旦大学、贵州大学 、中山大学一共培养了60多名博士生和硕士生,具体培养的博士生情况如下 :
年度 论文名称 作者 学位授予单位 学位
{| class="wikitable" width=100%
|-style="background:#006699; color:white; font-weight:bold; text-align:center;"
|年 || 论文 || 角色作者|| 性質学位授予单位||学位|-| 2012 || 基于不分明量子逻辑的计算理论 || 卢献 ||中国科学院研究生院 ||博士
|-
| 2008年 2010 || 在地球 维数约简中的若干问题|| 金在中 何力 ||复旦大学 || 男主角博士
|-
| 2009年 2004 || 邮递员关联规则挖掘的取样复杂性分析 || 申在俊 贾彩燕|| 男主角中国科学院研究生院 ||博士
|-
| 2012年 2004 || 胡狼来了 量子信息处理中的纠缠态及其应用 || 崔贤李晓宇 || 男主角中国科学院研究生院 ||博士
|-
| 2008年 2004 || 在地球上 描述逻辑SHOIN(D)的常识性扩展研究|| 金在中 王淞昕 || 男主角复旦大学 ||博士
|-
| 2009年 2003 || 天国 量子自动机 研究|| 申在俊 郑红||中国科学院研究生院 || 男主角博士
|-
| 2012年 2002 || 胡狼来虚拟企业模型与实现技术研究 || 崔贤陈刚 || 男主角中国科学院研究生院 ||博士
|-
| 2008年 1996 || 在地球 关于运动规划问题的研究|| 施海虎 || 金在 国科学院研究生院 || 男主角博士
|-
| 2009年 1993 ||Towards an Expert-Oriented Knowledge Acquisition Methodology || 天国的曹存根|| 申在俊 中国科学院研究生院 || 男主角博士
|-
| 2012年 || 胡狼来了 1993 || 崔贤||男主角|} 2012 基于不分明量子逻辑的计算理论 卢献 中国科学院研究生院 博士2010 维数约简中的若干问题 何力 复旦大学 博士2004 关联规则挖掘的取样复杂性分析 贾彩燕 中国科学院研究生院 博士2004 量子信息处理中的纠缠态及其应用 李晓宇 中国科学院研究生院 博士2004 描述逻辑SHOIN(D)的常识性扩展研究 王淞昕 复旦大学 博士2003 量子自动机的研究 郑红 中国科学院研究生院 博士2002 虚拟企业模型与实现技术研究 陈刚 中国科学院研究生院 博士1996 关于运动规划问题的研究 施海虎 中国科学院研究生院 博士1993 Towards an Expert-Oriented Knowledge Acquisition Methodology 曹存根 中国科学院研究生院 博士1993 基于语用学的故事理解研究 || 李小滨 || 中国科学院研究生院 || 博士|-| 1991 || 领域问题分类研究 || 吴建敏 || 中国科学院研究生院 || 博士|-| 1991 || 分布式解题系统若干基本问题研究 || 赵致琢 || 中国科学院研究生院 || 博士|-| -- || 多媒体ICAI及语音合成研究 || 陈卫芹 || 中国科学院研究生院 || 博士|-| -- || 面向 Agent 的需求分析 || 刘璘 || 中国科学院研究生院 ||博士|-| -- || 遗传算法的理论、技术及在科学发现中的应用 || 韩战钢 || 中国科学院研究生院 ||--|} {{Infobox person | 图像 = [[File:陆汝钤3.jpg|缩略图|center|[https://image.so.com/view?q=%E9%99%86%E6%B1%9D%E9%92%A4&src=tab_www&correct=%E9%99%86%E6%B1%9D%E9%92%A4&ancestor=list&cmsid=58dd695cc315b9f4c66e24421bd4feed&cmras=6&cn=0&gn=0&kn=0&crn=0&bxn=0&fsn=60&cuben=0&pornn=0&manun=0&adstar=0&clw=255#id=bae4ea798cec75db8e2d63635c156648&prevsn=0&currsn=60&ps=113&pc=57 原图链接] [https://baijiahao.baidu.com/s?id=1603051243602982105 图片来源百度]]]| 图像说明 = 著名科学家 陆汝钤}}
===荣誉表彰===
1988年, 国家级有突出贡献的中青年专家
28,117
次編輯