均布载荷作用下三边简支一边固定厚矩形板的弯曲

在本文中,功的互等定理法(RTM)被推广应用于求解基于Reissner理论的厚矩形板的弯曲问题,给出了三边简支一边固定厚矩形板在均布载荷作用下弯曲的精确解析解,并分析了解的数值结果.     

变上限定积分的应用

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

圆外切五边形中有向面积的定值定理及其应用

本文给出圆外切五边形中有向面积的几个定值定理，并据此推出圆外切五边形中的一些共点性结论，其中包括射影几何中著名的Brianchon定理在圆外切五边形中的情形。     

相对质心的动力学定理

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

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

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

考虑速度调节影响的进近空域容量评估

为了解决管制员在管理进近空域流量时出现实际流量低于理论流量的问题,根据运输类飞机适航标准和管制员调速规则和原则,提出了考虑下达指令时机的航段容量计算模型,由现行的进近空域结构能够发现进近空域是由多个航段连接形成了一个航路网络,根据历史统计数据得到的交通流比例,结合网络流中最大流最小割理论对进近空域容量进行评估。实例分析结果表明：在下达管制指令时间范围内,通过约束管制指令使航空器在同一减速点进行减速时,减速航段容量的最大值与最小值相差0.88架次/h,进近空域容量评估结果为：最大容量为43.79架次/h,最小容量为43.61架次/h;方法可以有效解决问题并且评估结果贴合运行实际容量。     

Banach空间上非扩张映像的一个不动点定理

设X为满足Opial条件的自反Banach空间,D包含X为一闭星形集。证明了非扩张映像G：D→D的一个新的不动点定理,这一定理推广了已有相关结果。     

对称导数的性质及定理

讨论了对称导数与导数、对称导数与连续、对称导数与可积的相关性质,利用这些性质给出了广义的微分中值定理,并由此推出泰勒公式。     

基于领域的机器定理证明的研究

采用分类的思想,对领域内的证明问题进行了归纳总结、抽象,在计算机上建立了相应的模型,采用基于知识的推理技术,设计了机器定理证明的实现流程,并针对某种具体类型实现了相应的原型系统,得到了满意的结果。分类思想为具有较强客观规律问题的机器自动求解提供了思路。     

一类拟线性椭圆型方程正整体解的存在性

以 Schauder-Tychonoff 不动点定理为工具, 对非线性项在新的条件下, 在 R n中讨论了一类二阶拟线性椭圆型方程正有界整体解的存在性和多解性. 在许多文献中, 考虑了半线性椭圆型方程正有界整体解的存在性和多解性,本文把半线性方程的结果推广到拟线性方程,从而发展了半线性方程的结果.