《中国计算机科学技术新发展-中国计算机学会第九次全国学术会议论文集》求取 ⇩

【特邀报告】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