捷联惯导系统中一种高精度姿态更新算法的推证

在捷联惯导系统中 ,姿态更新的计算是捷联惯导系统的关键问题之一。文章对四元数更新算法进行了研究 ,提出了一种新的四元数四阶泰勒展开高精度航姿算法 ,并在理论上给出了详细的数学推导和证明 ;

关于推证热力学关系式的方法

本文对热力学函数、热力学偏导数、热力学关系式的推导进行了讨论,旨在帮助学员更好地理解这些知识.

C_（60）类结构的数学推证

Ｃ_（６０）类结构的数学推证林朝阳（北京大学化学与分子工程学院８９级１００８７１）碳的三种同素异形体中，金刚石和石墨早已为人们熟知。它的第三种同素异形体是８０年代中期，由美国科学家在飞行时间质谱仪上发现的，以Ｃ６０与Ｃ７０为代表的团簇（Ｃｌｕｓｔｅｒ?..

热力学偏微商的直接推证法

提出了热力学函数一阶偏微商的直接推证法，利用这种方法,很容易将难测量的热力学偏微商用易测物理量系统地表示。其思路简单明了，易于掌握。

微分中值定理自动推证研究

应用积分辅助函数法给出了微分中值定理在计算机代数系统Maple下的自动推证的实现程序,特别是成功解决了Maple中符号积分缺陷问题.该程序方法简单,相应的计算机程序功能强大,操作性强.应用该程序可以成功解决一类有关问题的计算机自动推证,具有一定的推广价值.

C_(60)类结构的数学推证另解

Ｃ６０类结构的数学推证另解武克忠（河北师范大学化学系９５级研究生石家庄０５００１６）１９９４年第４期《大学化学》刊登了林朝阳的“Ｃ６０类结构的数学推证”［１］一文（以下简称林文），该文从纯数学角度，对Ｃ原子数为ｎ的“巴基球”Ｃｎ的结构进行了数学推证。...

从矛盾中推证结论——谈统计数学中的反例和反证法

反例和反证法是数学中常用的方法,在统计数学中也有许多有趣的应用。

矩阵问题中的连续性推证

本文主要借助于矩阵分析中矩阵序列连续性的概念，得到了连续性推证的思想，并利用这一思想，解决了一些矩阵问题中当所涉及元素为零元素或矩阵为非奇异矩阵时的相关命题．

规范叙写与逻辑推证并重——基于一道经典几何证明题的分析与思考

几何是一门结构严谨的学科,几何证明大题也是当前中考的必考题.然而不少一线数学教师总是抱怨学生在做这一类题时出现“会而不对,对而不全”的现象,学生对此也很苦恼.究其原因,主要是在答题过程中:几何语言书写不规范、逻辑推理不严谨等.针对这一现象,本文谈谈如何帮助学生提高几何证明大题的正确率.

电子在横向电场中的偏转——L应以偏转板中点算起的推证

电子束线的偏转是电磁实验中较为重要的实验之一。其电偏转公式:D=LVdV2l2d.在实验教材中L是以偏转板右端算起的。本文通过对电子在电极之间运动的详细分析表明L应该从偏转板中点至屏的距离。

饱和软粘土地基极限承载力公式Pu=5.14C的推证

本文首次取合理的隔离体按完备力系证明了饱和软粘土地基极限承载力公式 Ｐｕ＝５．１４Ｘ。这一证明结果是和精确的，并对教学与工程实践中正确理解和使用比式有一定的帮助作用。

高考新热点——探索推理题的六种推证方法分析

高中新课程增加了《推理与证明》内容的教学要求后，高考《考试大纲》把思维能力的考查作为高考考查能力的核心，加强了具有创意的新题型——探索推理题的考查，并成为高考命题的新热点．解决探索推理题没有现成的套路，要求解题者能根据条件，结合所学知识设计自己思考解决问题的方法，通过探索、判断、推理、证明，达到求解目的．由于这类问题对能力要求较高，能真正考查学生知识、能力以及数学素质，因此便成为高考试题的热点和难点，从高考评卷中统计发现考生探索推理题得分率相对较低．因此重视和加强学生探索推理能力的培养，切实掌握解决探索推理题的推证方法值得研究，本文在对近年全国高考试题进行分析的基础上，归纳得到探索推理题的六种推证方法供参考．

探索推理问题的推证方法归类分析

近年来高考把考查思维能力放在首位，结合高中新课程增加《推理与证明》内容的教学要求，把对思维能力的考查作为高考考查能力的核心，加强了具有创意的新题型探索推理题的考查，并成为高考命题的新热点．因此，重视和加强学生探索推理能力的培养，

数学归纳法自动推证研究

数学归纳法广泛应用于数学以及其它学科上相关定理证明. 运用有关数学理论在计算机代数系统Maple下, 讨论了算法的实现技术, 分析了复杂度与输出结果的关系, 在此基础上, 设计并实现了数学归纳法可读型自动推证. 结果表明, 该算法简单正确,相应的程序操作简单, 功能强大,可以解决归纳法问题的自动推证问题,具有一定的推广价值.

哈迪-温伯格定律的数学推证及其实例应用

通过对哈迪-温伯格定律警醒数学推证并进行实例应用.

熵的两种关系式等价性的直接推证

基于热力学的平衡态对应于统计物理的最可几态,运用统计物理学方法,给出了直接推证熵的两种关系等价性的一种方法,从而加强了热力学与统计物理的连贯性。

S-P表中注意指数的推证与应用分析

由SP表的数学模型出发 ,对SP表中注意指数的计算公式进行了数学推证 。

LCAO-MO三原则的简明推证方法

从ＬＣＡＯＭＯ的数学表示式和重叠积分出发，对ＬＣＡＯＭＯ的三条原则提供一种简明的推证方法。

自由教育的理性推证与和谐意涵

立足教育史与哲学史维度,追溯古典自由教育的“技艺”源流,析出其所蕴藏的“理性推证”与“和谐”之内在规定性,还原西方自由教育体系的本真面貌,为中国通识教育的顺利展开提供新的思想路径。首先对自由教育的学科(术)史展开考察,厘清自由教育的“技艺”源流;其次从哲学维度阐释其所蕴藏的“理性推证”传统与“和谐”意涵,借以表明其实为古典时代理性主义之象征;最后指出,回归此“理性推证”传统并重视其“和谐”意涵,或对中国通识教育特别是其中的“全人”教育有一定启示。