首页 | 考研信息及复习指导 新闻动态 | 报考指南 | 复试调剂 | 复习指导 | 院校导航 | 专业学位 | 经验心得 | 客服中心 | 投稿 | 合作 ·付款方式·联系方式·服务保障
考研专卖店 试卷笔记 | 公共课书籍 | 辅导班 | 专业教材 | 学习卡 | 下载免费资料 政治资料 | 英语资料 | 数学资料 | 专业课资料 | 其他资料 | 收藏本站 设为首页
专 题 栏 目
最 新 热 门
最 新 推 荐
相 关 文 章
北京科技大学2007年接收校外推
北京科技大学2007年硕士研究生
北京科技大学2007年接收推荐免
北京科技大学2007年招收优秀应
北京科技大学博士生招生有关注
北京科技大学2006年博士生入学
北京科技大学2006年博士生入学
北京科技大学2006年博士研究生
北京科技大学2006年博士研究生
北京科技大学2006年博士研究生
Q
导航: 易考网 >> 院校导航 >> 北京高校 >> 北京科技大学 >> 文章正文
 >> 北京科技大学控制理论与控制工程专业博士生老师简介:林闯         
北京科技大学控制理论与控制工程专业博士生老师简介:林闯
北京科技… 文章来源:北京科技大学 点击数: 更新时间:2006-1-10     
[ 字体:缩小 正常 放大 | 双击自动滚屏 ]
请选择合适的字体颜色:

导师姓名 林闯 性别 男 出生日期 1948年7月

技术职称 教授 行政职务 清华大学计算机系,网络所所长
所在学院 清华大学计算机系,网络所 招生专业 控制理论与控制工程

研究方向
1、计算机网络、服务质量控制
2、系统模型、模拟和性能评价
3、随机Petri网的理论和应用
4、逻辑推演和推理系统
1994年毕业于清华大学计算机科学与技术系(系统模型和性能评价)获博士学位

博士研究生指导教师小传

一、主要研究工作简历
1.2000.4-现在 清华大学计算机系,网络所所长、教授、博士生导师,主要研究计算机网络和系统性能模型及评价。
2.1981.10-2000.4 (前国家计委计算中心)国家信息中心,历任工程师、副研究员、研究员,主要研究计算机网络和系统性能模型及评价。
3.1985. 8-1986. 8 美国Purdue大学计算机科学系,访问学者,主要研究计算机网络、系统性能模型及评价和随机Petri网。
4.1989. 8-1990. 5 美国Texas大学奥斯订分校信息系统系,客座研究员,主要研究Petri网理论和应用。
5.1995. 1-1996. 6香港科技大学计算机科学系,客座研究员,主要研究ATM网络、系统性能模型及评价和随机Petri网理论和应用。
6.1998. 3-1998. 8香港浸会大学计算机科学系,客座研究员,主要研究资源管理和任务调度系统性能模型及评价、随机Petri网理论和应用。
二、主要兼职学术工作

1.1999年9月-现在 北京科技大学兼职教授、博士生导师。
2.1999年9月-现在 中国科学院计算机网络信息中心兼职研究员。
3.2002年3月-现在 中国计算机学会互联网专委会负责人。
4.1999年6月-现在 中国计算机学会Petri网专委会副主任。
5.1998年11月-现在 <<计算机学报>>编委。
6.2000年9 月– 现在 国家自然科学基金重大研究计划“网络和信息安全”的科学指导专家。
三、主要科研项目(及获得学术奖励情况)

