Results 11 to 20 of about 4,440 (177)
Graphical method of detecting linear functions and partial linear functions(线性函数和部分线性函数的图形检测方法)
线性函数是布尔代数中常用的特殊函数之一,本文根据线性函数、部分线性函数的定义与性质,提出了检测线性函数与部分线性函数六个定理.在此基础上,给出了基于K图与bj图的线性函数与部分线性函数的图形检测方法,并举例说明具体检测过程.
ZHAOMin-xiao(赵敏笑) +2 more
doaj +1 more source
提出了基于改进分解图(D图)同时计算布尔函数的1阶、2阶e-导数、c-导数及布尔导数的方法,讨论了当布尔函数的变量数为偶数(即n = 2k)时,计算k阶及k阶以下全部e-导数、c-导数及布尔导数所需的D图数.与传统方法相比,该方法显著减少了D图数,且简单、有效、易于计算机编程操作.
WANGFang(王芳)
doaj +1 more source
On solutions to the diuphantion equation (关于丢番图方程的解)
丢番图方程是一种很重要的且引人注目的指数丢番图方程.用初等方法证明了,若f(x) = (g(x))2+a,a∈Q,这里g(x)是系数的最大分母为k的有理系数多项式,2r|| k,则该方程在2n时的解(x,y,n)必满足,从而给出了该类方程的解的上界,改进了参考文献中的一些结果.
YANGShi-chun(杨仕椿)
doaj +1 more source
Sanitary survey rapport 17: Venø Bugt, Kås og Salling
Denne sanitary survey vurderer de potentielle mikrobiologiske forureningskilder, der kan have betydning for muslingeproduktionen i området Nissum Bredning, som er underopdelt i ti produktionsområder (P5, P6, P7, P8, P9, P11, P12, P13, P14 og P15), der inkluderer Venø Bugt, Venø Sund, Kås Bredning, Sallingsund, Lysen Bredning, Dråby Vig og Fur Sund ...
Feld, Louise +6 more
openaire +2 more sources
针对包含任意项的逻辑函数,提出了一种利用该类逻辑函数K图和bj图的图形转换来实现一阶布尔差分和二阶布尔差分计算的方法.实例表明,该图形方法具有简单、直接、方便的特点.
WANGYong-chao(王勇超) +1 more
doaj +1 more source
Research on the properties of rotation symmetric boolean function(关于旋转对称布尔函数性质之研究)
旋转对称函数为特殊布尔函数,本文阐述了旋转对称函数的定义,提出了旋转对称函数的性质,并给出了相应的证明,讨论了该函数在k图、bj图、谱系数图中的特点.
YUANShu-hong(袁书宏) +2 more
doaj +1 more source
PRESERVATION AND REVITALISATION OF THE ENDANGERED GĨKŨYŨ FLUTE
Based on observations, interviews, and recordings collected in Kenya in May-June 2015, this article presents a summary of the search for a nearly “extinct†musical instrument and the need for advocacy research. The mũtũrĩrũ, originally an oblique bark flute of the Agĩkũyũ of Kenya, is also made from more durable bamboo and plastic.
openaire +1 more source
目的 比较SWI相位图病灶本身信号强度(传统直观)法与病灶周围征象即极晕(间接)法对单纯出血或单纯钙化的诊断效能。 方法 本研究纳入以随访CT为“金标准”(单次病灶CT或复查CT值变化)的单纯钙化灶和单纯出血灶。针对每个病灶分别采用SWI相位图病灶本身信号强度(传统直观)法和病灶周围极晕(间接)法评估。SWI相位图全部转换为右手图后再进行评估。SWI相位图病灶本身信号强度(传统直观)法评估标准:病灶本身呈低、高信号分别代表出血及钙化。病灶周围极晕(间接)法评估标准:低信号两极征或高信号反晕征 ...
苏录,高培毅
doaj +1 more source
Graphic method for detecting special logical function including don't cares(含任意项特殊逻辑函数的图形化检测)
从K图出发,提出了利用二叉树法对含有任意项的冗余函数、线性函数、对称函数、自反函数及自双反函数等特殊逻辑函数进行检测的图形化方法.实例表明,该图形方法具有简单、直接、方便、可编程的特点.
WANGYong-chao(王勇超) +1 more
doaj +1 more source
ABSTRACT Transition metal carbides demonstrate exceptional mechanical properties but confront a critical hardness–toughness trade‐off. Spinodal decomposition‐mediated phase separation is an effective approach to enhance mechanical properties in carbide ceramics through high‐temperature treatment.
Zhi‐Xuan Zhang +6 more
wiley +1 more source

