以文本方式查看
- 宝树网 (http://www.xieshi.org/)
-- 宝树论坛 (http://xieshi.org/forum.asp)
--- 现代谢氏名人 (http://xieshi.org/forum_list.asp?forum_id=12)
---- 谢立 中国科学院院士候选人，南京大学副校长，教授(1942～)
(http://xieshi.org/forum_list.asp?forum_id=12&view_id=947)
|
|
-- 作者：xiedaihe
-- 时间：2006/6/19 23:26:32
-- 谢立 中国科学院院士候选人，南京大学副校长，教授(1942～)
谢立，男，汉族，1942年5月生，江苏省常熟市人，1964年毕业于南京大学。1980年至1982年在美国纽约州大学奥尔巴尼分校作为访问学者，中国科学院院士候选人，现任南京大学副校长，教授，博士生导师，计算机软件新技术国家重点实验室学术委员会副主任。
1994年被授予"国家级有突出贡献的中青年专家"称号。 目前研究方向是分布计算、并行处理，先后承担国家“六.五”、“七.五”、“八.五”和“九.五”、“863”、攀登计划等30项，获国家级奖4项，省部级奖8项；先后应邀去美国佛罗里达大西洋大学、澳大利亚昆士兰大学、香港中文大学、韩国崇实大学、日本SUNJapan公司和OKI公司等进行讲学。发表论着4本，论文200余篇。
2003年、2005年和2009年为中国科学院院士候选人。
[本贴已被 作者 于 2009年06月08日 16时06分14秒 编辑过]
|
|
-- 作者：xiedaihe
-- 时间：2006/6/19 23:33:22
--
主要学习简历:
1959.9-1964.8 南京大学数理逻辑专业学士
1980.9-1982.8 美国纽约州大学奥尔巴尼分校计算机软件专业访问学者
主要经历:
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- 南京大学 副校长
主要研究方向:
1.分布式计算
2.并行处理
3.先进操作系统
[本贴已被 作者 于 2006年10月26日 14时15分19秒 编辑过]
|
|
-- 作者：xiedaihe
-- 时间：2006/6/19 23:35:20
--
社会兼职情况:
国家计算机软件新技术重点实验室学术委员会副主任
国家教委教学指导委员会委员(信息学科)
国家教委科技委信息学部成员
中国计算机学会开放系统专业委员会副主任
中国软件行业协会理事
江苏省计算机学会理事
江苏省计算机软件行业协会常务理事
江苏省出国留学研究协会理事长
“计算机研究与发展”编委会副主任
“软件学报”编委会委员
“南京大学学报（自然科学版）”编委会委员
IEEE Computer Society会员
学术研究活动:
1974年以来，主要的学术研究活动如下：
1.开展操作系统的研究
1974-1980年，协助主持并负责实施第一个国产大中型计算机系列DJS200 的操作系统XTIG的研制与开发，提出了解决系统结构、资源调度、同步机制和死锁避免等新技术。该软件先后在10多台JS200/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的新型并行文件模型。
[本贴已被 作者 于 2006年10月26日 14时17分30秒 编辑过]
|
|
-- 作者：xiedaihe
-- 时间：2006/10/26 14:18:25
--
主要学术论文:
(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) Zhu 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) Zheng Yuhua, Xie Li, Sun Zhongx
Full or-parallemism and restricted and-parallelism in BTM
J. of Comput. Sci. & Technol. vol.9, no.4,1994
*(6).Zhou 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) Zhu Genjiang, Xie Li, Sun Zhongxiu
The advances in automatically parallelizing compiler
Chinese journal of advanced software research, vol.1 no.3, 1994
*(8) Zhu Genjiang, Xie Li, Sun Zhongxiu
A path-based method of parallelizing C++ programs
ACM sigplan notices, vol. 29 no.2, 1994
*(9) Xie 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).Xie Li, Du Xing
General natural language for operating systems SIGART Bulletin, vol.3 no.4, 1993
*(11).Zhen 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).Zhou 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 an OA System ZGL1
J.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) Sun 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
|
|
-- 作者：xiedaihe
-- 时间：2006/10/26 14:19:06
--
(41)周建强,姚学军,谢立
超立方体上基于缓冲机制的无死锁径算法
软件学报,Vol.6, No.4,1995
*(42)周建强,谢立,孙钟秀
超立方体上路径算法的无死锁性
计算机学报,Vol.18, No.6,1995
(43)陈佩佩,蒋蜀,谢立
一个基于Semijoin的并行Join算法ＳＢＡＢＪ＋
计算机研究与发展, Vol.32, No.5,1995
*(44)葛芝宾,谢立,陈军,金志权
后期负载调整：一个并行ＪＩＯＮ动态负载平衡算法
小型微型计算机系统,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)谢立,肖伦,孙钟秀
分布式汉字数据库管理系统DdBase-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
|
|
-- 作者：xiedaihe
-- 时间：2006/10/26 14:20:06
--
主要学术会议情况
(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
|
|
-- 作者：xiedaihe
-- 时间：2006/10/26 14:20:54
--
主要专著简介
《操作系统原理》
作 者：孙钟秀, 谢立, 费翔林, 衣文国, 谭耀铭
出版单位：人民邮电出版社
出版时间：1980年10月
字 数：22.5万字
本书着重介绍操作系统方面的基本知识。全书除绪言外有七章，前六章较系统地叙述操作系统的主要功能和实现原理，第七章详细介绍了DJS200/XT1G操作系统。
《操作系统教程》
作 者：孙钟秀, 谭耀铭, 费翔林, 谢立, 衣文国,
出版单位：人民教育出版社
出版时间：1989年3月
字 数：33万字
本书是参照原教育部颁布的计算机软件专业操作系统教学大纲，结合作者多年积累的教学经验和科研成果，吸收国内外近年来的最新成就编写的。全书注重讲解操作系统的基本原理、概念、方法和技巧。既有一般原理又有具体实例，深入浅出便于自学。本书后两章详细介绍了目前国际上比较流行的操作系统实例，如VM/SP，UNIX，CP/M和PC-DOS等。
《分布式数据处理》
作 者：谢立, 孙钟秀
出版单位：国防工业出版社
出版时间： 1990年6月
字 数：22.7万字
本书主要介绍分布式数据处理技术，全书共七章，主要内容包括分布式数据处理概观；分布式通信网；分布式操作系统和程序设计；分布式数据库系统的组织和设计；分布式数据库系统的实现；分布式数据库管理系统；分布式数据处理系统的安全性。
《分布式汉字数据库管理系统DdBASE-II的设计和实现》
谢立, 肖伦, 孙钟秀
计算机学报 第10卷第10期 1987年
本文描述了分布式汉字数据库管理系统DdBASE-II的设计与实现。DdBASE-II是将汉字数据库管理系统DdBASE-II增加并发控制、通信命令、恢复机制、 安全设施而构成的。它保持了CdBASE-II的功能并与之完全兼容。 它的实现给出了一种在已有的集中式数据库管理系统的基础上建立分布式数据库管理系统的方法。DdBASE-II已开始投入运行。实践表明，这是一种有用的方法。
《The Design and Implementation of an OA System ZGL1》
Xie Li, Chen Peipei, Yang Peigen, Sun Zhongxiu
Journal of Computer Science and Technology Vol.3, No.1,1988 ZGL1,an office automation system for municipal administration, is presented. It is a distributed microcomputer system based on OMNINEET. Each node of it is an IBM PC/XT microcomputer with Chinese character facilities. The system consists of a distributed database management system, a Chinese character electronic mail system, a Chinese word processor and others. Its functions include document management report form management, research project management, finance management and
information access.
《智能操作系统KZ1》
谢立, 孙钟秀, 浦良, 杜兴, 谭耀铭
电子学报 第18卷第1期 1990年
本文提出了一种称为智能操作系统的新型操作系统，叙述了它的概念、功能和 结构。同时，还介绍了一个实验性智能操作系统KZ1的设计和实现。
《A Model for Intelligent Task Scheduling in a Large Distributed System》
Chen Jun, Xie Li, Sun Zhongxiu
ACM Operating System Review Vol.24 No.4, 1990
most existing task scheduling algorithms will lose efficiency in a large distributed system because of the uncertainty, incompleteness, and instability problems. This paper proposes a concept of intelligent distributed task scheduling IDTS to solve these problems.
《A Knowledge-Based Open Model for HCI》
Du Xing, Xie Li, Sun Zhongxiu
Science in China (Series A) Vol.36 No.8, 1993
The paper proposes an open model for human computer interaction. It divides the interactive system into six layers: I/O media, concept, semantic/syntax, domain, model/style, and computation, and adopts knowledge to represent functions of the layers. The paper outlines the open model and the knowledge used within each layer. The characteristics are also discussed . An example dialogue is given to
clarify the idea.
《Full or-parallelism and restricted and parallelism in BTM》
Zheng Yuhua, Xie Li, Sun Zhongxiu
J. of Computer Science. & Tech. vol.9 no.4 1994
BIT is a new And/Or parallel execution model for logic programs which exploits both full Or-parallelism and restricted And-parallelism. The advantages of high parallelism and low run time cost make BTJ, an experimental execution system of BTM mplemented o9n a nonshared
-memory multiprocessor system, achieve significant speedup for both And-parallel and Or-parallel logic programs.
《Adaptive memory coherence algorithms in DSVM》
Zhou jiangqiang ,Xie Li, Dai Fei, Sun Zhongxiu
Journal of Computer Science and Technology Vol.9, No.4,1994
Based on the characteristics of distrubuted slystem and the behavior of parallel programs, this paper presents the fixed and randomized competitive memory coherence algorithms for distrbuted shared virtual memory. These algorithms exploit paralle programs locality of reference and exhibit good competitive property. Our simulation shows that the fixed and randomized algorithms achieve better performance and higher stability than other strategies such as write- invalidate
and write-update.
《An introduction to intelligent operating system KZ2》
Xie Li, Du Xing, Chen Jun, Zhong Yuhua and Sun Zhongxiu
ACM Operating Systems Review, Vol.29 no.1, 1995
This paper proposes an intelligent operating system. KZ2,which is a new generation OS to manage the resources of massively parallel computing systems, to provide a friendly human-computer interface, and control the execution of programs based on knowledge processing and parallel processing. A knowledge based demonstrative example is also described in the paper to show how KKZ2improves the functions and performance of existing operating systems.
《DC++：一种面向对象的分布式程序设计语言 》
谢立，易鉴良，杜兴，王广安，孙钟秀
电子学报，N.8 1996年
本文提出了一种新的面向对象的分布式程序设计语言DC++，在DC++语言中增加了一系列关于分布式程序设计的语言设施，以便于程序员灵活应用，编写出高质量的分布运行的程序。它以活动对象—进程作为分布单位，采用汇合机制实现进程间的同步和通信，并且支持进程的动态创建和撤消，同时提供了丰富的进程通信控制设施。进程组概念的引入，提供了一组进程中的各个成员与外部世界的统一接口，增强了对系统的控制，是DC++语言的一大特色。
《一种支持移动计算通信的路径算法》
杜兴，谢立，孙钟秀
软件学报,V.7,N.2,1996年
分布式系统中移动计算机的引入带来了一系列新的问题。传统的路径算法已不能适应这类系统。本文提出了一种移动系统通信的路径算法，该方法具有高效、坚定及可扩充等特征。
《一个基于MultiServer系统的分布计算模型》
汲化，谢立，孙钟秀
软件学报，V.7,N.3,1996年
本文针对开放分布式处理的要求，分析了传统分布式计算模型Client/Server的不足，提出和设计了一个基于MultiServer系统的分布计算模型，它具有面向对象、服务静态和动态调度、对多服务关系层次的支持等优点，具有较好的服务透明性，可扩充性和容错性。
《An Introduction to DJS200/XTIG》
Sun Zhongxiu, Xie Li, Fei Xianglin,Yi Wenquo,Tan Yaoming
ACM Operating System Review, Vol.14 No.3,1980
DJS200/XT1(or XT1)is an operating system designed for the DJS210 and
DJS220 computers, which are two models of DJS200 series, a computer
series designed and produced in china. The DJS200 series software
includes eight programming languages, such as ALGOL, COBOL, FORTRAN
and XCY(a systems programming language), and operating systems. The
operating system provides a JCL for batch processing and a set of
commands for terminal jobs.
《分布式汉字数据库管理系统DdBASE-II的设计和实现》
谢立, 肖伦, 孙钟秀
计算机学报 第10卷第10期 1987年
本文描述了分布式汉字数据库管理系统DdBASE-II的设计与实现。DdBASE-II是将汉字数据库管理系统DdBASE-II增加并发控制、通信命令、恢复机制、 安全设施而构成的。它保持了CdBASE-II的功能并与之完全兼容。 它的实现给出了一种在已有的集中式数据库管理系统的基础上建立分布式数据库管理系统的方法。DdBASE-II开始投入运行。实践表明，这是一种有用的方法。
《智能操作系统KZ1》
谢立, 孙钟秀, 浦良, 杜兴, 谭耀铭
电子学报 第18卷第1期 1990年
本文提出了一种称为智能操作系统的新型操作系统，叙述了它的概念、功能和结构。同时，还介绍了一个实验性智能操作系统KZ1的设计和实现。
《An Introduction to DJS200/XTIG》
Sun Zhongxiu, Xie Li, Fei Xianglin,Yi Wenquo,Tan Yaoming
ACM Operating System Review, Vol.14 No.3,1980
DJS200/XT1(or XT1)is an operating system designed for the DJS210 and
DJS220 computers, which are two models of DJS200 series, a computer
series designed and produced in china. The DJS200 series software
includes eight programming languages, such as ALGOL, COBOL, FORTRAN
and XCY(a systems programming language), and operating systems. The
operating system provides a JCL for batch processing and a set of
commands for terminal jobs.
|
|
|
-- 作者：xiedaihe
-- 时间：2009/6/26 9:58:46
-- 最新论著：
基于折半运算的快速双基数标量乘算法，《计算机应用》2009年 第5期
自治网络中信任信誉模型的安全现状研究，《计算机科学》2009年 第4期
基于分簇的传感器网络数据聚集估算机制，《软件学报》2009年 第4期
网络安全管理技术研究，《计算机科学》2009年 第2期
基于随机行走的无线传感器网络簇间拓扑演化，《计算机学报》2009年 第1期
基于内存更新记录的漏洞攻击错误定位方法，《计算机科学》2009年 第1期
基于源代码的指针分析算法的安全性改进，《计算机应用与软件》2008年 第12期
移动家乡代理接入死锁的解决方法，《计算机应用》2008年 第12期
入侵检测中一种新的多模式匹配算法，《计算机应用研究》2008年 第8期
无线传感器网络与互联网集成体系结构，《微电子学与计算机》2008年 第10期
Web服务安全机制和安全技术，《计算机应用与软件》2008年 第10期
一种基于攻击图的入侵响应方法，《软件学报》2008年 第10期
新一代Linux启动技术的比较与测试，《计算机工程与设计》2008年 第18期
基于Frobenius映射的快速标量乘算法，《计算机研究与发展》2008年 第9期
基于相似性叙词表的模糊集合模型，《计算机科学》2008年 第9期
MIPv6协议的切换算法的发展及其安全性研究，《计算机科学》2008年 第8期
基于双基数的快速标量乘算法，《计算机科学》2008年 第6期
基于博弈理论的动态入侵响应，《计算机研究与发展》2008年 第5期
基于本体的Web服务组合异构消息的转换，《南京大学学报：自然科学版》2005年 第z1期
面向方面的程序设计及其相关的关键技术，《华中科技大学学报：自然科学版》2005年 第z1期
基于重复博弈的无线自组网络协作增强模型，《软件学报》2008年 第3期
一种基于粗集理论的遗传分类算法，《计算机科学》2008年 第1期
基于威胁度的动态报警管理研究，《计算机科学》2008年 第1期
一种基于加法链的快速标量乘算法，《计算机应用》2008年 第1期
|
|
-- 作者：xiedaihe
-- 时间：2009/6/26 9:59:06
-- 最新论著：
一种P2P文件共享监控系统的实现，《计算机工程》2007年 第14期
密钥控制的多S盒Rijndael算法，《通信学报》2007年 第9期
基于策略的安全管理系统中一种基于标签的策略协作机制，《计算机科学》2007年 第10期
平均度约束的无线传感器网络拓扑控制，《计算机学报》2007年 第9期
一种基于地址、协议转换方式的高性能IPv6/IPv4安全网关，《计算机应用与软件》2007年 第9期
SafeBird：一种动态和透明的运行时缓冲区溢出防御工具集，《电子学报》2007年 第5期
带系数的离散对数知识签名，《电子学报》2007年 第4期
无线传感器网络的拓扑控制，《软件学报》2007年 第4期
基于简化控制流监控的程序入侵检测，《电子学报》2007年 第2期
无线传感器网络多重覆盖问题分析，《软件学报》2007年 第1期
集成安全管理平台的研究与实现，《计算机应用与软件》2006年 第12期
隐蔽通道发现技术综述，《计算机科学》2006年 第12期
一类密码性能良好的S盒的构造，《计算机应用研究》2006年 第12期
入侵检测在线规则生成模型，《计算机学报》2006年 第9期
基于CCM的应用服务器及关键技术研究，《计算机科学》2006年 第9期
无线传感器网络的查询处理机制研究综述，《计算机科学》2006年 第9期
统一网络安全管理平台的研究与实现，《计算机应用研究》2006年 第9期
一种基于身份的在线交易支付安全协议框架，《计算机科学》2006年 第8期
基于可信报警事件的在线攻击场景重构算法，《计算机科学》2006年 第8期
Web服务事务中的补偿机制研究与实现，《计算机科学》2006年 第7期
基于Petri网的Web服务自动组合研究，《计算机学报》2006年 第7期
ELIQoS：一种高效节能、与位置无关的传感器网络服务质量协议，《计算机研究与发展》2006年 第6期
综述：关于IPv6安全性问题的研究， 《计算机科学》2006年 第5期
J2EE数据持久化技术的研究，《计算机应用与软件》2006年 第4期
一种基于证书的电子投票协议，《计算机科学》2006年 第2期
DELIC：一种高效节能的与节点位置无关的传感器网络覆盖协议，《计算机研究与发展》2006年 第2期
一种实时的信息安全风险评估方法，《计算机工程与应用》2006年 第1期
|
|
|
|
