Hamilton图的一个充分条件

本文证明了如下结果：Ｇ是简单图满足条件：对Ｇ中任一对不相邻顶点，ｕ，ｖ有ｍａｘ（ｄ（ｕ），ｄ（ｖ））＋／Ｎ（ｕ）∪Ｎ（ｖ）／≥ｎ－１；且对任意Ｔ∈Ｖ（Ｇ），有ω（Ｇ／Ｔ）≤／Ｔ／，则Ｇ是Ｈａｍｉｌｔｏｎ图。     

图的m—Hamilton性

利用ＬＴＷ序列与邻域交研究图的ｍ－Ｈａｍｉｌｔｏｎ性。     

稀疏线性方程组求解的逐次超松弛迭代法

针对稀疏线性方程组求解问题，在论述迭代法离散化处理基础上，以二维热传导方程为例，导出了热传导方程离散化后线性方程组，用超松弛（SOR）迭代法对产生的稀疏线性方程组进行迭代法求解，并分析了收敛性和收敛速度，将超松弛迭代算法在计算机上实现，得出了一组与精确解较接近的数值解，验证了逐次超松弛（SOR）迭代法的精确性。     

简单迹极限的基本可比性

引进了简单迹极限的相关概念，简单介绍了与C^＊代数SP性质密切相关的F性质，并且得到了非基本的单的具有SP性质的C^＊代数具有F性质．在此基础上得出简单迹极限的基本可比性．其主要结果：设A为具有F性质的带单位元1的C^＊代数，且A的迹态空间T（A）为非空集，如果对每个自然数n，An具有基本可比性，则An的简单迹极限A也具有基本可比性。     

关于强增生型变分包含问题解的Mann型迭代法

研究P-一致光滑的实Banach空间（1〈P≤2）中一类强增生型变分包含问题解的Mann型迭代逼近问题．在仅假设强增生映象的连续性下，利用徐宗本教授等人（1991年）给出的对偶映象L的HSlder连续性，证明了具误差的Mann迭代法强收敛到这类变分包含的唯一解．     

非线性方程组求解的三种Newton法比较

首先介绍了求解非线性方程组的Newton法、简化Newton法和修正的Newton法,并给出了各自的实现算法;然后采用VC++编写了实现上述三种算法的源程序;最后通过一个实例,分析并比较了三种算法的计算量和收敛速度.     

绿蓝问题与简单性方案

绿蓝问题是假说选择问题的一种范型.科学假说精确的逻辑结构应该包含假说适用的情景和敏感因子.简单性标准是广为接受的一种假说选择标准,在运用到解决绿蓝问题时,提出了简单性的句法理论和语义理论.但这两种理论分别遭遇了对表达系统和概念框架的相对性,不能处理某些绿蓝型问题,甚至会陷入反直观境地的难题.     

工件加工时间是开工时间的简单线性函数的Flow Shop调度问题研究

研究工件加工时间是开工时间的简单线性函数的Flow ShoP调度问题。在这类问题中机器间满足某种优势关系。当目标函数是极小化加权完工时间和时．尽管比相应的经典问题复杂，但仍存在多项式时间算法。同时对工件的各工序无等待问题和机器无空闲问题也给出多项式时间算法。     

全路径Logit交通分配模型的求解方法

分析了求解Logit模型的现有算法的不足,根据路网的连通特征提出了一种新的求解全路径Logit分配模型的迭代算法.给出了算法和Logit模型的等价性证明,并和经典的Dial算法进行了比较.     

基于SNMP的网络拓扑发现算法

对现有使用ICMP协议、FDB地址转发表进行网络拓扑发现的算法进行分析,提出了一种基于SNMP协议并适合校园网环境的网络层拓扑发现和链路层拓扑发现算法. 该算法能够快速准确地计算出整个被管网络的二层和三层拓扑结构.