李永明
- 作品数：225 被引量：470H指数：12
- 供职机构：陕西师范大学更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术理学艺术文化科学更多>>
- 芭蕾教学法在芭蕾基训中的运用
- 2017年
- 芭蕾基训是舞蹈专业教学中一门重要的专业必修课.在芭蕾基训教学中,教学方法是为完成教学任务和教学大纲所采用的手段和途径.这就需要有针对性的学习和掌握芭蕾教学法,在学习和掌握教学法的基础上优选教法可以高质量地完成教学任务,从而提高学习效率.也就是说在芭蕾基训中芭蕾教学法起着非常重要的作用,对获得高质量的教学效果是至关重要.
- 李永明程子宸
- 转移函数保半环赋值代数轮廓解的条件被引量：2
- 2015年
- 对转移映射保半环诱导的赋值代数的轮廓解的问题进行了研究。得到若转移映射f是一个反保序的半环同态,则f是保轮廓解的。如果两个半环间的一个转移映射f是单调的,则若原赋值与转移后对应的新赋值的轮廓解都非空,则一定存在一个轮廓0,它是新赋值的轮廓解,也是原赋值的轮廓解,即0∈Cφ∩Cfφ。
- 许格妮李永明
- 关键词：半环
- 强赋值幺半群上的加权Mealy机与加权Moore机的关系
- 2018年
- 赋值幺半群是一类包含半环在内的代数结构,在赋值幺半群的基础上定义强赋值幺半群。由于带输出的加权有穷自动机在自然语言的处理方面有很重要的意义,是自动机理论的一个重要研究方向。在权重取值于强赋值幺半群下定义了3种带输出的加权自动机,即强赋值加权序列机、强赋值加权Mealy机以及强赋值加权Moore机,并且给出了它们的响应函数,进而探讨了强赋值加权Mealy机和强赋值加权Moore机的关系,即强赋值加权序列机与强赋值加权Mealy机是不等价的,强赋值加权序列机与强赋值加权Moore机是等价的;并以强赋值加权序列机为中介,强赋值加权Mealy机与强赋值加权Moore机的关系是不等价的。
- 王敏李永明
- 关键词：等价性
- Pebble模糊有穷自动机和传递闭包逻辑被引量：4
- 2015年
- 定义了Lukasiewicz逻辑下的一阶有界传递闭包逻辑,并且给出了模糊有穷自动机的一阶有界传递闭包逻辑;另外,我们还介绍了两类模糊有穷自动机:Nested模糊有穷自动机和Pebble模糊有穷自动机,并且证得这两类模糊自动机都可以由一阶有界传递闭包逻辑来刻画,因此它们并没有提升模糊自动机的语言识别能力;进而得到本文的主要结论:在Lukasiewicz逻辑下,模糊单体二阶逻辑与Lukasiewicz逻辑下的一阶有界传递闭包逻辑之间等价,且模糊自动机所识别的语言与Pebble模糊有穷自动机识别的语言是等价的。
- 范艳焕耿生玲李永明
- Limit分子格
- 2001年
- 通过在完全分配格上引入理想收敛，给出ｌｉｍｉｔ分子格及其范畴，证明了其是包含拓扑分子格范畴为全反射范畴的笛卡儿闭范畴．
- 李永明李志慧
- 关键词：完全分配格拓扑分子格
- 格值模糊测度的可能性分布表示
- 2018年
- Dubois,Prade和Rico等对取值为有限全序集上的模糊测度与可能性测度的关系上做了深入研究,本文推广了他们的这一结果,研究了取值在De Morgan代数上的模糊测度,并通过置换与内M?bius变换,构造出两种可能性分布,证明了取值在De Morgan代数上的模糊测度可以通过一些可能性测度的下确界表示,而通过外M?bius变换,可构造出一种必要性分布,证明了取值在De Morgan代数上的模糊测度可以通过一些必要性测度的上确界表示。
- 倪煜博李永明
- 关键词：MOBIUS变换DEMORGAN
- 基于量子纯态纠缠转化的一种算法
- 2008年
- 量子纠缠是一些量子信息处理过程中必不可少的资源,研究量子态之间确定的或概率的纠缠转化的算法是量子信息理论里一项重要的任务。首先考虑了利用局域操作和经典通讯(LOCC)将双体量子纯态转化为混合双体态的算法,该方法算法简单,并且考虑了在催化剂的作用下,两双体纯态的纠缠转化的算法。
- 任林源李得超李永明
- 关键词：量子算法
- 可能性测度下LTL性质的研究
- 在可能的有穷Kripke结构中,给出了可能性测度的一些基本概念,定义了瞬时可能性测度.用构造法证明了在转移步数限制下可达可能性测度与可达瞬时可能性测度相等,受限的转移步数限制下的可达可能性测度与受限可达瞬时可能性测度相等...
- 李亚利马占有邓辉李永明
- 信道噪声对量子信息分离的影响
- 2016年
- 文献[7]给出了一个三者之间利用四粒子团簇态作为量子信道实现单粒子量子态的量子信息分离的方案。在此方案的基础上,分析了经典噪声信道对这个量子信息分离方案的影响。通过利用二元对称信道以及二元删除信道,得到了信息分离成功概率与经典信道噪声系数之间的关系。除此之外,还研究了量子噪声信道对此方案的影响。在振幅阻尼信道或者去极化信道上进行量子信息分离的过程中,量子纠缠信道将会发生退相干,从而导致量子信息分离质量的下降。文中给出了量子信息分离保真度与噪声系数以及所传送量子态系数之间的关系刻画。
- 白晨明李永明
- 关键词：量子信道
- 模糊图灵机的逼近性与通用性被引量：7
- 2008年
- 模糊图灵机是模糊算法或模糊计算的形式模型.文中研究了模糊图灵机的几种变形,这包括基于max-★复合运算的非确定型模糊图灵机(简写为NFTM★,其中★为t-模),非确定型模糊图灵机(简写为NFTM),确定型模糊图灵机(简写为DFTM),以及这些变形的多带版本.得到了以下一些结论:第1,若t-模★不满足有限生成条件,则NFTM★,NFTM和DFTM一般不等价,这里等价指的是识别相同的模糊语言.但在逼近意义下等价,也即,NFTM★可以被NFTM以任意精度逼近,并给出了相关的构造.引入了模糊递归可枚举语言与模糊递归语言的概念,并利用递归可枚举语言与递归语言对其进行层次刻画.第2,如果限制NFTM★的模糊隶属函数的取值域为单位区间[0,1]的一个固定的有限子集D,则存在通用模糊图灵机,用该通用模糊图灵机可以模拟上述类型的限制型模糊图灵机.一般地,通用模糊图灵机在逼近意义下存在,该通用模糊图灵机可以以给定精度模拟任意类型的模糊图灵机.
- 李永明
- 关键词：模糊算法
