智能计算机基础研究'94PDF电子书下载

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