黄林鹏



所属系别: 计算机系

研究方向: 程序设计语言
并行分布式计算
人工智能



联系电话: 62822983

E-Mail: huang-lp@cs.sjtu.edu.cn

实验室主页: http://grid.sjtu.edu.cn/



个人简介
教育及工作经历: 1984年毕业于浙江大学计算机系 获学士学位
1984－1986年 福建师范大学数学系 助教
1986年进入上海交通大学学习，1989年获硕士学位
1992年获博士学位（导师孙永强教授），毕业后留校工作
1993年评为副教授
1998年评为教授
2002年评为博士生导师
94年和97年作为访问学者赴香港中文大学参加合作课题攻关
1999年-2000年作为高级访问学者在哈佛大学进修访问一学年

社会及学术兼职: 中国农工民主党党员 （交大副主委）

上海欧美同学会 会员

中国计算机学会高级会员

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


获奖情况: 1995年评为上海市高校优秀青年教师


教学与科研
主讲课程: 分布式计算

分布式系统

人工智能

程序设计语言原理

离散数学


主要研究领域: 程序设计语言

并行分布式计算

人工智能


科研项目: 2002-2003 分布式部分计值 国家863高科技项目课题组长

2004-2005 网格环境下的数据传输 上海教委e研究院 负责

2003－2005 上海信息网格平台建设 参加

负责资源管理与数据管理中间件开发

2002-2003 集群计算性能模型 国家教委回国人员科研启动基金

1998-2000 远程高性能并行计算 自然科学基金 参加者 排名2

1996-1997 大规模并行程序设计 自然科学基金 参加者 排名2

1995-1996 数据并行处理 上海交通大学基金课题

1994、1997 大规模并行程序设计范例 香港UPGC资助课题

合作研究 排名2


发表论文: 1. Linpeng Huang et al, “Implementing Functional Languages in Interaction Nets”, in Proceedings of International Conference for Young Computer Scientists, P386-389, 1991.

2. Linpeng Huang et al, “ A New Criteria for Proof-nets with Quantifiers”, Selected Scientific Papers of Shanghai Jiao Tong University, Book 2, P17-27, 1993.

3. Linpeng Huang et al, “A New Criterion for Proof-Nets”, Chinese Journal of Advanced Software esearch, Vol. 1, No. 2, 1994.

4. Linpeng Huang et l，“A Linear Logic Approach to Property Inheritance with Exceptions”, Selected Scientific Papers of Shanghai Jiao Tong University, Book 2, 1994.

5. W.Q. Tong, Linpeng Huang, “Gamma as a Portable, Massively Parallel Programming Model”, in Proceedings of International Workshop on Advanced Software Technology, P202-212, 1994.

6. Linpeng Huang et al, “Implementing Higher-order GAMMA on a Massively Parallel Computer: A Case Study”, Journal of Systems Engineering and Electronics, Vol. 6,
No. 3, P56-62, 1995.

7. Linpeng Huang et al，“Implementing Gamma on MasPar MP-1”，in Proceedings of International Conference for Young Computer Scientists, P94-99, 1995.

8. Linpeng Huang, “Implementing Higher-order Gamma on a Massively Parallel Computer: a Case Study”, in Proceedings of International Workshop on Advanced Parallel Processing Technologies, P203-207, 1995.

9. K.W. Ng, Linpeng Huang “Implementing Higher-order Gamma on MasPar: a Case Study”, in Proceedings of First Aizu International Symposium on Parallel Algorithms Architecture Synthesis, Japan, P301-307, IEEE Computer Society Press, 1995

10. Linpeng Huang et al, “Implementation of GAMMA on a Massively Parallel Computer”, Journal of Computer Science and Technology, Vol.12, No.1, P29-39, 1997（EI No: EIP97043628021）.

11. Linpeng Huang et al，”Interaction Nets Revisited”，in Proceedings of Advances in Parallel and Distributed Computing, P108-115, IEEE Computer Society Press, 1997 (EI No. EIP97033565043).

12. Linpeng Huang et al, “Definition and Criteria for Proof Nets”, Chinese Journal of Theoretical Computer Science, Vol. 3, P60-79, 1998.

13. K.W. Ng, Linpeng Huang, Y.Q. Sun, “A Multi-paradigm Language for Developing Agent-oriented Applications”，in Proceedings of TOOLS Asia’98, P18-27, IEEE Computer Society Press, 1998.

14. Y.Q. Sun, Wei Yuan, Linpeng Huang, “Performance Analysis and Optimization: A Case Study of the NPB FT Kernel”, in Proceedings of the International Conference on
Parallel and Distributed Processing Techniques and Applications, P567-573, Las Vegas, USA, 1998.

