0 特邀报告 1
基于人工神经网络的语义、句法模式识别 1
时段演算综述 6
计算智能：一个重要的研究方向 9
关于知识库维护的逻辑 13
1 并行计算与算法 23
求解TSP的演化算法 23
GPMB——一个新的多分支全局软件流水方法 36
（1.x1，x0）型奇异Ulam集简捷判定 47
100MFLOPS和10MFLOPS谁快 54
PLC板存储系统设计 63
迭加格子Boltzmann模型 71
冒险模拟退火算法及其在任务映射上的应用 78
关于一般模拟退火算法的收敛性 87
DATALOG查询可并行计算的几个层次 92
最小生成树的多边更新并行算法 99
一种关于Do-loop并行划分的新观点与新方法 108
地球资源卫星轨道捕获的算法研究 116
数据库多查询任务并行处理技术研究 126
2 常识表示与推理 137
模态逻辑K可证公式的整体性质 137
基于中介逻辑ML的不完全信息推理系统ISML 144
开放逻辑中的重构与认识进程 163
认知学习模拟的逻辑方法 169
带函词的中介谓词演算系统MFf·的三元消解原理 178
一种静态的协商模型 188
逻辑聚类演算 199
关系数据库的证据生成与合成 206
克服不完全领域理论问题的补充解释的学习方法CE 212
类比求精的计算模型 222
一种面向联想类比学习的逻辑 231
反应块及其在类比推理中的应用 237
非单调模糊集合运算 245
一种适用于开放世界的决策方法 256
信念空间：OISS的一个基础 262
悖论逻辑的表演算系统 276
3 新计算模型 282
一个面向对象的图形化的计算模型 282
DYL数字模拟混合乘法器及其在神经网络高速运算中的应用 290
一种广义模糊逻辑 297
可能性构造空间（PCS）中的联想算子集 302
分布式推理判决系统 322
神经网络中的动态阈值联想 331
动态系统自动分析的转换式方法 339
自适应动态隐节点前向网络的研究 349
海马记忆功能模型与记忆的巩固 356
基于神经网络的非线性优化方法 363
Transputer阵列上实现的通用Kohonen应用平台 368
逻辑电路的神经网络 375
基于μ质子了其感受野的认知模型 381
人工神经网络的竞争学习方法 388
4 软件理论与工程 398
符号处理机器的存储结构操作 398
unity的代数语义研究（I） 406
知识推理描述语言NUML的设计、实现及应用 415
带否定的DATALOG的语义的不动点特性 425
结构化的形式规格说明语言z.s的设计与实现 435
VLIW编译器智能优化系统 445
ND00M：一个Modula-2的面向对象扩充的设计与实现 453
状态迁移理论——关于循环不变式的探讨 462
程序设计语言的语用性质 467
相对伪线性项重写系统及其合流性 474
状态逻辑型程序设计语言 483
5 多媒体技术与自然语言处理 493
智能计算机辅助教学系统生成工具YUCAI 493
面向多媒体数据处理的并行加速系统 500
汉语的知识表示及其语言工程方法 510
基于CPSG和广义LR算法的汉语分析器 520
基于解释学习的汉语句子分析研究 527
CAD图形支撑环境 534
多媒体同步技术 544
一个网络环境下的多媒体信息管理系统MIMS 553