基本简介

谢立，教授，博士生导师，1942年5月生，1964年毕业于南京大学。1964.8—1978.8在南京大学数学系任助教，1978.8—1980.5在南京大学计算机科学系任助教，1980.5—1985.5在南京大学计算机科学系任讲师，1985.5—1988.12在南京大学计算机科学系任副教授，1988.12在南京大学计算机科学系任教授，1993在南京大学计算机科学系人博士导师，1989.1—1993.2在南京大学计算机科学系任系主任，1993.2—2002在南京大学任副校长，1980年至1982年在美国纽约州大学奥尔巴尼分校作为访问学者，现任南京大学副校长，计算机软件新技术国家重点实验室学术委员会副主任。1994年被授予“国家级有突出贡献的中青年专家“称号。

研究方向：分布计算、并行处理，先进操作系统。先后承担国家“六五”、“七五”、“八五”和“九五”、“863”、攀登计划等30项，获国家级奖4项，省部级奖8项；先后应邀去美国佛罗里达大西洋大学、澳大利亚昆士兰大学、香港中文大学、韩国崇实大学、日本SUN Japan公司和OKI公司等进行讲学。发表论著4本，论文200余篇。

出版著作

1、孙钟秀, 谢立, 费翔林, 衣文国, 谭耀铭，操作系统原理 人民邮电出版社 1980年

2、孙钟秀, 谭耀铭, 费翔林, 谢立, 衣文国，操作系统教程  人民教育出版社 1989年

3、谢立, 孙钟秀，分布式数据处理  国防工业出版社 1990年

4、衣文国, 费翔林, 谭耀铭, 谢立，操作系统习题与实习题集 人民邮电出版社 1985.10

发表论文

1、Ji Hua, Xie Li, A distributed computing model based on multiserver，ACM Operating System Review，1996.10：3-11

2、 Du Xing, Xie Li, Sun Zhongxiu，Time extension: a method to function and time programming，Chinese Science Bulletin, vol.40, no.10, 1995

3、 Xie Li, Du Xing, Chen Jun, Zhong Yuhua and Sun Zhongxiu，An introduction to intelligent operating system KZ2，ACM Operating Systems Review, Vol.29 no.1, 1995

4、hu Genjiang, Xie Li and Sun Zhongxiu，A new methodology of data dependence analysis for arallellzing C++，ACM Sigplan Notice  Vol.30 no.12,  1995

5、heng Yuhua, Xie Li, Sun Zhongxiu，Full or-parallemism and restricted and-parallelism in BTM，J. of Comput. Sci. & Technol. vol.9, no.4,1994

6、ou jiangqiang ,  Xie Li, Dai Fei, Sun Zhongxiu，Adaptive memory coherence algorithms in DSVM，Journal of Computer Science and Technology Vol.9, No.4,1994

7、hu Genjiang, Xie Li, Sun Zhongxiu，The advances in automatically parallelizing compiler，  Chinese journal of advanced software research, vol.1 no.3, 1994

8、hu Genjiang, Xie Li, Sun Zhongxiu，A path-based method of parallelizing C++ programs， ACM sigplan notices, vol. 29 no.2, 1994

9、ie Li, Chen Jun, Wu Junjie, Tan Yaoming, Sun Zhongxiu，KZ10: A knowledge-based operating system，Chinese journal of advanced software research, vol.1 no.4,1994

10、 Li, Du Xing，General natural language for operating systems，SIGART Bulletin, vol.3 no.4, 1993

11、hen Yuhua, Tu Honglei, Xie Li，And-or parallel execution of logic programs: exploiting  dependent  and –parallelism，ACM Sigplan Notices  vol.28 no.5, 1993

12、hou Jianqiang, Xie Li, Sun Zhongxiu, Zhu Genjiang，An adaptive strategy integrating locking  with  optimistic  concurrency control，Journal of compute Sci. & Technnol.vol.8, no.4,1993

13、Du Xing, Xie Li, Sun Zhongxiu，A knowledge-based open model for human computer interaction，Science in China (Series A), vol.36 no.8, 1993

14、Du Xing, Xie Li，Open model methodology: a new  approach  to  the  development  of  user，interfaces based on knowledge processing，Software Engineering Journal (England), vol.7 no.3, 1992

15、Du Xing, Xie Li，Accommodating domain-independence-a new approach to the development  of general natural language interfaces，Engineering Application of AI (England) vol.5 no.2, 1992

