中介谓词演算系统ME与ME之间的化归算法及其应用

在经典二值逻辑中，带等词的谓词演算系统Ｆ１与Ｆ１＊的函词系统等价，在互推关系下这两个系统也等价，然而在中介逻辑中，带等词的中介谓词演算系统ＭＥ与ＭＥ＊函词系统不等价，本文定理１指出，在互推关系下，任何ＭＥ＊中的公式均可化为ＭＥ中的标准前束范式，因此在互推意义下两系统等价，在中介逻辑中，ＭＥ是一个较为特殊的子系统，它具有许多与二值逻辑相类似的性质，本文的结果为将这些性质进一步推广到ＭＥ＊上提供了基础     

相对质心的动力学定理

本文研究了质点系相对质心的动力学问题，推证了相对质心的动量定理和动能定理，并通过例题阐述了它们的应用，最后结合已有的相对于质心的动量矩定理，总结了相对于质心的动力学定理的理论意义及其方法和范围。     

变上限定积分的应用

本文应用变上限定积分的基本性质,给出了定积分中值定理的新证明,並改进了有关结果,还指出了积分中值定理与微分中值定理、积分第一中值定理与积分第二中值定理之间的联系。最后还通过几个实例,给出了一个化有字母限的积分问题为微分学问题的有效方法。     

无穷维情形下的Rolle定理

设Ω是自反的实Banach空间X中的有界开凸集,Y为一实赋范线性空间。证明了一个无穷维情形下的Rolle定理：如果算子A∶Ω→Y在Ω上强连续,在Ω内Frèchet可微,并且存在Y上的非0连续线性泛函f,使得f（Ax）=0对一切x∈Ω成立,则至少存在一点∈Ω,使对一切u∈X,都成立f（A′（x）u）=0。     

预测-校正EKF算法在自主导航中的应用

为提高航天器自主导航系统非线性估计精度,通过分析EKF线性化方法的缺 点,基于数学分析理论研究了非线性函数线性化展开点以及雅可比矩阵取值点不同对线性化 逼近程度的影响,然后对传统EKF算法的线性化展开方式进行了改进,提出了一种基于中值 定理和平滑估计的预测-校正EKF（FR\|EKF）新算法。仿真结果表明,该算法在精度上优于 EKF算法。     

空间飞行器姿态控制设计和鲁棒性分析

基于奇异摄动思想,将飞行器姿态控制系统分为慢变化的姿态角回路和快变化的角速度回路分别设计。每个回路的设计均采用精确线性化方法。对于内回路即角速度回路,考虑到飞行器转动惯量的参数摄动,应用小增益原理分析了系统的鲁棒稳定性。     

一种轮控卫星姿态机动变结构控制器

针对小卫星3轴反作用轮姿态控制系统的非线性特性,应用误差四元数来描述姿态运动,将星体大角度姿态机动问题转化为误差四元数的调节问题.利用误差四元数和误差角速度建立滑动模态,并基于Lyapunov定理推导出一种姿态机动的引入角加速度负反馈的变结构控制律.仿真结果表明,该控制律能够提高收敛速度,降低机动过程中角速度的超调量和对起始力矩的要求.同时,在模型参数不确定和有外干扰的情况下该控制律也具有全局稳定性和鲁棒性.      

等应变模变薄拉延时的上限法研究

首次拟定了等应变模变薄拉延时的运动学容许速度场。根据上限原理,研究了等应变模变薄拉延时各变形工艺参数对冲头单位压力的作用。同时,结合最小能量原理,优化了重要工艺参数-凹模型线高度(H_opt)值。研究结果表明:变薄系数、加工硬化效应、变形体与凹模间的摩擦是决定冲头单位压力的主要因素;变薄系数、变形体与凹模间的摩擦和工件外形尺寸R_e值是确定H_opt值的决定性因素。黄铜H62和H68的实验结果表明:理论分析与实验结果比较一致。     

一个大挠度柱面弯曲板条的求解

本文应用付宝连的大挠度弯曲直梁的功的互等定理,求解一个柱面弯曲板条的挠曲面方程.     

一种准确预测层合梁结构层间剪应力的新锯齿理论

层合梁是航空航天领域典型的承力构件,而过大的层间剪应力（层间处的横向剪应力）是导致其分层失效的主要原因。针对常见的层数较多的复合材料层合梁以及材料属性差异较大的三明治夹层梁,现有的理论模型仍然无法准确预测其横向剪应力。通过构造一个新的线性分段锯齿函数,提出了一种能够准确预测层合梁结构横向剪应力的新锯齿理论模型。几个典型的数值算例表明,本文提出的新锯齿理论模型在计算层数较多和材料属性差异较大的层合梁时,具有较高的计算精度,能够准确预测层合梁的分层。另外,该模型预先满足横向剪应力层间连续条件,无需三维平衡方程后处理就能够准确预测层合梁的横向剪应力。位移场中未知量个数少,不含横向位移的一阶导,便于C⁰梁单元的构造。