关于某个四阶非对称微分方程边值问题的唯一性

本文处理如下形式的四阶非对称微分方程边值问题的唯一性。 对于对称情形,传统的处理方法是利用Thichmarsh,E.C.的函数论方法与亏指标理论。而当方程为非对称时,上述方法会有些困难。但若通过构造某个特殊的与(?)λ有关的内积,并利用内插不等式及Opial不等式,则非对称情形能被容易地处理且得到许多唯一性的结果。     

基于GPS相对伪距差分的相对导航方法研究

研究基于GPS相对伪距差分技术的RVD相对导航方法。分析了在相对位置零位处对相对伪距差分模型进行线性化后的模型误差,并推导了由模型误差所引起的相对导航参数确定误差;提出了模型误差修正方法和采用强跟踪滤波器的非线性滤波方法等两种改进方法。最后,通过数学仿真验证了两种改进方法的有效性。     

神经网络理论在微分对策中的应用

阐述了微分对策理论在实际应用中存在的问题,并从动态冲突的实际过程出发,将神经网络理论与分层式智能控制理论相结合,来模型化微分对策问题.将微分对策的双向优化问题转化成基于神经网络理论的目标机动性辨识和单向优化控制问题,将微分对策的定性与定量结合起来,为有效加入人的经验提供了一种技术途径.并采用自适应分布式学习速率,大大提高了神经网络的学习速度和精度.     

脉冲微分系统关于部分变元的强稳定性

介绍了一种新的稳定性——脉冲微分系统的解关于部分变元的强稳定性,并进而讨论了该类稳定性问题. 首先建立了两个重要的引理,然后再借助于逐段连续的Lyapunov函数,得到了脉冲微分系统的零解关于部分变元强稳定性的一些判定定理.最后阐述了这些定理的应用.      

军用航空有机玻璃热分析动力学研究

对某型号军用飞机上航空有机玻璃用热重-差热(TG-DTA)分析仪进行了热分析动力学研究,实验在不同的氧气浓度(5%,10%,15%,21%)和升温速率(15℃/min,30℃/min)条件下进行,用改良的Coats-Redfern法计算出了动力学参数,用Doyle法计算理论失重值。研究发现表观活化能和频率因子都随氧浓度的下降而增加,在升温度速率分别为15℃/min和30℃/min条件下当氧浓度变化时表观活化能分别为100~108kJ/mol和87~92kJ/mol,而频率因子分别为(7~35)10⁶/s和(0.4~1)10⁶/s。计算结果很好的吻合了实验结果。     

一种面向运载火箭自动对接的三维测量场构建方法

旋转激光自动经纬仪系统(R-LATs)是一种基于前方角度交汇的分布式大尺寸测量系统。各激光扫描基站的布局位置直接影响着测量区域内的测量精度和应用性能。从测量区域的测量不确定度量化着手,利用蒙特卡罗法获取各点的测量不确定度,以测量区域的最大不确定度作为主要优化目标,利用差分进化算法自动寻优,更简单有效地实现了面向运载火箭自动对接的R-LATs系统布站优化。最后进行了运载火箭对接测量场的实际应用验证。应用结果表明:该方法能有效优化激光扫描基站布局,提高系统测量精度,满足实际应用需求。     

基于解析法的用户差分距离误差解算方法(英文)

为了进一步增强星基导航系统的完好性性能,提出了一种基于解析法的用户差分距离误差计算方法。文中首先介绍了卫星时钟和星历改正数的计算方法,认为计算用户差分距离误差的关键是查找卫星服务区域内的最差用户位置。通过变换卫星时钟和星历误差协方差矩阵,将查找最差用户位置变换成一个解析几何问题,通过数学推导得出最差用户位置的解析式,进而求解用户差分距离误差。通过计算机仿真对比了解析法和遍历法之间的性能差异,结果表明:解析法的正确性由遍历法得到了验证,解析法可以减少90%的运行时间并且具有更低的计算复杂度,便于工程实现。     

磨削丝锥尾方专用机床头架结构原理设计

对于丝锥尾方的加工可以采用磨削的方法，欲实现尾方加工过程的自动化，则磨削尾方专用机床的头架，因其动能是夹持工件，所以在加工过程中必须能自动分度。俗实现此目的，其头架结构可以采用差动轮系。行星轮上装有弹簧夹头以夹持工作，系杆H与行星轮C之间的传动比iCH=nc/nH=1／4，便可实现自动分度。     

－类非线性微分方程解空间显易结构的唯一性

对所有形如的方程的集合Ｅ（Ｄ），引入线性变换群Ｇ（Ｄ），从而将Ｅ（Ｄ）进行等价分类，并由此提出解空间显易结构唯一性概念，指出Ｂｅｒｎｏｕｌｌｉ类方程具第一显易结构，但其显易结构不唯一，而任何非Ｂｅｒｎｏｕｌｌｉ类方程着具显易结构，则其显易结构必唯一．     

一种求解气动双曲方程的高精度差分格式DEM

本文建立了一种基于解本身及共导数所满足的微分方程之上的差分格式DEM(Double Equation Method)。这种差分格式不仅精度高,而且有效地消除了双曲方程高阶差分解中常出现的振荡现象。