【摘 要】
：
在n值Goguen命题逻辑系统中增加了两类算子对合否定～和△算子,将该系统记为Goguen～,△.在此系统中建立t真度的概念,基于此真度给出了命题之间的t相似度与t伪距离(t任取～,△).证
【机 构】
：
延安大学数学与计算机科学学院,陕西延安716000
论文部分内容阅读
在n值Goguen命题逻辑系统中增加了两类算子对合否定～和△算子,将该系统记为Goguen～,△.在此系统中建立t真度的概念,基于此真度给出了命题之间的t相似度与t伪距离(t任取～,△).证明了t真度的MP规则、HS规则及运算性质.接着,在证明￡伪距离的基础上建立了度量空间,并论证了算子(→),V在逻辑度量空间(F(S),dn)中关于伪距离dn是连续的.
其他文献
减小阻力尤其是底部阻力,是飞行器增加航程的重要手段,而船尾布局则是减小底部阻力的有效措施.为研究船尾修型设计在亚声速段对飞行器阻力的影响规律,对某飞行器外形开展船尾
本文给出了素数阶群上的约简模糊幂半群、共轴模糊幂半群的概念.利用OP-极限讨论了约简模糊幂半群、共轴模糊幂半群中子半群的性质.刻画了约简模糊幂半群、共轴模糊幂半群的
基于弱模糊软集和强模糊软集的概念,给出了平均模糊软集的概念,讨论了平均模糊软集的一些基本性质.给出了具有相同参数集的两个平均模糊软集之间的几种相似度的定义,讨论了这
高端装备制造业作为我国的七大战略性新兴产业之一,是带动整个装备制造产业升级的重要引擎;知识产权作为创新驱动发展战略实施的重要载体,是体现国家竞争力的核心战略资源.以宁波市高端装备产业中的数控专用设备领域为研究对象,从专利量变化态势、地区分布、申请人分布等角度剖析了宁波市数控专用设备产业的知识产权发展现状,通过构建综合评价体系及耦合协调度模型对2010—2019年间宁波市数控专用设备产业和知识产权资源进行关联分析.研究表明,宁波市知识产权资源和数控专用设备产业发展处于中级协调状态,需要加强知识产权资源和产业
以模糊粗糙集的区间集思想与滤子理论作为研究工具,引入了区间集上非交换剩余格的广义fuzzy正规滤子,以此构造性给出广义fuzzy同余关系及其等价性表示定理,从而诱导性构成了
为简化构架避雷针风振时域计算从而有效降低计算耗时,以单跨和三跨构架避雷针结构为例,根据构架体系的结构特性和风振特点,提出一种简化计算方法,即对每个塔架单独建模并考虑
本文以船舶风险评估问题为背景,通过结合直觉语言变量、云模型和前景理论来构建风险型评价模型.首先,采用直觉语言变量表征决策者的主观评估信息;其次,利用云模型生成方法将
为了探讨血清Meprin A联合NT-proBNP对川崎病(KD)伴冠状动脉损害(CAL)的预测价值,选取宁波市妇女儿童医院住院KD患儿334例为实验组,同期匹配的上呼吸道感染患儿201例为对照组,实验组依据超生心动图结果分为冠状动脉损害组(CAL组n=64例)与无冠状动脉损害组(NCAL组n=270例),所有KD患儿在急性期与恢复期分别检测血清Meprin A、NT-proBNP等相关实验室指标,运用Logistic回归方程拟合Meprin A及NT-proBNP的联合诊断模型,并绘制受试者工作特征(R
本文研究了带有常时滞的离散时间二型模糊双线性系统的状态反馈控制问题.首先,考虑隶属函数的不确定性,将非线性系统建模为区间二型模糊双线性系统.其次,基于Lyapunov稳定性