《计算机研究进展'92 第四届全国青年计算机会议文集》求取 ⇩

目 录1

学 术 论 文1

1．计算机体系结构1

FTMS：一个基于实时容错系统的容错管理软件的设计与实现 王万杰1

一个病毒防御模型及其在安全UNIX中的应用 杨 涛7

ABC-90jr存储体系模型及应用初步 张冠松13

多I/O请求的优化调度模型 方粮18

线性规划法求解环路流水线最小时钟周期 陈书明23

一种改进的延迟转移机制——可控型延迟转移 程东年28

四级还是五级？——RISC指令流水线分级的权衡 程 旭30

计算机网络通路覆盖算法研究 李书文32

智能CAD体系结构探讨 张明恒34

Transputer多机系统运行环境的开发 马永强35

高性能计算机性能评价方法研究 窦 勇36

面向数据结构计算机中的数据存取方法 胡越明37

并行计算机加速比公式浅析 温晓冬39

2．并行处理40

巨型机系统中的多机多任务作业调度管理 邓胜兰40

并行图归约机PGR及优化编译器的设计与实现 田新民44

包驱动执行机制的描述 方滨兴50

正四面体递归网络及其TRANSPUTER实现 洪功冰55

一类动态私有多CACHE信息一致性控制方案的模型分析与设计 邢二保56

PARA631：一种极度并行计算机系统结构 谢澎58

一种新颖的适于VLSI设计的乘法器结构 韩 卫59

一种开放式紧耦合多处理机体系结构的实现 高 琼61

3．算法与分析62

一类图问题的高效并行算法 马 军62

一种有效的上下文无关图文法分析算法 花全香66

Uwe Sch oning方法的若干结论 李雅瑞73

任意K＞=3的多柱Hanoi塔问题的最优算法 张 群74

一种验证互连网络正确性的高效算法 董迎飞76

任意布尔顶点相邻逻辑集合类的一种求解方法 林柏钢78

实数据混合基FFT变换及其在YH—I上的向量实现 伍湘君80

4．形式系统理论82

关系网的代数性质 栾尚敏82

并行计算模型GMPC 党 哲89

函数式语言并行颗粒度的研究 袁 伟94

证明网，模块，类型及验证 黄林鹏99

Smalltalk-80的动态指称语义第一部分：形式模型 李舟军105

HIFL语言及其计算模型 沈宁川110

语义网络和线性逻辑 周艳玲117

一种安全的身份验证方案 赵 宇122

缺省理论的扩张剖析 郑传金124

子类型和继承 梅宏126

WHILE程序的相对不变式 谢勇为127

程序推导过程的转换 吕建国129

合成语言的语义模型——λδ演算 王建柏130

规格说明语言Chisl及其应用 许创131

5．软件环境与工具131

OAPT：一个办公信息系统的原型开发工具 鲁 倩138

MIS数据字典概念及其一致性算法研究 钱涛143

采用属性分配的属性计算器及其应用 孟洛明147

用程序分片方法分析模块的内聚性 张 平151

数据流图自动生成系统——DFD AUTO 温晓华158

测试数据的自动生成 钱红兵163

并行C语言编译系统MPCCS 熊忠阳168

测试任一嵌套DO循环的置换合法性的阻碍矩阵算法 林源173

一个巨型机操作系统调试系统（TOSDS）的研制 刘勇平179

软件工程中的“用户参与” 刘 震183

一个图书馆数据库的研究 殷建平184

基于公共接口标准的C软件可移植分析与检测系统 廖彬山191

基于BNF描述的功能测试 张 明195

代码软件逆向再理解环境工具的设计与开发 陈行益196

巨型机C的FOR循环向量化的实现 张斌197

一种高效的支持并发访问的多机UNIX文件系统缓冲区的实现 陈 宏198

C语言源程序浏览器 姜天宇200

多进程实时系统通信的软件设计 宋海洋202

一种基于Ada的可扩充软件工程语言 徐宝文203

SLWGX软件测试用例个数的求算 庄 彪204

飞控容错计算机软件模拟测试技术 王国庆205

一个软件工程信息库——基本构成与使用环境 李 宇206

软件测试的研究与发展 彭建军208

面向对象软件的结构复杂性度量 钟凯翔210

基于软件再用技术和系统组合技术的飞行摸拟器软件生成系统 徐 红211

基于记录结构特征实现FORTRAN77直接I/O的方案 钟志新212

