简介：

简介：

简介：关于一般的图的完美匹配计数的问题已证实是NP—hard问题。但Pfaffian图的完美匹配计数问题（以及其它相关问题）却能够在多项式时间内解决。由此可见图的Pfaffian性的重要性。在这篇文章中，我们研究了若干种影响图的Pfaffian性的运算．

简介：设图G是一个简单图，图G的补图记为^-G，如果G的谱都是整数，就称G是整谱图．鸡尾酒会图CP（n）=K2n-nK2（K2n是2n阶完全图）和完全图Kα都是整谱图．本文确定了图类^-αKα∪βCP（b）中的所有整谱图．

简介：给出了一些新的紧图，并对不是超紧的紧图作了一些讨论．

简介：给出了一些新的紧图，并对不是超紧的紧图作了一些讨论

简介：同学们刚刚接触电学时往往对根据并联实物图画电路图以及根据并联电路图画对应的实物图感到困难．究其原因，还是没有掌握解题方法．下面本文将结合实例对这两类问题的解题方法作浅显的介绍．

简介：设G是一个图.设g和f是两个定义在V(G)上的整值函数使得对V(G)所有的顶点x有g(x)f(x).图G被称为(g,f,n)-临界图,如果删去G的任意n个顶点后的子图都含有G的(g,f)-因子.本文给出了图是(a,b,n)-临界图几个充分条件.进一步指出这些条件是最佳的.例如,如果对V(G)所有的顶点x和y都有g(x)＜f(x),n+g(x)dG(x)和g(x)/(dG(x)-n)f(y)/dG(y),则G是(g,f,n)-临界图.

简介：考虑了以数理逻辑中的等值演算为工具对一个结构较为复杂的定理的逻辑结构做了分析.这为我们常用的分析命题结构的方法如逆否命题等提供了一个新思路.

简介：基于图G的Mycielski图M（G），研究xb（G，TG）与xb（M（G），T’）之间的关系以及xb（G，TG）与xb（M（G），T＂）之间的关系，其中Tc为G的生成树，T’，T＂分别为M（G）的两类特殊生成树．并给出当G为二部图，完全图以及Halin图时，Xb（M（G），T＂）的值．

简介：同学们到影剧院是如何找座位的,影剧院票而要几个数据.

简介：在计算机辅助工艺设计中，工序图的设计是工艺设计的一个重要组成部分，是否有一个好的工序图的设计环境，直接影响到CAPP系统能否广泛应用。我所CAPP系统已正式应用于科研生产中。该CAPP系统的工序图设计是在AutoCAD下绘制的，在试运行中发现，工序图的绘制还比较繁琐，究其原因有：（1）到现在为止还没有一种商业化的专用工序图设计软件；（2）工艺工序图设计中有一些专用特殊符号（如定位符号、夹紧符号及焊接符号等）特殊的线型以及一些专用的标注符号等，这些符号如让工艺人员在通用的CAD软件中绘制既费时又不规范；（3）由于工序图只是一个示意图，很多图形是可用以前绘制的或别人已绘制好的相似的图形稍作修改即可，然而在全所范围内没有一个集中统一管理的工序图图库以供所有的工艺人员实现资源共享，各自为政，重复劳动较多。为了解决这一问题，需开发一个适合CAPP中工序图设计的专用工序图CAD系统。

简介：设n2≥n2≥…≥nk≥2是整数。若图G能边分解成G1+G2+…+Gk，这里X（G1）=n1,i=1,2,…k,则称G有（n1,n2,…,nk)-色因子分解。本文改进了Hakimi和Schmeichel关于图的色因子分解的结果，作为推论，推广了Matula和Harary等人的结果。

简介：设G是连通图。用r_c(G)、r_c(G)和ir(G)分别表示G的连通Domination数、全Domination数和Irredundance数,本文证明了下列结论:(1)r_c(G)≤3ir(G)-2(2)r_c(G)≤2r_t(G)-2

简介：本文证明了：如果Ｇ是２连通无爪图且Ｇ中不含同构于Ｚ３．Ｄ的导出子图．则Ｇ是Ｈａｍｉｌｔｏｎ图（除Ｇ≌Ｇ１．Ｇ≌Ｇ２外）。

简介：图G是一个简单，图G的补图记为^－G，如果G的谱完全由整数组成，就称G是整谱图，鸡尾酒会图CP（n）=K2n-nK2（K2n是完全图）和完全二部图Kα,α都是整谱图^[1]。^—μ1表示图类^－αKα,αUβCP（b）的一个主特征值，本文确图了当^-μ1=2b＋1时，图类中^－αKα,αUβCP（b）的所有的整谱图。

简介：介绍了时序逻辑单元和组合逻辑单元发生单粒子效应的机理,以反熔丝型FPGA芯片ActelA54SX32A为实验对象,设计了3种典型的链电路系统。在中国原子能科学院HI-13串列静电加速器上采用Br离子对电路进行辐照实验,在频率为20MHz的条件下,3个链电路的翻转截面分别约为3.268×10-3cm2,7.449×10-4cm2和3.988×10-4cm2。实验结果验证了在0.22μm工艺条件下,时序逻辑单元比组合逻辑单元更加敏感,并且在包含两者的电路中,组合逻辑单元会屏蔽部分单粒子效应。最后,针对电路中不同逻辑单元,给出了两种加固方法。

简介：在无限长逻辑Lω1ω的一个子逻辑L′ω1ω上建立了几个保持性定理.

简介：逻辑推理的方法和探索工具——类比思维若谷数学学习能使人聪明，故人们称数学是“思维的体操”类比思维就是“思维体操”中非常重要，非常关键的一节，著名数学教育家波利亚曾说过：“类比是获得发现的源泉，是最富创造性的逻辑推理方法和探索工具”。实际上，类比是根据...

简介：为了解决强边着色猜想,1993年,Brualdi和Massey(DiscreteMath.(122)51-58)引入了关联着色概念.陈东灵等[2]证明了对于△(G)=n-2的图G,inc(G)≤△(G)+2,其中n是G的阶数.本文将进一步探讨在什么条件下,它的关联色数肯定是△(G)+1,又在什么条件下,肯定是△(G)+2.