变频调速实验装置的开发与研究

本文对变频调速实验装置的开发进行了研究和探讨，并且介绍了该装置的特点，研制目的和应用范围。     

二阶变时滞神经网络的概周期解存在性

利用不动点理论和微分不等式技巧研究了二阶变时滞神经网络的概周期解存在性。     

两类复矩阵的复相合标准形

给出了亚正定阵及亚半正定阵的复相合标准形，及两个亚正定阵复相合的一个充分条件。     

浅析《实变函数》课程的知识体系

《实变函数》是高校数学专业开设的一门重要的课程，它对《泛函分析》、《概率论》等后续课程学习起着十分重要的作用．不少学生未能学好《实变函数》，其中一个重要原因是对该课程的知识体系理解不透．试图分析《实变函数》课程的知识体系，以帮助学生更好的理解及学好本课程．     

一种α稳定分布下的变步长最小ρ-范数算法

本文提出一种新的基于α稳定分布噪声环境下的自适应滤波算法,这种算法针对变步长自适应滤波算法收敛速度和稳态误差相矛盾的不足,建立了步长μ(n)与误差信号e(n)之间的新的非线性函数关系。该函数能够削弱输入端不相关α稳定分布噪声对步长调整的影响,更好地解决稳态误差与收敛时间之间的矛盾。通过系统辨识仿真结果表明,新的算法α对稳定分布下的尖峰脉冲噪声有较强的韧性,比传统的NLMP算法有更快的参数辨识速度和更小的稳态误差,同时还具有很好地跟踪多时变系统的能力。     

“连续变量”铅球教学法的实施

“连续变量”铅球教学法能较快地使学生掌握铅球技术,能有效地调动学生练习的积极性,能更好地提高学生铅球成绩。     

n阶变系数线性常微分方程的可积性

讨论了一类四阶、五阶变系数线性常微分方程的可积性,进而给出了方程y^（n）＋a1（x）y^（n-1）＋a2（x）y^（n-2）＋…＋an-1（x）y＇＋an（x）y=F（x）在条件{ana2＋ana＇1-a1a＇n=0 ana3＋ana＇2-a2a＇n=0 … … … anan-1＋ana＇n-2-an-1a＇n=0 a^2n＋ana＇n-1-an-1a＇n=0下的初等积分法,并推出了其求解公式．     

关于正规模态命题逻辑系统的完全性证明

;模态逻辑的完全性理论至今已经有了很大发展,其证明通常也是逻辑研究中重要且极其困难的一环.从简单的证明命题逻辑有效性的真值表、归谬法的思想出发到反模型的建立;从最早证明模态逻辑系统的Kripke-语义图的出现到Hughes and Gresswell对Kripke-语义图的修正;从L.Henkin极大一致集的提出到从属模型和典范模型的建立;从典范模型的广泛使用到Bull有限模型的建立无不体现了这一点.对正规模态逻辑系统完全性证明的层层刨析,可以更好地把握和使用完全性证明方法.     

基于GPS数据的电离层模型和电离层延迟改正新方法研究(英)

根据大地测量、地球物理、空间物理和导航等领域的若干重要GPS科研项目的需要,系统研究了电离层延迟的高精度模拟和改正方法。报告的内容主要涉及GPS系统的电离层延迟的高精度改正,如何通过修正静、动态单、双频用户的电离层延迟影响,进一步改善GPS测量的精度和可靠性,改进增强型GPS广域差分系统的电离层模拟及利用GPS监测电离层的理论和方法等。