“函数+逻辑”程序设计编译-解释系统

本文在“函数+逻辑”程序设计语言LISP-ELP的基础上,介绍了作者设计并实现的一个“函数+逻辑”编译-解释系统.文中阐述了该系统的设计原则、内部结构、实现技术和结果分析.     

NDQJava语言处理系统量子汇编及解释程序

量子计算被认为是有可能超越经典计算的一种新型计算模型,目前国内外已有大量相关实验和理论工作围绕量子计算及量子计算机而展开.南京大学计算机系量子计算和量子信息研究小组在量子计算领域中的量子程序设计语言方向上开展了一些工作,设计了一种量子程序设计语言NDQJava并在经典计算机上对其处理系统加以模拟实现.为了更好地描述量子计算的逻辑流程并和物理模型相对应,在NDQJava处理系统的设计和实现过程中定义了量子汇编及机器语言.量子汇编语言作为高级量子程序设计语言和量子器件之间的接口语言,其设计必须考虑完备、简明、易用三方面的因素.为了模拟实现NDQJava处理系统亦定义了量子机器语言并通过软件解释执行.文中在定义了量子汇编及机器语言后着重描述了NDQJava处理系统中汇编及解释程序的设计思想与实现方法,对其中的若干关键问题给出了相应图表及源程序片段加以阐明.     

Prolog语言与Gdel语言中元程序设计方法的研究

元程序设计是许多逻辑程序语言具有的重要特点,它可以有效地实现程序自解释自调节功能,研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义.Prolog语言与Gdel语言分别支持使用非基本表示与使用基本表示的元程序设计功能.本文通过对这两种语言中的元程序设计方法进行研究,讨论了基本表示与非基本表示的主要特点和实现机制,具体分析了Prolog语言与Gdel语言元解释程序的构造方法以及部分求值功能实现.     

Prolog语言与Gödel语言中元程序设计方法的研究

元程序设计是许多逻辑程序语言具有的重要特点,它可以有效地实现程序自解释自调节功能,研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义.Prolog语言与G(O)del语言分别支持使用非基本表示与使用基本表示的元程序设计功能.本文通过对这两种语言中的元程序设计方法进行研究,讨论了基本表示与非基本表示的主要特点和实现机制,具体分析了Prolog语言与G(O)del语言元解释程序的构造方法以及部分求值功能实现.     

Prolog语言与G(O)del语言中元程序设计方法的研究

元程序设计是许多逻辑程序语言具有的重要特点,它可以有效地实现程序自解释自调节功能,研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义.Prolog语言与G(O)del语言分别支持使用非基本表示与使用基本表示的元程序设计功能.本文通过对这两种语言中的元程序设计方法进行研究,讨论了基本表示与非基本表示的主要特点和实现机制,具体分析了Prolog语言与G(O)del语言元解释程序的构造方法以及部分求值功能实现.     

一个简单面向对象语言的抽象机定义及其可视化实现

定义一个简单面向对象语言SOOL的抽象机SAM, 并设计开发了SAM的可视化实现系统VisualOO. VisualOO系统可以把任意一个SOOL源程序转换成SAM内部表示, 并且动态演示该程序在SAM上的执行过程. 定义的抽象机及其可视化系统可以应用于程序设计语言形式语义学的教学中.     

基于多语言范例的“形式语义学”教学辅助系统

针对简单函数式语言、 简单过程式语言和简单面向对 象式语言等多个程序语言范例, 分别定义了它们的操作语义和指称语义, 同时设计了一个“形式语义学”教学辅助系统, 用于演示不同语言范例程序的基于形式语义定义的可视化解释, 该系统使学生可以通过形象生动的动态演示和同步解释, 充分理解和掌握程序设计语言的形式语义及其实现.     

带有指针的嵌套式语言全程数据流分析及程序分片系统

以PASCAL语言为模型,设计并实现了一个针对带有指针的嵌套式语言的全程数据流分析及程序分片系统,能够有效地处理程序中的指针,在程序测试、程序理解、程序调试、程序分片等领域都将有广泛的应用.     

Prolog语言与G6del语言中元程序设计方法的研究

元程序设计是许多逻辑程序语言具有的重要特点，它可以有效地实现程序自解释自调节功能．研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义，Prolog语言与Goeel语言分别支持使用非基本表示与使用基本表示的元程序设计功能．本通过对这两种语言中的元程序设计方法进行研究．讨论了基本表示与非基本表示的主要特点和实现机制，具体分析了Prolog语言与Gbdel语言元解释程序的构造方法以及部分求值功能实现.     

