航空机轮和刹车装置零组件及结构要素通用化工作研究

详细阐述了开展航空机轮和刹车装置零组件及结构要素通用化研究工作的意义及重要性,分析了国内外航空机轮和刹车装置专业通用化的现状,指出了当前存在的问题,并提出了开展航空机轮和刹车装置零组件及结构要素通用化工作的方案及实施途径.     

四阶非线性常微分方程四点边值问题解的存在性、唯一性

本文利用格林函数、Banach空间中的压缩映象原理及Schauder不动点定理证明了四阶方程y( 4 ) =f(t,y ,y′,y″,y ) ( 1 )满足下列四点边界条件y(i) ( t1) =a1,y(j) ( t2 ) =a2 ,y(k) ( t3) =a3,y(l) ( t4 ) =a4 ( 2 )的边值问题解的存在性和唯一性。其中 t1, t2 , t3, t4 ,∈ {t1,t2 ,t3,t4 }且互不相同 ,a 相似文献   

基于PTE的多雷达航迹融合算法

针对杂波背景下的多雷达航迹融合时局部估计误差互协方差矩阵未知的问题,提出基于目标存在概率（PTE）的航迹融合算法,提升了正确航迹率和跟踪精度。首先,通过综合概率数据关联得到单接收站的目标航迹估计集合和对应的目标存在概率。然后,在局部估计误差互协方差矩阵未知的条件下,基于PTE信息提出不带记忆的综合广义凸组合航迹融合算法。进而将前一帧的融合状态进行反馈,提出带记忆的综合广义凸组合航迹融合算法。仿真验证了所提算法的有效性。     

最先进的警用直升机

伦敦城市警察局是欧洲历史上存在时间最长,而且最有经验的警察队伍之一。在近十多年的时间里,他们已经拥有三架双发的AS355N松鼠直升机,用它们来执行空中监视任务。这三架飞机中的第一架是1993年交付使用的,第二架和第三架分别是在1994年和1996年投入工作的。在     

基于模块的标准ATLAS语言及其应用

面向模块的ATS设计是现代测试技术的重要分支.论述了测试语言ATLAS的产生、发展过程,分析了其存在的问题.指出基于模块的ATLAS是标准的测试语言,详细介绍了它的特点、模型结构及在现代ATS设计中的应用,满足了TPS可移植性的发展要求,代表着现代测试语言的发展方向.     

涡扇发动机起动和加速规律的研究及应用

研究了涡扇发动机起动和加速的一般规律及其设计方法;针对某型涡扇发动机存在的起动和加速方面的问题,进行了大量的试验研究和理论分析,提出了改进设计的方案,经验证,采用改进方案,大大提高了该型发动机空中加速性和地面起动性能.     

计量保证工作的继承与发展

介绍了计量保证的基本概念和发展历史,分析了存在的问题,提出解决问题的建议.     

一个n阶微分方程的两点边值问题

有一些n阶非线性微分方程的两点边值问题已被人们讨论过,大多是在微分方程的右端函数有界、满足李普希兹条件或在相应边值问题存在上下解的情况下讨论的。[3]、[4]在这篇文章里,讨论了一个n阶非线性微分方程的两点线性边值问题,是首先通过n-2次累次积分将原方程化成了一个二阶微积分方程边值问题,并用拓扑度理论讨论了解的存在性,同时给出了解的唯一性条件。推广了文献[1]的结果。     

两类n阶非线性方程的两点边值问题

已有人利用上下解方法讨论过非线性n阶常微分方程两点边值问题解的存在性，而边值问题是否存在上下解是很难判别的，在文中，用初等方法讨论了两类n阶非线性方程满足两点边界条件的边值问题解的存在性、唯一性，并对解的存在性唯一性区间进行了估计。     

非线性四阶微分方程两点边值问题解的存在唯一性

讨论了非线性四阶微分方程y(4)=f(x,y,y',y',y')的两点边值问题解的存在唯一性。其中,函数f在[a,b]×R4上连续,且满足Lipschitz条件。