您的位置： 专家智库 > >

席政军

作品数：21 被引量：12H指数：2
供职机构：陕西师范大学计算机科学学院更多>>
发文基金：国家自然科学基金国家教育部博士点基金中央高校基本科研业务费专项资金更多>>
相关领域：自动化与计算机技术理学文化科学交通运输工程更多>>

合作作者

文献类型

  • 18篇期刊文章
  • 1篇学位论文
  • 1篇会议论文
  • 1篇科技成果

领域

  • 11篇自动化与计算...
  • 8篇理学
  • 2篇文化科学
  • 1篇机械工程
  • 1篇电子电信
  • 1篇交通运输工程
  • 1篇一般工业技术

主题

  • 11篇量子
  • 3篇算子
  • 3篇相对熵
  • 3篇量子关联
  • 3篇量子计算
  • 2篇代数
  • 2篇代数教学
  • 2篇信息流
  • 2篇条件熵
  • 2篇最小熵
  • 2篇完整性
  • 2篇纠缠
  • 2篇矩阵
  • 2篇互信息
  • 2篇教学
  • 1篇等价
  • 1篇动力学
  • 1篇动力学过程
  • 1篇多项式
  • 1篇信念

机构

  • 21篇陕西师范大学
  • 3篇内江师范学院

作者

  • 21篇席政军
  • 11篇李永明
  • 4篇雷红轩
  • 3篇王鑫
  • 2篇李小鹏
  • 1篇孟红兵
  • 1篇裘国永
  • 1篇颉永建

传媒

  • 3篇计算机研究与...
  • 3篇中国科学：物...
  • 2篇电子学报
  • 2篇计算机工程与...
  • 2篇教育教学论坛
  • 1篇价值工程
  • 1篇华中科技大学...
  • 1篇软件学报
  • 1篇陕西师范大学...
  • 1篇计算机科学
  • 1篇陕西师范大学...
  • 1篇中国系统工程...

年份

  • 1篇2023
  • 1篇2021
  • 2篇2019
  • 1篇2018
  • 2篇2017
  • 1篇2015
  • 4篇2013
  • 4篇2012
  • 2篇2011
  • 1篇2009
  • 1篇2008
  • 1篇2005
共 21 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
几何模型在线性代数教学中的应用被引量：2
2013年
本文通过几何模型与线性代数之间的关系,重点讨论几何模型在线性代数中的应用,并对线性代数课堂教学进行了初步探讨。
席政军
关键词：线性代数课堂教学
量子信息的度量与计算理论研究
李永明席政军颉永建邵连合罗宇林运
量子信息技术是科技前沿领域之一，其发展必将会对未来社会产生深远影响。而量子关联(非经典关联)、量子纠缠和量子相干性，作为区别于经典物理的量子特性，在量子信息处理和量子计算中发挥着重要的作用。该项目得到国家自然科学基金(1...
关键词：
关键词：量子信息处理
量子关联的熵形式度量
纠缠(entanglement)一直以来被认为是量子计算与量子信息的最重要的资源.但最近的研究表明,没有纠缠也可以进行非经典计算,比如：DQC1模型(the deterministic quantum computati...
席政军
关键词：量子关联非局域性量子亏损纠缠动力学过程
文献传递
量子假设检验互信息
2021年
von Neumann互信息是Shannon互信息在量子信息中的推广,在量子信道容量中有非常好的应用.由于量子态的非对易性,许多经典信息论中的量化在量子信息中有完全不等价的推广定义.量子假设检验相对熵来自于假设检验问题,是量子信息处理中常用的基本量化之一.使用量子假设检验相对熵讨论量子互信息.首先讨论量子假设检验相对熵的一些基本性质,并给出该量化和其他量子广义熵之间的关系.然后结合相对熵的性质,给出量子假设检验互信息的定义,并讨论其性质,比如:数据处理不等式.通过互信息与条件熵之和重点讨论互信息的链式法则.
张淑仪席政军
关键词：相对熵互信息条件熵
几种量子程序终止的有效验证被引量：2
2012年
基于文献[18]提出的量子程序验证方法,讨论了单量子比特系统上比特翻转、去极化、幅值阻尼、相位阻尼等信道刻画的量子程序的验证,通过选取不同的可观测算子对程序终止的情况进行了详细的讨论。研究表明,由这些量子信道所描述的量子程序的终止情况不仅依赖于输入态的选取,还依赖于可观测算子的选取。
雷红轩席政军李永明
量子最弱自由前置条件的交换性及其性质被引量：4
2013年
首先给出了量子最弱自由前置条件(weakest liberal precondition,简称wlp)wlp(A,B,C)-可交换的定义,研究了wlp(A,B,C)-可交换的充分必要条件;其次,得到了wlp不是良好的谓词转换,验证了wlp是比量子最弱前置条件(weakest precondition,简称wp)更弱的谓词转换,揭示了wlp和wp的本质区别;最后证明了wlp的序列合成、并行合成和块结构等性质.
雷红轩席政军李永明
直觉模糊下推自动机
本文给出直觉模糊下推自动机及其接受语言的定义,并证明以空栈方式被直觉模糊下推自动机接收的语言与以终状态方式被直觉模糊下推自动机接收的语言等价。
王鑫席政军李永明
关键词：直觉模糊集下推自动机
文献传递
广义量子Loop程序的若干性质被引量：5
2013年
本文首先就广义量子loop程序(简记为GQLoop)的主体由比特翻转、去极化、幅值阻尼、相位阻尼等信道描述时,对它的终止(几乎终止)问题进行了研究.其次,讨论了两类GQLoop程序相互嵌套时loop程序的终止(几乎终止)的问题.研究表明:以量子运算的嵌套为主体的GQLoop程序终止(几乎终止)的条件依赖于刻画量子信道的参数.最后,当开放量子系统与其环境在酉运算下做为loop程序的主体时,讨论了在酉运算后去掉环境时的主系统上量子程序的执行过程.
雷红轩席政军李永明
标准形在矩阵秩证明题教学中的应用
2017年
如何处理好习题课是当前形势下线性代数教学中值得关注的一个方面。矩阵的秩是线性代数的一个重要概念。与矩阵的秩相关的证明题是非常难的,掌握它们的证明能很好地培养学生数学思维能力。本文将重点介绍在习题课教学中,矩阵标准形的概念在矩阵秩的相关证明题中的应用。通过推导矩阵秩的分解定理来引导学生对基础知识的应用,加深概念的理解。
席政军裘国永
关键词：矩阵秩标准形初等变换
基于测量的量子线路被引量：1
2011年
量子线路模型是使用最广泛的量子计算模型,它对于量子算法的构造和量子计算机的物理实现提供了一个基本框架.利用测量演算和分布式量子计算的基本思想,提出了测量量子线路模型(measurement quantum circuits model).测量量子线路主要考虑测量结果对酉运算的影响,测量结果和酉运算之间的关系以及测量基量子线路的在纯态和混合态上的作用.讨论了2个基元运算的并运算,以及连接运算,它们都是封闭的.基于此,定义测量量子线路的基本运算元,并证明任何一个测量量子线路是一个量子运算并举例得以说明.
席政军李永明
关键词：量子计算
全选 清除 导出
共3页<123>
聚类工具0