激光模拟器的模匹配

本文根据椭圆高斯模的传输和变换理论,分析了椭圆高斯模的模式变换,讨论了模式匹配的计算,并列举了两种椭圆高斯模的计算实例。     

基于SAT的电路错误定位方法研究进展

随着VLSI芯片复杂度不断增加,功能验证与调试已占到整个芯片设计周期的60%以上。而错误的定位往往消耗大量的时间与精力,因此迫切需要一种高效的方法诊断与定位电路中的错误。针对近年来出现的许多电路错误定位方法,介绍了电路错误诊断方法的分类与工作流程,深入分析了基于SAT的错误定位方法的基本原理;对各种算法进行了概述评论,并简要介绍了在不可满足子式求解方面所做的一些研究工作,而不可满足子式能够显著提高错误定位效率与精度;讨论了电路错误定位技术所面临的主要挑战,并对今后的研究方向进行了展望。     

心系国防创业绩

在美丽的“草原钢城”包头,有一位被人们称作为“心系国防”的好书记。她就是内蒙古自治区包头市昆都仑区区委书记兼区人武部第一书记红洁。     

LDPC带选主元三角分解编码性能

分析LDPC码的特点和优势。阐述LDPC码的编码原理和基于生成矩阵、基于三角分解两种主要编码方法。指出三角分解编码方法受到矩阵分解限制:矩阵要求满秩,矩阵所有的顺序主子式非零。分析带选主元三角分解法的编码方法。使用C语言编译环境和X86计算机,对LDPC基于生成矩阵的编码系统和带选主元三角分解法的编码系统进行计算,得到P4(R)3.2 GHz、内存512 M硬件环境下的编码效率。     

弹上信息处理器闭环模飞系统的研制

弹上信息处理器是导弹电子系统的关键部件,为满足弹上信息处理器研制过程中的闭环实时模飞需求,基于Vxworks实时操作系统技术,实现了基于PCI总线仪器的实时闭环模飞系统.为有效地提高仪器的集成度,仪器模块采用FPGA作为主控制器,基于可编程片上系统(SOPC)技术,实现了带有DMA控制器的PCI接口、HDLC串行通讯协议以及对输入输出开关量的控制.应用结果表明:该设计实现了高效灵活的闭环实时模飞系统,能满足弹上信息处理器不同研制阶段的测试需求,便于更新和扩展.     

基于深度优先搜索与增量式求解的极小一阶不可满足子式提取算法

随着寄存器传输级甚至行为级的硬件描述语言应用越来越广泛,基于一阶逻辑的可满足性模理论(Satisfiability Modulo Theories,SMT)逐渐替代布尔可满足性(Boolean Satisfiability,SAT),在VLSI形式化验证领域具有更加重要的应用价值。而极小不可满足子式能够帮助EDA工具迅速定位硬件中的逻辑错误。针对极小SMT不可满足子式的求解问题,采用深度优先搜索与增量式求解策略,提出了深度优先搜索的极小SMT不可满足子式求解算法。与目前最优的宽度优先搜索算法对比实验表明:该算法能够有效地求解极小不可满足子式,随着公式的规模逐渐增大时,深度优先搜索算法优于宽度优先搜索算法。     

河北省怀安县人武部帮助军属讨回公道 千里之外寄来感谢信

"尊敬的部长、政委,你们好!2个多月来,你们费尽心思依法帮我解决了纠纷问题,衷心感谢你们为我讨回了公道……"近日,重庆市成口县岚天乡三河村村民李合荣给河北省怀安县人武部政委写了一封信,表达了自己对人武部的浓浓谢意。     

距离选通激光成像水体后向散射光能量分布计算

针对在水下距离未知的目标搜索过程中,距离选通成像系统接收到的大部分是水体后向散射光的现象,分析了在给定开门时刻和选通门宽参数条件下,ICCD能够接收到后向散射光的水体范围;给出了ICCD接收到该范围内水体后向散射光能量以及该能量在ICCD像面上分布的计算方法.仿真和实验结果验证了该计算方法的可行性.     

磁耦合共振引信装定信息的双向传输技术

针对目前电磁感应装定方式有效传输距离近、传输效率低等问题,基于电磁耦合谐振理论,提出了一种三线圈磁耦合共振装定信息传输系统,实现装定器和引信之间信息的快速、高效传输。利用互感耦合模型,分析得出了整个系统的接收电压比率与线圈谐振频率、耦合系数之间的关系,并根据该特点分析了基于频率调制的信息传输技术。实验结果表明,磁耦合共振装定系统可实现稳定、可靠的信息传递,性能可以满足大多数引信的设计要求,这种新颖的装定系统信息传输的实现,可为新一代武器系统的信息交联设计提供一定的理论支持。