编译型PROLOG系统的若干优化实现技术

文中论述可应用于设计编译型Prolog系统的若干优化实现技术。这些技术包括:执行驱动编译策略,代码分类以及数据库操作内部谓词的操作模式。     

CCD摄象机在检测雷达角度跟踪系统性能中的应用

本文提出用 CCD 摄象机和单片微计算机所组成的系统实现对雷达角度跟踪性能指标的检测,这一新方法可自动录取:雷达的光轴与电轴的匹配状况;雷达角度跟踪系统的误差;当雷达跟踪空中目标时对目标录象,用以评定雷达的跟踪质量.     

线性电路的冲激响应

在线性电路分析中,直接求解线性时变电路的冲激响应一般是很困难的。但是,可带求解冲激响应的问题转化为在一组等效的初始条件下求解零输入响应的问题,关键在于得出这组等效的初始条件。文中介绍了一种求等效初始条件的方法。     

CRMXDBMS 汉字关系数据库管理系统

CRMX86操作系统是在改造iRMX86实时多任务操作系统的基础上开发出来的。它能高效地可配置与支持丰富的汉字功能。CRMXDBMS是它支持的一个功能相当于dBASE-Ⅲ和具有汉字功能的关系数据库管理系统,它具有两种用户加密手段、良好的汉化用户界面等特色。本文介绍了该系统的基本结构和主要设计技术。     

多喷嘴系统控制律

大型航天器(航天飞机、空间站等)的反作用控制系统(RCS)是由多喷嘴组成,具有较高的冗佘度。本文对此系统提出一种控制律,包括控制指令的产生与分配的方法,编成程序包后,便于机载计算机实时操作。     

一种适用于地面防空武器群的整体电子反对抗能力评估方法

应用雷达反电子对抗(ECCM)模糊矩阵、雷达和各类光电定位器材的作战可用度以及电磁环境的模糊分类等手段,提出了一种地面防空武器群整体反电子对抗能力的评估方法。     

一种电路模块故障诊断的实现方法

在分析电路模块故障诊断特性的基础上,本文利用表结构表示推理规则,以框架结构组织规则库,为快速孤立故障,将症状按其检测的难易程度划分类别,并由检测点的选择准则确定下一个能有效孤立故障的检测点,该方法在“电子装备模块级故障诊断系统”和某装备测距系统与搜索系统的实际故障处理中得到了应用,并证实了其有效性。     

针对复杂检测系统的微机数据管理系统设计方法探讨

本文以陆军战术导弹性能检测系统为研究对象,探讨复杂检测系统中微机数据管理系统的设计方法,给出了此类系统标准化设计的规范步骤。     

一种逆合成孔径雷达成象运动补偿方法

本文证明了逆合成孔径雷达成象与大阵列微波成象在信号处理方面的等效性,提出利用自适应波束形成技术来实现逆合成孔径雷达成象的运动补偿,给出了计算机模拟一维成象图,并对结果进行了分析。     

Novell网络环境下分布式文件系统的设计与实现

在局部网络环境下实现分布式文件系统和远程过程调用是实现高层分布式软件的基础。本文在分析Netware层次结构的基础上,给出了一个在网络层上的分布式文件系统和远程过程调用的设计与实现,详细讨论了该系统的功能、用户界面和实现中的技术问题,包括可靠性和并发控制等必须解决的问题。本文的工作是为在Novell网上实现分布式数据库而设计的。