关于电压群是Z4^2时图K6的连通拓扑覆盖图

讨论了图K6的电压群为224的连通拓扑覆盖图,发现图K6没有具有以下条件的连通正则拓扑覆盖图:拓扑覆盖传递群同构于224;保持束不变自同构子群G2-弧传递的作用于图Γ~.     

关于电压群是Z24时图K6的连通拓扑覆盖图

讨论了图K6的电压群为Z24的连通拓扑覆盖图,发现图K6没有具有以下条件的连通正则拓扑覆盖图:拓扑覆盖传递群同构于Z24;保持束不变自同构子群G2-弧传递的作用于图(Γ～).     

交错群A5的4度连通对称图的分类

一个图Г称为Ｇ－对称的，如果其同构群Ａｕｔ（Г）的一个子群的Ｇ在图Г的有向弧集上的作用传递的。本文主要结果是：设图Г是４度对称图，全自同构群Ａｕｔ（Г）＝Ａｓ则图Г是且是如下图之下图之一：（１）Г是１５个点的完全图Ｋ５的三覆盖（３－ｆｏｌｄ ｃｏｖｅｒ）图，（２）Г是完全图Ｋ５。     

无平方因子阶本原2-弧传递图

通过对有限群的子群结构和图自同构群的点稳定子群分析,给出了无平方因子阶的2-弧传递图的分类和刻画,采用极大子群分析法证明了此类图同构于完全图、双截断Witt图或文中构造的四类陪集图之一。     

p阶围长为4的4正则的4色图

1970年,Gruenbaum 提出如下猜想“对于所有的整数 m>1和 n>2,均存在围长至少为 n 的 m 正则的 m 色图.”迄今为止,对于 n,m≥4,仅知道3个小阶数的这类图.本文证明了,对于任意整数 p≥20,均存在一个 p 阶围长为4的4正则的4色图.     

有关4正则简单图性质的讨论

1973年C.Berge提出了关于正则图的一个猜想[1],每个4个正则简单图都包含3正则子图,本文讨论了几种4正则简单图,并给 了4正侧简图存在3正则子图一个充分条件。     

一类拟二面体群的三度Cayley图的正规性

有限群G的一个Cayley图X=Cay（G,S）称为正规的,如果右乘变换群R（G）在AutX中正规.决定Cayley图是否正规,对于确定它的自同构群的有重要意义.本文综合运用有限群的知识与图的组合技巧证明了一类4m阶拟二面体群G=〈a,b｜a2m=b2=1,ab=am＋1〉的3度无向连通Cayley图的正规性,其中m=2r,且r〉2,并得到该类正规Cayley图.     

一类循环图的计数

讨论了4度循环图的结构。所有n阶4度非同构的连通循环图被分为两类:Ⅰ类和Ⅱ类。给出了计算Ⅰ类循环图的计算公式,改进了关于n阶4度非同构的循环图的计数公式。     

4度循环图的宽直径

研究了涉及图中两点间k条内部不交路的图的宽距离和宽直径。根据循环图的传递性和对称性,得到了n阶4度连通循环图的宽直径的上下限。所得结果可用来度量以循环图作为模型的一类具有高度对称性的网络的通信传输的延迟性能和容错性能。     

正则二部竞赛图的弧Hamilton反回路性

