基于多因素模糊综合决策的AIS与雷达航迹关联算法与仿真

探讨采用多因素模糊综合决算进行AIS与雷达目标航迹关联的方法。研究了模糊因素集、评价集、单因素模糊评价矩阵、多因素模糊综合决策准则，以及航迹关联与脱离质量等算法。通过不同目标情况下的计算机仿真，验证了该方法的正确性与有效性。同时讨论了关联门限值等问题。     

灰色系统与时序组合模型在高层建筑沉降预测中的应用

将高层建筑沉降监测数据视为具有确定性趋势的非平稳时间序列，运用灰色GM(1，1)模型提取其中的趋势项，用AR(n)模型表示随机残差项，利用灰色-时序组合模型进行沉降预测．算例结果表明，该组合模型具有较高的预测精度，是一种简单、实用的高层建筑沉降预测方法．     

一种改进的旋转矢量姿态算法

应用陀螺当前迭代周期内及前2个迭代周期内的角增量输出，并根据在当前迭代周期内对陀螺仪采样的次数，提出了3个新的航姿算法，分析了此算法在典型圆锥运动输入下的漂移误差．与传统的旋转矢量法比较，新的算法比Miller’s算法精度高3—4个数量级；对于单子样，新算法比Y．F．Jiang算法精度高约3个数量级，对于双子样、三子样，新算法比Y．F．Jiang算法精度高20—30倍，为改进旋转矢量算法提供了一种新的思路．     

关于虚拟现实技术及其应用的研究

介绍了虚拟现实技术，接着讨论了虚拟现实技术的研究现状及其应用，最后分析了虚拟现实环境下产品设计和制造的方法。     

TD—SCDMA系统定位算法研究与仿真

为了克服NLOS信号对移动无线电定位的影响，对TD－SCDMA系统中联合DOA与TOA实现移动终端定位的方案进行了研究，基于NLOS信号识别的算法有效地解决了NLOS信号对实施定位的影响，提出了一种对多基站时间加权定位算法，通过仿真实验证明了所采用算法的可行性，在NLOS情况下也可满足FCC对E－911业务的要求。     

基于Fourier变换非一致间距阵列的一种合成法

基于阵列图及其分布间的Fourier关系，作者提出了非一致间距阵列的一种合成方法。在Fourier关系下，通过抽样一个给定的阵列图，就能使用FFT(快速Fourier变换)得到其近似连续的阵列分布。为提高改善阵列图的性能，提出一个算式用于决定非一致间距阵列的空间间隔，从而在合成的阵列中保持更多的能量。该方法简单且易于应用。     

超声对电解水阳极放氢过程的影响

研究了超声对电解KOH水溶液中阳极放氧过程的影响。分别测定了不同温度下有超声和无超声作用时电解KOH水溶液的阳极稳态极化曲线。探讨了恒电位操作条件下超声对阳极放氧过程的电流密度、电流效率及放氧量的影响。结果表明：超声可以强化电解水过程的阳极放氧，在25℃、电极电位为0．6V(vsSCE)时，有超声作用时的电流密度是无超声作用时的1．5倍。     

非线性尘埃声波在含有2种不同温度离子的尘埃等离子体中的稳定性问题

在无磁场的尘埃等离子体中 ,由冷的尘埃颗粒和热的电子和离子组成的尘埃等离子体 ,对于有限的小振幅的非线性波的运动可以用KdV方程描述 .对由 2种不同温度离子的尘埃等离子体中的弱二维尘埃声波 ,得到了它所满足的KP方程 .并且发现 ,在横向扰动下 ,弱的非线性孤立波在尘埃等离子体中是稳定的 .在这个系统中既存在压缩孤立波又存在稀疏孤立波     

H2在金属钾修饰碳纳米管上的吸附与储存

利用高压容积法、辅以卸压升温脱附排水法,测定金属钾修饰多壁碳纳米管(K~0-MWCNTs)对H_2的吸附储存容量。结果表明,在室温(～25℃)、～7.25MPa实验条件下其对氢的吸附储存容量可达3.80％(质量百分数);室温下卸至常压的脱附氢量为3.36％(占总吸附氢量的～89％),后续升温(升至673K)的脱附氢量为0.41％(占总吸附氢量的～11％)。     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．