分布环境下容错组成员主动退出组行为的研究

主动复制技术是增强分布系统容错能力的有效方法之一, 它复制系统的关键部件构成容错组. 首先分析了组成员退出组行为的三种语义, 总结了组成员参与的组活动, 得出了组成员要安全退出组所需要满足的条件. 针对快速退出语义, 提出了解决方案, 详细讨论了非空协议和中继协议, 并给出了协议正确性和可终结性的理论证明. 该解决方案可作为构造实用、可操作的组管理模块的有用构件.     

UC安全的并行可否认认证新方法

可否认认证协议允许认证者向接收者认证某个消息，但是接收者不能向第三方证明该认证消息的来源．在考虑开放的异步多方通信网络环境和自适应的主动攻击者能力的情形下，基于UC（universally composable）安全模型提出了解决并行可否认认证问题的新方法．根据可否认认证协议的安全目标，定义了形式化的并行可否认认证理想函数FCDA，然后，利用可验证平滑投影散列函数构造了一个具体的协议方案，在公共参考串模型中，新的协议方案是可证明UC安全的，即新方法能够保证可否认认证协议的不同实例在并行复合情形下是安全的，当与其他协议同时运行时具有非延展性．为了实现可否认认证的前向可否认性，新方法基于陷门承诺构造了新的投影密钥函数和可验证平滑投影散列函数，基于证人不可区分，协议的安全性可以归约为确定性复合剩余假设，改善了协议的计算效率和通信效率．     

密码协议的代数模型及其安全性

引入了一个新的代数系统——称为密码协议代数(cryptographic protocol algebra, CPA), 刻画具有多种密码运算的消息代数性质, 并基于CPA提出了一个新的密码协议代数模型. 模型中, 用子代数、自由生成元和多项式代数等概念刻画主体的知识扩张过程, 并用类似于代数中的正合序列概念描述了密码协议的攻击过程, 从而为密码协议的安全性分析建立了一种数学方法. 基于这个模型, 利用代数的技巧证明了对于具有一定对称性的协议, 任意多主体参与运行的协议安全性分析可归结为几个主体与攻击者参与的协议安全性分析. 研究了密码协议安全的一致性问题, 给出了两个协议合成保持安全性的一个充分条件, 并提供两个安全的密码协议的合成安全的例子, 推广了相关工作.     

一种基于多维DHT空间映射的P2P安全拓扑方案

基于DHT（distributed Hash table）的分布式检索和路由算法凭借其良好的分布性、自组织性、可扩展性等优点，正成为国际上结构化P2P（peer—to—peer）网络研究和应用的热点．但相对于传统的C／S fclient／server）网络，P2P网络的非中心化特点以及网络中节点较强的自治性和动态性，使得节点实施恶意行为的可能性大大增加，这令DHT对节点安全性的要求很难得到满足．本文提出了一种基于多维映射机制的安全DHT协议，该机制通过对标识符进行按组划分，将P2P网络中的节点映射到一个多维空间，并通过设计合理的路由算法，使安全工作定位到相对简单的节点区域内进行．理论分析和实验结果表明，本机制能够简化现有DHT安全机制，有效抑制恶意路由行为，提高资源搜索成功率．     

基于OPNET的AODV协议性能研究

针对目前移动自组网路由协议的研究,介绍了Adhoc网络路由协议设计的目标,对无线自组网Adhoc的按需距离向量协议AODV进行了研究,通过仿真分析了不同网络规模、不同的节点移动速度、源节点不同发包率对AODV的性能的影响,结果证明随着网络规模的扩大,路由开销、丢包率都有所增加;AODV协议对20米／秒以下的网络拓扑变化的适应性较好;发包率对AODV性能的影响比较明显,当发包率超过20包／秒时,网络性能恶化。     

月地高速再入返回飞行器陀螺在轨自主标定技术研究及实现

针对包含非正交安装陀螺的捷联惯导平台轻量化自主对准问题,建立了非正交陀螺组误差模型,提出一套基于最小二乘法的标定算法和地面试验验证方法,在计算能力受限的情况下完成了高精度在轨标定.地面数学仿真和试验验证结果表明,该方法与扩展卡尔曼滤波法精度相当,计算量却大幅减小.在此基础上,通过对标定算法进行逻辑设计,实现了在轨多组陀螺同步容错和标定.该方法已成功应用于探月工程三期月地高速再入返回飞行器的实际飞行,实现了2套惯性导航平台的高精度初始姿态同步对准.     

