Presenting a traffic management and control system in driver assistance form based on vehicular networks

Vehicular Networks is considered a major step in the field of Intelligent Transportation System (ITS). In this technology, some equipment will be installed on vehicles and special places at roadsides which will enable the wireless communication between vehicles with each other and will provide the communication between the vehicles and roadside equipment. One of the ITS application is Traffic monitoring system. Such system enables accessing traffic videos by traffic monitoring centers to make traffic decision. However, providing traffic video for the vehicles can be appealing. This paper addresses a new application in vehicular networks and ITS which can provide this videos for drivers in a city. Each driver request timely traffic video of a location from a web server and the web server forward this request to a stream management server. This server based on current location of the requester vehicle, its speed and its direction calculates appropriate video chunks for each RSU along vehicle destination. This study aims to present a system which can bring a high accessibility for content and can provide it with an appropriate bandwidth and quality for vehicles. Due to the scalability and bandwidth limitations for its content and streaming, vehicular networks are used in this system.     

面向服务计算的拜占庭容错方案及其正确性证明

针对现有拜占庭容错协议的假设(要求被保护的对象是被动的和独立的)不适用于服务计算等新兴计算模型的问题,提出一种面向服务计算的拜占庭容错协议。该协议在服务请求方和服务提供方两端均创建服务复制品,采用基于状态机的主动复制技术,在服务复制品间进行三轮通信,就该请求的编号和内容达成一致,随后该请求被提交给上层应用逻辑处理;收到应答后,服务请求方的复制品进行三轮通信就应答的编号和内容达成一致后接受该应答。针对现有面向服务计算的拜占庭容错协议只有简单的正确性推理缺乏形式化验证的问题,采用I/O自动机和模拟关系方法进行正确性证明,更加严谨和正式。构造一个高度抽象的简单I/O自动机S,此自动机满足安全性和及时性;将协议中的各方分解成若干简单I/O自动机:前端自动机、后端自动机和多播通道自动机;最后用模拟关系方法证明各成员自动机构成的系统实现了自动机S,从而证明协议的正确性。使用I/O自动机可以精确描述协议,以此为基础进行证明比感性推理的证明方法更加规范。     

基于参与者上下文概念意图的语用Web服务发现

为了使得语义Web服务的发现结果与服务请求者的意图更加一致,提高服务发现的准确性,改善服务发现和选择的自动化性能。在服务描述中增加了对于服务提供者和服务请求者的上下文知识的表示,使用规划的方法完成服务参与者之间对于私有的上下文本体概念意图的理解。实验表明,该方法能够有效提高发现的准确性,在使用标准服务测试集进行服务发现实验时,尽管概念规划使得服务发现时间有所增加,但服务发现的准确性得到很大提高,尤其对于描述服务领域本体语义差异较大的情况,服务发现的结果更为准确。     

基于组件应用服务器的对象容错服务

组件应用服务器框架是一种特定形式的分布式对象系统平台,要求成为高可靠性的系统.这里指的可靠性主要是指错误容忍和错误恢复两个特性.本文的主要目标是建立基于分布式对象的组件应用服务器的软件容错服务框架.我们采用一种名叫对象容错服务(OFS)的办法解决对象容错,我们解决的问题包括:对象失效、节点错误、网络隔离和不可预知的通信延迟等.本文介绍了OFS的服务规范,并给出了一个OFS实现的系统结构.     

结合协商机制的Web服务属性访问控制模型

针对实现有效Web服务访问控制的问题,提出一种结合协商机制的Web服务属性访问控制模型。该模型基于安全断言标记语言和可扩展访问控制标识语言,利用主体属性和上下文属性的组合限制条件,提供细粒度的访问控制。通过加入协商机制,服务请求者可以与服务提供者相互沟通,在访问请求中动态地调整参数信息以获得访问授权。     

车联网中基于位置服务的个性化位置隐私保护

随着车联网的快速发展,用户享受车联网提供的位置服务(location-based services,LBSs)时,位置隐私泄漏是一个关键安全问题.针对车载网络中位置服务隐私泄露问题,提出了一种基于差分隐私的个性化位置隐私保护方案,在保护用户隐私的前提下,满足用户个性化隐私需求.首先,定义归一化的决策矩阵,描述导航推荐路...     

具有QoS约束的语义Web服务发现的研究

传统的Web服务主要是基于UDDI的技术规范,只提供了按照简单分类和关键字的服务发现方法,造成查准率与查全率低,影响服务复用和服务组合的相容性.带有语义的Web服务通常也只关注服务功能性的匹配,因缺乏服务质量描述和灵活、有效的服务匹配方法,而难以保证服务的全面匹配和快速定位.本文分析了现有的一些相关研究,在Web服务模型的基础上,结合"逐渐逼近"的思想,提出一个三层次的匹配筛选算法,并对基本描述、IOPE、服务质量各层的匹配算法进行了深入讨论,用相似函数来度量服务提供方与服务请求方的Web服务相似程度,为Web服务发现提供了一种有效的方法.     

