量子信息系统的动态逻辑研究

61073023
2010
F0201.计算机科学的基础理论
尚云
面上项目
研究员
中国科学院数学与系统科学研究院
35万元
量子程序;量子信息流;基于测量的量子计算模型;量子动态逻辑
2011-01-01到2013-12-31
  • 中英文摘要
  • 结题摘要
  • 结题报告
  • 项目成果
  • 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
重置
序号 标题 类型 作者
1 Quantum public-key cryptosystem using non-orthogonal states 期刊论文 Xiaoyu Li, Lei Li|
2 Closures properties of quantum Turing languages 会议论文 Yun Shang|Xian Lu|Ruqian Lu|
3 Turing machine based on unsharp quantum logic 会议论文 Yun Shang|Xian Lu|Ruqian Lu|
4 Design of sequential circuits. in quantum-dot cellular automata: JK Flip-Flop case study 期刊论文 Kun Kong|Yun Shang|Ruqian Lu|
5 Quantum public-key cryptosystem based on super dense coding technology 期刊论文 Xiaoyu Li|Dexi Zhang|
6 Weak QMV algebras 会议论文 Yun Shang|Xian Lu|Ruqian Lu|
7 Intelligent Computer-Aided Ancient Chinese Architecture Design 会议论文 Zhang S.M.|Lu R.Q.|
8 The computing power of Turing machine based on unsharp quantum logic 会议论文 Yun Shang|Xian Lu|Ruqian Lu|
9 Determined key distribution protocol using orthogonal product states 期刊论文 Xiaoyu Li, Qiuyu Zhao|
10 A direct product decomposition of QMV algebras 期刊论文 Lu Xian|Shang Yun|Lu RuQian|
11 Information delay protocol using quantum entangled states 期刊论文 xiaoyu Li|Dexi Zhang|
12 Automata theory based on lattice-ordered semirings 期刊论文 Xian Lu|Yun Shang|Ruqian Lu|
13 Determined key distribution protocol using non-orthogonal quantum states 期刊论文 Xiaoyu Li ;|Leisheng Zhao|
14 Knowware based Automatic Construction of a Treelike Library from Web Documents, 会议论文 Ruqian Lu|Yu Huang|Kai Sun|Zhongxiang Chen|Yiwen Chen|Songmao Zhang|
15 Quantum information delay protocol using entanglement swapping 期刊论文 XiaoyuLi|WeimeiZhi|
16 An optimized majority logic synthesis methodology for quantum-dot cellular automata 期刊论文 Kun Kong|Yun Shang|Ruqian Lu|
17 Linear bounded automata based on unsharp quantum logic 会议论文 Yun Shang|Xian Lu|Ruqian Lu|
18 Computing power of Turing machine based on quantum logic 会议论文 Shang Yun|
19 A Markup language for ancient chinese architecture 会议论文 Zhang S.M|Lu R.Q|Liu C.N|
20 Counter designs in quantum dot cellullar automata 会议论文 Kun Kong|Yun Shang|Ruqian Lu|
21 A theory of computation based on unsharp quantum logic:finite state automata and pushdown automata 期刊论文 Yun Shang|Xian Lu|Ruqian Lu|
22 ICA3D—Intelligent Computer Aided Ancient Chinese Architecture Design 期刊论文 张松懋|陆汝钤|
23 A theory of computation based on unsharp quantum logic 会议论文 Yun Shang|Xian Lu|Ruqian Lu|
24 Computing parametric ranking models via rank-breaking. 会议论文 Soufiani H.A|Parkes D.C.|Xia L.R.|
查看更多信息请先登录或注册

相关项目

趋势报告

经验分享