一种抽象缺省推理框架的表示性质

提出了抽象缺省推理框架和D-后承关系的概念。从而进一步给出D-后承关系的表示性质，并由此证明了任意无联结词形式的累积非单调后承关系，可以用抽象缺省推理框架来表示。     

边侧冒口在铝合金铸件中的应用实践

对于平板类、厚大凹型类铝合金铸件,采用边侧冒口的浇注系统,能提高铸件的补缩效果,生产出合格铸件。本文还对该浇冒口系统提高补缩效果的原因进行了初步分析。     

6 kW开关磁阻起动/发电系统设计及实现

由于开关磁阻起动 /发电系统结构简单、坚固、成本低 ,具有高容错运行能力、较高的能量密度和高速运行能力等特性 ,使得其被发展应用于航空领域。该系统很容易实现起动和发电双功能 ,发电运行的额定功率为 6 k W,输出 2 70 V直流电压 ,最高转速为 12 0 0 0 r/m in,其电压品质满足 MIL- STD- 70 4E标准。文中重点介绍该系统的工程设计及预定试验 ,在起动运行时采用开环控制 ,控制很方便 ;在发电运行时采用调角度电流斩波方法、双闭环控制 ,使得电压在较宽转速范围下具有很好的稳态特性和动态特性 ,试验结果表明该系统的特性优良。     

无人机自动着陆的导引与控制(英文)

针对无人机自动着陆的需求 ,以某型无人机为对象 ,设计并实现了一种基于机载数字式飞行控制系统和地面无线电跟踪器的自动着陆制导与控制方案。该型无人机的实时仿真和飞行测试结果表明 ,方案设计合理 ,易于实施 ,完全满足无人机自动着陆的要求。     

非线性飞控系统的滑模PI混合模糊逻辑控制

针对一类空间飞行器的非线性姿态控制问题，首先通过变换将其强耦合模型分解成若干个子系统，把各子系统之间的耦全、未建模动态和外界扰动视为系统的不确定性。而后提出了一种结合滑模控制与比例积分控制的模糊逻辑控制器，运用李亚普诺夫原理对系统的稳定性进行了分析。用这种控制器对系统进行分散鲁棒自适应控制，仿真说明相对于传统滑模控制器，它具有响应速度快，跟踪精度高，鲁棒性强的优点。     

切头开缝预燃稳定器性能试验研究

本文研究平顶V型稳定器顶部开槽宽度对回流区结构、稳定器总压损失、稳定器表面油膜的蒸发系数、贫油富油熄火油气比、振荡燃烧和燃烧效率等的影响。本文还提出一个低频振荡燃烧的物理模型。     

大失准角下MIMU空中快速对准技术

 为了提高微小型无人机空中的反应速度和作业精度,提出将基于模型误差预测的扩展卡尔曼滤波(MEP-EKF)方法应用在大失准角下微惯性测量单元(MIMU)的空中对准中,通过不同机动飞行策略的仿真结果,证实MEP-EKF算法不仅能够实时估计出系统的模型误差,而且将其与扩展卡尔曼滤波(EKF)和Unscented卡尔曼滤波(UKF)方法进行了仿真比较,结果表明MEP-EKF算法在方位误差角的估计上,取得了比EKF和UKF精度高的仿真结果,使得方位失准角由30°快速下降到1°左右,而且MEP-EKF所需时间仅是UKF的17%。     

Matlab在光纤陀螺随机漂移建模中的应用

光纤陀螺随机漂移是捷联惯导系统的主要误差源,对其建立一个精确的、适用的模型有利于减小光纤陀螺漂移,提高系统精度。本文根据时序建模理论,利用Matlab中的自带函数,建立了光纤陀螺随机漂移模型。Matlab在光纤陀螺漂移建模中的应用,避免了传统编程建模的繁琐,简化了建模的计算过程,大大减小了工作量,提高了建模效率。     

弹道导弹预警系统目标运动建模和类型识别

针对弹道导弹预警系统的识别任务,建立了弹道导弹和飞机类目标的运动模型,通过分析弹道导弹和飞机目标间的运动特性差异,采用灰色关联分析方法建立了目标类型识别模型,给出了进行目标类型识别的具体步骤.具体的算例验证了基于灰色关联分析的目标类型识别模型应用于目标识别的可行性和有效性.     

不完全信息数据库的逻辑基础研究

不完全信息问题存在于每一种数据库模型中。传统的二值逻辑难以适应不完全信息处理的需求,而多值逻辑能更多地捕获不完全信息的直觉含义。在关系数据库系统的实现中,对不完全信息的处理通常采用三值逻辑。为满足实际应用的需要,本文选取了适用于不完全信息处理的一组联结词∧、∨、→、和μ作为构造逻辑系统的原始联结词。构造了一种新的三值逻辑命题演算系统M PM和三值逻辑谓词演算系统M FM,证明了其可靠性和完备性,并给出了在查询优化方面的应用。M FM可作为研究不完全信息数据库理论的逻辑基础。