国防科技大学计算机学院工学博士学位论文摘要

~~国防科技大学计算机学院工学博士学位论文摘要     

国防科技大学计算机学院工学博士学位论文摘要

多数据库系统中关键技术的研究作者 :韩伟红 ( 2 0 0 0 .1 0 )导师 :杨晓东教授本文通过对多库系统中几个关键技术的研究 ,提出了新的解决方法和算法 ,弥补了目前多库系统研究领域的某些不足。针对多库系统结构复杂、实现困难的问题 ,本文提出并实现了基于ＣＯＲＢＡ的面向对象多库系统体系结构及多库系统中间件思想 ,将分布式对象技术引入多库系统之中 ,为多库系统提供了先进的面向对象程序设计方法和技术 ,大大提高了系统的可管理性、可维护性、可伸缩性和可集成性等 ,使多库系统的开发和使用变得相对简单。本文针对目前多库系统中并发控…     

国防科技大学计算机学院工学博士学位论文摘要

多路径Trace处理器作者 :杜贵然 ( 2 0 0 1 .0 5 )导师 :周兴铭教授据估计 ,未来半导体技术仍将保持持续稳定的发展势头 ,可以预期未来的芯片上将集成巨大数目的晶体管。当前 ,如何利用这些晶体管实现更高性能的处理器是体系结构研究的热点 ,也是面临的挑战。前瞻执行是提高处理器性能的一条途径。本文分析高性能处理器大量应用前瞻技术带来的问题。特别是深度前瞻技术在长流水线机器中的应用 ,使系统复杂性上升 ,前瞻错误的开销增大。针对前瞻技术的不足 ,本课题提出并研究了“多路径Trace处理器”(MPTP)模型。MPTP模型对低可预测性分…     

国防科技大学计算机学院工学博士学位论文摘要

<正> 本文的主要工作围绕高效、灵活的分布对象计算环境技术的研究展开,包括:(1)基于分布对象计算提出了分布对象层次抽象模型,定义了分布对象的抽象层次。综合Agent技术与分布对象计算深入研究了分布对象计算环境的总体框架。基于AOP技术的构件技术,通过层次抽象模型细化总体框架,提出了一种开放实现的层次式分布对象计算环境框     

国防科技大学计算机学院工学博士学位论文摘要

