陆汝占 _生活百科

文章插图
陆汝占【陆汝占】从事新型程式语言、推理技术与定理证明器研究。现主要研究自然语言理解与语义理论。在《中国科学》、《计算机学报》、《软体学报》等一级学报上发表论文40篇，其中多篇被EI、美国CCA摘引。
基本介绍中文名：陆汝占
国籍：中国
毕业院校：南京大学
职称：教授
个人简介所属学科: 软体与理论学科组;二级学科博士点：计算语言学研究方向：汉语语料库加工技术，汉语内涵逻辑模型及其套用，基于概念内涵的智慧型检索（网际网路、图书情报），对话理解系统，语义web1964年南京大学数理逻辑专业毕业，1981年南京大学数理逻辑专业获硕士学位，1981年至今在上海交通大学计算机系工作。1986年获副教授职称，1990年获教授职称，1993年为博士生导师。1991年至1992年底在德国柏林工业大学访问。现为上海师範大学语言研究所、贵州大学计算机系兼职教授、博士生导师。教育科研从事新型程式语言、推理技术与定理证明器研究。现主要研究自然语言理解与语义理论。在汉语语义形式化工作方面有特色。主持过的国家级科研项目包括：“方程式语言”，国家自然科学基金，1988至1992年；“智慧型语言的执行机制研究”，国家自然科学基金，1991至1992年；“汉语语义计算框架结构研究”，国家自然科学基金，1996至1997年；“高阶逻辑定理证明技术”，国家自然科学基金，1997至1999年；“语义解释的智慧型计算理论”，国家863项目，1994至1995年；“自然语言处理中的语义和语用——汉语计算语义形式化”，国家863项目，1999至2000年。“汉语水平测试机助自适应考试框架研究和系统开发”，国家汉办项目，1999至2000年。目前主要研究课题有：“双语机器翻译及语料库句法分析”、“汉语辞书编纂系统”“汉语水平考试HSK机助自适应系统”、“汉语平衡语料库建设与加工技术”、“汉语句法分析器研究”、“实用对话理解系统（电话/网际网路）”、“汉语LFG分析器”、“汉语语义电子词典”、“汉语语义模型及分析技术” 。最新研究课题：汉语概念内涵逻辑模型、基于概念内涵的智慧型检索（面向新一代网际网路、图书情报检索）、手持设备语音文字处理技术、多语种複合结构自动对齐。发表文章着色归结、PI碰撞，计算机学报1987,vol.10,No.12.程式变换中的终止性保持问题，计算机学报1988,vol.11,No.4.定理证明环境KTPE系统的实现与套用，计算机学报1988，vol.11,No.8.具有代数运算元Lambda演算系统的模型构造，软体学报1990，vol.1,No.3.重写系统和合流性，中国科学（A辑）1991,vol.1.方程式语言及其实现，软体学报1992,vol.3,No.2.模式化简序与重写系统的终止性，软体学报1992， vol.3,No.3.动态逻辑与形式语义，全国第二届计算语言学会议，1993 。动态逻辑语义理论DLPW，ICCC’94，Singapore.邻属关係与逻辑语义解释－兼议形式化方法，《世界汉语教学》，1996，第1期寻求对外汉语教学和计算机共同适用的语义解释方法，第五届国际汉语教学讨论会论文选，北京大学出版社，1997 。隐含型语句函子的求解方法，全国第四届计算语言学会议，1997 。构造性逻辑作为自然语言的模型增长理论，软体学报，1997 Vol.8 No.3基于配对方法的自动定理证明,软体学报1997， vol. 8,No. 4.在情景模型下求解函子预设成分，语言文字套用，1998 No.2基于轨迹的程式语义之一：轨迹与语义对象，软体学报，1998 Vol.9 No.5从汉语句子中提取逻辑函子的一种方法，软体学报，1998 Vol.9 No.6词典编纂计算机化的若干问题，语言文字套用，1999 No.2一个汉语句法分析器的设计和实现, 全国第五届计算语言学联合学术会议，1999 。双向图分析器的改进, 全国第五届计算语言学联合学术会议，1999 。基于计算机理解的存现句的结构分类特徵及语义特徵，全国第五届计算语言学联合学术会议，1999 。一种可扩展的汉语指同求解方法，上海交通大学学报，1999 Vol.33 No.11一种可训练的快速汉语部分句法分析方法，软体学报，2000.11一种混合型的汉语篇章结构自动分析方法，软体学报，2000.11基于XML的汉语语料库标準化建设，“中国XML2000技术研讨会”论文集，2000.12“是”的内涵逻辑语义解释，“全国第六届计算语言学联合学术会议”论文集，2001.8内涵时态逻辑的语义解释系统，“全国第六届计算语言学联合学术会议”论文集，2001.8情景中汉语指示代词短语解释的形式化，“全国第六届计算语言学联合学术会议”论文集，2001.8限定领域中汉语语义求解的方法——类型逻辑语义学套用初探，“全国第六届计算语言学联合学术会议”论文集，2001.8汉语内涵逻辑及其套用，“辉煌二十年——中国中文信息学会二十周年学术会议”论文集，2001.11主要成就在《中国科学》、《计算机学报》、《软体学报》等一级学报上发表论文40篇，其中多篇被EI、美国CCA摘引。