量子程序设计语言NDQJava-2

简述了量子程序设计语言NDQJava-2.该语言是在NDQJava的基础上增添了量子条件语句、量子循环语句、量子子程序、量子模块以及量子异常处理机制等量子成分,使其成为一种结构化的量子程序设计语言.书写量子程序的实践表明,相对于NDQJava而言,NDQJava-2是一种更为实用、易读,其成分设定更为合适的量子程序设计...     

量子程序设计语言NDQJava2处理系统——汇编程序与解释程序

NDQJava2是在NDQJava语言的基础上增添量子条件语句、量子循环语句、量子子程序、量子模块和量子异常处理机制等多种量子成分而成的一种混成式、结构化、命令式量子程序设计语言.为了在经典计算机上模拟执行NDQJava2语言书写的量子程序,给出了假想量子计算机的基本指令集与汇编指令集的设计,并用Java语言编写了相应的汇编程序和解释程序.结合处理系统的其他部分,验证了平衡函数判定问题的Deutsch算法.实验表明,该汇编程序与解释程序达到了预期目的.     

量子程序设计语言NDQJava处理系统

简要介绍了量子程序设计语言NDQJava的一个处理系统.其特点是:程序中经典部分之处理借助Java系统,着重考虑量子部分之处理.该处理系统遵循编译-解释的途径,由词法分析程序、语法分析与代码转换程序以及量子汇编与解释程序3部分组成.文末还给出了示例,该系统已于2006年6月底在经典计算机上模拟实现.     

一种面向含噪中尺度量子技术的量子-经典异构计算系统

量子计算有望加速解决经典计算难以解决的问题,如质因子分解、量子化学模拟等.已有单个量子系统可集成大于50个含噪声的固态量子比特,并在特定的计算任务上超越了经典计算机,标志含噪中尺度量子(noisy intermediate-scale quantum,NISQ)计算时代的到来.随着人们可在单个系统中集成越来越多的量子比特,如何将量子比特与控制硬件、软件开发环境、经典计算资源集成得到完整可用的量子计算系统,是一个有待进一步明确的问题.对比了量子计算与经典计算在控制及执行上的异同,并在此基础上提出了面向NISQ时代的量子-经典异构系统.以一个典型的NISQ算法(迭代相位估计算法)为例,介绍了量子算法从软件描述到硬件执行的整体流程,及与该过程相关的高级程序设计语言、编译器、量子软硬件接口和硬件等.在此基础上,讨论了流程中各个层次在NISQ时代面临的挑战.旨在从工程实现的视角,从宏观层面为读者(尤其是量子计算初学者)介绍量子计算系统,希望可以促进人们对NISQ时代下量子计算系统整体结构的理解,并激发更多相关研究.     

程序设计语言的代数规格说明方法

程序设计语言的形式规格说明是程序设计语言标准化、编译器自动生成和程序正确性证明的基础。良好的形式规格说明对语言的设计者、实现者和使用者都是有益的。 1.程序设计语言的代数规格说明方法 代数规格说明方法起源于ADJ小组,他们把语言的语法作为初始代数T,语义论域则是同样基调(signature)上的代数A,使得语言的语义由唯一同态f:T→A自动给     

量子Haar小波变换算法设计及应用

设计了基于通用量子语言Q_language的量子Haar小波变换算法,该算法对于小波变换的应用和量子算法的完善具有重要的意义.分析了3个量子位Haar小波变换过程,给出了量子Haar小波变换算法的Q_language语言描述,并分析得出其时间和空间复杂度,然后给出了实现量子Haar小渡变换应用方法.     

C+OPS程序设计语言——一种具有双重语言特性的新型语言

语言的内部实现对于程序设计者来说是透明的;程序设计者最关心的是如何借助语言的特性来有效地描述客观世界。由卡内基—梅隆大学研制的OPS(Official Production System)系列语言是一种典型的基于产生式系统的人工智能语言,这是一种语言型的专家系统构造工具;而由D.M.Ritchie于1972年在贝尔实验室设计并实现的通用型程序设计语言C,则已风糜计算机世界,以其功能强、可移植性好和代码质量高而成为优选的系统程序设计语言。而C+OPS是一种兼有OPS和C语言双重特性和优势的程序设计语言。本文将扼要地介绍C+OPS程序设计语言的设计思想和实施策略。     

