热力学第三定律的一种新的论证方法

热力学第三定律的正确性早已经被实验所论证 ,许多学者对热力学第三定律的证明也运用了相应的论证方法。 [1,3 ]文根据热力学和量子统计的观点从固体和范德瓦尔斯气体在低温条件下的热容量出发论证了热力学第三定律的正确性 ,其结论与其它方法所得的结论一致     

关于一个排列组合公式的注记

本文举反例指出文献中一个重要排列组合公式的疏漏,并给出正确的结论和证明,例子也验证了结论的正确性。     

由毕奥-萨伐尔定律推证空心环形电感的磁场

根据毕奥-萨伐尔定律推证了空心环形电感器件磁场的大小及方向,与安培环路定理的结论相吻合,从而验证了结论的正确性。     

基于扩展LS~2的VMM动态度量形式化分析

虚拟机监控器(virtual machine monitor,VMM)动态度量是保障虚拟化环境安全的重要手段,但是目前VMM动态度量正确性缺乏理论分析。基于VMM动态度量流程,确立了动态度量正确性目标,明确了定义动态度量应满足的重要属性,从操作语法、语义及推理规则方面扩展安全系统逻辑(logic of secure systems,LS2),据此推导动态度量程序的不变性,验证VMM动态完整性度量应满足的正确性。结论分析表明,应用本文扩展的LS2方法分析得出的动态度量结论与该技术实际应用效果一致,说明扩展的LS2方法有效,可为虚拟化环境安全提供理论参考。     

浅谈电流磁效应的本质

本文从运动电荷磁场出发,论证了电流效应的本质,并通过两个特例进一步说明这一结论的正确性.     

介质界面处的介电常数与场强的计算

给出了介质界面处的介电常数和场强的计算公式,并通过论证结论的正确性,澄清了对介质界面处电场强度的错误认识。     

n阶非齐次线性微分方程通解结构的判定

证明了n阶非齐次线性微分方程通解的结构与二阶非齐次线性微分方程通解的结构是一致的,并通过算例验证结论的正确性.     

复合材料锚杆托板的有限元分析与实验研究

通过对纤维增强复合材料锚杆托板与钢托板的有限元分析比较,得出了纤维增强复合材料锚杆托板优于钢托板的结论。实验分析结果验证了有限元分析的正确性。     

一类时滞p-Laplacian差分方程边值问题正解的存在性

利用不动点定理证明一类时滞p-Laplacian差分方程边值问题正解的存在性, 针对具体问题给出了数值实验计算结果, 并验证了主要结论的正确性.     

不确定整数阶分数阶单摆混沌系统的自适应滑模同步

研究了分数阶单摆不确定及整数阶单摆不确定混沌系统的自适应滑模同步,通过设计适应律和控制器得到单摆系统获得滑模同步的2个相关结论,并用MATLAB仿真程序检验了结论的正确性.     

关于高等代数中命题的反例研究

反例在高等代数命题研究中有着独特的作用,然而,在高等代数教学及理论研究中,人们往往忽视了反例的效用。通过综合论述高等代数中命题的反例,对高等代数中若干命题通过消弱命题条件或变换命题条件和结论进行研究,得出了关于向量组、矩阵、线性变换、多项式等方面的命题的反例,深入探讨了关于多项式的不可约性、子空间的直和判定及矩阵相似性三方面的命题,从而深化了对原命题的理解和认识。高等代数中命题的反例研究有利于提高批判性思维和创造性思维能力,有利于提高对命题的深层次理解,对于高等代数教学及理论研究均有一定的指导意义。     

科学结论的逻辑问题——科学研究规律探讨之四

讨论了科学研究的成果——科学结论的逻辑问题,因为从特定的事例归纳到普遍的规律存在着“归纳逻辑谬误”,所以,在科学研究中特别要注意科学结论外推的局限性.介绍了波普的关于科学结论的证实和证伪的观点:科学本质上是一系列命题的集合,现实世界的综合命题本体,至少在原理上可以用经验的观察来证伪,这就是科学,科学不是以它的学科内容或声称掌握某种知识的确定性为特征,而是以建立和检验命题的方法为特征的.最后,讨论了科学结论的解释功能和预言功能.     

关于两类函数的大范围同胚

基于微分方程与优化中解存在唯一性问题，对Ｌｉｐｓｃｈｉｔｚ函数类与弱一致单调函数的大范围同胚作了理论上的探讨．推广了一些Ｌｉｐｓｃｈｉｔｚ函数类已有文献的结果，给出了弱一致单调函数的定义以及几个大范围同胚的命题。     

实变函数论中的几个问题与反例

对实变函数中几个有趣的问题给出了富有启发性的反例,且给出了正确的结论及严格的证明,并对某些命题成立的条件做了简要的分析.     

论语篇标记语的潜在性与隐含性

语篇标记语是构成语篇连贯的重要环节,具有着潜在性与隐含性。它们不仅连接句子和命题之间的逻辑关系而且可以更好的把握文章的思路,区分大意和细节,辨认事实和结论。     

3个隐式代数曲面的四次GC1拼接及其在三通管道工程上的应用研究

用构造性代数几何方法,研究了3个截平面中有2个平行,另1个与其垂直时,3个隐式代数曲面GC1光滑拼接曲面的构造问题。得到了:GC0控制曲面存在的充分必要条件定理和光滑拼接曲面存在的充分必要条件定理。在此基础上又进行了三通管道工程上的应用研究。     

突破少数民族预科数学归纳法教学难点的探讨

数学归纳法是证明与正整数有关的等式、整除、不等式、二项式定理、数列等命题的一种重要方法．结合少数民族预科数学教学实践,针对学生学习数学归纳法的难点,分析其突破方法,导出用数学归纳法证明命题缺一不可的两个步骤．进而深化了对数学归纳法的认识,突破了数学归纳法的教学难点．     

Banach空间上q-Besselian框架的稳定性

人们对框架理论研究的日益广泛和深入,目前对框架的研究已经从Hilbert空间推广到Banach空间,并获得了许多重要结论。首先通过引入分析算子和合成算子的概念,以及q-Besselian框架的等价命题,把Hilbert空间上Besselian框架的稳定性推广到Banach空间,建立Banach空间上q-Besselian框架的合成算子与Fredholm算子之间的联系,得到了q-Besselian框架的充要条件是Fredholm算子的结论。并在此基础上,得出了满足q-Besselian框架的其他结论。文中所得的结论可为研究q-Besselian框架的性质提供了新的视角和方法。     

车辙等效温度确定方法探讨

沥青混合料是一种典型的粘弹性材料,其变形对温度的变化非常敏感,因此,在车辙预估问题中,温度是最重要的参数之一.采用车辙等效原则是确定温度参数的有效途径.为此,系统地总结了目前国内外典型的车辙等效温度计算方法,分析了各种方法的优缺点,提出了一种新的计算车辙等效温度的思路.进而结合路面温度场预估模型,采用2003年上海地区平均每小时的气象数据对各种方法进行了验证,最后提出了确定车辙等效温度的合理建议,为以后沥青路面车辙预估研究及室内试验提供了参考.     

Desargues定理及其逆定理的应用推广

Desargues定理及其逆定理揭示了在两个三点形(初等几何中称为三角形)中存在着一种很重要的位置关系,因此,在证明初等几何中一些有关"点共线"或"线共点"的定理或命题时,常常用到它们.在应用Desargues定理(或其逆定理)时,其关键就在于正确确定两个满足定理条件且符合所证命题结论的三点形来.当然,这两个三点形有时并不是唯一的一对,可根据实际情况灵活地加以选用.