基本介紹
- 中文名：陸汝占
- 國籍：中國
- 畢業院校：南京大學
- 職稱： 教授
個人簡介,教育科研,發表文章,主要成就,
個人簡介
所屬學科: 軟體與理論學科組;二級學科博士點：計算語言學
研究方向：漢語語料庫加工技術，漢語內涵邏輯模型及其套用，基於概念內涵的智慧型檢索（網際網路、圖書情報），對話理解系統，語義web
1964年南京大學數理邏輯專業畢業，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摘引。
