【摘 要】
：
为了进一步发展逻辑代数和解决逻辑证明中的若干问题,Novák提出了EQ-代数的概念.EQ-代数是一类包含三种基本二元运算（∧,（?）,～）和一个最大元1的特殊代数结构.滤子在各类逻辑代数中扮演着重要角色,本文对EQ-代数上的滤子理论进行研究,主要结果如下.一、在EQ-代数中引入L-模糊正蕴涵前滤子、L-模糊蕴涵前滤子以及L-模糊奇异前滤子的概念,给出三类L-模糊前滤子的实例.以λ-截集为中介,得到
论文部分内容阅读
为了进一步发展逻辑代数和解决逻辑证明中的若干问题,Novák提出了EQ-代数的概念.EQ-代数是一类包含三种基本二元运算（∧,（?）,～）和一个最大元1的特殊代数结构.滤子在各类逻辑代数中扮演着重要角色,本文对EQ-代数上的滤子理论进行研究,主要结果如下.一、在EQ-代数中引入L-模糊正蕴涵前滤子、L-模糊蕴涵前滤子以及L-模糊奇异前滤子的概念,给出三类L-模糊前滤子的实例.以λ-截集为中介,得到了这三类L-模糊前滤子与前滤子之间的关系.研究了三类L-模糊前滤子的性质、等价刻画,以及L-模糊正蕴涵前滤子的扩张定理.得到了L-模糊蕴涵前滤子是L-模糊正蕴涵前滤子等结论.二、提出EQ-代数上(α,β]-模糊前滤子的概念,引入三类(α,β]-模糊前滤子:(α,β]-模糊正蕴涵前滤子,(α,β]-模糊蕴涵前滤子及(α,β]-模糊奇异前滤子.同样地,得到了三类(α,β]-模糊前滤子的相关性质和等价刻画以及它们与相应前滤子之间的关系.证明了(α,β]-模糊蕴涵前滤子是(α,β]-模糊前滤子,(α,β]-模糊蕴涵前滤子是(α,β]-模糊正蕴涵前滤子.
其他文献
南水北调中线工程不仅改善了生态环境,有效弥补了南北地区水量差异,还作为主力水源解决了我国北方地区的缺水问题。但由于南水北调中线工程属于大型跨流域调水工程,流经河南省、河北省、北京市、天津市等多个行政区域,受益面积较大,涉及利益相关者数量较多,如何清晰梳理不同利益相关者及相互间矛盾冲突,并进行有效协调存在诸多困难。因此,本文以可持续供应链理论为基础,首先提出调水工程可持续供应链管理层次及主体结构,并
非交换剩余格是一种重要且应用广泛的逻辑代数,伪MTL代数、伪BL代数、伪MV代数等逻辑代数都是它的特殊形式.滤子在逻辑代数的研究中发挥着重要的作用.本文在非交换剩余格上引入三类PMTL型滤子,主要内容如下.首先,提出非交换剩余格上的PMTL滤子,证明了PMTL滤子的一系列等价刻画,并从PMTL滤子的角度证明了伪MTL代数的若干特征定理.将PMTL滤子推广为n重PMTL滤子,给出n重PMTL代数的定
仿射相位恢复是工程数学中的一个重要研究内容,其稳定性的讨论和算法的实现更是近几年的一个研究热点。在稳定性方面,本文对具有非可加性高斯白噪声的仿射相位恢复模型进行了探究,求解出了其Cramer-Rao下界。然后运用Phase Lift算法通过数值实验分别比较了可加性、非可加性高斯白噪声的相位恢复和仿射相位恢复模型的Cramer-Rao下界与均方误差之间的差别,结果表明非可加性高斯白噪声的信号重构均方
COVID-19的爆发给全球化进程带来了巨大冲击,对当今社会人类健康和社会经济发展构成严重威胁。时至今日全球累计确诊超过4亿例,国内接连出现多轮疫情,湖北是在疫情初期确诊病例最多的省份,其邻近地区也相应的受到了不同程度的影响,目前国内对湖北及周围地区COVID-19时空演变特征的研究仍是有所欠缺的,研究湖北及周围地区各地级市之间疫情传播的相互联系,描述COVID-19的时空演变特征,探讨影响疫情传
图像识别是现代科技的关键技术之一,广泛应用于军事、商务、医疗诊断等领域。图像分割是图像识别的重要组成部分,优化图像分割的算法是提升图像识别技术的重要过程。图像识别过程中存在大量随机性与模糊性,基于模糊论与概率论的方法都很难处理这样的问题。云模型算法在处理这两个特性方面表现出优异性质,成为图像研究的热点方向。本文在云模型基础上的研究如下:（1）分析了云模型的基础理论,数字特征的计算方法。研究了单云核
湿大气方程组是由大气的速度场方程、温度方程、比湿方程和含水量方程等耦合而成的非线性方程组.本文主要利用能量方法,证明了考虑随机外强迫作用的湿大气方程组初边值问题的整体弱解的存在性和稳定性,整体强解的存在唯一性以及随机吸引子的存在性等.全文共分为四章.在第一章,首先介绍湿大气方程组的初边值问题,给出了方程组中一些物理过程的具体表达形式以及随机外强迫的定义和相关变换;然后对大气和海洋的原始方程组的研究
天气衍生品是一种用于规避一般天气风险的金融风险管理工具,由于天气衍生品是建立在天气指数变量（如温度、湿度、风等）上的金融合约,其标的物不能交易,因此不能直接用传统的基于无套利的金融衍生品定价方法对天气衍生品进行定价,需要探索符合天气衍生品市场特征和天气指数动力学特性的新天气衍生品定价方法。本文研究在区域转换模型下基于偏微分方程（PDE）的天气衍生品定价方法。首先,我们给出两个典型的两状态区域转换温
本文主要研究了二维全空间R~2上粘性浅水和欧拉方程组的无粘性和低弗劳德数的联合极限,及二维有界区域Ω上旋转浅水和欧拉方程组的低弗劳德数极限.全文共分为五章内容.第一章介绍了浅水方程组的研究背景、意义及国内外已有的研究结果,并给出了本文的研究目标及方向.第二章给出了常用的向量分析公式及不等式.第三章研究了粘性浅水和欧拉方程组的无粘性和低弗劳德数极限.通过经典能量方法和相对熵方法,证明了一般初值条件下
转变经济发展方式必须着眼于微观主体企业,只有企业实现高质量发展才能真正推动经济增长方式转变。企业家是企业战略的最终决策者、生产要素的整合者和经营过程中重要创新者,决定着企业未来的发展方向。但企业家个体的某些行为并不是随机产生的,受其自身积累的关系网络的影响,这种关系网络又构成了企业家特有的社会资本,社会资本持有者可以通过企业家精神实现资源向能力转化,最终实现高质量发展。同时,企业经营活动离不开自身
随着科技的进步,由多个队列组成的排队系统越来越多地出现在计算机通信技术、交通运输和电信网络中.针对这类排队系统,一个核心的研究问题是,将传入的作业分配给哪个服务器能够获得最佳性能.负载平衡机制是优化排队网络性能的主要措施之一,能够有效地提高排队系统的服务速率、缩短队列长度,其中加入最短队列规则是常用的负载平衡机制之一.在以往的研究中,加入最短队列规则较多地应用于队列数目较小的排队网络,队列数目N较