对匀速直线运动目标跟踪的转换坐标卡尔曼滤波算法

文章根据某型雷达对空间匀速直线运动目标的跟踪要求，采用了转换坐标卡尔曼滤波跟踪算法．在转换坐标卡尔曼滤波跟踪算法中，球坐标系下互相独立的观测噪声变换到直角坐标系下时将变成相关噪声，在解出此相关噪声的方差后即可按标准的卡尔曼滤波算法对目标进行跟踪，仿真结果显示，该算法收敛迅速，精度可以满足雷达对空间机动目标的跟踪要求．     

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

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

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

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

基于构件的外部程序管理器的设计与实现

EPM(External Program Manager)通过封装复杂的程序逻辑，实现了一个界面简洁的构件化系统，它可以方便地集成到应用程序中，从而简化了应用程序调用其它程序的复杂性．文章主要介绍EPM的系统结构与实现方法．     

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

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

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

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

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

研究了超声对电解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中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．