文中在B.Zhou提出的直接概率计算(DC)和近似概率计算(AC)算法基础上提出了一种新的近似多传感器多目标联合概率数据关联算法。近似概率法是以一个目标为中心的近似聚为构造互联事件的起点，并在计算中将DC和AC结合得到的一种全邻的点迹-航迹关联算法。它能有效地提高目标点迹-航迹的关联正确率，在计算时耗上较完全联合概率法快得多，能满足工程中实时性的要求，将其在杂波下目标密集、航迹复杂的数据融合系统中进行实验，对关联正确率，关联耗时等与最近邻法进行了比较，效果较好。

针对传统时序逻辑LTL，CTL及CTL*等把协议看成封闭系统进行分析的缺点，Kremer博士(2003)提出用一种基于博弈的ATL(Alternating-time Temporal Logic)方法分析公平电子商务协议并对几个典型的协议进行了公平性等方面的形式化分析。本文讨论了ATL逻辑及其在电子商务协议形式化分析中的应用，进一步扩展了Kremer博士的方法，使之在考虑公平性等特性的同时能够分析协议的安全性。最后本文用新方法对Zhou等人(1999)提出的 ZDB协议进行了严格的形式化分析，结果发现该协议在非保密通道下存在两个可能的攻击：保密信息泄露和重放攻击。

低频振动对于精密仪器有着不容忽视的危害，通过弹簧的特殊排列可以实现近零刚度的非线性力学特性，不仅能够显著提高低频隔振效果，而且对于高频率的振动也有一定的隔离效果。然而，基于准零刚度的纯被动系统在动态响应上存在局限性，对振幅的依赖较大。因此，该文提出一种压电作动器的准零刚度混合主被动隔振系统，通过主动控制调节，从而增强混合系统整体的动态性能。首先，搭建基于压电作动器的准零刚度混合系统，由线性弹簧组成的准零刚度装置作为被动隔振装置，压电作动器作为主动隔振装置；其次，提出了一种改进的Bouc-Wen(B-W)模型，通过逆模型对其迟滞非线性进行补偿，对隔振对象施加精准的主动控制；最后，建立系统的动力学方程，对外界振动采用带Luenberger的滑模观测器的自适应滑模控制，提高系统的隔振性能。通过隔振控制实验验证，相比于单一被动隔振装置隔振效果提高35%左右。