中国研究生首届计算机及其应用学术会议文集PDF电子书下载

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