基于随机时间自动机和统计模型检验技术的无线传感网络协议建模与分析

近年来,传感器技术得到了长足而有效的提升,无线传感网络（WSN）以其开放、动态的特征获得了极大的关注,并成为了互联网计算的一个重要组成．WSN系统行为复杂,经常面临信息丢失、节点动态变化等不确定因素,且网络中的节点一旦部署将很难更改、维护．因此,为了保证相关应用的正常工作,在系统设计阶段对WSN中的底层协议进行质量保障就成为了一项非常重要的研究问题．系统设计人员不仅需要保证协议功能上的正确性,还应该评估协议在目标工作环境下的性能,以保证其可以胜任相应的工作需求．针对以上问题,本文提出了一种基于随机时间自动机和统计模型检验技术的WSN协议建模、分析和评估途径．在建模阶段,首先将采用时间自动机对协议在理想环境下的基本业务流程进行建模．考虑到WSN系统实际工作中会遇到的各种不确定性因素,将用带权分枝来对模型进行扩展,生成协议的随机时间自动机．在验证阶段,首先采用经典模型检验技术,在理想时间自动机上检验相关功能性质,保证协议工作逻辑的正确性．为评估协议在不同条件下的具体性能,则在随机时间自动机上用统计模型检验技术对其进行数值分析,以进行参数配置、性能预测、协议比较等工作．为展示该途径的可用性及其技术细节,本文对两种著名的WSN时间同步协议,TPSN和FTSP分别进行了完整的建模与评估．     

一种形式化的实时协议互操作性测试方法

协议互操作性测试是一种保证网络通信协议实现质量的重要技术．下一代互联网协议需要提供对实时应用的有效支持，然而已有互操作性测试相关研究中并没有考虑协议中的时间约束，现有互操作性测试技术很难应用于实时协议互操作性测试中．文中提出了一种形式化的实时协议互操作性测试方法．首先提出了一个用于描述实时协议互操作性测试被测系统的形式化模型CMpTIOA（通信多端口时间输入输出自动机），基于该模型定义了时间互操作性关系；然后提出一种以时间互操作性关系为指导的测试生成方法，根据被测系统模型生成参数化测试行为树，在该方法中还集成了可执行性预判决机制，在一定程度上缓解了状态空间爆炸问题；最后将提出的理论和方法应用于IPv6邻居发现协议的互操作性测试中，验证了该方法的可行性．     

利用介质阻挡放电等离子体控制压气机叶栅端壁二次流

在压气机叶栅端壁20％,40％和60％弦长处布置了3组等离子体激励器．利用微型五孔压力探针测量了施加等离子体激励前后压气机叶栅尾迹的流场．测量结果表明3组激励器同时工作时对总压损失和流动阻塞改善的效果最好．各组等离子体激励器独立工作时,20％弦长处的等离子体激励能够最有效的改善流动阻塞;60％弦长处的激励对总压损失的改善比较好;而40％弦长处的激励则会恶化总压损失．总之在叶栅端壁施加等离子体激励对端壁二次流有较明显影响,激励位置是影响作用效果的关键因素．     

基于零和微分博弈的航天器相对位置容错控制

针对带有执行器偏置故障和失效故障的航天器相对位置控制系统,本文提出了一种基于零和微分博弈的最优容错控制方法.首先,利用线性二次调节设计反馈控制器以保证无故障时系统的渐近稳定性能;其次,将航天器相对位置容错控制问题转换为零和微分博弈问题,结合Hamilton-Jacobi-Issac (HJI)方程和极小极大原则设计最优控制律;最后,利用自适应动态规划方法设计评判网络对最优性能函数进行估计,构成自适应控制信号,保证了系统稳定性和状态最终一致有界.仿真结果表明了本文设计的容错控制律的有效性.     

温度场与温度梯度场的均匀化

