面向Agent的多范例语言I^＊的设计与实现

1

作者 黄林鹏 孙永强 《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第7期963-966,969,共5页

讨论在 I+上进一步引入刻划 agent间通信所必需的原语及基于 HTTP的中间件而形成的面向 agent的多范例语言 I* .在 I*中引入了一些处理 agent的原语 ,它们来自 Shoam的 AOP和Finin的 KQML.I*的实现策略是将 I*转换为 I+加上 KAPI提供的... 讨论在 I+上进一步引入刻划 agent间通信所必需的原语及基于 HTTP的中间件而形成的面向 agent的多范例语言 I* .在 I*中引入了一些处理 agent的原语 ,它们来自 Shoam的 AOP和Finin的 KQML.I*的实现策略是将 I*转换为 I+加上 KAPI提供的支持 agent间通信的库函数调用 .KAPI提供 agent间的传送和通信界面 ,支持的协议有 TCP/IP、HTTP。 展开更多

关键词 多范例语言 程序设计语言 面向对象 AGENT 设计

在线阅读 下载PDF 职称材料

PCC技术的应用和改进

2

作者 黄林鹏 孙永强 《上海交通大学学报》 EI CAS CSCD 北大核心 1998年第10期69-73,共5页

随着基于Ｉｎｔｅｒｎｅｔ的分布式计算的兴起，如何在确保系统安全的情况下有效地使用网络上的各种计算资源已成为计算机科学的研究热点之一．由Ｎｅｃｕｌａ和Ｌｅｅ提出的自带证明代码（ＰＣＣ）概念被认为是一种可行的技术，文中研... 随着基于Ｉｎｔｅｒｎｅｔ的分布式计算的兴起，如何在确保系统安全的情况下有效地使用网络上的各种计算资源已成为计算机科学的研究热点之一．由Ｎｅｃｕｌａ和Ｌｅｅ提出的自带证明代码（ＰＣＣ）概念被认为是一种可行的技术，文中研究ＰＣＣ技术所涉及的技术问题，分析比较了ＰＣＣ和其他安全技术的适应性，指出了该技术的优点和限制，提出了相应的改进措施，探讨了其在远程高性能并行计算及可移动代码迁移系统中应用的可能性． 展开更多

关键词 程序设计语言 计算机安全 移动代码 PCC技术

在线阅读 下载PDF 职称材料

高阶GAMMA中并行复合算子的定义

3

作者 黄林鹏 孙永强 《上海交通大学学报》 EI CAS CSCD 北大核心 1996年第6期156-161,共6页

讨论了高阶ＡＡＭＭＡ中并行复合算子的定义．用一个反例说明原先定义的缺陷，在给出修改后定义的同时，证明了新定义的正确性．

关键词 并行计算模型 高阶语言 程序复合 并行复合算子

在线阅读 下载PDF 职称材料

基于字节码例化的程序优化原理与分析 被引量：2

4

作者 毛宏燕 黄林鹏 孙永强 《高技术通讯》 CAS CSCD 北大核心 2005年第5期5-8,共4页

为从根本上改善Java程序运行效率,充分发挥其跨平台和分布式计算的特点,促进网络计算更快发展,本文讨论了基于部分计值的字节码例化技术,提出了将通用的应用程序代码例化为更有效的面向领域和体系结构的机制,并实现一个面向Java字节码... 为从根本上改善Java程序运行效率,充分发挥其跨平台和分布式计算的特点,促进网络计算更快发展,本文讨论了基于部分计值的字节码例化技术,提出了将通用的应用程序代码例化为更有效的面向领域和体系结构的机制,并实现一个面向Java字节码的部分计值器Jmix.实验表明,Jmix能有效缩短字节码长度,提高应用的运行效率. 展开更多

关键词 字节码 优化原理 程序运行效率 应用程序代码 部分计值 分布式计算 Java 网络计算 体系结构 面向领域 跨平台 HVA

在线阅读 下载PDF 职称材料

面向服务的分布式部分计值 被引量：1

5

作者 毛宏燕 黄林鹏 孙永强 《上海交通大学学报》 EI CAS CSCD 北大核心 2006年第3期507-510,514,共5页

从服务运行角度出发,提出利用部分计值技术优化服务的新方法,将通用服务例化为更有效的实现.基于字节码例化的部分计值和网格特性,分析并给出了分布式部分计值架构和实现机制.通过光线跟踪服务实例的分析,论述了部分计值对改进服务性能... 从服务运行角度出发,提出利用部分计值技术优化服务的新方法,将通用服务例化为更有效的实现.基于字节码例化的部分计值和网格特性,分析并给出了分布式部分计值架构和实现机制.通过光线跟踪服务实例的分析,论述了部分计值对改进服务性能的可行性,使服务的设计和实现能够有机地统一和分离. 展开更多

