目 录 1
Ⅰ文集论文 1
程序设计语言、方法 1
1．不变式断言的生成 陈国营 1
2． 软件剖析和开发系统 余秀斌 10
3． 前后文无关属性文法及其在编译程序自动生成中应用 杜为民 19
4．逻辑程序设计语言HPROLOG1的实现 黄智生 25
5． 离散系统的模拟及模拟语言 顾蓉 31
分布式处理与计算机网络 41
6．DDBMS的并发控制技术——主要路点算法及其分析 李 群 41
7． ？型网络通讯 李 昌 56
8． 计算机网络监测及实现 胡晓锋 66
9．SNA及其交互连接 李江洪 73
10．IBM3207仿真及汉字传输控制技术 陆发兴 84
人工智能、模式识别 91
11．DKE：一个具有解释功能的演绎知识库环境及其应用 蔡吟秀 91
12．基于自然演绎的合一算法的设计与实现 黄和平 98
13．通用中医专家系统GTS模型的设计与实现 田 禾 104
14．基于知识的空间配置系统模型KASA及实例 赵占军 116
15．结构模式识别中的一种学习方法 尹巨炼 123
16．用于手写Alphanumeric字符识别的一种新的网络单元特征法 148
周洪波 148
17．利用模糊集合理论的图象增强和噪声平滑 张进友 155
18．姐妹染色体互换（SEC）的自动识别算法初步研究 魏青 167
数据库 177
19．一种多关系查询优化算法 曾永宁 177
计算机系统结构 184
20．交叉汇编程序JH8668的设计和实现 冯燕 184
21．系统诊断三值模型t1/t1/2故障顺序可诊断性（I） 徐洁 191
22．数字系统故障模拟并图形法模拟故障原理 任福继 198
计算机辅助设计和计算机辅助制造 205
23．指令系统并行描述语言ISP的研究与设计 贾焰 205
24．控制系统的一种计算机辅助设计方法 王幼毅 211
25．计算机辅助教学（CAI）写作系统的设计 谭学厚 220
26．计算机自动求解间接位置问题的算法探讨 吴俊 228
27．结构振动系统振型的微机动画显示 董卫平 236
28．人机交互的微机PCB自动布线系统 李蓓王东升 246
29．IP-M多微机图象处理系统设计及软硬件研制 谢俏冰 252
计算机控制与计算机仿真 259
30．RMSS-68000实时多任务软件系统 尚宏猷 259
31．计算机实时自组织模糊控制直流调速系统的研究 应浩 266
32．微机控制快速随动系统数字调节器的一种实用设计方法 鲍超英 282
33．友模法高压直流系统数字仿真的元件中型误差分析 胡立华 292
数据采集与处理、数值计算 300
34．微处理机数据采集在冲击凿岩测试中的应用 300
唐春安秦健民 300
35．微机在测定旋风除尘器内三维流场中的应用 赵钟鸣 308
36．模型参数的递推估计 王建新 314
37．一种曲线拟合与函数逼近算法 曾 洪 322
38．经济管理中的一类“分派问题”及计算机求解 陶为群孙平 329
39．特征分析的信号处理技术及其在微机上的实现 蒋铮曲 绚 337
40．单板机在中枢神经细胞单位放电研究中的应用 隋金良 344
41．一种多维数据的模糊动态聚类方法 刘自然 350
42．有理B样条曲线 雷毅 358
1 PROLOG程序设计探讨 张豪煜陈贵海 366
2 PROLOG语言与BASIC的接口 张文星 366
3 Z-BASIC算法语言引论及其报告 周宗和 366
程序设计语言、方法 366
Ⅱ 交流论文摘要 366
4 Modula-2语言的特点及实现 姜馨声 翟成样 367
5程序与其规范程序 王新 367
6软件工程中的决策表方法 李强 368
7一种新的程序设计方法PAM 梁小英 368
8关于结构化设计方法的研究 潘继谦 369
9软件的理解和维护 赵昌苗 369
10软件配置管理概述 余永进 370
11语言开发工具lex和yacc的分析与应用 丁英嘉 370
12软件系统的整体优化设计方法初探 潘继勤潘继谦 371
13一个实用LISP外部库的建立 王蕾 371
16计算机局部网络操作系统的研究与设计 鲁敏 372
15 EAGLE NET网络综述 赵升祥 372
分布式处理与计算机网络 372
14 网络操作系统的结构、设计与实现 文仁华 372
1 7 EAGLE NET——一个token—bus局部计算机网络 李月华 373
18 GAMMA网的系统概念和构成 李江洪 373
19计算机网络传输器的设计 吴奇 374
20分布式计算机系统概要 胡平 374
21分布式程序设计的概念与表示法 段平 374
22分市式资源管理系统 陈贵海、张豪煜 375
23 一个适应于分布式处理系统的操作系统——UNIX操作系统的改进方法 375
陈国营 375
2 4分布式数据库并行控制方法的探讨 邱勇刚 375
26适合于环形结构的分布式处理系统的同步算法 姚键超 376
25分布式算法的性质和复杂性 鲁汉榕 376
27分布式处理系统的模块分配模型 李道莲 377
汉字信息处理、办公室自动化与数据库 377
28 国内几种汉字报表系统浅析 车红 377
29 RT-11系统下的汉字功能模块的设计及其实现 李莘 377
30评价系统在计算机管理系统中的作用 阎 旭 378
31 一个在IBM-PC上实现的工资管理系统 顾新 378
32关系数据库回顾与评述 陈豫 379
33 DDBMS及其异种性问题 黎仁蔚 379
34数据库的恢复 胡立毅邱克 380
35数据库支撑的集中式文字／数据处理设计的探讨 李兴华 380
38 PROLOG数据库的一种自动组织方法 田丹 381
36分布式数据库系统中关系的Fuzzy水平分布 张晏清 381
37空值环境下的关系数据库理论 黎仁蔚 381
39概念语义模式在RMIT扩展关系模型上的实现 周丹 382
40判断关系性质及关系运算的算法和程序 练林 382
41办公过程自动化的数据库方法 王慧强 382
42一种面向办公室自动化的汉字关系数据库系统 宁枫 383
43 图的应用中的数据库技术 邱克胡立毅 383
44 分布式数据库中数据分布的一种动态重组方案 鲁丛林 383
46 微型计算机在高校设备管理中的应用 384
——设备管理系统的设计及实现 王琪 384
45分布式数据库系统DdBASE中的并发控制机制 肖伦 384
47计算机辅助车间级企业管理系统 赵健 385
48汉字声韵声拼音编码方案简介 程亚奇 385
49用计算机实现的两种作业排序方法 乔立红杨光薰 386
人工智能与模式识别 386
50知识与智能——新型电脑的发展与未来 张滨 386
51研制专家系统的一些考虑——第五代计算机的应用 刘永健 386
52相关规则类：从产生式规则到产生式原理 陈健 387
53 自然语言数据库查询的知识域结构 谭强明 387
54 基于知识的设备故障诊断系统——FAULT 李红平 387
56 改进字符规格化效果的一种新途径——局部坐标变换法 388
耿新辉 388
55 用改进非线性网络结构解决具有分离子目标的问题 388
曹勇 388
57含有模式识别器的计算机图象通信系统 冠卫东叶雷刘天民 389
58一种汉字识别器的设计 李彬赵树芗 389
59手写体汉字自动识别系统的设想 汪洋郑重德 390
60模式识别的编码技术——矢量编码的软件和硬件实现 390
刘天民冠卫东 390
计算机系统结构 391
61我国第五代计算机系统（FGCS）工程开发之我见 朱习群 391
62 系统诊断三值模型的t1/t1/2故障顺序可诊断性（Ⅱ） 391
徐洁 391
63数据字典／目录系统 冷嘉铃 391
65微处理器的功能测试方法综述 傅泰祺郑守淇 392
64 Z-80机与PDP-11机软盘格式转换实用程序 李晓 392
66 DFTCS容错管理的设计与实现 张蕾 393
67 Ca11 ？B-网络：一种容错多总线结构 李庆南 393
68带译码阵列PLA故障的广义布尔函数测试法 廖强 393
计算机辅助设计与计算机辅助制造 394
69计算机设计最佳级联数字滤波器 方志宏 394
70割角法的数学原理及算法 许志明 394
71 用于谱图分析的测量和绘图软件——QIANS PLOT 394
钱神恩 394
72微型机在数学教学中的应用 张杰夫 395
73力学教学软件——NEWTON的汉字化 赵沛 395
76 统计图形软件c-dGRAPH的开发 沈默君 396
75 FWX-4675绘图仪的FORTRAN-80语言命令 林砺宗 396
74估计局部图象性质的快速算法 王继成 396
77数字图象信息处理和图象计算机系统 曹晓光欧阳灿 397
78模具标准件库系统的设计 雷毅 397
计算机控制与仿真 397
77放矿计算机仿真 李晓枫 397
80单线索道矿斗运行过程模拟计算 王晓明 398
81粗糙表面光散射的计算机模拟 王海明 399
82型钢连扎过程的仿真研究 李杉杉 399
83火箭射流流场及其电子计算机仿真 刘应书 400
84 崩落法放矿计算机仿真——矿石损失贫化予测 任凤玉 400
86微机仿真语言DSIMPAS设计分析 王琪 401
85矿井排水系统的计算机模拟 刘真祥 401
87八位单片微机在染色程序升温自动控制中的应用 吴美萍 402
88 自校正PID控制算法 王伟刘明顾兴源 402
89模糊控制策略及其在铁路自动控制中的应用 薛世骏 403
90微机实现的推峰机车速度自动控制系统——用数字仿真研究控制方法 403
韩晹 403
91非线性控制系统的微机实时控制方案初探 李小红 404
92脉冲信号采集开始时刻的自动控制 陈澍我 404
93随机法求多峰函数总极值的计算机模拟 刘保远 404
94八相PSK数传系统的计算机仿真研究 靳惠川 聂涛 405
数据采集、处理与数值计算 405
95单板机在多点应变自动测试系统中的应用 冯永烜 405
98分析液压伺吸系统的程序包介绍及应用 丁汉 406
96用微机控制进行气泡速度在线测量 魏伟胜 406
97一种用专用计算机实现液滴汽化过程的温度测试方法 朱国明 406
99气动伺服阀的优化设计 姚晓先 407
100机械结构动态特性优化设计的计算方法 梁健 407
101非回归两轮铰链四杆机构的计算机辅助运动分析 李刚炎 407
102带宽极小编号的有限元网络自动生成 朱修清 408
103 6R工业机器人实时控制算法 秦大斌 408
104 PID调节器参数的机转最优化整定 彭志炜 408
105运用位片处理器实现的自适应天线旁瓣相消器 李军 409
106位同步系统的微处理器实现 胡启龙 409
107时间序列的自相关曲线拟合预报法 姚 勇 409
109微机在分子振动分析中的应用 汪洋郑重德 410
108多层递阶预报的应用程序系统 姚勇 410
110 Diel-Alder反应的量子化学研究（Ⅰ） 胡增建 411
111恒速介质偏移的推广 廖新华 411
112 MEX68KECB机跟踪和程序执行功能的剖析 姚键超 411
113微型计算机在心脏电生理实验研究中的应用 叶定忠 412
114采区主要参数设计的混合整数规划方法 李军 412
115 向量组的共轭性度量理论与平行线性流形法的研究 万金保沈守范 412
116计算机在密码数据处理中的应用 杨 耘 413
117 快速HARTLEY变换的最佳算式 胡协和 赵 洵 413
118高可靠性微机控制系统冗余方案的讨论 袁栩 413
119语声信号的最佳PCM量化 王江舟 414