论文部分内容阅读
随着Internet中Web服务的不断增长，如何通过对现存的服务进行合成，以满足用户的个性化需求，成为目前的研究热点。通过引入线性逻辑工具，提出了一种新的Web服务合成解决方案，通过定理证明形成对应的自动服务合成流程。示例证明了该方法的有效性。
一种基于定理证明的Web服务合成方法研究
【摘 要】
：
随着Internet中Web服务的不断增长，如何通过对现存的服务进行合成，以满足用户的个性化需求，成为目前的研究热点。通过引入线性逻辑工具，提出了一种新的Web服务合成解决方案，通过定
【机 构】
：
西华大学数学与计算机科学技术学院
【出 处】
：
计算机工程
【发表日期】
：
2006年20期
其他文献
在可适应网络安全理论模型PDR和P2DR的基础上加入管理因素,将模型扩展为P2DRM模型以实现动态网络安全管理的功能。将数据挖掘关联算法和Agent技术加入到P2DRM模型中,并通过各
随着我国资本市场的发展完善,以及企业集团化经营管理的需要,企业之间股权交易不断增多.在实务中,处置子公司投资根据是否丧失控制权,主要分为丧失控制权的处置活动与不丧失
近些年我国电子商务发展迅猛,但物流问题成为了制约其发展的一大瓶颈.在大数据时代的背景下,电子商务物流所产生的数据量呈井喷式增长.因此,有效利用这些数据成为决定电子商
<正> 异位妊娠是妇产科常见的急腹症之一,一旦确诊及时,抢救成功率较高。但当延误诊断,丧失抢救时机,导致病人死亡者屡见不鲜。严重威胁着妇女的生命健康。此文对我院1993年
【病例】男，73岁。因咽痛伴咽部异物感2天，症状逐渐加重遂来我院耳鼻喉科就诊。鼻咽部检查未见异常，遂转内科诊治。有高血压病病史8年。查体：体温36．8℃，脉搏65／min，呼吸20／min，血压140
根据JJG 821-2005《总有机碳分析仪》检定规程,分析总有机碳分析仪有机碳示值误差的测量结果的不确定度来源,并给出相应的不确定度评定。以确保检测数据的有效性和可信度。具
<正>艺术品的最后完成,不在画幅绘成之日,而在与观众的感情进行交流之时,英国国家剧院首席美术家、国际舞台美术学会副书记约翰·波里亚谈到,他们的观众看戏就很注意是谁做的