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

22nd Asian Symposium on programming Languages and Systems

作者： Inoue, Jun Natl Inst Adv Ind Sci & Technol 1-8-31 Midorigaoka Ikeda Osaka Japan

ISBN: (纸本)9789819789429;9789819789436

We propose a quantum programming paradigm where all data are familiar classical data, and the only non-classical element is a random number generator that can return results with negative probability. Currently, the vast majority of quantum programming languages instead work with quantum data types made up of qubits. The description of their behavior relies on heavy linear algebra and many interdependent concepts and intuitions from quantum physics, which takes dedicated study to understand. We demonstrate that the proposed view of quantum programming explains its central concepts and constraints in more accessible, computationally relevant terms. This is achieved by systematically reducing everything to the existence of that negative-probability random generator, avoiding mention of advanced physics. This makes quantum programming more accessible to programmers without a deep background in physics or linear algebra. The bulk of this paper is written with such an audience in mind. As a working vehicle, we lay out a simple quantum programming language under this paradigm, showing that not only can it express all quantum algorithms, it also naturally captures the semantics of measurement without ever mentioning qubits or collapse.

关键词： quantum programming Probabilistic programming programming model

来源：评论

学校读者我要写书评

暂无评论

Creating a quantum programming Course from Scratch A Computer Science Professor's Journey 2025

Creating a Quantum Programming Course from Scratch A Compute...

引用

56th Technical Symposium on Computer Science Education

作者： Guerin, Joshua T. Univ Northern Colorado Greeley CO 80639 USA

ISBN: (纸本)9798400705328

quantum Computing is generating significant excitement within the interdisciplinary academic community, government, and industry. Despite rapid growth in the area, formal education in non-classical computing is limited or absent in many computer science programs. Among the contributing factors is the cutting-edge nature of the field and, until somewhat recently, lack of available platforms for development. Consequently, many computer science graduates will enter the field with little or no background, or even conversational fluency in basic quantum principles. In the near term this will hinder broader adoption of quantum technologies, and will leave interested students underprepared for possible careers in the area or continued studies in graduate school. This experience report details the creation of a new course in quantum programming at a mid-sized, regional comprehensive university from initial conception to deployment. This work differs from previous treatments, as the professor came into the project without any background in quantum computing or physics. The course was written from a software-development perspective and is intended for a post-secondary audience from interdisciplinary, technical backgrounds. The course was successfully deployed in the fall semester of 2022 with positive reactions by both students and the professor. The author hopes that this project will add to the growing body of literature in this area, and serve as a template for other educators.

关键词： quantum computing quantum programming experience report curriculum instruction pedagogy

来源：评论

学校读者我要写书评

暂无评论

Model-Driven Engineering for quantum programming: A Case Study on Ground State Energy Calculation 48

Model-Driven Engineering for Quantum Programming: A Case Stu...

引用

48th Annual IEEE International Computers, Software, and Applications Conference (COMPSAC) - Digital Development for a Better Future

作者： Polat, Furkan Tuncer, Hasan Moin, Armin Challenger, Moharram Univ Antwerp Dept Comp Sci Antwerp Belgium Flanders Make Strateg Res Ctr Antwerp Belgium Purdue Univ Dept Phys & Astron W Lafayette IN 47907 USA Univ Colorado Dept Comp Sci Colorado Springs CO 80907 USA Koc Univ Elect & Elect Engn Istanbul Turkiye

ISBN: (纸本)9798350376975;9798350376968

This study introduces a novel framework that brings together two main quantum programming methodologies, gate-based quantum Computing and quantum Annealing, by applying the Model-Driven Engineering principles. This aims to enhance the adaptability, design and scalability of quantum programs, facilitating their design and operation across diverse computing platforms. A notable achievement of this research is the development of a mapping method for programs between gate-based quantum computers and quantum annealers which can lead to the automatic transformation of these programs. Specifically, this method is applied to the Variational quantum Eigensolver Algorithm and quantum Anneling Ising Model, targeting ground state solutions. Finding ground-state solutions is crucial for a wide range of scientific applications, ranging from simulating chemistry lab experiments to medical applications, such as vaccine development. The success of this application demonstrates Model-Driven Engineering for quantum programming frameworks's practical viability and sets a clear path for quantum Computing's broader use in solving intricate problems.

关键词： Model-driven Engineering quantum Computing quantum programming Model Transformation Variational quantum Eigensolver

来源：评论

学校读者我要写书评

暂无评论

A Coq-Based Infrastructure for quantum programming, Verification and Simulation 1

