中国青年计算机研究新进展 第五届全国青年计算机工作者会议论文集PDF电子书下载

1 计算机体系结构 1

智能工具机数据缓冲部件的设计与实现 张晨曦 1

多微处理器系统中的一种新的通讯机制 薛一波 6

四余度容错计算机(QTCS)同步技术研究实现 王国庆 11

多处理机cache并发模拟器的设计 肖立权 15

100MIPS和10MIPS：谁快？ 刘德才 20

面向图形处理的并行体系结构：GOPA*王恺 24

FlexArch：一种灵活可变的RAID体系结构 金海 27

非相似余度容错计算机系统NSFCS设计 林坚 30

2 并行与分布处理 33

一种用于分布共享存储系统中的存储器一致性算法 邢浩 33

面向共享变量的伪共享存储体系(PSMA)的实现 应必善 39

一个实际多机系统的设计研究 经彤 44

多用户并行加速机的研究与实现 朱怡安 48

PAR-95并行机全局同步机制研究 朱文生 53

结构化方法及其在并行编译系统中的应用 周诚彪 57

并行程序设计语言MPPC的设计*郄春明 62

多处理机环在求解大型非对称稀疏线性方程组中的应用 李荣 67

数组私有化 陈彤 71

最小循环分布与最大循环合并 臧斌宇 76

并行程序设计环境Para PIE 顾曙焱 81

容错机制在静态任务分配中的实现 王千祥 86

程序变换的形式化方法及循环的标准型 乔东海 90

一个并行程序性能调试软件的设计与实现 谢澎 95

UNIX在多处理机系统结构上的实现 黄光奇 99

一个实时分布式测控系统的设计 胡飞 102

一个实际分布式操作系统的研究与实现 经彤 105

多目标跟踪计算机数据处理系统软件的研究与实现 崔西宁 107

并行面向对象语言的实现探讨 尹为民 109

基于RISC处理器的并行机调试软件 杨申 111

一个并行计算系统通讯机制的研究与实现 张金民 114

3 计算机网络与通讯 117

基于SPX的消息通讯 白剑波 117

缓冲型ATM交换网络的性能分析 刘亚社 123

主机与局网数据通信设计 吴先旺 128

自动切换CSMA/CD-Token Bus混合型MAC的研究 金正谊 133

在Novell NetWare下实现自动切换CSMA/CD-Token Bus混合型MAC协议 金下谊 137

YH-F2外部通讯的分析 丁蓉 140

对DEC net网络软件路由层算法的分析及改进 朱晓云 143

CIMS网络 牟连佳 146

一个基于客户/服务器模型的TUBEN系统 邢国光 149

优先化计算机局网协议的设计与实现 王春生 153

FDDI及其接口板设计 孙利民 156

无线网络技术及应用 张军伟 159

工业控制网络协议MAP的研究与设计 顾水林 161

基于Ethernet的实时分布式系统设计 张博 164

VP/ix在网络中的应用 王隆基 167

一种实现Novell网络经X.25网连接NET400电子邮件系统方法 尚明 172

4 软件工程 175

高性能FORTRAN-HPF 金国华 175

协议测试的设计方法 常霞 180

支持面向智能主体程序设计的分散计算环境 王怀民 184

实时并发软件质量保证的策略、模型和框架 廖彤山 189

关于超级计算机自适应操作系统几个问题的讨论 吴涛 194

基于一遍扫描的高级语言源程序转换系统的研究 赵政文 198

UNIX SVR4文件系统实时化 朱庆九 201

智能工具机系统软件的结构与设计 邹鹏 206

实时图形模拟开发工具 陈凌烽 210

结构化方法与形式化方法RAISE的结合 李景洲 215

图形化软件设计工具PADT的研究与实现 傅兵 219

计算机辅助学习考试系统通用集成环境(CALTE)的设计与实现 谢赞福 224

HORN子句在多色网的表示与处理 姚世军 229

再次工程：获取可重用软部件的有效途径 刘阳 232

软件可靠性预测方法研究 孙怀义 237

开放式集成化软件测试环境 王静 240

支持case环境的需求定义方法 刘方爱 243

多功能软件模块的自动识别和分解 于潇 246

