LISP—ELP的设计和应用

1.引言 在本文中描述了LISP-ELP的特性、实现和应用。LISP-ELP是作者设计的一种支持专家系统程序设计的逻辑程序设计语言,它继承了LISP和Prolog两者的优点,改进了Prolog的控制结构,并具有极强的知识表达能力,该语言已经在IBM-PC微机上用C语言实现。 在“函数+逻辑”型语盲的研究中有[1,2]的工作.为了推进“函数+逻辑”型语言走向     

逻辑程序设计语言LOGLISP

逻辑程序设计语言LOGLISP是LISP语言和Prolog语言两者优点的结合。由LISP和嵌套在LISP中的表示LOGIC的新函数的集合组成。鼓励读者把LOGLISP想成 LOGLISP=LOGIC+LISP 该语言是由J.A.Robinson等人于1983年设计实现的。     

一种新型的专用图形设计语言GDL

本文介绍一种新型的专用图形设计语言GDL。该语言是我们自己研制的声光器件图形处理系统的系统语言。GDL语言有丰富的图形描述功能,有很强的函数表达方式,并设有齐全的图形设计用语。GDL是一种类LISP的语言。GDL语言编译器已在GDL系统中实现。GDL语言已随着GDL系统的正常运转而得到应用。     

LISP-130解释系统

本文详细地介绍了我们研制成功的LISP-130解释系统。本系统以LISP1.5文本为主要依据,并吸取了其他LISP系统的特点,构成94个系统函数,以这94个函数为基础,可以方便地定义出各种新函数。 LISP语言是人工智能、模式识别及其他求解非数值问题的基本语言。国外越来越多的计算机开始配备LISP类型的语言,成为系统软件的基本组成部分。 随着国内计算机应用领域的不断扩大,非数值应用的比重越来越大,迫切需要适合于非数值计算的语言。同时考虑到国产DJS-130机已被广泛使用,为此研制了适用于DJS-130小型机的LISP独立解释系统。本系统于1980年11月鉴定通过。     

函数式语言并行化的方法

Lisp作为一个表处理语言.有着悠久的历史,而COMMON LISP提供一r丰富的数据集和多程序设计模式:函数的,强制的和面向对象的〔“·幻。我们以COMMON LISP为蓝本完成T XJD一LISP/CLOS,它是为我国曙光一号机配备的.现已通过国家教委组织的鉴定。最近我们正在开发COMMON LISP的并行版本,作为863计划资助项目,这个工作很有意义。该并行系统将加速计算,并且还能对XJD一 LISP/CLOS提供支持。本文就函数式语言并行化的方法进行了探讨。     

LISP语言及其在人工智能中的应用(一)

LISP语言是专为处理符号表格而设计的一种语言,它在人工智能的许多领域中都得到了广泛的应用,因此逐渐引起人们的注意。 本文扼要地介绍LISP语言的一些主要特点及功能,并通过一些例子说明如何利用LISP语言进行人工智能问题的程序设计。 本文共分三部分:第一部分介绍符号表达式的数据结构,基本LISP函数,LISP无语言以及LISP程序。第二部分介绍LISP函数的扩充,包括算术逻辑运算,以函数作变元的函数,具有程序特性的函数,原子特性表,改变表结构的函数以及输入输出函数。第三部分介绍一些应用实例,包括智力难题,定理证明,问题求解以及机器人道路探索等。着重介绍如何把人工智能问题转化为适合于进行表处理的问题,然后用LISP语言进行程序设计。     

面向PLC产品的自动化测试系统平台设计与实现

为了提高可编程逻辑控制器(PLC)产品的测试效率以及降低维护成本,设计、开发了一套自动化测试系统平台,实现了PLC产品的自动化测试。测试对象根据PLC系统构成划分为3个部分：PLC编程软件、PLC嵌入式软件和PLC硬件。PLC编程软件的自动化测试通过Python语言编程,实现对UI控件的识别和操作。PLC嵌入式软件的自动化测试通过使用PLC编程软件组态自动化测试工程+Python语言编程,实现对自动化测试工程的操作。PLC硬件测试通过LabVIEW实现的界面+NI板卡硬件完成。系统整体测试流程的自动化通过Jenkins实现,将自动安装升级、自动化测试、发送测试报告等流程串接起来,过程中完全不需要人工介入。该自动化测试系统平台的应用覆盖了测试工作中的每日构建测试、单元测试和集成测试的应用场景。该自动化测试系统平台成功探索了在工控行业中自动化测试实现的可能性。经过此自动化测试系统平台测试的产品会更加稳定、可靠。     

DLisp:一个分布处理实验系统

本文介绍一个在PC-Net网上用GCLISP实现的LISP分布处理实验系统,该系统可以在两个PC机上的GCLISP系统间传送S表达式,允许用户用LISP语言编写接收输入数据中断服务程序,并提供远程计算、环境传送和分布式编辑等功能。在该系统上我们进行了LISP并行计算的实验。     

ELNF演算的解释技术

