一种可在VAX/VMS-11和PDP-11系列计算机上使用的LISP语言(二)

本文针对不熟悉非数值处理,但具有算法语言基础的读者,较为详细地介绍了λ函数、递归函数和PROC过程函数的定义形式及其特点,并指出用它们来定义和生成LISP新函数的方法;列举了许多MINI-LISP常用函数以及执行这些函数的实例;文中还对这些函数的编码和执行过程作了注释和分析。LISP程序的编制过程应该是:首先用户将他所要解决的问题转化为符号(表)处理形式,并设计出一种非数值算法,然后根据这种算法利用先前定义的函数及上述三种函数定义形式不断地定义和再生一批批新函数。一个LISP应用程序就是在括号内将众多的LISP函数进行有机地组合和罗列,而最外层的LISP函数只是非常简单地调用这批函数,将实在参数赋给函数中的形式参数,各种实际应用问题就得到解决。     

一种可在VAX/VMS-11和PDP-11系列计算机上使用的LISP语言(三)

本文介绍LISP语言在计算机非数值处理中的一些应用实例。在文中首先以处理记事日志为例,指出将LISP直接应用于图书、情报资料检索等多种计算机应用领域的可能性及它所具有的优点。其次,通过解“梵塔”和“机器人走迷宫”这类简单而又典型的人工智能难题,说明作为人工智能工作语言的LISP在该科学领域的理论研究和应用中的重要性。最后,通过给出一个图书管理集合模型数据库系统软件各部分的LISP(函数)组成,证实LISP语言也可作为设计和研制数据库系统软件的一个重要工具。     

PICASSO——一个用于模糊决策系统的基于规则的程序设计语言

本论文介绍一种新的基于规则的程序设计语言,其名为 PICASSO,它为具体执行模糊决策支持系统(Fuzzy Decision SupportSystem)而设计。PICASSO 已在美国休斯顿大学计算中心的 AT&T 公司的3B2OS 小型计算机上部分运行。整个系统用 Franz Lisp 书写。PICASSO 具有以下特征。它使用正向链接(Forward chaining)推理手段。该语言有三种控制策略:面向宽度优先的系统控制模式,用户控制模式和元规则(meta-rule)~(*2)控制模式。PICASSO 支持匹配变量以及其他类型的变量,以便于使用以模式匹配为主的调用方式。在该语言中,不同规则之间的信息能够用信息传送和数据共享两种方法来进行通讯、交换。PICASSO 的规则工作在可永久保存的知识库上,这个知识库必须预先用称为符号图形(S—diagram)的一种强有力的数据模式来定义。PICASSO 的推理器(inference engine)实施知识库的一致性。知识库中可以保存模糊信息(fuzzy information),这些信息用区间模式的二值法来表示。区间模式允许分配一个概率给一个事实(断言),同时还要表示我们相信这种概率估计的程度,这一点对于模糊决策支持系统来说是重要的,因为这种系统常牵涉到不同程度的经验知识的判定规则。有了对某些事实(断言)的概率估计,又有专家对此概率的相信程度(凭经验),就可较全面地选择某种决策。对于区间模式来说,我们已经提供了一些特定的运算公式,用于对不确定性(uncertainty)知识进行自动推理。PICASSO 支持基于规则的程序设计语言和函数型的程序设计语言两者的组合并支持多个基于规则的程序设计语言和函数型的程序设计语言两者的组合,并支持多个基于规则的程序之间的协同操作:可以容易地把 PICASSO 程序综合成象一般的 LISP 函数那样的 LISP 程序,而且 PICASSO程序本身也可以任意地调用 LISP 函数。     

ND—7301编译系统(Ⅰ):初始语言

本文扼要介绍了 ND-7301编译系统中所用的初始语言。全文共分六节。第一节是引言,其中谈到这种语言的设计背景,设计目标,以及语言的结构。第二节是基本符号、数、名、量、值。第三节是公式和子句。第四节是说明。第五节是程序、模块、注解等。第六节给出了两个例子。本语言是一种既可用来写应用程序又可用来写系统程序的语言。在模块参数以及子句等部分还考虑了一些利于动态调试的成分。     

