国家教育部博士点基金(200807180005)

作品数：19被引量：32H指数：3
导出分析报告
相关作者：李永明席政军李平颉永建李小鹏更多>>
相关机构：陕西师范大学徐州师范大学青海师范大学更多>>
相关期刊：《计算机技术与发展》《小型微型计算机系统》《模糊系统与数学》《中国科学：信息科学》更多>>
相关主题：量子计算量子逻辑量子半环加权更多>>
相关领域：自动化与计算机技术理学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
格值模糊测度的可能性分布表示
《模糊系统与数学》2018年第6期89-96,共8页倪煜博 李永明 
国家自然科学基金资助项目(11271237;61228305);教育部博士点基金资助项目(200807180005)
Dubois,Prade和Rico等对取值为有限全序集上的模糊测度与可能性测度的关系上做了深入研究,本文推广了他们的这一结果,研究了取值在De Morgan代数上的模糊测度,并通过置换与内M?bius变换,构造出两种可能性分布,证明了取值在De Morgan代...
关键词：模糊测度 可能性测度 必要性测度 MOBIUS变换 DE MORGAN type格 并既约元 
加权自动机的极小确定化被引量：1
《模糊系统与数学》2015年第6期124-137,共14页庞美玲 李永明 
国家自然科学基金资助项目(11271237;61228305);教育部博士点基金资助项目(200807180005)
本文给出了可消d-半环上加权自动机的极小确定化算法及其证明。通过定义加权自动机的等价状态,利用状态集上的等价关系和极大分解给出了可消d-半环上加权自动机的完备极小确定化算法,并给出了该算法的详细证明。
关键词：可消d-半环 加权自动机 完备极小确定化 完备极小化算法 
可逆加权树自动机
《模糊系统与数学》2015年第4期125-134,共10页魏秀娟 李永明 
国家自然科学基金资助项目(11271237;61228305);教育部博士点基金资助项目(200807180005)
提出可逆自下而上树自动机,可逆加权树自动机和弱可逆加权树自动机的概念,证明了Σ和交换半环S上的可逆加权树自动机所识别语言的全体关于标量乘法、Hadamard-Product运算封闭,Σ和交换半环S上可逆加权树自动机所识别的语言做和运算得...
关键词：可逆自动机 加权树自动机 Σ-代数 树级数 
基于时间Petri网的AADL模型被引量：3
《计算机技术与发展》2014年第2期88-91,共4页吴育春 李蜀瑜 
教育部博士点基金项目(200807180005)
随着嵌入式系统设计日益复杂,对系统的描述也提出了越来越高的要求,特别是实时性能。因此如何描述实时性能逐渐受到重视。在嵌入式系统中,线程的时间属性影响着系统的实时性,因此在设计早期利用AADL描述线程,但是AADL只是一种半形式化...
关键词：AADL 时间PETRI网 转化规则 
量子无穷正则语言的代数性质被引量：2
《陕西师范大学学报（自然科学版）》2012年第5期9-13,共5页韩召伟 
教育部高等学校博士学科点专项科研基金项目(200807180005);陕西省教育厅科学研究计划项目(12JK0869);陕西师范大学科研启动基金项目(999553)
引入了量子Müller自动机和量子无穷正则语言的概念.注意到量子Müller自动机识别的量子无穷正则语言的像集总是有限的,借助语义分析方法和量子状态构造技术,研究了量子Müller自动机的代数刻画,即证明了任一量子Müller自动机与具有分...
关键词：量子逻辑 量子Müller自动机 量子无穷正则语言 
基于量子逻辑的图灵机及其通用性被引量：3
《计算机学报》2012年第7期1407-1420,共14页李永明 李平 
国家自然科学基金(60873119);教育部高等学校博士点基金(200807180005)资助
基于量子逻辑的自动机理论是量子计算模型的一个重要研究方向.该文研究了基于量子逻辑的图灵机(简称量子图灵机)及其一些变形,给出了包括非确定型量子图灵机l-VTM,确定型量子图灵机l-VDTM以及相应类型的多带量子图灵机,并引入量子图灵...
关键词：量子逻辑 量子计算 量子图灵机 量子递归可枚举语言 量子递归语言 
基于关联方向测量的量子关联
《中国科学：物理学、力学、天文学》2012年第5期515-521,共7页席政军 雷红轩 李永明 
国家自然科学基金(批准号:60873119);博士点基金(编号:200807180005);陕西师范大学优博基金(编号:S2009YB03)资助项目
通过讨论量子失协的上界,给出可达熵量子关联态的一个必要条件.对于双量子比特系统,利用可获得经典关联的最佳测量定义了关联方向上最小的量子失协,分析得到该度量是量子失协很好的逼近结果.最后,讨论量子关联的动力学过程,发现量子关...
关键词：量子关联  量子失协  熵增量  关联方向 
广义量子Loop程序初探被引量：1
《计算机工程与应用》2012年第8期55-57,共3页李小鹏 席政军 李永明 
国家自然科学基金(No.60873119);高等学校博士点基金专项科研基金(No.200807180005)
在经典计算中,Loop程序是非常重要的程序。对量子计算中Loop程序进行研究非常必要。定义了体为量子运算的广义量子Loop程序,给出了量子Loop程序在输入态上终止,几乎终止以及不终止的定义基于任意的初始态。并证明了量子Loop程序在给定...
关键词：量子计算 量子Loop程序 量子运算 
伪加权Mealy机与伪加权Moore机的关系被引量：1
《模糊系统与数学》2011年第6期134-139,共6页李平 李永明 
国家自然科学基金资助项目(60873119);博士点基金资助项目(200807180005);陕西师范大学研究生培养创新基金资助项目(2007CXB004)
给出伪加权序列机、伪加权Mealy机以及伪加权Moore机的定义并分别给出了它们的响应函数。证明伪加权序列机与伪加权Mealy机是不等价的、伪加权序列机与伪加权Moore机是等价的;并以伪加权序列机为桥梁,得到了伪加权Mealy机与伪加权Moore...
关键词：伪半环 伪加权序列机 伪加权Mealy机 伪加权Moore机 
伪加权转换器的极小确定实现化
《陕西师范大学学报（自然科学版）》2011年第6期14-17,22,共5页李平 李永明 
国家自然科学基金资助项目(10571112);教育部高等学校博士点专项基金项目(200807180005)
给出了伪加权转换器及确定型伪加权转换器的定义.在输入输出函数值域有限的条件下,利用输入输出函数上的等价关系给出了伪加权转换器的极小确定实现化.利用状态集上的等价关系给出了确定型伪加权转换器的极小化,证明了确定型伪加权转换...
关键词：伪半环 伪加权转换器 确定型伪加权转换器 实现化 同构 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部