检索结果-内蒙古大学图书馆

21st ACM SIGPLAN International Conference on Managed programming Languages and Runtimes (MPLR)

作者： Wright, Christopher John Lujan, Mikel Petoumenos, Pavlos Goodacre, John Univ Manchester Manchester Lancs England

ISBN: (纸本)9798400711183

Current strategies for quantum software development still exhibit complexity on top of the already-intricate nature of quantum mechanics. quantum programming languages are either restricted to low-level, gate-based operations appended to classical objects for circuit generation, or require modelling of quantum state transformations in Hilbert space through algebraic representation. This paper presents the Quff language which is a high-level, dynamically typed quantum-classical programming language. The Quff compiler and runtitne system facilitates quantum software development with high-level expression abstracted across the quantum-classical paradigms. Quff is constructed on top of the Truffle framework which aids the implementation and efficiency of the stack, while reusing the JVM infrastructure. The presented comparisons display that Quff lends itself as an effective, easy-to-use solution for the development of executable quantum programs with automatic circuit generation and efficient computation.

关键词： quantum Computing quantum programming Compilation Runtime Systems Dynamically-typed programming Intermediate Representation Java on Truffle GraalVM

来源：评论

学校读者我要写书评

暂无评论

Demonstration of quantum Nonlocality for Multi-Qubit Systems via quantum programming

引用

INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS 2020年第8期59卷 2486-2493页

作者： Gao, Hong-Kui Wang, Chao-Hua Wan, Lin-Ping Hou, Tong Tian, Li-Qin Ding, Dong North China Inst Sci & Technol Coll Sci Beijing 101601 Peoples R China North China Inst Sci & Technol Sch Comp Sci Beijing 101601 Peoples R China

quantum nonlocality can be shown by measuring a quantum system containing multipartite entangled state. A key to quantum measurement is to find out what kinds of measurement settings are optimal. We design programable quantum circuit to demonstrate quantum nonlocality for multi-qubit systems based on quantum programming. A series of multiple quantum measurements are performed via cycle structure. As a result, we reveal quantum nonlocality of multipartite quantum systems as well as verify optimizing of measurement settings.

关键词： quantum nonlocality quantum programming

来源：评论

学校读者我要写书评

暂无评论

AutoQP: Genetic programming for quantum programming 17

AutoQP: Genetic Programming for Quantum Programming

引用

17th International Bhurban Conference on Applied Sciences and Technology (IBCAST)

作者： Ahsan, Usama Minhas, Fayyaz ul Amir Afsar Pakistan Inst Engn & Appl Sci Data Sci Lab Islamabad Pakistan

ISBN: (纸本)9781728146768

quantum computing is a new era in the field of computation which makes use of quantum mechanical phenomena such as superposition, entanglement, and quantum annealing. It is a very promising field and has given a new paradigm to efficiently solve complex computational problems. However, programming quantum computers is a difficult task In this research, we have developed a system called AutoQP which can write quantum computer code through genetic programming on a classical computer provided the input and expected output of a quantum program. We have tested AutoQP on two different quantum algorithms: Deutsch Problem and the Bernstein-Vazirani problem. In our experimental analysis, AutoQP was able to generate quantum programs for solving both problems. The code generated by AutoQP was successfully tested on actual IBM quantum computers as well. It is expected that the proposed system can be very useful for the general development of quantum programs based on the IBM gate model. The source code for the proposed system is available at the URL: https://***/usamaahsan93/AutoQP

关键词： quantum programming Genetic programming IBM quantum Computer Automatic quantum programming Qiskit

来源：评论

学校读者我要写书评

暂无评论

Math and Physics Tools for Quality quantum programming 13th

Math and Physics Tools for Quality Quantum Programming

引用

13th International Conference on the Quality of Information and Communications Technology (QUATIC)

作者： Murina, Ezequiel Quantum Madrid Spain

ISBN: (纸本)9783030587925;9783030587932

We are in presence of a quantum computing revolution that will be critical for the dominant global position of nations in near future. Some quantum lab devices have been developed and important milestones have been reached, mainly in the branch of communications. In this scenario, it is urgent to educate people in quantum computing and technology, like it happens with disciplines such as science, technology, engineering, and mathematics promoted by government in order to instruct science-aware citizens. A solid knowledge base in math and physics is essential for a workforce able to develop high quality quantum technology. This work addresses the necessity of quantum literacy for the creation of a new workforce, proposing the basic math tools, and physics background for entering into the field of quantum programming. It also addresses a certification about Science Foundation for quantum programming, as a means for assuring the quality of quantum software professionals.

关键词： quantum literacy quantum programming quantum math-physics quantum certification

来源：评论

学校读者我要写书评

暂无评论

Implementing termination analysis on quantum programming

引用

Science China(Information Sciences) 2019年第12期62卷 215-222页

作者： Shusen LIU Kan HE Runyao DUAN School of Data and Computer Science Sun Yat-sen University Institute for Quantum Computing Baidu Beijing Institute for Advanced Study Tsinghua University College of Mathematics & College of Information and Computer Science Taiyuan University of Technology

Termination analysis is an essential part in programming. Especially quantum programming concerning measurement, entanglement and even superposition are the foundations of bizarre behaviours in quantum programs. In this paper, we analyse and extend the theoretical theorems on termination analysis proposed by Ying et al. into computational theorems and algorithms. The new algorithm without the Jordan decomposition process has a significant acceleration with polynomial complexity both on terminating and almost-surely terminating programs. Moreover, the least upper bound of termination programs steps is studied and utilized to output the substituted matrix representation of quantum programs. We also implement four groups of experiments to illustrate the advantages of the new algorithm in case of processing a simplified quantum walk example comparing with the original counterpart.

