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

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

层裂问题的数值研究

本文对Carrol、Holt 和Johnson提出的延性材料损伤断裂进行了改进。在模型中考虑了材料的硬化效应和空穴成核的影响。用数值方法模拟了高速碰撞中OFCH 铜和铝的层裂过程,其结果与实验吻合得相当好。     

中尺度数值天气预报模式MM5分布式并行计算

中尺度数值预报模式是进行中尺度天气预报的有效手段。中尺度模式MM5是国际上应用最广泛的中尺度预报模式之一。数值天气预报的巨大计算量和实效性要求必须通过高性能分布式并行计算来实现。分析了MM5串行算法的特点,研究了其并行算法的实现,讨论了算法的一些改进,给出了MM5模式在分布式并行巨型计算机上的测试结果。     

基于优化神经网络的雷达波束分配方法研究

在多目标的跟踪过程中,自适应地分配雷达波束能够进一步提升雷达的工作效率.为了合理调度雷达波束跟踪目标,根据目标运动状态参数,建立了目标威胁度评估模型.该模型根据目标运动状态,包含类型、速度、加速度、航向角、高度、距离和干扰程度等;然后基于混合遗传粒子群优化算法改进了BP神经网络,分别采用运动状态信息和目标威胁度作为神经...     

存在自干扰码时的短周期伪码截获技术

针对伪码截获这一无线电侦察和导航战中的难题,从模式识别的角度研究存在自干扰码时的伪码截获问题。通过对干扰码的载波频率、相位等参数的估计和补偿,将自干扰码下的伪码截获问题转换为模式识别问题。结合伪码的周期性,采用二进制积累的方法大大降低了判决前所要求的信噪比,使得对扩频信号直接解调以截获伪码成为可能,改变了过去依靠大口径天线提高信噪比的方法。     

大误差条件下尾流自导鱼雷齐射间隔问题

当目标运动要素误差较大时,可组织尾流自导鱼雷双雷齐射.阐述了尾流自导鱼雷平行航向齐射组织方法及数学模型.在一定条件下,仿真分析了目标速度、目标航向和目标距离存在大误差时,至少1条鱼雷捕获目标尾流概率随鱼雷间隔的变化规律,最后根据仿真结果给出了鱼雷间隔设置建议.     

对辐射源信号到达角的自适应跟踪估计

为提高信号到达角(AOA)的测量精度,采用修正的窗函数加权平均算法和基于机动加速度的非零均值时间相关模型的自适应卡尔曼滤波算法,将信号到达角的变化轨迹看作是一种做加速度机动的运动,实现对连续变化信号到达角的参数估计.计算机仿真验证了算法的有效性和可行性,证明该方法有一定的应用价值.     

小型无人机航位推算定位算法研究与误差分析

对空中航位推算(DR)算法做了深入研究,提出了适用于小型无人机(UAV)的风速估计策略;将算法中各元素的误差对推算定位精度的影响进行了理论分析与数值计算;该研究结果应用于某小型UAV的航位推算/GPS组合导航系统的设计与实现中;飞行试验表明,通过提高对DR误差影响较大的元素的测量精度和风速的估计精度,有效提高了DR推算精度,与以往其他小型UAVs相比,在断开GPS对DR的修正后,DR精度保持在一定范围的持续时间显著延长.     

作战飞机信息通信方法

通过对作战飞机信息通信方法的研究,指出了作战飞机进行信息通信的两种方法-语音通信和数码通信;并分析了数码通信的硬件结构和机载通信的硬件设备的工作原理.探讨了未来的网络中心战中基于网络化数码通信的方法,为未来空战基于网络中心战技术的实际应用奠定基础.     

基于ISM的武器装备效能评价体系的构建方法

将系统工程中解释结构模型法引入到武器装备效能评价体系的构建过程中,在可拓空间确定武器效能影响因素逻辑关系的基础上,求解系统可达矩阵,建立结构模型,构建多层递阶的效能评价指标体系;应用该ISM,分析了评价体系的内部层次结构及主次因素,掌握系统评价的神经支撑结构;并以机动性指标为例,确定了单指标的因素支撑影响图。系统效能ISM的建立,可为确定提高武器效能的突破点、研发(R&D)控制的立足点等方面进行系统解释,为科学建立评价体系、判定内部结构提供理论基础。