国家高技术研究发展计划(2007AA01Z136)

作品数：11被引量：134H指数：4
导出分析报告
相关作者：陈闳中蒋昌俊李景霞孙萍余伟辉更多>>
相关机构：同济大学国家高性能计算机工程技术研究中心山西大学上海海洋大学更多>>
相关期刊：《高技术通讯》《计算机应用与软件》《小型微型计算机系统》《计算机学报》更多>>
相关主题：WEB服务组合WEB服务层次颜色PETRI网模型驱动架构颜色PETRI网更多>>
相关领域：自动化与计算机技术自然科学总论更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Web服务的颜色Petri网模型及验证
《计算机应用与软件》2011年第3期80-82,88,共4页李景霞 赵慧娟 
国家高技术研究发展计划项目(2007AA01Z136);国家重点基础研究发展规划项目(2010CB328100)
利用Web服务组合技术,能够快速、灵活地满足复杂多变的业务需求。针对现有Web服务组合描述模型不独立于具体组合流程描述语言且不能全面刻画Web服务组合这两个问题,提出了一个描述Web服务的颜色Petri网模型,并给出了五个Web服务基本组...
关键词：颜色PETRI网 模型驱动体系结构 形式化描述模型 WEB服务组合验证 
支持文件迁移的Linux检查点机制的实现被引量：4
《计算机工程》2010年第3期266-268,共3页杨晖 陈闳中 
国家"863"计划基金资助项目(2007AA01Z136)
在BLCR系统的基础上实现一种支持进程打开文件迁移的检查点机制,给出该机制的总体框架、关键技术、进程打开文件保存恢复、状态保存和恢复的流程。实验结果表明,该机制支持多线程、信号、进程打开文件及管道等的保存与恢复,无需重编译内...
关键词：检查点机制 状态保存 状态恢复 进程迁移 
基于离散微粒群算法的动态Web服务选择被引量：48
《计算机研究与发展》2010年第1期147-156,共10页范小芹 蒋昌俊 方贤文 丁志军 
国家自然科学基金项目(90818023;90718012;60803032;60803034);国家"八六三"高技术研究发展计划基金项目(2007AA01Z136)
Web服务作为一种新型的Web应用模式近年来得到了迅速的发展.如何高效动态地把现存的各种Web服务整合起来以形成新的满足不同用户需求的增值的复杂服务,已成为新的应用需求和研究热点.针对服务选择问题,设计了一种面向动态Web服务选择的...
关键词：WEB服务 服务选择 服务质量 微粒群算法 离散微粒群算法 
XML数据类型验证算法的改进被引量：2
《计算机工程》2009年第19期53-55,共3页巢弘坤 陈闳中 
国家"863"计划基金资助项目"可靠的服务组合方法及其验证技术研究"(2007AA01Z136)
介绍几种XML Schema类型验证算法,并对其中基于树自动机的算法进行研究,针对它在验证嵌套复杂类型XML文档过程中存在的问题,提出一种改进算法,为每个终结符增设一个处理状态标志,从而对以XML文档表示的数据类型进行验证。通过实验测试...
关键词：树自动机 XML Schema模式 类型 验证 
Web服务组合的层次颜色Petri网描述模型被引量：6
《计算机工程》2009年第24期39-40,44,共3页李景霞 程久军 
国家"863"计划基金资助项目"可靠的服务组合方法及其验证技术研究"(2007AA01Z136);上海市重点攻关基金资助项目(08251203403)
针对Web服务组合流程资源的表达及组合流程正确性验证问题,提出一个基于层次颜色Petri网的Web服务组合描述模型,该模型在描述组合流程控制流的同时还能描述流程中的数据流,能较全面地刻画Web服务组合流程,并且支持对组合流程正确性的验...
关键词：层次颜色PETRI网 模型驱动架构 WEB服务组合 
一种基于扩展颜色Petri网的Web服务组合验证机制被引量：4
《计算机科学》2009年第10期146-149,共4页李景霞 闫春钢 
国家"八六三"高技术研究发展计划项目"可靠的服务组合方法及其验证技术研究"(2007AA01Z136);国家"九七三"重点基础研究发展规划项目"语义网格的过程语义及其验证理论与服务集成技术"(2003CB316902)资助
Web服务技术日趋成熟,它提供了一种平台独立、自描述、位置透明的软件模块。利用Web服务组合技术,能够快速、灵活地满足复杂多变的业务需求。随着Web服务组合流程日趋复杂,组合流程设计越来越容易出错。给出了一个描述Web服务组合流程...
关键词：层次颜色PETRI网 模型驱动架构 WEB服务组合 正确性分析 
时间依赖网络中非FIFO弧的转化研究被引量：2
《小型微型计算机系统》2009年第1期156-158,共3页余伟辉 陈闳中 
国家"八六三"项目(2007AA01Z136)资助
经典最短路算法不能有效地解决时间依赖网络的最短路问题.时间依赖网络中的非FIFO弧的存在是导致经典的最短路算法失效的原因.本文对非FIFO弧的权函数为非连续(存在有限个非连续点)或者离散情况下转化为FIFO弧进行了研究,在允许等待的...
关键词：最短路 时间依赖网络 非FIFO弧 算法 
一种量化的页面淘汰算法
《计算机工程与科学》2008年第12期90-93,共4页沈仕敏 陈闳中 方钰 
国家863计划资助项目(2007AA01Z136)
当前,操作系统和数据库系统中使用较为广泛的页面淘汰算法是LRU-k。但是,随着大量有着不同读写速度的外存设备共存于系统中,LRU-k仅仅根据页面最近访问频率去预测近阶段"热点"页面的缺点显现。本文提出了一种量化算法ELRUK,该算法不仅...
关键词：ELRUK 量化 LRU-k 缓冲 
时间依赖有向无环网最小时间路径算法被引量：4
《计算机工程与科学》2008年第11期42-45,共4页余伟辉 陈闳中 
国家863计划资助项目(2007AA01Z136)
经典模型及算法可解决固定弧权条件下的最短路问题,然而实际应用中弧权往往是动态的,即弧权依赖时间变化。本文提出一种特殊最短路径算法,即在有向无环网络中最小时间路径算法的一种实现。该算法是一种改进的扩散法,克服了扩散法的一些...
关键词：最小时间路径 时间依赖 有向无环网 扩散法 算法 
聚类分析及关联挖掘在Web服务组合中的应用研究被引量：2
《高技术通讯》2008年第11期1187-1194,共8页孙萍 蒋昌俊 
863计划(2007AA01Z136);973计划(2003CB316902)
从有助于实现 Web 服务的自动发现及最优选择的角度,从聚类分析和关联挖掘两个方面研究了数据挖掘技术在 Web 服务组合领域中的应用。仿真研究表明:根据服务之间的语义相似性,包括基本描述相似性、功能属性相似性以及社会关系相似性,对...
关键词：聚类分析 关联挖掘 服务发现 选择 相似性 关联度 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部