【摘 要】
：
本文主要研究基于unsharp量子逻辑的自动机乘积和基于正交模格值自动机的直积.具体包括以下内容:其一,在格上的矩阵理论基础上,利用一般矩阵的直积,定义了格上的矩阵的直积.
论文部分内容阅读
本文主要研究基于unsharp量子逻辑的自动机乘积和基于正交模格值自动机的直积.具体包括以下内容:其一,在格上的矩阵理论基础上,利用一般矩阵的直积,定义了格上的矩阵的直积.基于正交模格值自动机转移矩阵,引入正交模格值自动机的覆盖概念.利用格上的矩阵的直积,给出了基于正交模格值自动机的新的乘积.讨论了正交模格值自动机在级联积直积情形下的转移矩阵性质,乘积间的覆盖关系.其二,给出了基于unsharp量子逻辑自动机乘积的几种形式,即全直积、广义直积、圈积、级联积,还给出了基于unsharp量子逻辑自动机的覆盖定义.同时研究了unsharp量子逻辑乘积自动机所识别的语言.
其他文献
自改革开放以来,酒店行业发展迅速,成为推动我国经济发展的重要力量之一。同时,酒店人才管理方面的问题也慢慢凸显,严重阻碍了酒店业的健康发展。本文以铜仁市酒店为研究对象
本文主要考虑了有限维赋范空间中的变分不等式算法.在欧式空间中，求解变分不等式的算法有很多，但在有限维赋范空间中的变分不等式算法需要假设很强的单调性条件.在第一章中，通过
随着移动互联网的快速发展，机会网络的应用也越来越多。机会网络是一种不需要在源节点和目标节点之间存在完整链路，通过节点的移动产生相遇机会传输信息，从而实现通信的自组织网
部件具有两类故障状态的并联可修系统是可靠性理论中的典型系统.本文在“修理设备可更换”的条件下，考虑了故障部件采取“立即修理”或“延迟修理”两种情形.利用马尔可夫更新
本文针对寡头市场中博弈参与人具有有限理性并且考虑边际利润时滞结构的动态决策问题，就Cournot产量决策博弈模型与Bertrand价格决策博弈模型分别建立相应的动力系统，分析决策
Riordan矩阵理论在代数组合学中有着重要的应用，利用Riordan矩阵可以刻画许多组合问题，也可以证明大量的组合恒等式。Catalan数、Motzkin数、Schr?der数作为常见的组合序列，它们
由于分数阶Schr?dinger-Poisson系统具有重要的理论与实际意义, 近年来, 许多学者对其有了极大的关注. 本硕士论文主要讨论如下次线性分数阶Schr?dinger-Poisson系统 此处
Lotka-Volterra系统是数学生物学领域最重要的系统之一，自1920年代被Lotka和Volterra分别独立提出来后，国内外有许多学者先后发表许多关于Lotka-Volterra的离散系统，偏微系统，时
论文研究了一类带动态边值条件的随机非线性热力方程的长时间动力学行为.通过分析“非线性热力方程”，“动态边值”,“系统中的白噪声”，“动态边界中的白噪声”.解析他们各自
平面多项式微分方程组极限环个数和分布问题是Hilbert第16个问题的第二个部分，近年来分支理论和方法越来越多地被应用到此问题中。本文考虑了两类平面微分系统分别在奇异摄动