ＥＬＮＦ演算是我们在ＬＮＦ演算的基础上扩充逻辑程序设计能力而得到的一种函数／逻辑演算系统，它构成了作者设计的函数／逻辑语言ＲＦＵＮＬＯＧ的基础．本文介绍ＥＬＮＦ演算的解释实现技术，包括数据结构、系统结构以及各个模块的设计思想．最后给出了在此解释系统下，几个典型程序的运行时间．     

函数、逻辑程序设计语言FAIR-LILY的设计

本文根据〔1〕和〔2〕设计了一种“函数程序设计与逻辑程序设计统一成一体”的语言,FAIR—LILY。该语言的函数程序设计部分是带变量的 FFP 语言的一种扩充,其中嵌入以逻辑程序设计功能。     

一种梯形图编程系统的研究与实现方法

详细阐述了一种梯形图编程系统的数据结构与实现方法.该系统选用Visual C 作为开发语言,实现了梯形图语言向指令表语言的转换、显示、编辑、以及语法、逻辑错误检测与处理以及程序传输等功能.该梯形图编程系统可用于多种现场测控设备如PLC、RTU等.     

逻辑程序设计系统LOGIC

本文主要介绍在IBMPC/XT,AT机上开发的函数型与逻辑型相结合的程序设计系统LOGIC的实现思想。介绍了LOGIC的计算机制。较为详细地讨论了LOGIC的启发式搜索技术,对“启发式搜索”中“代价步增量”的影响作了简要分析。文中给出了LOGIC演绎周期的主要作流工程,最后提出了一种用“LISP专用形归结”机制实现“Cut”算子的方法。     

基于VHDL的数字系统层次化设计方法

通过对数字频率计系统的设计,介绍了基于VHDL语言的数字系统层次化设计方法.首先将数字系统按功能划分为不同的模块,各模块电路的设计通过VHDL语言编程实现,然后建立顶层电路原理图.使用MAX+PLUS Ⅱ开发软件完成设计输入、编译、逻辑综合和功能仿真,最后在CPLD上实现数字系统的设计.结果表明,使用这种设计方法可以大大地简化硬件电路的结构,具有可靠性高、灵活性强等特点.     

建造调试LISP程序的工具系统原理

LISP语言是人工智能程序设计最常用的语言。调试LISP程序的效率是每个使用LISP语言的人所关心的。本文介绍了建造调试LISP程序的工具系统原理,其基本思想是利用LISP语言的特点构造软中断和实时编辑程序使得在程序查错方面能观察程序的动态变化,在程序修改方面能在LISP状态下实时进行。实践表明,使用工具系统可以大幅度地提高调试LISP程序的效率,而该工具系统容易建造,所占内存很少,在微型机上就可以实现。     

逻辑程序设计语言LOGLISP的实现

本文主要介绍逻辑程序设计语言LOGLISP的实现思想及采用的技术,介绍了LOGIC中的“语义合一”及“LISP归约”技术,讨论了“LISP专用形归结”原理。对“Cut”算子的实现提出了不同的思想。最后,简要说明了LOGIC中的演绎窗功能。     

函数式元编程语言的设计要素

本文介绍基于函数式语言的元编程系统,讨论元编程系统特别是同构系统的语言特点。从程序反射的角度分析元编程系统对程序设计语言在自我表示、自我分析和控制等方面的要求。以 MetaML 和 Template Haskell 为例论述在函数式语言中为了支持元编程需要扩展的机制,包括语法、语义、类型系统、安全的变量使用等,以及它们的实现方案、各方案的特点。最后总结一些元编程系统的共同点,并预测未来的发展趋势。     

压延模结构CAD的智能化

本文着重阐述了一个实用型压延模结构设计子专家系统的基本结构和实现方法,该子系统已作为压延模CAD专家系统的一个重要组成部分完成了整个系统的联调运行。在它产生的输出结果与图形输出部分的接口设计方面,实现了LISP人工智能语言存贮格式向FORTRAN语言所能接受的形式转换。     

智能训练系统

《Ｃ语言程序设计》智能训练系统由课程网络与编程训练器两部分组成。该系统集概念学习、编程练习、排错指导、程序调试运行等功能于一体。本文介绍了系统的功能结构设计与实现技术。     

C环境下一个中／西文行编辑函数的设计与应用

一、前言 和其他高级语言一样,C没有提供专门用于数值或字符输入的行编辑函数,从这种意义上讲,数据库语言要略胜一畴,如FOXBASE+的“@X,XGET<变量>”语句等。但C语言的优点之一就是它不仅提供了丰富的库函数,而且用户可任意设计扩充自己的C函数库。笔者在实践中设计了一个类似“@X,XGET<变量>”的函数ipstr(),现将该函数的有关功能、用法、设计要点及应用作一个简要的说明。     

人工智能系统的程序设计语言——LISP

人工智能系统所以能够处理大量复杂问题并能很好地解决,主要是靠其强有力的软件工具与硬件工具,也就是靠LISP程序设计语言和采用这种程序的专用处理机。LISP是一种专门用表格形式处理数据集的程序设计语言,主要用于信息检索、模拟、符号处理、系统程序设计以及信息交换。其优点是在处理数据采集时能发挥高度的互换性,可以改变各项逻辑顺序但不改变其物理位置。LISP可以为交互程序设计进行联机