GCLISP系统结构的分析

GCLISP 是在 IBM—PC 及其兼容机上广泛使用的人工智能语言 LISP 的解释系统,它实现了 COMMON LISP 的主要功能.本文介绍 GCLISP 的特点及其系统结构,指出了其中主要文件类型的功能及特性.     

我国第一台面向人工智能研究和应用的新型计算机LISP—MI系统通过技术鉴定

我国第一台智能研究和应用的新型计算机LISP-MI系统,1989年4月22日,在国家教委与陕西省科委联合主持下,在我校通过了技术鉴定。1983年,我校计算机系郑守淇教授及其研究生们开始在Intel 86/330机上实现了标准LISP解释系统,1987年初又在IBM PC/XT上实现了一个COMMON LISP核心子集的解释系统,1987年8月得到国家教委支持,成立课题组,专门研制LISP-MI系较,经过一年多     

一个教授计算机语言的TEACHER系统

本文介绍了我们建立的TEACHER系统的理论基础和在机器上的实现过程。这是一个教授计算机语言的系统,本系统可以教授FORTRAN,LISP和BASIC,具有因材施教的特点。     

LISP机LISP-M1的压缩链表表示及实现

本文给出了一个LISP机压缩链表表示方案,该方案的两位CDR-编码域同时包含了链表表示用的编码和废料收集用的编码,能较好地获得硬件支持,废料收集过程中的重抄量少并且有消除多余I-单元的功能。本文对方案的完备性和性能进行了讨论,同时给出了典型的链表操作算法和废料收集算法.经LISP-M1的LISP解释系统实现表明本方案是可行的和有效的.     

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

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

LISP机LISP-M1求值机构的实现研究

本文讨论LISP机LISP-M1系统中,面向COMMON·LISP语言子集的求值机构.文中提出了一种新的数据表示综合方案,即系统在整体上以对象上带类型说明法为主,但在适当场合采用指针上带类型说明法.同时,为了提高系统并行操作,运算效率、节省控存,在动态类型检测与分枝,各种类型函数的实现,表存贮器使用等方面都采取了较好的编码策略.本系统在模拟系统上试运行,效果明显.     

LISP机LISP-M1的表处理器设计与实现研究

本文介绍一台智能机LISP机LISP-M1中的表处理器LP的体系结构.LP作为后端机挂接在主机上、以微程序直接解释主机生成的与LISP语义接近的中间码,从而缩小了LP的机器语言与LISP的语义差别.LP中设有数据字段装配、字段抽取和匹配电路等专用硬件,以支持动态的数据类型检查和数据标记处理,降低执行时的额外开销.LP还使用大容量的高速硬件堆栈未支持深度嵌套调用和递归的求值过程.本文还将说明LP的设计思想和实现技术.     

一个基于Rete算法的可视化产生式系统

国内常见的产生式系统 ,如OPS5和CLIPS ,他们的应用和开发界面都是类似LISP的文本界面 ,可操作性差 .基于面向对象的方法和技术 ,设计并实现了一个可视化的产生式系统 ,该系统采用Rete算法进行推理 ,提供了事实库、规则库和Rete网络的可视化的维护功能 .使用VC 6 .0实现了该系统 .实际运行表明 ,该系统效率高 ,可操作性强 .     

专家系统的学习功能研究

本文对专家系统的学习问题进行了一些探讨,并用LISP语言实现了一个具有一定学习能力的专家系统。该系统除了具有推理判断功能外,还具有教授示例学习功能和自动扩展知识库、整理知识库等功能。本文以动物识别规则库为例介绍了专家系统的学习功能的实现方法。若配以不同的规则库,则本系统的程序可以适用于不同的产生式专家系统。本系统一经建立,以后就根据使用中人机对话的不同,各个专家系统自行发展和扩充,提高智能水平。本系统是用LISP语言编写,在PDP11/23+机上实现的。     

DOVC鉴别诊断专家系统

本文实现对心血管系统中扩张,型心肌病、冠心病、心包积液和风心病的鉴别诊断,用LISP语言实现,全文由五部分组成1知识库、2数据库、3推理机、4学习机、5解释系统。     

多规范语言LIPS

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

图形翻译器的研究

为对概念设计到结构设计的映射提供一个良好的方法 ,在提出的基于原型的结构设计模型中 ,建立了能将原有实例图形自动翻译为参数化原型样图 ,进而实现实例化变形设计的图形翻译器。讨论了图形翻译器的理论基础、图形约束及其处理方法、图形翻译器的结构和算法流程、给出了结构件的设计实例。结果表明 ,图形翻译器是实现结构设计自动化的有效工具     

智能计算机LISP-M1系统

智能计算机LISP-M1系统是一台我们自行设计研制的LISP机、本文介绍它的设计方案和性能评价方面的初步分析.     

CAD设计中零部件序号、标注及明细表的自动生成

在CAD中嵌套AutoLISP语言，设计出装配图和零件图中零件指引线，标注及明细表的自动生成程序，提出了一种明细表的自动生成方法。     

基于AutoCAD的化工设备标准件库的开发

针对AutoCAD辅助化工设备设计时易出现的问题，用Visual LISP开发了参数化的化工设备标准件库，并用实例展示了其可操作性。     

机械制图CAI课件的开发

针对机械制图的特点,结合多媒体教学的实践,开发了AutoCAD环境下应用的教学与习题模型和绘制标准件及常用件的自定义命令,有效地提高了学生的空间思维能力与装配图的绘图速度。     

用SIMD计算机执行MIMD

SIMD计算机不能直接执行MIMD语言,但通过SIMD解释程序器能够执行,这个解释程序器克服了只允许单指令流的SIMD限制,将MIMD的进程当做解释程序器的数据(SIMD中的MD),而解释程序器本身是一个单指令流.应用于MIMD程序的SIMD解释程序器运行,速度取决于解释程序器中Loop的组织,并且组织的优化又取决于MIMD程序的执行.本文通过引入Markov链模型,给出一个自适应算法,对在解释程序器Loop中的原始指令进行动态优比排序,即重新组织,使代码执行效率提高.     

环面蜗杆类零件实体建模研究

针对机械创新设计中具有共轭曲面零件的三维虚拟造型问题，提出了一种基于齿形特征，用于环面蜗杆类零件实体建模的方法．运用共轭曲面的啮合原理进行分析，根据环面蜗杆类零件齿面均由蜗轮轮齿包络形成的特点，由蜗轮齿形特征确定并生成蜗轮轮齿实体(模型)．考虑运动规律，对每个啮合位置的蜗杆实体与蜗轮轮齿实体进行布尔减运算，进而实现环面蜗杆零件的实体建模．在AutoCAD环境下，应用Visual USP语言开发程序，分别以滚柱、滚锥、纵向圆柱包络蜗杆为例进行了实例计算及制图，所生成的实体模型能够真实反映出给定的参数，可用于齿廓形状及尺寸的分析．     

论联络口译中译员的角色

联络口译译员应该正确定位自身在口译活动中的角色,努力做到既能够把握适度的"中立",不"过分参与",又能够适时地通过"客户教育"和"讲者教育",发挥自己在口译进程中的能动性,真正成为口译活动中语言和文化交流的促进者。