基于D-S理论的分布交互式多传感器联合概率数据互联算法

为了解决杂波环境下利用分布式多传感器系统跟踪多机动目标的问题，提出了一种分布交互式多传感器联合概率数据互联算法,该算法对每个传感器应用交互式联合概率数据互联法滤波，并将模型概率、状态估计等滤波结果送至融合中心．融合中心首先对各目标进行航迹相关判别并应用D-S证据理论对不同传感器关于同一目标的各模型概率进行融合，然后依此模型概率计算各目标状态估计并反馈至各传感器．最后给出了该算法的分析，仿真结果表明本算法能够很好地解决杂波环境下多传感器多机动目标的跟踪问题．     

差分空时块对角码

提出一种用于多入多出无线通信系统的新型差分空时编码——差分空时块对角码．利用这种编码所具有的块对角结构，能够设计出多种高性能差分空时块对角码，尤其适用于发射天线较多、传输速率较高的情况．在平坦衰落信道下，当传输速率高于1bps／Hz时，差分空时块对角码的性能优于传统的差分空时码，而且发射天线越多优势越明显；在频率选择性衰落信道下，采用此编码的多入多出正交频分复用系统能够同时获得很高的空间、时间和频率分集增益．由于具有特殊的正交结构，差分空时块对角码还具有简单的译码算法．另外，采用此编码还可以大幅度降低射频电路成本．     

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

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

一种有符号余数系统2~n缩放方法及VLSI实现

数值缩放的高效VLSI实现是余数系统(RNS)应用于数字信号处理(DSP)系统中的关键问题之一.文中首先提出了有符号余数系统数值缩放通用算法,明确给出了在负数情况时修正常量的计算方法.在此基础上给出了一种有符号余数系统2n缩放的高效实现方法,该方法利用中国剩余定理和一个较小的冗余基实现基扩展以获取RNS整数的低n比特信息,并借助所引入的冗余基用奇偶检测完成RNS整数的符号检测,同时还提出了冗余基更新方法及负数情况下冗余通道修正常量计算方法.分析结果表明所提出的RNS数值缩放方法的复杂度仅同RNS的动态范围位宽呈线性关系,并避免了使用查找表(LUT).最后,完成了此方法和基于串行方式的2n缩放算法的VLSI实现,在相同约束条件下该方法的面积和功耗均减小了35%左右,而关键路径延时则减小了12%左右,VLSI版图也表明了该方法具有更简单的芯片内联结构.     

科学发现的逻辑验证

R演算是一个关于逻辑连接词符号和量词符号的演算系统．它是一个根据事实反驳对科学理论进行修正的符号演算系统．文中以狭义相对论和生物进化论为例，使用R演算，对这两个科学理论的发现过程，在数理逻辑层面进行了验证．验证的结果表明：对Einstein时代的物理学而言，狭义相对论是唯一而且正确的选择．对Darwin时代的生物学而言，在接受自然选择原理等前提下，R演算可以推导出3种不同的，但逻辑上合理的进化论方案．Darwin提出的进化论是其中一种．有趣的是三者中的另一种，现在看来它具有一定的包容性．     

OFDM电力线载波通信系统的AGC实现

针对电力线载波通信信道衰减比较严重，具有时变性，在突发通信模式卞的正交频分复用（OFDM）系统中信号发送不连续的问题，提出一种适用于基于OFDM技术的电力线载波通信系统使用的自动增益控钠（AGC）方案。本方案先进行同步检测，再进行AGC控制，利用前导序列一个符号的能量大小进行增益系数的控制。将本方案应用于G3电力线载波协议（G3-PLC）系统中，并在FPGA上进行实现。仿真和实现效果表明，本文提出的方案结构简单，收敛速度快，遣行可靠。     

月球轨道器交会对接同波束VLBI测量差分相时延实时解算

