中国计算机科学技术新发展-中国计算机学会第九次全国学术会议论文集PDF电子书下载

【特邀报告】 1

1．从出版系统的发展谈技术与市场的结合 王选 1

2．从青鸟工程谈软件工业化生产模式与技术 杨芙清 6

3．计算机的第五代与高性能计算机的新发展 周兴铭 7

4．机器证明的回顾与展望 张景中 13

5．XYZ系统的特征与应用 唐稚松 14

6．高性能计算机体系结构中的几个问题 夏培肃 20

7．规约获取与复用的MLIRF方法 董韫美 21

8．我国并行机的发展和产业化的探讨 李国杰 28

【论文】 29

计算机理论 29

1．实时仿真语言YFSIM的函数和模型编译技术 李兴玮 藏金海 29

2．Petri网理论及应用——历史、现状与发展动向 吴哲辉 35

3．布尔过程及其应用 赵著行 闵应骅 李忠诚 40

4．多值逻辑与模糊逻辑研究的进展及动向 胡谋 47

5．缺省逻辑：相容性、半单调性与累积性 张明义 55

计算机体系结构和硬件 62

6．基于工作站机群的并行调试工具 熊建新 王鼎兴 沈美明 郑纬民 62

7．计算机支持的群体协同技术及其应用 谢树煜 孙沙波 杨家海 69

8．高性能微处理器核心技术分析与前景预测 周茉 罗建英 王克义 76

9．多级互连网络中的Multicast通讯 肖立权 徐炜遐 周兴铭 83

10．容错计算的过去、现在和未来 闵应骅 李忠诚 90

11．军用计算机发展特点和趋势 刘恩德 96

12．计算机维护与管理学科的现状发展和我们的对策 李海泉 黄昌夺 任公越 102

计算机软件 109

13．面向对象的方法和结构化方法的比较 竺卫东 杨文文 109

14．一种面向对象的软件重用块——SIB的设计方法 铁伟 刘云龙 陈俊亮 116

15．多媒体建模的新方法 李明禄 孙永强 盛焕烨 121

16．大型复杂信息系统软件计划管理模型研究 薛海璐 周俊林 李晓 128

17．采用逐步求精技术建立软件过程模型 柳军飞 唐稚松 135

18．并发面向对象语言AC++及其运行支撑系统的设计与实现 田籁声 董哲 刘琳 142

19．面向对象界面模型研究 耿孝和 邵维忠 杨芙清 148

20．可复用的软件构件库系统JB/RSCLS 张世琨 邵维忠 梅宏 杨芙清 154

21．CIMS工程数据库管理系统的系统结构与设计 寿宇澄 董金祥 160

22．面向对象工程数据库管理系统设计中关键性问题的选择 寿宇澄 董金祥 165

计算机应用技术 172

23．论计算机应用系统系列化商品化 龚炳铮 172

24．基于数据融合的高炉炼铁优化操作计算机系统 杨起帆 陈凯 刘祥官 李吉鸾 179

25．一个具有类比学习机制的优化排料系统ONS 刘弘 曾广周 林宗楷 184

26．面向对象地图数据库的图形编辑 王峰 杨树强 陈火旺 191

27．面向并行工程的铸造CAD/CAE系统的开发研究 柳百成 李永保 熊守美 197

28．科学技术计算系统在钢铁企业中的应用 廖嘉 张敬山 203

29．一种以笔段结构分析为基础的松弛匹配方法 吴劲松 周昌乐 209

30．旋转机械故障诊断的CUSI神经元模型方法 冯英浚 翟军 215

31．正交阵并行图像处理的研究和实现 张燕 陈益新 张桂林 221

32．频域相关技术在图像匹配中的应用 徐捷 张桂林 郑云慧 227

33．轮廓线到实体拉伸算法的实现 孙泉 唐敏 葛建新 董金样 234

34．办公信息系统的新进展 徐立臻 孙志挥 王能斌 240

人工智能 245

35．基于Prospector中不确定推理模型的知识库化简方法 王旭仁 张为群 245

36．基于遗传的规则获取模型 赵宏 汪浩 邹雯 陈文伟 250

37．一种提高多层前馈网络容错性的训练算法 尉乃红 杨士元 童诗白 255

38．三值逻辑神经元网络 王国胤 施鸿宝 262

39．一个概念形成学习系统CFLS 张华杰 墙芳躅 袁国斌 268

40．INTERNET上的知识发现、采掘与获取 王克宏 274

41．基于遗传算法的概念学习与约束满足的预处理方法 陈恩红 蔡庆生 顾振梅 280

42．一种通用的神经网络映射调度遗传算法 罗莉 戴葵 胡守仁 286

43．哈萨克文老文字与斯拉夫文间智能转换研究 古丽拉·阿东别克 涂序彦 292

