基于数据挖掘的支线机场危险天气预估方法

近年来,支线机场航班运行数量逐步增加,伴随而来的是支线机场航班运行出现了一系列的危险天气下的安全运行风险。本文通过对机场历史数据的挖掘,研究了支线机场常见的大雾导致低能见以及大风等危险天气,运用统计学方法,通过中心极限定理计算大雾天气下的数据分布情况,找到其内在规律,将机场能见度的范围划分到不同的置信区间,通过对各个置信区间的假设检验计算,从而得到不同能见度范围下后续能见度的发展,对后续能见度进行预测。同时,利用皮尔逊相关系数法,计算相邻支线机场之间大风天气下的相关系数,通过计算机场序列的相关性,进而得到风场传播的趋势方向,从而有效提高支线机场的大风天气预估的准确性,达到避开危险天气,提高航班运行安全性的目的。通过预估这两类危险天气,增加对危险天气预警的准确性,提升支线机场航班运行的安全裕度,对今后支线机场的安全运行工作具备一定的借鉴意义。     

基于领域的机器定理证明的研究

采用分类的思想,对领域内的证明问题进行了归纳总结、抽象,在计算机上建立了相应的模型,采用基于知识的推理技术,设计了机器定理证明的实现流程,并针对某种具体类型实现了相应的原型系统,得到了满意的结果。分类思想为具有较强客观规律问题的机器自动求解提供了思路。     

嵌入式操作系统的形式化验证方法

对嵌入式操作系统类安全关键软件,测试、模拟、分析等传统软件验证方法不能保证其正确性,需要使用形式化方法。综述了主流商用嵌入式操作系统所采用的形式化验证方法,分析了操作系统内核不同特性的形式化验证思路。通常对空间隔离、信息流控制、系统调用、进程间通信等的证明采用定理证明方式,而对时间隔离的证明则采用模型检测方式。 seL4的通用抽象和逐层精化方法、模型检测和定理证明的混合方法在工程使用中都有前途。     

分析二维导体电磁散射问题的FEM/POPTD方法——TE模(英文)

提出了一种分析计算带有裂缝的二维电大尺寸复杂导体目标电磁散射问题的混合方法—— FEM/ PO-PTD方法。该方法采用基于棱边的有限元法 ( Edge-basedFEM)为低频方法 ,物理光学法与物理绕射理论 ( PO-PTD)为高频方法 ,通过耦合技术将两者结合在一起。本文将该方法应用于带有缝隙的二维导电柱 TE模的电磁散射特性分析 ,计算结果与有关文献的数据一致性很好 ,从而验证了该方法的准确性。文中还给出了另外几种截面的导电柱体雷达截面的计算曲线。理论分析与计算结果表明 ,本文提出的混合方法与其他计算同类问题的方法相比 ,能节省计算机存储单元、提高计算速度     

基于反馈定理的IB-LB方法(英文)

格子波尔兹曼方法(Lattice Boltzmann method,LBM)和浸入边界方法(Immersed boundary method,IBM)皆为近年来发展的可替代Navier-Stokes(N-S)方程求解复杂流体力学问题的数值模拟方法。本文采用浸入边界-格子波尔兹曼方法(IB-LBM),将IBM作为一种边界处理格式应用到LBM中,模拟了静止单圆柱及并排双圆柱绕流,与文献对比结果吻合良好,证明该方法具有模拟复杂边界物体绕流的能力。与采用虎克定理、直接力法计算体积力项的传统方法不同的是本方法运用反馈定理,即采用流场和流场内物体之间的速度、位移反馈来计算体积力项,使得该方法易于实施并具有优良的并行性。     

常p-Laplace系统在次p-次条件下周期解的存在性

运用临界点理论中P. H. Rabinowitz的鞍点定理证明了常p-Laplace系统在(▽F(t,x),Vx)≤μF(t,x),|x|≥M下周期解的存在性.     

基于神经网络的一类非线性系统自适应回馈递推控制

文章针对一类非线性系统,研究了一种基于回馈递推法的自适应神经网络控制方法.首先基于隐函数定理和中值定理推导出模型跟踪误差的动态特性,再利用多层感知器神经网络并设计适当的权值调整规则使其能够自适应的逼近和补偿误差提高系统的鲁棒性.基于Lyapunov方法证明了闭环系统所有信号有界且跟踪误差收敛到一个很小的邻域,所得到的闭环系统是一致稳定的.仿真结果验证了所研究算法的有效性.     

航空发动机鲁棒PI控制频域设计

针对航空发动机高、低压转速和压比控制回路,研究中考虑执行机构动态的高阶开环传递函数,根据推广到时滞系统的棱边定理,采用频域方法设计有参数不确定性的非精确模型的鲁棒PI控制器;并利用不确定范围内的发动机非线性模型构成的棱边系统和不确定系统族,验证了鲁棒控制器作用下的系统性能。仿真结果表明,该频域设计方法能使闭环系统的性能指标和鲁棒性均达标。     

一个大挠度柱面弯曲板条的求解

本文应用付宝连的大挠度弯曲直梁的功的互等定理,求解一个柱面弯曲板条的挠曲面方程.     

2n阶边值问题的正解

通过运用锥不动点定理来讨论2n阶边值问题[multiply fro i=1 to n(-(d~2/dt~2) λ_i)]u=f(t,u),0-π2,i=1,2,…,n。f是非负连续函数。