产生 2 元 de Bruijn 序列的一个新算法

ｄｅＢｒｕｉｊｎ序列是一类周期最长的伪随机序列。给出了二元ｄｅＢｒｕｉｊｎ序列的一种新的生成算法，该算法能产生２ＳＮ（ｎ．ｓ）个ｎ级２元ｄｅＢｒｕｉｊｎ序列，其中０≤Ｓ≤２ｎ－７２；当２ｌ－１＜Ｓ≤２ｌ时，Ｎ（ｎ，ｓ）＝ｎ－６－２ｌ－［ｎ－２ｌ－７ｌ＋１］－。     

平面图与对偶原理

该文利用对偶原理创造性地解决了平面图、连通图及对偶图之间的相互关系问题,纠正了长期以来对于平面图及其同构的错误认识,指出平面图必为连通图,平面图本质上是画在同一平面上的顶点、边、面均不相交的连通图。两个平面图的同构指这两个平面图的顶点、边、面之间均有一一对应关系。面是平面图区别于非平面图的本质特征。同构的平面图的对偶图必同构,事实上,平面图的对偶图是唯一的。任意一个平面图都伴有一个隐图,而该隐图实质上是该平面图的对偶图,该隐图可(根据对偶原理)通过D—过程画出。平面图与其对偶图互为对偶。显平面图与其隐对偶图合称为相伴对偶图。     

简单概念图与扩展描述逻辑ALC 的关系探讨

首先介绍了描述逻辑ALC ,描述逻辑ALC 是在ALC的基础上增加了传递关系、反关系、关系并、关系复合、个体实例集和一般数量约束构造器对其进行了扩展,并给出了ALC 的语法和语义,概念图被制作是继承语义网络和框架系统特点的知识表示方式,而简单概念图是概念图中可判定的部分,然后探讨了描述逻辑ALC 与简单概念图的关系.     

两种运算下图的Szeged指标和修正Szeged指标的计算

图G的Szeged指标Sz(G)和修正的Szeged指标Sz*(G)分别定义为Sz(G)=Σuv∈E(G)nunv和Sz*(G)=Σuv∈E(G)(nu+n0/2)(nv+n0/2).这里,对于边uv,n0是指图中到u和v距离相等的点数,nu是指图中距u比距v近的点数,nv类似定义.本文给出了强正则图的联图和合成图的Szeged指标和修正Szeged指标的计算公式.     

可重组制造系统车间设施动态重构研究

针对制造系统车间设施重构的决策问题,给出了面向可重组制造系统车间设施动态重构方法.利用多色图理论着色原理定义设施围道,建立制造车间多色图模型,通过布尔矩阵生成车间作业单元配置模型和物流模型,并构建工艺可行的作业单元配置方案;利用仿真分析软件构建作业单元配置方案的数字化仿真模型,结合生产物流及设施利用率分析,重构作业单元内设施系统.以某公司机械加工车间为研究对象,验证了车间设施动态重构过程的可行性和有效性.     

（k＋1）——连通无爪图的Hamilton——连通性

一个图若不含与Ｋ１．３同构的导出子图,则称它为无爪图,本文利用Ｔ－插点方法,得到（ｋ＋１）－连通无爪图是Ｈａｍｉｌｔｏｎ－连通的两个充分条件,（１）设Ｇ是（ｋ＋１）－连通无爪图（ｋ≥２）,若对每个Ｘ∈Ｉｋ＋１（Ｇ）有ｓ２（Ｘ）〉１,则是Ｇ是Ｈａｍｉｌｔｏｎ－连通图,（２）设Ｇ是（ｋ＋１）－连通无爪图（ｋ≥２）,若对每个Ｘ∈Ｉｋ＋１（Ｇ）,有∑ｘ∈ｘｄ（ｘ）≥ｎ（ｘ）－ｋ＋１,则Ｇ是Ｈａｍｉｌｔｏｎ     

广义棱柱和补棱柱中的超欧拉图

对于一个图G,它的顶点标号为1,2,…,n,S_n是在{1,2,…,n}上的n次对称群,α∈S_n是一个置换,图G的α-广义棱柱,记作α(G),是指图G的2个复制,G_x和G_y,连同所有置换边(x_i,y_(α(i))(1≤i≤n)所构成的图.图G的补棱柱,记作G G,同构于由G和G的补图G的不交并,再加上一个连接G和G对应顶点的完美匹配构成的图.如果图G有一个生成欧拉子图,那么称G是超欧拉图.研究了完全二部图、路和圈的广义棱柱和补棱柱是超欧拉图的充要条件.     

哈密顿线图的一个充分条件

本文得到如下结果:设G是几乎无桥P≥2阶简单连通图,且G(?)K_(1,p-1),若对任意相距为1的两边e_0和e_1,d(e_0) d(e_1)≥2P-5,则G有一个D一闭迹,从而G的线图L(G)是哈密尔顿的。     

线状图形拾取算法的研究与改进

从提高拾取速度的角度出发，在对传统图形拾取算法的基本原理进行分析的基础之上，提出了一种改进的线状图形拾取算法。该算法思路新颖，有着优于传统算法的执行效率，适用于规模庞大的交互式图形系统。     

单圈图的全图谱半径

利用移接变形的方法研究单圈图及其全图的谱半径,给出这2类图的谱半径达到上下界的极图.