ADA编译器与ADA调试器的接口设计 蔡建平213

面向对象的可重用软部件库系统的设计与实现 陈 辉214

6．程序设计方法学214

基于重用构件库技术的原型开发支持环境 姚淑珍218

人－机界面设计的规范化途径 赵洪彪224

一个元对象程序设计机制的研究与实现 赵银亮228

程序设计中的持久性及其扩充实现 黄志球233

关于面向对象的集成化软件工程环境设计的研究 赵 磊238

从RDBMS到OODBMS 车敦仁241

面向对象的图象处理程序设计支持环境 闫兆春244

快速原型法及其开发环境 朱青245

面向对象的信息系统分析和设计方法 陈 睿246

7．人工智能基础247

用于示例学习的信息理论 钟 鸣247

“好矛盾”与“坏矛盾”——次协调逻辑在推理中的应用 朱福喜251

基于共享常识观点的逻辑系统W* 王献昌256

概念体系研究 彭甫阳262

LAKATOS证伪方法的形式化 谢康266

面向智能体的知识表示 王怀民273

概率逻辑中的Tableau方法 白硕278

知识工程中的弱蕴含推理 段新生286

实数LISP 薛翔287

把认知机制赋予机器 唐 雨288

一种知识表示的代数方法 颜 阳289

一阶模糊谓词逻辑及模糊PROLOG语言的设计 汪 英291

初探人工神经元角空间网络的智能行为理论 尹碧辉293

面向对象知识表达语言SMULA的研究 杨晓峰294

基于解释和样板的组合学习EEBL的研究 李 红295

8．人工智能技术296

智能与几何图形分解 王德志296

一种新的启发式随机搜索算法 刘晓304

快速分类的神经网络算法 徐青松308

基于框架网络的集成化知识表示 汪亚文312

分布式多智能主体知识模型 姚莉319

博弈树结点估值的一个新方法 廖士中326

基于图象区域表示的相似检索技术 谭国真331

港口装卸工艺设计专家系统 施欣335

近似推理的快速高效实现方法 张自力336

基于知识的工程设计分析计算程序自动生成系统的研制 王命延339

基于启发精度的A*算法复杂度分析 朱大铭341

关于专家系统的安全 姚世军342

一类智能系统中模型的处理方法 邱涤珊343

基于知识的程序设计语言XYZ/RL 张健345

智能决策技持系统中一种基于知识的多库一体化技术 赵国宏347

KEDE的逆向推理机制 魏华348

9．人工智能系统与工具349

8086/8088汇编语言智能化计算机辅助教学系统 李 刚349

基于案例与规则知识的一种专家系统方案 陈 俭352

面向机械设计目标的推理模型 殷国富357

编译型产生式系统语言PROPSc的设计与实现 梁 峥361

强健的面向对象的专家系统 杨枨366

知识因素表示的数学分析 刘增良372

类比转换原理 李波377

东南地区金矿成矿可能性评价专家系统 奚梅林386

政府DSS的决策支持工具 寿志勤387

一种智能的知识编辑系统 施欣388

结构物构件损伤诊断专家系统工具ESTDD—I 刘 箴389

基于知识的智能决策支持系统多库一体化结构的研究与实现 曹耀钦391

基于表处理的专家系统的实现 杨志新393

建造快速决策专家系统原型的工具——ADESBT 吕建明395

一个用于电力调度管理与决策的专家系统环境 杨 威396

UES-T专家系统开发工具的设计及应用 王辉南397

机辅滴定分析阳离子鉴别专家系统 向 艳399

10．数据库理论、系统与设计400

不完全信息关系数据库视图的更新 刘 刚400

基于超图的2NF、3NF判定 刘永山405

一个时态数据库的代数理论 张师超410

支持关系数据库规范设计的自动工具——SYNTOOL的研究与实现 杨志东415

二维表格查询语言编译器的设计与实现 怀进鹏420

数据库逻辑结构设计的A-R方法 陈培雄425

模糊逻辑数据库系统研究与实现 刘东波429

数据库MIS集成环境的设计方法 吴春434

PDBMS——飞机总体外形设计系统数据库和程序库的设计与实现 黄柏素435

WANG VS PACE与FOXBASE+数据库相互转换软件的设计与实现 黄 晨436

DBMS/IDKE系统中的对象处理 唐元昌438

扩充RDB实现空间数据库 张 明439

