【摘 要】
：
本文首先从有限区间值模糊命题逻辑出发,讨论其逻辑代数及广义重言式的性质;通过将S-型蕴涵修改为R-蕴涵,找出区间值模糊命题逻辑I[0,1]的最大子代数,并在其中将王国俊教授的
论文部分内容阅读
本文首先从有限区间值模糊命题逻辑出发,讨论其逻辑代数及广义重言式的性质;通过将S-型蕴涵修改为R<,0>-蕴涵,找出区间值模糊命题逻辑I[0,1]的最大子代数,并在其中将王国俊教授的广义重言式理论进行推广,讨论了区间值模糊命题逻辑I[0,1]的广义重言式的性质及分类,并给出局部赋值的广义重言式定义,在其中讨论重言式的升级算法.由此说明王国俊教授关于一维赋值格的理论需要加一定的限制条件才能推广到二维赋值格上去,而这一限制条件有着显而易见的实际背景,说明这样的限制是十分必要和不可避免的.
其他文献
可修系统的维修问题一直是可靠性理论研究的热点问题.维修模型的建立又是可靠性性数学理论中研究系统维修问题的关键所在.在更接近实际的情况下建立系统的运行模式，利用最优化
该论文讨论了三类Sobolev方程的有限元方法的数值模拟.
该文主要包含如下三部分内容.第一部分(第二章),着重研究连续映射和连续流的极限跟踪性.首先,给出了极限跟踪性的一些基本性质;其次,得到了n维欧氏空间上线性自同构及线性流
分数阶微分方程将整数阶微分方程拓广到任意阶微分方程，逐渐发展成为微分方程的一个重要分支，尤其适合描述带记忆和遗传现象的物理和力学过程。迭代学习控制技术作为智能控制和
松粳15是黑龙江省农业科学院五常水稻研究所1999年以松97-98为母本,东农V4为父本,杂交后代采用系谱法选育而成。2007年参加所内产量鉴定,决选后暂定名松06-308,2008～2009年参
隐马尔科夫模型(Hidden Markov Model,简记为HMM)作为一种统计模型,在模式识别与随机信号处理中有着广泛的应有.小波理论是近年来兴起的一种崭新的信号分析理论,在许多信号处
该文用马尔可夫法,对可修串-并联系统和可修并-串联系统的可靠性进行了分析.文中在总结了分析这些系统可靠性的基本理论和方法后,针对由多个部件组成的一般串-并联系统和并-
该文分别构造了具有2个位势和3个位势的等谱特征问题.从等谱问题出发,利用屠格式导出了著名的广义Burgers方程族和一类新的MKdV-NLS方程族,及一族离散的非线性演化方程,且证
早在1907年P.Montel就提出了关于正规族的概念，他把具有某种列紧性的函数族称为正规族.近几十年以来，学者们在亚纯函数正规性问题方面已经得出了许多比较深刻的结果.本文在前人
该文对M序列(即 De Bruijn序列)进行了研究.M序列是一种伪随机码,具有良好的伪随机性,在密码学中有着很重要的应用.n级M序列的状态图就是n级德布鲁恩-古德(de Bruijn-Good)图