神舟4号大气成分探测的新结果

神舟4号(SZ-4)大气成分探测器搭载在SZ-4留轨舱上于2002年12月30日发射入轨，在在轨运行的前3个多月中，正值地球南半球处于夏半球季节，并发生了多次中低强度的地磁扰动事件，SZ-4大气成分探测器测得了轨道舱运行高度上(330-362km附近)大气成分的响应变化和异常现象新结果．探测数据表明，中低强度的地磁扰动事件也能引起热层大气中主要成分O和N2的数密度值增高的响应变化．同样在进入地磁扰动峰期后较高纬度处出现了N2的异常增变和O的异常降变以及大气密度异常扰动的现象，但此期间所出现异常现象的地域与SZ-3和SZ-2大气成分探测器探测结果相反，它仅位于南半球较高纬度地区．     

超声速横侧射流燃烧中可压缩性影响的数值研究

为了研究湍流的可压缩性效应对超声速燃烧的影响,对复杂的超声速横侧射流氢气/空气燃烧流场进行了数值模拟。采用修正的k-ε湍流模型(包括膨胀可压缩性和激波不稳定性两部分修正),考虑H2/Air详细化学反应机理(GRI-Mech2.11机理,10组分,28基元反应)。结果表明,可压缩性修正k-ε湍流模型能够预测复杂的超声速横侧射流流场结构。可压缩性使流体分离增强,湍流混合受到抑制,从而显著影响了超声速燃烧过程,数值模拟中需要考虑可压缩性效应的影响。     

某型涡扇发动机使用可靠性评估

对某型发动机进行使用故障统计分析,得到故障随使用时间、故障类型的分布和平均故障间隔时间、返修率等可靠性参数。对该型发动机使用返修记录进行统计分析,得到发动机返修、提前换发与发动机返修后使用寿命的关系,以对该型发动机寿命控制提供借鉴或依据。     

机载SAR成像信号处理研究和实践

成像信号处理是合成孔径雷达(SAR)的核心．必须根据SAR系统战技指标的要求，设计先进、合理和实用的成像信号处理方案和算法。某型机载SAR旁视成像模式综合运用二维可分离成像算法、预处理和运动补偿，前斜视成像模式综合运用线性距离多普勒成像算法、天线扫描和运动补偿，满足了全数字化、机上实时成像的要求。样机试飞中，在国内首次获得高清晰度3m分辨率的旁视SAR图像和首次实现高分辨率前斜视SAR成像。试飞数据在地面处理后，在国内首次获得方位分辨率优于0．5m的成像结果。     

外关联规则挖掘

根据项集内项的关联性,现有关联规则挖掘算法可分为正关联规则挖掘和负关联规则挖掘两大类,它们反映的是项集内频繁项之间的关联性。通过对实际数据集的分析发现,一个项集可以划分成若干子项集,子项集内的项有较高的相关性,而不同的子项集相关性则较低,这意味着每个子项集与其外部的一个潜在因子间存在着关联,由此本文提出了外关联规则的概念,并基于因子分析和主成分分析方法,提出了外关联规则挖掘算法(FAAR),从而将项集内的关联规则挖掘外推到子项集和潜在因子集之间的外关联规则挖掘,扩展和丰富了关联规则挖掘的应用,在此基础上还可进一步发现它所蕴涵的正、负关联规则。     

基于遗传EM算法的航班延误状态空间模型(英文)

航班运行过程的高度动态性和随机性,航班延误因素的复杂性和不确定性导致航班延误实时预测成为难题。控制领域的动态数据驱动方法为该问题提供了一种解决方案。然而,要想运用动态数据驱动方法,首先必须建立航班延误状态空间模型来表示系统状态之间、状态与系统输入输出之间的关系。本文对单机延误事件序列进行了分析,创建了一种航班延误状态空间模型,并对其中的输入控制量进行了重点建模。在历史航班运行数据集上,采用遗传EM算法对模型参数进行了极大似然估计,并同时验证了遗传EM算法在优化参数估计和提高计算效率方面的优势。最后,采用Kol-mogorov-Smirnov方法对模型实例进行了假设检验,检验结果表明,所选模型具有较好的拟合优度。     

决策表的逻辑表达式分析

用泛布尔代数系统作为逻辑工具,证明了条件属性完全决策表的两种逻辑表达式(蕴涵式和析取范式)是逻辑等价的,但是决策属性相容和不相容决策表的蕴涵式表达式有所不同。继而证明了不完全决策表在1型解释下,其析取范式表达式仍与完全决策表的析取范式表达式形式相同,但与其等价的蕴涵式表达式却比完全决策表的蕴涵式表达式多了一串乘积;而不完全决策表在2型解释下,其蕴涵式表达式仍与完全决策表的蕴涵式表达式形式相同,但与其等价的析取范式表达式却比完全决策表的析取范式表达式多了一串和式。     

用真实IMU/GPS数据进行机载SAR运动补偿处理

分析了机载SAR(Synthetic Aperture Radar)条带成像模式的运动补偿技术原理,通过对激光IMU/GPS(Inertial Measurement Units/Global Positioning System)组合提供的位置参数进行分析,表明Y12载机平台具有很大的运动误差,在此基础上利用高精度激光IMU/GPS组合提供的天线相位中心精确位置参数,结合距离-多普勒成像算法进行了机载SAR数据的运动补偿处理,试验表明利用此IMU/GPS提供的运动参数进行对具有很大运动误差的SAR数据运动补偿后,已不需要计算负担沉重的自聚焦类算法进行残留运动误差补偿,就能得到高质量的高分辨率SAR图像.     

中介粗集及其在数据挖掘中的应用

粗集理论已成功应用于数据挖掘,如基于粗集方法的属性发现和决策规则的约简等。中介集合论是以中介逻辑为基础,也可以用于数据挖掘。文中将两者相结合,提出了中介粗集的概念。中介粗集是普通粗集的推广,为不完全信息系统的数据挖掘提供了新的工具,不仅可用于一般的信息系统,还适用于数据取空值的信息系统（允许结论取空值）。利用中介粗集进行数据挖掘不但可以得出粗集理论中的约简,还能得到更为简洁的中介约简。文中还给出了     

BACKGROUND KNOWLEDGE AND SECONDARY KNOWLEDGE BASES IN LEARNINGS YSTEMS

讨论了背景知识和领域理论在学习过程中的作用，强调了学习系统中背景知识的重要性。文中介绍了一个以领域理论为主知识库、以背景知识为二级知识库的基于解释的学习系统，说明基于解释的学习系统如何利用背景知识克服不完全的领域理论带来的问题，使其能通过纯演绎的方法实现知识级的学习。最后，本文还简单讨论了学习系统中背景知识的获取方法。