正交模格

作品数：31被引量：27H指数：2
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：陈引兰韩召伟施恩伟李永明吕映洁更多>>
相关机构：云南师范大学湖北师范学院陕西师范大学中山大学更多>>
相关期刊：《兰州大学学报（社会科学版）》《楚雄师范学院学报》《计算机工程与应用》《苏州市职业大学学报》更多>>
相关基金：国家自然科学基金云南省教育厅科学研究基金重点项目国家教育部博士点基金广东省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
普特南量子逻辑思想的演变
《自然辩证法研究》2022年第3期101-107,共7页王伟长 
普特南曾提出“逻辑是经验的”这一惊世骇俗的论题。他主张,正如广义相对论揭示出非欧几何才是真正描述现实世界的几何学一样,量子力学也意味着量子逻辑才是隐藏在经典逻辑背后的“真逻辑”。然而鲜为人知的是,普特南口中的“量子逻辑...
关键词：量子逻辑 量子力学 正交模格 偏布尔代数 逻辑多元主义 
试论卡普兰斯基的多项式恒等式环与正交模格思想
《中国科技史杂志》2020年第2期156-165,共10页杨中明 王淑红 
国家自然科学基金资助项目(项目编号:11871018)。
美国数学家卡普兰斯基主要研究代数学,在环论、模论、群论等代数领域做出了里程碑式的成果。本文通过文献考证和概念分析,重点对卡普兰斯基的两篇抽象代数学代表作进行研究。研究表明:他证明了一个具有多项式恒等式的本原代数在其中心...
关键词：卡普兰斯基 多项式恒等式 正交模格 连续几何 
正交模格上关于同余关系的格等式的证明
《阴山学刊（自然科学版）》2016年第2期5-6,共2页韩荣梅 
包头师范学院青年科学研究基金项目(BSYKJ2013-22)
介绍了正交模格上关于同余关系的格等式。通过证明格等式可知,在正交模格上的一个自反的对称的二元运算θ是同余关系,当且仅当θ对交并运算具有替换性质,并且在正交模格上的一种同余关系是由它的核所决定的。
关键词：正交模格 同余关系 替换性质 核 
软集与模糊集的格被引量：2
《西安邮电大学学报》2015年第4期74-79,共6页柳晓燕 
国家自然科学基金资助项目(11301415);陕西省青年科技新星计划资助项目(2014KJXX-73)
从格论角度研究软集的一些代数性质,证明了给定论域上的全体软集可构成正交模格及布尔代数等格结构。依此指出给定论域上全体模糊集的格可嵌入全体软集的格,基于格论刻画了软集与模糊集之间的内在联系。
关键词：软集 模糊集 格 布尔代数 正交模格 
正交模格的两个等价条件
《模糊系统与数学》2015年第4期27-30,共4页马辉 张昆龙 
在已有的正交模格等价条件的基础上,提出了两个新的等价条件并予以证明。又验证了这些等价条件同已有条件的等价关系,得到一个刻画正交模格特征的定理。
关键词：正交格 模对 正交模格 
量子Müller自动机与单体二阶量子逻辑被引量：1
《软件学报》2014年第1期27-36,共10页韩召伟 李永明 
国家自然科学基金(11271237,11226266);陕西师范大学科研启动基金(999553)
给出量子Müller自动机(简称LVMA)的概念,通过引入量子有限步可识别语言和量子状态构造方法,证明了在量子逻辑意义下4类量子Müller自动机彼此相互等价.利用该等价性,建立了量子无穷正则语言的代数刻画和层次刻画,籍此研究了量子无穷正...
关键词：量子逻辑 正交模格 量子Müller自动机 量子无穷正则语言 单体二阶量子逻辑 Büchi定理 
基于量子逻辑的确定型正则文法
《计算机工程与科学》2013年第9期45-50,共6页王拥兵 张丽霞 雷红轩 
安徽省优秀青年人才基金项目(2011SQRL097);安庆师范学院青年科研基金项目(KJ201214)
基于量子逻辑的文法理论是量子计算模型的一个重要研究方向。给出了基于量子逻辑的确定型正则文法的概念,证明了基于量子逻辑的确定型正则文法与基于量子逻辑的确定型自动机的等价性。利用此等价性,给出了量子确定正则语言的代数刻画和...
关键词：量子逻辑 正交模格 量子确定型正则文法 量子确定正则语言 
效应代数中的正则元和正规元(英文)被引量：1
《纺织高校基础科学学报》2013年第2期143-148,共6页李海洋 
Supported by the National Natural Science Foundation of China(11271297);the Foundation of Shaanxi Province(12JK853)
在效应代数中引入了正则元和正规元的概念并研究了它们的性质.首先证明了C(E)N(E)P(E),C(E)N(E)S(E),其中N(E)是效应代数E的所有正规元组成的集合,R(E)是所有正则元组成的集合.其次证明了R(E)和N(E)是E的正规子效应代数,且N(E)...
关键词：效应代数 WELL Inside关系 正则元 正规元 正交模格 
有限生成自由代数F_(V(L_K))(n)的自同构群(英文)
《数学杂志》2012年第4期589-592,共4页陈引兰 
Supported by of Yunnan Provincial Department of Education(06Z142A)
本文研究了自同构群AutLk和AutFV(LK)(n)的结构问题.利用了正交模格及其自同构群的直积分解方法,获得了正交模格Lk和自由代数FV(LK)(n)的自同构群的直积分解式.
关键词：正交模格 直积 自同构群 有限生成自由代数 
量子上下文无关文法的代数性质被引量：1
《计算机工程与应用》2011年第4期42-46,71,共6页宋小震 韩召伟 李永明 
国家自然科学基金(No.60873119);陕西师范大学青年科技项目(No.200701008)~~
提出了量子上下文无关文法(l-VCFG)的概念,并研究了其具有的代数性质;证明了量子上下文无关文法(l-VCFG)和Chomsky范式文法(l-VCNF)以及Greibach范式文法(l-VGNF)的相互等价性;详细研究了量子上下文无关语言的代数刻画以及对于正则运算...
关键词：量子逻辑 正交模格 量子上下文无关文法 量子上下文无关语言 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部