国家自然科学基金(60873119)
- 作品数：45 被引量：130H指数：7
- 相关作者：李永明李志慧席政军李婧李平更多>>
- 相关机构：陕西师范大学徐州师范大学商洛学院更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金陕西省自然科学基金更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 一种动态的多秘密共享方案被引量：4
- 2009年
- 基于Shamir的秘密共享体制和RSA加密算法的安全性,提出一种动态的门限秘密共享方案。在该方案中可以动态添加或删除参与者以及更新多重秘密,无需重新分发子秘密,参与者的秘密份额由每个参与者自己选取,其秘密份额的信息可以通过公开的信道发送给秘密分发者,在秘密恢复过程中,每个参与者能够验证其他参与者是否进行了欺骗。
- 柳烨李志慧郭瑞
- 关键词：门限方案多秘密共享
- 基于向量空间上的无分发者的秘密共享方案被引量：7
- 2011年
- 将Harn和Lin提出的(n,t,n)秘密共享方案的思想应用到向量空间秘密共享方案,利用向量空间秘密共享方案(+,+)同态性质,提出了一个基于向量空间上的无分发者的秘密共享方案。新方案中每个参与者也是分发者,主秘密由每个分发者的子秘密决定,避免了秘密由一个分发者选择、分发而造成分发者权利过大的问题;新方案适用于向量空间访问结构,较(n,t,n)秘密共享方案更具一般性,应用范围更广。
- 张倩倩李志慧雷娟
- 关键词：秘密共享向量空间同态
- 基于量子逻辑的几类有穷自动机之间的关系被引量：1
- 2011年
- 根据初始状态和终止状态是否为分明的,非确定型量子有穷自动机可分为四类,确定型量子有穷自动机可分为三类.本文详细讨论了四类非确定型量子有穷自动机之间的关系以及三类确定型量子有穷自动机之间的关系,并且利用新的构造方法,证明了初态为分明的确定型量子有穷自动机与终态为分明的确定型量子有穷自动机是等价的.这些结论为实际应用中计算模型的合理选取提供了理论依据.
- 李平李永明
- 关键词：状态集
- 连续信息代数
- 2011年
- 给出基于自由域信息代数和带论域信息代数上的连续性概念。证明在域集格有最大元的情况下,两种连续性之间是相互对应的。定义了连续信息代数之间的连续映射的概念,证得:若(,ΦD),(Ψ,E)都是强连续的信息代数,则([Φ→Ψ]c,D×E)也是强连续的。
- 管雪冲李永明
- 关键词：连续函数连续格
- 几种量子程序终止的有效验证被引量：2
- 2012年
- 基于文献[18]提出的量子程序验证方法,讨论了单量子比特系统上比特翻转、去极化、幅值阻尼、相位阻尼等信道刻画的量子程序的验证,通过选取不同的可观测算子对程序终止的情况进行了详细的讨论。研究表明,由这些量子信道所描述的量子程序的终止情况不仅依赖于输入态的选取,还依赖于可观测算子的选取。
- 雷红轩席政军李永明
- 量子上下文无关文法的代数性质被引量：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的概念,证明得到半环间的一个满射保投影问题的解序的充分必要条件是该映射为一个半环同态.
- 管雪冲李永明