1967年和1974年Alspach等证明了p阶正则竞赛图T∈∩~(P-1)_(k=2)P_k和T∈∩~(P-1)_(k=3)P’_k(p≥7)。由此,自然会提出这样的问题,对于正则二部竞赛图相应的Alspach结果能否成立?1987年在[3]中回答了P阶正则二部竞赛图,R∈∩P_2_(k-1);除非RR_P~*.其中V(R_P~*)={u_1,u_2…u_4r},A(R_P~*)={u_iu_j|j-i≡1(mod4},本文证明了p阶正则二部竞赛图R∈P’_H,除非RR_P~*.并提出如下猜想.p阶正则二部竞赛图R∈∩~(P/1)_(k=2) P’_2(k-1)。除非RR~*_p.     

循环群半直积上Cayley图的有向Hamilton圈

给出了一个循环群与一个二阶循环群半直积上Ｃａｙｌｅｙ图存在有向Ｈａｍｉｌｔｏｎ圈的一个充分必要条件，并给出了任意两个循环群半直积上Ｃａｙｌｅｙ图存在有向Ｈａｍｉｌｔｏｎ圈的一个充分条件，从而部分的解决了文献（１）中提出的问题。     

一种多粒度覆盖粗糙集模型

多粒度粗糙集是粗糙集模型在多粒度及分布式环境中的一种重要的拓展形式,其主要思想是采用一族而非一个粒空间中的知识来对目标进行粗糙逼近。将多粒度的思想引人覆盖粗糙集模型中,采用一族而非单个的覆盖,提出了一种多粒度覆盖粗糙集模型。     

m<50时完全二部图K_(n,n)的循环m-圈分解

设Kn,n表示每部分具有n个顶点的完全二部图,本文利用差集的方法来构造Kn,n的循环m-圈分解,讨论了30相似文献   

Two Classes of Models of Granular Computing

1 Introduction Basic ideasand methods of granularcomputing have been employed to problem solvingin many ap- plied fieldsfor a long time.In granularcomputing one usesgroups ofelements (calledgranules)instead of individualelements.Main reasonsfornecessityof…     

离散型神经网络的数学理论(Ⅰ)--网络状态图

该系列文章重新系统地研究了离散型神经网络的数学理论．此文属首篇,引入了一种新的研究工具——网络状态图．对于离散神经网络而言,通过引入网络状态图,可以很清楚地看到该网络的运行机理：网络是否收敛,网络有多少个稳定吸引子,有多少个环吸引子,并能清楚地反映各类吸引子的吸引域．在这篇文章里,比较详细地讨论了网络状态图的一些基本性质,诸如网络的分支数等于网络稳定吸引子与环吸引子数目之和;对称离散神经网络、反对称离散神经网络在全并行运行条件下网络状态图的结构特征等．     

On the graph traversal method for evaluating linear binary-chain programs

Grahne et al. have presented a graph algorithm for evaluating a subset of recursive queries. This method consists of two phases. In the first phase, the method transforms a linear binary-chain program into a set of equations over expressions containing predicate symbols. In the second phase, a graph is constructed from the equations and the answers are produced by traversing the relevant paths. A new algorithm is described which requires less time than Grahne' s. The key idea of the improvement is to reduce the search space that will be traversed when a query is invoked. Further, the evaluation of cyclic data is speeded up by generating most answers directly in terms of the answers already found and the associated "path information" instead of traversing the corresponding paths as usual. In this way, this algorithm achieves a linear time complexity for both acyclic and most of cyclic data.     

两类联图的优美性

给出了两类联图Ｐ１∨（Ｐ１∨２Ｐｎ）及ｓｔ（ｎ）∨Ｔ,论证了这两类图都是优美图,由此推出一些有意义的结论。     

柴窝堡二维地震资料目标处理方法研究应用

柴窝堡地区地震资料采集于上世纪八十年代,受当时技术条件限制,老资料能量弱,覆盖次数低,导致处理成果信噪比低,难以满足解释要求。在重新处理过程中,通过对地震地质资料特点的全面分析,针对处理目标从静校正、噪音衰减、精细速度分析到偏移制定了一系列有针对性的处理方法,通过应用实施取得了很好的效果。     

帽挂图的调和性

提出了帽挂图Ｍ（ｎ，ｔ，Ｇ）的概念，并证明了，当ｎ＝２ｍ＋１，ｍ≥１，ｔ≥１并Ｇ为一个强调和图时Ｍ（２ｎ＋１，ｔ，Ｇ）是调和图的结论同时也对Ｍ（２ｍ，ｔ，Ｇ）的调和性给出了评述。     

联合公式判定非循环执行路径

针对触发图中有环时,在实际运行中仅执行有限次,该规则集可能是可终止的,通过对规则集的静态分析,提出了联合公式的概念,给出了判定联合公式是否满足条件的算法和时间复杂度分析,联合公式的提出,简化了非循环路径的判定工作,为判定主动规则触发图为有环时的可终止性奠定了基础。