量子程序设计语言NDQJava2处理系统分析

NDQJava2是在NDQJava系统的基础上发展而来的,而计算机硬件的革新,也使得量子效应开始影响到电子元件,量子计算也会在不久的未来终将超越传统计算成为一种新型模式。对于量子程序的设计,应用到NDQJava2这种设计语言,这个系统是对NDQJava的创新,在原本的基础上增加了条件语句、循环语句、子程序、异常处理模块等量子成分,完善了NDQJava系统,使得语法分析更加准确。     

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

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

量子程序设计语言NDQJava

量子程序设计语言自1996年出现以来,颇受业界重视.在简述几种有代表性的量子程序设计语言之后,着重阐述自行设计之量子程序设计语言NDQJava之概貌,其中包括设计准则、语言风范、硬件平台、基本成分以及示例等.此外,还提及相关工作.     

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

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

C语言中循环语句的应用分析

目前,在很多高校,C语言都被列为程序设计的入门语言,也是很多计算机专业学生学好《数据结构》、《c++程序设计》等专业课的前提条件。而循环语句又是C语言学习中的一个重点与难点。根据本人的体会,浅谈一下C语言循环语句在学习、生活中的一些应用。     

C语言中的三种循环语句辨析

循环结构是结构化程序设计的三种基本结构之一,文章对C语言中的for循环语句、while循环语句和do-while循环语句进行分析和比较.     

C语言声明语句的文字描述和可视化表示

C语言复杂的声明语句难以理解。为此,提出一种程序理解算法,自动地对C语言声明语句进行部分语义文字描述和可视化表示。引入图元和解释2个概念,构成该程序理解算法的理论基础,这些概念同样可应用于程序理解算法的其他方面。实验结果表明,声明语句的文字描述和可视化表示能够有效提高程序可读性。     

浅谈C语言if语句的教学

C语言一共有三种基本结构,分别为顺序结构、选择结构、循环结构,其中选择结构又称为分支结构,它根据给定的条件是否成立选择接下来执行什么动作,在C语言中,有if语句和switch语句这两种控制语句可以实现上述的判断选择功能。通过几年的C语言教学,我发现其中if语句的学习是不少学生学习C语言的一个"瓶颈",原因主要有以下两点:(1)对if语句两种基本形式的格式掌握不好,含义的理解不够深刻,不知道什么时候该用第一种基本形式,什么时候该用第二种基本形式;(2)由于if语句的嵌套形式多变,使用灵活,使用if语句的嵌套时,学生容易逻辑混乱,层次不清,配对不明。所以,本文将重点就if语句的教学进行讨论。     

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

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

基于量子逻辑的图灵机及其通用性

基于量子逻辑的自动机理论是量子计算模型的一个重要研究方向.该文研究了基于量子逻辑的图灵机(简称量子图灵机)及其一些变形,给出了包括非确定型量子图灵机l-VTM,确定型量子图灵机l-VDTM以及相应类型的多带量子图灵机,并引入量子图灵机基于深度优先与宽度优先识别语言的两种不同定义方式,证明了这两种定义方式在量子逻辑意义下是不等价的.进一步证明了l-VTM、l-VDTM与相应类型的多带量子图灵机之间的等价性.其次,给出了量子递归可枚举语言及量子递归语言的定义,并给出了二者的层次刻画,证明了l-VTM与l-VDTM不等价,但两者作为量子递归语言的识别器是等价的.最后,文中讨论了基于量子逻辑的通用图灵机的存在性问题,给出了一套合理编码系统,证明了基于量子逻辑的通用图灵机在其所取值的正交模格无限时不存在,而在其所取值的正交模格有限时是存在的.     

Quantum programming languages

After giving a bird’s view of some existing quantum programming languages, this paper reports the recent results made by the quantum computation group of the State Key Laboratory for Novel Software Technology and the Department of Computer Science and Technology at Nanjing University, i.e., the quantum programming languages NDQJava, NDQFP and their processing systems.     

An analysis of programming language statement frequency in C,C++, and Java source code

Statement frequency data can inform programming language research and provide a solid basis for frequency‐based code analysis. This paper presents an analysis of programming language statement frequency in a large corpus of C, C++, and Java source code, comprised of more than 54 million lines of code. Across these languages, the top four work‐performing statement types are Method/Function Call, Assignment, If, and Return. As compared to studies of Formula Translating System, Common Business Oriented Language and Programming Language One in the 1970s, the main change is the prevalence of method/function calls. Statement use frequency across languages is remarkably similar, and within each individual language, most statement types have a frequency distribution that occupies a small range. A more detailed examination of assignment and looping statement types shows that many assignments simply involve copying of data and that C++/Java use for statements more than C. Copyright © 2014 John Wiley & Sons, Ltd.     

Quantum programming languages

After giving a bird’s view of some existing quantum programming languages, this paper reports the recent results made by the quantum computation group of the State Key Laboratory for Novel Software Technology and the Department of Computer Science and Technology at Nanjing University, i.e., the quantum programming languages NDQJava, NDQFP and their processing systems.     

C语言程序设计中break语句分析

在C语言程序设计课程中,break语句有两个作用：一是应用于switch语句中,可以结束多分支选择结构;二是应用于循环结构中,可以结束本层循环.通过实例分析出break语句使用的条件,break语句的功能,以及注意事项,明确了break语句的使用方法.     

Notes on the case statement

The case statement is one of the newest and one of the least known of the ‘standard’ control structures in higher level languages. Its importance has increased with the greater use of structured and goto-less programming. This paper surveys the development of the case statement and provides two extensions which are natural and intuitive and which, it is claimed, increase the intellectual manageability of the host language.     

如何实现SAP ERP财务报表的灵活定制

如何使得一个不具备ABAP编程语言基础的财务用户能在SAP系统中快速有效地配置财务报表,并灵活定义输出格式,是许多实施SAP ERP系统的公司都会遇到的问题。本文介绍的财务模块报表定制功能旨在SAP ERP中构建一个可视化图形界面,在这个界面中定义报表、报表版本,以及每个版本的输出布局、报表行、报表列、报表单元格的取数逻辑等要素,使得用户在不使用编程工具的前提下实现报表的灵活定制。     

Qsimulation:一个量子计算模拟器工具

介绍一个可在经典计算机上模拟量子计算的工具Qsimulation。该工具由4个主要部分组成：一个命令式的量子编程语言,一个量子计算解释器,一个用于模拟量子程序执行的图形用户界面以及错误处理模块,它能帮助教师和新手设计并测试简单的量子电路和量子程序。     

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.