分布式存储环境下并行计算可扩展性的研究与应用 作者:陈军 (2000.10 ) 导师:李晓梅教授 对本文的研究与创新工作概括如下: (1)并行计算模型是研究并行计算可扩展性的基础.本文在深入分析已有并行计算模型的基础上,对常用并行计算模型进行分类,指出了它们的适用范围和优缺点. (2)深入分析了可扩展性与执行时间、可扩展性与单机性能之间的关系.结果表明:如果片面强调执行时间或单机性能,可能会对可扩展性带来不利的影响.从理论和实验上分析了任务和数据分配策略对并行系统可扩展性的影响. (3)首次从费用有效性的角度提出了近优可扩展模型.它不仅可以描述并行系统的可扩展能力,而且可以根据小规模系统的性能指标,预测更大规模应用问题在接近最优条件下运行所需要的处理机数目,从而帮助用户实现合理的处理机配置. (4)提出了三种可扩展性度量方法,即时间可扩展性、效率可扩展性和收敛可扩展性.原有可扩展性度量方法难以衡量由算法实现差别导致的并行系统可扩展性的差异,新方法弥补了上述不足,并且有易于度量的优点. (5)提出了一套可扩展性分析准则,它可用来帮助确定并行系统可扩展性低的原因. (6)采用上述方法分析了核物理和CFD领域中的三个并行应用程序的可扩展性,并验证了上述结论.这三个程序分别是二维电磁等离子体粒子云网格法程序、跟踪界面活动网格法程序、三维高超声速流场数值模拟程序.同时对它们进行了资源需求分析. (7)针对异构系统,改进了一种性能模型,并提出了一种静态分配策略.实验结果表明, 这种分配策略可以较好地实现负载平衡.分析和发展了资源受限条件下有效利用资源的方法 .对一些典型算法的分析表明,这种方法可以预测在资源受限的异构计算环境下,并行算法获得最短执行时间所需的处理机数目. (8)异构计算是当前的研究热点,以往的可扩展性研究集中对同构系统的分析.本文针对基于同构网络的异构机群系统,提出一种可扩展模型.对一些典型算法的分析表明,该模型可描述算法在异构系统上的可扩展能力. (9)实现了超声速高阶面元法程序和欧拉方程数值模拟程序的并行化.并行化过程中考虑了并行程序的可扩展性,探索了可扩展性研究指导并行程序设计的应用. 面向网络计算的移动智能体研究与实现 作者:吴刚(2000.10 ) 导师:吴泉源教授 本文围绕移动智能体的以下五个问题进行了探讨: (1)什么是移动智能体与移动智能体系统?文中分析了移动智能体的本质特性,通过形式化方法认识了移动智能体的核心属性与行为模型,给出了移动智能体的计算模型与生命周期模型,澄清了移动智能体系统的基本组成. (2)为什么要引入移动智能体?本文对移动智能体的效用作了深入地探讨,认为移动智能体并非一个全新的、替代性的计算模式,而是对当前网络计算模式的一个有益补充与归纳. 其优势在于提供了一个网络时代的通用计算框架,使得基于信息的分布式系统可以简单地、有效地建模与实现,智能体的迁移为分布式应用带来一些新的特性,如系统配置的灵活性. 文中除定性分析,还给出一个分布式应用的性能模型,通过实验模拟定量地说明移动智能体的效用. (3)移动智能体的形式化理论研究.本文以并发理论为研究起点,通过对Polyadic π演算的变种与扩充,得到一个异步的、高阶的π演算,用它作为智能体系统的形式化基础,可以直接描述智能体的通讯、移动和交互等特性.在此基础上,本文还给出了一个简单的AHπ演算的类型系统,使得对移动智能体系统中资源存取限制的形式化推导成为可能,其中的突出之处是引入了可递归类型. (4)移动智能体支撑系统的实现问题.本文在这部分给出了移动智能体支撑系统的基本体系结构,介绍了一种基于Java的移动智能体系统实现-Aglets.然后,讨论了移动智能体编程语言的选择标准,具体分析了Java语言作为一种移动智能体编程语言的优缺点,还介绍了主流移动智能体系统之间的基于CORBA的标准化进程.研究了由于智能体的自主移动所产生的可靠通讯问题,提出了一个用于移动智能体位置管理与可靠通信的新算法,它能保证在智能体的移动行为不可预测的情况下,可靠地完成信息传递,并承诺信息传递的exactly-once 语义. (5)如何应用移动智能体技术?提出了一个基于CORBA和移动智能体的分布式网管解决方案、一个基于移动智能体和工作流的电子商务解决方案、一个基于移动智能体的个性化数据处理计算模型.     

国防科大计算机学院工学博士学位论文摘要

国防科大计算机学院工学博士学位论文摘要地理信息系统的面向对象设计原理、方法和实现作者：王峰（１９９６．１０）导师：陈火旺教授地理信息系统（ＧｅｏｇｒａｐｈｉｃａｌＩｎｆｏｒｍａｔｉｏｎＳｙｓｔｅｍｓ，简称ＧＩＳ）是以采集、存储、管理、分析和描述整个或...     

国防科大计算机学院工学博士学位论文摘要

区间逻辑的证明技术与工具作者：胡成军（１９９９．５）导师：陈火旺教授近年来,在实时系统的形式化规范和验证领域,一族实时区间逻辑正引起人们越来越多的重视。这些逻辑采用了线性实时区间作为基本的时间模型,可以很方便地描述系统的时序上下文性质,具有很强的表达...     

国防科大计算机学院工学博士学位论文摘要

国防科大计算机学院工学博士学位论文摘要大规模并行处理系统高速互连通信技术的研究作者：刘燕（１９９８．３）导师：杨晓东教授研究和实现高性能的互连通信是提高ＭＰＰ（ＭａｓｓｉｖｅｌｙＰａｒａｌｅｌＰｒｏｃｅｓｓｏｒｓ）系统性能及其实际性能加速比的关键技术...     

国防科大计算机学院工学博士学位论文摘要

