高菲菲
- 作品数：7 被引量：8H指数：1
- 供职机构：陕西师范大学数学与信息科学学院更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金陕西省科学技术研究发展计划项目更多>>
- 相关领域：理学电子电信艺术自动化与计算机技术更多>>
- 多值命题逻辑中若干逻辑理论的拓扑刻画
- 数理逻辑的特点在于形式化和符号化,它和计算数学有着截然不同的风格,前者注重形式推理,而后者注重数值计算;前者强调严格论证,而后者允许近似求解,如果说数理逻辑具有刻板的一丝不苟的形象,那么计算数学具有灵活的张驰有度的特征....
- 高菲菲
- 关键词：真度逻辑度量空间闭集
- 文献传递
- 中国古代乐舞在陕西民间的遗存
- 在陕西省民间流传的许多舞蹈和传统社火节目中,有部分节目与我国古代的乐舞一脉相承,这无疑是我国古代乐舞在我省民间发展、演变的佐证。本文主要以陕西现存的或有记载的三百五十余种民间舞蹈为研究对象,将它们与我国古代的乐舞进行比对...
- 高菲菲
- 关键词：舞蹈
- 文献传递
- 三值Luk命题逻辑系统中逻辑理论的拓扑刻画
- 2008年
- 基于三值Lukasiewicz命题逻辑系统Luk3中的计量逻辑学理论,研究了逻辑理论在逻辑意义下的性质与其在拓扑意义下的性质之间的联系,并给出了闭逻辑理论的拓扑性质描述及多值命题逻辑中逻辑理论的发散性的拓扑刻画.
- 高菲菲
- 关键词：真度伪距离逻辑度量空间闭集
- 一种新的基于相位编码的B92协议被引量：1
- 2019年
- 量子密钥分发允许两个远程方生成理论上安全的密钥,但实际中往往存在光源和测量设备的非完美性,使得量子密钥分配系统存在不同的攻击。为了消除这些攻击,研究者提出了一种双场量子秘钥分发协议。该协议将密钥信息编码在光子的相位中使得光子易于传输和保持,不仅可以将传输距离延长,并且解决了测量装置的安全性问题。受此启发,在此协议的基础上提出了一种基于相位编码的B92协议,所提出协议消除了探测器的攻击,密钥率相比原B92协议也有所提高,在后处理过程中不需要对基步骤,通信双方使用的只有两个非正交量子态,并且在实际中易于实现。
- 高菲菲李志慧韩朵
- 关键词：量子光学
- 基于弱测量的噪声环境下量子秘密共享方案被引量：1
- 2019年
- 量子秘密共享是量子密码学中一个重要分支,而纠缠态是设计秘密共享协议的重要手段之一。噪声环境会导致量子纠缠态发生退相干,从而降低方案质量甚至失败。本文针对相关文献中的量子秘密共享方案,研究了振幅阻尼信道对方案的影响。为了减少纠缠退相干的发生,采用了弱测量方法对噪声环境下的方案进行保护,分析了经过振幅阻尼信道作用之后得到的秘密量子态与初始秘密之间的保真度;给出了不采取任何手段时得到秘密与采用弱测量得到秘密时的相干性度量的定量研究。最后,以具体的量子态为例,发现弱测量的方法对提高方案中秘密态的保真度与相干性具有一定的意义。
- 白晨明李志慧高菲菲
- 关键词：量子秘密共享相干性
- 几类量子密钥分发协议的比较与分析被引量：4
- 2019年
- 本文根据量子密钥分发协议的特点,对近期分别由M.Lucamarini等和马雄峰等提出的两类量子密钥分发协议,即双场量子密钥分发协议(TF-QKD)、相位匹配量子密钥分发协议(PM-QKD)与H.K等提出的测量设备无关的量子密钥分发协议(MDI-QKD)进行多方分析,确定比较基准和分类属性,在同一层次上横向比较了这三种协议在设备实现、诱骗态方法、光子源、干涉测量类型、密钥率、安全性证明等方面的特性,结果表明相位编码能有效提高光脉冲传输稳定性,结合单光子干涉以及相位后补偿方法能够进一步提高密钥生成率。
- 韩朵李志慧高菲菲
- 关键词：量子密钥分发
- 多值命题逻辑中逻辑理论的拓扑刻画被引量：1
- 2008年
- 基于多值Lukasiewicz命题逻辑系统Ln中的计量逻辑学理论,研究了逻辑理论在逻辑意义下的性质与其在拓扑意义下的性质之间的联系,并给出了闭逻辑理论的拓扑性质描述及多值命题逻辑中逻辑理论的发散性的拓扑刻画。
- 高菲菲王国俊
- 关键词：真度逻辑度量空间闭集