同波束VLBI技术是解决月球轨道交会对接地面高精度引导的重要手段．传统的多频点同波束VLBI实时解算算法成功解算差分相位整周模糊度的概率较低,而事后统计修正求解整周模糊度的算法存在较大的时间滞后,从而直接影响月球轨道交会对接两个航天器地面定轨、定位的精度以及实时性．在此背景下,本文研究了应用于月球交会对接条件下的同波束VLBI差分相时延实时解算算法．首先给出了多频点同波束VLBI解算差分相时延及整周模糊度的原理,根据差分相关相位整周模糊和差分相时延实时及事后解算结果,对整周模糊度产生的原因进行分析通过求解精确差分群时延值、采用匹配搜索算法以及差分相位连接条件对传统实时解算算法进行改进,提出一种新的差分相时延实时解算算法．利用SELENE同波束VLBI观测数据进行实时解算．结果表明该算法成功解算模糊度的准确度达到95．49％,相对于传统解算算法准确度提高了5．45％．     

基于多活性代理的分布式入侵检测系统构建分析研究

针对应用了移动代理技术的分布式入侵检测系统在代理安全性和稳定性方面所存在的问题,本文在基于多活性代理复杂信息系统研究方法的指导下,提出了一种新的分布式入侵检测系统结构,即基于多活性代理的分布式入侵检测系统(DIDS-MLA).该系统将传统分布式入侵检测系统的两层结构扩展为三层结构,通过增加的一层结构对系统中各个检测代理活性状态值进行监测,使系统能够在多活性代理协商协调机理的指导下,根据代理活性状态值的变化来调整各代理的工作,从而达到保护系统中代理安全性以及维护系统检测稳定性的目的.在之前的研究工作中,我们仅仅对活性代理进行了定性分析,本文中则进一步提出了一种在分布式入侵检测环境下定量分析代理活性的方法,并在此基础上给出了系统中活性代理的实现思路.最后通过对系统工作流程以及对分布式拒绝服务攻击的检测效果进行分析之后,我们可以看出,本文所设计的DIDS-MLA系统在安全性和稳定性方面比传统分布式入侵检测系统(DIDS)以及基于移动代理的DIDS系统有明显改善,能够在强对抗环境下保证系统检测工作的正常运行.     

改进的三维全矢量有限差分虚位移束传播法

提出了一种改进的三维全矢量有限差分虚位移束传播法，用以分析光波导承载的全矢量本征模．在纵向（z向）离散上，第一个子步采用半矢量公式，而第二个子步采用全矢量公式，但交叉项双倍计算．每个横向电场分量在两个子步中的次序交换，交叉项用隐式形式表示，计算效率高且稳定．在横向x和y向）离散上，基于多项式插值法，建立了一种统一的差分格式，考虑了电场法向分量在芯包分界处的不连续性，可应用于均匀和非均匀网格，差分系数引入了更多邻近节点的折射率分布，且交叉项采用六点差分格式，计算精度高，程序通用性强．首先分析了高折射率分布差的矩形、GaAs／GaAlAs双异质结脊形光波导，给出了全矢量基模及次高阶模（矩形波导）的电场分布及其归一化传播常数，揭示了全矢量本征模的混合特性，验证了该方法的有效性．接着分析了InP基InGaAsP／hGaAsP应变多量子阱脊形光波导，考虑了深刻蚀和浅刻蚀两种情形，讨论了其全矢量基模的模式特性，为设计以此为基础的光子集成回路奠定基础．     

基于Bayes线性估计的遥感图像融合

将Bayes线性估计应用于不同分辨率遥感图像的观测模型中，提出了一种新的基于统计参数估计的遥感图像融合方法．该方法对于金色波段图像和待估计的多光谱图像的联合分布不做任何假设，只需要估计高分辨率多光谱图像的均值和协方差以提高算法的鲁棒性．另外，文中的方法能够提高多光谱图像的多个主成分的分辨率，而传统的主成分变换方法只限于提高第一主成分的分辨率．实际的Landsat ETM＋的全色波段图像和多光谱图像的融合实验结果表明，所提议方法的性能优于其他基于统计参数估计的方法和基于主成分变换的融合方法以及基于小波变换的融合方法．     

