连通、几乎局部连通无爪图是完全圈可扩的

设Ｇ是一个图,Ｂ ＝ ｛ｖ ∈Ｖ（Ｇ）｜〈Ｎ（ｖ）〉不连通｝．如果Ｂ是独立集,并且ｖ ∈Ｂ,ｕ ∈Ｖ（Ｇ）, 使〈Ｎ（ｕ） ∪｛ｕ｝〉连通,则称Ｇ是几乎局部连通图．本文证明：连通、几乎局部连通无爪图是完全圈可扩的．     

Petersen图中包含给定边集的最长圈及其在3－正则图中的应用

给出了Petersen图中包含给定边集的最长圈的结果及该结果在3-连通、3-正则图中的应用；最后提出两个问题。     

局部几乎正则多部竞赛图中的分量共轭圈

一个n-部竞赛图是n-部完全图的一个定向.令V₁,V₂,…,V_n是n-部有向图D的部集.如果D中存在两个不相交的圈C和C'使得对于每一个i∈{1,2,…,n}都有V_i∩(V(C)∪V(C'))≠ƒ,则称C和C'是D的一对分量共轭圈.针对多部竞赛图的共轭圈问题,提出了分量共轭圈的定义,同时证明了每一个至少有6个顶点的部集具有相等基数的局部几乎正则多部竞赛图的分量共轭圈的存在性问题.     

无界时延混合Petri网(UTHPN)的可覆盖性演变图及性质

时延混合Petri网(THPN)是由David最早提出的一类混合Petri网模型,而构造时延混合Petri网的演变图是对其性质进行分析的有效方法.赵义军等在文[1]中给出了有界时延混合Petri网的演变图构造方法及性质分析,但对无界的时延混合Petri网,其演变图却不能用同样的方法构造出来.在本文中,通过引入无界量符号ω,给出了UTHPN的可覆盖性演变图的构造方法,并在此基础上讨论了UTHPN的有关性质.     

基于有向循环图的多学科设计优化模型调度方法

复杂产品的多学科设计优化过程中，往往会涉及到不同学科的专业分析模型以及各种商业软件应用的集成调度运行问题。在多学科设计优化过程中模型应用集成的基础上，结合设计模型的调度需求，研究了多学科模型的调度运行，并给出了基于有向循环图的通用模型调度解决方案，包括回路探测算法和模型调度算法。最后设计并实现了支持复杂产品多学科设计优化软件框架——iDesign的调度引擎，并以一个设计模型的调度为例，验证了方法的正确性和可行性。