检测含任意项特殊逻辑函数的图形方法

线性函数、冗余特殊、自反函数、自双反函数等特殊逻辑函数在电路设计中具有独特的优点.从特殊逻辑函数的定义出发,提出了基于K图检测含任意项线性函数、冗余函数的方法及基于分解图检测含任意项自反函数、自双反函数的方法,并举例说明了具体检测过程.应用结果表明,该图形方法具有直观,便捷等特点.     

《宁波大学学报(理工版)》征稿简则

<正>本刊是宁波大学主办的综合性自然科学和工程技术学术期刊,创刊于1988年,现为季刊,国内外公开发行.主要刊登理、工、农、林、医等学科的学术论文和研究成果,欢迎本校师生和关心宁波大学建设的各方学人来稿.1投稿要求1.1文稿书写要求:文章论点明确、论据充分、层次分明,文字简练,图表清晰,文稿篇幅(含图表)一般在8000字以内.     

4度循环图的不交路及k-宽直径

研究了4度循环图,构造出其任意两点之间的四条内部点不交路,并且给出其宽直径的一个较好的上界。     

极大前缀码的部分幂

设X*是字母表X上的自由幺半群,以X*为顶点集构造一个语言图Γ(X*),引入语言图Γ(X*)的模截集的概念,给出了极大前缀码的一些性质,给出了极大前缀码的部分幂的一些性质,并推广了相关文献的结果。     

广义笛卡尔积图的连通度

本文定义了图G_1、G_2的广义笛卡尔积图G=G_1∫G_2,并且证明了它们的连通度具有关系k(G)≥k(G_1)+k(G_2)。这一结果是对文[1]中关于G_1与G_2直积的结果的推广。此外,本文还讨论了G=G_1∫G_2的直径及Hamilton性。最后,利用G=G_1∫G_2的结果对循环图的连通度进行了讨论。     

若干类满足■dm猜想的循环图

本文对阶数为素数幂n=p~n的循环图,讨论了它关于Adam同构的问题。对于无向循环图G_n(K),其中K={a_i,n-a_i|0相似文献   

二连通偶图的周长

本文给出了二连通偶图 G 的周长的下界的新的形式及 G 为哈密尔顿的新的充分条件.     

高温下夸克场真空图中的红外发散

用热传播子的实时形式对高温条件下夸克(忽略质量)场三圈真空图进行了详细地计算,找出了其中和费米–狄拉克统计因子有关的红外发散积分的类型,并对这种发散积分进行了正规化,进一步把真空图中的红外发散全部孤立出来了.     

线性相关计算法形成数字剪切散斑相关条纹图

本文提出了用线性相关计算法形成数字剪切散斑干涉条纹的新方法,从理论分析和实验研究均证明,用该方法所获得的数字剪切散斑相关条纹图在图象监视器上易于观看,条纹图象光强无直流分量影响且可见度较减模式要高,该新方法的采用为今后的条纹图象分析奠定了基础。     

首次测定短寿命缺中子同位素153Er和157Yb的EC/β+衰变纲图

利用¹⁶O重离子束轰击¹⁴²Nd和¹⁴⁷Sm同位素靶分别生成¹⁵³Er和¹⁵⁷Yb.借助氦喷嘴带传输系统和X-γ、γ-γ符合测量方法分离鉴别核素并测量其衰变性质.首次建立了¹⁵³Er和¹⁵⁷Yb的EC/β⁺衰变纲图.从中指认出¹⁵³Ho的一个新三(准)粒子态和两个新单粒子态,指认出¹⁵⁷Tm的一个新的同质异能态和一条新转动带.低位能级系统分析表明:在Ho和Tm这两条奇A核的同位素链中基态形状的转变区都在中子数86和88之间.