论文部分内容阅读
本文给出了基于量子逻辑的确定型正则语言的定义,证明了其在正则运算下是封闭的;并给出了基于量子逻辑的确定型正则语言的代数刻画,进一步讨论了其在更广泛的代数运算-Dl-代换、EDl-代换、El-代换下的封闭性.
基于量子逻辑的确定型正则语言的代数性质
【摘 要】
：
本文给出了基于量子逻辑的确定型正则语言的定义,证明了其在正则运算下是封闭的;并给出了基于量子逻辑的确定型正则语言的代数刻画,进一步讨论了其在更广泛的代数运算-Dl-代
【机 构】
：
陕西师范大学数学与信息科学学院,陕西西安710062陕西师范大学数学与信息科学学院,陕西西安710062陕西师范大学计算机科学学院,陕西西安710062
【出 处】
：
第六届中国不确定系统年会
【发表日期】
：
2008年8期
其他文献
本文基于多因素综合比例分摊法,从计算角度出发,给出了企业投入产出分析中将联产品的共同投入分解为各个产品投入的一种实用算法,该算法便于在计算机上实现,同时有利于提高编
在危机决策过程中,进行态势分析是一个复杂的问题,直接建立其准确的数学模型是非常困难的,所以首先需要定义反映系统内部主要特征的结构关系并建立系统各实体间的结构模型.解
武器装备信息化建设是军队信息化建设的基础.本文运用数据包络分析(DEA)法,构建了武器装备信息化建设的方案决策分析模型,对武器装备发展建设的各种建设方案进行了具体的决策
图G的L(2,1)-标号是一个从顶点集V(G)到非负整数集的函数f(x),使得若d(x,y)=1,则|f(x)-f(y)|≥2;若d(x,y)=2,则|f(x)-f(y)|≥1.图G的L(2,1)-标号数λ(G)是使得G有max{f(v):v
团队建设对企业的发展有着深远的影响,随着信息技术的高速发展,团队组成形式有了更大的灵活性和流动性.作为解决团队的全球化和流动性问题的新型设计模式和协作方式,虚拟团队
设Q为单瞬时态双边生灭Q-矩阵.本文得到了Q-矩阵存在常返Q过程的充要条件是z,z都正则,并给出了在z,z都正则的条件下,构造了常返Q过程,给出了单瞬时态常返双边生灭Q过程的构成
小波变换是图像融合中常用的一种方法,应用小波变换进行图像象素级的融合时,小波变换系数的选取是一个关键问题.本文提出了一种新的选取小波变换系数的方法——基于平均梯度
近年来,随着中国国民经济持续快速增长,能源特别是石油消费需求迅速增加.本文从多个角度研究了中国经济增长与石油消费量以及石油价格之间的相互影响,并对未来中国经济与石油
房地产投资活动受到诸多风险因素的影响,对风险预期估计的不足会导致开发商蒙受巨大的损失.本文按照未确知数学的理论和方法,并运用信息熵理论确定评价指标权重,构造了房地产
在D-逻辑度量空间中引入了命题的独立性,指出两个不含共同原子公式的公式是相互独立的,如果n个公式中任意两个公式均不含共同的原子公式,那么这n个公式不但两两独立而且相互