多值逻辑与范布尔代数

来源 :计算机学报 | 被引量 : 0次 | 上传用户:RRR6670
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
<正> 多值逻辑的广泛应用,越来越引起人们的关注。本文提出在满足良序关系的多值逻辑系统中,用二值范布尔代数表示多值逻辑变量分量系数的方法,该方法使用二值逻辑运算来处理多值逻辑问题,在多元多值的情况下,亦能方便地借助计算机进行辅助设计与分析。
其他文献
8月29日消息.封关6年后.欧盟目前决定恢复对中国熟制禽肉产品的进口,但是明确界定仅有山东省企业具有出口资质,业内人士估计,恢复出口可能将给山东增加至少约3亿美元的出口收入。
随着饲料行业第3次洗牌期的到来,饲料行业的发展越发呈现出品牌化、规模化、产业化、专业化、精益化的特点。要与之相适应的,就要求饲料企业的生产管理也要能够跟得上企业发展
目的探讨白藜芦醇对人外周血γδT细胞体外增殖及该细胞对肝癌细胞SMMC-7721细胞活性的影响。方法分离健康人外周血单个核细胞(PBMC),放入含有IL-2、帕米膦酸的RPMI 1640培养基
举世瞩目的第五代计算机正越来越多地使用多值逻辑技术,自从1921年Post首次提出具有逻辑功能完备性的多值代数系统以来,已经发表了不同类型的多值代数系统,但大多侧重于代数
本文提出一类能够纠检单个字节错误的最小方阵码,码的校验矩阵的重量达到最小,从而使得编译码电路较省、速度较快。 基于最小方阵码,本文给出一种快速内存纠错方案。
本文讨论了专家系统中推理机制的硬件实现问题,给出了能完成确定的正向推理及可以处理不确定性的近似推理AR(Approximate Reasoning)的,用多元逻辑电路(DYL)实现的逻辑电路。
本文基于任务相关、作业排队等理论,提出构造宏流水线并行算法的一种有效方法,并且利用这种方法构成了一组用于数字信号处理的线性和非线性宏流水线并行算法.其中部分算法已
本文提出了一个形式化的程序设计方法,即以循环不变式为指导,运用程序变换规则从程序说明逐步地形式化地推争程序。生成的程序对于输入说明和输出说明是正确的。我们使用正则
期刊
本文介绍一种“混合型”建筑套型的数据模型结构,它具有构造简单、灵活,结构易于扩充、修改,存贮量少的优点,它使用较少的存贮数据和模式一致的语法描述形式以及图形、参数的自动生成技术可以实现不同方案的重复性生成和评价。
2006年是国内玉米市场不平凡的一年。2006年国内玉米市场的不平凡体现在3个方面。其一.当年玉米产量预计可以达到14200万t的历史最高水平。这是国家粮油信息中心在其每月发布