2) TSNF
时态简单范式
1.
A Deposition Algorithm on TSNF with Multigranularities Constraint;
多时间粒度约束的时态简单范式的分解
3) SIMPLE KEY NORMAL FORM
简单关键字范式
4) simple scientific mode
简单性科学范式
5) Total order temporal SNF
全序时态简单范式
6) Normal form reduction
范式化简
补充资料:Boole函数的范式
Boole函数的范式
Boolean functions. normal forms of
致洲月e函数的范式!B。目e韶腼比佣5.normaifom.sot’;E抑e.‘Ix中扒。目“盛I.oPM旧日‘.I,Ie和p删] 表达Boole函数一类特殊公式.区别为析取范式 (disjunctive normal form)(见B喊e函数的极小化(Boolean functio。5 mlnimization of))与合取范式(conzunctive noroial form).如果乘积x了,·x考的所有变元都不同,则称为人级匆等令零(elem“ntary conjunc-t,on),其中,当。二l时,x“二x二当a:二0时,、“=〔二“l”被看作o级的初等合取·如果逻辑和一弓丫一丫戈气的所有变元都不同,就称为;级的初等析取(elemen-tary dlsjunctlon)“‘0”被看作0级的初等析取. 公式吸l\/丫涯r,其中及,,…以分别是;一,r;级的互异的初等合取,称为一个析取范式,数乙一,r称为它的享伞件(complex,ty,;公式戮’“琳其中黔l,…贱分别是尸1,一p级的互异的初等析取,称为一个合取范式,数工泊。称为它的复杂性(com-Plexity).每个不恒为零的Boole函数都可由一个析取范式来定义,一般说,这种范式不是唯一的对于不恒为零的Boole函数,同样也可用合取范式来定义. 从定义Boole函数f(、,一凡)的一个表出发,容易得到家布哲粤苹享(详r几ctd‘sjunctiVen‘,rmalfofm)以!丫…\厂或、,其中谈二一‘,一x哭’·‘,二二1 ,‘),同时忆一,氏。满足‘(认1.·…氏。)=1-表达一个Boole的数f的完满析取范式是唯的.完布仓零苹感(娜r全补“‘conjunct,Ve‘“orma}for“‘)‘“丁以类似地来定义. 对“儿乎所有的”Boole函数,山于一单位集的个数在2门’一石2”2与,{+护万2”’之间变动,故对J‘.儿乎所有的”Boole函数,完满析取范式的渐近复杂性是nZ”’.那些仅在点取零值的凡几‘Boole函数,其完满析取范式具有最弋的复杂性这个复杂性是。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条