LISP机系统的现状和发展

LISP系统是能够运行LISP语言的计算机系统。本文对LISP系统进行了分类并介绍了一些LISP系统。文中分析了专用LISP机器的体系结构和工作站对LISP机器市场的冲击,并指出专用LISP机将与通用机相结合,以协处理器的方式支持符号处理。     

逻辑程序设计语言LOGLISP

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

LISP语言的特点及其文法的BNF描述

LISP是最早和最重要的符号处理编程语言之一,Scheme语言是LISP的方言。本文总结了LISP语言的特点,并根据LISP语言的特点,用BNF范式完整的描述了Scheme语言的文法,这为用编译方法实现LISP语言提供了思路。     

函数式语言并行化的方法

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语言;系统的硬件实现基于多处理器网络系统.最后,概括了本文的研究重点和意义.     

LISP和Prolog

本文对LISP和Prolog进行了比较,指出它们的五个相同点和五个不同点。Prolog在许多方面吸取了LISP的特点,但又给出了不少新的特性,因此在问题的表达上比LISP好。然而正如D.G、Bobrow指出的那样,各种语言都有风格、各有优缺点。函数式程序设计语言和逻辑程序设计语言是适用于不同领域的有生命力的非冯·诺依曼式语言。     

安全网络模型研究

现有的TCP/IP网络中,IP地址承载了身份标识与地址定位的双重作用,语义过载,制约了互联网性能的进一步提升。在对已有的身份标识与地址分离的HIP协议、LISP协议进行深入研究的基础上,提出基于身份标识的LISP协议模型。该模型内置身份认证机制与密钥交换机制,从源头解决真实身份、安全通信等问题。     

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

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

LISP-130解释系统

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

专家系统开发工具实例分析

一、引言专家系统开发工具(或称专家系统外壳、母体)是一种能够生成专家系统的专家系统,通常由开发机制和推理机制等组成,利用其开发机制,不需要编写程序就可以方便地建立知识库,加上开发工具所提供的推理机制以及其他辅助机制,就形成了用户所开发的专家系统。使用专家系统工具,比用LISP,PROLOlG等人工智能语言从头开发每个实用专家系统,     

LISP-MNet:一种支持移动的身份/位置分离方案

LISP是具有代表性的身份/位置分离方案之一,为了支持移动性,IETF IESG工作组在其原有基础上提出了LISP-MN,但这种方案需要修改主机协议栈,无法支持现有移动终端的接入,短期内难以大规模推广应用.设计一种支持主机移动性的身份/位置分离架构LISP-Mnet;在标准的LISP基础上,通过引入映射分发机制,实现了标地映射的快速分发与同步;通过在边缘接入设备实现主动注册机制,无需对终端协议栈作任何修改,即可支持移动终端在各站点之间的随遇接入和任意切换,提高了终端的移动接入能力.最后,实现了LISP-MNet的原型系统和实际组网测试,对单节点映射服务器进行了压力测试,测试结果表明其映射规模可达100M;通过VLC视频应用进行移动终端接入站点切换时延测试,结果表明,移动切换时间低于2s,移动终端在切换接入站点后,VLC视频服务器与客户端可在2s内完成视频同步.     

LISP语言和形式翻译

引言作者在用可移植方式实现LISP语言的过程中,为提高移植工作的自动化程度,研究了FT图式。FT图式是作者的导师、北京大学副教授马希文提出并首次实现的,它是形式翻译的方便工具。作者将FT图式在HP-3000机器上实现并扩充后,把它用于WISP语言编译程序的自动生成,简化了移植LISP的手工工作;另一方面,作者又通过解释执行LISP形式的FT,自动生成了FT的翻译执行的元翻译程序。本文介绍了FT图式,说明了如何用较小的手工工作量在保证质量的前提下移植LISP和实现FT,讨论了用LIST进行复杂的前后文有关翻译的可能性和有关技巧。本文及有关的工作是在马希文的指导下完成的。     

LISP-HIMS:一种基于LISP的层次化标识映射系统

针对目前全球路由表规模高速增长的问题,IETF提出可以通过分离主机的身份标识和路由标识地址空间来重新考量互联网寻址体系结构。思科公司提出的LISP(Locator Identity Separation Protocol)是基于该思想提出的主流方案之一。首先提出一种新的基于LISP的层次化标识映射系统,以克服目前其他LISP映射系统的不足,然后详细阐述该系统的模型、工作模式以及主机身份标识的分配方案;最后与其他LISP映射系统进行了分析与比较,结果表明,该系统具有良好的可扩展性以及更低的映射信息查询时延。     

LISP一种表处理语言

<正> LISP 是一种专门用来处理表(List)和二叉树(binary trees)的程序设计语言。它于1960年发展起来的,旨在专门用于表格处理,因此被命名为 LISP,是 List Processing的缩写。这里我们只研究该语言最基本的一些方面,即 LISP 的数据结构类型及其运算等。较一般的特征,例如算术运算、变量等,这里就省略了。因为它们与数据的组织关系不大。LISP 中现有的结构及其附带的运算,对于具有各种表结构知识的读者来说,是相当熟悉的。然而,这里有趣的是如此少的一组基本运算,竞能产生很强的表达能力。它     

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

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

气象专家系统与机器学习

本文探讨了气象预报专家系统的知识表示、推理机制以及机器学习在气象专家系统中的重要性。同时,指出了著名的推理学习中正向链推理函数设计中存在的错误。最后,扼要介绍了我们使用LISP语言开发的基于类比学习和归纳学习的气象预报系统MWFLS模型。     

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

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

一个能自动标序的AotoLISP

AutoLISP是一种嵌入在AutoCAD软件包中的LISP程序设计语言。AutoLISP可使用户和AutoCAD的开发者能以高级语言编写出适用于图形应用的宏程序和函数。它具有易于学习和掌握的特点,而且由于LISP本身具有特别简洁的语法,所以编写的LISP程序可非常短小。 作者是一名邮电设计工作者,在实际工作中经常遇到排列配线箱(框)端子板序号及邮电线路设计中的线序排列等问题,这是件十分繁琐、费时的事     

面向对象的测井解释软件平台(LISP)开发

利用面向对象技术进行测井解释软件平台(LISP)的开发。由于充分利用了面向对象的特性,LISP具有良好的灵活性和可维护性。测井解释软件平台使用VisualC++作为软件开发工具,具有测井资料储层评价和软件平台的功能。