【摘 要】
：
非可换逻辑代数是非可换逻辑相应的代数结构.BL代数是基本逻辑（Basic Logic）系统的代数结构,而伪BL代数是BL代数的非可换推广.非可换剩余格又是伪BL代数、伪MTL代数等的推广.我们在研究工作中,发现上述非可换逻辑代数结构可以通过滤子及模糊滤子来进行研究和刻画.因而,本文主要研究了几类非可换逻辑代数中的滤子及模糊滤子的理论,为非可换逻辑代数的深入研究奠定了坚实基础.我们所做的具体工作如下
论文部分内容阅读
非可换逻辑代数是非可换逻辑相应的代数结构.BL代数是基本逻辑（Basic Logic）系统的代数结构,而伪BL代数是BL代数的非可换推广.非可换剩余格又是伪BL代数、伪MTL代数等的推广.我们在研究工作中,发现上述非可换逻辑代数结构可以通过滤子及模糊滤子来进行研究和刻画.因而,本文主要研究了几类非可换逻辑代数中的滤子及模糊滤子的理论,为非可换逻辑代数的深入研究奠定了坚实基础.我们所做的具体工作如下：1.引入并讨论了伪BL代数的模糊滤子、模糊素滤子、模糊布尔滤子、模糊正规滤子、模糊超滤子和模糊固执滤子,研究了相应模糊滤子的性质.由分配格中Stone模糊素理想定理启发,我们在伪BL代数中建立模糊素滤子定理.通过讨论几类模糊滤子之间的关系,特别是模糊布尔滤子和模糊正规滤子的关系,我们解决了一个公开问题,即“在伪BL代数中是否每一个布尔滤子都是正规的.”2.引入并讨论了伪BL代数的超滤子和固执滤子,讨论了伪BL代数的布尔滤子和正规滤子的关系,采用非模糊化的途径给出了上述公开问题的一种新的解决方法.3.我们将上述有关工作推广到了剩余格,引入并讨论了剩余格的模糊滤子、模糊素滤子、模糊布尔滤子、模糊正规滤子、模糊超滤子和模糊固执滤子,研究了相应模糊滤子的性质.我们在剩余格中建立模糊素滤子定理.通过讨论几类模糊滤子之间的关系,特别是模糊布尔滤子和模糊正规滤子的关系,我们在剩余格中研究了相应的问题.4.引入了剩余格的伪G滤子、伪MV滤子、超滤子和固执滤子,研究了相应的性质,特别是研究了布尔滤子和正规滤子的关系.5.引入了Heyting代数的布尔滤子、素滤子、蕴含滤子、正蕴含滤子、超滤子和固执滤子,定义了Heyting代数的模糊滤子、模糊布尔滤子、模糊素滤子、模糊蕴含滤子、模糊正蕴含滤子、模糊超滤子和模糊固执滤子,并讨论了其相应的性质.进一步,我们证明在Heyting代数中,模糊布尔滤子等价于模糊蕴含滤子,模糊正蕴含滤子等价于模糊滤子,并讨论了这几类滤子之间的关系.最后,我们研究了Heyting代数的直觉模糊滤子,讨论了相应性质,证明了Heyting代数上的上的直觉模糊格滤子等价于直觉模糊滤子.
其他文献
共形场理论是具有共性不变性的一类特殊的量子场论,近三十年以来,共形场论在弦理论、统计物理、凝聚态物理和数学物理中都有重要的应用,为量子场论的研究提供了一系列重要非微扰模型。以超群及其陪集作为靶空间的二维非线性sigma模型在弦理论中有着非常重要的应用,尤其是在超弦在AdS背景时空的演化及其量子化。以超流形作为靶空间的非线性sigma模型的应用覆盖了从loggarithmic共形场到凝聚态物理的广大
广义地说,非线性发展方程描述物理学及其他科学领域中随时间演变的状态或过程,是依赖于时间变量t的许多重要的非线性偏微分方程的统称.从数学,物理,生物,力学等自然科学分支中提出的许多问题,最后都可以归结为一个非线性发展方程问题.非线性发展方程定性理论的研究是非线性发展方程研究领域的一个基本问题.对这个问题的研究,在理论和应用上都有重要的意义.本文主要讨论几个非线性发展方程（组）初值问题的定性理论.全文
为有效减少实验成本、缩短研制周期,模型确认已经成为航天航空装备工程领域计算机仿真的一项重要工作。针对不确定性条件下结构系统模型确认理论诸多挑战问题,论文在模型确认方法和灵敏度分析方法两个方面展开研究,主要内容和创新点如下:（1）提出了两类针对随机不确定性条件下相关多输出模型确认的指标和方法。一是提出了一组基于混合矩的多输出模型确认指标。通过多维输出响应量数学期望列阵和协方差矩阵,分别定义了适合单个
目前,随着飞行器任务的多样化、运行环境复杂化,对控制系统的安全性、可靠性及可维护性要求越来越高。故障是由于系统中部分器件功能失效而导致整个系统功能恶化的事件;同时复杂工作环境、外界未知干扰、模型误差、元器件参数变化而带来的不确定性对系统性能产生影响。对于需要高可靠性的系统,如飞机、高超声速飞行器等,需要控制系统在发生故障和各种不确定性的情况下,能够对不确定性具有鲁棒自适应能力和自动补偿故障的影响以
复合材料因具有比强度高、比模量大和耐腐蚀性强等特点,在航空航天领域取得了日益广泛的应用,其中碳纤维增强树脂基复合材料（Carbon Fiber-Reinforced Polymer,CFRP）的用量更是随着产品的升级换代而逐步提高。CFRP是由纤维与树脂基体组成的预浸料经加温加压铺叠而成的典型各向异性材料,同时具有高硬度、高脆性和非匀质的特点,材料的力学性能受加载方向的影响极大,制孔时在钻头多个切
复杂环境下目标探测与跟踪是现代战场分布式传感器网络的核心任务,然而由于环境干扰、对抗欺骗以及模型、平台偏差等未知因素导致的系统模型失配问题成为制约系统探测跟踪能力的关键因素。因此如何实现模型失配情况下偏差建模、目标状态及偏差的联合估计成为当前研究的重点,而在此基础上如何进一步高效实现多传感器网络协同探测及信息有效获取则成为当前面临的挑战性难题。为此,本文针对模型失配情况下随机动态系统偏差、目标状态
视觉闭环检测是一种通过匹配图像特征来快速、准确地判断载具是否重游地点的技术。作为视觉同时定位与地图构建系统的重要模块,其获得的地点匹配为地图的正确优化提供关键约束。随着自动驾驶的兴起,室外定位系统需要工作在全天候、大尺度环境中。然而,当场景的外观由于光照变化、季节交替或其他动态变化发生显著改变时,闭环检测的精度难以保证。为提高视觉闭环检测对场景外观变化的稳健性,本文探索了两种研究思路:在构造特征描
AdS/CFT对应将AdS5×S5背景中IIB型超弦理论与四维时空中具有共形对称性的Ν=4超对称规范理论联系起来,意味着这两种理论在多个方面存在着对应关系。最近关于AdS/CFT对应的研究取得了很多进展,其中一个非常重要的进展就是发现了弦理论和规范理论的可积结构。研究弦非线性Sigma模型的可积性、解变换等方面性质可以帮助人们更好的理解AdS/CFT对应。这方面的研究已经引起人们广泛的兴趣。本论文
先进陶瓷由于具有优异的力学性能以及各种声、光、电、磁等独特功能,在航空航天、新能源、核工业以及军事工业中有着广泛的应用需求。美、日、欧盟、俄罗斯等发达国家均将先进陶瓷的研发提升到战略高度,并投入巨资开展了大量的研究工作。陶瓷材料的烧结密度是保证其力学性能及其他功能的内在关键因素,已成为其烧结技术和烧结工艺参数优化设计的主要评价指标。本文从影响烧结密度的主要因素调控角度出发,探寻一种陶瓷的烧结密度有
非线性科学被深入研究并广泛应用到了各个自然科学领域中.如化学,数学,生物学,物理,经济学等等.同时涌现了大量的非线性系统.在研究过程中我们遇到各种各样的非线性偏微分方程.其解法以及解的性质等问题是非线性科学的重要组成部分.人们已经建立和发展了很多求解非线性偏微分方程的有效方法.其中对称群理论是我们研究非线性偏微分方程精确解的有效方法之一.随着对非线性理论的研究,出现许多非线性偏微分方程依赖于一个小