BLAST结构ML检测简化方法分析

MIMO无线通信系统中,BLAST结构ML检测性能优于其他检测方法,但这是以增加检测复杂度为代价的．文中提出一种ML的简化算法——RML算法,该算法使用ML和ZF联合检测,理论分析及仿真均表明,在检测性能相同的情况下,RML复杂度比ML的复杂度要低很多．     

不可能差分分析高级加密标准

不可能差分是通过寻找不可能出现的差分关系，排除满足这种关系的密钥，并最终恢复出秘密密钥的一种攻击方法．研究了高级加密标准（AES）的不可能差分分析，利用AES-192和AES-256的密钥编排方案，结合时间-存储权衡攻击，提出了不可能差分密码分析7轮AES-192和8轮AES-256的方法．新方法分析7轮AES-192需要2^94.5选择明文，记忆存储空间为2^129分组，以及约2^157的7轮AES-192加密．新方法分析8轮AES-256需要2^101选择明文，记忆存储空间为2^201分组，以及约2^228的8轮AES-256加密．     

高中频CPM数字接收机设计

本文给出了一种适用于软件无线电的突发模式非相干二进制CPM接收机。该接收机采用前馈结构,利用FFT算法对前导进行捕获和分析,可以快速实现载波频偏和符号定时误差的联合估计,采用多符号检测算法来对CPM信号实现解调。通过仿真和对硬件的需求分析验证了本接收机可以有效检测信号的到来,快速实现载波和符号的联合同步,且比传统接收机具有更低的误码率。相对较低的硬件复杂度也使得接收机容易在FPGA上实现。     

高速工况智能车辆转向系统混杂控制研究

通过分析高速工况下交通事故的主要类型及驾驶员的3种基本驾驶行为,可知该工况下转向系统既有离散状态又有连续状态的特性,进而提出基于混杂系统理论的智能车辆转向系统多模式切换控制策略,并利用跨道时间和安全距离作为切换规律.以线控转向系统为执行机构,分别设计阻尼模式、保持模式和换道模式控制器.其中保持模式引入了一种控制预瞄点处侧向偏差的一阶导数和二阶导数的方法,不但有效地防止了超调,而且减少了车辆回到车道中心线的时间;换道模式利用模型预测控制算法,加入多个约束,提高了车辆换道过程的稳定性.从混杂系统稳定性的角度出发,设计了简单有效的稳定性监督器,防止车辆失稳.最后,在Car Sim/Simulink联合仿真平台及Car Sim/Lab VIEW硬件在环测试平台上验证了本方法的有效性和切换过程的稳定性.     

基于中间件的软件系统特征交互问题在线检测与消除

作为主流的Intemet软件系统运行支撑平台，中间件必须支持越来越丰富的交互模式．交互的多样和复杂以及Intemet开放、动态、多变等特点导致非预期交互产生的几率逐渐增加．这些非预期的交互可能导致服务降级，功能损失，甚至系统崩溃等严重后果．文中从电信领域特征交互问题的角度研究Intemet软件中的非预期交互问题，并提出了一个基于中间件的在线检测与消除方法．首先，对中间件使能的系统交互进行分类，与电信系统进行多角度的比较，并分析了4个实例，从而论证了Intemet软件特征交互问题的存在并考察其与电信系统特征交互问题的异同．随后，提出了以运行时软件体系结构为核心的在线检测和消除方法．该方法在J2EE环境中得以实现并成功解决了4个实例．     

MIMO-OFDM系统中基于变分Bayes EM算法的联合符号检测与鲁棒Kalman信道跟踪