44．对HPAC神经网络的研究 余雪丽 孙承意 冯秀芳 297

45．两种矢量量化竞争学习算法的比较研究 朱策 303

46．地理信息系统MAPS 方家骐 谭景信 309

【详细摘要】 316

计算机理论 316

47．相似标准与类比推理 陈小平 顾振梅 刘贵全 蔡庆生 316

48．HGSDL描述语言的EDC语义 毛晓光 楼兰 陈火旺 318

49．可满足性问题可解性的分析 刘清 唐策善 321

50．基于零知识证明的身份认证方案的设计 郭宝安 卢开澄 323

计算机体系结构和硬件 325

51．处理机最优调度问题（一）：实时系统的动态负载平衡 刘溥 孙灏 彭德纯 邱毓兰 周晓忠 325

52．新兴的ATM网络技术 胡文华 朱世伟 黎纯玉 327

53．分布式多媒体的并行存储系统： 330

一种支持多访问流的分布式并行服务系统DMPSS 吴飞 王朴 陈福接 330

54．容错数字信号处理系统的设计：方法及实现 马建峰 赵晓盈 王新梅 332

55．微机防病毒卡的原理及其监控程序 陈余斌 李沙娜 金峰 335

56．SEC/DED存储器的可靠性研究 金海 张江陵 338

57．分布式冗余磁盘技术：一种可靠共享网络存储系统新途径 王慧强 杨永田 殷镇良 341

计算机软件 343

58．C++对象转储问题及解决 于长云 343

59．通用的操作系统型病毒清除算法与实现 邓波 李劲松 345

60．一种实现计算机网络数据广播的方法 张海燕 348

61．C++函数开发工具CFDST的设计与实现 刘建宾 350

62．面向对象软件的维护 姚世军 353

63．分散多用户系统的集中管理技术 王劲松 357

64．一种软件重用方法的设计与实现 刘辰 张雷 艾波 360

65．一个概念级软件复用的构造方法 贺岚 362

66．CASE环境的集成问题研究 薛冰 365

67．计算机无线网中数据加密的研究与实现 刘喻 宋自林 368

68．临界路径跟踪测试产生中的搜索策略 石茵 魏道政 371

异型网络互连环境中的应用 王勇 李显济 374

69．X窗口系统汉化软件Hxterm/Hxdraw的开发及其在 374

70．数据采集系统中的动态跟踪显示技术 何凤琴 377

计算机应用技术 379

71．微生物工程数据处理与建模研究 宋文臣 王卫国 计巧灵 孟凡德 379

72．HE绘图语言设计 贺孟清 382

73．企事业公司信息管理系统 李强 384

74．可视化软件VISUALS的设计及实现机理 武君胜 堵瑞瑞 于西俭 387

75．QJM主动式实时仿真汽车驾驶模拟器软件系统设计 张占军 390

76．计算机图像系统应用于药用植物图像库的建立与检索 孙永斌 赵金垒 戎明远 393

77．面向对象的招聘决策支持系统的分析与设计 谢赞福 詹森 396

78．开发烟草行业MIS系统的实践 蔡爱梅 黄建秀 张敬卫 399

79．机械图纸的自动输入 徐建锵 高国安 402

80．汉字语句输入处理的数学模型 宋继平 张琳琳 王能忠 405

81．《军事地形学》教学辅助系统 周爱武 孔玮 408

82．瘦肉型猪饲料配方微机决策管理系统 徐夕水 董巨松 胡诗国 411

83．根据正态分布原理进行家畜数量性状选择的C语言程序 徐夕水 胡诗国 413

84．300MW火力发电机组汽轮机数字电液（DEH）控制系统 陶家佑 郑世德 刘树莲 陈东 416

85．计算机仿真培训技术在钢锭轧前生产过程中的应用 粱军 419

86．三维地貌及地物的自动生成技术 邹荣金 宋顺林 421

人工智能 424

87．并行搜索的加速比性能分析 罗翊 胡蓬 石纯一 王克宏 424

88．手写数字识别系统HNRS 安向东 白刚 426

89．计算机动画的智能化途径 伏劲松 谭丽萍 张奠成 428

90．带有对称编码的基因算法的应用于机器人优化控制的实验分析 孟庆春 430

91．利用神经网络建立产品零件特征信息关系 李勇 邵世煌 434

92．一种人机交互的路径规划算法 王斌 丁明跃 436

93．IAMBH:在？空间上获取专家线性分类判断规则的 439

算法及优化方法 王建伟 石纯一 王克宏 439

94．RBF-DDA神经网络用于手写体汉字识别的研究 金连文 徐秉铮 442

95．使用具有自组织方式的BP网络对股市变化进行聚类分析 杨宇宁 余雪丽 孙承意 445

96．一种智能模糊控制算法及其实现 谭洪 陈婉几 448