16、Xie Li and Sun Zhongxiu, Pu Liang,, Du Xing, Tan Yaoming，KZ1- A prototype of intelligent operating system，Journal of Computer Sci. And Tech. Vol.6 No.3, 1991

17、Chen Jun  Xie Li,Sun Zhongxiu，A Model for Intelligent Task Scheduling in a Large Distributed Systems，ACM Operating Sysmtem Review U.S. Vol.24 No.4 1990

18、Xie Li Du Xing,Sun Zhongxiu，An Approach to General Intelligent Interface for HCI，  Advances in Human Factors/Ergonomics,12B  Elsevier Science Publishers B .V. 1989

19、Xie Li,Chen Pei pei,Yang Pei gen,Sun Zhong xiu，The Design And Implementation of OA System ZGL1，of Computer.Sci.& Tech.Vol.3  No.1  1988

20、Xie Li  D.Rosenkratz，Consistency and Dederminacy of Decomposing Transaction in DBS     Techenic Report SUNYA  1982

21、un Zhongxiu,Xie Li et al，Introduction to DJS200/XT1G，ACM Operating System ReviewU.S.A  P.70  1980

22、谢立，易鉴良，面向对象的分布式程序设计语言DC++，电子学报，1996.N.8

23、茅兵，杜兴，谢立，孙钟秀，基于知识的CSCW人机接口模型，计算机学报,1996.N.3

24、杜兴，谢立，孙钟秀，一种支持移动计算通信的路径算法，软件学报,V.7,N.2,1996

25、汲化，谢立，孙钟秀，一个基于MultiServer系统的分布计算模型，软件学报，1996,V.7,N.3

26、汲化，谢立，孙钟秀，一个支持分布式处理的DRPC模型，软件学报，1996.V.7,S

27、茅兵，杜兴，谢立，设计计算机辅助协同工作系统的几个关键技术，计算机研究与发展, 1996.V.33,N.4

28、汲化，谢立，孙钟秀，ODP系统中的观点及观点规范语言，计算机研究与发展,1996.V.33.N.3

29、黄文倩，茅兵，谢立，KCHCI：一个CSCW系统框架，计算机研究与发展 No.12,1996

30、柳颖，谢立，一个支持并行的可视化程序环境的设计和实现，微型计算机,1996.N.6

31、陆桑璐，谢立，孙钟秀，NOW--并行计算研究的一个新方向，中国计算机用户,1996.N.15

32、陆桑璐，谢立，基于局域网的多媒体通信系统，计算机工程 vol.22 No.6 1996

33、汲化，周笑波，谢立，一个高效可靠的广播通信算法的设计与实现，小型微型计算机系统，1996.N.7

34、李群，谢立，并行文件系统的设计，计算机科学，1996.N.4

35、汲化，陈军，谢立，开放分布式处理及其实例，计算机科学，1996.V.23,N.1

36、,谢立，90年代分布式计算技术，计算机学报,1995,N.3

37、陈军,周笑波,谢立，分布计算的发展方向ODP，南京大学学报,1995,V.31,S

38、吴迎红,周笑波,谢立，一个支持服务动态连接的远程过程调用模型的实现， 南京大学学报,1995.V.31,S

39、谢立,陈军,金志权，基于负载平衡的并行Join关系划分粒度研究，计算机科学,1995.V.22,N.1

40、屠红蕾,谢立,孙钟秀，一个逻辑程序并行执行的粒度控制模型，软件学报,Vol.6, No.11, 1995

41、姚学军,谢立，超立方体上基于缓冲机制的无死锁径算法， 软件学报,Vol.6, No.4,1995

42、谢立,孙钟秀，超立方体上路径算法的无死锁性，计算机学报,Vol.18, No.6,1995

43、佩,蒋蜀,谢立，一个基于Semijoin的并行Join算法SBABJ＋，计算机研究与发展, Vol.32, No.5,1995

44、谢立,陈军,金志权，后期负载调整：一个并行JOIN动态负载平衡算法，小型微型计算机系统,V.16,No.4,1995

45、谢立,孙钟秀，自动并行编译的新进展，软件学报,Vol.4, No.4, 1993

46、谢立,孙钟秀，一种基于非正规域的区域依赖关系分析法，计算机学报,Vol.17, No.3,1994

