逻辑程序设计系统LOGIC

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

逻辑程序设计语言LOGLISP

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

一个“函数＋逻辑”程序设计语言的解释—编译系统

我们设计了一个主要支持知识程序设计的“函数+逻辑”语言。它利用LISP丰富的语言环境,以LISP的S—表达式形式把LISP和Prolog有机统一起来,兼备函数和逻辑混合的或独立的编程风格,具有计算策略丰富、编程方式灵活多样、问题表达能力强等特点。为克服解释实现中逻辑部分执行效率远慢于函数部分等缺陷,我们实现了该“函数+逻辑”语言的解释一编辑系统。本文介绍了该系统的设计思想、内部结构及实现原理等。     

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

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

电子式电能表专用芯片CS5460及其在电测仪表中的应用

介绍了德国CIRRUS LOGIC公司推出的电子式电能表专用芯片CS5460的特点、控制方式、与输入信号及微控制器的接口及其在电测仪表中的应用。     

LISP语言和形式翻译

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

基于Visual LISP的分形自相似图形造型算法与实现

分形几何学是目前研究的一个热点,其中的自相似图形可以模拟自然界中的一些现象。该文提出了利用AutoCAD)强大的绘图功能,根据它的独有的、“先画先存”的、表存储结构的图形数据库的特点,在Visual LISP开发环境中,用LISP函数实现典型分形几何中典型自相似图形的造型算法,同时设计出与它对应的自定义菜单,实现在AutoCAD中对分形几何自相似图形的仿真。可以将这种方法应用于教学、科研中的几何分析与图形演示等场合。     

LISP机系统的现状和发展

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

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

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

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

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

基于AutoCAD2000平台的几何元素三维重建技术

介绍了在AutoCAD2000的平台上用Visual LISP语言编程实现几何元素三维重建的技巧，通过对几个主要判别原则的探讨。成功地编写了几何元素三维重建技术的实用化程序。     

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

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

ComGIS集成CAD的三维建模研究

针对组件式GIS中三维建模功能较弱的情况,提出基于ComGIS的系统集成CAD进行三维建模的思想,并以实例阐述了一种三维建模的集成方法,主要思想是利用AutoCAD的V isual LISP编程实现GIS数据导入、三维模型构建和三维透视图的栅格图片生成,由W IN32 API命令启动AutoCAD后台运行,并利用命令脚本自动完成V isual LISP文件的加载和运行,最后GIS系统显示三维模型。     

CS5523 A/D转换器原理及其应用

针对高集成度多通道模数转换的需要,介绍了CIRRUS LOGIC公司生产的16位高精度串行A/D芯片CS5523。通过介绍其在无纸记录仪的数据采集模块中的应用,体现了其硬件电路简单,计量精确,抗干扰性好,性能稳定可靠的特点。     

利用子目标演绎和结构归纳法的自动编程技术

本文介绍了我们在递归程序自动综合方面的一些研究,我们的初步成果主要有三个方面:1.发展了一种新的机器推理技术——子目标演绎法,它在一定程度上缓合了组合爆炸的困难;2.在程序综合方面,利用了结构归纳法原理,从而建立了一种自动综合程序的图式;3.利用1.,2.设计并且在FELIX C-256计算机上实现了“LISP递归程序自动综合的实验系统”(RPS-1)。     

注塑模参数化图形库系统的研制

本文介绍了在微机上利用AutoCAD2000及其内部开发语言Visual LISP及VBA开发的注塑模参数化图形库系统，其中包括国标中的中小型模架及大型模架图形库及16种注塑模标准零件的参数化图形库系统。     

高级语言,dBASEⅢ和Auto CAD一体化的CAD技术

本文通过对高级语言、dBASEⅢ和 Auto LISP 语言读写文件的形式进行分析,利用它们之间往返的数据传输,实现了高级语言、dBASEⅢ系统和 Auto CAD 系统一体化的计算机辅助设计及自动绘图的方法;着重介绍了 Basica、True Basic、dBASEⅢ系统和 Auto CAD 系统之间实现往返连接的技术措施,并附有已在 IBM PC/XT、AT 或兼容机上通过了的有关程序。     

深圳市百年办公耗材有限公司

深圳市百年办公耗材有限公司为“香港壹耗材国际控股有限公司”之附属公司,是一家专业生产电脑周遍产品（墨盒、墨水、硒鼓、碳粉、相纸、鼠标、键盘）的大型港资企业,“OCEAN海洋”及“LOGIC朗程”是本公司两大主打品牌,公司下设打印耗材事业部和电脑外设事业部两大产品事业部。     

一个多处理器LISP机的设计

本文提出一个机群组织、数据驱动LISP机的系统结构方案。系统有多个基本模块,经互连网连接,易于扩展,便于用VLSI技术实现。每个基本模块是一个处理机群,由接口处理器、调度处理器、存储管理处理器和多个表处理器组成。一台具有基本模块功能的LISP模型机已经实现。     

“工效挂钩”信息处理系统的设计与实现

本文介绍了“工效挂钩”信息处理系统,阐述了系统的设计思想与实现技术,最后概述了此系统的特点。