【摘 要】
：
首先给出了强左连续-t模和SMTL命题逻辑系统的定义,证明了左连续的-t模为强左连续-t模当且仅当与之伴随的正则蕴涵算子为强正则蕴涵算子;其次,在基于强正则蕴涵算子的模糊命
【基金项目】
：
国家自然科学基金（No.10771129）, 兰州理工大学博士基金
论文部分内容阅读
首先给出了强左连续-t模和SMTL命题逻辑系统的定义,证明了左连续的-t模为强左连续-t模当且仅当与之伴随的正则蕴涵算子为强正则蕴涵算子;其次,在基于强正则蕴涵算子的模糊命题逻辑系统中定义了公式的积分真度,给出了积分真度推理规则;最后,基于公式的积分真度在SMTL命题逻辑系统的全体公式集上引入了一种伪距离,提出了三种近似推理机制,从而使得在SMTL命题逻辑系统的统一框架下展开近似推理成为可能.
其他文献
针对全局数值优化问题,本文提出了一种基于膜计算理论的启发式全局优化算法.受细胞内液体分子做无规则运动的启发,该算法构建了液体分子沿任意和某一方向运动的机制,实现了算
医药费用价格和数量的上涨是医疗卫生费用增长迅速的重要原因,要想减轻居民的医疗支出负担,真正保障患者的合法权益,有效改善药价虚高是我国目前必须面对的问题。本文在分析
装备制造业是为国民经济发展和国防建设提供技术装备的基础性产业,是决定一国在世界经济发展进程中保持自主地位的关键因素和保障国家经济发展和军事安全的战略性产业。我国
消费不足问题引起国内各界的普遍关注,而影响消费需求的因素较多,其中之一是居民的消费倾向。本文在借鉴已有的相关理论及研究成果的基础上,对影响青海省居民消费倾向变动趋
正交波形是多输入多输出雷达应用最广泛的波形,评价波形正交性好坏的重要指标是波形的自相关和互相关性能.针对正交频分线性调频信号的自相关存在主副比低且加窗抑制旁瓣会带
长沙电视台，一个规模不大的内陆城市台，在国内电视剧制作领域取得了骄人的成绩。它电视剧的成功得益于它行之有效的产业运作模式：1．立足地域特色，弘扬传统文化的内容模式；2．整合资源
本文在总结和吸收中外大量有关大规模定制成本问题的研究成果的基础上，从经济学的角度，建立起大规模定制的成本函数、生产函数，推导出最佳精益化率（产品品种数／中间产品数）模型，从而
Renauld等人提出的代数侧信道攻击是将代数攻击和侧信道攻击结合起来的一种对分组密码的攻击方法.目前的研究主要针对算法的8-bit实现平台,对于更大的如64-bit实现平台,未见
目前的软件行为建模方法有其局限性,而网络化软件交互行为比传统软件更为复杂难控,对模型的定义和优化提出了更高的要求.本文提出一种基于不变量约束规则的挖掘方法,从监控收
本文利用古典经济学和新兴古典经济学的经济发展理论，从分工与专业化生产视角，重新考察了广西欠发达地区经济发展的源泉问题。文章通过运用计量经济模型分析方法，对广西欠发达地