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

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

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

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

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

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

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

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

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

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

一种用戴维南定理分析含受控源电路的方法

本文探讨了一种用戴维南定理分析含受控漂电路的方法。指导思想是将受控源当作独立源,以便求等效电路,特别是求等效入端电阻较为方便。     

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

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

缝隙宽度对频率选择表面透波特性的影响

从物理本质上分析了频率选择表面FSS(Frequency Selective Surfaces)单元的缝隙宽度对FSS平板透波特性的影响.FSS平板单元的缝隙越宽,则单元的谐振波长缩短就越多,谐振频率也随之升高.利用Floquet定理,计算分析了缝隙宽度对FSS平板透波特性的影响;采用蚀刻技术加工FSS平板小矩形缝隙单元.实验测试的结果表明,缝隙宽度变大时,谐振频率升高,同时,FSS平板的透波率和谐振带宽变大.实验数据与计算结果在误差允许的范围内基本一致.      

密码协议的分层安全需求及验证

将密码协议的安全需求分为浅层需求和深层需求2个层面,阐述了密码协议的分层安全需求.采用近世代数和时序逻辑的方法定义了形式化描述语言,并形式化地描述了密码协议的分层安全需求.将类BAN逻辑与模型检查相结合,在Abadi-Tuttle模型的基础上建立密码协议的计算模型.以Otway-Rees协议为例,利用该计算模型和定理证明技术对密码协议进行了多层需求验证.     

成对比较矩阵的一种逼近

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