社区宽带综合业务网服务质量保证的研究

社区宽带综合业务网络系统使用交换式以太网技术，在一个物理网络上为社区用户提供Internet接入、数字电视、IP电话等服务，对三网融合进行了实践性探讨。提出并实现了一套保证系统服务质量的方法，并在测试中取得了满意的效果。

发布订阅系统服务保障技术研究

随着分布式计算环境的出现和分布式应用的不断发展，发布/订阅作为一种新的通信模型为分布式应用提供了松散耦合的协同工作方式。这种通信模型为通讯的各方提供了时间上、空间上、控制流等方面的松散耦合，为应用的匿名访问提供了可能性，使得应用更加容易重新配置。与此同时，工业界也出现了相应的标准以及业界产品来实现这种通信模型。目前，发布订阅系统解决了很多基本的功能方面的问题，如数据模型、匹配算法和事件路由等；然而，随着部署于发布订阅系统中应用的不断增加，与系统非功能性相关的系统服务质量成为影响系统是否成功的重要因素。与发布订阅系统相关的非功能性的系统服务质量属性主要包括事件分发性能、顺序性、发送可靠性、优先级、安全性以及事务性等。本文主要关注于其中最重要的几个方面：事件分发性能、发送可靠性、顺序性。 首先，本文分析了事件分发的主要机制，包括订阅的组织、事件的匹配、路由等。已有的事件匹配分发优化策略多关注于订阅的内部特征进行优化，如覆盖优化和合并优化等。本文从应用的角度出发，将事件的分布特性、订阅的分布特性引入到事件匹配分发机制中；在订阅的组织中引入了过滤器的匹配代价以及匹配可能性，考虑不同订阅、不同过滤器的匹配次序对事件分发过程的影响，选取最优的匹配次序。我们证明了选取最优匹配次序问题是一个NP问题，给出了事件匹配分发优化贪心算法，并给出了一种用于数值型过滤器快速匹配的索引结构。 其次，在有限的代理网络资源下，当过多的发布者和订阅者进入系统中时，系统由于处理能力不足会引发事件过载问题。已有研究多采用尽力而为的方式进行处理，无法保障订阅者的订阅请求以及发布者的事件分发；为此，本文提出了一种准入控制机制RacsCBPS来解决发布订阅系统的事件过载问题。RacsCBPS 使用松散耦合的方式将事件的流量特征扩散到代理网络中去，然后针对订阅者发出的订阅进行资源需求计算，进而判定代理节点是否会造成事件过载。最后给出了一种分布式准入控制算法，解决了代理网络上的事件过载问题。 本文还研究了发布订阅系统的事件发送保证问题。事件发送保证可以分为两部分，即事件在代理网络中的传输保证以及事件在代理网络和客户端之间的传输保证。我们首先给出了一种代理网络上的事件发送保证协议，其中包括单节点发送保证协议和多代理节点发送保证协议；然后研究了移动客户端的发送保证问题，针对已有移动迁移协议的不足，提出了一种新的迁移保证协议，该协议可以保证事件分发的顺序性和可靠性。 最后，本文介绍了发布订阅原型系统，给出了原型系统的体系结构、主要组件以及功能实现，它对上述研究工作成果进行了实现和验证。

Design and path planning for a remote-brained service robot

This paper presents a novel robot named "TUT03-A" with expert systems, speech interaction, vision systems etc. based on remote-brained approach. The robot is designed to have the brain and body separated. There is a cerebellum in the body. The brain with the expert systems is in charge of decision and the cerebellum control motion of the body. The brain-body. interface has many kinds of structure. It enables a brain to control one or more cerebellums. The brain controls all modules in the system and coordinates their work. The framework of the robot allows us to carry out different kinds of robotics research in an environment that can be shared and inherited over generations. Then we discuss the path planning method for the robot based on ant colony algorithm. The mathematical model is established and the algorithm is achieved with the Starlogo simulating environment. The simulation result shows that it has strong robustness and eligible pathfinding efficiency.

Design and path planning for a remote-brained service robot

This article introduced an effective design method of robot called remote-brain, which is made the brain and body separated. It leaves the brain in the mother environment, by which we mean the environment in which the brain's software is developed, and talks with its body by wireless links. It also presents a real robot TUT06-B based on this method which has human-machine interaction, vision systems, manipulator etc. Then it discussed the path planning method for the robot based on ant colony algorithm in details, especially the Ant-cycle model. And it also analyzed the parameter of the algorithm which can affect the convergence. Finally, it gives the program flow chat of this algorithm.

Web Services Workflows—Composition, Co-Ordination, and Transactions in Service-Oriented Computing

Web services can be seen as a newly emerging research area for Service-oriented Computing and their implementation in Service-oriented Architectures. Web services are self-contained, self-describing modular applications or components providing services. Web services may be dynamically aggregated, composed, and enacted as Web services Workflows. This requires frameworks and interaction protocols for their co-ordination and transaction support. In a Service-oriented Computing setting, transactions are more complex, involve multiple parties (roles), span many organizations, and may be long-running, consisting of a highly decentralized service partner and performed by autonomous entities. A Service-oriented Transaction Model has to provide comprehensive support for long-running propositions including negotiations, conversations, commitments, contracts, tracking, payments, and exception handling. Current transaction models and mechanisms including their protocols and primitives do not sufficiently cater for quality-aware and long running transactions comprising loosely-coupled (federated) service partners and resources. Web services transactions require co-ordination behavior provided by a traditional transaction mechanism to control the operations and outcome of an application. Furthermore, Web services transactions require the capability to handle the co-ordination of processing outcomes or results from multiple services in a more flexible manner. This requires more relaxed forms of transactions—those that do not strictly have to abide by the ACID properties—such as loosely-coupled collaboration and workflows. Furthermore, there is a need to group Web services into applications that require some form of correlation, but do not necessarily require transactional behavior. The purpose of this paper is to provide a state-of-the-art review and overview of some proposed standards surrounding Web services composition, co-ordination, and transaction. In particular the Business Process Execution Language for Web services (BPEL4WS), its co-ordination, and transaction frameworks (WS-Co-ordination and WS-Transaction) are discussed.

基于BPEL的Web Service组合的数据流分析测试方法

随着Web Service组合变得越来越复杂,通过测试来保证服务质量和可靠性也变得越来越重要.将传统数据流分析方法扩展用于Web Service组合测试,提出了一种基于BPEL的Web Service组合的数据流分析测试方法.该方法基于一个测试模型:Web Service组合测试模型WSCTM,该测试模型可以捕获Web Service组合的数据流接口.采用基于服务的模型WSCTM,数据流可以从3个视点来分析:服务间、服务内和服务实现构件间.从而,Web Service组合的数据流测试可以在三层上得到实现.基于以上方法,可得到Web Service组合的定义-使用链,最终可产生满足既定测试标准以获得需求Web服务组合质量要求的测试路径.