陆汝钤科研成就科研综述多元复变函数论研究陆汝钤早期从事多元复变函数论研究，首先在一大类非对称可递域上建立起调和函数论，正面回答了在Cartan猜想被否定以后，学术界对非对称可递域上能否建立调和函数论的疑惑
形式语义学研究在形式语义学方面，陆汝钤研究了逻辑语义、代数语义和分布式语义，证明了任意Horn子句集的模型论语义和最小不动点语义的等价性；给出了能描述动态控制结构的基调式代数语义；把平面的Petri网扩展成多页的Petri/Riemann网（P/R网）作为进程模型，获得了演算的最大真并发结构
计算机科学研究1972年起，陆汝钤进入计算机科学领域，1972年—1974年研制了DJS-21机上Algol60编译程序改进版
1975年—1981年倡导并主持旨在软件机械生成和自动移植的系列软件计划（XR计划），提出了可统一各类优先文法的广义优先文法，给出了有效的分析算法及相应的正确性证明
知识工程研究1982年—1984年，陆汝钤设计并主持开发集逻辑过程和产生式于一体的模块式知识工程语言TUILI
1987年—1990主持国家七五攻关项目“专家系统开发环境”，完成大型专家系统开发环境《天马》的研制，应用于国防和经济领域
1988年提出Pseudo-Natural Language Understanding （PNLU, 类自然语言理解）方法，作为一种简易但有效的从书面语言素材自动获取知识以快速构造基于知识的系统的《天蜂》技术，可把ICAI（智能计算机辅助教学）生成技术从初期的手工编制、和后来主流的用写作软件编制，推进到基于知识的自动生成；将PNLU应用于软件工程的需求分析则形成一套基于知识的管理软件快捷开发技术《天鹰》
1994年—1997年研究常识问题，设计并建设了面向agent和本体的大型常识知识库《盘古》
在此基础上实现了一个少儿图灵测试系统和成功的少儿图灵测试
2005年提出“知件”和“知识中间件”概念，作为从软件中分离出来的领域知识的独立商品化形式
并进一步研究了知件工程、基于知件的软件工程、软件/知件协工程及其生命周期模型
拓展了基于量子逻辑的格值量子有限自动机，给出并证明了其上的广义泵引理
证明了希尔伯特空间上的该类量子自动机全体对复空间维数n构成一个真包含谱系
研究了量子进程代数的代数语义，证明了两个量子进程代数双模拟当且仅当相应的种子代数深度同构
陆汝钤在国际上首次给出大知识的10 MC特征刻画并进行了系统研究，给出了各个MC特征的定性和定量参考标准，进一步地给出了大知识工程的初步定义及其生命周期模型
人工智能研究1985年在国际上率先研究异构型分布式人工智能（DAI），把机器辩论引进人工智能
设计并主持实现分布式逻辑推理和基于分布式推理的城市交通管理软件
1990年—1995年提出一套全过程计算机支持动画自动生成技术《天鹅》，在艺术创造领域发展了人工智能
学术论著截至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语言的专著，所有这些中英文专著中陆汝钤均为唯一、第一作者
出版日期名称作者出版社2017.01《计算系统的形式语义 下》陆汝钤著北京：清华大学出版社2017.01《计算系统的形式语义 上》陆汝钤著北京：清华大学出版社2003.01《知识科学与计算科学》陆汝钤主编北京：清华大学出版社2000.06《人工智能》陆汝钤北京：科学出版社1996.09《人工智能 下》陆汝钤编著北京：科学出版社1994.04《专家系统开发环境》陆汝钤等著北京：科学出版社1993.04《数学、计算、逻辑》陆汝钤著长沙：湖南教育出版社1992.12《计算机语言的形式语义》陆汝钤编著北京：科学出版社1989.08《人工智能 上》陆汝钤编著北京：科学出版社1985《CCITT高级语言（CHILL）CCITT第七次全会文件》陆汝钤译北京：人民邮电出版社1982.08《算法语言 ALGOL68 修改报告》范维恩加登编；陆汝钤译北京：科学出版社1977.12《算法语言ALGOL68报告》A.V.维恩加登主编；陆汝钤译北京：科学出版社承担项目时间项目名称项目来源1998年—2001年常识性知识的实用研究（69733020）国家自然科学基金重点项目1996年—1997年软件新工具和新技术研究（96-729-01-06）国家攻关项目1996年—1997年智能软件工具的概念模型研究（96-729-01-06-09）国家攻关项目 科研成果奖励截至2018年11月，陆汝钤先后获得中国科学院重大成果一等奖一项，中国科学院科技进步一等奖一项，国家科技进步二等奖一项
还获得科普创作一、二、三等奖，在第三和第四次中国科普作协代表大会上两次被评为“建国以来，特别是科普作协成立以来成绩突出的科普作家”
时间项目名称奖励名称1978年全国科学大会先进集体奖1983年中国科学院重大成果一等奖1992年中国科学院科技进步一等奖1993年国家科技进步二等奖《计算机科学技术名词第三版》中国计算机学会杰出贡献奖
以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。
