《智能计算机基础研究'94》

0特邀报告1

基于人工神经网络的语义、句法模式识别戴汝为1

时段演算综述周巢尘6

计算智能：一个重要的研究方向李国杰9

关于知识库维护的逻辑李未13

1并行计算与算法23

求解TSP的演化算法Iain Macleod 陈璐鹃 康立山等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的代数语义研究（Ⅰ）黄且圆 王驹406

知识推理描述语言NUML的设计、实现及应用许满武 陆剑锋 曾凡聪等415

带否定的DATALOG的语义的不动点特性周傲英 施伯乐425

结构化的形式规格说明语言Z.S的设计与实现潘旭 朱在铭435

VLIW编译器智能优化系统张莉 陈红 周颖等445

NDOOM：一个Modula-2的面向对象扩充的设计与实现郑国梁 李宣东453

状态迁移理论——关于循环不变式的探讨都志辉 张乃孝462

程序设计语言的语用性质王怀民 刘凤岐467

相对伪线性项重写系统及其合流性林凯 孙永强 陆汝占474

状态逻辑型程序设计语言闫志欣483

5多媒体技术与自然语言处理493

智能计算机辅助教学系统生成工具YUCAI陆汝钤 陈永红 曹存根等493

面向多媒体数据处理的并行加速系统张晶 高文 陈熙霖500

汉语的知识表示及其语言工程方法姚天顺 滕永林 唐泓英等510

基于GPSG和广义LR算法的汉语分析器周斌 吴立德520

基于解释学习的汉语句子分析研究郭炳炎 李晓黎527

CAD图形支撑环境刘慎权 谭峻 唐卫清等534

多媒体同步技术曹钧 钟玉琢 徐光佑544

一个网络环境下的多媒体信息管理系统MIMS王朴 朱海滨 朱晋宁等553