连通、P3局部连通［5,3］-图的圈可扩性

如果图G的任意s个顶点的导出子图中至少含有t条边,则称G为［s,t］-图。设H是一个图,如果图G中任意一个同构于H的子图F,有G［N(F)-V(F)］连通,则称G是H-局部连通的。本文证明：阶数≥8的连通、P₃-局部连通的［5,3］-图是1-2可扩的(这里P₃表示3阶路)。     

2-连通 [5,3]-图中的Hamilton圈

如果G中任意s个点的导出子图中至少含有t条边，则称图G为[s，t]-图，证明了若G是顶点数不小于8且δ（G）≥3的2-连通[5，3]-图，则G含有Hamilton圈．     

最小度不小于3的[s,t]-图的可迹性

如果G中任意s个点的导出子图中至少有t条边,则称G为[s,t]-图.本文证明了：若G为最小度不小于3的2-连通[6,3]-图,则G有Hamilton路或G同构于K5∨G3.     

圈的幂图的s-迹连通性

对于图G的任意两个顶点x和y,如果G有一条(x,y)-生成迹,则称图G是迹连通的。给定一个整数s≥0,对于任意点子集X?V(G)并且|X|≤s,如果G-X是迹连通的,则称图G是s-迹连通。设k是一个正整数,图G的k次幂图记为G~k。设t(G)是t一个最大值s使得图G是s-迹连通但不是(s+1)-迹连通,设C_n是一个包含n个点的圈,k是一个正整数并且k≥2,将证明:t(C_n~k)={2k-3,如果n=2k+2 2k-2,如果n≥2k+3 n-3,如果n≤2k+1     

3-连通[6，2]-图中的Hamilton路

如果G中任意s个点的导出子图中至少含有t条边，则称图G为[s，t]-图．本文证明了若G是3-连通[6，2]-图，则G或者含有Hamilton路或者同构于K5∨G3．其中，G3是含有3个点的任意图．     

图的独立数与分数一致性

设G是一个顶点集为V（G）,最小度为δ（G）,独立数为α（G）的图, k≥2是整数。图G的支撑子图F称作是图G的分数k-因子,如果对于每一个x∈V（F）都有dhG（x）＝k。如果对于图G的每条边e,图G都有一个分数k-因子包含它而且同时有一个分数k-因子不包含它,则称图G为分数k一致图。证明了如果δ（ G）≥k＋2,且α（ G）≤4k（δ-k-1）（k＋1）2,则图G是一个分数k一致图。     

3连通图的可去边的分布

e是3连通图G的一条边,如果G-e是某个3连通图的剖分,则称e是G的可去边。研究了3连通图的去边的分布规律,得到：（1）是阶至少为6的3连通图G中的一个圈,如果C上不存在3个连续的3度点,那么C上至少有两条可去边。（2）设T是阶至少为5的连通图G的一棵生成树,如果G中至多存在一个极大半轮,那么T上至少有一条可去边。由此可得：阶至少为5的3连通3正则图的生成树上至少有一条可去边。     

关于边控制集的一些结论

令G＝（V，E）是一个图，M是边集E（G）的子集，如果有e∈E（G）／M，e至少与M中一条边相连，则称M为图G的边控制集，进一步，若M是匹配，则称M为图G独立边控制集，本文给出关于边控制集的一些结论。（1）设图H，S是两中连勇图，且H,S∈ж，γe(S)=1,M和M′＝｛uv｝分别是图H和S的唯一最小边控制集，其中S是图1中的（G1，G2，G3，G4）四个图之一，对任何点x∈V（S）＝｛u,v｝,y∈V(H)-V(M),令G＝H（y=s)S，则G∈ж，（2）如果连通图G≠K2，G∈ж，γe(G)=k,则存在G的两个连通于图H，S和某两个正整数l,m使H∈ж，S∈ж，且γe(H)=k-l,γe(S)=l,G≌H（yi=xi)S,其中l≤i≤m.     

关于非广义多边形路的2连通简单MCD图

令Sn是具有n个顶点没有两个等长圈的简单图的集合,若Sn中不存在图G′使│E（G′）│＞│E（G）│,则称图G是简单MCD图,若简单MCD图G是2连通的,则称G是2连通简单MCD图,若G中一条路P的两个内点u都有dG(v)=2,则称P为G的简单路,一个2连通可平面图G称为广义多边形路,如果用下述方法得到图G是路,对应于G的每个内部面f(G-是G的平图）有一个G＊的顶点f*,G*的两个顶点f*和g*,在G＊中相邻当且仅当G－中相应的两个内部面的边界交于一条G－的简单路,作者证明了下述结果,当且仅当n∈{10,11,14,15,16,21,22}时,存在n个顶点的非广义多边形路的2连通简单MCD图。     

k-连通[k+3,k]-图中的Hamilton路

如果G的任意s个点的导出子圈中至少含有t条边,则称图G为[s,t]-图.本文证明了若G是k-连通[k+3,k]-图(k≥2),则G或者含有Hamilton路或者同构于Kk+2∨ Gk(其中Gk是含有k个点的任意图).     

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

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

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

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

X=3的六角系统的构造

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

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

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

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

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

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

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

超链接文本中的连贯

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

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

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

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

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

次关键路线法在施工工期优化管理中的应用研究

就双代号施工网络计划优化管理问题,研究了次关键路线上非关键工序的寻求方法,给出了图上计算和解析表达的求解过程,方便了网络计划的优化和管理 。