突出数学变换讲授相量分析的教学法研究

根据授课对象的数理基础所出现的新变化,阐述了以近代数学集合论为工具改进相量分析传统讲法的教学法要点,并对实践结果做了分析评估.     

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

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

固体火箭发动机长期贮存热载荷的有限元分析方法

分析了固体火箭发动机药柱在长期贮存过程中,由于温度载荷谱的变化所引起的力学响应。基于粘弹性积分蠕变型本构关系,推导了能分析粘弹结构的热载荷的有限元模型,并用它分析了梁、厚壁圆筒与真实固体火箭发动机的热应力问题。     

浅谈平显自检画面

国军标ＧＪＢ１８９─８８虽然对平显自检画面作了规定,但随着国内不断引进国外平显,其平显画面的内容、状态、检测均在不同程度上发生了变化,通过对某引进工程平显自检画面的介绍,探讨其设计构思,实施状态以及使用中检测的显示质量保证、显示精度保证以及显示功能验证等方面的实用性。     

单基药挥分的色谱测定法及其应用

本文阐述了单基药挥分的色谱测定方法,并探讨了在单基药挥分变化规律等问题研究中的应用。     

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

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

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

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

可修系统的一个模型

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

利用线性平滑法实现屏幕汉字放大

本文分析了一般屏幕点阵汉字放大的方法及不足,提出使用线性平滑法提高汉字放大字符质量的思想,给出了线性平滑法实现高质量汉字放大的方法。此外,本文还介绍了不同汉字操作系统的识别方法及多种汉字字模获取的方法,为实现多种汉字字体放大提供了方便。     

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

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