47、陈佩佩,谢立，并行数据库的研究，计算机研究与发展, V.31, No.1,1994

48、赵宽奇,陈军，逻辑程序的一种并行执行模型，计算机研究与发展, V.31,No.5,1994

49、谢立,孙钟秀，计算机辅助协同工作，计算机科学, Vol.21,No.1,1994

50、谢立,孙钟秀，基于知识的人机接口开放模型，中国科学(A辑), Vol.23,No.3,1993

51、陈军,谭辉铭,孙钟秀，KZ10:一个基于知识的操作系统，软件学报, Vol.4,No.1,1993

52、谢立,孙钟秀，一种新型并行推理机制BTJ，计算机学报, Vol.16,No.9,1993，

53、郑宇华,戴非,谢立，一个支持非独立“与“并行的逻辑程序“与“并行执行模型，计算机研与发展, Vol.30,No.11,1993

54、谢立,孙钟秀，分布式任务调度的智能化及其实验系统KZ2/FRD，计算机学报, Vol.15,No.10,1992

55、强,薛行,谢立，MS-DOS的实时多任务扩充，计算机研究与发展, Vol.29,No.12,1992

56、骆斌,谢立，异构型分布式文件系统ZGL3/FW，计算机工程与应用,总第278期,1992

57、姚学军,蒋蜀,陈军,谢立，异构型网络操作系统KZ2/YWJ，计算机工程与应用,总第278期,1992.08

58、谢立，90年代分布式计算技术，计算机学报,Vol.15, No.3, 1992

59、谢立,孙钟秀,朱根江，K锁算法—一种数据库上的可适应并发展控制策略，    计算机学报,No12,1991

60、骆斌,谢立，异型分布式文件系统ZGL3/FW，计算机工程与应用No.8, 1992

61、姚学军,蒋蜀,陈军,谢立，异构型网络操作系统KZ2/YWJ，计算机工程与应用,No.8, 1992

62、谢立，支持异型分布式系统的电子邮件系统，计算机技术,No6,1991，

63、谢立,何炎祥，分布式计算机系统技术走向实用化，国际学术动态No.2,1991

64、谢立，基于知识的人机交互系统，计算机研究与发展No.9, 1991

65、谢立，分布式问题求解的研究进展，小型微型计算机系统No.5, 1991

66、谢立，一个具有类比学习和概念学习能力的混合学习机制LM，南京大学学报, Vol.26, No.1,  1990

67、孙钟秀,浦良,杜兴,谭耀铭，智能操作系统KZ1，电子学报,Vol.18,No.1,1990

68、谢立,孙钟秀，分布式任务调度研究的新趋向，计算机研究与发展,No.4, 1990

69、谢立等，基于知识处理的分布式任务调度，计算机工程与应用,No.10, 1990

70、薛行,谢立，分布式程序语言C*的设计与实现，计算机工程与应用, No.10, 1990

71、走向实用化的分布式计算系统，计算机工程与应用,No.10, 1990，

72、谢立，一个混合的学习机制，南京大学学报,Vol.26, No.1, 1990

73、谢立，知识库管理系统KZ1/ZG的设计与实现，计算机研究与发展, No.10, 1989

74、浦良,孙钟秀，一个用于人机通信的专家系统，计算机工程,No.2,1989

75、谭耀铭,孙钟秀，智能操作系统初探，计算机研究与发展增刊, 1988

76、陈军,孙钟秀，分布式数据处理系统的安全性，计算机技术,No.4,1988

77、式系统与人工智能，计算机技术,No.3,1988

78、谢立,孙钟秀，智能的人机交互，计算机技术,No.6,1987

79、钟秀，分布式汉字数据库管理系统DataBase-II的设计与实现，计算机学报,Vol.10,No.10,1987

80、周小方,谢立,杨培根,孙钟秀，NQMIS:一个分布式企业管理系统，软件产业,No.8,1987

81、谢立,孙钟秀，政府机关办公自动化系统的设计与实现，计算机技术,No.2,1987

82、金志权，分布式计算机系统的发展趋向，计算机技术,No.1,1987

83微机局部网络系统—南京市政府经济信息管理与办公室自动化系统，南京机械,No.213,1986

84、张德富,谢立,金志权，分布式数据处理的现状及将来，计算机发展战略与对策，研究论文汇编1985.12

