Hamilton连通图的一个新的充分条件

设Ｇ是ｎ阶３－连通无向简单图，α表示图的独立数．若对Ｇ的所有距离为２的顶点ｕ，ｖ，都有ｄ（ｕ）＋ｄ（ｖ）≥ｎ或｜Ｎ（ｕ）∩Ｎ（ｖ）｜≥α，则Ｇ是Ｈａｍｉｌｔｏｎ连通的，除非Ｇ属于一个特殊图类．     

二部图是哈密顿的一个充分条件

使范氏条件在二部图上得到更具体的刻画，得到以下结果：设Ｇ＝（Ｘ，Ｙ；Ｅ）是－连驼的二部图，｜Ｘ｜＝｜Ｙ｜＝ｎ≥２，ｕ，ｖ是Ｇ中不同两顶点，当ｄ（ｕ，）ｖ＝２时，有ｍａｘ（ｄ（ｕ）ｄ（ｖ））〉ｎ／２，则二部图Ｇ为哈 ，并说明该结果是最好的可能。     

关于Faudree定理的一个注记

假定Ｇ是顶点数的ｎ的２－连通图，Ｇ中顶点数为４且包含爪Ｋ１．３的子图称为爪型子图。本文证明了对Ｇ的任一爪型图Ｆ，任何ｕ，ｖ属于Ｖ（Ｆ），由距离ｄ（ｕ，ｖ）＝２＝│Ｎ（ｕ）ＵＮ（ｖ）│≥２ｎ－１／３，则Ｇ是哈密顿图。     

图中含有k－因子的一个充分性条件

设ｋ是一不小于３的整数，Ｇ是连通图，具顶点数ｎ≥７ｋ－７，ｋｎ是偶数，且Ｇ的最小度δ（Ｇ）≥ｋ。本文证明了：若对Ｇ中任意一对不相邻的顶点ｕ、ｖ均有２ｎ－１≤ｄ（ｕ）＋ｄ（ｖ）十２｜（ｕ）ＵＮ（Ｖ）Ｄ，则Ｇ有ｋ一因子。     

一类图的最长圈

设Ｇ是２－连通图。对Ｇ中任一对不相邻的顶点ｕ,ｖ,│Ｎ（ｕ）ＵＮ（ｖ）│≥ｓ当ｓ≥５时,对于事任意两个不主的点集Ｅ,Ｆ,│Ｅ│≥ｓ,│Ｆ│≥ｓ／２,Ｇ中有３条点不交的Ｅ－Ｆ路,由Ｇ的最长圈的长ｃ（Ｇ）≥ｍｉｎ｛│Ｖ（Ｇ）│,３ｓ／２｝。     

Hamilton连通图的一个充分条件

设Ｇ是ｎ阶３－连通图，若对任意不相邻二点｛ｕ，ｖ｝Ｖ（Ｇ）有ｄ（ｕ）＋ｄ（ｖ）＋２｜Ｎ（ｕ）∪Ｎ（ｖ）｜≥２ｎ＋１，则Ｇ是Ｈａｍｉｔｏｎ连通的。     

图的路连通问题

如果图Ｇ的每对不同顶点ｕ和ｖ之间都有哈密顿路相连，则称Ｇ是哈密顿连通的；而如果对于所有满足条件以ｄ（ｕ，ｖ）≤ｑ≤ｎ－１的整数ｑ，ｕ和ｖ之间有长为ｑ路相连，则和Ｇ是泛连通的，其中以ｄ（ｕ，ｖ）是ｕ和ｖ间的距离，而ｎ是Ｇ的顶点数。本文证明了下述两个结果：（１）２ｋ＋１个顶点的ｋ正则简单图是哈密顿连通的，（２）ｋ连通国中任何两顶点之间存在ｋ－１条长度不同的路；进而如果Ｇ的顶点数小于２ｋ，则Ｇ是泛连通的。     

不含K3图的周长

设Ｇ为不含Ｋ３的２连通的非偶图的图。Ｄ（ｕ）｛ｖ｜ｖ∈Ｖ（Ｇ），ｄ（ｕ，ｖ）＝２｝，δ０＝ｍｉｎ｛ｍａｘ（ｄ（ｕ），ｄ（ｖ）｜ｕ，ｖ∈Ｖ（Ｇ）且ｄ（ｕ，ｖ）＝２｝，Ｄ（δ０）＝｛ｕ｜ｕ∈Ｖ（Ｇ）且ｄ（ｕ）≥δ０｝，δ≥δ０时还满；     

点泛圈偶图的一个充分条件

设Ｇ是连通偶图,（Ｘ１,Ｘ２）是其顶点的二分类,｜Ｘ１｜＝｜Ｘ２｜＝ｎ,δ（Ｇ）≥ｔ≥３。证明了若任意ｕ,ｖ∈Ｘｉ蕴含｜Ｎ（ｕ）∪Ｎ（ｖ）｜≥ｎ－（ｔ－２）,ｉ＝１,２,则当ｔ＝７时Ｇ是点泛圈偶图。     

点泛圈偶图