净室技术在巨型机系统软件生成过程中的应用 李松树 248

一个原型速成工具 许创 251

计算机系统内数据输出转换的一种优选方法 姚益平 254

需求分析工具OUR系统的设计与实现 吴永辉 256

计算语言学应用中的模块化概念 刘海涛 259

操作系统演化过程中的膨胀与收敛 刘西洋 261

UNIX进程调度策略性能分析 黄光奇 263

一种新的软件开发增长模型--硬核加保护带模型 宋万辉 266

VHDL语言分析器自动生成中产生式的书写及冲突处理策略 牛振东 269

5 面向对象的程序设计 271

面向对象逻辑程序设计系统GKD-OOPS的设计与实现 周立 271

一种基于对象的分布式系统描述及求精方法 杜兴 276

面向对象的可视化应用平台 施军 283

一个并行C？语言系统的设计与实现 李经纬 288

基于C？的持久程序设计语言XDPC？ 陈睿 293

MEXT：对X Toolkit的消息扩展 张寒松 297

面向对象的原型化软件开发过程及其环境的设计 伍军 301

面向对象软件的测试 叶坚 304

面向元对象的程序设计概念 赵银亮 307

面向对象的原型合成技术的研究 姚淑珍 310

用面向对象技术开发的编译式菜单生成工具 孟宏文 313

Demeter/C？法则检验与转换工具 龙舜 316

6 VLSI与器件技术 319

时态逻辑验证与测试生成 何新华 319

用行波流水设计法获得200MHz、2.8倍常规频率的环路流水线电路 陈书明 325

一种快速的组合电路故障模拟算法 石茵 330

测试图形程序的抽象及再实现 孙育宁 335

测试生成中功能单元的描述 崔晓天 340

程控交换机信号中继器专用芯片的设计 孙盛兵 345

基于VLSI测试系统仿真器的测试程序脱机调试 马玉海 347

计算机辅助马氏可修系统有效性的计算 丁瑾 349

7 数据库 351

HyperText数据库技术及面向对象的实现方法 张曙光 351

地理数据模型的概念框架和比较 王峰 355

异构数据库集成系统中的冲突处理技术的研究 廖卫东 361

一个工程数据库管理系统的结构设计和实现技术 顾宁 366

OSCAR系统的对象版本管理功能 周波 371

空值环境下用于关系数据库的多值逻辑 马宗民 376

DCDL：FOXBASEG到ORACLE的数据转换描述语言 曲峰 380

ER数据模型的自动生成 董春阳 385

基于矩阵关系模式到2NF的分解 刘永山 387

一个基于对象代数的面向对象查询语言ASQL及其查询优化 李庆忠 389

面向对象的三级地理对象数据模型 杨树强 391

主存数据库EDST-MMDB的设计与实现 王升 393

范畴型数据库管理系统及查询方法 李刚 396

类、对象和继承性等的数据模型 寿宇澄 398

数控线切割加工中的面向对象数据库研究 赵永顺 401

律师辅助系统的一个超文本数据库模型 曾丽芳 404

8 人工智能 407

类比匹配的计算模型 李波 407

一种面向对象的元知识表达方法及其应用 焦建新 413

NR-EBL：适应噪声环境的解释学习算法 张旗 418

分布式环境下的近似推理 张自力 422

神经网络在模糊控制器中的应用 杜敏 427

强极小模型上的限定理论 张玉平 431

用效益分析法求解一字棋问题研究 刘永怀 436

具有缺省推理的扩充逻辑程序 沈宁川 440

一个实用的博弈树搜索算法设计与分析 肖齐英 445

适于一类逻辑程序推理的诱导推理算法 张宏 449

基于费歇准则的全局最佳鉴别矢量 邬永罩 454

基于故障相关性的多故障诊断推理 徐越 458

DESIGN OF EXPERT SYSTEM IN NETWORK MANAGEMENT FAULT ISOLATION M.A.Razaque 464

ARP算法在特定环境下的最优学习 刘晓 475

智能诊断系统中的模糊推理 韩凡石 479

一个基于神经网络的智能系统 倪志伟 483

影响图辅助知识获取软件系统 于睿箭 485

比率分析指标体系的规则化表示及其数据库实现方法 陈俭 488

