文章插图
陆汝占【陆汝占】从事新型程式语言、推理技术与定理证明器研究 。现主要研究自然语言理解与语义理论 。在《中国科学》、《计算机学报》、《软体学报》等一级学报上发表论文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摘引 。
- 重脸术
- 图书名称 新木偶奇遇记
- 地峡
- 川贝银耳炖梨
- 点校本二十四史修订本 史记
- 蚊子声波
- 第三猪皇
- 辣椒腌制能存放多久时间 辣椒腌制能存放多长时间
- 云南西双版纳什么月份旅游 云南西双版纳最佳旅游月份
- 2012最新版考研政治真题解读