1.国家高技术研究发展计划(863计划)课题(2001AA112080)“网络服务质量控制、算法和实现机制”,课题负责人和主要研究者,2001年10月-2003年12月。
2.国家自然科学基金项目(60173012)“时段时序逻辑的Petri网模型”,项目主持人和主要研究者,2002年1月-2004年12月。
3.美国Intel Research Council国际科研项目(9077)“Research on Integrated Queue Management Schemes and their implementation with Network Processors”,课题负责人和主要研究者,2001年5月-2003年6月。
4.国家重点基础研究发展规划(973)项目(G1999032707) “海量信息传输控制模型及其系统自组织时空有序行为研究”,课题负责人和主要研究者,1999年9月-2004年7月。
5.国家自然科学基金项目(69873012)“资源管理和任务调度的随机Petri网模型”,项目主持人和主要研究者,1999年1月-2001年12月。
6.国家高技术研究发展计划(863计划)课题(863-306-ZT05-01-2)“多媒体网络服务质量控制QoS”,课题负责人和主要研究者,1999年1月-2000年12月。
7.国家高技术研究发展计划(863计划)课题(863-300-05-04-02-00)“端到端的网络性能测试系统(ENPT)”,课题负责人和主要研究者,2000年7月-2001年6月。
8.香港Croucher基金,研究资源管理和任务调度系统性能模型及评价,1998年 3月-1998年8月。
9.国家自然科学基金项目(69473012)“随机Petri网性能模型的化简”,项目主持人和主要研究者,1995年1月-1997年12月。
10.国家八五科技攻关项目(85-712-07-03)“多媒体信息技术的开发与应用”,项目主持人和主要研究者,1994年1月-1997年10月。
11.国家自然科学基金项目(69173309)“基于Petri网的推理方法”,项目主持人和主要研究者,1992年1月-1994年9月,评为国家自然科学基金优秀项目。
12.国家七五科技攻关项目(68-1-13)“国家经济信息系统计算机系统性能评价与模型研究”获得国家计委重大科研成果奖,项目主持人和主要研究者,个人获得(部级)突出贡献奖。
13.美国Texas大学奥斯订分校ICC研究基金项目“Petri网用于逻辑推理”,主要研究者,1989年8月-1990年4月。
14.非教育系统出国留学人员资助项目“信息系统模型与性能分析”获得国家经济信息系统1990年度科研成果二等奖,项目主持人和主要研究者,1987年8月-1990年12月。
四、主要论著


专著与书
1.林闯,随机Petri网和系统性能评价,(约47万字), 清华大学出版社,2000年1月出版(国家科学技术学术著作出版基金资助,第十届全国优秀科技图书二等奖)。
2.林闯,计算机网络和计算机系统的性能评价, (约62万字),清华大学出版社,2001年4月出版。

国际学术期刊论文(SCI)
1.Ren Fengyuan, Lin Chuang. Speed up the Responsibility of Active Queue Management System. Accepted by IEICE Trans. on Communications, September 2002. (No. CS-IT3-057)
2.Lin C, Jiang Y, and Zhou W. Integrated performance evaluation criteria for network traffic control. Accepted by IEICE Trans. on Communications, May 2002. (No. 2001EBP3330)
3.Shan Z, Lin C, Marinescu D C, and Yang Y. QoS-aware load balancing in Web-server clusters: performance modeling and approximate analysis. Computer Networks Journal, September 2002, 40(2): 235-256.
4.Lin C and Sheng L. Integration of scheduling real-time traffic and cell loss control for ATM networks. IEICE Trans. on Communications, April 2002, E85-B(4):778-795.
5.Li B, Lin C and Chanson S T. Analysis of a hybrid cutoff priority scheme for multiple classes of traffic in multimedia wireless networks. ACM Journal of Wireless Networks, August 1998, 4(4): 279-290.
6.Lin C and Chanson S T. Logical inference of clauses based on Petri net models. International Journal of Intelligent Systems, John Wiley & Sons, August, 1998, Vol.13, 821-840.
7.Lin C and Wu Y.T. A Petri Net Model for Probabilistic Logic. International Journal of Intelligent Systems, John Wiley & Sons, Vol. 11, No. 12, 1996, pp. 1099-1114.
8.Muppala J K, and Lin C. A Petri net approach for logical inference of clauses, Journal of the Institution of Electronics and Telecommunication Engineers (IETE) May-Jun 1996, 42(3): 141-147.
9.Lin C and Murata T. A Petri net model for nonmonotonic reasoning based on annotated logic programs. (invited paper) IEICE Trans. on Fundamentals of Electronics, Communications and Computer Sciences. Vol. E77-A, No. 10, October 1994, pp. 1579-1587.
10.Lin C , Chaudhury A, Whinston A B and Marinescu D C. Logical inference of Horn clauses in Petri net models. IEEE Trans. on Knowledge and Data Engineering, Vol. 5, No. 4, June 1993, pp. 416-425.
11.Lin C and Marinescu D C. On the analysis of stochastic high-level Petri net models. (Invited paper) International Journal of Microelectronics and Reliability, 1991, 31(4):747-767.
12.Lin C and Marinescu D C. Stochastic high-level Petri nets and applications. IEEE Trans. on Computers, 1988, 37(7): 815-825, also in Jesen K and Rozenberg G (eds.), High-level Petri Nets, Springer-Verlag, 1991.
13.Lin C and Lu W. Knowledge representation by Petri nets. Advances in Chinese Computer Science, World Scientific, Vol. 3, 1991.

