首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   22篇
  免费   4篇
综合类   7篇
机械仪表   1篇
无线电   4篇
一般工业技术   3篇
自动化技术   11篇
  2011年   2篇
  2010年   8篇
  2009年   8篇
  2008年   2篇
  2004年   4篇
  2003年   2篇
排序方式: 共有26条查询结果,搜索用时 15 毫秒
1.
基于并发事务逻辑的Web服务编制验证   总被引:2,自引:1,他引:1       下载免费PDF全文
王勇  代桂平  侯亚荣  方娟  任兴田 《电子学报》2009,37(10):2228-2233
 服务编制解决的是组织之间的业务集成问题,面临的是一个广泛分布、动态、自治、异构的网络环境,保障组合服务的正确执行以及相关特性的验证问题显得尤为重要.形式化方法是一种有效的解决方法,服务编制需要建立在严格的形式化模型的基础上,可以通过具有明确的、形式化语义的形式化模型研制验证工具来完成组合服务正确性的验证.本文基于并发事务逻辑(CTR:Concurrent TRansaction Logic)对服务编制的元素进行了描述和建模,给出了从WS-BPEL到并发事务逻辑的转换规则,讨论了服务编制在CTR中的验证问题以及WS-BPEL和CTR的表达能力,最后给出了一个实际的服务编制在CTR中建模的例子,验证了服务编制的CTR模型的有效性.  相似文献   
2.
基于模糊逻辑的群体信任模型   总被引:1,自引:0,他引:1  
从信任的主观性和模糊性角度出发,提出了一种基于模糊逻辑的群体信任模型,抽象出顺序模式、选择模式、循环模式和并行模式4种群体构成的基本约束模式及其嵌套复合来刻画群体中个体之间的约束关系,并分别给出了信任度的度量方法.群体信任模型对群体信任关系和特别软件群体的信任关系提供了很好的支持.  相似文献   
3.
基于马尔可夫链建立了服务组合的形式化模型--马尔可夫链模型,此模型可以在已知组合服务定义规格的情况下由组合服务的定义规格转换得到,也可以在未知组合服务定义规格的情况下由组合服务的执行历史信息得到.不同于多数服务组合形式化模型仅有用于验证组合服务正确性的单一功能,组合服务的马尔可夫链模型具有多种用途,例如可以用来评估组合...  相似文献   
4.
UML活动图在工作流过程建模中的应用研究   总被引:11,自引:4,他引:11  
UML(Unified Modeling Language)是一种定义良好、易于表达、功能强大且普遍适用的建模语言,其引入活动图的目的之一就是用于企业建模或描述工作流。根据具体应用需要,对活动图的子过程活动、逻辑连接符、控制流边等进行了扩展,给出了扩展后UML活动图的数学模型。  相似文献   
5.
信任感知的组合服务动态选择方法   总被引:5,自引:0,他引:5  
把信任概念和信任度引入到服务组合中来,讨论了信任感知的服务组合选择问题,分别基于两种观点建立了其数学模型.并基于观点1,深入地研究了服务组合的动态选择问题,分别采用蚁群系统作为优化工具设计了两种动态选择方法:方法1针对服务在上限阈值的范围内提供优质服务,服务质量保持不变,超过阈值则拒绝服务的情况;方法2针对服务无限制地接受请求,但随着请求数量的增多,其服务质量下降的情况.通过对方法1和方法2的仿真实验结果分析表明,两种方法具有很好的效果.  相似文献   
6.
一种服务质量感知的网格工作流引擎   总被引:2,自引:0,他引:2  
引入服务质量等非功能特性作为网格工作流的调度依据,可以使得网格工作流的执行和调度围绕服务质量的参数体系进行,能够更好地满足最终用户的要求.提出一种服务质量感知的网格工作流引擎QGWEngine,介绍QGWEngine支持的服务质量参数体系和所基于的网格工作流模型.给出QGWEngine的系统结构,并通过一个假想的网格工作流的例子验证了QGWEngine的有效性.  相似文献   
7.
基于遗传算法的TSP问题求解算法及其系统   总被引:2,自引:0,他引:2  
TSP问题为组合优化中的经典的NP完全问题。针对这一问题,首先设计了基于遗传算法的求解算法,包括编码设计、适应度函数选择、终止条件设定、选择算子设定、交叉算子设定以及变异算子设定等,给出了基于遗传算法求解TSP问题的一般性流程,然后设计并实现了基于遗传算法的TSP问题求解系统,给出了求解系统的体系结构,并给出了求解系统基于Ja-va语言的实现机制,最后通过实验结果的分析,表明了算法具有较好的寻优性能,系统具有较好的实用性。  相似文献   
8.
对组合服务信任度评估问题进行了研究。基于信任的不确定性和模糊性,给出了信任度的离散化表示方法;借助于贝叶斯网络的强大的推理能力,给出了组合服务的贝叶斯网络模型以及组合服务模型到贝叶斯网络的转换规则,利用贝叶斯网络的正向推理机制设计了基于贝叶斯网络模型的组合服务信任度评估方法。通过一个组合服务的买例,说明了组合服务的贝叶斯网络模型及其基于贝叶斯网络的组合服务信任度评估方法的使用方法。该评估方法基于信任的模糊性和不确定性,更符合信任的本质并易于实现。  相似文献   
9.
针对多元红外探测器测试,提出了一种基于单元响应信号强度分布带中心线探测的元内均匀性自动测试扫描路径规划方法.利用精密六自由度移动台带动探测器敏感面,使红外小光点对其 做二维扫描,可得到有标记元的输出信号强度二维带状分布图,该分布带的中心线方向即为被测元的长度分布方向.结合探测器敏感面的设计尺寸和元间几何拓扑关系.可实现各个元内均匀性自动测试扫描路径的规划,从而有效提高多元红外探测器元内均匀性测试的效率和准确性.  相似文献   
10.
旨在探讨一种电视机宽带接入技术,更具体地说,涉及一种利用电力线以及xDSL(Digital Subscriber Line,数字用户线)实现电视机宽带接入的调制解调装置和组网方法。该方法实现了网页浏览、视频会议、与个人电脑实现数据共享、电视机之间联机游戏、高清多媒体影音下载和播放等娱乐、商务功能。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号