一个用于故障树自动生成的专家系统环境原型 简志敏 491

一个基于概念结构的专家系统工具 张蕾 493

解释型专家系统的一般设计原理 王仕军 496

解释学习中的效用分析 郝继刚 499

用基于Petri网的代数方法验证产生式知识库 蔡之华 502

航天领域群体专家系统的模型研究 石宇良 505

空气动力分析专家系统知识编译器研究 桂业伟 507

数据库中知识的归纳学习方法 孟海军 509

基于神经网络的仿真输出分析 鲍居武 511

专家系统知识表示与上下文无关文法的研究 曾仁京 513

受诫进化 刘晓 515

9 CAD/CAM 519

面向对象的CAD/CAM系统分析与建模方法研究 杨海成 519

双向优化法实现二维布局求解 曹尚稳 524

基于OPE模型的用户界面库 唐卫清 528

一种新的直线与旋转面快速求交算法 贾金原 533

实用的NURBS曲面GC1光滑拼接算法 周西军 539

并行工程中基于过程的图形仿真产品模型 郑飞 544

叶片精铸模CAD/CAM系统 范彦斌 548

机械图纸智能处理系统MDPS 徐建锵 552

特征造型系统的研究与开发 张继禹 556

面向对象的加工特征设计与实现 王争鸣 562

一类离散制造系统Petri网的形式化设计方法 李志武 567

针对产品的CAD/CAM一体化技术 付世波 571

专家系统在汽轮机滑动轴承设计中的应用 奚梅林 574

字符轮廓产生的新算法 张卫东 576

CAD系统中一种数据管理模式的探讨 秦清 578

空间离散点的B样条插值及曲线的偏置算法 张利波 580

基于TANGO的电路智能CAD系统的实现 罗叶兴 582

飞机总体外形设计系统ACDS及其集成 张伟 585

多项式自动因式分解的算法 阎林 586

有限元前处理系统的研制 应济 589

通用有限元后处理系统的开发及其应用 陈子辰 591

轴对称锻件锻模CAD应用系统研究 张华 593

一种有效的多面体Boolean运算算法 李茹 596

基于特征描述的电机CAPP系统 许桂民 598

试论CAD软件包中实现工程数量全自动统计的方法 董乃进 601

一种高低压配电设备计算机辅助设计方法 熊瑞萍 604

区域图形边界曲线的规范化算法 楼新远 607

PHIGS观察流水线的算法设计及实现 汤幼宁 610

10 计算机科学理论 613

关于交替的ω-有穷自动机 周清雷 613

分治算法的一般框架 王晓东 617

因果图到判定表转换算法的设计和实现 杨云 622

并行计算模型ABCM/1的图文法描述 王克文 626

算法程序设计的思维工具--循环不变式 李云清 629

关于移位函数的上界 王克文 632

三色树结构 王晓东 634

单语言的几个结论 李雅瑞 636

11 计算机安全与保密 639

计算机免疫系统的特异码生成算法及改进 陈俊华 639

数据库系统的加密研究与实现 谭亚军 645

UNIX SYSTEM V中审计软件包的模型与实现 李晓勇 649

采用系统理论思想实现新一代防病毒技术 王孝通 654

主密钥管理方法初探--(t,w)门限法和F-H法 戚海蓉 658

可执行文件的加密与病毒防范 李强 660

微机局部网络(LAN)结构中数据加密的一种设计方案(WLAN-RD) 魏建祥 663

数据文件加密技术的新方法--压缩式随机组合加密 黄贤英 666

12 多媒体技术 669

超文本形式模型研究 余盛可 669

IPL图象处理语言的研究 谭国真 675

计算机动画图象插补算法 王柏 679

图象子带编码与小波分析 沈沛意 684

基于相似变换的分形图象压缩技术 李学军 689

分形几何在三维真实感地图生成中的应用 张晓绩 693

应用光线跟踪技术生成真实三维图象的算法 李荣 697

多媒体技术与MIDS/BUAA系统中的多媒体支持 车敦仁 702

利用二维熵信息自动选择灰度门限的快速算法 李小文 706

多媒体技术及应用 龙甫荟 710

一种描述图象四叉树的方法 黄继武 714