基于虚拟机部署策略的云平台容错即服务方法

针对如何充分利用云基础架构层资源,满足上层云应用系统租户对应用系统容错的需求多样性和高可靠性要求的问题,提出一种面向租户和云服务提供商的、基于虚拟机部署策略的云平台容错即服务方法。该方法根据租户的特定容错需求适配适合的容错方法及容错级别,据此计算并最优化云服务提供商的收益和资源使用量,在此基础上对提供容错服务的虚拟机进行优化部署,充分利用底层虚拟机资源为租户的云应用系统提供更为可靠的容错服务。实验结果表明,所提方法能够在保障云服务提供商收益的基础上,为多租户云应用系统实现更灵活且可靠性更高的容错服务。     

Ontology-based methodology for e-service discovery

Service discovery is a critical aspect in the Service Oriented Computing approach. A model, a methodology and a tool environment based on ontologies are proposed in this paper. The requester and provider perspectives are discussed, both to support the service publication phase and the search phase. The proposed service ontology is based on functional aspects and it is organized on three layers, to support traditional search based on classification such as proposed in UDDI as well as search based on abstracting service characteristics. In addition, nonfunctional features such as requester and provider contexts and quality of service are considered to refine the search results according to the requester requirements.     

MaxCD: Efficient multi-flow scheduling and cooperative downloading for improved highway drive-thru Internet systems

The limitation of existing wireless wide area networks, coupled with the delay tolerant property of many non-realtime applications (e.g. email, file download) enables drive-thru networking, which depends on roadside units (RSUs) to provide vehicular users with intermittent Internet access service. Focusing on the downlink service, MaxCD – a joint multi-flow scheduling and cooperative downloading protocol is proposed in this paper with the goal of maximizing the amount of data packets that can be downloaded per drive-thru. Based on the macro-level opportunistic scheduling and node cooperation, the best wireless link(s) (with the highest data rate) between the RSU and vehicular users can always be utilized. On the other hand, the advantage of opportunistic overhearing due to the broadcast nature of wireless medium is also exploited to reduce packet retransmission times, so as to further increase the effective data rate. Since the store-carry-forward delivery manner is adopted for the cooperators to avoid introducing interference to the in-range data communication, a multi-channel collision-free relay mechanism is designed to address the reliable and fast data exchange issue when the vehicular users are outside the service area of the RSU. Our theoretical analysis vindicates the performance gain of the cooperation and extensive simulations demonstrate the efficiency of MaxCD.     

一种基于QoS的Internet服务管理体系结构

服务定位协议(SLP)是IETF提出的基于IP网络的服务定位标准。而这一标准并没有考虑对QoS的支持。未来的互联网络是一个具有QoS保证的网络。服务发现仅仅是Internet服务管理中的一个方面，发现服务不是最终目的，最终目的是为了使用这一服务。在对SLP体系结构、下一代互联网QoS服务管理及相关技术充分研究的基础上，提出了一种新奇的基于QoS的Internet服务管理体系结构模型。为使在服务表示与发现层支持QoS，对SLP定位协议进行了一些扩充。对服务定位协议扩充后，当用户代理在向服务代理发布请求时，可以在请求消息中绑定QoS对象参数，一旦服务代理接收到这一消息，就可以利用这些QoS参数与域管理器进行协商，协商结果可通过服务代理反馈给用户代理。这样不仅减小了网络开销，而且降低了传统的用户代理与域管理器协商的次数，在服务发现的同时用户代理还可以直接获得该服务的QoS信息。     

基于本体的多约束服务发现

随着Web服务的广泛应用,服务发现成为服务请求者和服务提供者之间的重要环节,服务发现机制的优劣直接关系到整个服务应用的质量.为了向服务请求者提供高质量的Web服务,提出一种基于本体的多约束服务发现机制,该服务发现机制在语义层面从多个角度选择满足服务请求者需求的最佳服务,从而提供更准确的服务,提高服务的性能;最后实验数据表明基于本体的多约束服务发现机制能在很大程度上提高查准率,进而可以明显地提高服务系统质量.     

城市车载网络的路边单元部署机制

在支持车路通信的城市车载网络中,路边单元的部署方案影响着整个车载网络的性能,而传统的部署方案采用无线自组织网络中的布点方式,未充分考虑道路网络的拓扑结构和车辆移动的规律性,导致部署成本高和资源浪费.因此,本文提出了一种基于路口优先级和部署均匀性的路边单元部署机制,称为PUD(intersection Priority and deployment Uniformity based roadside unit Deployment scheme),保证其服务能力的同时降低部署成本.PUD以交叉路口作为路边单元的候选部署点,综合车辆移动特性和路网拓扑,以车流密度、连接中心性和公共交通线路数作为主要因素,计算每个交叉路口处部署路边单元的优先级,作为部署位置选择的标准.为了提高部署均匀性,避免路边单元的覆盖范围重叠导致的资源浪费,设置了四条部署约束规则,即位置约束、范围约束、优先级约束和覆盖约束,满足条件的交叉路口可被选择为部署位置.实验表明,与其他路边单元部署方案相比,PUD具有更低的部署成本、更高的覆盖率和车辆覆盖时间比例.     

