欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
位置：立项数据库 > 立项详情页
中文摘要：
该项目建立了格值计算模型理论，并在量子计算与量子信息、软约束问题求解及其相关方面开展了系统而深入的研究。通过引入基于量子逻辑的子集构造方法，完全解决了量子自动机的确定化问题，完成了量子逻辑意义下的Kleene定理、Pumpping引理、Buchi-Elgot定理以及Schutzenberger分类定理。完成了基于量子逻辑的图灵机的相关理论，证明了基于量子逻辑的图灵机可以通过经典的图灵机以及量子终态而实现。完成了量子逻辑意义下的无穷计算理论。完成了格值意义下的图灵机的构造、计算能力、通用性及计算复杂性理论。完成了格值自动机的构造、极小化算法理论，使格值计算理论形成了较完整的体系。在量子计算研究方面，得到量子失协和经典关联之间的一个新的平衡关系，给出了量子失协上界可达的充分必要条件等。在软约束问题求解与信息代数研究方面，给出了半环间的映射保投影问题的优解的条件。得到了两类赋值代数分别在连续性和紧性上的相互对应关系。该项目丰富了不确定环境下的计算理论的研究，格值计算的研究具有较大的国际影响，处于领先地位。该项目共发表各类论文80余篇，其中SCI源论文20篇，部分成果获得陕西省科技进步奖。
结论摘要：
英文主题词Uncertainty;computation modle;automaton;logic;category theory
成果综合统计
期刊论文
会议论文
专利
获奖
著作
期刊论文
会议论文
相关项目
李永明的项目
