12.7mm高射机枪模态试验与分析

本文利用实验模态分析技术和有限元法研究机枪—土壤系统的动态特性,通过模态试验获得机枪在硬质土壤支撑条件下的低阶模态信息,据此对机枪有限元模型的边界条件进行模拟,并从动力学角度分析影响射击精度的主要因素,为进一步研究机枪结构动力修改和质量评估提供依据,     

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

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

多媒体技术发展综述

本文主要论述多媒体技术的现状和发展动态.     

减速伞拉出时间测试误差的修正

减速伞拉出时间是描述低空低阻伞弹弹道特性的重要参数之一,在研究某低空低阻伞弹投弹表编拟方法时发现,拉出时间的测试数据有较大误差,制约着其它弹道参数的正确确定和投弹表的编制精度。笔者利用实测坐标数的差分特性对实测拉出时间进行了修正,该方法有利于提高投弹表编制精度和改进拉出时间的测试手段。     

测量误差平稳性检验的数据预处理研究

在航天飞行器测量中,测量噪声是不可观测的。这就需要对含有误差的测量数据进行预处理以获得测量噪声的信息。本文从理论上对广泛应用的两种模型进行了系统性的研究,为处理方法的合理性提供了理论依据,并用仿真结果进行了验证。     

飞航导弹火控系统动态精度试验数据处理方法

飞航导弹火控系统动态精度试验后获得的导弹射击诸元误差序列一般为非平稳的随机过程,根据此误差特性,提出了动态测量数据的异常值数据处理方法,建立射击诸元误差序列、将误差序列分解为慢变化信号和高频噪声信号,最后给出火控系统射击诸元参数的最大误差统计估值方法     

用差分方法解二阶线性常微分方程边值问题的误差估计式的另一证明

关于二阶线性常微分方程两点边值问题差分解法的收敛性证明,所见文献中都是借助于差分的极值原理给出了误差估计式.本文利用矩阵的理论和方法,也得到了同样的结果.     

舰船后传动装置的分析及其发展概况

介绍了后传动装置的主要元件及目前舰船典型的传动方式,在此基础上简述了今后的发展动态。     

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

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

1200bps话音编码算法的研究

本文采用一种先进的动态规划算法来提高基音检测的准确性,这种方法在保持了一般的动态规划算法的基音检测性能的同时降低了计算复杂度。在获得准确的基音周期以后,本文在激励信号中引入声门脉冲的相位和幅度信息来改善合成话音的自然度和清晰度,在１２００ｂｐｓ的速率上得到了清晰度和自然度都较好的合成话音。