关于图的三角形Turan定理的注记

Turan定理刻划了不含三角形而含线最多的n阶图的特征,本文讨论了这类图的一般结构,从而给出Turan定理的一个构造性证明并且加强了定理的结论.     

关于图的三角形Turan定理的注记

Turan定理刻划了不含三角形而合线最多的n阶图的特征，本文讨论了这类图的一般结构，从而给出Turan定理的一个构造性证明并且加强了定理的结论．     

矩阵特征值内插定理的拓广

推广了一般图邻接矩阵的插值定理，在更广泛的意义下给出矩阵特征根的内插定理，并得出了一些新的结果。     

对Delandtsheer的一个结果的置疑

本文证明了关于分划的一个定理，利用这个定理，发现了１中推论１３的证明中的错误，然后修改了该推论，并给出了证明。     

矩阵特征值内插定理的拓广

推广了一般图邻接矩阵的插值定理,在更广泛的意义下给出矩阵特征根的内插定理,并得出了一些新的结果.     

两个生成解定理的证明和生成解的讨论

本文给出了两个生成解定理的证明，这两个定理可由一个爱因斯坦场方程的已知静态真空解生成新的电磁解，然后给出了几个新的生成解并对其进行了讨论。     

戴维南定理探究式教学的探讨

首先,设置探究问题情境,即对于一个既含独立电源又含电阻二端网络是否可以用一个等效电路置换。然后,根据替代定理和叠加定理设计仿真实验,在计算机上应用Multisim 10进行仿真。在虚拟实验情境中探究,寻找规律,得出戴维南定理,即一个有源二端网络可以用一个电压源和一个等效电阻的串联等效电路置换。最后,在实验台上做戴维南定理实验,通过比较电流法来检验结论的正确性。     

余新河数学题的一个结果

本文证明了下面关于“余新河数学题”的一个结果。定理：若“余新河数学题”成立，则对任何Ｘ≥２，区间［ｘ，ｘ＋１２５００］中至少有一个Ｇｏｌｄｂａｃｈ数存在，此定理说明了“余数河数学题”的难度。     

基于改进H~∞滤波算法的列车组合定位方法研究

列车实时定位是列车控制系统的重要环节。针对列车定位系统中模型不确定性和外部干扰不确定性,提出了一种基于鲁棒估计理论的列车组合定位方法。给出了随机不确定多传感器融合系统的数学模型描述。根据离散系统有界实引理、Schur补定理及线性矩阵不等式求解技术,得到了一个针对该类多传感器系统H∞融合滤波器的存在性定理,并在该定理基础上得到基于H∞滤波理论和方法的分布式多传感器信息融合滤波器。仿真结果表明,该组合定位系统能够满足列车定位的精度要求,能够在不同定位条件下保证定位高效与安全,为提高列车组合定位系统的鲁棒性,进行了有益的尝试。     

求高次方程所有实根的通用C程序

本文根据ＳＴＵＲＭ定理设计了一个算法，按这一算法编写了一个求高次方程所有实根近似值的Ｃ语言程序。     

Timed RAISE方法在列控系统等级转换场景中的应用研究

高速铁路列车运行控制系统是一个复杂的实时性系统,结合其实际特点,将域方法作为系统描述的切入。通过对模型检验和定理证明两种验证方法的分析比较,提出使用基于定理证明的时间化工业软件工程的严格方法Timed RAISE形式化方法对等级转换(CTCS-2级至CTCS-3级)场景进行描述,并对其场景交互一致性和实时性进行验证,结果表明该场景不会出现场景交互一致性错误,也不会违反时间的约束。     

电气网络若干特殊问题的分析与判断

对替代定理，三相电路，电气化铁路的换相联接，电力系统短路的特殊问题及其表现形式，作了分析论证。作者特别提出电力系统零序网络定则。     

理想都为Ambiguous理想的二次域

本文运用Ｓｉｅｇｅｌ－Ｔａｔｕｚａｗａ定理讨论了任一理想均为Ａｍｂｉｇｕｏｕｓ理想的二次域Ｑ（√ｄ）的基本判别式ｄ的上界问题。     

多项式增长率和度量逼近性

在本文中,我们给出如下定理的一个直接证明和具体构造:如果r有多项式增产率,则Cr*(r)有度量逼近生.     

Von koch曲线上的调和分析

本文研究分形集合Ｖｏｎ ｋｏｃｈ曲线上的调和分析问题，得到了其上Ｄｉｒｉｃｈｌｅｔ问题和Ｎｅｕｍａｎｎ问题解的存在唯一性定理及解的具体形式。     

编组站配流问题中多阶段优化算法的启发式规则

以所有车辆在站停留时间最短为目标,对单向单推单溜配流模型进行理论分析,证明该模型下的三个优化目标转换定理,并在不同假设条件下得出8个推论。为了验证上述定理和推论的启发效果,将它们设计为各阶段选择解体列车和编制配流方案的优先规则,并构建以每列出发列车获得最大车流数最多为子目标的多阶段配流问题推理算法,实例结果表明该算法可在线性时间复杂度内获得高效近似解。     

一类非线性泛函微分方程的全局吸引性

研究动物体内红血球补充模型，获得了保证模型的正平衡点全局吸引的一族充分条件，所得结果异于已知定理，推广和改进了已有结果．     

半群及循环半群的分类

把群中元素的周期概念推广到含单元元的半群上，讨论了元素周期的性质，得到了含单位元循环半群的分类定理及半群的一些重要结论。     

弱多元函数定理及其推广

多元隐函数定理条件经弱化以后其解析性质（隐函数的存在性、连续性）经论证仍然成立；其条件加强后可以推广到n m个变元的情况。     

一类非线性泛函微分方程的全局吸引性

研究动物体内红血球补充模型,获得了保证模型的正平衡点全局吸引的一族充分条件,所得结果异于已知定理,推广和改进了已有结果.