国内核心学术期刊(SCI和EI)论文
1.Shan Z, Lin C, and Yang Y. A Multiserver Multiqueue Network: Modeling and Performance Analysis. Journal of University of Science and Technology Beijing, October 2002, 9(5): 389-395.
2.任丰原,林闯,任勇,山秀明. ATM网络拥塞控制中PID控制器的设计,计算机学报, October 2002, 25(10):1024-1029。
3.田立勤,林闯,周文江. 随机Petri网模型中变迁的串、并联性能等价化简技术,电子学报 August 2002, 30(8): 1134-1137。
4.江勇,林闯,吴建平. 网络传输控制的综合性能评价标准,计算机学报, August 2002, 25(8):869-877。
5.林闯,田立勤,魏丫丫. 工作流系统模型的性能等价分析,软件学报, 2002, 13(8): 1472-1480。
6.周枫,林闯,郑纬民. 基于Petri网模型的磁盘日志记录算法与性能分析,软件学报, June 2002, 13(Suppl.): 42-49。
7.刘婷,林闯,刘卫东. 扩展时段时序逻辑的推理机制,计算机学报, 2002, 25(6): 637-644。
8.郭常杰,钟玉琢,林闯. Internet中基于启发式遗传算法的受限镜像放置问题求解,电子学报 May 2002, 30(5): 689-693。
9.章淼,吴建平,林闯. 互联网端到端拥塞控制研究综述,软件学报, 2002, 13(3): 354-363。
10.林闯,魏丫丫. 随机进程代数与随机Petri网,软件学报, 2002, 13(2): 203-213。
11.刘婷, 林闯, 刘卫东. 基于时间Petri网的工作流系统模型的线性推理, 电子学报 Feb. 2002, 30(2): 245-248。
12.林闯,刘婷,曲扬. 一种不确定时段的扩展时段时序逻辑:时间Petri网模型表示和线性推理, 计算机学报, 2001, 24(12): 1299-1309。
13.徐恪, 林闯, 吴建平. 可编程路由器中基于缓冲队列长度阈值的处理机调度, 电子学报, Nov. 2001, 29(11): 1449-1453。
14.单志广, 林闯, 杨扬. 网络自相似业务到达过程的SPN模型及其性能评价, 计算机科学, July 2001, Vol. 28 Suppl, 32-38。
15.刘道斌,林闯,陆维明. 非乘积解随机Petri网的乘积形式近似求解,计算机学报, 2001, 24(6): 588-595。
16.Shan Z, Lin C, Yang Y, and Wang Y. Performance modeling and approximate analysis of multiserver multiqueue systems with Poisson and self-similar arrivals. Journal of University of Science and Technology Beijing, 2001, 8(2): 145-151.
17.单志广, 戴琼海, 林闯, 杨扬. Web请求分配和选择的综合方案与性能分析, 软件学报, 2001, 12(3): 355-366。
18.刘道斌,林闯,陆维明. 随机Petri网非乘积解系统的判定与界限求解,电子学报, 2001, 29(2): 199-203。
19.罗万明, 林闯, 阎保平. TCP/IP 拥塞控制研究, 计算机学报, 2001, 24(1): 1-18。
20.盛立杰, 林闯, 吴建平. 一种区分服务综合方案的模型与性能分析, 电子学报, 2000,28(11A): 32-35.
21.罗万明, 林闯, 阎保平. 一种支持多媒体通信QoS的拥塞控制机制, 电子学报, 2000,28(11A): 48-52.
22.林闯, 戴琼海. 基于时间Petri网模型的缓冲优先调度策略稳定性分析, 自动化学报, 2000, 26(6): 770-775。
23.林闯. 基于动态缓冲阈值的Internet区分服务, 软件学报, 2000,11(7):938-944。
24.林闯. Web服务器集群请求分配和选择的性能分析, 计算机学报, 2000, 23(5): 500-508。
25.林闯, 杨士强. 多服务器多队列系统调度方案的性能分析, 电子学报, 2000, 28(5): 17-20。
26.林闯,单志广,盛立杰,吴建平. Internet区分服务及其几个热点问题的研究,计算机学报, 2000, 23(4): 419-433。
27.林闯. 随机Petri网模型的精化设计, 软件学报, 2000, 11(1): 104-109。
28.林闯, 杨士强. ATM网络传输实时调度的最少缓冲优先方案和性能评价, 计算机学报, 1999, 22(11): 1189-1195。
29.范晓勃, 林闯, 吴建平,徐恪. 分布式路由器的性能模型与分析, 计算机学报, 1999, 22(11): 1223-1227。
30.林闯. 多媒体信息网络QoS的控制, 软件学报1999,10(10):1016-1024。
31.林闯, 杨士强. 多服务器多队列系统模型的近似求解, 软件学报, 1999, 增刊,6-12。
32.林闯, 吴建平. 利用不动点求解子句逻辑的Petri网模型, 软件学报, 1999, 10(4): 359-365。
33.徐明伟, 林闯, 吴建平. 基于随机Petri网的模型的计算机网络协议性能测试, 软件学报, 1999, 10(3): 248-252。
34.林闯, 张元生. 基于随机高级Petri网的ATM网络接纳控制过程模型, 通信学报, 1998, 19(12): 1-7。
35.林闯. ATM网络基于队列长度阈值的传输调度,软件学报, 1998, 9(4): 316-320。
36.林闯. ATM网络一种实时传输调度和信元丢失控制的综合方案,计算机学报, 1998,21(4):333-340。
37.林闯. 随机Petri网的分解和压缩技术,软件学报, 1997, 8 (7): 541-548。
38.林闯. 一种资源共享系统的模型和近似性能分析,计算机学报, 1997, 20(10): 865-871。
39.林闯. 资源共享系统的模型和近似性能分析,华东理工大学学报(Journal of East China University of Science and Technology), 1997, 23(6): 865-871。
40.林闯,王鼎兴. 使用Petri网T-不变量求解子句的逻辑推论, 计算机学报, 1996, 19(10): 762-767.
41.林闯,吴建平,王鼎兴。随机高级Petri网的层次模型和分层性能评价,软件学报, 1995, 6(增刊): 59-67。
42.林闯,陆维明. Petri网用于求解概率逻辑的近似可能世界矩阵, 计算机学报, 1995, 18(1): 1-8。
43.林闯,吴建平,王鼎兴. 随机高级Petri网用于计算机网络传输协议的模型与性能评价. 通信学报, 1994, 15( 6): 9-16。
44.林闯,陆维明. 推理维护系统的Petri网模型, 软件学报, 1994, 5(11): 23-30, also appear in Chinese Journal of Advanced Software Research Vol. 2, No. 1, Feb. 1995, pp. 74-87。
45.林闯,基于案例推理系统的Petri网模型, 计算机学报, 1994, 17(增刊): 77-81。
46.陆维明, 林闯. Petri网:机会与挑战,计算机科学,1994年8月,21卷4期。
47.陆维明, 林闯. 生产系统的Petri网模型, 自动化学报, 1993, 19(3): 290-299。
48.林闯,陆维明. Petri网用于概率逻辑可能世界矩阵的产生, 计算机学报, 1993, 17(4): 18-26。
49.林闯,Petri网用于Horn子句的逻辑推论,软件学报, 1993, 4(4): 32-37。
50.林闯, 张彤. 计算高级Petri网S-不变量的一种简单算法,软件学报, 1992, 3(3): 49-55。
51.陆维明, 林闯. 一种分布式系统的设计原理, 计算机学报, 1992, 15(6): 471-474。
52.林闯,陆维明. Petri网用于表示知识, 计算机学报, 1992, 15(1): 1-16。
53.林闯, 张彤. 一种生成具有变量标识的高级Petri网可达树的算法,计算机学报, 1991, 14(8): 596-604。
54.林闯,马苏拉. 系统性能分析的一种工具-随机Petri网,(特邀论文)中国计算机用户, 1989年7期 5-8。
55.张耀林,林闯,高渝昌. RDC网远程作业录入系统,计算机学报, 1984, 7(1): 59-70。
56.林闯,曲扬. 扩展时段时序逻辑的模型、一致性和推理,计算机学报 录取, 2001年12月(No. 1586)。
57.林闯,曲扬,郑波,田立勤. 一种随机Petri网性能等价化简与分析方法,电子学报 录取, 2002年3月。(No.020006)
58.任丰原,林闯,王福豹. RED算法的稳定性:基于非线性控制理论的分析,计算机学报 录取, 2002年5月。
59.任丰原,林闯,王福豹. ABR流量控制中的变结构控制器,软件学报 录取, 2002年6月。(No. a2118)
60.任丰原,林闯,任勇,山秀明. 大时滞网络中的拥塞控制算法,软件学报 录取, 2002年7月。(No. a2079)
61.魏丫丫,林闯. 用进程代数描述可适应工作流的模型方法,电子学报 录取, 2002年7月。(No.)
62.林闯,郑波. 含有非马尔可夫过程的排队Petri网模型和性能分析,电子学报 录取, 2002年7月。(No.)
63.任丰原,林闯,王福豹. 基于模糊逻辑的ABR显式流量控制算法,计算机学报 录取, 2002年7月。
64.林闯,周文江. IP网络传输控制的性能评价标准研究,电子学报 专辑录取, 2002年7月。
65.林闯,李雅娟. 性能评价形式化方法的现状和发展,电子学报 专辑录取, 2002年7月。
66.任丰原,林闯. 主动队列管理中的智能分组丢弃新机制,电子学报 专辑录取, 2002年9月。
67.樊秀梅,林闯. 网边缘可控的IP QoS体系结构及其算法,电子学报 专辑录取, 2002年9月。
68.田立勤,林闯. IP报文分类技术的研究及其应用,计算机研究与发展 录取, 2002年8月。(No. 20020527-0829)
69.章淼,吴建平,林闯. P2I: 一种新的主动队列管理算法,计算机学报 录取, 2002年9月。
70.林闯,周文江,李寅,郑波,田立勤. 基于Intel网络处理器的路由器队列管理: 设计、实现与分析,计算机学报 录取, 2002年10月。(No.2310)
71.谭章熹,林闯,任丰原,周文江. 网络处理器的分析与研究,软件学报 录取, 2002年11月。(No. h2056)
72.刘鸿,林闯,吴建平. 一种紧同步随机Petri网模型的性能分析方法,软件学报 录取, 2002年11月。(No.i2403)
73.林闯,李雅娟,单志广. 基于随机Petri网的系统性能评价,清华大学学报 录取, 2002年11月。