关键词 网络技术 网络服务 分布式部分计值 优化 WEB服务 字节码例化

在线阅读 下载PDF 职称材料

基于ASM的普适环境下的服务动态组合 被引量：2

6

作者 曾慧清 黄林鹏 陈俊清 《微电子学与计算机》 CSCD 北大核心 2010年第8期86-90,95,共6页

在综合研究已有的服务组合的各种方案的基础上,采用层次结构的服务组合框架,同时利用回溯树进行服务的动态组合,最后用ASM建立一个普适环境下服务动态组合的基础模型并对其进行精化,同时通过CoreASM对该模型进行模拟执行验证.

关键词 普适计算 服务动态组合 回溯树 层次结构 ASM

在线阅读 下载PDF 职称材料

普适环境中的动态更新模型 被引量：1

7

作者 周文嘉 黄林鹏 陈俊清 《微电子学与计算机》 CSCD 北大核心 2011年第8期15-18,共4页

致力于普适计算下的动态更新的研究,首先分析了普适计算下动态更新的场景,针对普适环境的动态性,我们提出了区别于传统更新方式的路径更新;通过分析集中式更新模型的局限性,提出了适合普适环境的分布式更新模型;最后使用类型与效果系统... 致力于普适计算下的动态更新的研究,首先分析了普适计算下动态更新的场景,针对普适环境的动态性,我们提出了区别于传统更新方式的路径更新;通过分析集中式更新模型的局限性,提出了适合普适环境的分布式更新模型;最后使用类型与效果系统为更新模型做形式化分析. 展开更多

关键词 普适计算 动态更新 路径更新 形式化分析

在线阅读 下载PDF 职称材料

基于抽象状态机的普适服务组合分析与验证 被引量：1

8

作者 易良辰 黄林鹏 《微电子学与计算机》 CSCD 北大核心 2013年第3期122-126,共5页

提出了一个普适环境下服务组合的框架,使用抽象状态机对服务的行为进行不同精化层级的形式化描述,然后利用CoreASM这一模型检测工具对服务组合进行模拟执行验证,从而验证服务组合的正确性.最后给出了一个运用此方法进行服务组合验证的... 提出了一个普适环境下服务组合的框架,使用抽象状态机对服务的行为进行不同精化层级的形式化描述,然后利用CoreASM这一模型检测工具对服务组合进行模拟执行验证,从而验证服务组合的正确性.最后给出了一个运用此方法进行服务组合验证的典型应用场景. 展开更多

关键词 抽象状态机 普适计算 服务组合 验证方法

在线阅读 下载PDF 职称材料

基于R-OSGi平台的语义服务

9

作者 黄冠 黄林鹏 陈俊清 《微电子学与计算机》 CSCD 北大核心 2009年第8期18-21,共4页

R-OSGi是基于OSGi的一个分布式应用框架,可以透明地访问远程OSGi平台的服务.R-OSGi平台的服务查找基于严格的句法匹配,通常存在"同义异形"和"同形异义"的问题.利用OWL引入语义信息,提出了基于R-OSGi平台的语义服务... R-OSGi是基于OSGi的一个分布式应用框架,可以透明地访问远程OSGi平台的服务.R-OSGi平台的服务查找基于严格的句法匹配,通常存在"同义异形"和"同形异义"的问题.利用OWL引入语义信息,提出了基于R-OSGi平台的语义服务(包含语义信息的服务),解决了句法匹配所带来的问题,并通过一个智能家庭具体应用说明了方法的可行性和有效性. 展开更多

关键词 R—OSGi 语义服务 OWL 语义搜索

在线阅读 下载PDF 职称材料

upDSL:一种描述动态更新策略的领域特定语言

10

作者 张迎春 黄林鹏 《微电子学与计算机》 CSCD 北大核心 2008年第10期34-36,39,共4页

定义了一种刻画软件动态更新策略的领域特定语言upDSL.该领域特定语言可以对OSGi平台中模块动态更新策略进行结构化描述,并可提供动态更新关键步骤的必要信息,从而实现动态更新的可控性和安全性,并为不同的动态更新机制实现提供良好的... 定义了一种刻画软件动态更新策略的领域特定语言upDSL.该领域特定语言可以对OSGi平台中模块动态更新策略进行结构化描述,并可提供动态更新关键步骤的必要信息,从而实现动态更新的可控性和安全性,并为不同的动态更新机制实现提供良好的描述和推理基础. 展开更多

关键词 领域特定语言 动态更新策略 更新策略管理模块 OSGI