一种适用于高噪声环境下语音识别的方法 韩兵 716

多目标提取与识别 潘安君 719

人体通用断层图象计算机三维重建系统 张广泉 722

沃尔什变换核矩阵递推性注记 谭国真 724

基于并行分布式处理的灰度图象识别系统 徐涛 726

超媒体系统AMIS的模型构造与实现 赵亮 729

13 MIS 733

管理信息系统项目管理 许舒人 733

智能管理系统的大系统模型 杨泽红 738

铁路工程造价估测专家系统ESORC 魏庆朝 743

决策支持系统的问题处理系统的研究与实现 彭和平 747

STEP及其前后置处理器的设计 王能健 752

以仓库为核心的MIS系统开发模型*赵洪彪 755

计算机集成后勤支持和CALS计划 李善平 758

“转炉炉衬监测诊断专家系统”与专家数据库系统 李强 762

面向CAD/CAM的DSS研究 覃征 766

在RDBMS中开发具有层次型数据模型的应用软件 郭今昌 770

一种基于逻辑的决策支持系统生成器 沈惠璋 774

管理信息系统开发策略研究 寇应展 777

一个基于动态模型的作业计划决策支持系统 钟雁 780

一个实用的管理信息系统 杨新发 783

会计分析决策支持系统(AADSS)的分析与设计 王瑛 785

何宏邦诊疗《胃脘痛》类症方药专家系统的研制 李延珩 787

DSS中相关数学模型的建立与求解 皇甫静 789

航班计划计算机辅助决策支持系统 翁新华 791

决策支持系统的工效学设计 钱大琳 793

微机通用财务管理系统 吴顺祥 795

计算机在自来水行业档案管理中的应用 张惠 797

邮政制单系统的设计与实现 张水平 799

图书采编管理系统中的汉字排序及CN-MARC转换技术 张建中 801

鲸类行为记录分析系统的设计 王克雄 803

14 计算机应用 805

可视化系统CFDVT的研究及实现 吴庆波 805

方形码自动识别系统实现技术 吴庆祥 810

建筑物垂直顶升的集散型计算机控制系统 徐太生 814

火电厂主厂房框架计算绘图一体化软件的研究与实现 李蕾 819

DLLS--DOS的动态连接库系统 山美娟 823

多功能插件测试系统的设计与实现 陈珉 826

基于GPS的多功能综合勤务系统 屈强 830

单片微型计算机在自动生产线中的应用 危建国 834

基于XWindow系统的代码转换系统的实现 董美婷 838

一个实时测控系统在进气道斜板调节试验中的应用 胡飞 843

大幅面彩色图象印刷的色彩合成技术 刘小丹 848

智能化四通道γ辐射监测仪 袁晓鑫 851

MHS中远程独立用户代理管理O/R地址的一种实现方法 尹海洋 855

石油钻井液数据库应用系统的设计 李天太 861

新一代计算机有关研究领域的相关性研究 聂培尧 865

多变量函数生成算法研究 肖骊 869

大功率RF激励快轴流CO2激光器的控制系统 叶安 873

为用户制作简易、实用的目录Window*董效林 875

石油钻杆计算机自动测控系统研究 王杰 877

基于独立性检验的改进批平均法 鲍居武 880

单片机在电子电话机拨号上的应用 程启明 883

计算机在鱼雷自导系统中的应用 陈建锋 886

智能电动执行器串行通信设计 刘卫东 888

一个面向对象的钻井工程软件包的构成 李钧 890

15 中文信息处理 893

用户自定义输入法的设计与实现 吴健 893

用BORLAND C？实现四码拼词汉字输入方法的通用挂接 李先国 898

一种手写汉字识别的后处理算法 杨云 902

一种汉字识别疑难语段的确认方法及其实现 金雄伟 905

四码拼词汉字输入系统的编码和字词库的设计和实现 李先国 911

天开汉字输入编码及其实现 刘世民 914

自动机关于汉字输入模型的描述及实现 赵合计 920

藏文、汉字、西文计算机混合处理系统藏文字模与打印驱动的研制与实现 袁文君 925

一个通用造字系统及在甲骨文中的应用 郑芳林 930

基于ISO 10646编码的中文系统的实现 吴筱萌 932