面向能量和链路优化的水声移动传感器网络路由协议设计

针对水声移动传感器网络中存在水声通信环境恶劣、通信环境复杂多变以及节点能量受限造成的水声移 动传感器网络能量不均和路由链路断裂问题, 提出一种基于能量与链路度量路由的改进按需平面距离向量路由 (AODV)协议. 引入了以能量阈值为基准描述网络节点能量状态的能量指标以及以邻居节点间距离为基准描述链路 状态的链路指标, 并以综合考虑网络路由链路中节点的能量指标、路由链路指标以及路由链路跳数的路由度量作 为协议选择路径的优先条件, 并以此进行路由修复. 仿真实验表明, 本文所设计的改进AODV协议可提升网络整体 数据量、均衡网络节点能量、延长网络的生存周期.     

一种双链路网络的设计与实现

为有效解决数字校园通信网络不稳定的问题,提出了基于逻辑双链路冗余的通信网络设计思想。对通信网络需求及特点进行分析,设计了通信网络的拓朴结构和方案,实现了通信网络的高可靠性。网络的实际运行结果表明了该设计思想的有效性和可行性。     

多路径路由网络负载均衡算法研究

研究多路径路由网络通信优化均衡问题,由于网络中通信量增多时,链路因为数据量太大用而产生通信链路拥塞的现象.针对传统的多路径路由网络通信中,造成通信不畅的问题,提出一种基于粒子群优化的多路径路由负载均衡的算法,通过粒子群算法感知链路状态,提取多个链路性能指标,动态选择能够快速实现通信的最优路径,避免了重复选取权值和最小的路径通信造成的通信拥塞而带来的通信实时性不高的问题.仿真证明,粒子群优化的多路径路由负载均衡算法,能够保证选取合适的通信网络,完成实时通信,取得了满意的效果.     

无人机通信网络路由协议研究

为了实现无人机通信网络中数据的有效和实时传输，在研究现有网络路由协议的基础上，基于Dijkstra算法设计和实现了无人机通信网络链路综合性能最优优先(BILPF)路由选择协议，提出了无人机通信网络中节点之间进行信息交换的节点状态通告协议，并给出了仿真结果。     

一种基于主从机制的认知Ad Hoc网络可靠路由方法

为了解决认知Ad Hoc网络中节点和链接失效问题,提出一种基于主从机制的认知Ad Hoc网络可靠路由构造方法MSMRC。该协议考虑了网络中主用户活动规律,引入链路可靠时长和信道可靠时长的度量来设计主路由和备份路由。当现有路由失效时,通过预先构造的备份路由快速恢复认知用户之间的通信。实验表明,MSMRC协议能够显著降低平均路由开销,而且可以提高网络的数据包投递率和链路修复率,保证了网络端到端通信的服务质量。     

基于通信链路质量的无线HART图路由算法实现

图路由是无线HART提出的路由机制,目前对图路由算法的研究较少.提出了一种基于通信链路质量的无线HART图路由算法,引入路径稳定度作为判断链路质量的机制.采用基于路径稳定度的分层算法,保证跳数最少和通信可靠性;依据层间节点的路径稳定度选择层间路由,保证层间路由冗余性和可靠性,实现了无线HART的图路由算法,并应用到无线HART网络管理者中.     

基于路由数目的通信链路重要性分析

为了分析通信网络中通信链路对端到端通信的重要程度,提出一种基于路由数目的链路重要性计算方法。该方法采用一种快速算法,寻找出端到端的所有通信路由,再通过比较不同通信链路的损坏使端到端之间传输路由减少的数目,判断不同通信链路对端到端通信的重要性,如果某通信链路损坏导致路由减少越多,则该链路越重要。计算实例表明,该方法计算简单,易于编程实现,具有一定的实用性和有效性。     

无线传感器网络中基于链路层服务的最可靠路由路径建立算法

无线传感器网络中, 链路通信质量随时空变化很大, 并且有5\%到15\%的非对称链路存在. 链路层服务不但可以发现邻居传感器节点, 测量和预测邻居节点间的链路通信质量, 而且还能提供链路数据转发机制减轻单向链路对其他协议的影响. 为了进一步提高路由路径的可靠性和减少能量损耗, 本文利用链路层服务, 采用分布式算法, 为每个传感器节点建立了到汇聚节点的最可靠路由路径, 并理论分析该算法的性能, 最后在无线传感器网络模拟器TOSSIM上进行了模拟. 实验结果表明, 基于链路层服务的最可靠路由路径建立算法, 可充分利用单向链路建立更可靠的路由路径, 有多于17\%的节点建立了更可靠的路由路径, 路由路径的可靠性提高了2\%到51\%.     

认知无线Mesh网络中联合功率控制与信道分配的拥塞避免

