正则图与其补图的全色数

利用全图的性质研究图的全色数.给出正则图及其补图的全色数之间的关系。得到:若 G 是 k-正则图(2≤k相似文献   

LiNbO_3单晶蚀象、光象、形态、结构之间的关系

研究了 LiNbO_3单晶的蚀象、光象。观察到与晶体方向有关的蚀象和光象之间有对应关系,且各晶面上蚀象及光象的对称性均与晶体的对称性相一致。认为晶体的微观结构决定了它的表面形态,蚀象是该形态的一种表现形式,而光象则是蚀象的一种光学效应。     

重力变化对贝纳德效应的影响

本文根据实测资料提出重力加速度随时问变化的一种简化表示;在重力发生扰动时对贝纳德问题的动力学方程进行求解,指出在此种情况下贝纳德花样的特性与地震预测间的可能联系。     

图的路覆盖数的上界

设G是简单图。记ρ(G)为覆盖图G所需路数的最小值。本文证明了ρ(G)≤[2n/3];且若G是连通图,则ρ(G)≤[3n/5]。     

加法分拆数与乘法分拆数的上界

n是正整数,P(n)表示n的加法分拆数,f(n)表示n的乘法分拆数。F_n是Fjbonacci数列的第n项。在本文中,我们有: 1.给出了计算f(n)的递推公式; 2.证明了:P(n)≤F_(n+1),f(n)≤(2/3)n和f(n)≤n/logn(n≠144),从而回答了Hughes和shallit关于f(n)≤n和f(n)≤n/logn(n≠144)的两个猜想。     

关于图的4-色数

本文研究了图的４色数的界，得到了完全图．完全ｍ－部图、轮、圈和树的４－色数及图与补图４－色数间的关系，证明了图Ｇ与补图Ｇ的４－色数之和介于ｐ＋１与２ｐ之间。     

计算机供应管理信息系统分析与设计

本文结合对实际企业的系统分析与设计,提出了企业管理信息系统中的一个重要子系统——供应管理信息系统的逻辑模型与物理模型,同时对MRP方法的应用及系统分析与设计中的有关技术问题进行了讨论.     

多输出逻辑函数简化方法的探讨

本文提出一种用相关乘积卡诺图对多输出逻辑函数进行简化的新方法,即用一张相关乘积卡诺图便可求出所有的公有质蕴涵项,在单个函数的卡诺图上可求出最佳简化结果.文中论述了它的原理和使用方法,给出了简化步骤和优化准则,介绍了这种方法在设计中规模集成电路中的应用.     

F命题演算

本文在[1]的基础上,把普通命题推广到F命题,应用基本逻辑联结词,对F命题进行了逻辑演算。文中还推出了基本F公式,借以推证引出其它的为F的F函数。