定性仿真与人工智能的关系及计算机化解法体系

定性仿真是采用定性推理方法建立和求解定性代数方程或定性微分方程模型,得到被仿真对象的定性行为和展望的预测过程。定性仿真(QSIM)和基于深层知识的人工智能技术,在其核心内容上看是属于同一科学领域。图论方法是求解复杂定量或定性仿真模型的实用且有效的计算机化方法。提出了有关定量和定性仿真计算机化的解法体系,给出了一种计算机求解实例。     

LDPC码概述及若干理论和应用问题

低密度奇偶校验码（LDPC码）被普遍认为是当今最先进的一种纠错码（信道编码）。LDPC码，图模型，迭代译码的研究热潮已在全球流行有10年以上。这篇论文高度概括的简述了LDPC码的背景和基本知识，从一些独特的视角并联系多个领域提出一些对LDPC码相关知识的理解方法和见解主张，总结了LDPC码当今最新的研究进展。从理论和应用两方面提出作者认为非常有意义的研究问题。     

Φ形图簇的伴随分解定理及其补图的色等价性

本文运用图的伴随多项式的性质,讨论了图簇ΦS（（k n＋1）δ,nδ）∪2kSδ的伴随多项式的因式分解定理,进而证明了它们的补图的色等价性.     

图的符号控制划分数的Nordhaus-Gaddum型结果

设G=(V,E)是一个简单图,在图G的所有符号(全)控制族中,基数最大的符号(全)控制族包含的符号(全)控制函数的数目称为是图G的符号(全)控制划分数.首先给出图的符号控制划分数的Nordhaus-Gaddum型结果,接下来,又给出了图的符号全控制划分数的Nordhaus-Gaddum型结果.     

3×n格子图的弱罗马控制数

图G的弱罗马控制数记作γr(G),是图G的所有弱罗马控制函数(WRDF)的最小权.本文运用指标函数法和比较函数法,确定了3×n格子图的弱罗马控制数.     

具有较小最大度的临界图边数的下界

运用Discharge法给出了不含2点和3点的6临界图及不含4点和5点的7临界图边数的下界．     

具有给定稳定数和连通性的极值图(Ⅱ)

讨论了一些相关问题：（1）已知连通度特征化极（非哈密尔顿）图；（2）特征化已知独立数极（非哈密尔顿）图；（3）特征化极（非哈密尔顿）图；（4）特征化极BC－闭图。     

图谱理论中一些定理的新证明

利用非负矩阵理论并结合图论性质,给出图谱理论中3个重要定理的证明,给出的证明方法比之前文献的证明更为简洁、易懂.     

49阶Steiner三连系的构造与计数

阐明了v=t^2阶Steiner三连系构造的基本思路。给出了任意完全图kv的边矩阵的定义，从而为图论研究提供了一个工具。提出了t^2阶Steiner三连系构造的一种方法。介绍了49阶Steiner三连系构造的全过程。讨论了t^2阶Steiner三连系的计数问题。     

模糊软图及性质研究

在给出模糊图,模糊软集的定义基础上,给出了模糊软图的定义,并得到模糊软图的交,并,补等运算和性质,最后给出了模糊软图连通性的定义和性质.