中介公理集合论系统与经典公理集合论系统的关系——形式证明部分

在中介公理集合论系统（ＭＳ）中重新定义了良集的概念，讨论了它的性质。证明良集完全满足经典公理集合论系统（ＺＦＣ－：ＺＦＣ系统中去掉正则公理）的全部公理，且其配套的逻辑系统恰为中介逻辑的二值子系统ＦＩ＊ＭＬ，说明整个经典数学也能奠基于ＭＳ之上，从而最终回答了中介数学与经典数学的包含关系问题。     

用电离层特性参量提取等效风场信息

导出了利用中低纬电离层特性参量获取电离层F层峰区高度上等效风场（包含电场和风场信息在内）的基本方程，并尝试用该方法从电离层特性参量（峰高和临频）提取等效风场信息，利用武汉站DGS-256电离层数字测高仪数据及由美国Massachusetts Lowell大学最新版的剖面反演程序换算得到F层峰高，获得了武汉地区夏季至日点附近，冬季至日点附近，冬季地磁特别宁静的九天和冬季平均等效风场的初步特征，并利用Fejer经验电场模式计算冬季电场引起的垂直漂移，估计电场和风场对武汉地区的垂直等效风场的贡献大小，结果表明：等效风场呈现出白天与夜晚幅度和方向的差异。至日点附近冬季与夏季白天的幅度差异以及明显的凌晨凹陷现象；平均情况下，垂直等效风场幅度和方向的变化主要是由中性风引起，受电场的影响不大。     

SINS／GPS组合系统的蒙特卡洛仿真

以考虑位置误差相关项的伪距率观测模型，对遥感中使用的SINS/GPS为距、伪距率组合系统进行了蒙特卡洛仿真。结果表明，组合系统的长期位置精度能达到5m以内；GPS数据更新率低于SINS，在GPS测量时间间隔内，组合系统的性能仅由SINS决定，虽然SINS的误差随时间积累，但在GPS测量时间间隔为秒数量级的情况下，即使采用中等精度的惯性的误差随时间积累，但在GPS测量时间间隔为秒数量级的情况下，即使采用中等精度的惯性仪表，其相对位置精度可达到厘米级（这里相对位置精度指组合系统在GPS测量时间间隔内位置误差的变化范围）。     

GPS定时校频应用技术的基础研究

针对利用GPS进行定时校频技术开展了一系列的应用基础研究,包括GPS定时校频的方法及其不确定度、定时校频数据的处理等。在给出实验结果的同时,对影响GPS定时精度的各种因素(包括SA影响)进行了讨论;同时对提高GPS定时精度的途径作了初步探讨。     

支持MEMS的CAD/CAE系统结构研究

CAD/CAE技术在MEMS(Micro Electro Mechanical Systems)研究过程中具有非常重要的作用.本文首先介绍了用于MEMS的CAD/CAE技术特点,然后研究了MEMS CAD/CAE系统结构,给出了软件支持工具结构框图,指明了解决其中关键技术的途径.CAD/CAE技术的应用,将提高微型机电系统的设计质量,缩短研制周期,使之及早走向工业化.     

高空高速无人飞行器热控制系统设计

针对飞行时间短、速度和高度变化快、表面温度波动大的无人飞行器UAV(Unmanned Aerial Vehicles)热控制系统设计难题,提出了一种可解决实际工程问题的热分析计算方法.即把热天工况、冷天工况和标准天工况作为设计/试验工况;采用参考温度法、高超音速工程预测法或计算流体动力学CFD(Computational Fluid Dynamics)数值模拟法,确定了飞行器表面温度分布,并把其作为后续热分析数学模型的外边界条件;分析结构热容量对瞬态热载荷的影响,建立与之相应的边值问题方程,并采用有限差分法求解;根据高空高速飞行特点及瞬态热载荷值,确定仪器设备舱调温系统方案.     

多传感器信息融合技术

多传感器信息融合是Ｃ＾３Ｉ系统和电子综合战系统中的关键技术，本文从信息融合分类出发，讨论了单传感器的信息融合决策理论和技术以及多传感器信息融合原理，提出了多传感器信息融合专家系统，着重讨论贝叶斯法用于二元检测的分布式多传感器信息融合的检测方式。     

Coronal mass ejection detection using wavelets,curvelets and ridgelets: Applications for space weather monitoring

Coronal mass ejections (CMEs) are large-scale eruptions of plasma and magnetic field that can produce adverse space weather at Earth and other locations in the Heliosphere. Due to the intrinsic multiscale nature of features in coronagraph images, wavelet and multiscale image processing techniques are well suited to enhancing the visibility of CMEs and suppressing noise. However, wavelets are better suited to identifying point-like features, such as noise or background stars, than to enhancing the visibility of the curved form of a typical CME front. Higher order multiscale techniques, such as ridgelets and curvelets, were therefore explored to characterise the morphology (width, curvature) and kinematics (position, velocity, acceleration) of CMEs. Curvelets in particular were found to be well suited to characterising CME properties in a self-consistent manner. Curvelets are thus likely to be of benefit to autonomous monitoring of CME properties for space weather applications.     

绳索断裂对二维二次太阳翼展开过程影响分析

为识别二维二次太阳翼关键环节和预示其在轨展开故障模式，开展不同位置绳索断裂失效对太阳翼展开的影响程度分析。采用考虑绳索断裂的绳索联动轮力学模型，建立了适应于不同联动轮半径的联动轮受力模型，提出角度触发约束消除方法，解决了太阳翼第2次展开过程连续仿真问题，建立了太阳翼第2次展开动力学方程，分析了不同位置绳索断裂失效对太阳翼各板展开角度、展开构型和其他绳索张力的影响。分析表明，越靠近星体的绳索联动机构失效对太阳翼展开过程的影响越大，其中连接架上绳索联动机构失效可直接导致二维二次太阳翼在轨展开失败。     

旅游者出游激励理论探讨

从期望理论的视角审视旅游者的决策过程,主要借鉴维克托.弗鲁姆(Victor H. Vroom)期望理论的相关原理,初步搭建了旅游者出游激励理论的基本框架,解决了旅游者决策依据问题。通过旅游感知效价、旅游感知成本等全新概念的引入和一系列调查问卷的设计,最终得出了出游激励力的完整表达式并有以下阶段性结论:(1)信息准备是旅游感知效价、旅游期望值2、旅游感知成本的直接来源;(2)旅游感知效价、旅游期望值2、旅游感知成本对旅游者做出决策至关重要;(3)出游激励力是旅游者最终做出决策的惟一依据。