智能计算机基础研究'94PDF|Epub|txt|kindle电子书版本网盘下载

智能计算机基础研究'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