多传感器数据融合算法综述

数据融合就是利用多传感器的协合效应来提高系统效率,它是现代Ｃ３Ｉ作战系统的关键技术之一．阐述了多传感器数据融合的特点、分布检测、空间、属性融合、态势评估和威胁估计算法,并同时介绍一些关键课题．     

有源噪声控制的新近进展（Ⅱ）

从一般封闭空间、混响声场的有源控制及控制器结构与算法三个方面对有源噪声控制进行了评述,并对今后的研究趋势提出了展望。     

直流TIG焊接电弧的数值分析

以直流钨极氢弧焊电弧为研究对象,考虑阴极几何形状,建立了轴对称电弧数值计算模型,在电流密度计算中包括了阴极区和弧柱区。采用ＳＩＭＰＬＥ算法求解磁流体动力学方程组。所得电弧弧柱温度分布与实验结果相吻合;电弧速度分布、电磁力分布、电流密度分布、压力分布等电弧参量的计算结果能较全面地反映电弧内部的作用机制。     

三分量磁传感器非理想放置时磁场数据的分析方法

用欧拉角和矩阵变换方法导出了三分量磁传感器坐标系ｏ—ｘｙｚ与地磁坐标系Ｏ－ＸＹＺ有任意旋转关系时的磁场转换公式。用此公式分析了消磁系统中电子型消磁电流调整器的三分量磁传感器非理想放置时,对舰船消磁系统控制信号的影响,认为该影响在抗干扰调整过程中应引起足够的重视。     

舰船后传动装置的分析及其发展概况

介绍了后传动装置的主要元件及目前舰船典型的传动方式,在此基础上简述了今后的发展动态。     

灼热桥丝式电火工品静电发火数理模型

根据灼热桥丝式电火工品的电热起爆机理,在桥丝药剂系统的物理传热过程中忽略桥丝药剂接触面的热阻和热容等假设条件下,建立其静电发火的理想数理模型。针对此模型方程提出了一种数值解法,并对解的结果进行了讨论。     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

快速的平行码临界路径跟踪故障模拟

针对平行码临界路径跟踪故障模拟中最费时间的扇出源故障模拟,提出了若干加速技术。通过对电路结构进行的独立扇出分支、扇出源分类及扇出源的最终汇聚门等静态分析,结合对停止线及停止扇出源、测试码标记向量以及扇出源临界性确定前的预处理等动态计算,使得扇出源故障模拟区域及需要故障模拟的扇出源数目大大减少,极大地缩短了整个故障模拟时间。实验结果表明,平行码临界路径跟踪故障模拟算法,对少量和大批的随机码都非常有效,并且随着电路规模增加,其有效性更加明显。     

时序逻辑的并行描述与隐含遍历

随着电路规模的迅速增长,设计验证越来越复杂,从而需要高速的数据处理系统。基于总线型多机系统环境,研究电路网表和布尔表达式的BDD（Binary Decision Diagram）并行构造方法,并通过隐含遍历任务的动态调度设计有效地完成时序逻辑的状态遍历。     

复自治微分系统(E)的奇点量计算公式

文献[1]对(E)引入奇点量和 Lie 不变量概念,实现了实自治微分系统焦点量和鞍点量概念的统一,并得到奇点量的结构定理。文献[1]还对三次系统(E_3)找到了全部120个基本 Lie 不变量并具体计算了二次系统(E_2)和缺二次项的三次系统(E_3~((3)))的奇点量。文献[2]还计算了一类特殊三次系统(4)的奇点量。但是,对于计算(E_3)的奇点量的工作,仍有很大困难,甚至前几个奇点量也得不到,况且对(E)找到全部基本Lie 不变量亦非常困难。本文利用规范形理论讨论(E)的奇点量的计算问题,得到了计算公式。该公式对一些特殊系统可直接得到前几个奇点量。作为公式的应用及验证,我们给出(E_3)的前两个奇点量,至于 M(3)=?的问题将另文讨论。