變更

陆汝钤

增加 1,251 位元組, 3 年前

無編輯摘要

截至2019年77月，陆汝钤发表论文200余篇，撰写和主编出版著作十余部。其中两卷本《人工智能》在中国国内被许多高校用为教材;《计算机语言的形式语义》及其两卷扩充版《计算系统的形式语义》系统地总结了该领域的成果;《Knowware the third star after hardware and software》在国际上介绍了知件的创新思想及研究成果;《软件移植:原理和技术》、《专家系统开发环境》、《Domain modeling based software engineering-a formal approach》和《Automatic generation of computer animation》分别系统总结了XR计划、《天马》、《天鹰》、《天鹅》四个项目及有关成果;《Algol68导引》是中国国内唯一研究Algol68语言的专著，所有这些中英文专著中陆汝钤均为唯一、第一作者。

{| class="wikitable" width=100%|-style="background:#006699; color:white; font-weight:bold; text-align:center;"| 出版日期 || 名称 || 作者 || 出版社|-| 2017.01 || 《计算系统的形式语义下》 || 陆汝钤著 || 北京:清华大学出版社|-| 2017.01 || 《计算系统的形式语义上》 || 陆汝钤著 || 北京:清华大学出版社|-| 2003.01 || 《知识科学与计算科学》 || 陆汝钤主编 || 北京:清华大学出版社|-| 2000.06 || 《人工智能》 || 陆汝钤 ||北京:科学出版社|-| 1996.09 || 《人工智能下》|| 陆汝钤编著 || 北京:科学出版社|-| 1996.09 || 《人工智能下》 || 陆汝钤编著 || 北京:科学出版社|-| 1994.04 || 《专家系统开发环境》 || 陆汝钤等著 || 北京:科学出版社|-| 1993.04 || 《数学、计算、逻辑》 || 陆汝钤著 || 长沙:湖南教育出版社|-| 1992.12 || 《计算机语言的形式语义》 || 陆汝钤编著 || 北京:科学出版社|-| 1989.08 || 《人工智能上》 || 陆汝钤编著 || 北京:科学出版社|-| 1985 || 《CCITT高级语言(CHILL)CCITT第七次全会文件》 || 陆汝钤译 || 北京:人民邮电出版社|-| 1982.08 || 《算法语言 ALGOL68 修改报告》 || 范维恩加登编;陆汝钤译 || 北京:科学出版社|-| 1977.12 || 《算法语言ALGOL68报告》 || A.V.维恩加登主编;陆汝钤译 || 北京:科学出版社|}

'''承担项目'''

时间项目名称项目来源

{| class="wikitable" width=100%

|-style="background:#006699; color:white; font-weight:bold; text-align:center;"

|年份||劇名||角色||性質

|-

| 2008年 || 在地球 || 金在中 ||男主角

|-

| 2009年 || 邮递员|| 申在俊 ||男主角

|-

| 2012年 || 胡狼来了 || 崔贤||男主角

|}

1998年-2001年常识性知识的实用研究(69733020) 国家自然科学基金重点项目

1996年-1997年软件新工具和新技术研究(96-729-01-06) 国家攻关项目

年度论文名称作者学位授予单位学位

{| class="wikitable" width=100%

|-style="background:#006699; color:white; font-weight:bold; text-align:center;"

|年份||劇名||角色||性質

|-

| 2008年 || 在地球 || 金在中 ||男主角

|-

| 2009年 || 邮递员|| 申在俊 ||男主角

|-

| 2012年 || 胡狼来了 || 崔贤||男主角

|-

| 2008年 || 在地球上 || 金在中 ||男主角

|-

| 2009年 || 天国的|| 申在俊 ||男主角

|-

| 2012年 || 胡狼来|| 崔贤||男主角

|-

| 2008年 || 在地球 || 金在中 ||男主角

|-

| 2009年 || 天国的|| 申在俊 || 男主角

|-

| 2012年 || 胡狼来了 || 崔贤||男主角

|}

2012 基于不分明量子逻辑的计算理论卢献中国科学院研究生院博士

2010 维数约简中的若干问题何力复旦大学博士

Lzja

28,631

次編輯