关键词： termination analysis quantum while-language quantum programming quantum experiment terminating steps

来源：评论

学校读者我要写书评

暂无评论

Adapting service delivery for quantum programming 1

Adapting service delivery for quantum programming

引用

1st International Workshop on the quantum SoftWare Engineering and programming, QANSWER 2020

作者： Gonzalez, Guillermo José Hernández Grupo Eidos Consultoria Informatica SLU Madrid28230 Spain

Brief presentation to summarize the possible and predictable changes and challenges that service delivery needs to support to adequate to the quantum programming and other general quantum technologies. Copyright © 2020 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： quantum programming Service Delivery

来源：评论

学校读者我要写书评

暂无评论

quantum programming: a review 14

Quantum programming: a review

引用

14th IEEE International Scientific Conference on Informatics

作者： Spisiak, Milan Kollar, Jan Tech Univ Kosice Fac Elect Engn & Informat Dept Comp & Informat Letna 9 Kosice 04200 Slovakia

ISBN: (纸本)9781538608890

In this paper, we discuss an actual state of the quantum programming. At present, we don't how know to solve some algorithmic problems, mainly the processing of complex information, using the current computer architecture in real time. The quantum approaches promise new opportunities in the processing of complex information. This paper is divided to three parts. The first part of paper is focused on the theoretical basis of quantum computer. The second part presents current state in this area. The third part shows experiments on a quantum computer. The experiments are performed on IBM Q platform.

关键词： quantum programming IBM ibmqx2

来源：评论

学校读者我要写书评

暂无评论

Limitations on post-processing assisted quantum programming

引用

quantum INFORMATION PROCESSING 2017年第3期16卷 1-15页

作者： Heinosaari, Teiko Miyadera, Takayuki Tukiainen, Mikko Univ Turku Dept Phys & Astron Turku Ctr Quantum Phys Turku Finland Kyoto Univ Dept Nucl Engn Kyoto 6068501 Japan

A quantum multimeter is a programmable device that can implement measurements of different observables depending on the programming quantum state inserted into it. The advantage of this arrangement over a single-purpose device is in its versatility: one can realize various measurements simply by changing the programming state. The classical manipulation of measurement output data is known as post-processing. In this work we study the post-processing assisted quantum programming, which is a protocol where quantum programming and classical post-processing are combined. We provide examples showing that these two processes combined can be more efficient than either of them used separately. Furthermore, we derive an inequality relating the programming resources to their corresponding programmed observables, thereby enabling us to study the limitations on post-processing assisted quantum programming.

关键词： quantum measurement quantum multimeter quantum programming Data post-processing Joint measurement

来源：评论

学校读者我要写书评

暂无评论

Towards Implementation of a Generalized Architecture for High-Level quantum programming Language

引用

INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS 2017年第8期56卷 2376-2412页

作者： Ameen, El-Mahdy M. Ali, Hesham A. Salem, Mofreh M. Badawy, Mahmoud Mansoura Univ Mansoura Egypt

This paper investigates a novel architecture to the problem of quantum computer programming. A generalized architecture for a high-level quantum programming language has been proposed. Therefore, the programming evolution from the complicated quantum-based programming to the high-level quantum independent programming will be achieved. The proposed architecture receives the high-level source code and, automatically transforms it into the equivalent quantum representation. This architecture involves two layers which are the programmer layer and the compilation layer. These layers have been implemented in the state of the art of three main stages;pre-classification, classification, and post-classification stages respectively. The basic building block of each stage has been divided into subsequent phases. Each phase has been implemented to perform the required transformations from one representation to another. A verification process was exposed using a case study to investigate the ability of the compiler to perform all transformation processes. Experimental results showed that the efficacy of the proposed compiler achieves a correspondence correlation coefficient about R ae 1 between outputs and the targets. Also, an obvious achievement has been utilized with respect to the consumed time in the optimization process compared to other techniques. In the online optimization process, the consumed time has increased exponentially against the amount of accuracy needed. However, in the proposed offline optimization process has increased gradually.

关键词： quantum programming quantum processor High-level language quantum mechanics

来源：评论

学校读者我要写书评

暂无评论

Experience in teaching quantum computing with hands-on programming labs

引用

JOURNAL OF SUPERCOMPUTING 2024年第10期80卷 14029-14056页

作者： Galetto, Federico Lopez, Hiram H. Rahmati, Mehdi Sang, Janche Yu, Chansu Cleveland State Univ Dept Math & Stat Cleveland OH USA Virgina Tech Blacksburg VA USA Cleveland State Univ Dept Elect & Comp Engn Cleveland OH USA Cleveland State Univ Dept Comp Sci Cleveland OH 44115 USA

As the field of quantum computing rapidly advances, there is a growing demand for skilled professionals adept in quantum computing and programming. Recognizing this need, in this paper, we share our experiences teaching an introductory-level quantum computing course to students at Cleveland State University (CSU). The course integrates dedicated hands-on programming labs, allowing students to verify their experimental results with corresponding examples from the textbook. These labs cover a diverse range of topics, including fundamental elements such as quantum gates and circuits, quantum key distribution protocols, and quantum algorithms. As educators, our goal is to share teaching insights and resources with fellow instructors in the field. This article elucidates the rationale behind the design of each experiment, providing a deeper understanding of quantum computing.

关键词： quantum parallelism quantum computing education Hands-on laboratory quantum programming Qiskit

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：