面向对象数据库语言OL-4的设计

介绍了面向对象数据库系统Daemon4／1的语言系统OL-4的设计和主要特色。OL-4是具有对象库查询和管理的嵌入LISP的面向对象程序设计语言．其持色包括对象的基本模型、继承模式、语言的基本设施以及和库结合后的新机制。OL-4是一种较为完善和功能强大的程序设计语言。     

初等函数的导函数计算机符号算法

本文应用结构化程序设计思想和递归算法;对初等函数的导函数符号求法,用PASCAL语言设计了一计算机算法。为了适应递归,对初等函数的结构作了规范处理,给出了三个互相递归调用的子过程。利用这三个过程,给出了示意性程序。     

一种多语言符号调试程序JDBG的研究与设计

描述了一个支持多语言的符号调试程序,在给出其总体结构、处理流程、运行环境及多语言功能的同时,着重介绍了该程序的设计特色和系统中几个关键部分的设计思想。     

多规范语言LIPS

LIPS是作者设计的一种兼有LISP,PROLOG,SMALLTALK语言功能的“函数+逻辑+目标”程序设计语言.本文阐述LIPS的设计思想、LIPS中的面向对象程序设计功能、LIPS的多规范程序设计风格及LIPS的实现技术,提出了“逻辑变量作用域”、“狭义归约”和“广义合一”等概念.     

LISP-ELP语言的实现技术

LISP-ELP语言是作者设计的一种支持专家系统程序设计的函数/逻辑型程序设计语言,本文介绍LISP-ELP语言的特点及其解释系统的实现技术.该解释系统用C语言编写,并在IBM-PC机上实现.     

一种快速处理地图缩编中多余符号和文本的程序

本文介绍了一种利用Autolisp语言程序快速处理地图缩编中多余符号和文本的方法。     

Visual LISP创建公差标注函数的基本思路及函数解析

本文介绍了用Visual LISP创建公差标注函数的基本思路,并用流程图表示程序的逻辑关系以及各逻辑关系的函数实现过程。为了提高程序的易用性,对程序的出错处理、透明命令、创建工具栏按钮做了简要介绍。     

互通式立体交叉设计阶段的数据交互研究与应用

为解决互通立交设计过程中不同专业之间数据流通不畅、协同设计程度低等问题,实现互通立交设计阶段的线形设计与结构计算之间的数据交互,以LISP语言作为媒介,对VB程序与互通立交EICAD设计系统程序的交互作用进行研究;通过图元非几何属性的扩展和外部数据库的建立等方式进行互通立交的EICAD线形设计软件的二次开发;最后,以彰武东互通立交项目为例验证了软件二次开发的有效性.结果表明:VB与LISP语言相结合可有效解决程序间的内嵌融合问题;VB数据交换程序能够实现线形设计软件EICAD与结构计算软件MIDAS之间的数据循环流通,解决互通立交设计阶段中不同专业间的数据交互问题;软件的二次开发在互通立交实际项目中的应用具有较好的有效性.     

类型系统的构造、实现及其在程序设计语言中的应用

类型系统是一种设计和研究程序设计语言的形式化方法和工具，既可在语言设计之初构造，便于严格、准确、正确地设计实现语言；也可在语言实现后构造，为研究语言的语义及其它性质建立模型。详细讨论了类型系统的基本构造和实现，通过基于图重写的函数式语言SClean的类型系统，提出一种实用的类型系统的构造和实现方法。     

一种旨在优化速度的多功能乘累加器设计

介绍了一种40±16×16位高速乘累加/减器的设计。该乘累加/减单元支持有符号数、无符号数及混合符号数的乘法、乘累加/减运算,并支持多种舍入的乘法、乘累加/减运算。该单元采用了改进的Booth算法和Wallace树结构,简化了部分积的产生,及部分积符号的扩展;优化了Wallace树的连接结构,及后续多个操作数的处理次序,从而显著地提高了乘累加/减器的速度。该设计综合考虑了高性能通用DSP对乘累加/减器的要求,作为某高速高性能定点DSP的一部分,已经实现了RTL电路设计、功能仿真、和PC综合,并准备流片且进行FPGA系统开发板的芯片验证。     