树搜索技术用于图象数据库的检索 吴 斌441

支持复杂对象的查询语言C—SQL到扩展的关系代数的转换 林宏轩442

NSTAR系统的可扩充性 关 涛443

组合需求系统的研究与实现 石 苓445

对两种估计单属性关系大小的方法的可信度讨论 黄 平447

关系型数据库与计量器具微机管理系统 宋 袆448

数据库MIS用户界面的编程方法和技巧 吴 春450

OEDM：一个面向对象的工程数据模型 章国宝451

C++数据库类机制设计 沈伟杰452

动态数据库中并发控制方法的研究 曲云尧453

FRDB1系统的设计与理论 吴永辉455

多微机分布式操作系统MDS/DOS的设计与实现 刘 蓬457

11．分布式计算457

智能型的分布式任务分配 方桦463

直观化分布式程序辅助分析 刘正捷467

Transputer分布共享虚拟存储系统的设计与实现 高耀清472

面向对象分布实时计算模型 周兴社479

基于分时操作的模拟分布式处理系统的研究与实现 张 明485

并行翻译的概念及构造 马华东486

Transputer的外围控制技术及其实现 管惠维488

集成式并行程序开发系统PPDS—F的研究 石志强490

分布式实时软件可靠性技术 许颖491

大规模并行处理系统的性能评价软件 余筱琴492

分布实时软件调试技术研究 周兴社493

12．计算机网络495

基于Petri网的协议软件的半自动实现 徐志农495

通信协议验证的可达性分析方法及其自动化 李楠501

局域网和公用数据网互连的实现和性能评价 黄骐炜506

OSI协议一致性测试系统用户界面的研究和实现 徐亚511

面向对象的协议一致性测试系统软件环境设计 王一之515

802LAN通过X.25PDN互连的网关设计 周春光520

局网系统开工状况的描述模型 晏蒲柳522

校园网规划与设计研究 徐文高524

总线令牌的设计与实现 高维树525

一种新型总线令牌机制的设计 金正谊526

医院微机网络管理系统的开发与应用 李建春527

网的最快路由选择策略 姜曦东529

分布式导弹总体性能测试系统研究与实现 陈 晶530

综合服务数字网（ISDN）技术 牛晓云531

避免网络程序死锁的方法和实现 宋长龙532

一个结构化ALU的产生器设计 蒋安平533

13．器件及VLSI技术533

Prolog/Lisp协处理器板的逻辑模拟和器件建模 胡立荣538

微程序仿真技术的发展和应用 黄 坚545

JTAG测试技术的结构化设计 梁松梅546

14．CAD、CAM、CAT及CG547

图形最小斯坦纳树的一种有效启发式算法 王义南547

复杂型面自动雕刻加工系统的研究 邓中亮552

一种实用的面向过程的触发器模拟算法 段 富556

QTMR算法：一个运用立体四叉树的迷路法 洪熙伟563

应用体绘制技术显示三维数据场 袁骏568

基于知识的计算机绘画技术研究 魏小鹏572

电路结构“知识”在测试生成中的应用 崔晓天579

IFBWPO：一个基于信息流的机械CAD过程模型 鲁东明585

三维图形软件包的并行实现 林 华591

图象信息的编码方法和存储技术在图形排版软件中的应用 沈 欣595

地形立体显示的研究与实现 潘少静597

一种新的图形语言——嵌入式图形语言与自动编程系统 苗雪兰599

智能化CAPP-CAM集成系统设计方法研究 李维刚601

电力系统有逻辑推理的CAD应用一例 周宜群603

图形符号库的设计 陈顺清604

军用导航地图知识库建库系统 吴春明605

纹理图形产生的一种有效方法 杨燕606

具最少运算量的多边形裁剪算法 王骏607

广义象系统与图视语言 常维宝609

论绘画自动化 刘小丹610

CAD数据优化系统在PCB光板通用网格通断测试中的应用 李志燕611

实用编程加工系统 邵平平613

内外结构特征组合的繁体印刷汉字识别 崔国伟614

15．中文信息处理614

一个支持中西文处理的简谱排版系统MUSIC 岳晋生620

汉字字形分解笔划后的Bezier曲线拟合 马小虎626

汉语语义结构的一种表示方法 王岩冰632

现代汉语书面语语料库的初步设计 谭 强637

基于非线性概率松弛过程的汉字识别后处理方法 刘瑞正642

