排序方式: 共有18条查询结果,搜索用时 15 毫秒
1.
2.
3.
命题公式集F(S)的基于R0-算子的16类分划 总被引:1,自引:0,他引:1
利用R0-蕴涵算子对命题公式集F(S)进行分类,得出了F(S)的一个16类分划,并证明了这种分类关于非运算是同余分类.最后讨论了各类关于MP运算与HS运算的封闭性. 相似文献
4.
通过对模糊逻辑命题演算形式系统£^*的代数语义——R0代数的研究,给出了R0代数簇的完整分类,并利用L^*系统与幂零极小逻辑(NML)的等价性,由系统L^*是可代数化逻辑出发,得到与R0代数真子簇对应的£^*系统的全部公理化扩张,文中所用的方法用样适用于其他满足逆序对舍关系的逻辑的扩张,具有较好的扩展性。 相似文献
5.
在现有的基于中点与真布尔元对R0代数进行分类讨论的基础上,提出了R0代数的根的概念,并通过研究根的若干重要性质给出了含真布尔元的R0代数结构特征的一个精细刻画,从而完全解决了这类R0代数的结构问题. 相似文献
6.
7.
通过对模糊逻辑命题演算形式系统L*的代数语义--R0 代数的研究,给出了R0代数簇的完整分类,并利用L*系统与幂零极小逻辑 (NML)的等价性,由系统L*是可代数化逻辑出发,得到与R0代数真子簇对应的L*系统的全部公理化扩张,文中所用的方法用样适用于其他满足逆序对合关系的逻辑的扩张, 具有较好的扩展性. 相似文献
8.
命题公式集F(S)的基于R0-算子的16类分划 总被引:1,自引:0,他引:1
利用R0-蕴涵算子对命题公式集F(S)进行分类,得出了F(S)的—个16类分划,并证明了这种分类关于非运算是同余分类.最后讨论了各类关于MP运算与HS运算的封闭性. 相似文献
9.
为满足航天器有效载荷间高速数据传输的发展需求,提出了两种SpaceWire总线可靠性的改进方案;在SpaceWire总线描述的基础上,分析了字符的正确性校验和传输过程中的错误及检测恢复机制等提高可靠性的方法;针对通信链路发生物理性故障的问题,提出了两种基于硬件冗余机制的SpaceWire可靠性改进方案,一种是在系统间建立两个相独立的协议装置,另一种是使用多路输出选择器进行切换将数据传输给目的节点;通过实验验证,两种方案能够处理通信链路出现物理故障的问题。 相似文献
10.