【摘 要】
：
<正>为适应不确定推理之需要,Mukaidono提出并系统地研究了正则三值逻辑函数的理论.这类函数个数的计算十分复杂,至今仅对自变量个数小于7的情形提出了若干结果.本文将反链方
【机 构】
：
陕西师范大学数学系西安710062
论文部分内容阅读
<正>为适应不确定推理之需要,Mukaidono提出并系统地研究了正则三值逻辑函数的理论.这类函数个数的计算十分复杂,至今仅对自变量个数小于7的情形提出了若干结果.本文将反链方法与该类计算联系起来,从而为解决该类问题提供了一种新的可能途径.定义1 设E={0,1/2,1},在E上除通常序“≤”外,再定义偏序(?)为:0(?)1/2,1(?)1/2,i(?)i.这两种序在E~n上各诱导出相应的乘积序,仍记为“≤”或“(?)”.映射f:E~n→E称正则函数,若(?)a,b∈E~n,当a(?)b时
其他文献
<正>经典分析力学的Poisson理论是一种重要的积分理论,是指对Hamilton系统定义的Poisson括号,第一积分的Poisson条件以及由两个已知积分经过Poisson括号运算而生成第三个积分
<正>近年来,采用“LB”膜和分子自组装技术在电极表面形成的高度有序的单分子层化学修饰电极,由于能在电极表面建立特定的化学微结构而引起人们的关注.用饱和烷烃巯基化合物
<正>磁共振成象(Magnetic resonance imaging,MRI)在过去20年里取得了巨大进展,在医学、生物、材料科学等领域有着广泛的应用.随着MRI方法的日益发展,其应用的深度和广度必将
<正>当一束准直的电子束或带电离子束轰击靶原子时,被碰撞电离的靶原子将发射其特征辐射或俄歇电子.一般来说,被电离的靶原子的空穴态满足一定条件(n,1>0,j>1/2),其伴随空穴
<正>尽管离子基在19世纪就已经发现,但由于其活性高、寿命短,直至近30年来,随着有机理论和实验技术的进步,人们对离子基才有了较深入的了解.已有证据表明,许多过去曾被认为按
捺画结字法一、撇捺对称捺画的形态变化取决于它在字中的位置。位置不同,写法也不相同。与撇画相接、相交于字格中线的捺画,同左边的撇画斜度长度要基本相当,对称展开,通常
<正>X射线仿真辐照材料是用于放射学和原子能利用等领域,代替人及生物体进行模拟实验的代用材料,其基本要求是材料与射线作用后对射线的衰减与所模拟的组织相近乃至相同.60年
武则天做了皇帝,改了国号年号,还要改文字。她又特别信禁忌,吉凶祸福说了便信,信了便要改。有个幽州人叫寻如意的报告:[国(國)字中的或字不吉利,暗示新国家或许会出事,不如
<正>热浸镀锌是大气中应用广泛的金属防蚀方法,然而,随着人们审美意识的增强,仅有银白色的热浸镀锌已不能满足人们的需要.1989年7月,在世界博览会上,日本首次展出了具有蓝、