高性能计算机的系统分区技术研究

随着SMP和ccNUMA等高性能计算机系统的规模越来越大,为了满足用户应用动态负载平衡的需求,并同时提高系统利用率和高可用性,越来越多的高性能计算机系统采用了分区技术。本文在分析对比了各种分区技术的基础上,深入介绍了系统分区的关键技术:支持分区技术的硬件设计技术、Firmware监控层技术和操作系统技术等关键技术,并展望了其面临的问题和技术发展趋势。

分布计算软件平台StarBus及其在“数据九七”中的应用

分布计算软件平台ＳｔａｒＢｕｓ是采用分布对象技术，遵循ＣＯＲＢＡ标准的系统集成中间件。利用ＳｔａｒＢｕｓ开发分布式应用可以极大地提高开发效率。该文在对ＳｔａｒＢｕｓ系统结构进行介绍的基础上，着重阐述了ＳｔａｒＢｕｓ在数据业务综合管理ＲＫ系统（简称“数据九七”）中的应用。

Ad-hoc网络按需路由协议实现技术研究

文章首先分析了在典型的操作系统中实现移动ad-hoc网络(MANET)按需路由协议所面临的问题及其所需的系统服务。由此,提出了一种在典型操作系统中支持MANET按需路由协议的通用的解决方法。最后,在Linux下实现了此方法,这种实现方法除了装载一个小模块外不需对Linux内核加以改变。这种整洁、灵活并且具有良好扩展性的实现方法会成为研究实现MANET按需路由协议的有力工具。

Web服务运行支撑环境的研究与实现

Web服务作为一种新型的应用集成技术在近几年中已成为分布式计算领域的热点。然而Web服务的开发,部署和管理问题没得到很好的解决。本文讨论了Web服务运行时环境的构造问题并提出了一种"总线+容器+服务"体系结构。着重讨论了基于分布对象的实现适配的关键问题。自主研制了相应的web服务支撑环境产品StarWebSer-vice来验证本文的思想。

实时仿真系统参考模型

实时仿真是一个重要研究领域。我们认为复杂实时仿真系统必须分解，进行分层功能描述。因此，本文根据多年实时仿真工作经验，给出了仿真计算机的体系结构。文章借鉴PERTS[8]系统，提出了实时仿真系统的参考模型。即：TGM模型、AS算法调度器、RGM模型和RACP资源访问控制协议。文章通过例子阐述了此模型的逻辑功能和基本概念。

支持优先级的高速交换开关缓冲队列分析与设计

缓冲队列在交换开关中起着重要的作用。为了使交换开关的调度更加灵活有效,可以采用硬件方法实现缓冲排队。为了支持QOS,还有必要设计一种支持优先级的排队机制。该文在研究已有的缓冲排队方案基础上,提出一种支持优先级FIFO排队的硬件体系结构PFQ(PriorityFIFOQueue)。PFQ借鉴了移位寄存器的基本思想,按链表形式组织每个FIFO队列,通过设置高速局部总线,有效解决了头信元阻塞问题。使得采用PFQ的交换开关可以实现更加灵活的调度算法。模拟结果表明PFQ具有灵活、高效、硬件代价较低并且实现简单的优点。

逐级目标淘汰量子遗传算法

研究了如何应用量子遗传算法进行图像模板匹配,提出了逐级目标淘汰量子遗传算法。该算法充分利用了量子遗传算法的并行性质,很好地将粗搜索和精搜索结合起来,减少了匹配时间。实验结果证明了该算法的有效性。

求解三对角线性方程组的双向并行分裂法

首先回顾了Ｈ．Ｈ．Ｗａｎｇ的分裂法［８］及由Ｍｉｃｈｉｅｌｓｅ＆Ｖｏｒｓｔ给出的改进算法［９］，分析了影响分裂法及改进算法的并行效率的主要因素，然后提出了一种求解三对角方程组的双向并行分裂法（简记为ＤＰＰ算法），ＤＰＰ算法的通讯建立的次数为Ｍ＆Ｖ算法的５０％，数据传输量为其３０％，最后在工作站网络环境下实现了ＤＰＰ算法，并就并行效率与Ｍ＆Ｖ算法进行了比较，结果表明在由６台工作站组成的网络中ＤＰＰ算法性能提高可达４０％。

ICENT汉英机译系统中的语义模型

