开设课程

《行业信息化》

《操作系统与系统软件》

《系统分析与设计》

《操作系统》

《UNIX与C》

科研项目

1.2001.1-2003.12，主持国家自然科学基金项目“面向AGENT的行动推理研究” 

2.1998.1-2000.12，参加国家自然科学基金项目“面对AGENT的智能系统开发环境” 

3.2003.4-2005.12，参加江苏省高技术研究计划项目“面向集成应用软件的工作流技术的研究与应用” 

4.2002.3-2002.12，参加江苏省高级人民法院项目“法院综合信息系统（第二版软件）” 

5.1999.3-2005.12，主持天津市高级人民法院项目“人民法院计算机信息系统应用软件” 

6.1999.3-2005.12，主持江苏省各法院项目“法院综合信息系统（江苏省推广）” 

7.1999.8-2000.8，参加黑龙江省电力公司项目“供电企业数据规划”

科研成果

专著：

1.《操作系统教程》（第三版），高等教育出版社，2003.8 

2.《法律法规检索系统V1.1》，江苏省科委鉴定，1999.5；江苏出版总社，1999年第一版，2003年1.1版

论文：

1.多线程技术的研究与应用，计算机研究与发展，37（4），2000 

2.AODE中Agent通信机制的设计与实现，模式识别与人工智能，13（1），2000 

3.意向驱动的AOP语言AOPLID，南京大学学报，36（5），2000 

4.法院综合信息管理系统的实现技术，计算机应用与软件，18（12），2001 

5.基于混合学习算法IHMCAP的故障诊断模型，自动化学报，26（4），2000 

6.The Technology of Object-Oriented On-line Analytical Processing,6th International Conference fot Young Computer Scientist,2001 

7.逻辑AI中容变能力的研究，计算机科学，30（9），2003 

8.一种分类挖掘算法及其应用，南京大学学报，36（2），2001 

9.Robocup中基于效果操作：动态行为规划模型，南京大学学报，38（5），2003 

10.Research on Auto-extraction and Integration of Web Data Source Model,6th International Conference fot Young Computer Scientist,2001 

11.基于数据仓库的数据挖掘系统原型框架，计算机应用与软件，19（4），2002 

12.一种可更新的查询语言UXQL，计算机应用研究，20（8），2003 

13.一种基于ORDB和软件构件的信息系统构造方法，计算机应用研究，18（2），2001 

14.一种有效的O3LAP多维视图查询算法，计算机工程与应用，39（3），2003 

15.一种对象实视图的增量维护算法OMVIMA，计算机工程与应用，38（24），2002 

16.国家示范性软件学院建设与软件人才培养：从南京大学软件学院创建实践谈起，高教研究与探索，1，2003 

17.一种基于书记仓库的DSS系统的结构框架，计算机应用研究，17（9），2000 

18.行动推理的研究，人工智能进展，清华大学出版社 

19.行动推理中的结果问题，人工智能进展，清华大学出版社 

20.基于数据仓库的司法决策支持系统的设计与实现，全国数据学术会议论文集 

21.基于web的法律法规检索系统的设计与实现，全国数据学术会议论文集

奖励荣誉

1.2000年，南京大学优秀共产党员 

2.2000年，获航天科技集团（南京大学）科技奖励三等奖 

3.2001年，江苏省普通高校优秀共产党员 

4.2001年，“法院综合信息管理系统”获江苏省科技进步二等奖（第一完成人）