搜索筛选:
搜索耗时0.9604秒,为你在为你在102,285,761篇论文里面共找到 97 篇相符的论文内容
发布年度:
[期刊论文] 作者：谢瑾奎,黄林鹏,
来源：计算机工程 年份：2003
提出了一个基于部分计值技术的信息个人化系统PIPEAgent.部分计值理论源于程序转换中如何在给定部分输入的情况下,对程序完成尽可能多的运算从而对程序进行优化这一问题的探...
[期刊论文] 作者：张朝锋,黄林鹏,
来源：计算机工程 年份：2004
针对现代切削技术的发展需要，提出了基于切削数据实例相似度优选的切削数据专家系统的解决方案。主要介绍了切削数据专家系统的概念和基本结构，着重描述系统开发过程中的关键技......
[期刊论文] 作者：肖连兵, 黄林鹏,,
来源：计算机工程 年份：2002
网格计算是新型的分布计算技术,是解决复杂度越来越高的新应用的重要方法.文章简述了网格计算(grid computing)的定义、特点和基本结构,着重讨论了几个代表性的网格系统,分析...
[期刊论文] 作者：黄林鹏,孙永强,
来源：上海交通大学学报 年份：2000
讨论在Ｉ＋上进一步引入刻划ａｇｅｎｔ间通信所必需的原语及基于ＨＴＴＰ的中间件而形成的面向ａｇｅｎｔ的多范例语言Ｉ＾＊，在Ｉ％＊中引入了一些处理ａｇｅｎｔ的原语，它们来自Ｓｈｏａｍ的ＡＯＰ和Ｆｉｎｉｎ的ＫＱＭＬ。Ｉ＾＊的实现策略是将Ｉ＾＊转换为Ｉ＋加上ＫＡＰＩ提供的支持ａｇｅｎｔ间通信的......
[期刊论文] 作者：黄林鹏,倪德明,
来源：计算机工程与设计 年份：1994
使用函数式语言书写的程序包含了稳式的并行性。由于表达式可以以任意次序计值，因此无需显式的并行结构来管理并行性，且可以非常方便地在并行计算机体系结构上实现，程序正确性的......
[期刊论文] 作者：朱伟民, 黄林鹏,
来源：新金融 年份：2002
一、目前国内银行计算机灾难备份的现状随着银行业务不断地拓展,计算机系统运行的应用越来越多....
[期刊论文] 作者：朱伟民,黄林鹏,
来源：计算机工程 年份：2003
详细地阐述了VP的时钟管理方案的原理和具体实现,从算法的时间和空间的开销角度对该时钟管理方案进行了分析,从而表明该方案能够较好地解决VP的时钟管理问题.该时钟管理方案...
[期刊论文] 作者：孔亦南,黄林鹏,,
来源：计算机应用与软件 年份：2007
介绍了编译优化过程中非常重要的一种分析———数据流分析。数据流分析揭示了程序数据之间的相互关系,并为后续的编译优化提供信息。通过举例说明了求解数据流问题的基本步骤,阐述了其基本概念和理论框图,并引出了求解数据流分析问题的基本算法和两个重要结论......
[期刊论文] 作者：黄林鹏,孙永强,
来源：软件学报 年份：1993
本文提出一种基于线性逻辑的理论L1,它除了能较好地反映常识推理的非单调性外,还可以在矛盾存在的情况下继续组织有效的推理。...
[期刊论文] 作者：黄林鹏,孙永强,
来源：软件学报 年份：1994
本文给出一个新的线性逻辑的证明网的定义并证明了所定义的证明是线性逻辑的自然推理，和Ｇｉｒａｒｄ的原定义相比，使用本文给出的定义来判定一个证明结构是否为证明网的时间复杂度为Ｏ（ｎ＊ｎ），并且在......
[期刊论文] 作者：顾亮亮,黄林鹏,
来源：2012年第三届中国计算机学会服务计算学术会议 年份：2012
近年来随着软件技术的飞速发展,基于构件的软件开发已经成为软件工程领域的发展趋势,OSGi (open services gateway initiative)作为一种成功的构件平台模型,已经在普适计...
[期刊论文] 作者：黄林鹏,孙永强,
来源：计算机科学 年份：1993
图灵奖获得者 Maurico V.wilkos 教授最近应 CACM 杂志社之邀,撰文评述了人工智能研究的历史及展望,该文对机器学习、专家系统、神经网络、数字/模拟计算机等做了极其精辟的...
[期刊论文] 作者：黄林鹏,孙永强,
来源：计算机科学 年份：1991
1.线性逻辑和张量理论在古典逻辑的 Gentzen 型矢列演算中Girard 去除弱规则和缩规则,发展起一种新型逻辑系统——线性逻辑(简记为 LL)。它不同于古典逻辑,本质上是一种事态...
[期刊论文] 作者：黄林鹏,童维勤,
来源：计算机科学 年份：1994
程序设计中的并行性可心区分为逻辑并行性和物理并行性，前者是一种程序构造工具，它通过任务复合来程序；后者涉及实现技术，它关心的是任务如何在处理器集合上的分配。本文将介绍一......
[期刊论文] 作者：黄林鹏,孙永强,
来源：计算机科学 年份：1992
所谓的逻辑式程序设计它涉及两个逻辑层次：外部逻辑和内部逻辑，前者描述对象之间的逻辑关系，而后者涉及目标求解遵循的逻辑法则。如PROLOG，它的外部逻辑是古典逻辑，而其计算遵循的......
[期刊论文] 作者：黄林鹏,孙永强,
来源：计算机科学 年份：1993
规范(specification)的目的是提供一个标准,用以引导和评价软件系统的设计、实现和维护。本文从术语“规范”的定义出发,讨论一个良好的软件规范必须具备的性质,分析了形式规...
[期刊论文] 作者：黄林鹏,孙永强,
来源：计算机科学 年份：1991
1.从古典逻辑到线性逻辑1986年,法国巴黎第七大学 J。Y.Gi-rard 教授在研究二阶λ-演算的指称语义时发现古典逻辑中的隐含连接词 A(?)B 可以分解成更基本的线性运算!A(?...
[期刊论文] 作者：黄林鹏,孙永强,
来源：计算机学报 年份：1993
交互作用网是Lafont于1990年在POPL会议上提出的一种程序设计语言.本文我们从证明和程序的关系出发,使用线性逻辑作为一种集成逻辑讨论交互作用网的理论性质,得到下述结论:&#...
[期刊论文] 作者：黄林鹏,倪德明,
来源：计算机技术 年份：1993
...
[期刊论文] 作者：冯志宇,黄林鹏,,
来源：计算机应用研究 年份：2009
R-OSG采用生产者—消费者模式调用远程服务的R-OSGi,不仅会增加每个系统OSGi的工作负载,同时对网络资源的消耗也很大,更无法对远程服务进行统一的管理。基于OSGi的两层服务模型正是针对R-OSGi的这些缺点,从一种新的视角来看待分布式环境中的OSGi平台,将每一个独......
相关搜索：