基于C++表达的AI/ES语言和工具的实现

介绍了C＋＋表达的人工智能（AD）／专家系统（ES）的设计和实现。针对以前在人工智能研究中的函数式程序语言－LISP，建立了一个C＋＋和LISP语言之间的转换工具。基于C＋＋的专家系统开发模式构造了ES系统中的部分底层模块（如：表操作）。通过使用该模块能够直接把各种LISP开发的系统映射到新的C＋＋开发平台，实现高效的、实用的人工智能专家系统。     

可编程序计算器在实验室的应用

我院理化实验室引进了多种可编程序计算器,如 SHARP 的 PC-1300、 CASTO 的502P 以及 TEXAS 的 TI-59等。本文以 TI-59为代表,分两部分介绍它们在实验室的应用:第一部分介绍求解超越方程的三种方法及其比较,以及带自动精度控制的求定积分的辛普森法;第二部分结合具体的近代物理实验,介绍它们在误差分析和数据处理中的应用。文中的应用程序是用 TI-59的“语言”写的,但它们的设计思想、基本方法和流程图也适用于其它可编程序计算器。为了充分发挥这些计算工具在实验数学和科学研究中的作用,特写此文以期抛砖引玉。     

LISP语言在CAD工程制图中的应用

针对CAD技术在测量制图工作中的重要性,而LISP程序是CAD技术的重要拓展,结合自己的工作体会,提出一种工具程序设计,并用LISP语言编程,实现计算机的自动设计、计算、制图功能,使工程制图工作更有效的顺利进行。     

Haskell:一种现代纯函数式语言

随着软件系统的规模越来越大,复杂程度越来越高,计算机学科领域正面临着一场软件复杂性危机:如何妥善处理计算机程序的大小和复杂度,如何缩减程序开发的时间和费用,以及如何提高最终程序正确工作的可信度.函数式程序设计语言为解决这些问题提供了优美独特的框架.文中主要介绍一种纯的函数式语言Haskell,包括其发展历史、程序特点、程序结构等.Haskell是现代的、标准的、惰性的、纯函数式程序设计语言,它具有表达力强的语法,以及丰富的内置数据类型.     

几种计算机语言的特性分析——FORTH、APL、LISP、Modula2、Smalltalk、PROLOG

本文介绍了几种语言,有的可能成为最流行的语言。有些语言的优势在于它们有更好的理论基础——新的计算暗喻。给出了情况予测:日本人已选定PROLOG为第五代计算机的标准语言,到1995年大家可能都要用PROLOG语言;目前,在人工智能领域中,能力最强的是LISP和Smalltalk这两种语言。目前,我们十几亿操汉语的人都使用汉字,但这并非意味着汉字就是记录汉语的最佳符号。与此相仿,当今最流行的计算机语言(BASIC、FORTRAN、COBOL、Pascal…)未必就是最合理的计算机语言,它们的统治地位并非天经地义。有些语言目前虽然还不流行,是因为它们的优点还没有被大家所认识,一旦大家发现它们的优点,它们就会流行起来,至少,它们的设计思想和强有力的功能会被未来的计算机语言所采纳。本文将讨论其中的六种:FORTH、APL、LISP、Modula-2、Smalltal及PROLOG。     

Visual LISP环境下面向对象的编程技术

Visual LISP是在AutoLISP基础上发展起来的一种新的、功能强大的可视化编程环境,其中提供了面向对象的编程技术,通过它可以用编程的方式直接操作AutoCAD图形数据库,程序运行效率及安全性大大提高。对象模型、对象方法和属性是Visual LISP面向对象编程技术的基础,ActiveX函数的灵活运用是实现Visual LISP面向对象编程的关键。通过实例介绍了怎样获得对象模型、对象方法和属性,ActiveX函数的使用以及灵活运用ActiveX函数进行CAD应用程序的设计。