国家自然科学基金(60873119)
- 作品数：45 被引量：128H指数：7
- 相关作者：李永明李志慧席政军李婧李平更多>>
- 相关机构：陕西师范大学徐州师范大学商洛学院更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金陕西省自然科学基金更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 一种动态的多秘密共享方案被引量：4
- 2009年
- 基于Shamir的秘密共享体制和RSA加密算法的安全性,提出一种动态的门限秘密共享方案。在该方案中可以动态添加或删除参与者以及更新多重秘密,无需重新分发子秘密,参与者的秘密份额由每个参与者自己选取,其秘密份额的信息可以通过公开的信道发送给秘密分发者,在秘密恢复过程中,每个参与者能够验证其他参与者是否进行了欺骗。
- 柳烨李志慧郭瑞
- 关键词：门限方案多秘密共享
- 基于向量空间上的无分发者的秘密共享方案被引量：7
- 2011年
- 将Harn和Lin提出的(n,t,n)秘密共享方案的思想应用到向量空间秘密共享方案,利用向量空间秘密共享方案(+,+)同态性质,提出了一个基于向量空间上的无分发者的秘密共享方案。新方案中每个参与者也是分发者,主秘密由每个分发者的子秘密决定,避免了秘密由一个分发者选择、分发而造成分发者权利过大的问题;新方案适用于向量空间访问结构,较(n,t,n)秘密共享方案更具一般性,应用范围更广。
- 张倩倩李志慧雷娟
- 关键词：秘密共享向量空间同态
- 量子上下文无关文法的代数性质被引量：1
- 2011年
- 提出了量子上下文无关文法(l-VCFG)的概念,并研究了其具有的代数性质;证明了量子上下文无关文法(l-VCFG)和Chomsky范式文法(l-VCNF)以及Greibach范式文法(l-VGNF)的相互等价性;详细研究了量子上下文无关语言的代数刻画以及对于正则运算的封闭性。
- 宋小震韩召伟李永明
- 关键词：量子逻辑正交模格
- 基于可能性测度的计算树逻辑CTL~＊与可能性互模拟被引量：11
- 2012年
- 提出了基于可能性测度的计算树逻辑CTL*(PoCTL*)的概念。给出了在可能的Kripke结构中可能性互模拟的定义并对其性质进行了详细的探讨。对商可能性Kripke结构及其相关构造进行了特别的研究。
- 邓辉薛艳李亚利李永明
- 模糊代数系统被引量：5
- 2012年
- 引入模糊代数系统及其强解的概念,给出其特有性质。定义proper和V-proper模糊代数系统,并给出其解的一般表达形式。建立模糊代数系统与模糊上下文无关文法相互转化法则。最后得出结论:任一proper和V-proper模糊代数系统都存在唯一强解。模糊上下文无关文法生成的模糊语言和其对应的模糊代数系统的强解的某个分量是相等的。
- 张孟青李永明
- 完全的伪效应代数被引量：1
- 2010年
- 引入了完全的伪效应代数,给出了伪效应代数中理想、极大理想、素理想和值等概念.证明了伪效应代数中的每个值都有一个覆盖,所有的理想之集组成的集合是一个分配格;给出了伪效应代数中无限小元的概念和无限小元之集Infinit(E)等于极大理想之交Rad(E)的条件;证明了存在定向的插入偏序群范畴GI和完全的伪效应代数范畴PPEA之间的诚实的满的函子,完全的伪效应代数是整数群和定向插入偏序群的字典序乘积中的一个区间.
- 郭建胜
- 关键词：函子
- 投影问题的序关系研究
- 2011年
- 给出了赋值代数系统上投影问题的概念,定义了投影问题的解序和问题序,研究了这些序之间的关系.证明了半环间的映射保问题序与该映射单调是等价的.通过引入映射具有性质P的概念,证明得到半环间的一个满射保投影问题的解序的充分必要条件是该映射为一个半环同态.
- 管雪冲李永明
- 参与者人数为八的一类图存取结构的信息率被引量：4
- 2012年
- 运用某些存取结构与连通图之间的关系,将参与者人数为8的一类存取结构转化为连通图中顶点数为8的一类共110种图存取结构,进而研究了最优信息率及其所对应的完善秘密共享方案的构造。对其中101种图存取结构的最优信息率的精确值进行计算,并讨论了达到此信息率的秘密共享方案的具体构造方法;对余下9种存取结构的最优信息率的上下界进行计算,并证明了顶点数为8的信息率的上界。
- 宋云李志慧
- 关键词：秘密共享方案信息率
- 参数化的广义量子通用相位门
- 2011年
- 主要研究参数化的广义量子通用相位门,给出了单比特量子门、双比特量子门以及三比特量子门的参数化构造。证明参数化的广义量子门和M.Nielsen给出的广义量子门是等价的。举例说明了参数化的广义量子通用门在量子计算中的作用。
- 王鑫席政军李永明李小鹏
- 关键词：量子计算机量子计算参数化
- 基于广义可能性测度的可达性问题的模型检测被引量：8
- 2014年
- 在广义可能性测度下,提出了广义可能性Kripke结构来描述系统的量化行为。在广义可能性Kripke结构下重新定义了线性时序逻辑的语构和语义,研究了线性时间属性的最终可达性、限制可达性、重复可达性等模型检测问题。本文所获得的结果扩大了可能性测度在模型检测中的应用范围。
- 马占有李永明
- 关键词：KRIPKE结构可达性