85、刘勇,孙钟秀，在分布式数据库中一个基于执程分解的并行控制算法，南京大学学报,计算机专刊之四,1985

86、设计分布式数据库的几个问题，计算机研究与发展Vol.22, No.5,1985

87、国外重视分布式计算系统研究，国际学术动态,No.4,1985

88、微型计算机的数据库系统，微电子学与计算机, No.1,1984

89、谭耀铭,姜恒远,孙钟秀,衣文国,谢立，磁盘操作系统DJS200/XT1P，南京大学学报,No.2,1982

90、谢立等，操作系统DJS200/XT1G，电子学报,No.2,1981

91、操作系统XT1G的接口进程，南京大学学报计算机专刊之三,1980

92、谢立，关于进程的同步问题，南京大学学报计算机专刊之三,1980

93、谢立，操作系统XT1G的内核，南京大学学报计算机专刊之三,1980

94、谢立，XT1G的同步机构，南京大学学报计算机专刊之二,1979

95、谢立等，操作系统DJS200/XT1的结构，南京大学学报,No.1,1979

96、谢立,接口模件—操作系统的一个新概念，国外电子技术,No.12,1978

任职情况

国家计算机软件新技术重点实验室学术委员会副主任

国家教委教学指导委员会委员(信息学科)

国家教委科技委信息学部成员

中国计算机学会开放系统专业委员会副主任

中国软件行业协会理事

江苏省计算机学会理事

江苏省计算机软件行业协会常务理事

江苏省出国留学研究协会理事长

“计算机研究与发展”编委会副主任

“软件学报”编委会委员

“南京大学学报（自然科学版）”编委会委员

IEEE Computer Society会员

学术经历

谢立,1942年5月生于江苏省常熟市虞山镇。1959年进入南京大学数天系数学专业本科读书，1964年毕业于南京大学数理逻辑专业并留校任教。1980-82年美国纽约州大学奥尔巴尼分校访问学者，先后于1980，1985和1988年分别任讲师，副教授和教授，1993年被评为博士生导师。谢立教授长期从事计算机科学的教学和研究工作，出版著作4部。发表论文130多篇，指导研究生50多人，获奖15项。

1974年以来，主要的学术研究活动如下：

1.开展操作系统的研究

1974-1980年，协助主持并负责实施第一个国产大中型计算机系列DJS200的操作系统XTIG的研制与开发，提出了解决系统结构、资源调度、同步机制和死锁避免等新技术。该软件先后在10多台DJS200/20/10计算机上运行,它是国内少数几个最早投入实用的操作系统之一。1986年主持国防科工委军用计算机系列JH4000系统软件的开发和移植。

2.开展分布式计算研究    从1980年开始从事分布式计算研究，主要成就有:

[1]分布式系统设计和实现   研制成功如下分布式计算系统 （a） 分布式计算系统ZCZ。 （b） 分布式数据处理系统ZGL1   ZGL1是一个功能较完善、技术较先进的实用分布式数据处理系统。在网络互连、网络操作系统、分布式数据库、分布式算法、保密技术及应用等方面有特色。它被应用于：*南京市政府局部网络系统。它通过局域网连结了分布于7个大楼内的7个政府部处(其中1个通过光纤连结),是国内较早投入实用的一个自行设计的中小城市办公自动化系统。 *南京汽车制造厂分布式企业管理系统。它通过局域网连结分布于4个大楼内的7个部门, 是国内较早自行设计并投入应用的大中型企业管理信息系统之一。

[2]异构型分布式数据处理    提出了基于PC，SUN工作站和Transputer等不同计算机、操作系统、数据库、编译器和网络的异构互连新技术，实现了异构型操作系统ZGL3，分布式程序设计语言C*和数据保密机制等多个支持异构的分布式数据处理的系统软件。

[3]分布式系统实用化 设计实现了分布式规范描述语言SC++，基于对象的分布式程序设计语言DC++以及网络系统软件Conet1.0。SC++中引入了共享、通信和并发的形式化描述语句，在 DC++中引入了进程组及其通信的描述语句。Conet1.0基于国产操作系统Cosix1.0开发的具有国内外流行网络软件TCP，IP，XDR，RPC，NFS和X.25功能。它的协议规范与国际（工业）标准完全兼容，性能与国际同类产品相当。

3.开展先进操作系统研究 

[1] 智能操作系统    在综合研究操作系统、分布计算和人工智能的许多新技术的基础上, 先后研制成功5个智能操作系统原型。

