《中国研究生首届计算机及其应用学术会议文集》求取 ⇩

目 录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 PLOT394

钱神恩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