逻辑和面向对象范例集成的研究与实现

提出了结合逻辑和面向对象范例的一种新方法,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征,和面向对象语言的结构化、信息隐藏、继承等特性;并在逻辑语言的Ｈｅｒｂｒａｎｄ解释基础上,探讨了逻辑对象的语义解释;最后给出了我们根据这种方法设计并实现的面向对象逻辑程序设计系统所提供的对象操作原语。     

H 面双填充介质金属方波导的本征模

通过求解Ｈ面双填充介质金属方波导中位函数的亥姆霍兹方程,得到系统的电磁波的本征模函数及本征值方程,其本征模为ＬＳＥ模或ＬＳＭ模,并给出了色散关系的数值解。     

部分参数不准确的线性系统H∞状态估计滤波问题

本文研究了部分参数不准确的线性系统的Ｈ_∞状态估计滤波问题,或即参数鲁棒性Ｈ_∞估计问题。我们先把它简化为带δ参数的对象的Ｈ_∞状态估计滤波问题,采用Ｊ无损分解方法,推导出可解性条件和滤波器的全部显式通解。     

航天产品测试性设计准则

测试性是影响现代武器系统战备完好性的关键因素之一。为了使武器装备具有良好的测试性,应制定测试性设计准则,以实现测试性的规范化设计。本文阐述了航天产品系统测试性设计的一般原则和具体设计准则,内容包括结构设计、划分、测试控制、测试通路、元器件和部件选择、模拟电路设计、数字电路设计、射频设计、光电设计和机内测试等。     

炸药热安定性的快速评定方法

本文分析了量气法和热分析法评定炸药热安定性的问题,提出把由一条DSC曲线测得的热分解动力学参数引入热平衡方程,以数值模拟方法计算出炸药在一定环境温度下的热爆炸延滞期,并据此判别炸药热安定性的观点和方法。经实验验证,该方法快速、准确。     

引信全电子安全系统失效分析及评估

本文根据全电子安全系统的一般结构模式,分析了其安全性设计的一般特点和可能造成其失效的各种原因,并在此基础上建立了全电子安全系统的失效故障树,给出了失效概率的定量计算结果。     

可修系统的一个模型

本文研究一种具有4种故障形式的可修系统。利用向量Markov过程方法,求出了系统的可靠性指标。     

智能化转速测试系统的原理及设计

本文在收集众多的转速测量方案的基础上,提出由光电反射式传感器或霍尔传感器与8098单片机构成一套可在坦克上应用的智能化转速测试系统,并进行了电路硬件设计和软件编制.