[2]并行操作系统 并行操作系统的研究瞄准解决万亿次计算机的关键技术。在基于网络工作站（NOW）的大规模并行处理环境中，提出了自适应的任务调度和支持可伸缩的动态迁移技术以及基于DSM的新型并行文件模型。

参加学术会议情况：

(1) G. Zhu, Li Xie and Z Sun     PRG:procedure reference analysis in extracting non-data parallelism     Proceedings of ICA3PP 96  11-13 June 1996, Singapore

(2) Du Xing, Xie Li, Sun Zhongxiu, Zhu Genjiang     An object based approach to specifying and refining distributed systems     HPC 94 CONFERENCE 29-30 Sep.,1994 Singapore

(3) Xie Li, Chen Jun, Sun Zhongxi     The intelligent distributed task scheduling system     HPC 94 CONFERENCE 29-30 Sep.,1994 Singapore

(4).Du Xing, Xie Li, Snn Zhongxiu     An object-based heuristic approach to the specification  refinement  of     distributed systems     Scalable High Performance Computing Conference. Knoxville, U.S.A 1994

(5).Xie Li, Du Xing, Chen Jun, Zheng Yuhua, Luo Bing, Sun Zhongxiu     An intelligent OS for high performance computers     Scalable High Performance Computing Conference Knoxville, U.S.A. 1994

(6).Du Xing, Xie Li     Sharing  screens  and  keyboards  among  Multi- users:   A  distributed     input/output system for collaborative work     5th  International Conference on HCI Orlando, U.S.A. August 1993

(7) Xie Li, Zhu Genjiang, Sun Zhongxiu     A model for automatically parallelzing compiler based on C++     Proc. of 2nd International Computer Science Conference Hong Kong,1992.12

(8) Chen Jun, Xie Li, Sun Zhongxiu     An intelligent network manager for distributed task scheduling     Proc. of ICCC ,Genova, Italy, 1992.9

(9) Xie Li, Du Xing     An open model for developing knowledge-based user interfaces     Proc. of 12th Worlld Computer Congress  Madrid, Spain 1992.9

(10) Chen Jun, Xie Li, Sun Zhongxiu     An expert system for task scheduling     Proc. ICCC 91, Beijing, 1991.10

(11) Jun Chen, Li Xie, Zhongxiu Sun     An introduction to intelligent distributed task scheduling     Proc. ICYCS 91, Beijing, 1991.6

(12) Du  Xing  and Xie  Li     Domain independent approach to the development of NL interface     Proc. Of International Conference Of YCS Beijing, 1991

(13) Xie Li, Du Xing     Open model for intelligent HCI     4th International conference of HCI Stuttgart, Germany 1991

(14) Pu Liang,Xie Li     A machine Learning mechanism in expert system KZ1/RZ     3rd PAN Pacific Computer  Conference.Beijing 1989

(15) Sun Zhongxiu,Xie Li,Yan Peigen,Xue Xing,Zhou Jingq     ZGL2:A DISTRIBUTED DATA PROCESSING SYSTEM BASED ON DIFFERENT LAN     2nd ICAC (Beijing China) 1987.07

(16) Xie Li  Yang Peigen ,Chen Peipei,Sun Zhongxiu     ZGL1:AN OA SYSTEM ADMINISTRATION FOR MUNICIPAL     ICCC/86 Beijing China  1986.10

(17) Xie Li  D.Rosenkratz     The Performance Using  BeforeValuesEvaluation  of  Corcurrency  Control     Policy     Proceedings of Ist ICAC Beijing 1984

(18)杜兴,谢立,孙钟秀     用于智能操作系统的通用自然语言接口     NJC-ACTAC-91,Beijing,1991

(19)陈军,谢立,孙钟秀     智能分布式任务调度系统 KZZ/FRD , NJC-ACTAC-91,Beijing,1991

(20)谢立    智能操作系统     NJC-ACTAC-91,Beijing,1991

(21)陈军,谢立,孙钟秀    一种安全的邮戳密钥分配协议    全国计算机网络会议, 1991.12

(22)谢立  分布式计算控制和分布式数据处理    全国第二次中小型计算机网络分布式计算机控制系统会议,1984

(23)孙钟秀,谢立   一个小型操作系统的结构 会议论文选编,三、(程序系统),1975