四色定理和Ramsey定理基于模型论的证明

四色定理和Ramsey定理是图论中重要的定理，章运用模型论中的紧致性定理、图象定理等将图论中的四色定理推广到无穷情形，并给出了Ramsey定理基于模型论方法的证明。     

替换定理的两个证明

替换定理是高等代数 (线性代数 )中向量空间理论的一个十分重要的定理 ,文章给出了两个新证明。     

线性代数中两个定理的矩阵证明

本文利用分块矩阵给出线性代数中线性方程组解的判别定理、惯性定理的新证明——矩阵证法.     

定理机器证明的图论法初探

机器定理证明是人工智能的重要分支学科之一 .定理的机器证明已经达到了相当成熟的水平 ,但有关利用图论方法进行定理的机器证明还不多见 .在这样的背景下 ,试图结合机器定理证明的经典方法 ,将图论思想引入进来 ,提出了一种初步的图论机器定理证明方法 ,解决了一类有关定理的机器证明问题 .     

几个定理证明方法的商榷

《数学分析》是数学专业的一门很重要的基础课,作为教材必须内容准确,文字表达简捷易懂。对《数学分析》教材中的几个定理的证明方法进行了探讨,提出了一些看法。     

函数凸凹性判定定理的两种证明方法

本文给出函数凸凹性判定定理的两种证明方法,使学生对凸凹性有更深刻的理解.     

Cantor—Bernstein定理的图论意义及其证明

本对于集合论中的一个重要定理Cantor-Bernstein定理的图论意义做了探讨,并给出了相应的图论证明,这个证明较之此定理通常的证明直观简明得多。     

又两个著名定理的等价性证明及推论

在几何学发展的历史长河中,人们发现了许多经久不衰的平面几何定理,其中托勒密(ptolemy)定理、斯德瓦特(stewart)定理和西姆松(simson)定理尤为著名(三定理均可用初中知识证明).托勒密定理和西姆松定理的等价性已经证明(详见文     

代数基本定理的证明方法

对代数基本定理的证明，进行了多种方法的分桥，运用初等方法、Cauchy积分定理和Brouwer不动点定理，给出另外3种方法进行论证。     

参数变异法在两个微分中值定理证明中的应用

证明拉格朗日中值定理和柯西中值定理的途径是引进适当的辅助函数实现向罗尔定理的化归。应用数学方法论中的化归方法之一──参数变异法,可使引进辅助函数的方法显得自然和清晰,并且利用这种方法引进辅助函数证明了其他一些微分中值命题。     

对图论课堂教学的探讨

在现代数学中,图论作为组合教学的一个重要分支,具有十分广阔的应用领域.依据图论课的特点,图论课教学应该从五个方面进行;创设情境引入概念,注重对公式、定理的探究,合作交流探究例习题,使用多媒体教学,加强应用研究.     

关于对基于图论的网络结构分析

对网络结构分析是人工智能领域所研究的基本问题。近些年来随着网络时代的跨速发展,人们越来越关注网络的结构问题,或是虚拟网络结构,或是现实网络结构,研究的方法层出不穷。但是关于基于图论的网络结构分析方面的研究相对比较少,本文从图论的角度出发,探讨了几种研究分析网络结构的方法。     

基于度的产品拆卸顺序的确定

为提高产品拆卸效率,提出用定量数值确定装配体拆卸顺序的方法。利用干涉矩阵以及图论中的度,将零部件所受的约束量化,并建立三维拆卸矩阵,提高了拆卸的并行度。     

基于技术嵌入的旅游交通辅助服务的构建研究

传统研究注重使用技术来提高旅游交通的运输能力,但很少关注技术对旅游交通辅助服务能力的提升。文章基于技术嵌入理论,研究旅游交通辅助服务体系,以此构建旅游交通辅助服务的结构模型。并系统阐述技术嵌入旅游交通辅助服务的路径。     

General moving objects recognition method based on graph embedding dimension reduction algorithm

Effective and robust recognition and tracking of objects are the key problems in visual surveillance systems. Most existing object recognition methods were designed with particular objects in mind. This study presents a general moving objects recognition method using global features of targets. Targets are extracted with an adaptive Gaussian mixture model and their silhouette images are captured and unified. A new objects silhouette database is built to provide abundant samples to train the subspace feature. This database is more convincing than the previous ones. A more effective dimension reduction method based on graph embedding is used to obtain the projection eigenvector. In our experiments, we show the effective performance of our method in addressing the moving objects recognition problem and its superiority compared with the previous methods.     

敏捷开发方法在嵌入式课程教学改革中的应用

为适应社会对嵌入式开发人才的需求,文章对现有传统教学模式的不足之处予以了分析,并研究了在当今软件企业中兴起的敏捷类软件工程方法——XP方法,将其与嵌入式课程相结合,构造出在XP方法下基于项目驱动的教学模式,以用于指导嵌入式课程的教学,并尝试在教学实践中运用此模式。     

Macroscopic frost heave model based on segregation potential theory

A macroscopic frost heave model with more clear parameters was established. Based on a porosity rate frost heave model and segregation potential theory, a porosity rate function was deduced and introduced into the stress-strain relationship. Numerical simulation was conducted and verified by frost heave tests. Results show that the porosity rate within the frozen fringe is proportional to the square of temperature gradient and current porosity, and is also proportional to the exponential function of applied pressure. The relative errors between the calculated and measured results of frost depth and frost heave are within 3% and 15% respectively, demonstrating that the temperature gradient, applied pressure and current porosity are the main influencing factors, while temperature is just the constraint of frozen fringe. The improved model have meaningful and accessible parameters, which can be used in engineering with good accuracy.     

研究式、渗透式教学方法探讨

本文根据21世纪特点对教育的导向,从数学教学方法改革与发展的角度,提出了“研究式,渗透式教学方法改革思路,使数学在理论和实践方面有了新的认识。     

几个线性代数定理的简证

本文给出了线性代数中替换定理、实对称矩阵的特征根都是实数及实对称矩阵可以对角化等结论的新证明。