设Ｇ是连通偶图，（Ｘ１，Ｘ２）是其顶点的二分类，｜Ｘ１｜＝｜Ｘ２｜＝ｎ，δ（Ｇ）≥ｔ≥３，且对于Ｘｉ中的任意两点ｕ和ｖ，均有｜Ｎ（ｕ）∪Ｎ（ｖ）｜≥ｎ－（ｔ－２），ｉ＝１，２，文中对ｔ≤６的情况，证明Ｇ是点泛圈偶图。     

PMI中的证书路径处理机制的优化

在EPMI中,证书路径的处理包含属性证书路径处理及各属性证书相对应的公钥证书路径的处理。其中证书路径构造尤为复杂和耗时,路径验证算法也没有考虑顺序,缺乏相应性能分析,阻碍了PMI的应用推广。提出一种优化的路径处理方案．给出了实现的流程图和算法,并进行了性能分析。     

实现双轨迹和平行直线轨迹的齿轮五杆机构综合

本文讨论了齿轮五杆机构实现双轨迹和平行直线轨迹的综合方法。利用计算机绘图分析了各个结构参数对两连杆曲线的影响规律,对实现平行直线轨迹的齿轮五杆机构,给出了结构尺寸关系数据表和误差分析方法。为综合具有平行直线轨迹的齿轮五杆机构提供了有效的方法。     

X=3的六角系统的构造

首先证明了在一个ｘ＝３的六角系统中，起始路和终止路最多共有三条，然后，对起始路和终止路进行分类，利用张福基等关于ｘ＝１，２时六角系统的构造，得到了下述结论：Ｇ是ｘ＝３的六角系统的充要条件为Ｇ是Ⅲ，Ⅳ，Ⅴ，Ⅵ，Ⅶ型图中的一个。     

模糊因果聚类模型在高炉焦比预测中的应用

通过通径分析,对高炉现场采集的数据进行处理,在给定的描述高炉系统的诸多变量中,利用最小剩余通径系数确定影响目标函数的主要变量因素·将诸因素关系处理为直接通径和间接通径,并对其进行了排序,找出了影响指定目标函数:焦比的主要直接通径和间接通径·综合直接通径和间接通径效果,确定了高炉炉顶温度、料批、矿批重、焦炭负荷和[Si]既是影响焦比的直接原因,也是其他因素对焦比作用的间接原因·     

移动机器人路径规划算法综述

为提高机器人路径规划的搜索速度,缩短搜索时间,总结归纳移动机器人在路径规划问题上的算法及其特点。首先回顾移动机器人发展历史,并对路径规划技术进行概述; 其次对移动机器人路径规划进行分类总结,并从移动机器人对环境掌握情况的角度出发,将移动机器人路径规划分成全局规划和局部规划两类,然后对全局规划和局部规划的相关算法进行综述,同时对相关算法发展现状及优缺点进行总结。最后指出机器人路径规划技术在改进算法、混合算法、多机器人协作、复杂环境以及多维环境下进一步深入研究的未来发展趋势。     

无向图中严格第三短路问题的多项式时间算法

给定一个无向图G=(V,E;w;s,t),其中s,t是2个固定顶点,w:E→R+是边的长度函数.最短路是指所有路中长度最小者,次短路是指长度比最短路严格大的所有路中的最小者,严格第三短路是指长度比次短路严格大的所有路中的最小者.对正权重无向图中严格第三短路问题给出一个O(n4)多项式时间算法.     

数字仿真器中时间校验方法的改进

针对事件驱动仿真器检测时间延迟的困难,提出时间校验网络来检测时间延迟,论述时间校验的几种方法及在时间校验中的几个问题。     

超链接文本中的连贯

连贯理论一直以来针对的是线性文本,本文试图运用语用学的连贯理论,从交际者共享知识的角度描写超链接文本中的连贯。超链接文本最基本的要素是文本路径,它可分为预先定义路径和自选路径。本文分别阐述了由这两种路径构成的超链接文本的连贯。论文尝试指出,从语用上来说,超链接文本中的连贯与普通线性文本一样,是建立在作者与读者共同遵守的语篇组织模式和运用世界知识的推理之上。人们具有的世界知识和推理能力,对理解超链接文本的连贯起重要作用。     

数字仿真器中的时间校验探讨

针对事件驱动仿真检测时间延迟的困难，提出用时间校验网络来检测时间延迟。论述时间校验的几种方法及在时间校验中的几个问题。     

关于支配圈和支配路的存在性

圈C称为图G的支配圈,若对G中任一点v,至少有圈C上的一个顶点与之邻接.类似定义图G的支配路.本文讨论了图中支配圈和支配路的存在性,得到下列结果:(1)设G是有n个顶点,ε条边的k-连通图(k≥1),若ε>((n-k)/2)~2-(3n-k)/2+4,则G中存在支配圈.(2)设G是有n个顶点的k-连通图(k≥2),若对图G中任何有k个顶点的独立点集{v_0,v_1,…v_(k-1)},满足N(v_i)∩N(v~i)=φ(0≤i≠i≤k-1),有~(k-1)∑_(i=0)d(v_i)>n-2(k+2)成立,则G中存在支配路.