基于变分Bayes期望最大化VBEM(variational Bsayes expectation maximization)算法和Turbo原理,提出了快时变信道条件下MIMO-OFDM系统中的联合符号检测与信道估计算法.在VBEM框架下,信号检测和信道估计分别由修正的列表球形译码算法和软输入Kalman算法完成,检测器和估计器分别考虑了信道和检测信号的估计误差协方差矩阵.当信道时变剧烈时,存在较大检测误差的数据在软输入Kalman算法中引入异常值(outliers),由于Kalman算法对于异常值的敏感性,系统会在错误传播的影响下出现误码平台.为削弱异常值的影响,利用鲁棒统计理论设计了VBEM框架下改进的鲁棒软输入Kalman算法,该算法能在出现异常值的条件下保持较好的信道跟踪能力.仿真结果表明:在快速时变多径信道条件下,文中设计的鲁棒VBEM算法优于传统的VBEM算法和EM算法.     

基于约束构造算法的密码协议安全性分析

基于形式化方法开发自动分析工具是密码协议安全性分析的一种有效的方法，然而，由于密码协议参与主体的任意性、消息运算复杂性和运行的并发性，密码协议的安全性分析是高度计算复杂性的难题。基于最近提出的密码协议代数（CPA）模型，采用代数方法描述密码协议活动，精简密码协议描述，提出一个高效的密码协议安全性自动分析算法。该算法通过泛多项式方程求解技术，减少密码协议安全性分析过程中产生的冗余状态数量，并可提供在无限状态空间运行的协议安全性分析。根据该算法，实现了一个密码协议自动分析系统ACT-SPA，应用该系统分析了二十多个密码协议，结果显示系统显著提高了运行效率，并发现了新的密码协议攻击。     

双星座空时调制

在下一代移动通信中，天线数和移动速度的增加都将导致实时信道估计难以实现．因而能避免信道估计的差分空时调制(DSTM)与酉空时调制(USTM)成为近两年通信领域的研究热点之一．提出一种提高频带利用率的调制信号设计的新思路，并从理论上导出一种新的调制方式一双星座空时调制(DCSTM)．DCSTM将USTM和DSTM有机地融合，融合后的调制可由查码表完成，复杂度低．作为DSTM和USTM的推广形式，DCSTM保持了USTM的传输可靠性和调制信号可被非相干解调的优点，并在频带利用率，调制解调复杂度，适用范围，对多速率信号的适应性等若干方面有明显提高．仿真结果证明理论分析和给出的设计是有效的．     

基于Solidworks／Matlab的液压伺服扭转试验机系统联合建模与仿真

针对液压伺服扭转试验机系统，提出一种基于Solidworks／Matlab的系统联合建模与仿真方法，通过机构的实体造型建立机构模型并进行仿真。该建模方法具有较高的准确性与便捷性。分别在位置闭环与力闭环控制器的作用下，对系统的响应性能进行仿真分析，验证了液压伺服扭转试验机系统的可行性，为液压扭转试验机系统的设计提供理论依据。     

联合连通有向切换拓扑条件下无人机集群鲁棒编队控制

针对联合连通有向切换拓扑网络条件下存在外界扰动的无人机集群鲁棒时变编队与轨迹跟踪控制问题进行了研究.首先,依据无人机真实飞行状态信息、期望队形信息与需要跟踪的轨迹信息之间的误差,以及联合连通通信拓扑网络条件下能够相互通信无人机期望飞行状态与实际飞行状态之间误差信息设计出了无人机集群系统的编队控制方法.然后通过一类特殊的矩阵分解将集群系统时变编队与轨迹跟踪控制问题转换成联合连通快速时间平均系统的渐近稳定控制问题,进一步提出了系统渐近稳定的充分条件,并通过建立的分段连续Lyapunov泛函进行了证明.最后仿真结果验证了本文所提方法能够实现联合连通有向切换拓扑网络条件下无人机集群的时变编队与轨迹跟踪控制飞行.