介观物理系统的量子场论模型一维持续电流的Luttinger模型

本文以研究生进入选题前水平介绍介观物理系统中的一种重要的量子场论模型和方法。讨论一维介观电子系统的Luttinger模型和非费米液体的特征和基本物理。我们简单介绍重整化群概念和玻色化技术和用于一维Luttinger模型。     

完备布尔代数商格的注

本文研究了完备布尔代数L的商格Q(L),建立 L上q-集构成的集合Q′(L)与Q(L)之间的同构,得出了完备布尔代数的商格仍是完备布尔代数,并给出了完备布尔代数范畴的某些性质.     

格值命题逻辑系统中基于滤子的MP归结演绎

给出了格值命题逻辑系统中子句的极简规则型范式,定义了MP归结.结合格蕴涵代数中滤子的性质,对格值命题逻辑系统中基于滤予的MP归结演绎及其语义与语法性质进行了研究,证明了归结演绎的可靠性与完备性定理.为进一步研究格值逻辑的自动归结推理奠定了理论基础.     

Smooth格和强Smooth格

引入了强smooth格的概念,讨论了smooth格与强smooth格的一些基本性质,证明了强smooth格可用保任意交和Scott闭集之并的映射嵌入到某方体[0,1]X之中.     

直觉模糊子环及其同构

利用既约集合套讨论了直觉模糊子环和直觉模糊理想的一些性质,并在两个经典环同态与同构意义下,定义了直觉模糊商环,商直觉模糊子环,以及直觉模糊子环的直和,并讨论了其相关性质.     

Z-蕴涵代数的Z-滤子

在[4]中,我们引入了Z-蕴含代数的概念,讨论了它们的一些性质.本文中,我们进一步引入Z-蕴含代数的Z-滤子,并研究它们一些有趣的结果.     

政府规制下的第三方废旧手机回收演化博弈分析

为研究废旧手机回收的政府决策问题,构建政府与第三方回收商行为决策的演化博弈模型,并对模型的稳定性进行了分析,在此基础上研究了政府对第三方回收商回收行为的动态惩罚和补偿策略,分析了政府与第三方回收商回收策略的互动机制.结果表明:政府对第三方回收商回收行为选择的相对应的回收策略的奖惩程度、第三方回收商选择的回收策略的成本与收益均直接影响演化博弈结果;当政府对第三方回收商选择相对应的动态惩罚或补偿策略时,演化博弈存在稳定Nash均衡点.     

否定非对合剩余格上的BF-同余关系

为了进一步深入研究否定非对合剩余格的结构特征,引入否定非对合剩余格上的BF-同余关系概念并考察其性质.讨论了否定非对合剩余格L上的BF-同余关系与BF-理想间的关系,基于L的BF-理想A诱导出了一个BF-同余关系Φ_A,证明了L在Φ_A下的商代数构成一个剩余格.     

非对称TSP问题下界的研究

旅行商问题(TSP)是运筹学中最典型的NP难题之一.研究了非对称TSP最优路程下界如何确定的问题.为了更加突出TSP问题非对称的特性,提出了入边和出边等概念,给出了确定TSP问题最优路程下界的有关定理,又给出了路程调整值的计算方法,从而得到了最优路程更精确的下界,更好地刻画了路程的逼近程度,最后结合实例对定理进行了说明,它表明给出的方法是有效的.     

否定非对合剩余格的模糊LI理想

对否定非对合剩余格的模糊LI理想问题作进一步深入研究.首先,给出了模糊LI理想的一些新性质和新刻画.然后,引入正规模糊LI理想的概念并研究其性质,获得了模糊LI理想成为正规模糊LI理想的若干充要条件.