主要国际会议论文
1.Lin C, and Marinescu D C, Temporal Logic Coordination Models, in Process Coordination and Ubiquitous Computing, Dan C. Marinescu and Craig Lee Editors, ISBN 0-8493-1470-4, CRC Press, pages 53-76, 2002.
2.QU Yang, LIN Chuang, and WANG Jiye. Linear Temporal Inference of Workflow Management Systems Based on Time Petri nets Models. International Conference on Engineering and Deployment of Cooperative Information Systems (EDCIS 2002), September 18-20, 2002, Bejing, China, Proceedings, volume 2480 of Lecture Notes in Computer Science, pp. 30-44, Springer, 2002.
3.LIN Chuang, QU Yang, REN Fengyuan, and Marinescu D. C. Performance Equivalent Analysis of Workflow Systems Based on Stochastic Petri Net Models. International Conference on Engineering and Deployment of Cooperative Information Systems (EDCIS 2002), September 18-20, 2002, Bejing, China, Proceedings, volume 2480 of Lecture Notes in Computer Science, pp. 64-79, Springer, 2002
4.Lin C, Marinescu D C, Ji Y, and Marinescu G M. Contributions to synthetic criteria for network traffic control policies. In: Proceedings of the Seventh IEEE Symposium on Computers and Communications (ISCC"02), IEEE Computer Society, 1-4 July, 2002, Taormina-Giardini Naxos, Italy. (Edited by A. Carradi and M. Daneshmand) pp. 63-68
5.Zhang M, Wu J, Lin C, and Xu K. Rethink the Tradeoff between Proportional Controller and PI Controller. In: Proceedings of the Seventh IEEE Symposium on Computers and Communications (ISCC"02), IEEE Computer Society, 1-4 July, 2002, Taormina-Giardini Naxos, Italy. (Edited by A. Carradi and M. Daneshmand) pp.57-62
6.Ren F, Lin C, Ying X, Shan X and Wang F. A Robust Active Queue Management Algorithm Based on Sliding Mode Variable Structure Control. In: Proceedings of the 21nd Annual Joint Conference of the IEEE Computer and Communications Societies (IEEE INFOCOM 2002), IEEE Computer Society, June 23-27, 2002, New York, NY, USA, pp. 13-20.
7.Luo W, Lin C, and Yan B. A congestion control mechanism supporting QoS requirements. In: Proceedings of the 2001 International Conference on Computer Networks and Mobile Computing (ICCNMC 2001), IEEE Computer Society, October 16-19, 2001, Beijing, China, pp. 55-60.
8.Lin Chuang, Xu Mingwei, and Marinescu D C. Petri Net Based Stability Analysis of Buffer Priority Scheduling Policies in Manufacturing Systems. In: Proceedings of IEEE International Conference on Systems, Man, and Cybernetics (SMC2001), IEEE Computer Society, October 7-10, 2001, Tucson, Arizona, U.S.A, pp.1811-1816.
9.Jiang Yong, Lin Chuang, Wu Jianping, and Sun Xiaoxia. Integrated Performance Evaluating Criteria for Network Traffic Control. In: Proceedings of the Sixth IEEE symposium on Computers and Communications (ISCC01), IEEE Computer Society and Communications Society, July 3-5, 2001, Hammamet, Tunisia, pp. 438-443.
10.Xu Ke, Lin Chuang, Wu Jianping, Chen Xiu-huan. A Novel. Processor Scheduling in Programmable Router based on Queue Length Thresholds. In: Proceedings of the 8th IEEE International Conference on Telecommunications (ICT01), IEEE Computer Society, 4-7 June 2001, Bucharest, Romania, Volume 2, pp. 101-106.
11.Lin Chuang, Sheng Lijie, Wu Jianping, and Xu Mingwei. An Integrative Scheme of Differentiated Services: Modeling and Performance Analysis. In: Proceedings of the Eighth International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2000), IEEE Computer Society, August 29 - September 1, 2000, San Francisco CA, USA, pp. 441-448.
12.Lin C, Luo W, Yan B, and Chanson S T. A Dynamic Partial Buffer Sharing Scheme for Packet Loss Control in Congested Networks. In: Proceedings of International Conference on Communication Technology, 16th IFIP World Computer Congress (WCC2000), IEEE Press, Publishing House of Electronics Industry, 21-25 August, 2000, Beijing, China, pp. 1286-1293.
13.Lin C, Shan Z, and Yang Y. Integrated Schemes of Request Dispatching and Selecting in Web Server Clusters. In: Proceedings of International Conference on Software: Theory and Practice, 16th IFIP World Computer Congress (WCC2000), Publishing House of Electronics Industry, Beijing, China, 21-25 August 2000, pp. 922-930.
14.Lin C and Lam E C M. Dynamic queue length thresholds for scheduling real-time traffic in ATM networks. In: Proceedings of 1999 International Conference on Communications, IEEE Computer Society, June 6-10, 1999, Vancouver, BC Canada, pp. 869-874.
15.Lin C, Li B and Wu J. Modeling ATM traffic using stochastic Petri nets. In: Proceedings of the Sixth International Conference on Computer communications and Networks, IEEE Computer Society, 1997, Las Vegas, Nevada, USA, pp. 538-541.
16.Lin C , Chanson S T and Murata T. Petri Net Models and Efficient T-Invariant Analysis for Logical Inference of Clauses. 1996 IEEE International Conference on Systmes, Man and Cybernetics, Beijing, China, October 14-17, 1996, pp. 3174-3179.
17.Muppala J K and Lin C Dependability Analysis of Large-Scale Distributed Systems Using Stochastic Petric Nets. 1996 IEEE International Conference on Systems, Man and Cybernetics, Beijing, China, October 14-17, 1996, pp. 3033-3083.
18.Lin C, Wu Y T and Li B. A Probabilistic Logical Model Based on Petri Nets. 1996 IEEE International Conference on Systems, Man and Cybernetics, Beijing, China, October 14-17, 1996, pp. 864-869.
19.Muppala J K and Lin C. A Petri Net Approach for Logical Inference of Clauses. Workshop on Parallel and Distributed AI, Hyderabad, India, July, 1996. pp. 141-147.
20.Lin C and Chanson S T. ATM admission models of stochastic high level Petri nets based on hierarchical modeling. In: Proceedings of 1995 International Conference on Network Protocols, IEEE Computer Society, 1995, Tokyo, Japan, pp. 144-151.
21.Lin C and Murata T. Application of Petri nets to nonmonotonic logic"", Proc. of JTC-CSCC"90, IEEE Computer Sociey, Cheju, Korea, December 1990.
22.Lin C and Ma S. A. Stochastic Petri net model of Information systems. Internation Conference on Data for Development, Beijing, May 1988.
23.Lin C and Marinescu D C. On stochastic high level Petri nets. Proc.of International Workshop on Petri Nets and Performance Models, IEEE Computer Society, USA, Aug. 1987.
24.Lin C and Marinescu D C. Translation of modified predicate transition net models of communication protocols into simulation programs"", Proc. of 1986 Winter Simulation Conference, IEEE Computer Society, USA, Dec. 1986, pp. 760-768.
25.Marinescu D C and Lin C . Preliminary results on multiprocessor modeling and analysis using stochastic high level Petri nets. Proc. of 24gh Annual Allerton Conference on Communication, Control and Computing, IEEE Computer Society, USA, Oct. 1986.

已完成并送审的论文
1.Lin C, Xu M, and Marinescu D C. Stability analysis of buffer priority scheduling policies using Petri nets. Submitted to IEEE Transactions on Automatic Control. April 2002. (No. TN02-03-40)
2.Lin C, Liu T, and Shan Z. Extended Interval Temporal Logic for nondeternimistic Intervals: Modeling and Inference Using Time Petri Nets. Submitted to IEEE Transactions on Systems, Man, and Cybernetics Part A. August 2001. (No. A01-07-A016)
3.Xunxue Cui, Chuang Lin. Evolutionary Multiobjective Optimization for Adaptive Allocation in Distributed Database Management Problem. Submitted to J. of Computer and System Science, May 2002.
4.Ren Fengyuan, Lin Chuang. Modeling and Stability Analysis of Binary ABR Flow Control in ATM Networks. Submitted to IEICE Trans. on Communications, July 2002. (No. 2002EBP3206)
5.Xunxue Cui, Chuang Lin. Multiple QoS multicast routing based on multiobjective genetic algorithm. Submitted to Computer Communications, November 2002.
6.Zhou Wenjiang, Lin Chuang, Li Yin, Tan Zhangxi, Tian Liqin, and Zheng Bo. Building Queue Management Module on Network Processor: Design, Implementation and Analysis. Submitted to IEEE Network Magazine, October 2002. (Feedback to Authors: February 1, 2003, Publication of Special Issue: July 2003)
7.Liqin Tian, Chuang Lin, and Zhangxi Tan. Design and Implement of Fast Packet Classification Based on Network Processor. Submitted to IEEE Network Magazine, October 2002.
8.Chuang Lin, Yin Li. Dynamic Partial Buffer Sharing scheme and implementation on Network Processor. Submitted to IEEE Network Magazine, October 2002.
9.Chuang Lin, and Yang Qu. Temporal Inference of Workflow Systems Based on Time Petri Nets: Quantitative and Qualitative Analysis. Submitted to International Journal of Intelligent Systems, November 2002.
10.Cui Xun-xue, and LIN Chuang. A Multiobjective Model for QoS Multicast Routing Based on Genetic Algorithm. Submitted to IEEE Communications Letters, November 2002.
11.Xunxue Cui, Chuang Lin. Exploring Adaptive Configuration for Distributed Database Management Problem Based on Multiobjective Genetic Algorithm. Submitted to JCST, April 2002.
12.Chuang Lin, and Mingwei Xu. Stability Analysis of Buffer Priority Scheduling Policies Using Petri Nets. Submitted to JCST, April 2002.
13.Zhiguang Shan, Chuang Lin, and Fengyuan Ren. Modeling and Performance Analysis of a Multiserver Multiqueue System on the Grid. Submitted to the the 9th International Workshop on Future Trends of Distributed Computing Syste (FTDCS 2003), San Juan, Puerto Rico, USA, May 2003.
14.Wenjiang Zhou, Chuang Lin, Yin Li, and Zhangxi Tan. Queue Management for QoS Provision Build on Network Processor. Submitted to the the 9th International Workshop on Future Trends of Distributed Computing Syste (FTDCS 2003), San Juan, Puerto Rico, USA, May 2003.
15.Wenjiang Zhou, Chuang Lin, and Fengyuan Ren. A Model for the Integration of Buffer Management and Packet Scheduling. Submitted to the Sixth IEEE Conference on Open Architectures and Network Programming (OPENARCH 2003), San Francisco, CA, USA, April 2003.
16.Chuang Lin, Yang Qu, and D C Marinescu. Performance Quivalent Simplification and Analysis of Stochatic Petri Nets. Submitted to 24th International Conference on Application and Theory of Petri Nets, October 2002.
17.WEI Yaya, LIN Chuang, Raad Raad, and Eryk Dutkiewicz. Dynamic Priority Handoff Scheme in Differentiated QoS Wireless Multimedia Networks. Submitted to ISCC 2003, November 2002.
18.仝爱军,林闯,徐明伟. 准自相似业务流的SPN模型及其评价,计算机工程与应用,2002年8月,15: 55-59。
19.曾珂,戴琼海,林闯,杨士强. 流媒体的产生发展以及技术市场层面的挑战,第十届国际有线电视技术研讨会,2002年10月,优秀论文三等奖。
20.任丰原,林闯. IP网络的拥塞控制,已投《计算机学报》, 2002年5月。(No.)
21.魏丫丫,林闯,任丰原. 无线多媒体网络中基于动态阈值的越区切换方案,已投《软件学报》, 2002年7月。(No.)
22.林闯,李寅,周文江. IP网的动态部分缓冲共享方案,已投《电子学报》, 2002年8月。(No.)
23.田立勤,林闯. 基于IXP1200的快速报文分类算法的设计与实现,已投《计算机研究与发展》, 2002年8月。(No.)
24.单志广,林闯. Web QoS控制研究综述,已投《计算机学报》, 2002年8月。(No. 2704)
25.崔逊学,林 闯. 基于多目标遗传算法的QoS组播路由优化方法,已投《电子学报》, 2002年10月。(No.)
26.邢栩嘉,林闯,朱卫国. 基于网络的计算机脆弱性评估,已投《计算机研究与发展》, 2002年10月。(No.20021021-1715)
27.任丰原,黄海宁,林闯. 无线传感器网络,已投《软件学报》, 2002年10月。(No.)
28.崔逊学,林 闯,樊秀梅. 基于遗传算法的多目标QoS多播路由策略,已投《计算机学报》, 2002年11月。(No.)
29.周文江,林闯,任丰源. 一种IP网络的缓冲管理和分组调度综合算法,已投《中国科学》, 2002年11月。(No.)

主要技术报告论文
1.Lin C and Zhang T. A new algorithm for computing S-invariants for high level Petri nets, Universiat Koblenz-Landau, Germany, 15/91, 1991.
2.Lin C and Marinescu D C. Logical inference of Horn clauses in Petri net models, Purdue University Technical Report, CSD-TR 91-031, 1991.
3.Marinescu D C and Lin C. Nets with reward and applications to conflict resolution in parallel and distributed systems, Purdue University Technical Report, CDS-TR 91, 1991.
4.Lin C and Lu W, A Petri net model for a reason maintenance system, MADIS Report, YB-91-0031, 1991.
5.Lin C and Murata T. A Petri net model for inference in nonmonotonic logic, University of Illinois at Chicago, Report No. UIC-EECS-90-4, 1990.
6.Lin C and Whinston A B. Petri net models for case-based detabase systems, University of Texas at Austin, 1990.
7.Lin C and Marinescu D C. An algorithm for computing S-invariants of high level Petri nets, Purdue University Technical Report, CSD-TR-860, 1989.
8.Lin C and Marinescu D C. Reachability trees for high level Petri nets with marking variables, Purdue University Technical Report, CSD-TR-857, 1989.
9.J. Dong, Marinescu D C and Lin C. Reachability graphs and invariants for high level Petri nets, Purdue University Technical Report, CSD-TR-686, 1987.
10.Lin C and Marinescu D C. Stochastic high level Petri nets, Purdue University Technical Report, CSD-TR-613, 1986.
11.Lin C and Marinescu D C. Application of modified predicate transition net models to modeling and simulation of communication protocols, Purdue University Technical Report, CSD-TR-599, 1986.
12.Lin C and Lu W. A Petri net model for posible worlds of probabilistic logic, MADIS Report, YB 93-0064, 1993.
13.Lin C. Stochastic Petri nets and performance analysis, Chinese State Information Center, Technical Report, No. 22, July 1988.
14.Lin C. Comparing performance on access methods of local networks, Lecture Notes, State Information Systems, 1984.
15.Lin C. Introduction to computer networks, Lecture Notes, State Information Systems, 1983.

文章录入:jijie0717    责任编辑:admin 
  • 上一条文章:

  • 下一条文章:
  • 发表评论】【加入收藏】【告诉好友】【打印此文】【关闭窗口
    易考网版权、投稿与免责申明:

    1)凡本网署名文字、图片和音视频稿件,版权均属易考网所有。任何媒体、网站或个人未经本网协议授权不得转载、链接、转贴或以其他方式复制发表。已经本网协议授权的媒体、网站,在下载使用时必须注明稿件来源:易考网,违者本网将依法追究责任。
    2)本网注明"文章来源:xxx(非本站)"的文章均为转载稿,本网转载出于传递更多信息之目的。此类稿件并不代表本网观点,本网不承担此类稿件侵权行为的直接责任及连带责任。
    3. 如因作品内容、版权等需要同本网联系的,请在作品在本网发表之日起30日内联系,否则视为放弃相关权利。

    网友评论:(只显示最新10条。评论内容只代表网友观点,与本站立场无关!)
    | 关于我们 | 网站导航 | 招聘信息 | 广告业务 | 网站申明 | 客服中心 | 联系我们