黄林鹏
程序语言;并行计算;人工智能
个性化签名
- 姓名:黄林鹏
- 目前身份:
- 担任导师情况:
- 学位:
-
学术头衔:
博士生导师
- 职称:-
-
学科领域:
计算机软件
- 研究兴趣:程序语言;并行计算;人工智能
黄林鹏 教授
所属学科:软件与理论学科组
研究方向:程序语言 并行计算 人工智能
学历:
1988-1992 上海交通大学计算机系,博士研究生,导师 孙永强教授,研究方向: 程序设计语言 并行计算 计算机逻辑
1986-1988 上海交通大学计算机系,硕士研究生,导师 左孝凌教授,研究方向:人工智能
1980-1984 浙江大学计算机科学与工程系,本科毕业
进修:
1999-2000 美国哈佛大学 Division of Engineering and Applied Sciences
访问:
1997-1997 香港中文大学计算机系 Department of CS&E
1994-1994 香港中文大学计算机系 Department of CS&E
工作:
1998- 上海交通大学计算机系 教授, 博士生导师(2000)
1992-1998 上海交通大学计算机系 讲师,副教授
1984-1986 福建师范大学数学系 助教
主持/参加课题:
2002-2003 分布式部分计值 国家863高科技项目 课题组长
2002-2003 集群计算性能模型 国家教委回国人员科研启动基金
1998-2000 远程高性能并行计算 自然科学基金 参加者
1996-1997 大规模并行程序设计 自然科学基金 参加者
1995-1996 数据并行处理 上海交通大学基金课题
1994-1997 大规模并行程序设计范例 香港UPGC资助课题 合作研究
奖励:
1995-1996年度上海市高校优秀青年教师
1994年度上海交通大学青年科研一等奖
1998年度上海交通大学研究生教学奖
2001年度上海交通大学教工考核优秀
-
主页访问
1454
-
关注数
0
-
成果阅读
633
-
成果数
12
【期刊论文】Interaction Nets Revisited
黄林鹏, Linpeng Huang and Yongqiang Sun
,-0001,():
-1年11月30日
Past attempts have been made to apply Girard's linear logic to Lafont's interaction nets by treating "symbois" as logical rules, however, failed to come to a signijicant explanation. In this paper, we try to model "symbols" as external axioms and use "tensor" to describe partition of auxiliary ports. We show that our solution leads to a very natural logical interpretation of the computation on interaction nets.
-
35浏览
-
0点赞
-
0收藏
-
0分享
-
55下载
-
0评论
-
引用
黄林鹏, 孙永强
计算机学报,1993,16(3):171~180,-0001,():
-1年11月30日
交互作用网是Lafont[1]于1990年在POPL会议上提出的一种程序设计语言,本文我们从证明和程序的关系出发,使用线性逻辑作为一中长跑 集成逻辑讨论交互作用网的理论性质,得到下述结论:·网上的结点辅助商品的划分可表示成相应类型的张量积;·网上的计算等价于线性矢列演算中Principal-Cut的消去;·对于任何一个交互作用网,如果存在一个线性矢列演算与之对应,则该网是简单的。
交互作用网,, 线性逻辑,, 并行计算。
-
72浏览
-
0点赞
-
0收藏
-
0分享
-
39下载
-
0评论
-
引用
黄林鹏, 孙永强
软件学报,1994,5(10):33~37,-0001,():
-1年11月30日
本文给出一个新的线性逻辑的证明网的定义并证明了所定义的证明网是线性逻辑的自然推理。和Girard的原定义相比,使用本文给出的定义来判定一个证明结构是否为证明网的时间复杂度为O(n*n),并且在证明所定义的证明网是可矢列化时更加自然和简单。
线性逻辑,, 证明网,, 并行计算
-
108浏览
-
0点赞
-
0收藏
-
0分享
-
52下载
-
0评论
-
引用
黄林鹏, 孙永强
计算机科学,1991(1):15~19、41,-0001,():
-1年11月30日
In 1986, J.Y. Girard discovered that usual logical implicaiton could be broken up into more clementary linear operations, Following that, he developed a new logical system, called linear logic, which appears now as a promising approach to fundamental questions arising in proof theory and in computer science, In this paper, we give a brief guide to the characteristics of linear logic, summary the recent developments and discuss the prospect of its applications to computer science.
-
59浏览
-
0点赞
-
0收藏
-
0分享
-
46下载
-
0评论
-
引用
黄林鹏, 孙永强
计算机科学,1991(6):17~24,-0001,():
-1年11月30日
Curry-Howard isomorphism has proved very fruitful as a methodological tool for exploiting the deep relationship among typed lambda calculus, intuitionistic logic and cartesian closed categories, A direct payoff of this has been the design of functional programming langages with powerful type systems, Limear logic is a logic of actions that seems weell suited for concurrent computation. In this paper, we establish a correspondence between Petri nets, linear logic and symmetic monoidal categories.
-
67浏览
-
0点赞
-
0收藏
-
0分享
-
48下载
-
0评论
-
引用
黄林鹏, 孙永强
计算机科学,1992,19(6):11~17,-0001,():
-1年11月30日
所谓的逻辑式程序设计它两个逻辑层次,外部逻辑和内部逻辑,前者描述对象之间的逻辑关系,而后者涉及目标求解遵循的逻辑法则。如PROLOG,它的外部逻辑是古典逻辑,而其计算遵循的,我们将证明可以使用线性逻辑中的记法加以刻画。西方从证明论角度出发,研究PROLOG目标求解成功或失败的公理化,并说明对任一给定的程序P,可定义一个线性理论LT(P),关于该理论,PROLOG目标求解是正确且完备的。
-
59浏览
-
0点赞
-
0收藏
-
0分享
-
27下载
-
0评论
-
引用
黄林鹏, 孙水强
计算机工程,1993,19(3):1~6,-0001,():
-1年11月30日
本文给出了一个性质的带例外继承的形式表示方法和推理模型,该方法采用线性逻辑的连接词和推理规则,避免了例外的显式表示,在不借助于逻辑外机制的情况下有效地解决了带例外继承推理中出现的问题。
性质继承 缺省推理 非单调逻辑
-
30浏览
-
0点赞
-
0收藏
-
0分享
-
26下载
-
0评论
-
引用
黄林鹏, 孙永强, 倪德明, 童维勤
计算机科学,1993,20(4):69~72,-0001,():
-1年11月30日
规范(specification)的目的是提供一个标准, 用以引导和评价软件系统的设计、实现和维护。本文从术语“规范”的定义出发, 讨论一个良好的软件规范必须具备的性质, 分析了形式规想半形式规范和非形式规范的优缺点, 给出了一些典型的规范系统的分类及相互间的关系。
-
35浏览
-
0点赞
-
0收藏
-
0分享
-
48下载
-
0评论
-
引用
黄林鹏, 倪德明, 孙永强
计算机工程与设计,1994(4):38~45,-0001,():
-1年11月30日
使用函数式语言书写的程序包含了稳式的并行性。由于表达式可以以任意次序计值, 因此无需显式的并行结构来管理并行性, 且可以非常方便地在并行计算机体系结构上实现, 程序正确性的证明也相对简单。但一般说来在函数式语言并行实现过程中所开发的是细颗粒度的并行性, 它的管理开梢较大。本文在纯函数式语言Miranda中引入两个并行进程构造子, 它们的使用使得在粗颗粒度上管理并发进程的产生、执行、通讯、成为可能,从而提高了程序的执行效率。
函数 语言程序设计 并发程序设计 并行处理
-
37浏览
-
0点赞
-
0收藏
-
0分享
-
32下载
-
0评论
-
引用
黄林鹏, 童维勤, 倪德明, 孙永强
计算机科学,1994,21(5):20~24,-0001,():
-1年11月30日
程序设计中的并行性可以区分为逻辑并行性和物理并行性,前者是一种程序构造工具,它通过任务复合来描述程序;后者实现技术,它关心的是任务如何在处理器集合上的分配。本文将介绍一种新的并行计算模型GAMMA,其使用多重集转换技术,允许在较高的抽象层次上开发逻辑并行性,已被证明是一种有效的并行程序构造方法。
-
38浏览
-
0点赞
-
0收藏
-
0分享
-
44下载
-
0评论
-
引用