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

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

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

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

线性电路的冲激响应

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

多喷嘴系统控制律

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

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

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

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

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

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

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

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

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

自动武器可靠性寿命分布规律研究

本文对两种具有代表性的自动武器收集其生产验收寿命试验的故障记录,经处理得出寿命子样,再用皮尔逊检验进行分布函数检验,从中发现自动武器寿命分布服从指数分布,为研究自动武器可靠性指标及其验收方法提供了理论依据。     

新型弹簧钢 33SiMnB 的研制

本文报导了一种新研制的钢种33SiMnB,用这一碳含量远低于传统弹簧钢(如60Si_2Mn)的新弹簧钢33SiMnB制造的载重汽车板簧、铁路轨枕弹条等弹性制件,不但综合力学性能优于传统弹簧钢制成的相同制件,而且在冶金厂的钢材生产过程和机械厂的制簧生产过程中都显出成品率高、能耗率低等诸多优点。