顺序加载下的积累疲劳强度最优可靠度设计

介绍了零件在受到顺序加载下的几组载荷作用的积累，疲劳强度最优可靠度的设计计算方法，并地迈因纳定理（Miner‘s rule)应用范围做了一定补充。     

Lagrange中值定理的证明

通过从Lagrange中值定理的结论、条件、几何意义三个方面的分析，提出了构造辅助函数的思路和方法，并利用辅助函数证明了Lagrange中值定理。     

费尔马猜想的古往今来

介绍费尔马猜想，梗概地论述了３００多年来数学家和数学爱好者为证明费尔马所产生的可歌可泣的事迹，评介了怀尔斯对费尔马猜想的证明。     

达布定理的推广与柯西中值定理的一个新证明

本文推广了达布定理,並用它给出了柯西中值定理的一个新证明。     

遍历理论在航天动力学领域的应用

系统地研究遍历理论在航天动力学领域的应用，包括椭圆轨道长期覆盖和受晒因子等长期参数的平均化计算.从无摄和J2项摄动下平均轨道根数的长期和长周期项出发，构造非共振条件下覆盖和受晒因子的测度描述，并证明该测度的不变性；给出相关相空间和相流定义，并证明该相流的保测度性；应用Birkhoff Khinchin定理将长期覆盖和受晒因子等无限时间的累积问题成功转换为有限空间的二重积分运算.研究结果表明，遍历理论是解决航天动力学领域长期参数统计计算的有力工具.     

基于NFTET的高超声速飞行器再入容错制导

针对以X-33为对象的三自由度高超声速飞行器,采用相邻可行轨迹存在定理(NFTET)设计了容错制导律以解决再入段执行器发生故障的轨迹重构问题。在标称情况下采用预测校正算法生成满足再入过程约束和终端约束要求的再入轨迹;当执行器发生故障时,飞行器气动参数、结构和舵面力矩都可能发生不可预测的变化,原先的轨迹不再满足制导要求,因此需要设计新型容错制导律。针对实际再入制导模型,基于NFTET设计容错制导算法对轨迹进行重构,得到满足故障情况下制导任务的可行轨迹。从仿真结果中可以看出,容错制导算法生成的新轨迹重新回到了约束范围之内,轨迹呈收敛趋势,使得高超声速飞行器从故障恢复到正常飞行状态,提高了飞行器的自主容错能力。     

FC-空间内的极小极大定理

在不具有任何凸性结构和线性结构的有限连续空间(简称FC-空间)中给出了数值函数与向量值函数的极小极大定理,推广了近期文献中的一些相关的结果.     

基于Bayes统计模型的卫星融合定轨方法研究

根据目前天基导航系统现状,结合中国对低、中轨卫星精密定轨的要求,给出了天地基信息融合定轨的原理;结合卫星待估融合参数的先验信息,提出了基于Bayes统计模型的卫星精密定轨方法;在卫星观测的线性化融合模型中引入观测噪声,利用概率估计融合模型,根据Bayes理论进行卫星状态改进量的最大后验估计,并分析了Bayes估计方法的定轨精度;依据期望融合的待估改进量方差最小规则建立了相应的参数求解算法;最后以导航融合测控系统中测距和测速数据的融合定轨为例进行了仿真实验,表明该融合方法能够得到很好的定轨效果。     

断裂韧性可靠性分析的相似计算法

根据断裂力学原理，动用相似理论求出断裂韧性ＫＩＣ〉ＧＩＣ，ＪＩＣ和δＣ之间的相似指标，然后利用正态函数的加法定理，对断裂韧性分散性进行相似计算，从而可以根据已知的断裂韧性随机信息，对难以求解或未知的其它断裂韧性参数进行可靠性分析和推断。计算介绍了一些实际应用。     

L-可积函数的逼近定理

通常所说的函数逼近,或者是在C—范数拓扑下连续函数的多项式逼近,或者是在L~p—范数拓扑下L~p函数的多项式逼近,或者是在Sobolev范数(‖·‖_(H~(m,p)(Ω)))拓扑下用C~∞(Ω)(或C~∞(Ω))对于Sobolev空间H~(m,p(Ω))的逼近。而对于有界L—可积函数的多项式a·e(即几乎处处)逼近,至今未见有任何文献。本文则借助于实变函数的性质与连续函数多项式逼近的技巧来处理这一工作,而文中的主要结果(即定理1—3)正反映了这一尚未有过的工作。确切地说,本文首先利用L—可测函数的重要定理,把L—可测函数转化为连续函数,使(用多项式)a·e逼近成为可能;而后,再对连续函数将广义Jackson算子逼近的已知结果与相应技巧应用上去,得到一系列刻划逼近程度(即逼近阶)的渐近估计。