15. Linpeng Huang, Y.Q. Sun, Wei Yuan, Hierarchical Bulk Synchronous Parallel Model and Performance Optimization, Journal of Computer Science and Technology, Vol.14, No.3, P224-233, 1999

16. 黄林鹏，孙永强，交互作用网理论分析，计算机学报,16(3), 1993, 171-180.

17. 黄林鹏，孙永强，非单调性和不一致性的处理-- 一个基于线性逻辑的方法，软件学报，4(4)，1993，15-19.

18. 黄林鹏，孙永强，一个新的证明网定义及合理性，软件学报，5(10)，1994,33-37.

19. 左孝凌，黄林鹏，一个不确定推理的研究与设计-RUES系统，全国人工智能会议论文集，1989，212-221.

20. 黄林鹏，孙永强，线性逻辑导论，计算机科学，18(1), 1991, 15-19.

21. 黄林鹏，孙永强，线性逻辑、Petri网和并发计算，计算机科学，18(6),1991, 17-24.

22. 黄林鹏，孙永强，一个时间复杂度为O的证明网验证算法，双B代数和计算机逻辑论文集，1991，125-131.

23. 黄林鹏，孙永强，线性逻辑和逻辑式程序设计，计算机科学，19(6), 1992,11-17.

24. 黄林鹏等，不确定性知识的来源与分类，知识工程，1992.1 27-29.

25. 黄林鹏等，证明网、模块、类型及验证，全国青年计算机会议论文集，1992，99-104.

26. 黄林鹏，孙永强，并发lambda 演算及在并行抽象机上的实现，全国计算机体系结构年会论文集，1992，220-225.

27. 黄林鹏，孙永强，线性逻辑中非连通证明网的定义和验证，中国第五届多值逻辑学术会议论文集，1992，220-227.

28. 倪德明，黄林鹏等，Petri网结构理论的代数基础探讨，全国第二届Petri网研讨会，1992.

29. 黄林鹏，孙永强， 并发函数式语言CM的设计及实现，程序设计语言研究与发展，电子工业出版社，1993，82-88.

30. 黄林鹏等，超级文本和超级媒体的市场发展与展望，计算机技术，1993.2, 47-48.

31. 黄林鹏，孙永强，性质继承的线性逻辑表示和推理，计算机工程，1993.3,1-6.

32. 黄林鹏，人工智能的历史与展望，计算机科学，20(3)，1993，1-3.

33. 倪德明，黄林鹏等，并行模型的分类和评价，计算机科学，20(3), 1993, 13-17.

34. 黄林鹏等，软件规范，计算机科学，20(4)，1993，69-72.

35. 黄林鹏等，对偶类比学习，全国第二届机器学习研讨会论文集，1993.

36. 黄林鹏等，软件规格说明的比较和分类，全国第五次软件工程会议，1993.

37. 黄林鹏等，超级文本和超级媒体的市场发展与展望，全国第二届多媒体技术研讨会，1993.

38. 黄林鹏，孙永强， 并发函数式语言CM的设计及实现，计算机工程与设计，1994，4, 38-45

39. 黄林鹏等，并行计算模型GAMMA概述，计算机科学，21(5)，1994，20-24.

40. 黄林鹏等，高阶GAMMA中并行复合算子的定义，上海交通大学学报，30(6), 1996, 156-161.

41. 陈斯愈，黄林鹏，孙永强，一个数据并行语言的设计与实现，计算机工程，1997.3, 3-6

42. 黄林鹏等，PCC技术的应用和改进，上海交通大学学报，32(10)，1998，69-73.

43. 韩莹洁、孙永强、黄林鹏，自适应近似树，计算机研究与发展，2002年第三十九卷第十二期，pp. 1751-1757

44. Hongyan Mao, Linpeng Huang, Yongqiang Sun, Partial Evaluating Grid Service by DJMix, the Second International Workshop on Grid and Cooperative Computing 2003 (LNCS), Shanghai, China.

45. Lin Lin, Linpeng Huang, Yongqiang Sun, Optimizing Java Based Web Services by Partial Evaluation, the Second International Workshop on Grid and Cooperative Computing 2003 (LNCS), Shanghai, China.

46. Linpeng Huang and Yongqiang Sun, DJMix: A Distributed Java Bytecode Specialization System, Proc. of International Conference on Computer, Communication and Conference Technologies 2003, P185-189, Orlando, Florida, USA.

47. 林琳、黄林鹏、孙永强，通过部分计值对分布式软件的优化，2003全国软件与应用学术会议，上海，中国。

