【摘 要】
：
在动态、异构和自治的互联网环境中，对WEB服务组合的形式化分析与验证是保证面向服务计算软件应用实时可性的有效途径，寻找有效的形式化分析的方法和工具是热点领域。现有研究主要是集中在服务组合流程和静态结构方面，在动态反映用户需求的服务组合及服务的动态耦合支持不够。本文从服务本体语义的层次，通过对OWL-S进行RGPS属性扩充，然后将其应用SOA架构模型映射到PI演算模型，对服务组合的动态耦合和可靠性进
【机 构】
：
武汉大学软件工程国家重点实验室 武汉大学计算机学院 武汉 430072;铜仁学院 数学与计算机科学系 铜仁 550025
【出 处】
：
2012年第三届中国计算机学会服务计算学术会议
论文部分内容阅读
在动态、异构和自治的互联网环境中，对WEB服务组合的形式化分析与验证是保证面向服务计算软件应用实时可性的有效途径，寻找有效的形式化分析的方法和工具是热点领域。现有研究主要是集中在服务组合流程和静态结构方面，在动态反映用户需求的服务组合及服务的动态耦合支持不够。本文从服务本体语义的层次，通过对OWL-S进行RGPS属性扩充，然后将其应用SOA架构模型映射到PI演算模型，对服务组合的动态耦合和可靠性进行分析并用PI演算验证工具MWB进行验证，结果表明方法的可行性，为动态服务组合的可靠和安全分析提供有效方法。
其他文献
本文针对旧手势识别模型对新用户手势的感知存在迁移性问题，提出了一种自适应手势交互方法，该方法对在线增量式极速学习机进行改进，并将其应用到手势识别中，使得系统能够在记忆已有手势识别模型的基础上，针对新用户特点，实现手势识别模型的自适应迁移；并在自适应手势交互方法基础上，研发了可用于检测老人反应力的石头剪刀布游戏系统。在系统中的实验表明，本文提出的自适应手势交互方法能够使系统快速自适应于新用户，并对新
瞬时社交网络(ESN)致力于满足人们的瞬时性网络需求，例如会议或是工作场所.ESN是位置敏感的，附带产生隐私和安全的问题.本文为ESN提出了一个基于RFID的位置敏感模型，并在实际应用ESN系统中部署我们的模型，结果证明我们的模型是可行的而且很方便.
车载自组织网络(VANET)作为一种新型的移动自组织网络，应用前景广阔。而长距离数据分发机制是支撑VANET 应用的一个不可或缺的机制。针对城市场景下的数据分发，本文提出了一种路边单元(RSU)辅助的数据分发机制RADDM：该机制利用RSU 做数据中继以适应VANET 车流的变化，同时，它能有效地工作在RSU 出现故障的情况下。论文给出了RADDM 的设计、实现，并对RADDM 的性能进行了分析，
三维传感器技术的不断发展使得机器人可以快速地获取场景深度信息，同步摄像头获取的颜色信息可以方便地获取三维场景信息。这不仅增强了机器人对室内场景的学习能力，而且提升了机器人在室内环境下的自主定位能力。但是，相比二维激光扫描，三维点云数据增加了机器人的处理负载。同时，由于同步带来的误差，使得点云信息噪音很大，增大了机器人对环境的理解难度。为此，本文提出了一种基于原始噪音点云的平面提取方法，是室内机器人
人手跟踪是基于视觉的自然人机交互领域中的一项重要研究内容。在单目摄像机和复杂背景条件下，本文提出一种基于PSO 的实时人手跟踪方法。该方法采用二维人手模型替代高维度的三维人手模型，将人手跟踪问题转化为优化搜索问题，通过最小化假设人手参数与真实观测值之间的差异来寻找最优的假设人手作为输出，并采用变种PSO 方法进行优化求解，人手参数空间即构成优化搜索空间。实验结果表明，该方法可以有效地实现动态和复杂
通过研究知网语义网络和中文FAQ 问答系统特点，提出了一种新的问句相似度计算方法——基于形式概念分析的方法，该方法在进行问句匹配过程中，不但考虑概念与概念之间相似度，同时兼顾概念的层次关系。试验结果证明，该方法在避免传统语义相似度计算方法义原错位现象的同时，充分体现概念深度对关键词语义相似度的影响，提高问句匹配的准确率。
如何将一个视频的内容以简洁直观、符合人眼视觉观察特性，并以视频缩略图的方式呈现给用户，直接决定了其在搜索浏览感兴趣视频时的用户体验。本文针对这一问题，一方面在图像显著性分析的基础上提出了一种新的图像内容易获取性特征，并利用支持向量回归的方法训练出一个图像内容易获取性评价模型。另一方面，为了保证所推荐视频缩略图的内容具有代表性，本文还采用了一种基于互增强的代表性排序方法。最后通过线性加权将视频关键帧
提出一种确定粒子滤波器中采样粒子数目的方法，旨在用最少、最有效的粒子近似人手高维状态的后验概率分布。首先，研究特定交互操作下第k 时刻手势的估计跟踪精度与第k+1时刻采样粒子分布的关联，在此基础上提出动态优化粒子数模型；然后根据当前时刻手势的跟踪精度，利用模型动态确定下一时刻的有效粒子数目。最后，根据改进的粒子优化方法，对粒子进行二次筛选，对权值很大和很小的粒子区别对待，使粒子的贡献达到最优。本文
在教育部信息安全类专业教学指导委员会“信息安全教学创新与实践研究”课题支持下，我们面向信息安全专业人才培养目标，围绕提升学员解决信息安全实际问题和创新能力展开了丰富的实践。从信息安全人才专业能力的准确定位出发，以全国大学生信息安全竞赛为引领，建立“大跨度”、“三维度”、“四位一体”的能力培养模式，将能力培养贯穿于课程实验、实习、课外实践和毕业设计等环节。按竞赛模式全方位培养学员的从一个创意开始，到
针对计算机网络课程教学中出现的学生主动探索能力和工程能力不足问题，基于卓越工程师培养要求和CDIO教育理念，在理论教学过程中融入工程实践能力的培养。首先提出计算机专业卓越计划的能力体系，由一般能力和专业能力构成。进而映射到计算机网络课程。重点从计算机网络专题调研和局域网络设计项目两方面，设计了详细的CDIO工作流程和应用方法，并给出了设计成果。实践证明，这些方法能很好地调动学生学习的主动性。