2024年8月18日
星期日
|
欢迎来到青海省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
广西研究生教育创新计划(2009105950812M22)
作品数:
2
被引量:0
H指数:0
相关作者:
钱俊彦
黄国旺
刘冬
高荣亮
赵岭忠
更多>>
相关机构:
桂林电子科技大学
国防科学技术大学
更多>>
发文基金:
中国博士后科学基金
国家自然科学基金
广西研究生教育创新计划
更多>>
相关领域:
自动化与计算机技术
更多>>
相关作品
相关人物
相关机构
相关资助
相关领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
2篇
中文期刊文章
领域
2篇
自动化与计算...
主题
2篇
WEB服务
1篇
服务自动组合
1篇
OWL-S
1篇
WEB服务组...
1篇
WEB服务组...
1篇
PETRI网
机构
2篇
桂林电子科技...
1篇
国防科学技术...
作者
2篇
钱俊彦
1篇
介颂园
1篇
赵岭忠
1篇
高荣亮
1篇
刘冬
1篇
黄国旺
传媒
1篇
计算机工程
1篇
计算机科学
年份
2篇
2011
共
2
条 记 录,以下是 1-2
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
基于答案集的Web服务组合验证
2011年
语义Web服务组合的形式化描述和验证,是保证组合服务能正确运行的重要前提基础。首先描述基于答案集编程(Answer Set Programming)的OWL-S建模方法,并分析基于答案集编程建模的优势。然后给出OWL-S流程模型中几种控制结构到中间模型Petri网的映射,并提出由Petri网生成答案集编程的算法。同时将时态约束引入到组合服务验证中,利用时态约束表达待验证性质,将验证问题转换为求解逻辑程序的答案集。最后通过一个具体的实例说明该方法的有效性。
钱俊彦
黄国旺
赵岭忠
关键词:
PETRI网
OWL-S
基于QWS的Web服务集消减算法
2011年
在基于人工智能理论的Web服务自动组合推理中,推理的复杂度呈指数级增长,难以在实际中应用。针对上述问题,提出一种基于QWS数据集的Web服务集消减算法RfWss-QWS,从Web服务的评估、调用、监控和管理出发,选择效率、稳定性和价格等最优的服务,从而最大限度地消减服务集,得到一个精简且完备的服务集合用于服务的自动组合推理。
刘冬
钱俊彦
介颂园
高荣亮
关键词:
WEB服务
服务自动组合
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张