汉语流线编码系列与人－机接口新型技术 俞苏宁644

16．数字图象处理645

弹药X光图象处理系统的设计与实现 梁 玉645

一种新的多峰直方图阈值选取方法 马 越649

印刷五线谱识别方法初探 吕 良655

一种B超图象软件分析系统的研制 谢珂660

基于领域专家知识的超声左心室图象边界线自动检测方法及其应用 严寒冰666

用改进的BP网络识别飞机图像 鲍曙新670

后勤地理信息系统（LGIS）建立及应用 屈 强674

用Goldbach问题的伴素数分拆进行信息压缩 孙五一678

红外成像制导系统的图象处理 俞培林684

17．测量、控制与仪表685

多回路微型机控制软件设计 商庆华685

一种高性能数据压缩及还原技术 张冀川689

航天器测控仿真系统TCSS 李波695

微机自控发油及管理系统简介 刘建军700

针板自动冲床微机控制系统 吴建时704

二元物系双塔蒸馏的静态模拟与计算机仿真 文立中705

一个基于功能测试的程控数字交换机用户板测试仪 管宇辉706

计算机辅助电装工艺设计 马飞晓708

高精度数字万用表的校准 李其军714

误码参数测试仪微机数据处理系统的设计 李芳莉715

一种实时计算机网络监控 王永生716

一种分步式单片微机控制系统的设计 徐太生717

MCS—96多微机调速器及可靠性技术 张涛718

炼钢微机配料系统 唐振江719

一种基于二总线技术的可编程逻辑控制机 赵新海721

多点温度检测系统中对多个传感器进行调理的方法 王叶新723

MCS—96单片机在自适应飞行控制系统中的应用 朱 强725

移动式电台控制软件设计 方潜生726

双坐标测量机协调控制系统 吴晓峰727

18．信息管理系统及其他728

铁路新线平面纵断面联合优化程序系统 易思蓉728

计算机在铁路用地优化中的应用 孟志勇732

实时分布式结构在数据采集系统中的应用 房 强738

大型交互式高性能连续系统仿真语言 宋星741

智能决策支持系统IDSS的建立 陈 亮747

计算机辅助大学课程表技术探索 李兵752

ORT：一个面向对象的软件重用工具 彭木昌756

通用表格自动生成软件——TYBGMF20的设计和实现 练亚雄760

PC机系统透视软件 颜彬761

事故树的一种算法及其在铁路编组站调车脱线事故分析中的应用 李引珍762

双层PCB线网均匀化问题及其算法 唐茂林764

实现TRANSPUTERLINK（链）的快速输出 葛东旭765

铁路列车运行图智能化处理方法的研究 周磊山766

动态定时验证系统的设计与实现 石 雄767

利用内存常驻程序实现对病毒活动的动态监测 费憬民768

一种解决报表数据安排与文件结构设计的新构想 李旭初769

一个基于客户机／服务器方式的银行业务处理系统的设计 汤仰止771

一个注射模浇注系统的智能CAD系统FEEDCAD 陈焕文772

DSS中模型分层表示与模型生成模式探讨 杨雷773

一个实用的管理信息系统设计与实现 汪厚祥774

通用型多目标决策的交互式建模 何溢776

防洪信息系统中图形库子系统设计 陈秀万777

一个简单实用高效的多用户管理软件 李广东778

专 题 讨 论779

1．人工智能的困境与出路779

（1）智能的增长779

主持人引言 吴轶华779

关于选择性学习 潘泓781

神经网络学习模型的动力系统观点 冯建峰782

遗传算法 吴轶华783

“感知动作”行为若干基本问题 王田苗784

从集中走向分布——分布式AI述评 胡 蓬786

（2）推理技术787

主持人引言 李波787

非单调推理 林作铨788

信念及其逻辑刻画 白 硕789

归纳学习 吴轶华790

类比推理 李波791

智能数据库急待解决的几个问题 怀进鹏792

模糊逻辑 刘增良793

主持人引言 王怀民794

2．面向对象程序设计的基本问题794

关于面向对象数据库概念建模的理解 潘久辉797

软件重用与面向对象程序设计 马宇飞799

AI与OOP 王怀民800

用户界面开发与O—O方法 徐锡山803

面向智能体程序设计 邱桂友804

3．人—机交互的过去、现状与未来805

人—计算机界面的设计和发展 王 坚805

虚拟现实 邱桂友806