归纳推理和归纳进程

分析了归纳推理与演绎推理的区别, 给出了归纳推理的形式化规则,定义了重构和归纳进程(序列)的概念.同时还给出了一个产生归纳序列的归纳过程模式,并证明:若已知模型M的全体实例集合ε_M,则可以从任一给定的理论出发, 使用此归纳过程模式所产生的所有归纳序列都收敛于同一极限,这个极限就是模型M的全部真语句. 这说明了归纳推理规则的合理性.     

四旋翼无人机动态面控制

针对四旋翼无人机（UAV）飞行器系统欠驱动特点,引入动态面控制方法,对四旋翼UAV的位置和姿态进行控制。考虑到飞行器速度和角速度难以测量,设计高增益观测器得到UAV的速度和角速度的估计值。相对于反演法,动态面控制的设计更简洁,并且通过引入滤波器来求取控制信号中的系统状态的导数项。另外,常用的时标分离方法不能给出全局稳定性分析,本文引入动态面设计控制律保证系统所有信号半全局一致有界,同时给出系统全局稳定性证明。仿真结果表明,四旋翼UAV能快速精确完成目标跟踪。      

模H-Nielsen数(2)

通过研究自映射ｆ在π１（Ｘ,ｘ０）上的作用ｆπ,发现只要适当地选取π１（Ｘ,ｘ０）中子群Ｈ（ｆπ,π１）作为正则复迭空间的子群,得到模Ｈ－Ｎｉｅｌｓｅｎ数等于Ｎｉｅｌｓｅｎ数的结果,从而简化了用模Ｈ－Ｎｉｅｌｓｅｎ数计算Ｎｉｅｌｓｅｎ数的过程。     

一种轮控卫星姿态机动变结构控制器

针对小卫星3轴反作用轮姿态控制系统的非线性特性,应用误差四元数来描述姿态运动,将星体大角度姿态机动问题转化为误差四元数的调节问题.利用误差四元数和误差角速度建立滑动模态,并基于Lyapunov定理推导出一种姿态机动的引入角加速度负反馈的变结构控制律.仿真结果表明,该控制律能够提高收敛速度,降低机动过程中角速度的超调量和对起始力矩的要求.同时,在模型参数不确定和有外干扰的情况下该控制律也具有全局稳定性和鲁棒性.     

信息论与最佳接收理论之间的一个重要矛盾

现代通信理论最重要的两个分支——信息论与最佳接收理论 ,是支撑当代通信技术飞速发展的两块坚实的理论柱石。然而 ,我们发现这两块柱石之间存在着一个重要的理论矛盾。很可能它们中的某一个是块有瑕之玉 ,今详细论述于斯文     

可数非扩张映像族公共不动点迭代算法

提出一种计算可数个非扩张映像族公共不动点的新的迭代算法，并证明了算法的强收敛性。本算法由于避免使用形一映像，因而使得算法简洁，计算工作量较小。     

复合材料的边界吸湿模型

在研究复合材料层合板的吸湿和退湿过程中,常常采用菲克定理来描述水分在层合板中的扩散过程中,根据层合板表面浓度逼近平衡浓度的不同响应,提出了三类不同的边界条件模型来模拟复合材料层合板在不同环境介质下的水分扩散过程,并给出了计算吸湿量的解析解和有限差分数值计算方法。     

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

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

考虑速度调节影响的进近空域容量评估

为了解决管制员在管理进近空域流量时出现实际流量低于理论流量的问题,根据运输类飞机适航标准和管制员调速规则和原则,提出了考虑下达指令时机的航段容量计算模型,由现行的进近空域结构能够发现进近空域是由多个航段连接形成了一个航路网络,根据历史统计数据得到的交通流比例,结合网络流中最大流最小割理论对进近空域容量进行评估。实例分析结果表明：在下达管制指令时间范围内,通过约束管制指令使航空器在同一减速点进行减速时,减速航段容量的最大值与最小值相差0.88架次/h,进近空域容量评估结果为：最大容量为43.79架次/h,最小容量为43.61架次/h;方法可以有效解决问题并且评估结果贴合运行实际容量。     

三轴轮控航天器姿态大角度机动控制器设计

研究了飞轮作为执行机构的航天器姿态大角度机动问题。建立了飞轮控制的姿态动力学模型;基于Lya-punov稳定性定理,设计了闭环控制器并给出了参数自适应律的解析表达式;分析了有界噪声作用下该模型的控制效果。仿真结果表明,所设计的控制器具有较强的鲁棒性和抗干扰能力。