图同构判定的新方法

图的同构问题由来已久，并且它的应用十分广泛。例如：确定一个图的自同构群的构造的问题和它有紧密联系；在有机化学上我们可以利用图的同构判定方法来确定同分异构物。因此，寻求图同构的判定方法是一项引人入胜的工作。提出了一个新的判定方法（定理1）可以方便的确定两个图是否同构。此外，还得到了桌一类图的同构判定的一个较强的条件（定理2）。     

迈向数学机械化：从塔斯基到王浩

介绍了哥德尔不完备定理如何使希尔伯特定理判定问题研究陷入因境，评价了塔斯基在理论上给出了定理判定的方法意义。特别指出是王浩首次在计算机上实现了高效证明定理的方法，并明确提出“迈向数学机械化”。     

具时滞的细胞神经网络的全局稳定性的新定理

提出了判定具有时滞的细胞神经网络渐近稳定性的一条新定理，可以证明，该定理的结论使得直到目前为止的所有全局渐近稳定性定理或推论均为其特例，并且证明简单，条件判定也较容易实现。     

一种改进的不动点存在唯一性定理

非线性方程求根的问题可转化为求不动点的问题,后者常采用迭代法求解.不动点存在唯一性判定定理是其重要定理.通常的不动点存在唯一性判定定理基于Banach不动点定理,需要判定迭代函数是否具备两个条件:映内条件和压缩条件.指出对于非线性方程求根的问题,映内条件可用边界条件代替,并提出改进的不动点存在唯一性判定定理.改进的定理用边界条件取代了映内条件,从而不必考虑迭代函数在整个区间上的情形,而仅需考虑其在区间边界上的函数值,因此更便于应用,且适用范围更广.     

关于函数一致连续性的判别方法研究

研究了函数的一致连续性问题,提出判定函数一致连续的比较判别法和比值判别法判定定理.最后给出了实际应用的例子,说明该判别法的有效性.     

图同构判定的新方法

图的同构问题由来已久,并且它的应用十分广泛。例如:确定一个图的自同构群的构造的问题和它有紧密联系;在有机化学上我们可以利用图的同构判定方法来确定同分异构物。因此,寻求图同构的判定方法是一项引人入胜的工作。提出了一个新的判定方法(定理1)可以方便的确定两个图是否同构。此外,还得到了某一类图的同构判定的一个较强的条件(定理2)。     

迈向数学机械化:从塔斯基到王浩

介绍了哥德尔不完备定理如何使希尔伯特定理判定问题研究陷入困境.评价了塔斯基在理论上给出了定理判定的方法意义.特别指出是王浩首次在计算机上实现了高效证明定理的方法,并明确提出“迈向数学机械化”.     

二元函数二阶混合偏导数相等的两个充分条件

给出了两个判断二元函数二阶混合偏导数相等的充分条件，可以用来判定Ｓｃｈｗａｒｚ定理无法判定的二元函数混合偏导数相等的问题。     

群体系统稳定性的研究现状及线性时变系统的稳定性判定方法

群体系统的稳定性是研究群体系统其它性能的前提条件,本文阐述了其在当前国内外的研究现状,指出当前研究中存在的问题,并提出可能出现的新的研究方法以及研究方向,如非线性群体系统的稳定性分析,关联函数eij属于何种类型函数的确定等.根据一种M-矩阵的判断方法及P-F定理,通过引入两个正参数τi和pmin,对Siljak 等人提出的系统全局最优稳定性判定定理,系统联结稳定性判定定理加以改进,提出了一种线性时变群体系统的稳定性判定方法.此方法简化了计算系统的复杂性,减少了计算量,从而提高了求解效率,具有实际意义.     

群体系统稳定性的研究现状及线性时变系统的稳定性判定方法

群体系统的稳定性是研究群体系统其它性能的前提条件,本文阐述了其在当前国内外的研究现状,指出当前研究中存在的问题,并提出可能出现的新的研究方法以及研究方向,如非线性群体系统的稳定性分析,关联函数eij属于何种类型函数的确定等。根据一种M-矩阵的判断方法及P-F定理,通过引入两个正参数iτ和pmin,对Siljak等人提出的系统全局最优稳定性判定定理,系统联结稳定性判定定理加以改进,提出了一种线性时变群体系统的稳定性判定方法。此方法简化了计算系统的复杂性,减少了计算量,从而提高了求解效率,具有实际意义。     