受制于频谱资源有限性及链路负载差异性,网络拥塞成为认知无线Mesh网络研究中亟待解决的关键性问题.针对该问题,通过量化节点通信功率等级,并综合考虑网络干扰、链路有效容量及流量守恒等因素,建模了联合功率控制与信道分配的拥塞避免模型.进一步,提出了基于嵌套优化的拥塞避免机制,包括基于遗传算法的功率控制与信道分配、基于遗传算法的路由调度以及基于链路需求的最优路由算法.分别设计了组合编码和序列编码规则及流量守恒的约束控制机制,以保证个体进化的有效性及算法的快速收敛.一系列仿真实验表明该算法能够有效提高网络吞吐量,满足数据传输的实时性需求.     

AdHoc网络中一种链路负载均衡的节能路由协议

传统AdHoc网络路由协议主要是基于“最短路径”来考虑,会在网络中造成对一些“热点节点”的过度使用和链路负载不均衡。针对AdHoc网络中移动节点能量有限和链路负载不平衡的问题,文中提出基于链路负载均衡的节能路由协议（1inkLoadBalancingandEnergySavingroutingprotocol,LBES）。该协议通过考虑网络中节点生存时间和节点间链路通信效率两个方面因素,基于这两方面性能重新定义和计算链路性能,以达到优化路由选择的效果的目的。仿真结果表明,与DSR和MRL相比,LBES有效地延长了网络寿命,降低了网络传输时延,提高了网络的可靠性。     

Assessing Ideational and Evaluative Skills and Creative Styles and Attitudes

This article describes the rationale for the multiphase creative problem solving process, and reports the findings from an empirical investigation conducted to facilitate the problem solving of managers. The ideational skills of the managers were assessed before and after training in a complete process of creative problem solving, along with their ideational attitudes, creative problem solving style (i.e., generator, conceptualizer, optimizer, or implementor), and evaluative skill (i.e., ability to recognize original ideas). The most important findings indicated that the training had a significant impact on the evaluative accuracy of the managers. They were significantly more accurate in their judgments about original ideas after training, both in their identification of original ideas and their recognition of unoriginal ideas. After training, the managers also gave more solutions and more original solutions to problems. Finally, several variables (e.g., the “preference for active divergence” attitude, and the conceptualizer process style) seemed to moderate the impact of training. Training was therefore effective, with specific effects that can be predicted from pre-training individual differences in attitudes and process style.     

Rank and select revisited and extended

The deep connection between the Burrows–Wheeler transform (BWT) and the so-called rank and select data structures for symbol sequences is the basis of most successful approaches to compressed text indexing. Rank of a symbol at a given position equals the number of times the symbol appears in the corresponding prefix of the sequence. Select is the inverse, retrieving the positions of the symbol occurrences. It has been shown that improvements to rank/select algorithms, in combination with the BWT, turn into improved compressed text indexes.     

Semantics and verification of monitors and systems of monitors and processes

In this paper we present a sound and complete semantics for the monitor concept of C.A.R. Hoare. First a method for specification of monitors, introduced by O.-J. Dahl, is reviewed. This method is based on the relation between the historic sequence of monitor procedure calls and the historic sequence of monitor procedure exits. Based on such specifications and our new monitor semantics we present a method by which it is possible to prove that a concrete monitor is an implementation of an abstract one. In the last part of the paper an axiomatic semantics for systems of concurrent processes and monitors is introduced. The method supports verification by separation of concerns: Properties of the communication to and from each process are proven in isolation by a usual Hoare style axiomatic semantics, while abstract monitors are also specified in isolation by the method reviewed in the first part of the paper. These properties of the components of the system are then used in a new proof rule to conclude properties of the complete system. Stein Gjessing received a Ph.D. (actually a Dr. philos.) from the University of Oslo (Norway) in 1985. Presently he is an Associate Professor at the Institute of informatics, University of Oslo, Norway. Dr. Gjessings research interests are in the area of concurrent and distributed programming, operating systems, formal specification and verification and programming languages.     

Integrating and automating analysis and optimization

The development of an interface coupling program on personal computers for an analysis software system such as ANSYS, SAP, etc. and an optimization software system, MOST, is presented. By controlling and directing the communications the interface coupler integrates the two programs while retaining their versatility and interactive features. The integrated system is used to solve a numerical example of active noise control for a three-dimensional enclosure, in which an energy density level of control points is minimized by adding the sound source to cancel the unwanted noise. The interface coupling program automates with relatively low cost the iterative process for designing an engineering system, remaining flexible in acoustical modelling and efficient in equation solving. Also, the coupling interface is developed in a general-purpose way so that it can be expanded easily to integrate more analysis software packages of different kinds.