程永上
- 作品数：13 被引量：20H指数：3
- 供职机构：南京财经大学信息工程学院更多>>
- 发文基金：国家自然科学基金江苏省自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 基于水利信息网络的对等计算平台
- 2008年
- 我国水利行业对计算力需求不断增加,该文利用P2P技术汇聚PC的空闲CPU资源,来提供低成本的高计算力。针对水利信息网络的现状,以XtremWeb计算平台为基础,构造了基于广域网和局域网的两层XtremWeb网络,并采用多服务窗排队理论进行建模和分析,得到模型的相关参数。给出洪水淹没范围计算的具体实例,采用XtremWeb网络进行实验。实验结果表明,随着Worker数量的增加,实际计算耗时快速下降,系统吞吐量接近线性增长。
- 王从明王志坚王宇黄晓萍程永上
- 关键词：对等计算
- Web服务组合语义一致性验证研究被引量：3
- 2009年
- 通过分析Web服务组合正确性验证方法,给出了与Web服务组合相对应的语义Petri网。使用语义Petri网不但可以描述Web服务组合过程,而且能够进行Web服务组合的正确性验证。提出了Web服务组合语义一致性所包含的内容,给出了其相应验证算法。最后,进行了总结,并提出了下一步的工作。
- 王志坚程永上徐经纬
- 关键词：WEB服务组合语义PETRI网一致性服务质量
- 基于内容的多媒体数据递进目标搜索
- 2010年
- 为了有效提高移动终端多媒体信息的能力,讨论了一种新的多媒体信息查询方法——基于内容的递进目标搜索,提出了"查询流"的技术,通过多媒体查询方法(MQF)与XML片断请求单元及片断更新单元的结合,使得用户对多媒体信息的查询逐步进行,先查询相关的元数据描述,然后查询最终结果。这样有效降低了查询的数据通信量,非常适合于配置较低、信道有限的移动终端实现多媒体信息的查询。
- 贾长云程永上朱敏
- 关键词：多媒体目标搜索
- 一种基于多窗口划分的工程扫描图像去噪算法
- 2005年
- 噪声去除是工程扫描图像矢量化预处理的一个重要环节,是保证图像处理后续步骤质量的保证,基于多个窗口划分的去噪算法是在分析比较了以往各种图像去噪算法的基础上提出的,能够在去除噪声的同时保持图像特征的细节。
- 程永上
- 关键词：噪声
- 一种面向Web服务的企业应用集成研究被引量：3
- 2006年
- Web服务是近年来提出的一种新的面向服务的体系结构,主要用来开发基于Internet环境下的应用,是一个应用集成理想方案。基于Web服务的EAI结构不同于传统的EAI结构,实现了应用之间的松耦合、平台无关、语言无关和互操作性。首先探讨了3种传统的EAI结构的优缺点,然后介绍了Web服务模型、主要技术和协议栈,最后提出一种基于Web服务的企业应用集成体系结构。
- 程永上贾长云
- 关键词：WEB服务UDDISOAPXML
- 电子政务中的Web服务组合工作流建模
- b服务组合是电子政务建设中主要技术和有效方法，本文在分析了电子政务中Web服务组合工作流模式后，给出了六种基于Petri网的Web服务组合模式。在借鉴工作流正确性定义后，给出了电子政务中Web服务组合流程模型的正确性要求...
- 程永上王志坚周晓峰许国艳唐龙业
- 关键词：WEB服务工作流技术PETRI网电子政务
- XtremWeb:一个轻量级网格系统
- 2006年
- 网格计算在计算机领域掀起了很大热潮,而XtremWeb是一个轻量级的P2P网格中间件,为高性能计算提供多参数的分布式计算平台,不同任务的执行由一个中心控制节点管理,提供透明容错和安全机制。文章介绍了包含三种节点的XtremWeb系统体系结构和运行机制、透明容错功能和安全机制,最后使用该系统来实现一个矩阵分割的并行计算。
- 程永上
- 关键词：网格COORDINATOR
- 工程扫描图的矢量化和图档管理系统设计
- 工程扫描图矢量化是将纸质工程图扫描输入计算机后，对所得的扫描图进行预处理、识别，最终重建其中的图形对象的过程。矢量化研究是图纸复用、自动理解等应用的基础，因而是CAD领域的一个热点，有较高的价值。 本文主要研究了以下内容...
- 程永上
- 关键词：图档管理系统图像噪声二值化算法图形文档
- 文献传递
- HTML表格向XML的智能转换被引量：3
- 2009年
- XML已经成为处理与管理信息的标准格式,而HTML表格被广泛应用于Web。为了充分利用与管理HTML表格信息,需要将HTML表格转换成XML。提出一种有效的处理方法,该方法包含2个部分,即表格识别与结构转换。表格识别通过检查格式、语法及语义的特征将表格提取出来并分割成值域与属性域,使用预设的表格模板分析属性域与值域间的层次结构并将其转换成XML格式。通过300多个表格的实验表明,所提出的方法要优于传统方法,结果的准确率达86.7%。
- 贾长云程永上
- 关键词：HTML表格信息提取可扩展标记语言
- 语义Web服务组合的形式化描述与验证研究被引量：6
- 2008年
- Web服务组合是Web服务的主要研究方向之一,对语义Web服务组合进行形式化描述并进行分析和验证是组合服务正确运行的保证。本文首先给出了基于有色Petri网的语义Web服务形式化模型,形式化描述了OWL-S的Service Model中8种基本的Web服务组合模式,利用这些组合模式可以构造出满足需求的组合Web服务。然后,对服务组合形式化模型的正确性分析和验证进行研究后,给出了组合模型语法正确性、可达性、活性和有界性的算法。最后,通过一个具体的建模实例展示了Web服务组合的Petri网建模。
- 程永上王志坚
- 关键词：WEB服务WEB服务组合PETRI网
