【摘 要】
：
Web服务组合验证对增强服务安全、保证系统质量具有重要意义。为保障Web服务组合的正确运行，提出了一种形式化和在线检测结合的Web服务组合验证方法。在动态检测的实时数据的基础上，通过语义Web服务组合到Petri网的映射和基于可达图的服务组合一致性检测方法，实现语义Web服务组合动态交互的形式化验证，最后通过实例进一步说明该方法的可行性。
【机 构】
：
School of Computer, National University of Defense Technology, Changsha 410073, China
论文部分内容阅读
Web服务组合验证对增强服务安全、保证系统质量具有重要意义。为保障Web服务组合的正确运行，提出了一种形式化和在线检测结合的Web服务组合验证方法。在动态检测的实时数据的基础上，通过语义Web服务组合到Petri网的映射和基于可达图的服务组合一致性检测方法，实现语义Web服务组合动态交互的形式化验证，最后通过实例进一步说明该方法的可行性。
其他文献
云计算是一种新型的IT基础设施构建及服务模式，云环境具有资源种类多、规模大、高弹性等特征，对云环境的高效监管是其可靠运行的基础。云环境下监控调度的状态信息采样频率直接关系到故障发现的效率和对被监控资源及网络的负载，本文比较了当前广泛使用的四种主要监控调度模式的优点与缺点，在主动监控调度的基础上提出了一种多区间多采样频率监控调度策略，并对该策略进行了性能分析评估及相关优化。
在对分布式异构存储系统性能进行监测中，传统监测方法存在监测对象单一，数据采集粒度不够，对采集数据缺乏有效分析和难以低成本保存有效原始数据的问题。本文研究了分布式存储环境下性能监测的关键技术并且实现了分布式异构存储系统性能监测系统平台。经过监测结果分析，本文所提出的方法与系统能够很好地监测存储环境中服务器群的性能指标并且能够对进程级别性能进行很好的监测与分析。该系统为管理者分析决策提供支持，具有很大
研究了精细粒度可扩展编码技术(FGS)的分层编码原理，提出了基于RTP并结合MPEG-4 FGS编码的自适应视频流传输策略，介绍了RTCP的反馈机制，对往返时间RTT及丢失间隔LD的算法进行了改进，实现了发送速率的动态调整。文章最后对速率控制算法进行了仿真比较，结果表明了改进方案的有效性。
分类是数据挖掘和知识发现的重要任务之一，非均衡数据是分类中的常见问题。真实世界的分类问题存在很多类别非均衡的情况，非均衡数据集自身的特点(少数类数据的绝对缺乏和相对缺乏、数据碎片、噪声)以及传统分类算法的局限性(不恰当的评价标准和不恰当的归纳偏置)是对非均衡数据集进行准确可靠分类的关键制约因素。非均衡数据的分类问题已成为机器学习和模式识别领域中新的研究热点，是对传统分类算法的重大挑战。针对非均衡数
数据流聚集查询有着应用广泛，在计算和存储资源不足条件下，必须考虑构建有效概要数据结构，获取近似聚集查询结果。针对不符合典型分布的电力通信光纤监测数据流，提出一种基于聚类的直方图构建方法，获取流数据分布的不规则子区间集合；当新到达流数据，实时更新直方图；通过控制桶内元组计数密度误差，动态维护直方图桶结构，以适应窗口内数据实际分布特征。给出基于聚类直方图的数据流滑动窗口聚集查询算法。分析了算法精度、桶
网络入侵检测技术是入侵检测领域研究的热点和难点内容。基于主动学习算法和混合型特征选择方法，本文提出了一种网络入侵检测的新方法，能够高效地检测网络入侵。通过大量基于著名的KDD Cup 1999数据集的实验，表明其相对于传统的入侵检测方法在保证较高检测率的前提下，有效地降低了误报率。
抽道集是石油地震勘探数据处理过程中的一个重要的中间环节，是典型的I/O密集型应用，它在运行的过程中对I/O子系统产生了很大的压力。为了提高抽道集程序的执行效率，消除I/O瓶颈，文章设计了基于高性能计算机内存的抽道集程序优化方法。通过将数据迁移到部分计算节点的内存上，利用高性能计算机的高速互联通信系统加快数据存取过程，有效的利用了计算节点之间通信的高带宽和低延迟的优点。结果表明该方法有效的提高了抽道
为解决数值模拟并行轨迹数据的输出与访问共性问题，本文实现了端到端的存储解决方案。提出了扩展的轨迹数据模型，支持复杂并行轨迹数据的表示与组织；提供直接易用的轨迹数据读写接口，屏蔽底层复杂的数据处理过程；重叠数据并行通信与合并，提供可扩展的并行数据采集技术；提供可扩展文件数组存储技术，满足多种文件访问模式需求；直接耦合可视化系统，方便用户进行轨迹数据的浏览与可视化分析。目前，研究成果已在模拟激光聚变过
服务资源提取是影响系统效率的重要因素。针对目前监控系统可控性、扩展性不足的问题，设计了一种能够进行大规模接入的分布式视频监控系统架构，提出了服务资源按类别先请求后提取、集中控制，监控终端集中管理的策略，介绍了数据资源、媒体资源的提取过程和接入容量扩展实现方案，最后给出了子系统的测试结果。
“流量本地化”技术是一种缓解传输压力的有效途径，其核心即在于解耦应用与数据存储。本文在缓解骨干网压力的“流量本地化思想”的基础之上，分析研究在网络边缘引入“通用网络存储协议”的解决方案。文章分析了嵌入式环境和通用计算机环境下HTTP、NFS、iSCSI三种存储协的基本原理和实现方式，并重点针对三种协议在不同应用场合中的性能表现进行对比测试，为“通用网络存储协议”的设计实现提供参考建议。