期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
基于图的Web服务组合优化的研究 被引量:13
1
作者 曹利培 刘静 缪淮扣 《计算机科学》 CSCD 北大核心 2007年第2期95-99,共5页
单个Web服务难以满足实际应用的需求,如何组合已有的服务,形成新的服务,已成为此领域的研究热点。现在的组合方法极少考虑服务质量QoS(Quality of Service)。对于一些提供相似功能的Web服务,服务质量是判断是否选择此服务的关键因素,组... 单个Web服务难以满足实际应用的需求,如何组合已有的服务,形成新的服务,已成为此领域的研究热点。现在的组合方法极少考虑服务质量QoS(Quality of Service)。对于一些提供相似功能的Web服务,服务质量是判断是否选择此服务的关键因素,组合服务的质量必须满足用户的需求。本文基于SOA的服务开发思想,针对当前服务组合存在的问题,提出了一种基于QoS的服务组合方法,并给出了构建基于QoS的Web服务组合及选择最佳服务的策略,通过整合单个服务的质量以得到最终组合服务的整体最佳质量。在满足用户组合服务的功能需求的同时,也满足了用户对服务质量QoS的需求,实现了需求服务的优化。 展开更多
关键词 WEB服务 OWL-S WSDG 带权依赖图
在线阅读 下载PDF
Web服务组合形式化验证方法研究 被引量:2
2
作者 曹利培 孔娟 刘静 《计算机工程与应用》 CSCD 北大核心 2009年第25期48-51,70,共5页
Web服务组合验证是确保组合服务正常执行的关键,现有的许多Web服务组合描述都是半形式化的,容易出错和不容易检测,因此正确性难以保证。采用转移矩阵方法来分析Web服务组合中存在的死锁问题,并采用关联矩阵的方法确认组合的可达性。利... Web服务组合验证是确保组合服务正常执行的关键,现有的许多Web服务组合描述都是半形式化的,容易出错和不容易检测,因此正确性难以保证。采用转移矩阵方法来分析Web服务组合中存在的死锁问题,并采用关联矩阵的方法确认组合的可达性。利用模糊推理Petri网算法进行可信度验证、计算服务组合的可信度及可达性,对于Web服务组合是一种可以推理的形式化验证方法。实验结果表明这种方法是一种很好的验证方法。 展开更多
关键词 PETRI网 关联矩阵 转移矩阵 可信度
在线阅读 下载PDF
基于QoS的两阶段Web服务选择方法 被引量:9
3
作者 曹利培 李爱玲 刘静 《计算机工程与设计》 CSCD 北大核心 2009年第3期747-751,共5页
分析了已有的服务选择方法所存在的不足,根据基于QoS的服务选择方法类型的特点,提出采用QoS属性计算与QoS语义二者结合的方法进行服务选择。通过功能分类、服务相似度比较、QoS排序选择筛选掉大量Web服务,降低了全局算法的计算量,通过... 分析了已有的服务选择方法所存在的不足,根据基于QoS的服务选择方法类型的特点,提出采用QoS属性计算与QoS语义二者结合的方法进行服务选择。通过功能分类、服务相似度比较、QoS排序选择筛选掉大量Web服务,降低了全局算法的计算量,通过最短路径算法进行服务选择克服了局部优化无法考虑全局QoS约束的缺点,达到既满足组合服务中单个服务选择的局部约束条件,又满足组合服务全局约束条件的效果,最终使用户得到相对最优的组合服务。最后通过实例对提出的方法进行了验证。 展开更多
关键词 WEB服务 服务质量 服务属性 服务路径 组合服务
在线阅读 下载PDF
Halin图谱半径的新上界及极图 被引量:2
4
作者 袁劲松 束金龙 《高校应用数学学报(A辑)》 CSCD 北大核心 2008年第3期335-342,共8页
利用移接变形的方法再结合特征值的计算技巧刻画出Halin图中谱半径达到第二大的极图,从而得到除轮图以外的Halin图的谱半径的上界以及极图.
关键词 HALIN图 谱半径 邻接矩阵
在线阅读 下载PDF
基于常微分方程的死锁检测实验分析
5
作者 丁佐华 江明月 刘静 《计算机学报》 EI CSCD 北大核心 2009年第9期1736-1749,共14页
用静态分析方法对并发程序进行死锁检测通常比较困难,其原因是会遇到状态空间爆炸问题.文中针对作者曾提出的一种可有效避免状态爆炸问题的死锁检测方法,进行进一步实验验证.该方法的基本框架是首先将表示并发系统的离散Petri网模型连续... 用静态分析方法对并发程序进行死锁检测通常比较困难,其原因是会遇到状态空间爆炸问题.文中针对作者曾提出的一种可有效避免状态爆炸问题的死锁检测方法,进行进一步实验验证.该方法的基本框架是首先将表示并发系统的离散Petri网模型连续化,得到一种新的连续Petri网模型;在此基础上,建立系统的常微分方程模型;通过分析常微分方程组的解来检测系统中是否存在死锁.与传统方法不同点在于:该方法不需要遍历状态空间,而是分析一组常微分方程组的解.为了减少在求解常微分方程模型过程中的计算机系统的开销,作者还釆取了一系列优化策略.哲学家进餐问题被用来说明死锁检测的方法.大量的实验结果说明作者所提出的方法有着较强的静态分析能力.作为副产品,这种分析方法还可以用来判定系统的有界性. 展开更多
关键词 死锁检测 并发程序 状态爆炸 连续PETRI网 常微分方程
在线阅读 下载PDF
基于关系演算的Java模式识别 被引量:5
6
作者 苗康 余啸 +1 位作者 赵吉 沈宇 《计算机应用研究》 CSCD 北大核心 2010年第9期3425-3430,共6页
分析了面向对象类与对象间的关系,在此基础上建立了对应的属性模型并且以关系演算的方法进行捕获模型的对象关系;讨论并实现了动、静态相结合的基于Java语言的经典设计模式检查工具,并以该工具为基础做实验对一些设计模式进行了验证。
关键词 关系演算 设计模式 JAVA虚拟机 属性检查
在线阅读 下载PDF
树的Nordhaus-Gaddum类型谱半径的排序 被引量:2
7
作者 何沙 束金龙 《高校应用数学学报(A辑)》 CSCD 北大核心 2007年第2期247-252,共6页
给出了n阶树的Nordhaus-Gaddum类型谱半径即图及其补图的谱半径之和的可达上界:ρ(T)+ρ(Tc)≤■+n-2,等号成立当且仅当T K1,n-1,其中Tc为T的补图,K1,n-1为n阶星图.同时证明了对于n阶双星图S(a,b)的Nordhaus-Gaddum类型谱半径随a的值单... 给出了n阶树的Nordhaus-Gaddum类型谱半径即图及其补图的谱半径之和的可达上界:ρ(T)+ρ(Tc)≤■+n-2,等号成立当且仅当T K1,n-1,其中Tc为T的补图,K1,n-1为n阶星图.同时证明了对于n阶双星图S(a,b)的Nordhaus-Gaddum类型谱半径随a的值单调上升,其中[n-1/2]≤a≤n-3. 展开更多
关键词 补图 谱半径
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部