在线阅读 下载PDF 职称材料

分布式系统动态更新的研究

11

作者 许赵云 黄林鹏 《微电子学与计算机》 CSCD 北大核心 2007年第10期23-25,共3页

为了动态更新分布式系统,研究了多结点分布式系统的更新顺序问题以及更新过程中新旧版本共存的难题,同时提出一种动态更新分布式系统的方法,该方法基于设计模式中的代理模式,不需要运行时机制的支持。最后通过实验证明了该方法的有效性... 为了动态更新分布式系统,研究了多结点分布式系统的更新顺序问题以及更新过程中新旧版本共存的难题,同时提出一种动态更新分布式系统的方法,该方法基于设计模式中的代理模式,不需要运行时机制的支持。最后通过实验证明了该方法的有效性和安全性。 展开更多

关键词 动态更新 更新顺序 版本兼客 更新安全性

在线阅读 下载PDF 职称材料

基于分片、松耦合的分布式文件系统的设计与实现

12

作者 华清 黄林鹏 《微电子学与计算机》 CSCD 北大核心 2006年第10期222-224,共3页

文章介绍为CGSP*(ChinaGridSupportPlatform)度身定制的一个基于分片的、松耦合的分布式文件系统。与现存的分布式文件系统相比,本系统有以下特点:(1)将资源层与管理层完全分离;(2)基于分片而不是整个文件进行管理;(3)数据资源和用户虚... 文章介绍为CGSP*(ChinaGridSupportPlatform)度身定制的一个基于分片的、松耦合的分布式文件系统。与现存的分布式文件系统相比,本系统有以下特点:(1)将资源层与管理层完全分离;(2)基于分片而不是整个文件进行管理;(3)数据资源和用户虚拟空间都纳入WSRF框架。以上几点都是针对网格海量数据密集型应用而设计的。 展开更多

关键词 CGSP分片 分布式文件系统 WSRF 网格

在线阅读 下载PDF 职称材料

燃煤发电机组灵活运行控制技术研究进展 被引量：4

13

作者 孙源 张启超 +6 位作者 张忠孝 郭欣维 孔成栋 徐嘉叶 叶妮娜 黄林鹏 乌晓江 《上海理工大学学报》 CAS CSCD 北大核心 2023年第5期440-447,共8页

加快构建新型电力系统是助推“双碳”目标实现的核心关键。风、光可再生能源的大比例接入给电力系统的安全稳定运行带来了新的挑战,对燃煤机组的安全、深度、灵活调峰控制也提出了更高要求。依据煤电机组智能灵活调峰控制技术的发展历程... 加快构建新型电力系统是助推“双碳”目标实现的核心关键。风、光可再生能源的大比例接入给电力系统的安全稳定运行带来了新的挑战,对燃煤机组的安全、深度、灵活调峰控制也提出了更高要求。依据煤电机组智能灵活调峰控制技术的发展历程,从被控对象建模和灵活运行控制方法两个层面进行梳理与分析,研究结果表明,辅以机器学习和其他智能系统辨识方法的混合建模方式,以及融合预测控制、自适应控制、多目标智能寻优等先进控制技术更加适合未来煤电机组灵活智能控制的需要,是未来煤电机组灵活、智能控制技术发展的主要方向。 展开更多

关键词 燃煤机组 灵活调峰 建模方法 运行控制 协调控制系统

在线阅读 下载PDF 职称材料

快速流态化过程颗粒团理想模型建立

14

作者 邱文强 黄林鹏 +1 位作者 范浩杰 章明川 《锅炉技术》 北大核心 2023年第1期1-8,33,共9页

颗粒团聚是快速流态化过程中一个重要现象。根据鼓泡床气泡模型,类比推导出快速流态化颗粒团理想模型。以颗粒团理想模型为基础,研究颗粒团周边气固流动结构,成功预测了晕的存在以及“反向穿透”的现象。结果表明:颗粒团内的稀相颗粒在... 颗粒团聚是快速流态化过程中一个重要现象。根据鼓泡床气泡模型,类比推导出快速流态化颗粒团理想模型。以颗粒团理想模型为基础,研究颗粒团周边气固流动结构,成功预测了晕的存在以及“反向穿透”的现象。结果表明:颗粒团内的稀相颗粒在颗粒团晕范围内保持一个动态平衡;对于催化裂化(FCC)颗粒,其他条件相同时,颗粒团的晕厚度随着颗粒粒径的增大而增大,随着操作风速的增大而减小;反向穿透颗粒流体积流量随着粒径的增大而增大。 展开更多

关键词 快速流态化 气固两相流 颗粒团模型 晕 反向穿透

在线阅读 下载PDF 职称材料