48. 孙永强、黄林鹏，DJMix：分布式Java字节代码例化系统，中德“理论计算机科学研讨会”。

49. 拜朝峰、林琳、黄林鹏、孙永强，部分计值综述，计算机科学 ，2004 第2期

50. 肖连兵、黄林鹏，网格计算技术，计算机工程，2002年

51. 谢瑾奎、黄林鹏、孙永强，基于部分计值的信息个人化系统，计算机工程，2003年

52. 朱伟民、黄林鹏，集群系统物理时间戳研究，计算机工程， 2002年

53. 包振华、黄林鹏，人工智能在故障诊断中的应用，计算机工程，2003年第1期

54. 朱伟民、黄林鹏，关于银行计算机灾难备份系统的思考，数据处理， 2002年第1期

55. Mao Hongyan, Huang Linpeng, and Sun Yonfqiang, “Optimizing Web Services with Partial Evaluation”，CIT’2004, will be indexed by EI.

56. Li Dong, Huang Linpeng, and Li Mingliu, “Dynamic Semantic Consistency Checking of Multiple Collaborative Ontologies in Knowledge Management System”, PDCAT’04, Lecture Notes in Computer Science 3320, Singapore, 2004. indexed by SCIE.

57. Li Dong, Huang Linpeng, and Li Mingliu, “LFC-K Cache Replacement Algorithm for Grid Index Information Service”, GCC’2004, Lecture Notes in Computer Science 3251, Springer-Verlag, 2004, pp. 795. indexed by SCIE.

58. Fei Liu , Fanyuan Ma , Minglu Li and Linpeng Huang, “Distributed Information Retrieval Based on Hierarchical Semantic Overlay Network”, GCC’2004, Lecture Notes in Computer Science 3251, Springer-Verlag, 2004, pp. 657-664. indexed by SCIE.

59. Huang XiaoQin, Huang LinPeng, Chen Lin, Li Minglu， “Design and Implementation of an Agent-based Web Services Platform for Electronic Commerce”，2004 IEEE International Conference on Services Computing，(SCC 2004), indexed by EI.

60. Geng Xiangyang, Li Dong,and Huang Linpeng, “Intelligent data transferring based on semantic web service”, 2004 IEEE International Conference on Services Computing (SCC 2004), indexed by EI.

61. Li Junjie , Huang Linpeng and Xie Jin Kui, Matchmaking for semantic web services, 2004 IEEE International Conference on Services Computing，(SCC 2004), indexed by EI.

62. Tianqi Huang, Xiaoqin Huang, Linpeng Huang, “An Agent-based Web Services Environment for Complicated Telecom Systems”, Proc. of International Conference on High Performance Computing and Application (HPCA2004, in Springer LNCS&E).

63. Jiazeng Wang, Xiangyang Geng, Linpeng Huang, “Intelligent File Transfer Protocol for Grid Environment”, Proc. of International Conference on High Performance Computing and Application (HPCA2004, in Springer LNCS&E).

64. Zemin Ni, Hongyan Mao, Linpeng Huang, Yongqiang Sun,“Distributed Partial Evaluation on Byte Code Specialization”, Proc. of International Conference on High Performance Computing and Application (HPCA2004, in Springer LNCS&E).

65. Jinkui Xie and Linpeng Huang , An Abstract Model for Service Compositions Based on Agents,Computational Science – ICCS 2005: 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, LNCS 3516, PP1032-1035



编辑、翻译

1. 傅育熙，黄林鹏 等主编第七届全国青年计算机学术会议论文集上海科技文献出版社，1998.10

2. 傅育熙，黄林鹏，张冬茉译程序设计语言的设计与实现,第2版,电子工业出版社，1998.12

3. 傅育熙，张冬茉,黄林鹏译程序设计语言的设计与实现,第3版,电子工业出版社，2000.12

4. 黄林鹏 毛宏燕 黄晓琴 译 程序设计语言——原理与实践（第二版） 原作者：[美]Kenneth C.Louden，电子工业出版社，2004年4月

5. 黄林鹏 朱崇恺 译 程序设计方法(中文版) 原作者：[美]Matthias Felleisen等，人民邮电出版社，2003年12月


专利: 毛宏燕 黄林鹏等 基于网络服务资源框架的图像网格处理系统

申请号: 200410067577.0 申请日期2004年10月28日



申请并获得软件著作权

1. 软著登第 017575号 登记号 2003SR12484

基于部分计值的信息个人化系统【简称：PIE】 V1.0

2. 软著登第 010454号 登记号 2003SR5363

Java字节代码部分计值器系统 【简称：Jmix】

3. 登记号：2004SR12898

医学图像处理网格系统 MIP-GRID V1.0