局部构造邻居最优能耗路的拓扑控制算法

无线传感器网络拓扑控制算法的首要任务是减少节点的能量消耗,从而延长整个网络的生存时间。而传感器节点大部分的能量消耗在无线通信模块。在分析了拓扑控制算法所基于的两种模型(UDG,MG)以及两种不同性质的网络(homogenous net,heterogeneous net)的基础上,考虑到在通常情况下,无线通信的能量消耗与通信距离的3次方成正比。基于此,针对能否设计一种选择邻居的标准,使邻居间的链接都是最小能耗链接这一问题,给出了一种构造最小能耗路的邻近图算法MEP(MG)。证明了算法具有连通性和1-spanner特性。     

一种基于矩阵的有限状态机静态分析方法（英文）

在有限状态机研究领域,传统矩阵法首先构造状态转移矩阵,然后利用状态转移矩阵的幂来表示系统动态转移过程。这一过程是有限状态机系统分析的基石。本文提出一种基于矩阵的静态方法。该方法从拓扑结构的视角审视有限状态机,而非传统动态转移过程的视角,因此能够避免现有方法中存在的“维度爆炸”问题。基于这种静态方法,本文重新分析确定有限状态机的闭环检测与可控性问题。此外,我们提出可控等价型与最小可控等价型概念,并给出相关算法。     

一种用于双基地雷达目标定位问题的改进算法

考虑到在大残量情况下,用Gauss-Newton法求解非线性最小二乘目标定位问题时,迭代点可能会偏离到无规则的远处,且收敛精度和收敛速度依赖于迭代初值与真实值的接近程度和函数的非线性强度。基于此,进一步利用目标函数Hessian阵的二阶信息,并将目标位置的一个大致估计作为迭代初始点,结合修正拟牛顿法提出了一种双基地雷达目标定位问题的优化改进算法。计算机仿真结果表明了该算法在无观测噪声、低观测噪声和中观测噪声情况下的可行性和有效性。     

k轨道任务分配问题的可解性条件: 图论方法

将图论及一种新的数学分析工具–—矩阵的半张量积(semi-tensor product of matrices, STP), 作为研究工具,通过研究图的k内稳定集的充分必要条件, 研究了k轨道任务分配问题的可解性条件. 定义了图的顶点子集的特征向量, 利用STP方法得到图的k内稳定集新的若干充分必要条件. 基于这些新的充分必要条件, 建立了能够搜索出图的所有k内稳定集的两种算法. 进而将上述结果应用到k轨道任务分配问题, 得到了该问题可解性的两个充分必要条件. 此外, 通过这些充分必要条件, 也发现了一些有趣的现象. 例如, 完全最优方案(completely optimal schedules)的存在.     

局部构造最小通信能耗路的拓扑控制算法

在分析了拓扑控制算法所基于的两种模型(UDG,MG)以及两种不同性质的网络(homogenous net,heterogeneous net)的基础上,考虑到无线通信的能量消耗与通信距离的n次方成正比(2＜n＜4),给出了一种选择邻居的标准,使邻居间的链接都是最小通信能耗链接.继而设计了一种局部构造最小通信能耗路的邻近图算法MCEC(MG).证明了算法具有连通性、稀疏性、1-spanner特性等.最后,实例仿真验证了算法的正确性和有效性.