《智能计算机基础研究 1994》

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的不完全信息推理系统ISML144

开放逻辑中的重构与认识进程163

认知学习模拟的逻辑方法169

带函词的中介谓词演算系统MFf·的三元消解原理178

一种静态的协商模型188

逻辑聚类演算199

关系数据库的证据生成与合成206

克服不完全领域理论问题的补充解释的学习方法CE212

类比求精的计算模型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

智能计算机辅助教学系统生成工具YUCAI493

面向多媒体数据处理的并行加速系统500

汉语的知识表示及其语言工程方法510

基于CPSG和广义LR算法的汉语分析器520

基于解释学习的汉语句子分析研究527

CAD图形支撑环境534

多媒体同步技术544

一个网络环境下的多媒体信息管理系统MIMS553