一种Ad Hoc网络中安全的网格路由协议

在大而密集的移动Ad Hoc网络环境下，基于位置的路由协议使用位置信息进行报文的转发，在性能方面明显优于基于拓扑图的路由协议．现在虽然研究Ad Hoc中安全路由协议的文章很多，但是却很少有人考虑到基于位置的路由协议的安全性．该文在网格定位服务（Grid Location Service，GLS）的基础上，提出了安全的网格路由协议（Secure Grid Routing Protocol，SGRP）．SGRP补充了TESLA方案，添加了新节点加入网络的认证过程，以适应Ad Hoc网络高移动性和高灵活性的特点，从而可以有效地抵御外部节点的攻击．为了清晰表述SGRP处理报文的流程，文章使用形式语言自动机进行描述，并对其中关键的认证过程做了形式化分析．SGRP还提出了一种信誉系统，使得节点可以通过综合的信誉信息，限制内部背叛节点的恶意行为．最后的仿真结果显示，当有中断攻击节点存在的情况下，SGRP有效地孤立了攻击节点，性能上优于GLS．     

实例化空间:一种新的安全协议验证逻辑的语义模型

给出了一个称为“实例化空间（instantiation space）”的安全协议验证逻辑的语义模型．该语义模型是建立在一种自然的加密信息交换（cryptographical message exchange）模型上的．在此语义模型基础上，文章提出了一系列与安全属性相关的验证公理，由此可以证明它们在此语义模型下的正确性．更重要的是，在此语义下的公理集在算法上是完全可以实现的，其对应的工具SPV（Security Protocol Verifier）已经开发成功，并且可以验证复杂的协议．在这套安全协议验证模型理论下，可以很方便地处理包括公钥、私钥、共享密钥和Hash函数组成的复杂信息格式．而且，在此语义基础上的公理集是纯命题逻辑的，因此所需要的验证目标可以很方便地转化成可满足性问题（SAT），从而可以利用工业上快速高效的SAT求解器实现．     

顾及地形特征的等高线拓扑空间关系表达

在分析以往等高线树在表达地形图等高线拓扑空间关系时既没有考虑局部地形特征(鞍部、山头、洼地等)又不能很好表达等高线与所围区域之间的关系等缺陷的基础上,提出了增加地形特征等高线构建增量等高线树,以同时表达等高线之间、等高线与所围区域之间两种拓扑空间关系.通过建立等高线约束Delaunay三角网,给出了增量等高线树的动态提取算法.研究表明,增量等高线树在地形识别、基于等高线建立数字高程模型、等高线高程自动赋值、等值线充填等方面的表现都优于以往等高线树,具有较大的应用潜力.     

应用于洋流探测的改进MUSIC方法

对传统的MUSIC方法进行修正估计洋流方位，即在应用MUSIC方法之前，将阵列的协方差矩阵Toeplitz化，理论分析和仿真表明这样可有效地减小信号之闻相关性的影响，从而大大提高谱估计的质量．通过对实测数据的处理表明修正的MUSIC方法可较好地进行洋流方位探测．     

奇异信号消噪中小波消失矩的选取

信号小波变换模的局部极大值和信号奇异性之间存在对应关系，利用信号和噪声小波变换模极大值在不同尺度上表现出的截然不同的性质，可以对奇异信号进行消噪。本文讨论了小波消失矩的阶数与信号Lipschitz指数间的关系，分析了消失矩对奇异信号检测的影响。实验结果表明，为了有效地检测奇异信号的各种奇异性特征，需要根据信号奇异性选择具有不同消失矩的小波。     

三轴光电跟踪系统的实时引导

三轴光电跟踪系统是地平式和X-Y式光电跟踪系统的有机组合,可以全方位跟踪空间运动目标,跟踪系统测量值与空间位置的多对一特性决定了跟踪策略的多样性和系统引导的复杂性,跟踪过程中对系统进行实时引导可以提高系统的跟踪精度及其可靠性。各种跟踪策略下三轴光电跟踪系统的引导过程包括:地平式的引导、X-Y式的引导、具视轴偏角的地平式引导、三轴光电跟踪系统的引导等。通过理论分析,给出了各种情况下的引导方法。     

溶胶-凝胶法制备微孔复合聚合物电解质

使用钛酸丁酯作为前驱体,在聚偏氟乙烯-六氟丙烯溶液中分解为T iO2,与聚合物基体进行复合,制备的聚合物膜吸附电解质溶液后成为微孔复合聚合物电解质(M CPE)。用SEM、DSC、FT-IR、XRD等方法对复合聚合物膜进行表征,并测试了M CPE的离子电导率,发现当复合聚合物膜中T iO2粒子的质量分数为8.2%时,聚合物电解质具有最高的离子电导率1.27×1-0 3S/cm。     

直接序列扩频在矿井通信中的应用

分析了矿井环境对矿井通信系统的影响,阐述了直接序列扩频通信的原理,指出了直接序列扩频技术的抗干扰特点,并给出了该通信模式的模型、基于扩频芯片Z2000的矿井通信的具体实现方案。     

基于小波变换和形状-增益矢量量化的3维图像压缩

数据压缩是高光谱图像处理应用中的一个关键问题。为了对高光谱图像进行有效压缩，在2维小波变换的基础上，提出了一种分组矢量量化的高光谱图像有损压缩方案。该方案首先按照谱段类型对高光谱图像进行分组，然后对每个谱段分别进行2维小波变换，最后变换系数再使用一种Kronecker-Product形状-增益矢量量化方法来进行量化编码。计算机仿真结果证明．该算法在取得高压缩率的同时，不仅能很好地保持数据的谱特征，并能降低运算量。     

LINUX下维、哈、柯文多语种图形化处理平台的设计与实现

针对维吾尔文字、哈萨克文字、柯尔克孜文字(以下简称“维哈柯文”)的特点以及进行维哈柯文、西文等多语种混合处理时的特殊需求,本文通过对Linux的I18N体系中NLS(National Language Support)研究分析,提出了基于Linux的多语种图形化处理平台的设计目标与总体架构。该平台由维哈柯文本地化环境、维哈柯文显示、自适应维哈柯文输入和维哈柯文打印输出等4个子系统的十余个模块组成。本文详细介绍了各子系统主要模块的实现技术。通过在redhat linux 810、turbolinux上测试表明,该平台在桌面环境、编辑软件、网络浏览、数据库软件、多媒体软件、图形处理软件等应用中均能较好的实现维哈柯文、汉文、西文的混合输入、显示、编辑、排版、打印等功能。