Pawlak粗糙集的若干重要性质

为了更深入地了解任意论域(不仅仅是有限论域)上的粗糙集理论,首先从任意论域上的等价关系R出发,提出了R粗糙集和R精细集的定义,该定义与集合的上、下近似无关。在此基础上研究了R精细集的性质,提出并证明了任意论域上R精细集的判定定理和运算封闭性定理。然后,讨论了上、下R近似的性质,提出并证明了上、下R近似的表示定理、比较定理和拓扑结构定理。最后研究了知识库的相关性,给出了正域表示定理和知识库相关性判定定理。这些结果在一定程度上丰富了Pawlak粗糙集理论。     

多平行圆杆带状线分布参数新计算方法及应用

基于变分原理中的极限定理，采用等效多边形柱拟合传输线内圆导体，并借助保角变换技术，得到了一种计算多平行耦合圆杆带状线分布电容参数的新方法，这种方法计算速度快，准确度高，已成功地用于超小型化波导腔体式滤波器ＣＡＤ的研制中。     

两类一般迭代法的收敛性

该文在统一判定条件下，借助于三次优函数，给出了两类一般迭代法的不同于以前的收敛性和误差估计。     

A Numerical Method for Cavity Identification in Beams on an Elastic Foundation

An analytical solution for the natural frequencies of a beam containing a cavity on an elastic foundation is presented. Based on the analytical solution, a numerical method for identifying cavities in the foundation is developed. The position and size of the cavities are identified by minimizing an objective function, which is formulated according to the difference between the computed and measured natural frequencies of the system. The conjugate gradient algorithm is adopted for minimizing the objective function. Some numerical examples are presented to demonstrate the applicability of the presented cavity determination method. The results show that the presented method can be used to identify the cavity position and size conveniently and efficiently.     

量值定理的推广及其应用

推广了最值定理,找到了在区间I内连续函数f(x)的上确界与下确界的一个必要条件,提供了求在区间I内连续函数f(x)的最值与值域的一般方法。     

波速反问题迭代算法的收敛性

本文讨论了一维波动方程的波速反问题,将反问题归结为一个等价的非线性算子方程,利用Newton迭代法提出了一种求解非线性算子方程的简单迭代算法,应用推广的Newton-Kantorovich定理证明了迭代过程的收敛性.     

BMC固化温度场的瞬态分析

在ＢＭＣ（ＢｕｌｋＭｏｕｌｄｉｎｇＣｏｍｐｏｕｎｄ）注射成型中，材料在模腔内的热过程是影响制品质量和生产效率的关键因素，本文利用有限差分法建立制品在注射模腔固化阶段瞬态温度的计算模型，给出了不同时刻制品的温度分布和固化度分布，从而为注射工艺参数的制定提供了理论依据。     

高维动力系统Hopf分岔点的确定

Ｒｏｕｔｈ—Ｈｕｒｗｉｔｚ判别法对于低维动力系统Ｈｏｐｆ分岔点的分析是方便的，但对高维动力系统的讨论是相当复杂．作者通过直接应用Ｈｏｐｆ分岔定理．得到了Ｈｏｐｆ分岔点满足的一般性参数方程．     

关于曲线拐点的几个充分性定理的比较

讨论了曲线拐点的三个充分性定理之间的关系,并通过具体例子说明了在这三个定理中选择判定拐点的最佳方法,从而为判定曲线拐点提供了方便,也表明了教材中所采用定理的理由。     

The dead-end elimination theorem and its use in protein side-chain positioning

The prediction of a protein's tertiary structure is still a considerable problem because the huge amount of possible conformational space1 makes it computationally difficult. With regard to side-chain modelling, a solution has been attempted by the grouping of side-chain conformations into representative sets of rotamers2??. Nonetheless, an exhaustive combinatorial search is still limited to carefully indentified packing units?? containing a limited number of residues. For larger systems other strategies had to be developed, such as the Monte Carlo Procedure?? and the genetic algorithm and clustering approach?. Here we present a theorem, referred to as the 'dead-end elimination' theorem, which imposes a suitable condition to identify rotamers that cannot be members of the global minimum energy conformation. Application of this theorem effectively controls the computational explosion of the rotamer combinatorial problem, thereby allowing the determination of the global minimum energy conformation of a large collection of side chains.