《智能计算机系统论文摘要集 1986-1990》PDF下载

  • 购买积分:12 如何计算积分?
  • 作  者:国家科委高技术计划信息领域办公室编
  • 出 版 社:北京:国防工业出版社
  • 出版年份:1991
  • ISBN:711800846X
  • 页数:345 页
图书介绍:汉英对照:本摘要集包括内容有:智能计算机体系结构、软件生产自动化技术及智能软件开发环境、智能接口、智能应用系统、智能计算机系统基础理论。

目录 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