Java语言实现安全性的原理与技术

1.引言 Java是Sun Microsystem公司开发的新一代面向对象的程序设计语言,其最主要设计目标之一是平台无关性以及可移植性,能很好地解决国际互连网的异构问题。随着以WWW为代表的Internet的迅速崛起,Java语言已被广泛接受,成为主流程序设计语言之一。     

广义量子Loop程序初探

在经典计算中,Loop程序是非常重要的程序。对量子计算中Loop程序进行研究非常必要。定义了体为量子运算的广义量子Loop程序,给出了量子Loop程序在输入态上终止,几乎终止以及不终止的定义基于任意的初始态。并证明了量子Loop程序在给定输入态上终止的充要条件以及程序终止的充要条件。作为应用,验证了体为酉运算的量子Loop程序嵌套是一个广义的量子Loop程序。     

程序设计语言课程教学改革的探索与实现

本文针对当前非计算机专业学生学习程序设计语言中存在的一些问题,提出了以培养学生学习程序设计的兴趣、改进教学方法、加强实践操作能力和改进课程评价方式为主要内容的教学改革方法。经过几年教学实践证明,采用这些方法,能有效提高学生使用程序设计语言分析问题和解决问题的能力,全面提升程序设计语言课程的教学质量。     

Quantum programming languages: A tentative study

Starting with some simple representative quantum programming languages, this paper lays stress on quantum computation, language paradigm, program structure, input/output, exception facility, and especially the recent results of the quantum computation group at Nanjing University, namely the functional quantum programming language NDQFP. All primitive functions and combining forms in NDQFP are given in the appendix.     

Quantum software framework: a tentative study

In this paper we conduct a tentative study on the requirements and the structure for a quantum computer at the software level. From the software point of view, we describe the methodology used to minimize the decoherence. We construct the quantum instruction set for the higher-level computation. We also study the criteria for designing the quantum programming languages.     

并行程序设计语言发展现状

In this paper we introduce the history of the parallel programming language and list some of currently parallel programming languages. Then according to the classified principle. We analyze some of the representative parallel programming languages in detail. Finally, we show a further feature to the parallel programming language.     

PLC国际标准编程语言探析

本文根据传统PLC编程语言的不足和局限,阐述了IEC 61131-3国际标准的5种编程语言的结构、编程以及转换,利用IEC 61131-3国际标准编程语言,可以解决PLC应用中出现的诸多问题,为全球PLC制造商和客户所接受。     

基于Agent-O的面向主体程序设计

阐述了面向主体程序设计的基本思想,以及与面向对象程序设计的异同,对Agent-0面向主体程序设计语言,从主体组成、语法、程序执行和案例分析等几个方面作了详细介绍,提出了面向主体程序设计语言发展方向.     

汇编语言与C语言的混合程序设计技术

讨论汇编语言与C语言的混合程序设计技术。在大规模的程序设计中,汇编语言程序与高级语言程序相结合,充分发挥各自的优点,实现两种语言之间的混合编程,是解决实际问题的有效方法。在实际的程序设计中,C语言主程序可以调用汇编语言子程序,汇编语言主程序可以调用C语言子程序,也可以在C语言程序中嵌入汇编语言语句。在汇编语言与C语言的混合编程中,参数的传递、模块的连接以及调用关系的确定是值得注意的关键问题。     

以专业基本能力培养为目标的C程序设计教学

针对目前存在的C语言教学过于偏重语法、忽视编程实践训练和程序设计思想培养等问题,本文从计算机专业基本能力的内涵出发,阐述了面向计算机专业学生的C语言教学四种能力的培养及教学模式,提出C语言课程"以应用为中心、以算法为基础、以培养实践能力为核心"的教学思想。     

Towards a Programming Language for Interaction Nets

Interaction nets were introduced almost 15 years ago. Since then they have been put forward as both a graphical programming paradigm and as an intermediate language into which we can compile other languages. Whichever way we use interaction nets, a problem remains in that the language is very primitive. Drawing an analogy with functional programming, we have the λ-calculus but we are missing the functional programming language: syntactic sugar, language constructs, data-structures, etc. The purpose of this paper is to make a first step towards defining such a programming language for interaction nets.