布尔图及其维数

布尔图是与ｎ－维立方图的导出了图同构的图。布尔图的一个重要特征是它的顶点可以有０－１序列标号刻划,利用对图的顶点进行０－１序列标号的方法证明路、偶图以及树都是布尔图,并且得出路,偶圈维数的上界估计。     

序列图的一些必要条件与非序列图类

为纠错码问题提供理论基础,在运用同余、奇偶性方法的基础上,给出了用点边二种观点分析边标号的方法。使用这种方法,得到了一般序列图、正则序列图、Euler序列图、圈的粘接序列图和圈的并序列图的必要条件,证明了边数为2k,k是奇数的Euler图是非序列图类,讨论了m个n圈的粘接图中的非序列图类：分析偶圈的特征,构造了偶圈的具有同顶点集的序列母图并给出其序列标号表达式。这些结果在通讯、军事等领域有重要应用价值。     

不超过7阶的3-关系图的刻画

给定一个图G,如果存在一个边标号树T,使得树T的叶子集等于图G的顶点集,并且树T任何叶子x到叶子y的唯一路径上的边标号之和为3当且仅当xy为图G的边,那么称图G是一个3-关系图.该文讨论了什么样的图是3-关系图,证明了图G是3-关系图的必要条件为图G是二部图,即只要图G包含奇圈,则图G不是3-关系图.更进一步,完全刻画了圈为3-关系图的充要条件,即一个圈是3-关系图当且仅当圈为偶圈,并且给出了偶圈相对应的边标号树.最后讨论了比较小的图为3-关系图的条件,即证明了阶至多为7的图是3-关系图的充分必要条件为图G是二部图.     

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

圈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中存在支配路.     

关于CmUnK_2的对角Ramsey数

本文所讨论的图都是有限、无向简单图,记为G=(V,E),其中V、E分別表示图G的顶点集、边集。K_n表示n个顶点的完全图,K_(n,n)表示每部有n个顶点的完全两部图;Pn表示n个顶点的路;Cm表示m个顶点的圈,当m为奇(偶)数时,称Cm为奇(偶圈;CmUnK_2表示顶点数为m 2n的图,其中m个点组成圈Cm,余下2n个点组成nK_2(n个K_2的并图)。     

非连通图C_8(r_1,0,r_2,0,…,0)∪G的交错标号

讨论非连通图C8(r1,0,r2,0,…,0)∪G的优美性,证明当r1,r2为任意自然数、G是特征为k且缺k+3标号值的交错图(3≤k+3|E(G)|)时,非连通图C8(r1,0,r2,0,…,0)∪G存在缺标号值k+1的特征为k+5的交错标号,其中C8是具有8个顶点的圈,C8(r1,0,r2,0,…,0)是圈C8的(r1,0,r2,0,…,0)-冠.     

路与圈的积图的(d,1) 全标号

研究了路与圈的积图的(d,1) 全标号问题,并给出了路与圈的积图的(d,1) 全标号数。     

路与扇形图联图的(2,1)-全标号

图G的一个k-(2,1)-全标号是一个映射f:V(G)∪E(G)→{0,1,2,…,k},使得(1)相邻的顶点标不同的号,(2)相邻的边标不同的号,(3)顶点与所关联的边标号数相差至少为2.图G的(2,1)-全标号数定义为G有一个k-(2,1)-全标号的最小的k值,记为λT2(G).根据路与扇图联图的特点,找到一种特殊的标号方法,给出路与简单扇图联图的(2,1)-全标号数的上界.     

路与圈的积图的（d，1）-全标号

研究了路与圈的积图的（d,1）-全标号问题,并给出了路与圈的积图的（d,1）-全标号数。     

立方图的可圈性

图的可圈性是哈密尔顿性的一个推广.设G是有向图,如果对G的每一个定向D,都存在S(D) V(G)使在D中改变所有恰与S(D)中一个顶点相关联的弧的方向后所得到的图为有向哈密尔顿图,则称G为可圈图.证明至少含5个顶点的连通图G的立方图是可圈图当且仅当G不同构于任何一条偶路.该结果改进了Klostermeyer的3个定理.     

布尔路,布尔圈长度及维数

证明了ｎ－维立方图中布尔路与布尔圈之间的内在联系,给出了布尔路,布尔圈的长度及其维数估计。     

基于熵互信息理论的基因调控网络的研究

将熵互信息理论应用到布尔基因调控网络中,并推导出了多个基因决定某个或多个基因的表达值的逻辑规则,根据得到的逻辑规则建立了基因逻辑电路网络,根据该网络和逻辑电路网络分析方法又建立了基因调控网络动态转换图,从而揭示了基因之问的调控关系。     

逻辑函数的树形简化法探讨

提出用树形结构来简化逻辑函数 .其指导思想是 :将几个逻辑变量 x1x2 … xn 及它们的非 x1x2 … xn看成是图中的 2 n个节点 ,将逻辑函数中每个最小项看成是图中的一个树 .然后 ,按文中所指出的规则就可以得到无冗余的最简与或逻辑表达式     

一般Boole格的单点扩张Boole—最小扩张Boole格

对一般Ｂｏｏｌｅ格Ｌ，利用其Ｓｔｏｎｅ空间的特征已讨论了Ｌ的单点扩张Ｂｏｏｌｅ格Ｅｐ（Ｌ）［１］。在其代数结构上并未给出Ｅｐ（Ｌ）与Ｌ之间的关系．现从代数结构上讨论一般Ｂｏｏｌｅ格的扩张，而且给出了一般Ｂｏｏｌｅ格的最小扩张Ｂｏｏｌｅ格．     

无限置换群上一布尔代数的性质

证明了无限置换群G上的一布尔代数β（G,Ω）的Cantor－Bendixson导数β(1)是原子的且只有有限多个原子。     

关于备Boole格的支柱

本文证明了备Boole格可以是没有支柱的。     

图的传递指数

利用图论方法，给出了图的传递指数若干性质，并给出了传递指数的上界与下界。     

FranklinC51语言编译错误分析及解决方法

针对ＦｒａｎｋｌｉｎＣ５１语言编程中容易出现的几种错误，用三个实例分析指出了Ｃ５１产生错误的原因，并给出具体的解决办法。     

布尔格的主同余

基于布尔格的次直积同构表示,引入布尔格的元的不可辨下标集的定义,给出布尔格的元的不可辨下标集的简单性质.应用布尔格的元的不可辨下标集给出布尔格的主同余的刻画,并给出有穷布尔格的主同余的基数与布尔格的元的不可辨下标集的基数的联系,从而得到布尔格的主同余的构造方法.     

对Dijkstra量词研究的补充

在Dijkstra的研究工作的基础上，对量词作进一步的探讨，主要以存在量词的几个基本性质作为假定，并由此推出有关存在量词和全称量词的其他一系列的性质。可视为Dijkstra的补充，从而使人们对量词的性质有更深的认识。