【摘 要】
：
介绍了接口自动机的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范——Web服务商业流程执行语言(business process execution language for Web services,BPEL4WS),定义了接口自动机和BPEL4WS之间的概念映射,并给出了BPEL4WS的基于接口自动机的形式化模型,最后通过一个案例给出了BPEL4WS到接口自动机的
【机 构】
：
南京航空航天大学信息科学与技术学院
论文部分内容阅读
介绍了接口自动机的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范——Web服务商业流程执行语言(business process execution language for Web services,BPEL4WS),定义了接口自动机和BPEL4WS之间的概念映射,并给出了BPEL4WS的基于接口自动机的形式化模型,最后通过一个案例给出了BPEL4WS到接口自动机的映射及验证的方法。
其他文献
笔者采用“三步六法”手法整复为主的中西医结合方法治疗腰椎间盘突出症88例,效果满意,报告如下。1临床资料158例患者均为我科2006～2008年住院患者,随机分为中西医结合组(中西
目的：观察中药解毒通络保肾胶囊对糖尿病（DM）大鼠肾脏超微结构的保护作用。方法：将实验动物分为正常对照组、DM组、罗格列酮治疗组和解毒通络保肾肢囊治疗组。检测各组第12周的血
目的:观察倍康口服液对人体肠道菌群的调节作用.方法:采用双盲随机分组,组间和自身两种对照设计,随机分为试食组和对照组,每组各50例,分别连续给予倍康口服液和安慰剂14天,实
为了在不精确知道图像的点扩展函数的情况下,去除图像的离焦模糊,提出了基于高维空间几何理论的图像复原算法。依据同源连续性原理,通过分析高维空间中向量的方向和点的位置关系来研究模糊图像与原图像的空间关系,并且结合最近邻算法,将该算法应用于去除最近邻算法所得图像的本层模糊。实验表明该算法能够有效地去除离焦模糊。本算法不同于传统的图像复原算法,可广泛应用于模糊图像的复原中。
研究了依存于网络拓扑的病毒传播特征,并提出了一个通用的动态系统网络模型。该模型对爆发一种病毒后,其是很快灭亡还是长期生存,给出了一个简单易求的传播临界值来进行判断。最后通过对多个网络实际数据集进行计算机仿真,证明了本模型及传播临界值的有效性和精确性。
针对传统信任模型的不足,提出了以灰色系统理论为基础的多属性综合信任评价模型。模型通过定义信任评价等级灰类及其白化权函数,计算网络实体各个属性的灰色评价权,结合层次分析法计算属性权重,最后给出实体灰色综合信任值及信任等级灰类。实例表明,该模型计算简便、评价可靠,为网格环境下解决多属性综合信任评价问题提供了新的方案。
提出了一种基于领域模板的网格服务组合方法,通过对领域的共性需求进行抽象、归纳、总结,并生成领域模板,然后基于生成的领域模板给出了一个新的高效的领域模板匹配算法。与已有的方法相比,该方法可以自动根据服务所属领域,从已生成的领域模板中选取相应的领域模板来实现服务的动态组合,这不仅缩短了组合时间,而且提高了服务组合的效率。
针对纹理统计法和结构法各自存在的问题,提出了一种基于纹理基元空间分布特征的图像检索算法。首先借鉴方块编码的思想来定义图像的纹理基元,然后在对纹理基元的统计分布研究的基础上,针对每一种纹理基元构造纹理基元空间分布图,提出采用纹理基元空间分布特征矢量对图像内容进行描述。实验结果表明,该算法既有效利用了图像的纹理信息,又考虑了纹理的空间分布信息,具有较好的检索效果。
为较好保持模型的拓扑结构和属性特征,采用基于半边折叠简化思想对模型进行了带属性简化算法的研究。算法考虑了几何误差度量算子的三个因子:折叠边的欧氏距离、折叠边二面角和顶点到星型邻域平面的距离;引入模型属性特征权重值,将几何误差和属性误差加权作为总体误差进行简化,并对简化质量进行了合法性检查。实验证明,算法在保持模型几何和属性特征方面有效。
1实验材料 低温离心机、了计数仪、血糖测定试剂盒（重庆医学检验试剂研究所）；胰岛素放免试剂盒（天津九鼎医学生物工程有限公司）；驱风止痛膏由乳香、没药、五加皮、独活、秦艽、防己