【摘 要】
:
自动化服务组合技术是程序生成方法在Semantic Web Services领域的一种应用。该文提取了服务的“输入”、“输出”、“前置条件”、“执行效果”、“执行功能”,定义了服务的
【机 构】
:
北京邮电大学网络与交换国家重点实验室
【基金项目】
:
国家自然科学基金资助项目(60432010)
论文部分内容阅读
自动化服务组合技术是程序生成方法在Semantic Web Services领域的一种应用。该文提取了服务的“输入”、“输出”、“前置条件”、“执行效果”、“执行功能”,定义了服务的语义5元组。通过一个转换模版,把服务描述表述成一阶谓词逻辑公式,根据“证明与程序等价”的理论,利用自动化定理证明系统,完成从已有服务到目标服务的逻辑证明,从所记录的证明路径中提取目标服务的实现体,介绍了实现这一技术的原型系统。
其他文献
反汇编策略大体可以分为线性扫描策略和基于控制流的递归扫描策略,该文通过对基于控制流的递归扫描策略以及多款处理器指令系统的研究,提出了一种基于程序静态流程遍历图的反
构造了多层Count-Min概要数据结构来概括流数据中的层次结构。通过定义多层数据域U*上两两相互独立的异或哈希函数族,将数据流元组映射到L×D×W的三维计数数组,L是层
通过连乘瀑布过程的构建方法,采用对称的Beta分布拟合瀑布过程的乘数因子以及独立的pareto分布拟合瀑布过程的随机变量,建立网络流量多重分形模型。求解该模型合成流量的均值、
资本市场理论发展至今,传统的线性范式正逐渐被非线性范式所取代。实证研究证明以有效市场假说为基础,以线性函数关系为模型的资本市场理论不能很好地揭示资本市场的真正本质。
提出了一个基于模糊理论的服务自适应模型。完整地形式化了服务自适应选择过程,使用模糊语言变量和隶属度方程定义了上下文状态和服务策略选择规则。基于当前上下文与服务实现
现有的基于抢占阈值调度的任务响应时间分析方法对实时任务系统进行可调度性判定时,对任务响应时间估计过低,造成任务错过期限的现象。针对上述缺点不足,该文提出改进的基于抢占
详细介绍了智能故障诊断技术的发展历史及国内外研究现状 ,并对智能故障诊断技术的发展趋势进行了预测
1月10日,在“第五届影响中国客车业系列活动”中,扬子江WG6120型混合动力城市客车喜获“2011年度中国市场推荐客车奖”。国内混合动力客车获得此项殊荣的仅此一款。同日,东风扬
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食
Back to yield
我国是抗生素生产大国,抗生素使用大国,同时也是滥用抗生素最严重的国家。我国儿童抗生素的滥用情况相当严重,儿童抗生素的使用问题令人堪忧,并逐渐受到社会的广泛关注。