导航卫星星座整体旋转的检测与校正

研究了利用星间距离观测值或速度观测值进行导航卫星自主定轨时存在的卫星星座整体旋转的问题，并提出了消除该系统误差的地面校正法。利用含有系统误差△Ω的卫星星历进行单点定位时，求得的点位大地经度也会产生△L的偏差，且△L=△Ω，因此，由点位大地经度差△L即可确定卫星星座整体旋转误差。试验结果表明，△Ω与AL的差值不到10^-5秒，从而证实该方法是有效的。     

基于SVR的导航传感器自适应野值检测方法

针对Lagrange插值法无法处理连续野值的问题，提出了一种基于改进支持向量回归(Support Vector Regression, SVR)的导航传感器自适应野值检测方法。该方法结合了支持向量回归利用小样本数据就能够准确建模和3σ准则计算简易的优点，利用支持向量回归在线建立舰船的运动模型对测量值进行实时预测，并利用3σ准则自适应地计算阈值，然后通过比较阈值与预测残差来判别测量值是否为野值点。该方法可以自动地学习舰船的运动趋势，建立舰船的真实运动模型，而且不受连续野值点的影响，能够在没有其他传感器辅助的条件下完成野值检测。海试实测数据表明，提出的方法对离散和连续的野值点均具有较好的检测效果，同时可以更好地估计传感器的真实测量值。     

颗粒尺寸对颗粒速度滞后数的影响

本文讨论了固体火箭发动机燃烧室中颗粒尺寸对颗粒速度滞后数的影响,导出了它们之间的定量关系式,并分析了燃烧室压力和装药通道面积对颗粒速度滞后数的影响。     

高性能的标准单元库设计

从仿真和流片两个方面对标准单元库的验证方法进行了研究.在仿真方面,提出了采用静态时序分析工具和SPICE仿真工具对单元的估算值和仿真结果进行比较分析的方法来验证,同时还给出了具体的操作步骤实例.在流片验证中,提出了一种非常有效的电路结构.这种电路结构不但能够准确验证时序,还能极大地减少PAD数量;最重要的特点是:该电路能够完全避免PAD和非被测单元的引入带来的额外延迟,从而得到准确的被测单元延迟.     

鲁棒颤振裕度法的应用

介绍了一种新的确定颤振边界的方法——鲁棒颤振裕度法。利用结构奇异值理论将颤振理论模型和试飞数据有机结合起来,进行了颤振边界预测。仿真结果表明,该方法是可行的。     

排除TL—10000型弹簧试验机数字漂浮的新方法

TL－10000型弹簧试验机由山东省济南第二试验机厂生产。它是我国生产弹簧试验机的厂家之一，规格和型号很多。试验机大多采用S型应变片式传感器，它较其它形式的负荷传感器具有输出信号强，稳定性好等优点。该型弹簧试验机的读数系统，也就是负荷的指示部分由传感器输出信号，经过放大器，力值由数字板显示出来，准确直观，颇受用户好评。我区域有1台该型号的试验机，该单位弹簧试验多，试验量大，且负荷力值接近10kN。使用中发现零漂和力值显示漂越来越大，厂家来人也没有彻底解决。我们通过实际检查测试发现，零漂和力值显示的漂移根源…     

旧道面结构参数代表值的确定方法

军用机场水泥混凝土道面设计规范，素混凝土加厚层设计中，旧混凝土道面结构参数，采用的是现场测试值的平均值。该值具有某些不准确性或误差，会影响设计的可靠性。本文提出采用按数理统计原理计算区段或全场道面测试参数值的代表值。用十个机场旧道面测试数据进行计算分析，并简述了其方法和要求。     

微分中值定理的一种统一证明方法

利用闭区间上连续函数的介值定理、单调有界定理及极限的性质,统一地证明了广义微分中值定理,其余的微分中值定理可以作为广义微分中值定理的特例给出。     

Banach空间中微分包含解的存在性

本文在无穷维Ｂａｎａｃｈ空产是中讨论微分包含解的存在性，先给出了几个普通微分包含的比较定理，讨论了近似解与解的关系，然后得到了Ｂａｎａｃｈ空间中微分包含解的存在性定理。     

基于BP网络的热工过程模型辨识方法

主要研究了人工神经网络在辨识火电厂热工过程模型中的应用，利用Visual C^ 语言构造BP神经网络,提出了把BP网络权值转换为传递函数的方法，针对火电厂常见的热工过程，不用人为加入特殊的激励信号，只利用现场生产中自然存在的扰动信号进行辨识试验，试验结果准确可靠。