【摘 要】
:
R0代数是我国著名数学家王国俊教授为了研究形式演绎系统£*而引入的Monadic算子是将谓词逻辑中存在量词和任意量词进行了代数化.State理论的引入是为了研究多值逻辑中命题真值
论文部分内容阅读
R0代数是我国著名数学家王国俊教授为了研究形式演绎系统£*而引入的Monadic算子是将谓词逻辑中存在量词和任意量词进行了代数化.State理论的引入是为了研究多值逻辑中命题真值的平均度,state算子理论是将state理论进行了推广.本文将研究硒代数上的monadic算子和state算子理论.所作的工作具体如下:首先,我们在R0代数上引入了monadic算子的概念,研究了幂等性、保序性和保交、保并等主要相关性质,并证明了monadic R0代数上的不动点之集为一个子代数但它不是滤子.我们又给出了monadic R0代数上的monadic滤子和monadic同余的概念,探讨了monadic R0代数上的全体monadic滤子集和全体monadic同余集之间的关系.我们验证了monadic R0代数的全体monadic滤子集关于包含关系可构成有界格;在这个有界格上我们引入了伴随对,证明了这样定义的有界格构成一个Heyting代数.我们通过例子说明了monadic R0代数未必构成monadic剩余格,但我们给出了monadic R0代数形成monadic剩余格的一个条件.其次,我们在R0代数上引入了state算子,定义了state R0代数,它是R0代数的一般化.我们给出了一些非平凡state R0代数的例子,并讨论了state R0代数的幂等性、保序性和保交、保蕴涵、保乘积等一些基本性质.在此基础上我们又定义了state滤子并证明了state R0代数的全体state滤子之集关于包含关系可构成有界格.接下来,我们又定义了state local R0代数,它是一种特殊的state R0代数.我们还给出了state R0代数为state local的充要条件,并利用state滤子刻画了state local R0代数.最后我们讨论了R0代数上monadic算子和state算子之间的关系.
其他文献
分子势能函数作为原子分子反应动力学,原子分子碰撞等学科的基础,在描述分子性质方面起着举足轻重的的作用。以最简单的双原子分子体系为例,它的势能仅是原子核间距(R)的函数
轮廓检测是高级视觉任务的重要基础,大量的生物学研究表明存在一种环绕抑制机制可以帮助人眼检测轮廓。虽然大量的轮廓检测算法已经被提出,但是高精度高效率的轮廓检测仍是一大难题。目前存在两个难点:一是检测轮廓缺失,二是纹理边缘冗余。针对这两个问题,本文基于生物视觉机制提出两种改进的基于环绕抑制的轮廓检测算法。传统的环绕抑制算法检测的轮廓依然存在大量冗余的纹理边缘,检测的轮廓仍不够完整。由于超像素边界对轮廓
由于钾储量丰富、价格低廉和氧化还原电位较低等原因,钾离子电池被认为是未来发展高性能电化学能量存储系统的重要选择。其中,有机电极材料因具有绿色环保、廉价易得、结构多样、分子水平上可设计和理论比容量高等优点逐渐被更多的研究者关注。但该材料存在导电性差和在电解液中易溶解等问题,导致倍率性能和循环性能较差,限制其未来发展。本论文围绕有机羰基化合物电极材料,研究内容主要包括以下两个方面:(1)通过简单的酸碱
分数阶积分微分理论是数学分析的一个重要的分支,是专门研究任意阶积分和微分的数学性质及其应用的重要领域。分数阶微分方程可以应用到记忆材料、粘弹性力学、地震分析以及
本文主要讨论了一类抽象形式的非线性偏微分方程Cauchy问题解的惟一连续性.我们知道,惟一连续性是可积系统的重要性质之一,而初值问题中解的性质与初值的光滑性密切相关.非线
完全单调性和对数完全单调性是Gamma函数及其相关函数的两个重要性质,它们在数论,概率论,微分方程,定积分,黎曼zeta函数,物理等领域都起着十分重要的作用.正因为如此,越来越
随着智能化工业技术的发展,传统人工及单一机械臂的物料袋卸垛方式无法满足现代化生产的需求,具有视觉功能的机器人应用率越来越高,双目机器视觉技术以反应灵活、精度较高等特点广泛应用于工件识别和定位、三维立体重建及无人驾驶等领域。本文立足于现代物流领域实现柔性物料袋精准、灵活定位的卸垛需求,针对柔性物料袋特点,依托图像处理理论,利用特征提取、立体匹配及三维重建等技术,展开基于双目视觉的物料袋空间定位方法研
整数的分布在初等数论中具有重要的意义,许多专家学者对整数的分布都进行了研究,如张文鹏[2]研究了整数及其逆的均值分布,徐哲峰[3]研究了整数及其m次幂模n剩余的差的均值问
锥度量空间上的不动点理论是非线性泛函分析的重要组成部分,自从刘浩和许绍元用巴拿赫代数取代巴拿赫空间推广了锥度量空间后,巴拿赫代数上的锥度量空间中的不动点理论就成为
Dedekind 和, Hardy和, Dirichlet L-函数,Bernouili多项式是解析数论及模函数理论研究的重要内容,从而探索Dedekind 和, Hardy和的性质就很有意义.关于Dedekind和, Hardy和