【摘 要】
:
现代数学的发展为科学技术的进步奠定了基础,尤其是非经典数理逻辑在人工智能领域的应用格外引人注目,它为智能控制处理不确定信息和自动推理提供了重要依据,而有关逻辑代数的研究恰是非经典数理逻辑的一个重要方向,因此,许多学者对各种逻辑代数的详细研究,并取得了一系列重要的研究成果,例如C.C.Chang教授,王国俊教授,吴洪博教授,徐扬教授分别对MV代数, R0代数,BR0代数和格蕴涵代数做了深入细致的研究
论文部分内容阅读
现代数学的发展为科学技术的进步奠定了基础,尤其是非经典数理逻辑在人工智能领域的应用格外引人注目,它为智能控制处理不确定信息和自动推理提供了重要依据,而有关逻辑代数的研究恰是非经典数理逻辑的一个重要方向,因此,许多学者对各种逻辑代数的详细研究,并取得了一系列重要的研究成果,例如C.C.Chang教授,王国俊教授,吴洪博教授,徐扬教授分别对MV代数, R0代数,BR0代数和格蕴涵代数做了深入细致的研究.以上逻辑代数都是正则剩余格,理想又是研究逻辑代数的一个重要工具,吴洪博教授,郝加兴详细地讨论了正则剩余格上模糊理想的性质,Yong Chan Kim和Jung Mi Ko给出了BL-代数上模糊滤子基的概念.于是,本文基于以上理论的研究的基础上,对正则剩余格的理想做了进一步的研究,文章的结构和主要内容安排如下:第1章预备知识.本章给出了文章中将要用到的预序集,格,剩余格,模糊集,模糊理想和正则剩余格同态映射的基本概念和结论.第2章正则剩余格上的模糊理想基.首先在正则剩余格上提出了模糊理想基的概念,从而弱化了模糊理想的条件,并对其性质进行了研究,并且讨论了它与模糊理想的区别和联系;其次,引入正则剩余格上元素阶数的概念,具体研究了正则剩余格元素阶数与模糊理想基的联系;最后,讨论了模糊理想基在正则剩余格同态映射下的一些性质.第3章正则剩余格上的(α,β)模糊理想.首先在正则剩余格上提出了(α,β)模糊理想的概念,用另一种方法弱化了模糊理想的条件,并对其性质进行了研究,其次,讨论了它与模糊理想的区别和联系;最后,得到了(α,β)模糊理想的若干充要条件.第4章正则剩余格上的(α,β)模糊理想基.结合以上研究成果,进一步在正则剩余格上提出了(α,β)模糊理想基的概念,并对其性质进行了研究,同时讨论了它与模糊理想的区别和联系;其次,研究了正则剩余格元素阶数与(a,β)模糊理想基的联系;最后,讨论了(α,β)模糊理想基在正则剩余格同态映射下像与原像.
其他文献
虽然田鼠属动物种间亲缘关系密切,但婚配制度及社会性存在明显的种间差异,行为神经内分泌特征明显不同,所以通过对不同种田鼠进行比较研究,有利于揭示田鼠不同婚配制度及社会联系形成的机制,因此,田鼠属动物是研究社会行为神经内分泌学和分子生物学的理想动物模型和热点研究对象。尽管社会行为的神经生物学基础已经有较多研究,但是这些复杂行为的基因调控仍不清楚。精氨酸加压素1 a受体(VlaR)对哺乳动物社会行为的调
本文研究了不连续映象构成的具有无标度网络拓扑耦合的映象格子系统的同步动力学。分别选择映象处于周期5,周期5和11带混沌共存,周期5和周期6共存,周期5和混沌带12共存以及混沌5种状态,计算了同步序参量、最大李雅普诺夫指数,空间振幅变化图等。本文主要结论如下:无标度网络耦合不连续不可逆映象格子系统具有丰富的动力学行为;单映象处于这5种动力学状态时,系统在耦合强度超过某个阈值时达到同步状态,其同步化的
通过外周神经放电实验数据,观察到放电脉冲的峰峰间距(ISI)产生出伴随混沌中间态的加周期序列,即从周期n到周期n+1的转化过程中出现了混沌的放电节律。并且在一定参数条件下对神经元Chay模型进行数值模拟,也能观察到具有类似结构的分岔图。本文以Chay模型数值模拟得到的ISI回归映象为基础,构造了一个可以描述ISI的动力学的一维分段光滑映象,映象中的参数利用Chay模型的数值模拟数据进行曲线拟合而得
随着自然科学和工程技术科学的发展,数值计算已成为平行于理论分析和科学实验的又一重要科学手段.数值计算中的诸多问题最终都归结为线性方程组的数值解.对线性方程组Ax=b的求解,主要有直接法和迭代法.迭代法由于程序设计简单可以减少大量存贮因而被广泛应用于方程组的求解.在大规模的数值运算中,特别是在大型稀疏线性方程组显现出更强的优势,因而很多学者都对此做了深入系统的研究.(见[1-9])迭代法是求解大型稀
黄土高原生态系统处于极度退化的状态,对该地区植被进行恢复和治理显得尤为重要。其中,森林植被多样性的有效保护与管理是退化生态系统保护与重建的重要标志与内容。目前,有较多与黄土高原森林群落物种多样性有关的研究,但基于多尺度的分析研究尚未见报道。物种多样性格局与所研究的尺度紧密联系,并随空间、时间和组织尺度的变化而变化。基于多尺度的物种多样性研究能够有助于全面且客观地理解该区物种多样性规律,且成功的森林
Sturm-Liouville逆谱问题是Sturm-Liouville理论的重要组成部分.也是研究反演理论的基础.它是通过对谱信息的研究来讨论如何唯一确定并重构Sturm-Liouville系统.本学位论文是基于谱数据来讨论Sturm-Liouville系统的存在性.唯一性,并在一定的条件下实现势函数的重构,主要的结论如下:(1)若f∈L2[0,π],则有如下的展开式,通过展开式得出h,H,q(x
本文研究两类生态模型及一类差分方程解的渐近性问题,主要包含模型解的一致持久性,渐近稳定性,Hopf分支的存在性及差分方程解的振动性等内容.通过对种群动力系统解的性态进行研究,人们可以以更科学的方式认识自然,利用自然资源,改善生态环境,保护生态系统,实现生物种群的可持续发展.自然界中单种群是组成整个生态系统的基本单元,因此建立单种群生态模型,并对其解的各种性态进行研究,利于我们分析复杂模型中的各种问
本文根据著名数学家吴文俊的数学机械化思想,以符号计算软件为工具,研究非线性偏微分系统的李点对称、李变换群和偏微分系统的对称约化形式的一种构造性算法。依据此算法给出(1+1)维非线性偏微分方程及方程组的李点对称、李对称群、对称约化及相似解的完全自动的求解软件包LiePS和LiePSS,并在符号计算软件系统Maple上予以机械化实现。第1章简要介绍了计算机代数与计算机代数系统,数学机械化以及微分方程的
为了加快落实大学英语教学改革,立足于媒体与网络环境分析大学英语口语教学工作。介绍英语口语教学改革背景,明确媒体与网络给教学带来的影响,阐述新环境下英语口语教学特征,针对口语信息化教学,从搭建师生英语口语交流互联网平台、教师创新教学观念突出学生主体地位、优化媒体与网络环境英语口语教学模式三个方面提出针对性建议,从而完善英语口语教学模式,提高大学生英语口语水平。
随着新课改的脚步日益加快,各个学科的教学模式、思路以及侧重点都被予以了多重角度的开拓。对此,很多初中数学教师将课改的矛头直指作业批改的实效性层面,故本文以此为研究对象,在把握新课改内容精髓的基础上主要探讨提高数学作业批改实效性的具体策略,以此帮助学生进一步学习数学。