巧用弥尔曼定理

通过一些解题实例，分析学生在运用弥尔曼定理解题的过程中易出现的问题，进而给出熟用、巧用定理以避免出错的口诀。     

论民事诉讼举证时限制度之确立

《关于民事诉讼证据的若干规定》确立了我国的民事证据举证时限制度,克服了证据随时提出主义所造成的证据突袭、恶意拖延诉讼、浪费司法资源、破坏生效判决既判力、损害诉讼程序安定性等缺陷,但现行法律规定在适用时仍有一些不足,妨碍了举证时限制度作用的发挥,对此予以归纳并提出相对应的完善措施。     

Riemann积分及其性质的非标准刻画

在非标准扩大模型下，利用内序列族定义了Riemann积分，并在此基础上讨论了可积的条件及积分的一些性质。     

卫星电子系统可靠性评估（Bayes方法）

用Г（α，β）作为元器件失效率的验前信息，由贝叶斯定理和矩法拟合逐级推断出几种常见结构形式下的指数寿命型系统可靠性置信下限近似解。这里的参数α，β宜由专家同法间接确定，从而避免了零次失效这一敏感问题的发生。     

一种涡扇发动机测温R型热电偶高精度采集方案

设计了一种涡扇发动机测温R型热电偶高精度采集方案。根据热电偶中间温度定理,结合数字电子控制器实际运行场景,选取温度可测量的控制器插头作为热电偶传感器的冷端,这种新型冷端补偿方法解决了数字电子控制器内外温度差带来的冷端测量误差。同时,通过分析热电偶分度表,分段选取不同插值表,采用线性拟合评估方法,保证了软件运算速率和计算精度。利用FLUKE多功能检验仪,对R型热电偶信号采集回路进行了验证。结果表明,其性能指标满足要求,对于工程应用是一个合理可行的方案。     

微分学基本定理在极限计算中的应用

本文讨论了微分学的基本定理在极限求解过程中的三种应用,总结了一些简化极限运算的方法.     

基于改进积分视线导引策略的欠驱动无人水面艇路径跟踪

路径跟踪控制是无人水面艇（USV）自主完成各项任务使命的关键技术之一,受到国内外运动控制领域的普遍关注。为提高风浪流等外界环境干扰下,无人水面艇（USV）路径跟踪控制的准确性和鲁棒性,研究海流等外界扰动环境下一类非对称欠驱动无人水面艇的路径跟踪问题,提出了2种改进积分视线（ILOS）导引策略,并基于改进导引策略和反馈控制思想实现了无人水面艇水平面的路径跟踪。与传统ILOS导引策略相比,第1种改进策略具有变积分增益能够避免积分饱和及超调现象;第2种改进策略在前者的基础上将前视距离设计为时变量,使得无人水面艇操纵更加灵活,其中积分增益和前视距离均为垂直距离误差的不同函数,引导无人水面艇灵活快速地跟踪期望路径。基于级联系统理论证明了当所有控制目标实现时,控制系统为全局k-指数稳定（GKES）的,理论分析和仿真实验证明了算法的有效性和先进性。      

不确定参数结构特征值问题的概率统计方法和区间分析方法的比较

 基于区间数学理论、灵敏度分析理论、Kronecker代数理论,应用Taylor级数展开、概率摄动技术,提出了具有不确定参数结构的特征值问题的区间分析方法。结合工程实例与传统的概率分析方法进行比较,给出了两种方法的数值解法及各自解法的Kronecker代数形式。数值算例的结果显示了区间分析方法在具有不确定参数结构特征值问题分析中的价值和有效性。     

最小二乘解的唯一性

从最小二乘方法的基本原理出发,用反证法证明了最小二乘解的唯一性,指出了求解过程中的注意事项,特别是病态矩阵的影响。     

空间碎片碰撞预警研究

介绍了空间碎片的分布和危害，阐明了航天器进行碎片预警规避的必要性，讨论了碎片碰撞预警技术中的关键问题，用已有的碰撞和规避实例对自行研制的软件进行了计算检验，结果证明了软件的正确性，也说明了国内进行碎片预警工作的可行性．