嵌入式 Java芯片的设计及其关键技术的研究作者 :李宗伯 (2 0 0 0 .5)导师 :胡守仁教授　　通过对即时编译技术的深入分析 ,本文提出了一种新的设计思路 :采用简化的“瘦身”即时编译技术使硬件设计摆脱 Java虚拟机固有的性能缺陷 ,根据 RISC的设计原则对新的芯片体系结构进行最优化的设计 ,使它具有结构简单 ,性能高效的优点 ,能较好支持本地程序的运行。同时通过对 Java虚拟机进行适当的支持 ,有效提高编译后代码的性能 ,减少芯片与 Java虚拟机之间在体系结构上的差异 ,从而有效简化即时编译器 ,减少即时编译时间 ,降低内存开销。通过…     

国防科大计算机学院工学博士学位论文摘要

面向并行科学计算应用的并行文件系统作者:卢凯(1999.10)导师:金士尧教授　　本文针对并行科学计算应用,集中研究了在大规模并行处理系统上实现高性能并行文件系统的若干关键技术。本文深入研究了当前国际上的各种并行文件系统技术,分析归纳了其优缺点。在此基础上,我们从并行科学计算应用的I/O访问模式、面向并行科学计算应用的并行I/O服务模型及相关界面、并行I/O服务算法和cache预取算法等方面提出了提高其服务性能的若干技术。本文通过动、静态相结合的分析技术分析了若干典型并行科学计算应用的I/O访问特性,提取了并行科学计算应用…     

国防科大计算机学院工学博士学位论文摘要

国防科大计算机学院工学博士学位论文摘要大规模并行机通信结构与协议的研究及设计作者：肖立权（１９９７．１０）导师：周兴铭教授大规模并行系统（ＭＰＰ）中的同步通信能力对整个系统的性能和推广应用有着举足轻重的影响。本文将ＭＰＰ机体系结构中影响通信能力的部分...     

国防科大计算机学院工学博士学位论文摘要

分布强实时系统调度技术的研究作者 :毛羽刚 (1 999.1 0 )导师 :金士尧教授　　分布强实时系统是具有强实时约束的分布系统 ,具有巨大的处理能力和响应速度 ,灵活的可伸缩性和良好的容错性 ,在国防、航天、航空等领域得到了广泛应用。本文跟踪当前研究热点 ,以国防重点工程为背景 ,对分布强实时系统的调度理论及工程实践作了一些有益的探索和研究。强实时系统的调度理论已经获得了广泛应用。本文从工程实际出发 ,针对理论与实践存在一定差距的问题 ,提出了新的可调度性分析模型 ,考虑了各种开销 ,使得分析和计算更加准确。近年来 ,分布强实…     

国防科大计算机学院工学博士学位论文摘要

移动数据库中数据广播与复制／缓存技术的研究作者：李霖（１９９８．１０）导师：周兴铭教授移动数据库技术是近年来分布式数据库的一个新的研究热点,其研究目标是实现高可用性和可伸缩性、移动性、可串性、收敛性。本课题试图通过对数据广播和数据复制／缓存技术的研究...     

国防科大计算机学院工学博士学位论文摘要

分布式虚拟环境的建模语言、系统结构及其实现作者：王勇军（１９９８．１０）导师：胡守仁教授　李思昆教授　　由于网络技术的飞速发展,分布式虚拟环境系统及其开发工具对于虚拟现实技术的应用具有非常重大的意义。本文针对当前分布式虚拟环境系统对仿真计算单元的分布并行性开发不够充分和规范的缺点,从一个全新的角度来研究虚拟环境的建模语言及其分布式虚拟环境的系统结构,开创性地为虚拟环境技术的研究建立了一个全面可扩展的理论框架。本文将分布式系统的设计目标引入分布式虚拟环境,全面地讨论了分布式虚拟环境系统的设计方法,…     

国防科大计算机学院工学博士学位论文摘要

序列数据挖掘的模型与算法研究作者 :周斌 (1 999.1 0 )导师 :吴泉源教授　　由于数据爆炸问题的普遍性和紧迫性 ,数据挖掘技术成为近年来数据库、人工智能及决策支持领域的研究热点。序列数据作为一种常见的数据形式存在于很多应用领域。随着电子商务网上营销的发展 ,序列数据挖掘技术将面临新的应用契机。在这种背景和前提下研究序列模式数据挖掘技术 ,有重要的理论和实际意义。本课题的研究目标是 :通过对序列模式挖掘的数据模型、增量式挖掘及概率解释的研究 ,解决序列模式数据挖掘技术应用于新的商务环境的主要技术问题。在已有研究工…