基于模拟退火算法和仿生优化方法,分别以均匀化温度场和均匀化温度梯度场为目标,对二维导热问题进行了数值研究,优化了高导热材料的分布．研究结果表明：这2个优化目标之间存在一定的一致性,而仿生优化方法可以有效的节约计算时间;此外,对2个优化目标而言,高导热材料的填充量和导热系数比都存在阈值,高导热材料的填充量和导热系数比超过阈值后,其增加对均匀化温度场与均匀化温度梯度场的作用不再明显．     

基于干扰动态性建模的MHWN多路径路由协议

作为无线网络实现普适性的有效架构,多跳无线网络（MHWN）逐渐成为一个研究热点．但MHWN固有的媒质开放性、多跳性,干扰威胁也更加严峻．如何实现干扰条件下的可靠组网,成为MHWN研究的棘手课题．传统的方法多是基于干扰存在二元性来实现路由的优化选择,但这忽略了实际无线网络中,干扰往往是动态的．为此,本文提出了一种基于干扰动态性建模并融合多路径的路由算法．协议通过网络干扰动态性检测,利用干扰活跃度值获取遭受干扰最小路径,从而可有效提高网络抗干扰能力并极大降低源重路由次数．文中对协议的实现方法给出了详细的阐述,并基于网络仿真软件NS2对协议进行了较全面仿真比较,结果表明该方法相比已有协议不仅具有更好的路由抗干扰性能,同时在多业务流的冲突碰撞中也有很好路由优化能力．     

通用可组合的匿名HASH认证模型

理想函数是通用可组合安全的核心组成部分，但是目前通用可组合安全框架中定义的认证理想函数通过将身份与消息和签名值绑定的方式来实现对身份的认证，没能充分体现出采用其他形式进行匿名认证的特殊需求．受到Marten的启发，文中利用通用可组合安全定义并实现了一种适用于无线网络的匿名Hash认证理想函数，并在此基础上定义了一个具有普遍意义的Hash证书权威模型．定义了匿名Hash认证机制的安全需求和安全概念，并且证明在标准模型（非随机预言机模型）下所提匿名Hash认证机制的安全属性可以通过安全对称加密机制、安全数据签名机制、伪随机函数以及单向无碰撞Hash函数的组合得到保证．考虑到无线网络的特殊限制，以及移动终端设备的有限计算能力，本理想函数主要采用对称密码原语来实现身份认证．     

加性噪声条件下的UKF算法

UKF算法是广泛应用的非线性滤波方法之一,在加性噪声条件下,根据是否状态扩展和是否重采样有四种实现方式.从算法精度、适应性和计算效率等方面进行了理论分析和仿真计算,证明适当选择滤波器参数,常用采样策略下,状态扩展与非扩展的UT变换结果相同,但后者的计算效率较高;加性测量噪声条件下,扩展与非扩展UKF可获得相同的滤波结果;加性过程噪声条件下,扩展与非扩展UKF仅能获得相同的状态预测结果;重采样不总是构建滤波器的必要环节,但理论分析和仿真计算发现了重采样对滤波器增益的自适应调节能力,指出其在状态偏差或未知机动模式较大时对改善滤波器收敛性和精度有重要贡献.在此基础上,给出了实际应用中的滤波器设计准则:对于加性测量噪声宜采用非扩展方式;对于加性过程噪声,状态偏差或机动较小时宜采用扩展或非扩展的非重采样方式,系统状态偏差或机动较大时宜采用非扩展的重采样方式.性能分析方法和系统设计准则对研究其它的滤波器同样有参考价值.     

基于协作波束形成的中继阻塞混合无线物理层安全传输

针对双向无线协作通信系统的安全传输(信息论安全)问题,提出一种基于多节点协作波束形成的中继与阻塞混合机制来提高物理层信息传输的安全性.其基本思想是:在协作传输阶段,系统中的一部分协作节点进行分布式波束形成来帮助发送方发送信息给合法用户,同时另一部分协作节点发送干扰信号阻塞窃听者的侦听,从而显著改善系统在协作广播阶段的安全性能.基于这一机制,针对窃听者的瞬时信道状态信息已知与否,本文提出两种不同的协作波束形成方法和优化方案,这两种方案在数学上均归结为解决一个或一系列的二阶凸锥规划问题,从而可以通过内点法有效地求解.仿真结果和对比实验验证了在中继节点数目较多时本文提出的混合安全机制和波束形成方法相对于单纯的协作中继机制或单纯的协作阻塞机制而言显著地提高了系统的物理层安全性能.     

