目 录 1
学 术 论 文 1
1．计算机体系结构 1
FTMS：一个基于实时容错系统的容错管理软件的设计与实现 王万杰 1
一个病毒防御模型及其在安全UNIX中的应用 杨 涛 7
ABC-90jr存储体系模型及应用初步 张冠松 13
多I/O请求的优化调度模型 方粮 18
线性规划法求解环路流水线最小时钟周期 陈书明 23
一种改进的延迟转移机制——可控型延迟转移 程东年 28
四级还是五级？——RISC指令流水线分级的权衡 程 旭 30
计算机网络通路覆盖算法研究 李书文 32
智能CAD体系结构探讨 张明恒 34
Transputer多机系统运行环境的开发 马永强 35
高性能计算机性能评价方法研究 窦 勇 36
面向数据结构计算机中的数据存取方法 胡越明 37
并行计算机加速比公式浅析 温晓冬 39
2．并行处理 40
巨型机系统中的多机多任务作业调度管理 邓胜兰 40
并行图归约机PGR及优化编译器的设计与实现 田新民 44
包驱动执行机制的描述 方滨兴 50
正四面体递归网络及其TRANSPUTER实现 洪功冰 55
一类动态私有多CACHE信息一致性控制方案的模型分析与设计 邢二保 56
PARA631：一种极度并行计算机系统结构 谢澎 58
一种新颖的适于VLSI设计的乘法器结构 韩 卫 59
一种开放式紧耦合多处理机体系结构的实现 高 琼 61
3．算法与分析 62
一类图问题的高效并行算法 马 军 62
一种有效的上下文无关图文法分析算法 花全香 66
Uwe Sch oning方法的若干结论 李雅瑞 73
任意K＞=3的多柱Hanoi塔问题的最优算法 张 群 74
一种验证互连网络正确性的高效算法 董迎飞 76
任意布尔顶点相邻逻辑集合类的一种求解方法 林柏钢 78
实数据混合基FFT变换及其在YH—I上的向量实现 伍湘君 80
4．形式系统理论 82
关系网的代数性质 栾尚敏 82
并行计算模型GMPC 党 哲 89
函数式语言并行颗粒度的研究 袁 伟 94
证明网，模块，类型及验证 黄林鹏 99
Smalltalk-80的动态指称语义第一部分：形式模型 李舟军 105
HIFL语言及其计算模型 沈宁川 110
语义网络和线性逻辑 周艳玲 117
一种安全的身份验证方案 赵 宇 122
缺省理论的扩张剖析 郑传金 124
子类型和继承 梅宏 126
WHILE程序的相对不变式 谢勇为 127
程序推导过程的转换 吕建国 129
合成语言的语义模型——λδ演算 王建柏 130
规格说明语言Chisl及其应用 许创 131
5．软件环境与工具 131
OAPT：一个办公信息系统的原型开发工具 鲁 倩 138
MIS数据字典概念及其一致性算法研究 钱涛 143
采用属性分配的属性计算器及其应用 孟洛明 147
用程序分片方法分析模块的内聚性 张 平 151
数据流图自动生成系统——DFD AUTO 温晓华 158
测试数据的自动生成 钱红兵 163
并行C语言编译系统MPCCS 熊忠阳 168
测试任一嵌套DO循环的置换合法性的阻碍矩阵算法 林源 173
一个巨型机操作系统调试系统（TOSDS）的研制 刘勇平 179
软件工程中的“用户参与” 刘 震 183
一个图书馆数据库的研究 殷建平 184
基于公共接口标准的C软件可移植分析与检测系统 廖彬山 191
基于BNF描述的功能测试 张 明 195
代码软件逆向再理解环境工具的设计与开发 陈行益 196
巨型机C的FOR循环向量化的实现 张斌 197
一种高效的支持并发访问的多机UNIX文件系统缓冲区的实现 陈 宏 198
C语言源程序浏览器 姜天宇 200
多进程实时系统通信的软件设计 宋海洋 202
一种基于Ada的可扩充软件工程语言 徐宝文 203
SLWGX软件测试用例个数的求算 庄 彪 204
飞控容错计算机软件模拟测试技术 王国庆 205
一个软件工程信息库——基本构成与使用环境 李 宇 206
软件测试的研究与发展 彭建军 208
面向对象软件的结构复杂性度量 钟凯翔 210
基于软件再用技术和系统组合技术的飞行摸拟器软件生成系统 徐 红 211
基于记录结构特征实现FORTRAN77直接I/O的方案 钟志新 212
ADA编译器与ADA调试器的接口设计 蔡建平 213
面向对象的可重用软部件库系统的设计与实现 陈 辉 214
6．程序设计方法学 214
基于重用构件库技术的原型开发支持环境 姚淑珍 218
人－机界面设计的规范化途径 赵洪彪 224
一个元对象程序设计机制的研究与实现 赵银亮 228
程序设计中的持久性及其扩充实现 黄志球 233
关于面向对象的集成化软件工程环境设计的研究 赵 磊 238
从RDBMS到OODBMS 车敦仁 241
面向对象的图象处理程序设计支持环境 闫兆春 244
快速原型法及其开发环境 朱青 245
面向对象的信息系统分析和设计方法 陈 睿 246
7．人工智能基础 247
用于示例学习的信息理论 钟 鸣 247
“好矛盾”与“坏矛盾”——次协调逻辑在推理中的应用 朱福喜 251
基于共享常识观点的逻辑系统W* 王献昌 256
概念体系研究 彭甫阳 262
LAKATOS证伪方法的形式化 谢康 266
面向智能体的知识表示 王怀民 273
概率逻辑中的Tableau方法 白硕 278
知识工程中的弱蕴含推理 段新生 286
实数LISP 薛翔 287
把认知机制赋予机器 唐 雨 288
一种知识表示的代数方法 颜 阳 289
一阶模糊谓词逻辑及模糊PROLOG语言的设计 汪 英 291
初探人工神经元角空间网络的智能行为理论 尹碧辉 293
面向对象知识表达语言SMULA的研究 杨晓峰 294
基于解释和样板的组合学习EEBL的研究 李 红 295
8．人工智能技术 296
智能与几何图形分解 王德志 296
一种新的启发式随机搜索算法 刘晓 304
快速分类的神经网络算法 徐青松 308
基于框架网络的集成化知识表示 汪亚文 312
分布式多智能主体知识模型 姚莉 319
博弈树结点估值的一个新方法 廖士中 326
基于图象区域表示的相似检索技术 谭国真 331
港口装卸工艺设计专家系统 施欣 335
近似推理的快速高效实现方法 张自力 336
基于知识的工程设计分析计算程序自动生成系统的研制 王命延 339
基于启发精度的A*算法复杂度分析 朱大铭 341
关于专家系统的安全 姚世军 342
一类智能系统中模型的处理方法 邱涤珊 343
基于知识的程序设计语言XYZ/RL 张健 345
智能决策技持系统中一种基于知识的多库一体化技术 赵国宏 347
KEDE的逆向推理机制 魏华 348
9．人工智能系统与工具 349
8086/8088汇编语言智能化计算机辅助教学系统 李 刚 349
基于案例与规则知识的一种专家系统方案 陈 俭 352
面向机械设计目标的推理模型 殷国富 357
编译型产生式系统语言PROPSc的设计与实现 梁 峥 361
强健的面向对象的专家系统 杨枨 366
知识因素表示的数学分析 刘增良 372
类比转换原理 李波 377
东南地区金矿成矿可能性评价专家系统 奚梅林 386
政府DSS的决策支持工具 寿志勤 387
一种智能的知识编辑系统 施欣 388
结构物构件损伤诊断专家系统工具ESTDD—I 刘 箴 389
基于知识的智能决策支持系统多库一体化结构的研究与实现 曹耀钦 391
基于表处理的专家系统的实现 杨志新 393
建造快速决策专家系统原型的工具——ADESBT 吕建明 395
一个用于电力调度管理与决策的专家系统环境 杨 威 396
UES-T专家系统开发工具的设计及应用 王辉南 397
机辅滴定分析阳离子鉴别专家系统 向 艳 399
10．数据库理论、系统与设计 400
不完全信息关系数据库视图的更新 刘 刚 400
基于超图的2NF、3NF判定 刘永山 405
一个时态数据库的代数理论 张师超 410
支持关系数据库规范设计的自动工具——SYNTOOL的研究与实现 杨志东 415
二维表格查询语言编译器的设计与实现 怀进鹏 420
数据库逻辑结构设计的A-R方法 陈培雄 425
模糊逻辑数据库系统研究与实现 刘东波 429
数据库MIS集成环境的设计方法 吴春 434
PDBMS——飞机总体外形设计系统数据库和程序库的设计与实现 黄柏素 435
WANG VS PACE与FOXBASE+数据库相互转换软件的设计与实现 黄 晨 436
DBMS/IDKE系统中的对象处理 唐元昌 438
扩充RDB实现空间数据库 张 明 439
树搜索技术用于图象数据库的检索 吴 斌 441
支持复杂对象的查询语言C—SQL到扩展的关系代数的转换 林宏轩 442
NSTAR系统的可扩充性 关 涛 443
组合需求系统的研究与实现 石 苓 445
对两种估计单属性关系大小的方法的可信度讨论 黄 平 447
关系型数据库与计量器具微机管理系统 宋 袆 448
数据库MIS用户界面的编程方法和技巧 吴 春 450
OEDM：一个面向对象的工程数据模型 章国宝 451
C++数据库类机制设计 沈伟杰 452
动态数据库中并发控制方法的研究 曲云尧 453
FRDB1系统的设计与理论 吴永辉 455
多微机分布式操作系统MDS/DOS的设计与实现 刘 蓬 457
11．分布式计算 457
智能型的分布式任务分配 方桦 463
直观化分布式程序辅助分析 刘正捷 467
Transputer分布共享虚拟存储系统的设计与实现 高耀清 472
面向对象分布实时计算模型 周兴社 479
基于分时操作的模拟分布式处理系统的研究与实现 张 明 485
并行翻译的概念及构造 马华东 486
Transputer的外围控制技术及其实现 管惠维 488
集成式并行程序开发系统PPDS—F的研究 石志强 490
分布式实时软件可靠性技术 许颖 491
大规模并行处理系统的性能评价软件 余筱琴 492
分布实时软件调试技术研究 周兴社 493
12．计算机网络 495
基于Petri网的协议软件的半自动实现 徐志农 495
通信协议验证的可达性分析方法及其自动化 李楠 501
局域网和公用数据网互连的实现和性能评价 黄骐炜 506
OSI协议一致性测试系统用户界面的研究和实现 徐亚 511
面向对象的协议一致性测试系统软件环境设计 王一之 515
802LAN通过X.25PDN互连的网关设计 周春光 520
局网系统开工状况的描述模型 晏蒲柳 522
校园网规划与设计研究 徐文高 524
总线令牌的设计与实现 高维树 525
一种新型总线令牌机制的设计 金正谊 526
医院微机网络管理系统的开发与应用 李建春 527
网的最快路由选择策略 姜曦东 529
分布式导弹总体性能测试系统研究与实现 陈 晶 530
综合服务数字网（ISDN）技术 牛晓云 531
避免网络程序死锁的方法和实现 宋长龙 532
一个结构化ALU的产生器设计 蒋安平 533
13．器件及VLSI技术 533
Prolog/Lisp协处理器板的逻辑模拟和器件建模 胡立荣 538
微程序仿真技术的发展和应用 黄 坚 545
JTAG测试技术的结构化设计 梁松梅 546
14．CAD、CAM、CAT及CG 547
图形最小斯坦纳树的一种有效启发式算法 王义南 547
复杂型面自动雕刻加工系统的研究 邓中亮 552
一种实用的面向过程的触发器模拟算法 段 富 556
QTMR算法：一个运用立体四叉树的迷路法 洪熙伟 563
应用体绘制技术显示三维数据场 袁骏 568
基于知识的计算机绘画技术研究 魏小鹏 572
电路结构“知识”在测试生成中的应用 崔晓天 579
IFBWPO：一个基于信息流的机械CAD过程模型 鲁东明 585
三维图形软件包的并行实现 林 华 591
图象信息的编码方法和存储技术在图形排版软件中的应用 沈 欣 595
地形立体显示的研究与实现 潘少静 597
一种新的图形语言——嵌入式图形语言与自动编程系统 苗雪兰 599
智能化CAPP-CAM集成系统设计方法研究 李维刚 601
电力系统有逻辑推理的CAD应用一例 周宜群 603
图形符号库的设计 陈顺清 604
军用导航地图知识库建库系统 吴春明 605
纹理图形产生的一种有效方法 杨燕 606
具最少运算量的多边形裁剪算法 王骏 607
广义象系统与图视语言 常维宝 609
论绘画自动化 刘小丹 610
CAD数据优化系统在PCB光板通用网格通断测试中的应用 李志燕 611
实用编程加工系统 邵平平 613
内外结构特征组合的繁体印刷汉字识别 崔国伟 614
15．中文信息处理 614
一个支持中西文处理的简谱排版系统MUSIC 岳晋生 620
汉字字形分解笔划后的Bezier曲线拟合 马小虎 626
汉语语义结构的一种表示方法 王岩冰 632
现代汉语书面语语料库的初步设计 谭 强 637
基于非线性概率松弛过程的汉字识别后处理方法 刘瑞正 642
汉语流线编码系列与人－机接口新型技术 俞苏宁 644
16．数字图象处理 645
弹药X光图象处理系统的设计与实现 梁 玉 645
一种新的多峰直方图阈值选取方法 马 越 649
印刷五线谱识别方法初探 吕 良 655
一种B超图象软件分析系统的研制 谢珂 660
基于领域专家知识的超声左心室图象边界线自动检测方法及其应用 严寒冰 666
用改进的BP网络识别飞机图像 鲍曙新 670
后勤地理信息系统（LGIS）建立及应用 屈 强 674
用Goldbach问题的伴素数分拆进行信息压缩 孙五一 678
红外成像制导系统的图象处理 俞培林 684
17．测量、控制与仪表 685
多回路微型机控制软件设计 商庆华 685
一种高性能数据压缩及还原技术 张冀川 689
航天器测控仿真系统TCSS 李波 695
微机自控发油及管理系统简介 刘建军 700
针板自动冲床微机控制系统 吴建时 704
二元物系双塔蒸馏的静态模拟与计算机仿真 文立中 705
一个基于功能测试的程控数字交换机用户板测试仪 管宇辉 706
计算机辅助电装工艺设计 马飞晓 708
高精度数字万用表的校准 李其军 714
误码参数测试仪微机数据处理系统的设计 李芳莉 715
一种实时计算机网络监控 王永生 716
一种分步式单片微机控制系统的设计 徐太生 717
MCS—96多微机调速器及可靠性技术 张涛 718
炼钢微机配料系统 唐振江 719
一种基于二总线技术的可编程逻辑控制机 赵新海 721
多点温度检测系统中对多个传感器进行调理的方法 王叶新 723
MCS—96单片机在自适应飞行控制系统中的应用 朱 强 725
移动式电台控制软件设计 方潜生 726
双坐标测量机协调控制系统 吴晓峰 727
18．信息管理系统及其他 728
铁路新线平面纵断面联合优化程序系统 易思蓉 728
计算机在铁路用地优化中的应用 孟志勇 732
实时分布式结构在数据采集系统中的应用 房 强 738
大型交互式高性能连续系统仿真语言 宋星 741
智能决策支持系统IDSS的建立 陈 亮 747
计算机辅助大学课程表技术探索 李兵 752
ORT：一个面向对象的软件重用工具 彭木昌 756
通用表格自动生成软件——TYBGMF20的设计和实现 练亚雄 760
PC机系统透视软件 颜彬 761
事故树的一种算法及其在铁路编组站调车脱线事故分析中的应用 李引珍 762
双层PCB线网均匀化问题及其算法 唐茂林 764
实现TRANSPUTERLINK（链）的快速输出 葛东旭 765
铁路列车运行图智能化处理方法的研究 周磊山 766
动态定时验证系统的设计与实现 石 雄 767
利用内存常驻程序实现对病毒活动的动态监测 费憬民 768
一种解决报表数据安排与文件结构设计的新构想 李旭初 769
一个基于客户机／服务器方式的银行业务处理系统的设计 汤仰止 771
一个注射模浇注系统的智能CAD系统FEEDCAD 陈焕文 772
DSS中模型分层表示与模型生成模式探讨 杨雷 773
一个实用的管理信息系统设计与实现 汪厚祥 774
通用型多目标决策的交互式建模 何溢 776
防洪信息系统中图形库子系统设计 陈秀万 777
一个简单实用高效的多用户管理软件 李广东 778
专 题 讨 论 779
1．人工智能的困境与出路 779
（1）智能的增长 779
主持人引言 吴轶华 779
关于选择性学习 潘泓 781
神经网络学习模型的动力系统观点 冯建峰 782
遗传算法 吴轶华 783
“感知动作”行为若干基本问题 王田苗 784
从集中走向分布——分布式AI述评 胡 蓬 786
（2）推理技术 787
主持人引言 李波 787
非单调推理 林作铨 788
信念及其逻辑刻画 白 硕 789
归纳学习 吴轶华 790
类比推理 李波 791
智能数据库急待解决的几个问题 怀进鹏 792
模糊逻辑 刘增良 793
主持人引言 王怀民 794
2．面向对象程序设计的基本问题 794
关于面向对象数据库概念建模的理解 潘久辉 797
软件重用与面向对象程序设计 马宇飞 799
AI与OOP 王怀民 800
用户界面开发与O—O方法 徐锡山 803
面向智能体程序设计 邱桂友 804
3．人—机交互的过去、现状与未来 805
人—计算机界面的设计和发展 王 坚 805
虚拟现实 邱桂友 806