基于公共余数最优估计的多通道干涉SAR高程重建方法

针对多通道干涉SAR高程重建方法计算效率较低的问题,提出了一种基于公共余数最优估计的多通道干涉SAR快速高程重建方法。该算法首先对干涉相位去除平地效应后,得出每幅干涉图像任意一个像素对应的缠绕干涉相位,构造出关于干涉相位模糊数的同余方程组;然后利用最优估计法求解出带噪声余数的公共余数的最优估计值,求解出各目标的高程值;最后再利用改进措施得到更高精度的高程重建结果。试验数据处理结果表明,该方法使得多通道干涉SAR高程重建的计算效率有了显著提升。     

固体火箭发动机可靠性评定的影子理论及应用

首次提出可靠性评定的影子问题,证明了影子定理,并用影子定理对固体火箭发动机的结构可靠性进行了评定,表明其具有应用价值。     

考虑人及组织因素的航天工程项目风险分析模型

针对人及组织因素是造成航天工程项目风险的重要原因,在揭示了人及组织因素产生航天工程项目风险的机理基础上,构建了考虑人及组织因素的航天工程项目风险分析模型。模型首先评价人及组织因素对航天工程元器件建造工作质量的影响,接着测度工作质量与不同缺陷类型之间的一致性概率,并应用Poisson分布计算缺陷严重性,最后根据贝叶斯定理对元器件先验失效率进行修正,通过一个经过数据处理的航天工程项目对所构建的模型和方法进行了验证。     

基于可达集方法的结冰飞机着陆阶段安全风险评估

飞机在着陆过程中极易发生结冰的现象,结冰对飞行安全造成的危害极为严重。结冰导致飞机发生危险的原因是由于机翼或尾翼被冰层覆盖后空气动力学行为发生改变,飞机受力异常难以控制。为分析结冰后飞机的稳定性以保证飞行安全,以飞机纵向动力学系统为分析对象,将飞机结冰后状态的描述以可达集的形式进行,直观地判断飞机状态是否可控,以此确定飞机是否处于安全状态。以求解所得的可达集为基础,利用极值定理分析结冰飞机的风险概率模型,由模型计算不同情况下飞机的风险概率,最终得到飞机着陆阶段的安全风险评估结果,并由评估结果指导驾驶员操纵,从而保证飞机的安全飞行。     

电磁多尺度和非线性效应分析

微观尺度上的结构和电接触特性对于宏观尺度上的电磁特性具有重要的影响.针对多尺度结构的非线性无源互调(PIM)无法用频域方法直接计算的问题,提出了基于Floquet理论的全波方法,对具有周期性微观结构的多尺度电大尺寸问题进行计算,从而准确地计算其电特性.此外,将产生非线性的金属结的等效电路模型引入到全波分析方法中,通过全波方法与等效电路方法相结合的方式来分析多尺度结构的无源互调问题.数值计算结果表明该方法可以有效地评估微观结构对于宏观结构电性能的影响,并解决了时域方法求解电大尺寸微波部件产生的计算累积误差较大这一难题.      

区间模糊集理论及其运算法则(英文)

在区间模糊集概念及其性质的基础上,针对区间模糊集的3个理论尚未得到有效证明的现状,首先对区间模糊集的知识表示及其运算法则进行了研究,然后提出了基于区间模糊集的截集概念。并在此基础之上进一步研究了基于区间模糊集的分解定理、表现定理和扩展定理,并通过实例说明了传统模糊集是区间模糊集的一个特例,区间模糊集是传统模糊集的有效扩展。     

成对比较矩阵的一种逼近

本文证明了成对比较矩阵在相容性矩阵集合中的最佳逼近的存在性和不唯一性。再通过微分同胚,把原来的非线性逼近转化成一个线性逼近,用投影定理予以解决。并用一个例子说明该方法的简易可行。     

边界弹性支撑板固有振动分析的一种解析方法

板的挠曲面微分方程与振型函数方程在数学上具有相同的形式，在力学上又具有相同的意义。这种可比拟性使得利用贝蒂功互等定理对板的固有振动进行研究成为可能。该文给出了求解矩形板的通用基本解，并对对边简支矩形板分别具有均匀的一般弹性边界支撑和弹性嵌固支撑时的固有振动进行了讨论，得到了解析形式的频率方程。     

中介模态逻辑MS4的表推演系统

中介逻辑是一个新的逻辑系统，该系统的创立有明显的哲学背景，自创立后得到了很大的发展。在数理逻辑以及计算机科学领域已发展了中介模态逻辑以及ＭＩＬＬ等中介程序计设 语言，但对作为程序计设语言之逻辑基础之一的中介模态逻辑的自动推理理论与实现的研究还很不够。本文系统地讨论中介模态逻辑ＭＳ４的自动定理证明理论，构造了中介模态逻辑ＭＳ４的表推演系统，由于该系统采用“与或树”的表达方法，因而不产生“遗忘问题”；     

环形磁铁空间磁场的解析计算与仿真

从永磁体的磁荷模型出发,运用标量磁位法、广义二项式定理、矢量叠加原理等建立了环形磁铁在磁体外部空间磁场分布的解析表达式,并在MATLAB仿真软件中进行了计算。利用三维数字式特斯拉计实际测量了两种规格的永磁体的磁场分布,利用Ansoft Maxwell电磁场分析软件建立了两种永磁体在磁体外部空间的磁场分布,通过对比解析计算结果、实际测量结果和Ansoft Maxwell仿真结果发现解析表达式很好地反映了永磁环空间磁场的分布规律,误差不超过7％,从而验证了解析表达式的正确性。