我院本科数学教学体系改革的探索

对旧的数学教学体系进行了较为深入的分析,并借鉴国内外数学改革的经验,大胆地对我院本科数学教学体系作了较大的调整,探索了有一定特色、新意的新的数学教学体系。     

关于课程评估模式和原则

通过对典型的教育评估模式的探讨,论述了课程评估的概念、地位和作用,提出了包括确定评估模式,建立指标体系,实施评估在内的全部课程评估工作应遵循的原则,在综合性评估模式中加入了课程制定评估,使评估模式更趋于完整、科学、合理。     

威布尔过程模型在机械系统可靠性中的应用

为了研究复杂可修系统的规律,应用威布尔过程模型,得出这样结果,即提出一种定量描述预防性维修质量的方法,并对MTBF进行了分析。可以这样认为,模型参数在实际工作中有很广泛的应用。     

三种语音特征信息综合方法的理论分析

本文是作者在１９９７ 年 《声学学报》中文版和英文版发表的三篇文章基础上的进一步研究。这些文章没有对提出的三种语音特征综合方法进行理论分析, 本文运用概率论知识, 详细地对前面三篇文章提出的三种语音特征信息综合方法进行理论分析。分析结果表明： 三种语音特征信息综合方法能够比较好地综合语音特征信息, 提高语音识别系统的性能。这一结果与前面三篇文章中实验结果一致。     

变结构C3I系统指控组织结构的建模与评估

指挥控制组织是Ｃ３Ｉ系统的核心,文章讨论了指控组织的Ｐｅｔｒｉ网建模方法,提出了一种变结构的指控结构模型,并与以往所采用的固定结构的模型相比较对其进行了性能评估     

知识库推理和维护系统 (KBIMS)

赋予知识库自动推理和维护功能,从而使知识库有效和实用,是知识库面临的关键问题。本文提出了一程基于缺言推理的知识库自动推理和维护方法,并介绍了根据此方法,在VAX—Ⅰ/780上使用GKD—Prolog 作为工具实现的一个知识库推理和维护系统。     

知识库调试工具的技术原理与设计思想

知识库调试工具旨在解决因知识不完全和噪音等因素而引起的知识库正确性与有效性问题。本文通过知识库建造工具GKD-KBST 中知识库调试工具KBDT 实现方案的讨论,论述知识库调试工具的技术原理与设计思想。     

鲁棒自适应雷达伺服系统

该文设计了一鲁棒自适应雷达伺服系统。所设计的自适应雷达伺服系统对于一类未建模型动态具有鲁棒性。针对雷达伺服系统中的摩擦扰动,引进了自适应摩擦补偿。仿真结果表明,同σ—修正法相比,具有更强的鲁棒性。     

利用月球转向技术施行逆行轨道卫星发射的能量讨论

本文讨论和估算了利用月球做为转向星体发射逆行轨道卫星的能量和轨道参数。结果表明:在共面发射时,只有发射轨道半径3万公里以上的逆行轨道卫星,利用月球发射才比直接发射节省能量,且逆行轨道越高,所节省的能量越多。而不共面发射时,所节省的能量比共面发射时多。     

推广的卡尔曼滤波用于对运动辐射源的测时差被动定位

本文讨论了以测时差法从地面对空中匀速运动辐射源进行无源定位与跟踪的问题,并运用推广的卡尔曼滤波算法进行数据处理以提高定位与跟踪的精度,研究了滤波器初始条件的确定方法及对滤波器的敛散性进行自动监测的方法,还介绍了用计算机对系统进行模拟的过程,并对部分模拟结果进行了初步的分析。分析与模拟的结果表明,推广的卡尔曼滤波方法应用于测时差无源跟踪系统是行之有效的。