一类本原不可幂定号有向图基的界

本文对一类本原不可幂定号有向图的基进行了研究,通过分析此类图的特点,运用一种新的方法,结合本原指数、SSSD途径和Frobenius的特性给出了此类图基的界。     

七点有向θ图的图设计

设Kv是一个v点的有向完全图,G是一个简单有向图,Kv的一个G-设计,记为(v,G,1)-GD,是指一个二元组(X,B),其中X为Kv的点集,B为Kv的一些子图(也称为区组)构成的集合,使得任一子图(区组)与G同构,且Kv的任意两个不同点组成的有向边恰在B的一个区组中出现。研究了七点有向图的图设计的存在性问题。     

极大局部边连通有向图的度条件

对有向图D=(V(D),E(D)),顶点u和v的局部边连通度λ(u,v)=min {X:X∈E(D),D-X中不存在从u到v的路}.若对D中任意两个顶点u和v,λ(u,v)=nin{d+(u),d-(v)},称D为极大局部边连通的.笔者得到了有向图是极大局部边连通的两个度条件.推广了别人的三个结果.     

有向图的无圈色数的上界

有向图D的无圈色数定义为满足下述要求的D的顶点染色中的最小色数:同色顶点集在D中的导出子图不含有向圈。本文给出D的无圈色数的三种上界,它们改进了已知结果并可以认为是无向图的色数上界在有向图情形的推广。     

自动导引车系统的有色时延PN-有向图建模

基于有色时延Petri网理论、有向图理论、PN的合成和简化技术,结合烟草行业的卷接包车间为典型实例对自动导引车系统(AGVS)进行分析,构造了AGVS的有色时延Petri网-有向图模型,包括适合于仿真软件开发的AGVS有色时延Petri网模型,适合于路径优化研究的AGVS有向图模型和从有向图模型得到有色时延Petri网模型的转换算法。利用该模型成功的开发了AGVS仿真软件系统AGVSim。     

On的局部极大J-平凡子半带

本文刻划出On的每个局部极大J-平凡子半带,并证明了它们都是富足的.     

基于SDG的加热炉HAZOP与故障诊断

随着现代流程工业日益大型化和复杂化,生产中重大恶性事故不断发生,促使人们越来越重视对安全技术问题的研究,而安全评价与故障诊断正是安全工程领域中的两个重要方面。在分析符号有向图(SDG)技术的理论基础上,探讨了SDG定性模型在计算机辅助HAZOP安全评价和故障诊断中的实际应用,并针对石化领域中常用的加热炉设备,建立SDG模型进行HAZOP和故障诊断分析。实验结果表明,基于SDG的HAZOP和故障诊断技术具有完备性好、节省时间、人力、费用等众多优点。     

关于四个两两无交有向图n·(-C3)之并的优美性

文章中证实了四个两两无交有向图n·(-C3)之并的优美性及两两无交有向图n·(-C3),n·(-C3),2n·(-C3)之并的优美性,标号设计采用了对顶头数n分段设计方法.