引用

18th Annual Conference on Theory and Applications of Models of Computation (TAMC)

作者： Tao, Wenxuan Chen, Gang Nanjing Univ Aeronaut & Astronaut Coll Comp Sci & Technol Nanjing 211106 Peoples R China

ISBN: (数字)9789819723409

ISBN: (纸本)9789819723393;9789819723409

quantum programming presents a significant departure from traditional programming due to its non-intuitive algorithm design and reliance on intricate linear algebraic derivations. Therefore, formal verification using theorem provers is essential and highly suitable for quantum programming. The mathematical foundation of quantum computing lies in matrix and vector computation. Hence, establishing a proper formal theory of matrices and vectors within theorem provers becomes of utmost significance. This paper expands and refines a Coq-based type system tailored for quantum computing, focusing specifically on powers-of-2 matrices and vectors. This enables precise descriptions of quantum states and operations while facilitating the formal verification of quantum programs. By utilizing this type system, we offer an environment for writing and verifying quantum programs. The verified programs can be extracted as equivalent OCaml files and executable simulators. Our work provides an effective infrastructure for quantum programming, verification and simulation, thereby laying a foundation for future developments.

关键词： quantum programming Formal verification Coq quantum simulation OCaml

来源：评论

学校读者我要写书评

暂无评论

Towards Continuous Development for quantum programming in Decentralized IoT environments

引用

Procedia Computer Science 2024年 238卷 7-14页

作者： Michail Alexandros Kourtis Nikolay Tcholtchev Ilie-Daniel Gheorghe-Pop Colin Kai-Uwe Becker Georgios Xylouris Evangelos Markakis Matic Petric Raphael Seidel Sebastian Bock National Center of Scientific Research “Demokritos” Athens Greece Fraunhofer Institute for Open Communication Systems (FOKUS) Berlin Germany Department of Electrical and Computer Engineering Hellenic Mediterranean University Heraklion Greece

The progression in quantum computing and the rapid development of quantum computation hardware has raised expectations for its application to commercially relevant use cases in the future. However, the need for high-level quantum programming abstractions and targeted use cases paired with vertical applications, which can directly benefit from quantum computing, remains an open challenge. This paper presents our vision for a decentralized architecture for swarm based IoT systems that leverages a high-level continuous development and integration quantum programming suite to support edge processing capabilities for different use cases across the edge-fog-cloud continuum. The planned quantum DevKit provides the necessary abstractions and low-level backend interfaces for quantum computing infrastructure, enabling edge computation using quantum processing, with extensions to efficient management of Service Level Agreements (SLAs). The paper focuses on the presentation of the development kit and its coupling swarm-based architecture that automates the orchestration of the cloud-to-edge continuum, showcasing the potential of quantum technology in edge processing.

关键词： quantum programming Swarm Intelligence Decentralized Computing Edge Blockchain

来源：评论

学校读者我要写书评

暂无评论

quantum Simulation of Generalized Hardy's Paradox and Corresponding Hardy's Inequality via quantum programming

引用

INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS 2021年第5期60卷 1972-1979页

作者： Hou, Tong Ding, Dong Wang, Can Zhang, Xiao-chun He, Ying-qiu North China Inst Sci & Technol Coll Sci Beijing 101601 Peoples R China

Hardy's paradox can demonstrate the conflict between quantum mechanics and local realism. Experimental testing of Hardy's paradox has been carried out, but it involved only a few qubits. We propose a simple but novel approach to verify the generalized Hardy's paradox and Hardy's inequality using quantum programming. By designing scalable quantum circuits, we write quantum programs in Q# and corresponding classical controls in C# using Visual Studio. Our quantum simulation results are consistent with the original theoretical values;moreover, they can be easily extended to multiqubit systems. This provides an effective means for investigating multipartite entanglement question using quantum programming.

关键词： quantum nonlocality quantum programming

来源：评论

学校读者我要写书评

暂无评论

quantum programming with Inductive Datatypes: Causality and Affine Type Theory 23rd

Quantum Programming with Inductive Datatypes: Causality and ...

引用

23rd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS) Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS)

作者： Pechoux, Romain Perdrix, Simon Rennela, Mathys Zamdzhiev, Vladimir Univ Lorraine CNRS INRIA LORIA F-54000 Nancy France Leiden Univ Leiden Netherlands

ISBN: (纸本)9783030452315;9783030452308

