首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   1篇
  完全免费   2篇
  自动化技术   3篇
  2011年   1篇
  2008年   1篇
  2007年   1篇
排序方式: 共有3条查询结果,搜索用时 31 毫秒
1
1.
一种关于语义Web服务匹配的策略和实现   总被引:6,自引:0,他引:6       下载免费PDF全文
Web服务的迅速发展使得Web服务的匹配和查找问题成为研究热点。引用领域本体对Web服务进行语义描述,再进行语义层上的匹配,是Web服务匹配研究领域的一个重要研究方向。本文从Web服务的输入、输出参数的语义描述出发,把Web服务的匹配问题转化为领域本体库中概念间语义距离的计算,并根据服务请求者对Web服务的需求,提出了用不同的方法来计算Web服务输入、输出概念间的语义距离,其中处理Web服务输出概念时着重提高Web服务查找的查准率,而处理Web服务输入概念时则注重提高Web服务查找的查全率。实验结果显示了该方法较别的服务查找方法在查准率特别是查全率上得到了提高。  相似文献
2.
基于AOP 的运行时验证中的冲突检测   总被引:1,自引:0,他引:1       下载免费PDF全文
张献  董威  齐治昌 《软件学报》2011,22(6):1224-1235
现有的形式化验证方法除了在模型层面对系统进行验证以外,越来越倾向于直接针对系统的实际代码和具体运行.运行时验证技术验证的对象是具体程序,它试图把形式化验证技术部署到程序的实际运行过程中.然而在把形式化技术部署到实际运行过程中会出现一系列在模型层面验证通常不会出现的问题,对这些问题中的冲突现象进行了研究,定义了运行时验证技术中存在的两种冲突,并给出了相应的检测算法.最后,对这些算法进行了实现和实例研究,结果表明了该方法的有用性.  相似文献
3.
介绍在Labview环境下光栅单色仪自动控制系统的开发情况。利用Labview VISA库函数实现PC机与单片机之间的串行通信,确保单色仪准确、快速地输出所需要的单色光。  相似文献
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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