DM4过程SQL语言的设计与实现

在商用数据库管理系统DM4中设计并实现了过程SQL语言DMPL/SQL.提出了DMPL/SQL语言解释器的总体结构.该解释器由编译器和虚拟机两部分构成.编译器分析源代码并生成中间代码,虚拟机以立即或延迟的方式对中间代码进行解释执行.介绍了实现DMPL/SQL语言解释器的关键技术.为提高程序的执行效率,在名字解析、SQL语句的执行以及异常处理等阶段采用了多种优化方法.该语言目前已广泛使用于基于DM4的数据库应用中.     

电镀咨询系统ECES

我们与武汉市材料保护研究所合作,针对湿热环境下机电产品的主要防护层之一——电镀层的选择和指导问题,设计了腐蚀专家系统的一个子系统——电镀咨询系统ECES.ECES采用我们研制成功的新型函数/逻辑程序设计语言LISP-ELP编制.目前,该系统运行顺利,基本上达到了预期的效果.本文阐述该系统的结构、功能、实现策略和应用情况.1 设计目标产品表面防护涂层的选择,是产品设计和生产制造部门普遍关心和重视的问题.ECES的研制目的是把电镀方面的专家知识融合到计算机技术中,为用户提供专家级的辅助决策意见和指导.作为腐蚀专家系统的一个部分——ECES的设计目标是:     

演绎数据库系统LEDDB

本文给出了建立在函数/逻辑型语言LISP-ELP基础上的一个演绎数据库系统模型.该系统比之于建立在PROLOG基础上的演绎数据库系统具有以下优点:有更灵活的控制求解策略、更丰富的查询方式,可与更多的知识表达方式相联系.文中还提出了一种新的知识库管理策略,即多键散列的存取策略,使系统的效率大幅度提高.     

浅谈C语言的学习方法和技巧

C语言作为目前国际上广泛流行的编程语言,是目前国内众多高校的公共必修课程之一。但从国内高校的近几年教学来看,教学效果明显达不到想要的效果。许多学生课程修完后连一个小程序都难以编写。针对上述情况,在简要介绍C语言内容的基础上,结合笔者多年教授C语言的体会,对C语言的学习方法和编程风格提出了一些个人看法。     

振动信号图形分析的C语言编程

采用了ＴＵＲＢＯＣ语言对振动信号分析的图形处理进行编程,代替以往用汇编语言或高级语言编程具有灵活性及移植性俱佳、易于编程等功能。通过编程与验证,为信号分析提供较好的计算机图形界面以及能驱动ＬＱ１６００Ｋ型打印机输出分析图形     

“C语言”渐进式案例驱动教学法

C语言是程序设计的入门课程。首先分析指出C语言教学中出现的弊端,然后提出应用渐进式案例驱动教学法可以消除这些弊端,最后举两例进行说明。教学实践表明,渐进式案例驱动教学法的教学效果较好,学生对算法的掌握程度和动手编程解决实际问题的能力得到很大提高。     

虚拟仪器的几个应用实例

图形化编程语言对虚拟仪器技术作出了关键性贡献。本文从近20年仪器技术发展的角度讨论了虚拟仪器技术的产生,图形化编程语言的主要特点,介绍了我们自己构建的几个应用实例。     

C语言教学中学生兴趣的培养

C语言是计算机专业的一门基础编程语言,也是一门核心课程.但多年来的教学实践表明,学生对这门课程的兴趣并不很大.如何在教学中培养学生的学习兴趣,变被动教为主动学,对提高教学质量至关重要!本文针对这一问题提出了一些C语言教学的改革措施,以提高学生的学习兴趣.     

基于ARM的汇编语言与C语言混合编程的方法研究

针对ARM的汇编语言与C语言混合编程的编程问题,具体研究了C语言中内嵌汇编指令、汇编语言和C语言程序变量的相互调用、汇编语言和C语言程序的相互调用和C编译器的特定关键字问题,并给出了实例。     

Fortran与C#混合编程在地震属性分析中的应用

充分利用现有的Fortran程序,通过混编方式,将其移植到.NET平台下,实现了地震属性分析中C#可视化程序调用Fortran语言的混合编程。改造现有的Fortran源码,一方面可以达到两种语言优势互补的目的,另一方面可以利用前人留下的大量的Fortran程序,避免重复的编程,大大节约了科学研究时间。