期刊文献+
共找到42篇文章
< 1 2 3 >
每页显示 20 50 100
量子程序设计语言NDQJava 被引量:13
1
作者 徐家福 宋方敏 +2 位作者 钱士钧 戴静安 张云洁 《软件学报》 EI CSCD 北大核心 2008年第1期1-8,共8页
量子程序设计语言自1996年出现以来,颇受业界重视.在简述几种有代表性的量子程序设计语言之后,着重阐述自行设计之量子程序设计语言NDQJava之概貌,其中包括设计准则、语言风范、硬件平台、基本成分以及示例等.此外,还提及相关工作.
关键词 量子程序设计语言 命令量子程序设计语言 申述式量子程序设计语言 量子数据类型 量子变量 量子表达 量子语句
在线阅读 下载PDF
量子程序设计语言NDQJava处理系统 被引量:10
2
作者 宋方敏 钱士钧 +2 位作者 戴静安 张云洁 徐家福 《软件学报》 EI CSCD 北大核心 2008年第1期9-16,共8页
简要介绍了量子程序设计语言NDQJava的一个处理系统.其特点是:程序中经典部分之处理借助Java系统,着重考虑量子部分之处理.该处理系统遵循编译-解释的途径,由词法分析程序、语法分析与代码转换程序以及量子汇编与解释程序3部分组成.文... 简要介绍了量子程序设计语言NDQJava的一个处理系统.其特点是:程序中经典部分之处理借助Java系统,着重考虑量子部分之处理.该处理系统遵循编译-解释的途径,由词法分析程序、语法分析与代码转换程序以及量子汇编与解释程序3部分组成.文末还给出了示例,该系统已于2006年6月底在经典计算机上模拟实现. 展开更多
关键词 量子程序设计语言 编译 解释 模拟 词法分析程序 语法分析与代码转换程序 量子汇编与解释程序
在线阅读 下载PDF
一种意向驱动式面向agent程序设计语言 被引量:7
3
作者 郭磊 戈也挺 +1 位作者 陈世福 张东摩 《软件学报》 EI CSCD 北大核心 2003年第3期383-391,共9页
提出了一种意向驱动式面向agent程序设计语言——AOPLID(agent-oriented programming language with intention driver).该语言基于开放式情景演算OSC(open situation calculus),吸收了GOLOG的合理成分,加入对信念、意向、能力、策略等a... 提出了一种意向驱动式面向agent程序设计语言——AOPLID(agent-oriented programming language with intention driver).该语言基于开放式情景演算OSC(open situation calculus),吸收了GOLOG的合理成分,加入对信念、意向、能力、策略等agent心智成分的处理,使用信念修正原语处理通信交互以及事件响应等外因行动,并采用了一种新颖的离线规划和在线执行相结合的运行方式,从而解决了GOLOG语言在应用于面向agent程序设计时不能有效地描述处理agent心智状态,无法处理外因行动等问题.给出了AOPLID语言语法结构,基于OSC的AOPLID程序语义以及AOPLID程序实例. 展开更多
关键词 意向驱动 程序设计语言 AOPLID语言 AGENT 外因行动 情景演算 信念修正
在线阅读 下载PDF
量子程序设计语言NDQJava-2 被引量:7
4
作者 刘玲 徐家福 《软件学报》 EI CSCD 北大核心 2011年第5期877-886,共10页
简述了量子程序设计语言NDQJava-2.该语言是在NDQJava的基础上增添了量子条件语句、量子循环语句、量子子程序、量子模块以及量子异常处理机制等量子成分,使其成为一种结构化的量子程序设计语言.书写量子程序的实践表明,相对于NDQJava而... 简述了量子程序设计语言NDQJava-2.该语言是在NDQJava的基础上增添了量子条件语句、量子循环语句、量子子程序、量子模块以及量子异常处理机制等量子成分,使其成为一种结构化的量子程序设计语言.书写量子程序的实践表明,相对于NDQJava而言,NDQJava-2是一种更为实用、易读,其成分设定更为合适的量子程序设计语言. 展开更多
关键词 量子程序设计语言 量子条件语句 量子循环语句 量子程序 量子模块 量子异常处理机制
在线阅读 下载PDF
面向转换式程序设计的元语言设计中的若干问题
5
作者 金凌紫 朱鸿 《计算机研究与发展》 EI CSCD 北大核心 1990年第3期7-12,共6页
元程序设计是转换式程序设计的主要途径之一,本文根据作者对国际有关工作的分析,结合进行转换式程序设计与构造转换系统的实践,在设计与实现元语言的基础上,进一步探讨面向转换式程序设计的元语言的需求、设计原则与语言结构等问题。
关键词 程序设计 语言 转换
在线阅读 下载PDF
量子程序设计语言NDQJava2处理系统——汇编程序与解释程序
6
作者 朱正文 徐家福 《计算机科学与探索》 CSCD 2013年第8期762-768,共7页
NDQJava2是在NDQJava语言的基础上增添量子条件语句、量子循环语句、量子子程序、量子模块和量子异常处理机制等多种量子成分而成的一种混成式、结构化、命令式量子程序设计语言。为了在经典计算机上模拟执行NDQJava2语言书写的量子程序... NDQJava2是在NDQJava语言的基础上增添量子条件语句、量子循环语句、量子子程序、量子模块和量子异常处理机制等多种量子成分而成的一种混成式、结构化、命令式量子程序设计语言。为了在经典计算机上模拟执行NDQJava2语言书写的量子程序,给出了假想量子计算机的基本指令集与汇编指令集的设计,并用Java语言编写了相应的汇编程序和解释程序。结合处理系统的其他部分,验证了平衡函数判定问题的Deutsch算法。实验表明,该汇编程序与解释程序达到了预期目的。 展开更多
关键词 NDQJava2 量子程序设计语言 汇编程序 解释程序
在线阅读 下载PDF
CCS:一个新的逻辑式程序设计语言的并行执行模型
7
作者 章萃 《计算机研究与发展》 EI CSCD 北大核心 1991年第7期27-33,共7页
本文提出了一个新的逻辑式程序设计语言的并行执行的理论模型CCS,它能够有效地解决提高与并行推理功效性的关键问题。CCS 模型的主要特点是:1.信道段作为与并行计算单位;2.段内计算的顺序性与不中断性;3.段内的内部通信性与段间的外部... 本文提出了一个新的逻辑式程序设计语言的并行执行的理论模型CCS,它能够有效地解决提高与并行推理功效性的关键问题。CCS 模型的主要特点是:1.信道段作为与并行计算单位;2.段内计算的顺序性与不中断性;3.段内的内部通信性与段间的外部通信性;4.不同信道段计算的半序性;5.动态控制的简单性;6.父子关系的松散性;7.优化尾递归程序的与并行执行。 展开更多
关键词 逻辑 语言 程序设计 模型
在线阅读 下载PDF
逻辑式程序设计语言的CCS执行模型的静态实现方法
8
作者 江文青 蒋雪明 《计算机技术》 CSCD 1989年第6期34-38,共5页
关键词 程序设计语言 逻辑 并行执行模型
在线阅读 下载PDF
IBM-PC C语言覆盖式程序设计方法
9
作者 徐涛 宋成刚 《计算机应用研究》 CSCD 1990年第5期6-7,共2页
在用C语言进行应用程序的开发时,往往应用程序需占用很大的内存空间,而我们都希望能在内存空间较小的IBM PC机上运行。这里我们介绍一下用C语言编写程序怎样实现覆盖式程序设计,着重讲述了进程间参数传递方法。
关键词 微机 C语言 覆盖 程序设计
全文增补中
基于Monad的纯函数式程序设计
10
作者 袁华强 孙永强 《软件学报》 EI CSCD 北大核心 1996年第11期683-690,共8页
PhilipWadler在探讨用Monad构造纯函数式程序时,介绍了一个简单的词法分析程序的构造过程.本文进一步研究了这种方法,并用这种方法构造出一个能进行复杂的layout分析。
关键词 函数 程序设计 纯函数语言 MONAD
在线阅读 下载PDF
生态学常用数学模型C程序设计(一)─—通用立体下拉式菜单
11
作者 顾才东 贺达汉 +1 位作者 关晓庆 梁树巍 《宁夏农学院学报》 1997年第2期56-64,共9页
本程序采用C语言编制,包括通用立体下拉式菜单和生态学常用数学模型,可方便地组建九种常用的数学模型。
关键词 立体下拉菜单 语言 数学模型 程序设计
在线阅读 下载PDF
NDQJava语言处理系统量子汇编及解释程序 被引量:4
12
作者 焦阳 吴楠 宋方敏 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2008年第2期107-115,共9页
量子计算被认为是有可能超越经典计算的一种新型计算模型,目前国内外已有大量相关实验和理论工作围绕量子计算及量子计算机而展开.南京大学计算机系量子计算和量子信息研究小组在量子计算领域中的量子程序设计语言方向上开展了一些工作... 量子计算被认为是有可能超越经典计算的一种新型计算模型,目前国内外已有大量相关实验和理论工作围绕量子计算及量子计算机而展开.南京大学计算机系量子计算和量子信息研究小组在量子计算领域中的量子程序设计语言方向上开展了一些工作,设计了一种量子程序设计语言NDQJava并在经典计算机上对其处理系统加以模拟实现.为了更好地描述量子计算的逻辑流程并和物理模型相对应,在NDQJava处理系统的设计和实现过程中定义了量子汇编及机器语言.量子汇编语言作为高级量子程序设计语言和量子器件之间的接口语言,其设计必须考虑完备、简明、易用三方面的因素.为了模拟实现NDQJava处理系统亦定义了量子机器语言并通过软件解释执行.文中在定义了量子汇编及机器语言后着重描述了NDQJava处理系统中汇编及解释程序的设计思想与实现方法,对其中的若干关键问题给出了相应图表及源程序片段加以阐明. 展开更多
关键词 量子计算 程序设计语言 汇编程序 解释程序
在线阅读 下载PDF
SIMPLE:一种新型多范型程序设计语言
13
作者 吴迪 陈林 徐宝文 《计算机科学》 CSCD 北大核心 2014年第7期1-8,44,共9页
为了满足越来越高的软件开发需求,许多通用程序设计语言扩充了各种新的语言设施,从而使语言变得复杂而难于学习和使用。为了创造一个核心概念简单明确、同时可以广泛用于各类开发的语言,设计了一种具有简明核心概念和丰富语言设施的程... 为了满足越来越高的软件开发需求,许多通用程序设计语言扩充了各种新的语言设施,从而使语言变得复杂而难于学习和使用。为了创造一个核心概念简单明确、同时可以广泛用于各类开发的语言,设计了一种具有简明核心概念和丰富语言设施的程序设计语言SIMPLE。首先对SIMPLE语言进行概述,然后针对SIMPLE的模块化、泛型、内存管理以及异常处理等设施进行阐述。此外,讨论了如何将过程式、面向对象、函数式3种程序设计范型在SIMPLE中实现有机的融合。 展开更多
关键词 程序设计语言 语言设计 多范型程序设计 面向过程程序设计 面向对象程序设计 函数程序设计
在线阅读 下载PDF
带迭代算子的函数式程序设计
14
作者 阎志欣 《软件学报》 EI CSCD 北大核心 1996年第A00期239-248,共10页
本文提出了程序设计语言的一种新的计算模型,带迭代处子的函数式模型,文中给出了基于该计算模型的程序设计语言的语法、计算规则集及确定怀证明,该类语言以表达式的复合描述顺序,以迭代表达式描述循环,以条件表达式描述分支,使得... 本文提出了程序设计语言的一种新的计算模型,带迭代处子的函数式模型,文中给出了基于该计算模型的程序设计语言的语法、计算规则集及确定怀证明,该类语言以表达式的复合描述顺序,以迭代表达式描述循环,以条件表达式描述分支,使得程序以数学语义为基础,易于理解,证明及构造高效的执行系统,相信该类语言是一咱有坚实理论基础、高效的、实际有用的高级确定性程序设计语言。 展开更多
关键词 迭代算子 函数语言 程序设计 程序语言
在线阅读 下载PDF
函数式语言中的赋值语句 被引量:7
15
作者 石跃祥 袁华强 +1 位作者 孙永强 陈静 《软件学报》 EI CSCD 北大核心 1999年第3期252-256,共5页
文章探讨了怎样在纯函数式语言中加入赋值操作,而又不丧失引用透明性特征的问题,给出了这些操作的指称语义。
关键词 赋值语句 程序设计语言 函数语言
在线阅读 下载PDF
一个基于对象、域和型的层次式程序表示模型 被引量:2
16
作者 赵洋 蔡志旻 +1 位作者 金浩 潘金贵 《计算机科学》 CSCD 北大核心 2003年第4期118-120,135,共4页
It is necessary to represent a program in a visual model before analyzing it. This paper introduces a hierarchical program visual model based on object, scope and type. It depicts a program's information through a... It is necessary to represent a program in a visual model before analyzing it. This paper introduces a hierarchical program visual model based on object, scope and type. It depicts a program's information through a recursive-nested structure. Particularly, it emphasizes on the inherent relationships among objects, scopes and types and connects objects and types within scopes. This paper explains all parts and their relationships in details and also addresses briefly about how to realize the model. 展开更多
关键词 程序设计语言 符号语言 程序 层次程序表示模型 类型 对象 作用域 程序设计
在线阅读 下载PDF
函数式程序的分层λ抽象 被引量:2
17
作者 廖湖声 《计算机学报》 EI CSCD 北大核心 1989年第12期892-899,共8页
本文提出应该根据函数调用形式来决定如何使用程序变换技术,并且提出一个算法来实现对函数调用形式的静态分析及其相应的程序变换.
关键词 函数程序 程序设计语言
在线阅读 下载PDF
怎样编写嵌入式系统定位程序
18
作者 周荷琴 孙景群 +1 位作者 刘兵 冯焕清 《计算机应用》 CSCD 1998年第4期20-22,共3页
对用C语言编写的应用程序正确进行重定位,是设计好嵌入式系统的关键。本文以设计一个基于80x86CPU的嵌入式系统为例,就定位程序的编写方法作些讨论,主要介绍程序的设计思想。有关内容也可供设计其它类型嵌入式系统的读者参考。
关键词 嵌入系统 定位程序 C语言 程序设计
在线阅读 下载PDF
带有指针的嵌套式语言的全程分析方法
19
作者 刘磊 宫慧颖 《小型微型计算机系统》 CSCD 北大核心 2001年第11期1357-1358,共2页
对指针变量以及过程间的数据的分析是嵌套式语言全程分析的关键问题之一 .本文提出了一种对带有指针的嵌套式语言的全程分析方法 。
关键词 嵌套语言 数据流 指针 程序设计语言
在线阅读 下载PDF
NDQJava语言词法分析程序 被引量:2
20
作者 徐明君 吴庆曦 宋方敏 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2008年第2期116-122,共7页
随着计算机硬件的发展,电子元件的功能即将受到量子效应的影响.对量子计算和量子计算机的研究迫在眉睫.Shor(JournalofComputing,1994,26:1484-1509)提出的大数质因子分解算法,向人们展示量子计算诱人的潜力.为验证量子算法... 随着计算机硬件的发展,电子元件的功能即将受到量子效应的影响.对量子计算和量子计算机的研究迫在眉睫.Shor(JournalofComputing,1994,26:1484-1509)提出的大数质因子分解算法,向人们展示量子计算诱人的潜力.为验证量子算法正确性、通用量子计算机的可行性以及帮助理解量子力学中诸多问题,南京大学量子计算与量子信息研究组于2006年春设计了一种量子程序设计语言——NDQJava,并于同年夏在经典计算机上模拟实现了NDQJava的处理系统.此处理系统遵循编译一解释的途径,由词法分析程序、语法分析与代码转换程序、量子汇编与解释程序三部分组成.作为处理系统的第一部分,词法分析程序须将能够正确分析源程序并给出结构明确的单词属性字序列,它的设计实现遵循了简明、易用两条准则.本文着重介绍词法分析程序,较为详细地讨论了其设计与实现过程,并讨论了其主要优缺点. 展开更多
关键词 量子计算 程序设计语言 处理系统 词法分析
在线阅读 下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部