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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

51 篇 期刊文献
40 篇 会议

馆藏范围

91 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

75 篇 工学
- 52 篇 计算机科学与技术...
- 40 篇 软件工程
- 11 篇 电气工程
- 3 篇 材料科学与工程（可...
- 3 篇 信息与通信工程
- 1 篇 控制科学与工程
29 篇 理学
- 23 篇 物理学
- 5 篇 数学
5 篇 管理学
- 5 篇 管理科学与工程(可...
3 篇 教育学
- 3 篇 教育学

主题

91 篇 quantum programm...
26 篇 quantum computin...
6 篇 qiskit
4 篇 verification
3 篇 termination
3 篇 compilers
3 篇 quantum simulati...
3 篇 quantum random w...
3 篇 quantum algorith...
3 篇 quantum computin...
3 篇 security
3 篇 formal verificat...
3 篇 quantum computat...
3 篇 programming lang...
2 篇 quantum walk
2 篇 quantum nonlocal...
2 篇 full abstraction
2 篇 curriculum
2 篇 abstract interpr...
2 篇 computational mo...

机构

6 篇 chinese acad sci...
4 篇 tsinghua univ de...
4 篇 univ technol syd...
4 篇 tsinghua univ pe...
3 篇 oak ridge natl l...
2 篇 lawrence berkele...
2 篇 kyushu univ fuku...
2 篇 north china inst...
2 篇 mit csail 32 vas...
2 篇 cleveland state ...
2 篇 chinese acad sci...
2 篇 cleveland state ...
2 篇 inesc tec high a...
2 篇 max planck insti...
2 篇 univ technol syd...
2 篇 max planck inst ...
1 篇 chitkara univ in...
1 篇 univ castilla la...
1 篇 univ waterloo wa...
1 篇 imdea software i...

作者

12 篇 ying mingsheng
6 篇 mccaskey alexand...
6 篇 feng yuan
6 篇 yu nengkun
5 篇 nguyen thien
3 篇 zhou li
3 篇 li zhou
3 篇 zhao jianjun
2 篇 tao runzhou
2 篇 de visme marc
2 篇 zuliani paolo
2 篇 sang janche
2 篇 alvarado-valient...
2 篇 roetteler martin
2 篇 garcia-alonso jo...
2 篇 clairambault pie...
2 篇 hou tong
2 篇 santos-olmo anto...
2 篇 li yangjia
2 篇 ding dong

语言

83 篇 英文
8 篇 其他

检索条件"主题词=Quantum Programming"

共 91 条记录，以下是61-70 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Supporting Static Program Analysis and Transformation of quantum-Based Languages 5

Supporting Static Program Analysis and Transformation of Qua...

引用

2024 International Conference on quantum Computing and Engineering

作者： Behler, Joshua A. C. Al-Ramadan, Ali F. Baheri, Betis Guan, Qiang Maletic, Jonathan I. Kent State Univ Dept Comp Sci Kent OH 44242 USA

ISBN: (纸本)9798331541378

The work aims to enable the use of common software engineering techniques and tools for quantum programming languages (e.g., OpenQASM). With the increased interest in quantum computing, researchers are adopting the use of higher-level quantum programming languages versus low-level circuit diagrams. While general purpose programming languages (e.g., C++, Python) are highly supported by a variety of software engineering tools, these novel programming languages for quantum computing have almost no support. Useable tools for debugging, static analysis, error detection, and transformation are currently non-existent. This work extends an existing software infrastructure (i.e., srcML) for the analysis, exploration, and manipulation of source code to OpenQASM. The srcML infrastructure, via parsing, generates abstract syntax information of programs to support high-level querying and analysis of the source code. With this, quantum developers can extract information and identify possible errors or inefficiencies in their programs. The paper presents the basic syntactic markup for OpenQASM. Also, a number of relevant quantum-based problems (e.g., iteration patterns, control recursion) are described and examples of how they are addressed using srcML are given.

关键词： quantum programming static program analysis openqasm

来源：评论

学校读者我要写书评

暂无评论

Teaching quantum Computing using Microsoft quantum Development Kit and Azure quantum 4

Teaching Quantum Computing using Microsoft Quantum Developme...

引用

4th IEEE International Conference on quantum Computing and Engineering (QCE) / IEEE quantum Week / 2nd IEEE quantum Science and Engineering Education Conference (QSEEC)

作者： Mykhailova, Mariia Microsoft Quantum Redmond WA 98052 USA

ISBN: (纸本)9798350343236

This report describes my experience teaching a graduate-level quantum computing course at Northeastern University in the academic year 2022-23. The course takes a practical, software-driven approach to the course, teaching basic quantum concepts and algorithms through hands-on programming assignments and a software-focused final project. The course guides learners through all stages of the quantum software development process, from solving quantum computing problems and implementing solutions to debugging quantum programs, optimizing the code, and running the code on quantum hardware. This report offers instructors who want to adopt a similar practical approach to teaching quantum computing a comprehensive guide to getting started.

关键词： Azure quantum Microsoft quantum Development Kit Q# quantum computing quantum computing education quantum programming

来源：评论

学校读者我要写书评

暂无评论

Static Entanglement Analysis of quantum Programs 4

Static Entanglement Analysis of Quantum Programs

引用

4th IEEE/ACM International Workshop on quantum Software Engineering (Q-SE)

作者： Xia, Shangzhou Zhao, Jianjun Kyushu Univ Fukuoka Japan

ISBN: (纸本)9798350301809

quantum entanglement plays a crucial role in quantum computing. Entangling information has important implications for understanding the behavior of quantum programs and avoiding entanglement-induced errors. Entanglement analysis is a static code analysis technique that determines which qubit may entangle with another qubit and establishes an entanglement graph to represent the whole picture of interactions between entangled qubits. This paper presents the first static entanglement analysis method for quantum programs developed in the practical quantum programming language Q#. Our method first constructs an interprocedural control flow graph (ICFG) for a Q# program and then calculates the entanglement information not only within each module but also between modules of the program. The analysis results can help improve the reliability and security of quantum programs.

关键词： entanglement analysis quantum programming Q#

来源：评论

学校读者我要写书评

暂无评论

Checking the identity of the state of qubits using the CSWAP operator 23

Checking the identity of the state of qubits using the CSWAP...

引用

23rd International Conference on Process Control (PC)

作者： Borkin, Dmitrii Nemeth, Martin Nemethova, Andrea Michalconok, German Slovak Univ Technol Bratislava Fac Mat Sci & Technol Trnava Trnava Slovakia

ISBN: (纸本)9781665403306

Currently, quantum computing and quantum computers are beginning to actively penetrate into an increasing number of areas and begin to go beyond the scope of only scientific theoretical activity. Therefore, now it is very timely to study in detail the elements of quantum programming, which, quite possibly, in the near future, can be actively used, including in industrial automation. In this work, we will get acquainted with such an element of quantum programming as CSWAP, analyze the logic of its operation on the classical scheme for checking two qubits for equality, and also build and test a circuit that allows checking for equality of two qubits that are in a state of superposition.

关键词： CSWAP operation quantum programming equiprobable superposition Hadamard operator

来源：评论

学校读者我要写书评

暂无评论

On Repairing quantum Programs Using ChatGPT 5

On Repairing Quantum Programs Using ChatGPT

引用

5th International Workshop on quantum Software Engineering (Q-SE)

作者： Guo, Xiaoyu Zhao, Jianjun Zhao, Pengzhan Kyushu Univ Fukuoka Japan Kyuhu Univ Fukuoka Japan

ISBN: (纸本)9798400705700

Automated Program Repair (APR) is a vital area in software engineering that generates automatic patches for vulnerable programs. While numerous techniques have been proposed for repairing classical programs, quantum programming lacks a comparable automated repair technique. In this initial exploration, we investigate the use of ChatGPT for quantum program repair and evaluate its performance on Bugs4Q, a benchmark suite of quantum program bugs. Our findings demonstrate the feasibility of employing ChatGPT for quantum program repair. Specifically, we assess ChatGPT's ability to address bugs within the Bugs4Q benchmark, revealing its success in repairing 29 out of 38 bugs. This research represents a promising step towards automating the repair process for quantum programs.

关键词： Automatic Program Repair quantum programming Debugging

来源：评论

学校读者我要写书评

暂无评论

QChecker: Detecting Bugs in quantum Programs via Static Analysis 4

QChecker: Detecting Bugs in Quantum Programs via Static Anal...

引用

4th IEEE/ACM International Workshop on quantum Software Engineering (Q-SE)

作者： Zhao, Pengzhan Wu, Xiongfei Li, Zhuo Zhao, Jianjun Kyushu Univ Grad Sch Fukuoka Japan Kyushu Univ Fac Informat Sci & Elect Engn Fukuoka Japan

ISBN: (纸本)9798350301809

Static analysis is the process of analyzing software code without executing the software. It can help find bugs and potential problems in software that may only appear at runtime. Although many static analysis tools have been developed for classical software, due to the nature of quantum programs, these existing tools are unsuitable for analyzing quantum programs. This paper presents QChecker, a static analysis tool that supports finding bugs in quantum programs in Qiskit. QChecker consists of two main modules: a module for extracting program information based on abstract syntax tree (AST), and a module for detecting bugs based on patterns. We evaluate the performance of QChecker using the Bugs4Q benchmark. The evaluation results show that QChecker can effectively detect various bugs in quantum programs.

关键词： quantum programming static analysis software testing program debugging Qiskit

来源：评论

学校读者我要写书评

暂无评论

A Dynamic Logic for QASM Programs 2nd

A Dynamic Logic for QASM Programs

引用

2nd International Workshop on Dynamic Logic (DaLi) as part of the Formal Methods Week / 3rd World Congress on Formal Methods

作者： Tavares, Carlos INESC TEC High Assurance Software Lab Braga Portugal

We define a dynamic logic for QASM (quantum Assembly) programming language, a language that requires the handling of quantum and probabilistic information. We provide a syntax and a model to this logic, providing a pr... 详细信息

ISBN: (纸本)9783030388089;9783030388072

关键词： quantum logic quantum programming Dynamic logic

来源：评论

学校读者我要写书评

暂无评论

quantum Abstract Interpretation 2021

Quantum Abstract Interpretation

引用

42nd ACM SIGPLAN International Conference on programming Language Design and Implementation (PLDI)

作者： Yu, Nengkun Palsberg, Jens Univ Technol Sydney CQSI FEIT Sydney NSW Australia Univ Calif Los Angeles UCLA Comp Sci Dept Los Angeles CA USA UCLA Challenge Inst Quantum Computat Los Angeles CA USA

ISBN: (纸本)9781450383912

In quantum computing, the basic unit of information is a qubit. Simulation of a general quantum program takes exponential time in the number of qubits, which makes simulation infeasible beyond 50 qubits on current supercomputers. So, for the understanding of larger programs, we turn to static techniques. In this paper, we present an abstract interpretation of quantum programs and we use it to automatically verify assertions in polynomial time. Our key insight is to let an abstract state be a tuple of projections. For such domains, we present abstraction and concretization functions that form a Galois connection and we use them to define abstract operations. Our experiments on a laptop have verified assertions about the Bernstein-Vazirani, GHZ, and Grover benchmarks with 300 qubits.

关键词： quantum programming scalability abstract interpretation

来源：评论

学校读者我要写书评

暂无评论

quantum Services: A Tutorial on the Technology and the Process

Quantum Services: A Tutorial on the Technology and the Proce...

引用

21st International Conference on Service-Oriented Computing (ICSOC)

作者： Romero-Alvarez, Javier Alvarado-Valiente, Jaime Moguel, Enrique Garcia-Alonso, Jose Murillo, Juan M. Univ Extremadura Quercus Software Engn Grp Caceres Spain

ISBN: (纸本)9789819709885;9789819709892

The emergence of quantum computing has introduced a new paradigm in the realm of computer science and software engineering, expanding the frontiers of computer applications designed for problem-solving. The transformation of quantum algorithms into services is a promising avenue to address this new paradigm, as it allows them to be integrated into conventional distributed applications. This tutorial provides an overview of the process of transforming quantum algorithms into quantum services. It explains how these quantum services can be effectively deployed, specifically using the Amazon Braket platform for quantum computing, and how they can be invoked through classical service endpoints. This tutorial not only presents the step-by-step methodology but also provides insight into best practices for successful implementation through a development process. It highlights the use of an extended version of the OpenAPI Specification and the automation capabilities offered by GitHub Actions, which play a key role in improving efficiency throughout the development and deployment phases.

关键词： quantum Computing Service-Oriented Computing quantum programming OpenAPI Continuous Deployment

来源：评论

学校读者我要写书评

暂无评论

Extending XACC for quantum Optimal Control

Extending XACC for Quantum Optimal Control

引用

IEEE International Conference on quantum Computing and Engineering (QCE)

作者： Nguyen, Thien Santana, Anthony McCaskey, Alexander Oak Ridge Natl Lab Comp Sci & Math Oak Ridge TN 37830 USA

ISBN: (纸本)9781728189697

quantum computing vendors are beginning to open up application programming interfaces for direct pulse-level quantum control. With this, programmers can begin to describe quantum kernels of execution via sequences of arbitrary pulse shapes. This opens new avenues of research and development with regards to smart quantum compilation routines that enable direct translation of higher-level digital assembly representations to these native pulse instructions. In this work, we present an extension to the XACC system-level quantum-classical software framework that directly enables this compilation lowering phase via user-specified quantum optimal control techniques. This extension enables the translation of digital quantum circuit representations to equivalent pulse sequences that are optimal with respect to the backend system dynamics. Our work is modular and extensible, enabling third party optimal control techniques and strategies in both C++ and Python. We demonstrate this extension with familiar gradient-based methods like gradient ascent pulse engineering (GRAPE), gradient optimization of analytic controls (GOAT), and Krotov's method. Our work serves as a foundational component of future quantum-classical compiler designs that lower high-level programmatic representations to low-level machine instructions.

关键词： quantum computing quantum optimal control quantum programming quantum software

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共10页 << < 1 2 3 4 5 6 7 8 9 10 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：