中值定理的应用探讨

通过典型例题，对微分中值定理，积分中值定理在求特殊函数的极限及有关命题，证明等式、不等式方面做了深刻地阐述，探讨怎样正确、理解、应用好中值定理。     

基于Lagrange方法的单旋翼飞行器动力学建模

为了进行微小型单旋翼飞行器的动力学建模,通过建立多个坐标系来反映各部分间的相对运动.首先,利用坐标变换得到位置、速度及加速度等向量,并代入拉格朗日方程得到运动学模型;然后,对模型进行数值求解,得到飞行器的姿态响应.仿真结果表明,飞行器定点盘旋时合外力为零,能量保持不变;爬升或前飞时有非保守力做正功,能量增大.     

实线性赋范空间中算子的Fermat定理

本文给出并证明了文中的定理１，该定理是经典分析中的Ｆｅｒｍａｔ定理在现代分析学中的合理推广。据此又给出了一个中值公式在抽象分析中成立的充分条件。最后，指出了经典分析中的中值定理在抽象分析中不成立。文中各项内容相结合，较深刻地说明了中值定理在抽象分析学中不成立的原因。     

洛尔定理的推广和柯西中值定理的证明

本文对洛尔定理进行了推广，并给出了柯西中值定量的三种证法。     

备份设计的可靠度

文章在两类不同的验前分布情况下,用贝叶斯定理推断并联、待机和多数表决系统的可靠性置信下界。其解可供电子系统设计者参考。     

我对普适化采样定理公式及结论的理解

本文用不同于文献［１］的方法对普适化采样定理公式作了理论推导，并给出了公式成立的充要条件。对文献［１］作者根据该公式得出的在信道或滤波器带宽为ωＣ系统中，可以具有大子２ωＣ的数据传输率的结论作了否定回答。同时又认为，普适化采样定理公式是Ｎｙｑｕｉｓｔ第一准则基本理论的继承和发展，在实际工程中具有重大意义。     

FPGA运算单元单粒子错误的Berger/余数联合结果校验法

针对空间环境中FPGA局部功能运行的重要运算模块受到单粒子效应的威胁,提出了Berger/余数联合结果校验法的加固设计方法。通过分析指出,由于Berger结果校验所需的进位链在FPGA中不易获取,加法、减法、乘法运算的正确性利用余数校验法检测,其它运算结构利用Berger结果校验法检测。给出了联合结果校验法的思路和逻辑实现方法,并分析了该方法对FPGA资源和速度性能的影响。单粒子故障仿真注入实验结果表明:对于VirtexII系列FPGA运算单元的单粒子效应故障,Berger/余数联合结果校验法的单粒子效应故障检测概率达到99.8%,引入的资源增加为10～40个SLICES,运算速度降至50～100MHz。     

两个重要的均衡模型及部分相关的数学方法和对象

对经济理论中两个重要的均衡模型及其所使用的数学方法和对象给出了一个简要的综述。     

判断矩阵的一个恰当的校正方法

 本文首先证明了成对比较矩阵在相容性矩阵集合中的最佳逼近的存在性和不唯一性。然后通过微分同胚,把原来的非线性逼近转化成一个线性逼近,从而用投影定理获得解决。算例证明该方法简易可行。