图论语言GTL的设计与实现

本文设计了一种描述图论的专用程序设计语言──ＧＴＬ并用ＰＡＳＣＡＬ语言在 ＩＢＭ－ＰＣ计算机上加以实现。ＧＴＬ 语言是嵌入在宿主语言ＰＡＳＣＡＬ中的。ＧＴＬ的 语句和ＰＡＳＣＡＬ语句可以混合使用，极易将图的计算转换成数值计算；当使用递 归手段来描述图论算法时，可减化算法设计；提供了描述图的相邻矩阵、邻接表、邻 接多重表的表示法及其相互转换，实现了若干图论标准算法，功能较强。使用该语言 进行编程，可不考虑图在计算机内部的具体表示；提高了编程效率。该语言便于编 程，利于模块化和结构化，容易进行程序验证，且可移植到任何有ＰＡＳＣＡＬ 语言 的计算机上去。     

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

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

C语言实现大信息量显示

本文为实现多监测点大信息显示，在研究ＴｕｒｂＣ２．０图形语句的基础上，给出了实现的内容以及具体实现的方式语句，读者完全可以随意摘取其中内容实现自己的数据显示。     

关于逻辑程序设计语言PROLOG的若干实现技术

PROLOG/KET是我们在E(?)e MV/8000Ⅱ小型计算机系统上用C语言实现的一个PROLOG解释系统,本文介绍该系统的合一算法及推理过程,讨论了实现技术方面的几个问题,包括子句的存储与搜索,控制栈的优化处理,以及程序库的管理和程序状态的处理,最后对系统的性能进行了分析,提出了几点改进设想.     

截断谓词的研究与分析

回溯机制是Visual Prolog程序运行的重要机制,是获取所有可能解的一种方法.但在实际问题的解决过程中,有时却不需要回溯.Visual Prolog提供的内部谓词-截断谓词“!”可以用来阻止回溯,而且从某种意义上讲,只有学会了截断谓词的使用,才能自由驾驭Prolog.文章主要结合实例对截断谓词的作用以及使用方法进行了详细介绍,并指出了截断谓词的作用本质上是删除满足一定条件的回溯点。     

数据流语言

本文介绍了一种新型的计算机语言－－数据流语言，并讨论数据流语言的特性和它的执行模式，设计规则。     

阿类型面向对象语言及其动态类型检查

面向对象程序设计语言的有效实现是一个重要的研究课题.类型系统是编译代码优化的前提.本文以Smalltalk语言为背景,讨论了一个类型系统及其类型检查方式,即静态附类型——动态检查。这个类型系统不仅提供了编译优化信息,还保持了动态约束带来的系统灵活性。     

运用FORTRAN语言程序绘图

本文介绍了应用FORTRAN语言程序在微机绘图仪上绘图的两种方法。应用表明,这两种方法扩展了FORTRAN语言的功能,使绘图仪的使用范围进一步扩大,给用户提供了较大的灵活性和选择性。     

智能教学组织管理与课程调度系统

整个系统从教学计划入手，对教学组织工作进行全面管理，完成大量繁杂的数据 处理工作直到自动生成全校课程表．系统采用第四代语言设计原理及人工智能技术进 行设计。运用启发式搜索方法、归约方法及一种新的强有力的知识混合表示法．     

论语言能力的作用表现与语言观念的心路历程

作为语言现象经验主体的语言行为者，拥有语言能力的事实无可置疑。这样的语言能力可以进一步区分为语言感性能力和语言知性能力。语言知性能力，主要涉及心理过程的语言观念形成与展示，以及语言观念的存在地位与作用。语言观念作为心理经验对象的形式存在，首先源自语言现象的经验，而且它还要表现为一种“自然化”的观念存在。语言观念因为语言现象与自然物的是否一一对应，而被区别为抽象与具体。     

基于语义描述的报表自动生成系统

应用第四代语言设计原理，从理论上定义了树状表的数学描述和生成机 理，给出了面向设计的数学模型；应用人工智能原理设计的启发性策略解决 了排版布局美观大方的问题，结合国内报表多线条矩形表格的特点，设计并 实现了非过程化通用报表自动生成系统。     

Turbo C 语言和汇编语言混合编程的方法和实现

Turbo C语言与汇编语言各有优点,目前两者的混合编程得到了广泛的应用.本文讨论了两种方法实现Turbo C语言与汇编语言的混合编程,详细分析了混合编程时应注意的一些技术问题,并给出了应用程序实例。     

函数－规约混合语言的设计与实现

在函数式语言中引入约束类型和优化规则定义机制，并将扩展的函数式语言与代数规约说明语言相结合，支持从规约到程序的设计，并提高编程的效率及灵活性．混合语言系统将代数规约转换为合流的重写系统，将函数定义、计算约束和优化规则视为重写规则，基于重写模型，以平行最外方法辅以必要归约进行计算．     

一种蛋白质三维结构中残基重心的计算方法

基于蛋白质三维结构数据PDB,给出一种蛋白质残基重心的计算方法,同时阐述该方法的python语言的实现过程.该方法不需要知道残基侧链原子的坐标,只需知道主链上原子的坐标即可计算蛋白质残基间的距离.     

基于ALICE的汉语自然语言接口

分析人工智能聊天机器人ALICE的知识组织结构和推理机制,研究ALICE在处理汉语时需要解决的问题,提出利用语义语法扩展知识描述语言AIML的表达能力.采用不确定性推理进行模式搜索并对结果打分择优和答案动态提取,基于ALICE设计实现了一个汉语自然语言接口--CNLIS,系统结构与具体领域无关.实验结果表明,该接口移植方便,准确率和召回率可分别达到91.45%和91.70%.     

多规范语言LIPS

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

一种用于微机结构化汇编语言程序设计的语言

本文定义了一种用于微机结构化汇编语言程序设计的语言——伪高级语言,并举例说明其应用。