论文部分内容阅读
为了在基于格蕴涵代数的格值逻辑系统中构造行之有效的归结证明算法，该文探讨了经典归结及一些扩充的模糊逻辑的归结方法的局限性，并提出了一种针对蕴涵的类归结方法和一些值得探讨的问题。
基于格蕴涵代数的格值逻辑中的类归结方法
【摘 要】
：
为了在基于格蕴涵代数的格值逻辑系统中构造行之有效的归结证明算法，该文探讨了经典归结及一些扩充的模糊逻辑的归结方法的局限性，并提出了一种针对蕴涵的类归结方法和一些值得
【机 构】
：
交通大学智能控制开发中心(成都)
【出 处】
：
全国首届模糊控制学术交流会
【发表日期】
：
1997年期
其他文献
该文用高精度的解析离散法计算了从静止突然启动的圆柱绕流的非定常层流边界层。时间方向采用二阶精度的两层格式，物面法向导数采用三点９阶解析离散格式，流动方向的一阶导数采用
该文从为了获得遥感数字图像通信最佳帧同步捕获性能，改进了传统的格式化同步器实现方案，导出了容错门限自适应的格式化同步器，给出了自适应容错门限格式化同步器帧同步一次捕获
该文采用离心模型试验和有限元数值分析方法对格形钢板桩结构的侧向变形进行了研究。首先简要介绍了格形结构的离心模型试验成果，并对格形结构的变形机理进行了分析，从而在有限
该文提出了推导格型编码调制（ＴＣＭ）码生成函数的简化方法，设计了一种级联ＴＣＭ和ＰＳ码的卫星数字视频广播（ＤＶＢ－ｓ）传输方案，分析了该方案的基本原理和设计指标，并对其误码性能进行计算机模拟。模拟结果
该文从理论和实验两方面讨论了格形矢量量化（ＬＶＱ）在图象压缩中的应用，提出在一定条件下，对非均匀分布的信源矢量进行ＬＶＱ，可通过引人熵编码使其达到最优的量化性能。该文最后对基于ＬＶＱ和ＪＰＥＧ的图
该文给出了由格蕴涵代数诱导出的伴随半群及有关概念，详细讨论了伴随半群中的元素即格蕴涵代数的左映射ａ的性质，得出了ａ的稳定子S(ａ)，像Imａ和核Kerａ之间的关系，同时得到了关于ａ的几个等