移动网络接入认证方法的研究

随着移动网络技术的快速发展,越来越多的电子、IP设备以移动的方式应用到移动网络中.然而,当移动路由器(或其他移动客户端)移动到外地后,存在着外地服务提供者(外地的固定接入路由器)对服务请求者(移动路由器、移动节点等)的鉴别和信任问题.对现有的一些网络认证协议以及移动网络工作原理进行了研究,并提出了一种方案实现了移动网络...     

一种MANET跨层服务发现协议研究

将路由发现和服务发现过程结合,提出了基于CAODV协议的具有安全认证扩展的SCAODV协议。通过NS2仿真实验证明,SCAODV协议在实现路由发现的同时完成了服务发现,并有效地降低了网络开销和端对端时延。SCAODV协议还实现了服务发现过程中服务请求者和服务提供者的一种基于对称密钥体系的安全认证机制。     

约束驱动的语义Web服务相似性问题研究

目前,在Web服务处理过程中,服务需求者和服务提供者间还是以语法的形式去理解对方,Web服务发现的目的只是能够查找到满足需求者基本要求的服务,很难按照需求者的具体要求细致地描述服务,这样查找到的服务很难达到优化的目的。我们主张通过对Web服务添加丰富的语义描述,将需求者的要求按约束的形式形成服务模板,然后将服务模板与从服务注册库中的服务进行基于语义的相似性评价,从而形成候选服务集合,最后从该集中找到能全面满足需求者要求的最佳服务。这在很大程度上提高了Web服务处理的精准度和效能,同时将以往能否找到合适Web服务的问题提升为怎样选择最佳Web服务的问题。     

面向语义服务结构中的服务接口问题研究

以往的服务接口模型没有规定业务伙伴任务的内部行为,这使业务处理难以准确地进行任务指派,也难以实现服务的按需组合以及业务处理模式的高度重用。为了克服上述问题并有效构建沟通服务提供者和需求者的桥梁,提出了面向语义服务结构的接口模型,该模型用抽象状态机抽象化描述和Web服务调用实例相关的服务行为,将服务交互的抽象和实现区分开,这既有效解决了服务双方的通讯和协作问题,便于交互模型的重用,而且为Web服务的自动发现、按需组合和智能推理提供了坚实的技术基础。     

A fault tolerant NoC architecture using quad-spare mesh topology and dynamic reconfiguration

Network-on-Chip (NoC) is widely used as a communication scheme in modern many-core systems. To guarantee the reliability of communication, effective fault tolerant techniques are critical for an NoC. In this paper, a novel fault tolerant architecture employing redundant routers is proposed to maintain the functionality of a network in the presence of failures. This architecture consists of a mesh of 2 × 2 router blocks with a spare router placed in the center of each block. This spare router provides a viable alternative when a router fails in a block. The proposed fault-tolerant architecture is therefore referred to as a quad-spare mesh. The quad-spare mesh can be dynamically reconfigured by changing control signals without altering the underlying topology. This dynamic reconfiguration and its corresponding routing algorithm are demonstrated in detail. Since the topology after reconfiguration is consistent with the original error-free 2D mesh, the proposed design is transparent to operating systems and application software. Experimental results show that the proposed design achieves significant improvements on reliability compared with those reported in the literature. Comparing the error-free system with a single router failure case, the throughput only decreases by 5.19% and latency increases by 2.40%, with about 45.9% hardware redundancy.     

织女星网格路由器的应用与改进

资源发现是网格(grid)需要解决的一个核心问题．织女星(Vega)网格提出了一种完全分布式的资源发现机制：网格路由器，它以类似IP路由器的方式进行工作．为了体现网格路由器的特点及提供使用案例，设计和实现了一种基于网格的在线游戏服务平台，称为织女星游戏网格．针对网格路由器在该应用中出现的问题，对网格路由器进行了如下改进：基于UDP协议实现资源请求路由转发协议；通过IP协议测量网格路由器之间的物理网络距离；资源无需手工注册到网格路由器上即可被发现；基于图的遍历算法，对于SD-RT算法进行了改进．     

一种基于团体的无线传感器网络服务发现协议

服务发现能力是有效应用无线传感器网络的基本要求.提出基于团体的无线传感器网络服务发现协议GSDP,根据传感器节点的运动特性将网络划分为多个团体,每个团体由一个团体头节点和多个成员节点组成.团体头节点构成一个分布式服务目录,负责处理服务注册信息和服务请求信息,避免在网络范围内产生大量的广播信息.仿真实验表明,在具有团体移动特性的传感器网络中,GSDP在保证服务发现性能的同时,能够有效地减少服务发现过程的消息开销.