国家自然科学基金(60873119)

作品数：45被引量：128H指数：7
导出分析报告
相关作者：李永明李志慧席政军李婧李平更多>>
相关机构：陕西师范大学徐州师范大学商洛学院西安电子科技大学更多>>
相关期刊：《内江师范学院学报》《模糊系统与数学》《中国科学：物理学、力学、天文学》《计算机学报》更多>>
相关主题：秘密共享方案多秘密共享量子逻辑量子计算量子更多>>
相关领域：自动化与计算机技术理学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于广义可能性测度的可达性问题的模型检测被引量：8
《模糊系统与数学》2014年第6期88-97,共10页马占有 李永明 
国家自然科学基金资助项目(60873119);北方民族大学项目(2014xb213)
在广义可能性测度下,提出了广义可能性Kripke结构来描述系统的量化行为。在广义可能性Kripke结构下重新定义了线性时序逻辑的语构和语义,研究了线性时间属性的最终可达性、限制可达性、重复可达性等模型检测问题。本文所获得的结果扩大...
关键词：模型检测 广义可能性测度 KRIPKE结构 可达性 
一个可验证的多秘密共享门限方案被引量：4
《计算机工程与应用》2013年第13期65-67,共3页吴星星 李志慧 李婧 
国家自然科学基金(No.60873119)
利用Shamir(t,n)门限方案、有限域上的模运算和Lagrange插值多项式提出了一个可验证的多秘密共享门限方案。该方案中,每一个密钥对应的极小访问结构是一个门限访问结构,这样的访问结构实现了在重构阶段可重构部分密钥,而且重构的参与者...
关键词：多秘密共享 Shamir(t n)门限方案 双变量单向函数 离散对数 
格值有穷自动机和单体二阶格值逻辑被引量：1
《模糊系统与数学》2013年第2期23-29,共7页范艳焕 李永明 
国家自然科学基金资助项目(60873119)
引入了单体二阶格值逻辑,进而给出了基于格值逻辑的有穷自动机识别语言的逻辑描述,证明了格值逻辑意义下的Bubchi-Elgot基本定理。通过引入星自由语言与非周期格值语言,完全刻画了可以用一阶格值逻辑定义的格值语言,得到了格值逻辑意义...
关键词：格值逻辑 有穷自动机 单体二阶逻辑 格值语言 
基于极小线性码上的秘密共享方案被引量：12
《电子学报》2013年第2期220-226,共7页宋云 李志慧 李永明 
国家自然科学基金(No.60873119)
从理论上说,每个线性码都可用于构造秘密共享方案,但是在一般情况下,所构造的秘密共享方案的存取结构是难以确定的.本文提出了极小线性码的概念,指出基于这种码的对偶码所构造的秘密共享方案的存取结构是容易确定的.本文首先证明了极小...
关键词：极小线性码 存取结构 极小码字 秘密共享方案 不可约循环码 
基于直觉模糊的满意度计算模型被引量：18
《计算机科学》2013年第1期266-268,共3页鱼先锋 李永明 
国家自然科学基金(60873119);商洛学院基金项目(12SKY009)资助
满意度理论广泛应用于优化、控制、管理、决策、资源分配、任务调度等领域,但大多是针对具体问题背景定义和计算满意度,缺乏一种普遍适用的形式化满意度计算模型。基于直觉模糊集理论建立了一个普适的多级直觉模糊满意度计算模型;利用...
关键词：直觉模糊 满意度 加权函数 复杂度 
一个新的理想的多秘密共享方案
《计算机工程与应用》2012年第31期65-68,共4页李婧 李志慧 黑赞 
国家自然科学基金(No.60873119);陕西师范大学研究生培养创新基金(No.2012CXS037)
Hsu、Cheng、Tang和Zeng基于单调张成方案设计了一个理想的多秘密共享方案(HCTZ方案),但该方案不具有可验证性。基于单调张成方案和双变量单向函数,提出了一个新的理想的多秘密共享方案。新方案通过增加每个密钥的维数,在保留HCTZ方案...
关键词：多秘密共享 HCTZ方案 双变量单向函数 可验证性 
伪加权转换器及其延迟函数的实现化
《计算机工程与应用》2012年第30期43-45,共3页李平 李永明 
国家自然科学基金(No.60873119)
给出了伪加权转换器及其延迟函数的概念,讨论了延迟函数的一些基本性质。给出了伪加权转换器的延迟函数的实现化。
关键词：伪半环 伪加权转换器 延迟函数 实现化 
几种量子程序终止的有效验证被引量：2
《计算机科学》2012年第11期75-78,共4页雷红轩 席政军 李永明 
国家自然科学基金(60873119)资助
基于文献[18]提出的量子程序验证方法,讨论了单量子比特系统上比特翻转、去极化、幅值阻尼、相位阻尼等信道刻画的量子程序的验证,通过选取不同的可观测算子对程序终止的情况进行了详细的讨论。研究表明,由这些量子信道所描述的量子程...
关键词：量子程序 超算子 终止概率 程序验证 
基于可能性测度的计算树逻辑CTL~＊与可能性互模拟被引量：11
《计算机科学》2012年第10期258-263,共6页邓辉 薛艳 李亚利 李永明 
国家自然科学基金(60873119);中央高校基本科研费(GK201001003)资助
提出了基于可能性测度的计算树逻辑CTL*(PoCTL*)的概念。给出了在可能的Kripke结构中可能性互模拟的定义并对其性质进行了详细的探讨。对商可能性Kripke结构及其相关构造进行了特别的研究。
关键词：可能的Kripke结构 可能性测度 可能性计算树逻辑PoCTL＊ 可能性互模拟 商可能性Kripke结构 
模糊代数系统被引量：5
《模糊系统与数学》2012年第5期72-78,共7页张孟青 李永明 
国家自然科学基金资助项目(60873119)
引入模糊代数系统及其强解的概念,给出其特有性质。定义proper和V-proper模糊代数系统,并给出其解的一般表达形式。建立模糊代数系统与模糊上下文无关文法相互转化法则。最后得出结论:任一proper和V-proper模糊代数系统都存在唯一强解...
关键词：模糊形式幂级数 模糊上下文无关文法及语言 模糊代数系统 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部