基于不确定测度的定量时序逻辑的表示与可判定性研究

11671244
2016
A0602.信息技术与不确定性的数学理论与方法
李永明
面上项目
教授
陕西师范大学
48万元
量子逻辑;模态逻辑;模糊逻辑;模型检测;多值逻辑
2017-01-01到2020-12-31
  • 中英文摘要
  • 结题摘要
  • 结题报告
  • 项目成果
  • 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
重置
序号 标题 类型 作者
1 Minimization of lattice multiset finite automata 期刊论文 Yongbing Wang;Yongming Li
2 强赋值幺半群上的加权Mealy机与加权Moore机的关系 期刊论文 王敏;李永明
3 How academic librarians involve and contribute in research activities of universities? A systematic demonstration in practice through comparative studies of research productivities and research impacts 期刊论文 Zhiyi Shao;Yongming Li;Ke Wu;Yingjie Guo;Fan Feng;Fen Hui;Yanfen Niu;Yang Zheng
4 Fuzzy ϵ-approximate regular languages and minimal deterministic fuzzy automata ϵ-accepting them 期刊论文 Chao Yang;Yongming Li
5 Reasoning about Betweenness and RCC8 Constraints in Qualitative Conceptual Spaces 会议论文 Steven Schockaert;Sanjiang Li
6 Inequivalent multipartite coherence classes and two operational coherence monotones 期刊论文 Luo Yu;Li Yongming;Hsieh Min Hsiu
7 Robustness of purity: an operational approach to resource theory of purity 期刊论文 Luo Yu;Li Yongming
8 Model checking of linear-time properties in multi-valued systems 期刊论文 Li Yongming;Droste Manfred;Lei Lihui
9 量子信息的度量和计算理论研究 奖励 李永明;席政军;颉永建;罗宇;邵连合;李平;韩召伟;雷红轩;林运国
10 0-1 linear programming methods for optimal normal and pseudoparameter reductions of soft sets 期刊论文 Banghe Han;Shengling Geng;Yongming Li
11 Quantum secret sharing for a general quantum access structure 期刊论文 Chenming Bai;Zhihui Li;Mengmeng Si;Yongming Li
12 Quantitative model checking of linear-time properties based on generalized possibility measures 期刊论文 Li Yongming
13 Entanglement distribution in multi-particle systems in terms of unified entropy 期刊论文 Luo Yu;Zhang Fu-Gang;Li Yongming
14 Quantum secret sharing using the d-dimensional GHZ state 期刊论文 Chenming Bai;Zhihui Li;Tingting Xu;Yongming Li
15 The sum of observables on a sigma-distributive lattice effect algebra 期刊论文 Janda Jiri;Li Yongming
16 广义可能性计算树逻辑的模型检测问题 期刊论文 梁常建;李永明
17 参数化犹豫模糊熵及其应用 期刊论文 梅凤娇;李永明
18 Sufficient Conditions of the Same State Order Induced by Coherence 期刊论文 Zhang Fu Gang;Li Yong Ming
19 Possibilistic Fuzzy Linear Temporal Logic and its Model Checking 期刊论文 Yongming Li;Jinlin Wei
20 On conditions for semirings to induce compactinformation algebras 期刊论文 Xuechong Guan;Yongming Li;Jueger Kohlas
21 不确定型模糊Kripke结构的计算树逻辑模型检测 期刊论文 范艳焕;李永明;潘海玉
22 基于极大型信任结构的非确定型决策 期刊论文 贾本甲;李永明
23 Topological characterization for fuzzy regular languages 期刊论文 Yongbing Wang;Yongming Li
24 Improving fidelity of quantum secret sharing in noisy environments 期刊论文 Chenming Bai;Zhihui Li;Yongming Li
25 多值可能性模型检测器的设计与实现 期刊论文 洪云端;李永明
26 广义可能性计算树逻辑和计算树逻辑的关系 期刊论文 李丹;李永明
27 Exploring Directional Path-Consistency for Solving Constraint Networks 期刊论文 Shufeng Kong;Sanjiang Li;Michael Sioutis
28 A dynamic multiparty quantum direct secret sharing based on generalized GHZ states 期刊论文 Song Yun;Li Zhihui;Li Yongming
29 格值交替树自动机 期刊论文 魏秀娟;李永明
30 极大型信任结构的直觉表示 期刊论文 李蕾;胡新韬
31 A quantum secret sharing scheme with verifiable function 期刊论文 Liu Li-Juan;Li Zhi-Hui;Han Zhao-Wei;Zhi Dan-Li
32 Quantum uncertainty relations of two quantum relative entropies of coherence 期刊论文 Mu Haijin;Li Yongming
33 Distillability for non-full-rank states in the probabilistic framework 期刊论文 Piing Li;Yu Luo;Yongming Li
34 A novel table look-up scheme based on GFScom and its application 期刊论文 Shengli Zhang;Yongming Li
35 Interdisciplinarity research based on NSFC-sponsored projects: A case study of mathematics in Chinese universities 期刊论文 Shao Zhi Yi;Li Yong Ming;Hui Fen;Zheng Yang;Guo Ying Jie
36 The relationships among several forms of weighted finite automata over strong bimonoids 期刊论文 Ping Li;Yongming Li;Shengming Geng
37 Dynamics of Cohering and Decohering Power under Markovian Channels 期刊论文 Chen Ming Ming;Luo Yu;Shao Lian He;Li Yong Ming
38 An (R, S)-norm information measure for hesitant fuzzy sets and its application in decision making 期刊论文 Chunfeng Suo;Yongming Li;Zhihui Li
39 Quantum uncertainty relations of two generalized quantum relative entropies of coherence 期刊论文 Zhang FuGang;Li YongMing
40 Computation tree logic model checking based on multi-valued possibility measures 期刊论文 Li Yongming;Lei Lihui;Li Sanjiang
41 Protocol of deterministic coherence distillation and dilution of pure states 期刊论文 Yufeng Lian;Yu Luo;Yongming Li
42 The Tsallis Relative 2-Entropy of Coherence for Qubit System 期刊论文 Shao Lian-He;Li Yongming
43 Compact geometric representation of qualitative directional knowledge 期刊论文 Zhiguo Long;Hua Meng;Tianrui Li;Sanjiang Li
44 具有多值决策过程的广义可能性计算树逻辑模型检测 期刊论文 袁申;魏杰林;李永明
45 Tighter monogamy and polygamy relations in multiqubit systems 期刊论文 Zhang Zhaonan;Luo Yu;Li Yongming
46 Quantifying quantum non-Markovianity via max-relative entropy` 期刊论文 Luo Yu;Li Yongming
47 An Automata-Theoretic Approach to L-valued Computation Tree Logic Model Checking 期刊论文 Wei Xiujuan;Li Yongming
48 Fuzzy alternating automata over distributive lattices 期刊论文 Wei Xiujuan;Li Yongming
49 Restricted (k, n)-threshold quantum secret sharing scheme based on local distinguishability of orthogonal multiqudit entangled states 期刊论文 Chenming Bai;Zhihui Li;Yongming Li
50 Weighted automaton and varieties of formal power series 期刊论文 Yongbing Wang;Yongming Li
51 Weighted two-dimensional finite automata 会议论文 Qichao Wang;Yongming Li;Wei Zhou
52 epsilon-Bisimulation Relations for Fuzzy Automata 期刊论文 Yang Chao;Li Yongming
53 具有DP的广义可能性模糊时态CTL模型检测 期刊论文 魏杰林;袁申;李永明;梁常建
54 Quantifying quantum non-Markovianity via one-shot generalised mutual information 期刊论文 Luo Yu;Li Yongming;Shao Lian-He;Xi Zhengjun
55 Multiparty Quantum Direct Secret Sharing of Classical Information with Bell States and Bell Measurements 期刊论文 Song Yun;Li Yongming;Wang Wenhua
56 Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures 期刊论文 Yang Chao;Li Yongming
57 Sequential Quantum Secret Sharing Using a Single Qudit 期刊论文 Chenming Bai;Zhihui Li;Yongming Li
58 模糊线性时序逻辑的可实现性 期刊论文 范艳焕;李永明
59 Reachability in Fuzzy Game Graphs 期刊论文 Pan Haiyu;Li Yongming;Cao Yongzhi;Li Dechao
60 犹豫直觉模糊集的知识测度及其应用 期刊论文 张荣荣;李永明
61 Hierarchical Polygamy Inequality for Entanglement of Tsallis q-Entropy 期刊论文 Luo Yu;Li Yong Ming
62 基于GHZ态局域测量的量子秘密共享 期刊论文 宋云
63 Fuzzy alternating Stichi automata over distributive lattices 期刊论文 Wei Xiujuan;Li Yongming
64 Quantum Coherence Quantifiers Based on Renyi alpha-Relative Entropy 期刊论文 Shao Lian-He;Li Yong-Ming;Luo Yu;Xi Zheng-Jun
65 On constructing the largest and smallest uninorms on bounded lattices 期刊论文 Aifang Xie;Sanjiang Li
66 Approximate bisimulation relations for fuzzy automata 期刊论文 Yang Chao;Li Yongming
67 Finding Main Paths of a Research Subject: a Thorough Demonstration,Key Problems Solving And a Case Study of Main-Path Study Itself 期刊论文 Shao Zhiyi;Li Yongming;Wu Ke;Hui Fen;Niu Yanfen;Yuan Shen;Feng Fan
68 Nondeterministic fuzzy automata with membership values in complete residuated lattices 期刊论文 Pan Haiyu;Li Yongming;Cao Yongzhi;Li Ping
69 Entropic cohering power in quantum operations 期刊论文 Xi Zhengjun;Hu Ming Liang;Li Yongming;Fan Heng
70 Quantum uncertainty relations of quantum coherence and dynamics under amplitude damping channel 期刊论文 Fugang Zhang;Yongming Li
71 具有模糊时态的广义可能性线性时序逻辑的模型检测 期刊论文 梁常建;李永明
72 Ordering states with Tsallis relative α-entropies of coherence 期刊论文 Fugang Zhang;Lianhe Shao;Yu Luo;Yongming Li
73 直觉模糊测度的计算树逻辑 期刊论文 鱼先锋;李超;李永明
74 取值于赋值幺半群的加权上下文无关文法及其语言 期刊论文 王月;李永明
75 A new distributed algorithm for efficient generalized arc-consistency propagation 期刊论文 Kong Shufeng;Lee Jae Hee;Li Sanjiang
76 A new class of states of reversible entanglement manipulation under PPT operations 期刊论文 Jing Duan;Yu Luo;Yongming Li
77 On tree-preserving constraints 期刊论文 Kong Shufeng;Li Sanjiang;Li Yongming;Long Zhiguo
78 格值模糊测度的可能性分布表示 期刊论文 倪煜博;李永明
查看更多信息请先登录或注册

相关项目

趋势报告

经验分享