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

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

一种通信原理综合实验系统的研制

本文介绍了由MCS—51单片微型计算机控制的通信原理综合实验系统。着重叙述实验系统的设计思想,电路组成及各部分的主要功能。对该系统主程序流程图也作了简要介绍。本系统可做通信原理验证性实验20项。为工科院校电子与通信类专业基础实验提供了一种综合实验系统。     

军用卫星通信抗干扰综述

当前国际形势总体上继续趋向缓和,全球性世界大战难以发生,和平与发展是世界的主旋律,但各种因素引起的局部冲突时起时伏;同时高科技迅猛发展,先进的信息技术引进军事领域。这些格局和态势,对今后的军用卫星通信系统产生了深刻的影响、本文从这一背景出发,综述了国外新一代军用卫星通信系统概念,系统资用的抗干扰技术及有关措施。这些技术和措施包括卫星轨道和频率的选择、多波束调零天线、星上处理、波型设计、自适应及其他新的抗干扰技术等。     

光学系统失调对像差的影响

本文从改进光路的矢量追迹公式入手,给出一个包含光学系统偏心量在内的矢量追迹公式,从而编制出一种精确计算光学系统三维偏差对全像差影响的通用程序。利用这个程序可以得出涉及光学系统偏差对像差影响的各类问题的解答。     

TK-2A头盔加装标线投射系统的光学设计

本文提出了TK-2A头盔加装标线投射系统的方案,完成了光学设计,并对该系统的成像质量和使用精度作了评估。所得结果有助于国内头盔瞄准具的研究和发展。     

战术导弹制导的主要方式和红外寻的系统的设计

本文简述了战术导弹武器的主要制导方式和技术特点,分析了它们的应用前景。最后讨论了红外成象（IIR）寻的系统设计中的若干问题。     

非电子产品可靠性和维修性工程设计准则

本文较详细地提出了适用于防空导弹武器系统各类非电子产品的可靠性和维修性工程设计准则,这是实现“将可靠性和维修性设计到产品中去”的重要保证。按其进行设计,可提高防空导弹武器系统及其各类非电子设备的固有可靠性和固有维修性。     

对称集及其在无线电信号频率设计中的应用

本文在完成对称集理论研究基础上,提出了运用对称集理论来解决无线电信号频率间相互干扰的新方法,从而可编制出简明实用的“不干扰表”,达到在狭小地域(航空毋舰)内有多路无线电信号频率(段)的正确选择。