1.引言研究汉英翻译技术是让中国走向世界、让世界了解中国的有力支持.

基于MOM的HLA/RTI管理盟员的设计与实现

为了在仿真运行过程中对联盟、盟员以及RTI进行监控 ,HLA中引入了管理对象模型 (MOM) ,该模型是HLA/RTI架构中的重要组成部分。该文介绍了IEEE15 16规范中定义的MOM ,并在此基础上对其进行了扩展。结合我们StarLinkRTI的开发实践 ,提出了通过代理盟员实现MOM的设计方案 ,在该RTI中实现了对MOM的支持。最后在此基础上 ,设计并实现了管理盟员StarFM。

一种新的基于图象的虚拟场景重建与漫游框架

本文介绍了利用图象产生虚拟场景的方法，分析了基于图象的虚拟现实的结构，提出了一种新的基于图象的虚拟场景的重建与漫游框架，并对其中的深度恢复这一关键技术进行了讨论。

面向线程级前瞻的线程划分方法浅析

正确合理的线程划分方法是提取线程级并行性的必要前提,线程级前瞻技术是简化线程划分复杂度提高系统性能的重要手段。本文讨论了几种支持线程级前瞻的典型线程划分方法,在此基础上提出了线程级划分需要解决的关键问题,并结合一典型自动线程划分算法进行了具体分析,提出了线程划分需要进一步研究的问题。

一个灵活的操作系统安全框架FMAC

当前,操作系统的安全需求越来越多样、灵活和具体,它们往往只描述系统中一小部分实体之间的约束,但对安全策略的灵活性及定制的简洁性有较高的要求。传统的安全框架,如 FLASK 等,难于满足此类“轻量级”的安全需求。本文提出的 FMAC 框架专门面向此类安全需求,它定义了基于标记迁移系统 LTS 的安全策略模型,以规范和简化安全策略的定制。FMAC 框架由通用的对象管理器模型和安全策略管理器模型组成。讨论了 FMAC 在 Unix 类操作系统中的实现,通过层次式的客体组织与基于角色的主体组织,普通用户可以方便快捷地定制出满足要求的轻量级安全策略。

基于HLA的导弹攻防仿真系统的设计与实现

基于HLA建立仿真应用系统是提高作战仿真活动效率的有效途径。分析了导弹攻防仿真系统的功能,并依据HLA的基本概念、方法和原理对分布式导弹攻防仿真系统进行系统设计,建立了系统体系结构,介绍了联邦成员的分类及具体的联邦成员,并给出了FOM/SOM的设计和仿真系统的程序实现。

基于FPGA的TOE系统设计与实现

随着网络带宽的迅速增长,主机协议处理开销已经成为系统整体性能的瓶颈。为了有效增加系统吞吐率,进一步减轻CPU的负担,本文详细描述了一种基于FPGA(Field Programmable Gate Array)的TOE(TCP Offload En-gine)系统的设计与实现。实验结果表明,系统在吞吐率等方面明显优于非TOE系统。

分布式对象管理结构CORBA与DCOM的研究

本文主要分析了基于对象的分布计算结构ＣＯＲＢＡ与ＤＣＯＭ。通过对两者的体系结构和关键技术的分析，探讨它们在Ｉｎｔｅｒｎｅｔ上的应用和基于对象的分布计算技术的发展。

Wiki在教学中的协作学习与教学管理作用

Wiki是一种支持群体协作学习的网络学习平台。本文探讨将其应用于教学中,以帮助施教者进行教学管理及培养学生的团结协作精神。

基于HLA的导弹攻防仿真系统的设计与实现

基于HLA建立仿真应用系统是提高作战仿真活动效率的有效途径。分析了导弹攻防仿真系统的功能,并依据HLA的基本概念、方法和原理对分布式导弹攻防仿真系统进行系统设计,建立了系统体系结构,介绍了联邦成员的分类及具体的联邦成员,并给出了FOM/SOM的设计和仿真系统的程序实现。

“程序设计语言”课程教学方法探讨

程序设计语言课程教学应当注重能力培养,以学生能够独立地读写程序为中心目标。课程内容须少而精。上机实践不宜选用算法设计难度大的题目。文中介绍了多种获取学习状况反馈的途径。一个反响良好的措施是要求学生每天读透一个程序示例,并在下一次课上随机抽取学生上台讲解。