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

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

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

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

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

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

备份设计的可靠度

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

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

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

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

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

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

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

关于整系数不可约多项式

在文[1]中，作者推广了著名的Eisenstein的判别法，给出了在有理数上判断整系数不可约多项式的两个定理，并且形式比较简单，应用也比较方便。本文把文[1]中的定理作了进一步的推广，推广到更为一般的形式，相应也给出了几个判断整系数不可约多项式的定理，而形式与文[1]中的形式同样简单，比文[1]中给出的定理更具有一般性。     

机制设计理论及其在中国的应用

机制设计理论是博弈论和社会选择理论的综合运用,其基本思想就是对于一定的经济环境和社会目标,研究如何设计一个机制,使得人们在自利行为驱动下采取行动,使预定目标得以实现。赫维茨提出机制设计理论的基本概念和框架,马斯金和迈尔森进一步发展完善,田国强运用数学工具做了一般化的证明。机制设计理论的提出,弥补了亚当·斯密“看不见的手”的可能性缺失,从而进一步完善了经济学理论体系,论证了市场机制的有效性。对经济改革和社会制度变迁的中国而言,设计有效的机制是中国改革的主要任务之一,机制设计理论在其中有着广泛的应用领域和直接的借鉴价值。