量子程序设计语言初探

结合简述几种有代表性的量子程序语言,着重阐明量子计算、语言风范、程序结构、输入输出、异常机制,以及南京大学量子计算研究组的新近研究成果,即函数式量子程序设计语言NDQFP.附录中给出了NDQFP之所有原始函数及组合型.     

对象的行为表示及其应用

主要讨论了一种描述对象活动的方法，提出了活动体的概念，并给出了它的三元组形式。活动体是对象式系统中具有通信能力的最小单位，由此可以构造对象及至系统的交互（通信）行为。同时给出了一个简单的描述活动体的语言ＢｅＬａｎ和ＢｅＬａｎ中活动体的指称语义。     

绝热量子计算

着重从物理学和计算机科学角度阐述和分析绝热量子计算:首先介绍绝热量子计算的基本原理及其计算能力,然后通过绝热量子计算与传统量子计算的性质和物理实现方式的对比阐述前者的某些优势,在此基础上介绍绝热量子算法,最后探讨了绝热量子计算的前景及发展趋势。     

并发语言OCCAM的指称语义

在研究关于CSP并发指称语义的不同研究方法的基础之上，利用广义状态的概念和完间作为指称的方法，讨论了OCCAM的一个子集OCCAM/TOY的并发语义。针对目前交垒并发语义研究方法的问题和不足，首先在OCCAM/TOY的语法中经入了一类具体的原子语句，并从语义上考虑了原子语句的语义对整个程序语义的影响；其次，对于通常语义方法中合并处理的一对通信原语的一次通信分开处理，描述了单个通信步骤的语义及其对程序的影响。在构造语义域时，利用完备距离空间作为指称，讨论了在距离空间范畴中语义域议程的解的存在性；并且在定义域时，保证了递归定义的语义函数的存在性。给出了OCCAM/TOY的完全意义上的并发指称语义，既体现了由于并发而导致的执行过程的不确定性，又反映了并发导致的执行效果的不确定性。     

对Dijkstra量词研究的补充

在Dijkstra的研究工作的基础上，对量词作进一步的探讨，主要以存在量词的几个基本性质作为假定，并由此推出有关存在量词和全称量词的其他一系列的性质。可视为Dijkstra的补充，从而使人们对量词的性质有更深的认识。     

λ定义可计算函数时不动点算子的不必要性

λ-演算这种计算模型,是一种良好的数学工具,与递归函数密切相关.λ-演算中的不动点算子,增强了系统的表达能力,表达了递归函数中递归的性质,但同时也略有不足,因为常见不动点算子,都没有β-范式.介绍了一种方法,可以不借助不动点算子,利用Church数字系统的特点,用β-范式定义所有可计算函数.     

NDQJava语言词法分析程序

随着计算机硬件的发展,电子元件的功能即将受到量子效应的影响.对量子计算和量子计算机的研究迫在眉睫.Shor(Journal of Computing,1994,26:1484～1509)提出的大数质因子分解算法,向人们展示量子计算诱人的潜力.为验证量子算法正确性、通用量子计算机的可行性以及帮助理解量子力学中诸多问题,南京大学量子计算与量子信息研究组于2006年春设计了一种量子程序设计语言--NDQJava,并于同年夏在经典计算机上模拟实现了NDQJava的处理系统.此处理系统遵循编译一解释的途径,由词法分析程序、语法分析与代码转换程序、量子汇编与解释程序三部分组成.作为处理系统的第一部分,词法分析程序须将能够正确分析源程序并给出结构明确的单词属性字序列,它的设计实现遵循了简明、易用两条准则.本文着重介绍词法分析程序,较为详细地讨论了其设计与实现过程,并讨论了其主要优缺点.     

分析基础中的无穷观问题

很久以来人们普遍认为。极限论的建立和发展已给出了贝克莱悖论的解释方法。然而当笔者在兼容两种无穷观的思维方式并重新分析问题的时候．发现贝克莱悖论的阴影没有在分析基础中真正消失。     

表类型的一些性质

给出表类型的一系列重要性质，如封闭性和分离性，还证明类型Ｎ１和Ｎ可由表类型定义。