目录 1
一、智能计算机体系结构 1
PPS-MACHINE：一种基于包驱动机制的产生式系统机的体系结构 1
基于层次型处理器系统的包驱动控制方法的研究及其实验模型 2
用于层次型处理器系统的信息流网络中的包控制模式 2
层次型包驱动系统的性能分析 4
对推理机体系结构的研究及层次型包驱动结构HPDM的设计 4
用PROLOG模拟Lyusia语言中状态转移编程体裁 （i 5
多级总线系统的容错分析与设计 5
PPS-Machine：包驱动产生式系统机的设计 5
容错双环网络D？ 6
互连网络结构多处理机系统容错性能分析 6
互连网络的可靠性概论 7
WBIB设计与容错多总线系统 7
几种总线系统的可靠性分析和比较 8
多总线系统的性能分析 8
ESC互连网络的DFA容错分析 9
多机系统的统一模型和容错设计 9
多总线系统的容错分析 10
超图割集的计算 11
一类多总线系统的研究 11
容错多总线系统的可靠性分析 11
超图的连通性及容错多总线系统的设计 12
一个智能硅编译系统的符号编译器 13
多层神经网络的量子学习方法 13
智能工具机的性能分析 14
知识库推理和维护系统KBIMS 14
递归函数中的Cache 15
ML语言的数据类型和抽象类型的同式多型 16
函数／逻辑程序设计语言LM的应用——FFP系统支持的△-PROLOG 16
FP中并行粒度的研究 17
D-POREL的体系结构和用户语言 17
EST智能工作站的性能和特点 18
一个HPARLOG的并行实现模型 19
一种适于运输调度的分布式问题求解系统 19
分布式运输调度系统中控制与通讯结构的研究 20
分布式知识库系统的体系结构 20
分布式运输调度问题分解的研究 21
分布式知识库系统的查询接口处理和优化 21
分布式知识库系统的体系结构 22
分布式运输调度系统中问题分解的研究 22
分布式人工智能研究近况 23
知识库管理系统的功能、组成与实现 23
知识库系统KBS/TH-1研究和实现 24
分布式知识库系统中问题分解的研究 24
分布式知识库系统体系结构的设计研究 25
QKBMS/75——一个由关系数据库管理系统和逻辑程序语言 25
组成的知识库管理系统 25
分布式知识库系统 26
分布式知识库系统初探 27
分布式问题求解应用的分类 27
分布式知识库系统体系结构与知识传输机制的研究及实现 28
分布式知识库系统中知识管理机制的研究与实现 28
URPR-1多处理机设计 29
一个基于软件流水技术的VLIW体系结构 29
一个基于软件流水的VLIW体系结构及优化编译器 30
循环体间相关问题及改进的URPR软件流水方法 31
GURPR——一种新的全局软件流水方法 32
采用两级软件流水技术的VLIW优化编译器 32
从抽象ENGINE到KLND-ENGINE 33
多处理机系统上实现新型程序设计语言的研究 33
加权模糊逻辑及其广泛应用 34
模糊关系型数据库的数据模型 34
模糊数据库中的语义距离及模糊视图 35
关于VLSI并行算法的某些结果 36
知识库机的系统结构研讨 36
对象作为自动机及面向对象程序设计风格作为自动机网构形 36
ML核心语言的意外机制的同式多型类型检验 37
ML核心语言的同式多型类型检验的推理系统 38
面向机体的人工智能语言Ein的抽象模型 38
多体裁语言Lyusia：状态转移程序设计体裁 39
泛函程序设计语言FFP的γω演算语义 40
合成逻辑作为一阶数学理论 40
Lyusia语言中状态转移编程体裁的谓词／事件网语义学 41
面向对象程序设计体裁嵌入FFP-AST系统 41
集合程序设计语言的实现 42
γω演算与谓词演算融合于一阶数学理论中 43
函数式语言对数字电路的描述、综合及模拟 43
通过程序变换对数字系统进行优化 44
项重写系统和的合流性 44
PARLOG的扩展图重写实现技术 45
模式匹配在函数语言中的作用及其编译算法 45
并行图归约机结构及其模拟 46
一种改进的无用单元回收算法 46
并行图归约机中智能存储系统的设计与研究 47
等式型函数逻辑型语言执行机制的研究 47
二次通过IBNC网络的终端标记控制算法 48
一个高级函数语言类型检查算法 48
适于开发数据流图并行性的CDR启发式调度算法 49
提高数据流图固有加速比的新因素——出度与平衡 50
CDR启发式调度算法对数据流程序图执行的加速作用 50
引入合一运算的函数语言执行机制的研究 51
函数语言与逻辑语言的合一——面向限定型函数程序设计 52
函数程序设计中的窄化和合一——一种用于绝对集合抽象的计算机制 53
函数程序设计语言的图归约实现方法和技术 54
并行图归约执行机制的研究 54
并行图归约计算与并行图归约计算机的研究 55
并行图归约计算机（PGR）系统中间语言及其执行机制设计 56
分布式并行归约系统结构设计研究 56
智能工具机系统结构 57
编译型Prolog系统中非逻辑成分执行机制的研究 57
一个维护编译型Prolog数据库的模型 58
Prolog抽象机模拟系统WAM-PLUS-SES 59
基于Warren抽象机的Prolog实现技术的研究 59
一种支持Prolog数据库操作和数值计算的顺序推理机系统结构的设计 60
Prolog代码库的一种管理方法 60
可静态修改Prolog代码的管理 60
Prolog的编译实现 61
WAM-PLUS模型中Prolog数据库和数据库操作内部谓词的实现 61
多处理机上多关系连接算法的设计与分析 62
并行存储器与互连网络的一体化研究 63
面向对象数据库的对象标识技术 63
面向对象数据库存储管理子系统的设计 64
面向对象数据库的存储管理 64
通用的面向对象知识处理系统GOOKPS 65
面向对象数据库的研究 65
并行排序器SOP的设计 66
在并行逻辑数据库机上的递归询问实现 67
一个并行的逻辑数据库体系结构 67
用于超大规模知识库管理的并行结构 67
现代超级计算机系统 68
一个并行知识库机体系结构 69
超级计算机电路性能分析与展望 70
一个多处理知识库系统 70
知识库系统及关系知识库机系统结构的研究 71
关系知识库模型的设计和评价 71
知识库系统KBS-1 72
一个关系知识库模型机的设计和实现 72
关系知识库模型机性能评价 73
知识获取机构 74
支持逻辑程序并行执行的并行推理机研究 74
一个并行逻辑程序设计系统的设计和实现 74
大型通用神经网络模拟系统——GKDNNSS 75
基于OR树林描述的RAP/LOP逻辑程序并行执行模型 76
基于RAP-PSOF并行执行模型的并行抽象机设计 76
并行抽象机模型的设计与实现 77
一种开发逻辑程序中AND并行性的静态编译方法 78
用点格机来实现关系数据库操作的一种方法 79
并行推理机RAP/LOP-WAM模拟实验系统和性能评价 79
面向对象知识库中的类型演化 80
面向对象数据库存储管理子系统的设计 80
并行排序器SOP的设计 81
一个并行知识库机体系结构 81
超级计算机电路性能分析与展望 82
多处理机上多关系连接算法的设计与分析 83
面向对象数据库的研究 83
面向对象数据库的对象标识技术 84
用于超大规模知识库管理的并行结构 84
面向对象数据库的存储管理 85
并行存储器与互连网络的一体化研究 86
现代超级计算机系统 86
通用的面向对象知识处理系统GOOKPS 87
一种新的逻辑程序自动模式识别方法 88
在并行逻辑数据库机上的递归询问实现 88
通用PROLOG抽象解释器GK-GPAI的设计与实现 89
并行推理机设计的主要论题 89
一种支持逻辑程序AND和OR并行执行的存储管理方法 90
RAP/LOP-WAM并行推理机的编译器设计 90
采用多微机构造并行推理机的方案设计和性能评价 91
支持面向对象语言的体系结构 91
并行推理机编译技术的研究 92
并行逻辑程序设计系统RAP/LOP-WAM中的并行调度策略和否定的并行 92
实现 92
一种基于Prolog的面向对象范例及其对知识系统的支持 93
演绎数据库系统G-DDBS/VMS的研制 93
一种基于WAM的寄存器分配策略 94
非数值计算的并行算法 94
VLSI并行计算 95
Benes网络的半自动选路法 95
改进的多层栅格嵌入算法 96
模拟退火算法及其应用 96
神经计算及其在组合优化中的应用 97
神经计算机 97
分布式系统中一个神经网任务分配器 98
多专家知识处理系统：MEKS-1 99
HITKMS：一个支持多专家合作和经验学习的知识库机系统 99
一个大型知识库的知识组织技术 100
多专家意见组合研究 101
OPS产生式系统及其并行执行 102
逻辑程序设计语言的并行性分析 102
RETE-Plus：产生式系统全状态高并行处理模型 103
一种支持合作问题求解的成员系统并发程序设计语言 104
R+-PSM：一个基于RETE+模型的产生式系统机器结构 104
一种快速组合算子归约模型FCRM 105
并行推理机PIE的剖析 105
将软件开发过程形式化自动化的逐步精化方法 107
软件规格说明语言GSPEC 107
二、软件生产自动化技术及智能软件开发环境 107
归纳程序综合系统NDIPS的设计 108
关于一个软件自动化研究与开发项目的报告 109
基于软件自动化的开发环境 109
算法设计自动化系统NDADAS 110
实验性软件自动化系统NDAUTO 111
从功能规格说明到设计规格说明的转换 112
领域知识和自动编程 112
封闭世界假设及其在知识库中的应用 113
基于Ada的软件开发新模式 114
类比推理中的一种相似性准则及其验证方法 114
使用高阶一致化进行程序综合 115
基于代数模块规范的软件开发方法 116
AI语言的基本计算机制 116
程序开发的类型论方法 117
保证编译正确性的操作化方法 118
混合型知识工程开发环境——KEDE 118
知识库系统KBASE中的规则规范化理论 119
演绎数据库的查询计值 119
演绎数据库查询计值的信息传递策略 120
软件测试工具的回顾与展望 121
页面描述语言Postscript 121
基于文件和基于知识的软件理解 121
TAUS：一个基于文件的软件理解工具 122
EASE：嵌入式代数规范支撑环境 122
代数规范的转换技术 123
交互式环境中非局部依赖关系的实现 124
嵌入式代数规范支撑环境中的二层转换 124
嵌入式代数规范支撑环境的增量验证器 125
IPEI——一个基于知识的智能程序设计环境界面 126
类Pascal程序中并行性的动态检测 126
带知识库的软件自动环境FSA 127
增量属性计值新的有效算法的设计、证明和分析 127
一种使用多重依赖进行的属性计值的高效方法 128
程序设计中人的错误与交互式程序设计环境的开发 129
智能化的句法纠错与词法纠错方法 129
基于语言的交互式程序设计环境中的非局部属性的增量计值 130
增量数据流分析及其在增量程序设计环境中的应用 131
FPE/l：增量型程序设计环境 131
应用程序分片的新的软件测试与排错方法 132
程序分片：其改进算法与在程序验证中的应用 132
Smalltalk-80虚拟机在VAX/VMS上的实现 133
从Smalltalk语言的结构特征看“软插件”的形成 133
面向对象方法学的研究 134
面向对象计算机系统研究中的几个问题 135
PROLOG程序部分计算器的研究与实现 136
重写技术及其在计算机科学中的应用 136
PROLOG程序部分计算的进一步研究 137
智能机基础语言及其支撑环境的研究 137
编译Prolog设计的优化技术 138
一种新型的人工智能语言系统设计技术研究 139
GKD-Prolog编译系统的部分计算器 139
可重用构件及软件的组装 139
WUDA规范——面向对象的软件需求分析与定义方法 140
SQL查询到关系代数查询的转换 141
面向对象的需求描述语言OORDL 141
软件开发知识表示与利用语言SOKM/L的研究（之二） 142
一个软件原型化的集成框架 143
软件开发知识的表示与利用模型SOKM 143
软件开发知识描述语言SOKM/L的研究 144
SOKM/L语言在JSD知识表示与利用中的应用 145
SOKM/L在SSD知识表示与利用中的运用 145
用户界面快速原型语言——UIRPL 146
一个集成化软件原型开发环境SPE——设计与实现 146
Jackson程序转换技术的一些改进 147
用NUSL写多种可执行的语义定义以及函数类型的实现方法 148
基于数据抽象的可执行规格说明语言NUSL 148
Jackson开发方法的支撑系统NUJSS 149
一种面向可理解性的可复用软件开发方法 150
一个文化程序支撑的系统 150
自动排版及自动排版语言的设计 151
文化程序设计系统 151
可复用软件库管理系统SBMS 152
基于频谱变化量的认人单呼语音识别 153
三、智能接口 153
不认人实时单呼语音识别系统 153
汉语短语中的字数判定 154
连呼汉语的分段与识别 154
加重基频信息的汉语音节语音识别方案 155
以音节为单元的连呼语音识别方法 156
加快语波VQ编码过程的途径 156
连呼汉语识别研究 157
用模式匹配法识别连接呼汉语 158
利用矢量量化进行与内容无关的发音人辨认 158
不认人单呼语音识别的研究 159
三维物体深度图像的获取与表述 160
汉字OCR技术及其智能化的发展趋势 160
连接传真机与微机的文字图像输入接口 161
印刷体汉字识别特征选择方法的研究 161
汉字识别 162
汉字识别方法 163
中国汉字识别进展 163
一个图形直接操作与图视语言结合的人机交互环境 164
用图示语言定义应用数据的显示 164
识别在线手写汉字的模糊属性自动机 165
在线手写汉字识别的字形结构排序法 166
用Icon进行通讯：图像的真实性与意义 166
四百万手写华汉字样本库的介绍 167
联机手写汉字识别的理论与实践 168
动态图像模式描述的图视语言 168
微机手写汉字联机识别系统的原理与实现 169
高识别率印刷体汉字识别方法的研究 169
一种基于拐折编码的笔划识别方法 170
多字体印刷汉字识别系统的研究 171
关于联想式汉字识别后处理方法的研究 171
基于规则的汉字文本切割专家系统 172
微型机印刷体汉字识别系统 172
手写体汉字识别粗分类方法的研究 173
利用分类树方法对手书数字的识别 174
一种C3I系统的智能接口——计算机声图系统 174
现代汉语篇章中的句间联系分析 175
汉语句子的多层次分析 175
现代汉语句子分析中的歧义现象及其处理策略 176
汉语歧义解决策略 177
一种解决现代汉语自动分词歧义切分问题的方法 178
GIEB微机高速图像图形处理系统 178
知识导引的景象识别 179
三维物体表面的纹理综合 180
一种递推最小二乘图像参数辨识 180
最少分词问题及其解法 181
二维纹理图像的产生 181
论多种汉字编码方案的组合 182
汉字编码方案的择优、统一和发展 182
一个智能汉字输入系统的研究和实现 183
汉字信息处理的新型工具 184
交互式地图信息处理系统 184
汉字形码和音码的整体性对部件识别的影响 185
汉字整体知觉对部件知觉的影响——研究汉字属性内部 186
表征的一种间接途径 186
汉字词与汉语拼音认知过程的比较研究 187
整合词义对词及其词素命名再认的影响 187
基于词义理解的从拼音至汉字转换系统 188
图形自动输入与理解技术的探讨 189
汉语语音知觉特征 190
四DMA通道通信板的硬件和程序设计 191
利用标准线性四元—八元树由正交三轮廓图识别三维客体 191
四值逻辑在图像处理中的应用 192
汉语句法分析器需要有一部词汇知识丰富的电子词典 193
计算线性四元树表示的二值图像Euler数的图论方法 193
发展中的中间语言 194
基于合一的汉语生成 194
汉语句法分析的一种多扫描确定性算法 195
汉语中的兼类词、同形词类组及其处理策略 196
关于语义辞典构造的一些初步设想 196
计算机的汉语通用接口（二探） 197
用结构相似法识别限制性手写体汉字 197
手写印刷体汉字识别中的一种新的分类方法 198
用非精确结构匹配法识别手写印刷体汉字 199
手写印刷体汉字识别中的相关属性关系图表示和不精确匹配 200
利用TMS320C25开发的三维地形高速显示系统软件设计 201
不规则物体的计算机生成 201
通用型DP-Matching算法的研究 202
基于特征空间精细结构的加权距离测度及其在说话人识别中的应用 203
语言信号的Robust GARMA分析 203
HKU-USTC机器识别普通话数据库 204
一种用于电路图自动扫描输入器的基于BAG的矢量化算法 205
基于双谱（三阶矩）的语音分析 205
用于大幅面工程图理解系统的一种经济有效的图形边界提取算法 206
二值图像的扩展二叉树表示方法及其在工程图输入中的应用 206
基于BAG的矢量化方法及其在手画逻辑电路图识别中的应用 207
工程图形轮廓提取方法及其在工程手写字符识别中的应用 207
一种用于地形图自动扫描输入的快速矢量化方法 208
用修正的自相关法识别汉语全部1286个单音节的清浊音分割点及四声 208
汉语单音节中清音声母的识别 209
一个基于机器学习的现代汉语理解系统 210
“语境相关”自动分词方法 211
书面汉语自动分词的“生成—测试”方法 211
基于DSP方法的机器人视觉信号快速处理器的设计 212
小型实时计算机视觉处理系统的研制 213
一种基于DSP方法的微型计算机视频信号处理板的设计 213
多屏幕多画面人机界面系统 214
计算机软件的人机界面性能评价 215
面向个人的词码输入方式及其软件支持系统PLED 215
句法-词义模式识别中递归结构的文法推断 216
模式识别中的递归结构及其句法—词义描述 216
基于笔划元分析描述汉字模式的属性文法 217
利用外围笔划结构的汉字识别预分类方法 218
汉字识别用样本数据库研究 219
汉字识别的笔划元模型和匹配策略 219
模式结构的句法词义描述及其距离量度 220
句法词义方法和模式结构形式——汉字有序结构和无序结构 221
汉字的微结构和笔划提取 222
汉字笔划的微结构分析 222
基于知识的手写体汉字识别的一种策略 223
表格式图像数据库查询语言 224
地形图的处理和识别 224
智能计算机辅助汉语教学系统的设计与实现 225
汉字模式结构的句法词义描述 226
四、智能应用系统 228
容易产生测试的PLA 228
神经网络的原理及应用 228
LM印制电路板自动布线算法 229
有理BETA样条的形状控制 230
集成化CAD/CAM系统的产品信息表示 230
面向几何造型的核心模型 231
面向工程设计的数据库模型及其实现 231
集成化CAD/CAM系统中的产品数据结构 232
ICADE．一个基于工程数据库的机械CAD环境 232
关于舰船识别的神经网络 233
合同战术级军事专家系统研制 233
我国人口与经济发展战略决策支持系统CDSS 234
加速C3I系统智能化软件的开发 235
神经网络与机器人眼手系统 235
M．R．S．自组织三维神经网络的改进及其在机器人控制中的应用 236
一个多功能信息检索系统MIRS 237
智能化英汉机译系统IMT/EC 237
IMT-KB：智能机译知识库系统 238
人工神经网络进行光流场估计 238
SQL关系数据库系统的查询处理 239
LIDBSE：一个在数据库支持下的专家系统产生器 240
模糊计算逻辑及其在AI中的应用 240
实现推理与数据检索一体化的几种途径 241
基于PROLOG的大型图形系统 242
勘探地下水专家系统NCGW的设计与实现 242
智能化人口—经济发展战略决策支持系统CDSS 243
仿真模型体系与决策支持系统 244
资源、科学技术与经济增长的系统分析模型 244
中国人口年龄分布变化的幅度及其对经济发展的影响 245
作为发展研究工具的一个人口—经济仿真模型 246
自动文摘系统EAAS 247
对自动文摘的研究和实践 247
知识库管理系统GKBMS的研究 248
专家系统在军事领域中的应用 248
Marchel——一个工程数据库管理系统 249
工程数据库管理系统Marchel的多级版本管理及其实现 249
一种自动验证组合逻辑器件功能的方法 250
基于人工智能的PCB布线系统 251
EDCADS对表面安装器件的处理技术 251
集成化电子CAD系统中逻辑划分系统——CALOP 252
基于算法和基于知识混合的CAD系统 252
定性推理在控制系统设计中的应用 253
关于空间运载器姿态控制系统智能CAD的几个问题 254
逻辑分析专家系统LAP 254
面向VLSI CAD的专家系统外壳 255
一个具有模糊概念学习的开发专家系统的集成化工具 255
逻辑分析的推理方法 256
对人的多任务故障处理能力的一种测试软件 257
一种人控制行为最优控制模型 257
关于地雷智能引信的初步研究 258
五、智能计算机系统基础理论 260
用神经网络学习控制任务 260
人工神精网络的研究目标 260
神经元生理与神经网络诸方程 261
神经网络与生物医学工程 262
一个生成格框架的算法 263
一个基于SNES之间意义连贯的汉语问答实验系统 263
CQAES，一个自然语言问答实验系统 263
智能机漫谈 264
前件推导及其计算机实现 264
神经网络描述语言（NNDL）的研究 265
神经网络模拟系统编译器的结构特点 266
量子计算机与人的意识 266
神经网络量子理论的应用 267
一种具有知识评估和知识求精的知识获取（KER）算法 267
分子计算理论与神经网络 268
紧致性定理的纯语义证明 268
一种联想式语言记忆模型 269
论思维及模拟智能 269
CKRL，一种联结机制知识表达语言 270
人工神经元网络信息处理原理 270
关于可视知识的讨论 271
人工神经元网络在系统辨识中的应用 271
基于人工神经元网络的中医专家系统外壳NNS 272
综合各种模型的专家系统设计 272
建造带有人工神经元网络知识系统的一种方法 273
通过知识组织设计专家系统的一种方法 273
神经元网络专家系统及其在核反应堆事故诊断中的应用 274
一种联想记忆模型及附加节点方法 275
模式描述和知识表达的语义句法方法 276
智能控制系统 276
一种基于单层逻辑神经元网络的通用自适应模式识别系统 277
基于面向对象模型的自动知识获取方法 277
一个非单调的推理系统WMJ 278
面向多推理者系统的逻辑框架——MRSL 278
多推理者系统中的假设推理 279
记忆的结构和语句加工 280
定义近似推理的框架 280
并发演算理论 281
并行处理的类型演算 281
专家联合的结构和策略 282
分布式专家系统 283
分布式解题系统述评 284
分布式知识工程研究（Ⅰ） 284
微机网上的分布式专家联合系统UNION（Ⅰ）（Ⅱ） 285
类比方法的解题逻辑 286
MPLS：一个数学证明学习系统 286
SWT——一个基于示例学习的布尔函数极小化系统 286
示例式学习及多功能学习系统AE5 287
一个旋律调性分析系统ESATM 288
旋律调性分析系统ESATM的设计原理 288
双桥系统的可靠性最优配置 289
一个乐谱阅读系统MRS的设计原理 289
一种统一的非单调推理理论 290
近似推理系统M 290
概率多项式阵及其逻辑特性 291
智能计算机与归纳式程序设计 291
网格迭代问题的最佳粒度 292
昆虫视觉系统平行加工通道研究 292
蜜蜂视觉边缘检测及其颜色的特性 293
自由飞行蜜蜂跟踪运动目标的研究 294
汉字的视知觉——知觉任务效应和汉字属性效应 295
用DOG函数进行边缘检测的网络模型 295
关于区间图的一些有效并行算法 296
AOE网的并行算法 297
找K个最小生成树的并行算法 298
分治策略设计并行算法 298
分布式环状网络的一个组合数学问题 299
PRESS符号方程求解系统 300
二分图最大匹配问题的分布式算法 300
加权模糊逻辑的形式描述及其应用 301
模糊计算推理和神经元网络 301
模糊计算逻辑和它的各种应用 302
物体边界限制下的深度数据的表面描述 302
利用元级和对象级混合语言的集成化知识处理系统——KPS—1 303
ESET——一个专家系统开发工具 304
关于数据库的时态推理 304
非单调性时态推理管理方法 305
SLONN：一个用于神经网络模型的模拟语言 306
SLONN：一个神经元网络的模拟语言及其实现 306
一个面向发现的逻辑模型 307
一种用于产生式系统的优化匹配网络 308
信念函数合成的证据独立性条件 308
一种用于计算机模拟的神经元模型 309
按模式记忆 309
AI研究中的若干问题 310
对我国智能计算机发展战略的意见 311
区域表示：线性四元树转换成边界链码 311
区域表示：二元数组转换成线性四元树 312
CASE：一个基于属性描述的增量式概念获取系统 312
论FFP中ρ和μ两函数的合成逻辑本质 313
同式多型的类型检验上PROLOG的应用 313
广义元合成法则 314
γω演算——一种高级合成逻辑 315
γω演算的语义学 315
非全局连接的联想记忆神经网络 316
用于动态联想记忆的局部连接多层神经网络模型 316
具有Hopfield电路动态特性的酶神经元的进化学习 317
λ+——具有代数算子的λ演算 318
具有代数算子的λ演算系统的模型构造 318
一种新的并行分类算法 319
关于TSP的一些新并行算法试验 319
解货郎担问题的异步并行模拟退火算法 320
旅行商问题及其矩阵表示法 320
解旅行商问题的单枝算法 321
旅行商问题的并行算法 321
并行分裂归并排序算法 322
解TSP问题的最近邻法的一种改进 322
关于超期罚款问题的一类近似方法 322
最远分组技术解旅行商问题 323
分裂算法解0-1线性规划 323
Horn逻辑上的范畴等价及方法推广 324
基于重写技术和面向对象结构的AI语言——ROOT 324
论知识表示 325
重写技术在自动定理证明中的应用 325
KIS：一个新颖的知识精化系统 326
KIS知识精化系统的设计与实现 327
限制推理及其应用 327
知识库的维护及其PROLOG实现 328
一种类比学习系统GAP 328
一种机器学习发现系统 329
一种数据归纳的学习工具 330
一种机器发现系统的算法研究 330
迅速发展中的机器学习 330
类比学习的几种联想条件 331
机器学习系统模型研究 331
一种图形代数系统 332
工具系统MESl的知识表示——专家系统设计语言PPRLl 332
工具系统MESl的知识获取（一） 333
目标网：多模块系统的任务分配和模块调度 333
知识获取工具ENABLE 334
专家系统中的一种模糊推理模型 335
对一种基于证据理论的不确定性处理模型的重要扩充 335
多个异型ES组成的联合协作知识系统构造工具3MT 336
专家系统中的不精确推理研究 337
一个解决货郎担问题的高效神经网络 337
用神经网求解一些难的图论问题 338
类比方法的解题逻辑 338
MPLS：一个数学证明学习系统 339
一个多功能信息检索系统MIRS 339
建造第二代专家系统的工具 340
使用双状态后置条件的While循环的证明规则 341
支持专家系统开发：协同式界面模型 341
允许说谎三次的Ulam问题的解决 342
NP类与重言式 342
一个P-NP问题的布尔线路性质 343
归纳逻辑：卡尔纳普的公理系统和我们的设想 343
卡尔纳普归纳逻辑系统在知识获取中的应用 344
决策分析与非Pascalian概率的逻辑解释 344
关于科学发现机器的研究 345