中国青年计算机研究新进展 第五届全国青年计算机工作者会议论文集2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

中国青年计算机研究新进展 第五届全国青年计算机工作者会议论文集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.Razaque464

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

受诫进化 刘晓515

9 CAD/CAM519

面向对象的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 MIS733

管理信息系统项目管理 许舒人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