Inductive datatypes in programming languages allow users to define useful data structures such as natural numbers, lists, trees, and others. In this paper we show how inductive datatypes may be added to the quantum programming language QPL. We construct a sound categorical model for the language and by doing so we provide the first detailed semantic treatment of user-defined inductive datatypes in quantum programming. We also show our denotational interpretation is invariant with respect to big-step reduction, thereby establishing another novel result for quantum programming. Compared to classical programming, this property is considerably more difficult to prove and we demonstrate its usefulness by showing how it immediately implies computational adequacy at all types. To further cement our results, our semantics is entirely based on a physically natural model of von Neumann algebras, which are mathematical structures used by physicists to study quantum mechanics.

关键词： quantum programming Inductive types Adequacy

来源：评论

学校读者我要写书评

暂无评论

Experimenting quantum phenomena on NISQ computers using high level quantum programming

引用

EPJ quantum TECHNOLOGY 2022年第1期9卷 6-6页

作者： Tran, Duc M. Nguyen, Duy, V Le, Bin Ho Nguyen, Hung Q. Vietnam Natl Univ VNU Univ Sci Nano & Energy Ctr Hanoi 120401 Vietnam Phenikaa Univ Phenikaa Inst Adv Study Hanoi 12116 Vietnam Phenikaa Univ Fac Comp Sci Hanoi 12116 Vietnam Vietnam Acad Sci & Technol Ctr Phys Inst Appl Mech & Informat Ho Chi Minh City 7000O Vietnam Tohoku Univ Res Inst Elect Commun Sendai Miyagi 9808577 Japan

We execute the quantum eraser, the Elitzur-Vaidman bomb, and the Hardy's paradox experiment using high-level programming language on a generic, gate-based superconducting quantum processor made publicly available by IBM. The quantum circuits for these experiments use a mixture of one-qubit and multi-qubit gates and require high entanglement gate accuracy. The results aligned with theoretical predictions of quantum mechanics to high confidence on circuits using up to 3 qubits. The power of quantum computers and high-level language as a platform for experimenting and studying quantum phenomena is henceforth demonstrated.

关键词： quantum computation quantum programming quantum eraser Interaction free measurement Hardy's paradox

来源：评论

学校读者我要写书评

暂无评论

Ket quantum programming

引用

ACM JOURNAL ON EMERGING TECHNOLOGIES IN COMPUTING SYSTEMS 2022年第1期18卷 12-12页

作者： Ribeiro Da Rosa, Evandro Chagas De Santiago, Rafael Univ Fed Santa Catarina Dept Informat Estatist BR-88040900 Florianopolis SC Brazil

quantum programming languages (QPL) fill the gap between quantum mechanics and classical programming constructions, simplifying the development of quantum applications. However, most QPL addresses the inherent quantum programming problem, neglecting quantum computer implementation constraints. We present a runtime architecture for classical-quantum execution that mitigates the limitation of interaction between classical and quantum computers originated from the cloud-based model of quantum computation provided by several vendors, which implies a quantum computer processing in batch. In the proposed runtime architecture, we introduce (i) runtime quantum code generation to enable generic quantum programming and dynamic quantum execution;and (ii) the concept of futures to handle dynamic interaction between classical and quantum computers. To support our proposal, we have implemented the Ket quantum programming framework that features a Python-embedded classical-quantum programming language named Ket, the C++ quantum programming library Libket, and Ket Bitwise (quantum computing) Simulator. The last one improves over the bitwise representation, making the simulation time not dependent on the number of qubits but the amount of superposition and entanglement of simulation.

关键词： quantum programming cloud quantum computation qubit simulation

来源：评论

学校读者我要写书评

暂无评论

Reversibility for quantum programming Language QML

引用

IEEE LATIN AMERICA TRANSACTIONS 2020年第10期18卷 1692-1698页

作者： Plata-Cesar, Nely Raymundo Marcial-Romero, Jose Antonio Hernandez-Servin, Jose Univ Autonoma Estado Mexico Fac Ingn Toluca Mexico

We present an extension of the denotational semantic model of the quantum programming language QML, to which computational reversibility is incorporated. The semantics of QML is defined in a functional setting which consider classical and quantum data, to which we add inverse functions. Additionally we incorporate into the semantics a history track which allows reversibility in QML. From the generation and processing of the history track and the final result of a program, the rules for executing reversibility allow to compute the original input data. This work contributes to the study of reversibility in quantum programming languages and considering that there is not yet a quantum computer in which the language can be implemented, this history and the proposed inverse functions are not trivial and allow us to determine that this language is reversible.

关键词： programming language QML quantum computation quantum programming Reversibility

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：