视觉感知结合学习的自然图像轮廓检测

本文结合非经典感受野的视觉特性与机器学习的方法,提出了一种自然图像轮廓检测模型.当非经典感受野中的刺激与感受野中心刺激形成一种精确的空间结构时,将对中心产生一种增强效应;另一方面非经典感受野中抑制作用会降低同质成分的响应,我们将这两个机制分别用于增强光滑的轮廓和减少背景中与结构无关的干扰成分.利用逻辑回归概率模型将感受野中的信息与来自非经典感受野中的信息进行有效融合,并根据图像的手工标注数据库,通过学习方法获得一组最优的模型参数.自然图像的实验结果表明该轮廓检测方法能极大地抑制来自纹理的局部边缘,减少虚假轮廓,同时能增强具有一致空间结构的成分,避免轮廓缺失.最后利用Berkeley图像数据库定量地评价了我们方法的性能,并与相关方法进行了比较.该模型不仅为复杂场景中的轮廓检测提供了一个可行的策略,并有助于对生理视觉机制的理解.     

新型配流副液压变压器研究

提出一种新型液压变压器配流副结构以扩展其输出压力,建立了恒压网络实验系统以测试液压变压器的性能．通过仿真和实验研究来探讨液压变压器的输出压力、排量特性及速度稳定性．研究结果表明：所设计的液压变压器能够实现压力调节功能,输出压力由配流盘控制角度决定同时受负载的影响,负载压力与油源压力之比的变化范围大致为0-1.2.液压变压器是一个变排量液压元件,排量由配流盘的控制角度决定,而不受负载的影响．液压变压器的速度稳定性随着配流盘控制角度的增加而提高,当配流盘控制角度小于15°时,液压变压器存在运动死区．液压变压器的高瞬时驱动扭矩波动是其速度稳定性差的主要原因．研究结果将有助于进一步提高液压变压器的性能．     

具有差分服务支持能力的增强型IEEE802．11多址接入协议的建模与分析

随着无线接入技术的快速发展,要求无线局域网具备差分服务的支持能力．然而目前的无线局域网标准,如IEEE802．11分布式协调功能（DCF）,缺乏对多业务的支持能力．人们正在制定出具有差分服务支持能力的增强型多址接入协议．文中集中研究了3种具有差分服务支持能力的多址接入机制,即为不同业务类型分配不同的“最小竞争窗尺寸”、不同的帧间间隔（IFS）以及不同的分组有效负荷,提出了可以计算出系统通过率以及分组延迟的分析模型,给出了近似分析结果,通过与离散事件仿真进行对比表明,使用所提出的分析模型可以得到较好的性能估计。     

非正弦供电多相感应电机稳态性能分析

性能分析是电机优化设计的基础,由于非正弦供电多相感应电机稳态性能分析计算远比传统三相感应电机复杂,进行相关研究则具有理论意义与实用价值.在3次谐波注入的非正弦供电多相感应电机中,以基波等值电路与3次谐波等值电路为计算工具,考虑气隙磁场的非对称分布性并用拓展分布磁路法计算基波与3次谐波感应电动势,通过3层迭代计算出给定稳态运行工况下的基波与3次谐波电流等变量进而得到电机的性能指标,分析中强调了对节点气隙磁密的内层迭代过程与对激磁电流的中间层迭代过程不同于传统三相感应电机相应迭代过程的特点.以非正弦供电十五相感应电机原理样机为例,分析了不同稳态工况下的运行性能,计算结果与实验结果相互吻合说明了分析计算方法具有高的准确度.     

新型三元催化器设计及其压力损失数值分析与试验

在传统三元催化器的基础上,设计了一种新型三元催化器,提高了气流均匀性,降低了系统流阻,提升了系统性能。建立了新型三元催化器数值计算模型,并考察了不同的扩张角、收缩角和来流速度对催化器流动特性的影响。此外,还搭建了三元催化器压力损失测试试验台,验证了数值模拟得出的催化器压力损失随流量的变化趋势与试验测试变化趋势的一致性。试验结果表明,新型三元催化器中的导流板和旁通孔可以减小压力损失,且在设计三元催化器需要考虑压力损失的影响时,FLUENT数值模拟仿真计算可以提供一定的帮助。