曙光机群系统并行调试器的设计与实现

介绍了为曙光机群系统设计实现的并行调试器DCDB。DCDB同时支持调试MPI或PVM、C或Fortran的并行应用程序，实现了记录／重放并行调试功能，支持循环调试，解决了并行调试时并行程序的不确定性问题。DCDB采用Client／server／Client结构，具有友好的图形用户界面，系统主要采用Java语言开发，具有良好的可移植性和可扩展性。     

优化记录法在PVM中的改进和应用

并行程序的不确定性使其调试时不能象串行程序调试那样通过反复执行程序来查找错误，因此，记录并重演是并行调试的关键技术，而这一技术的最大开销就是事件的记录．本文结合PVM（Parallelvirtualmachine）的特点，改进了Netzer等人提出的优化记录法，使事件记录在出现非传递的消息竞争时也是最优的，并保证同一进程发送消息时，不会象原算法一样可能进行记录，同时，还在PVM并行调试环境中实现了该方法．     

基于曙光-2000上的两种并行消息传递模型

当前最流行的网络并行计算消息传递模型是PVM和MPI，通常使用者认为PVM和MPI仅是代表了解决相同问题的不同解答方案。而该文结合曙光－2000（分布式大规模并行计算机系统）所用的消息传递型编程模型，从PVM和MPI的设计目标，起源，规范、动态进程，非阻塞操作等几个方面来说明这两种程序设计方法有许多明显区别点，通常用来解决不同的问题。     

一种典型并行程序风范--"管理者-工人"的设计模式开发与实现

PVM／MPI并行编程方法是目前编程人员广泛使用的方法之一，但此方法将并行性开发的任务完全交给编程人员．由于系统开发方法的缺乏以及编程人员水平与风格的差异，软件的质量与效率往往难以得到保证。为此，本文在PVM／MPI并行编程方法研究的基础上，引入了设计模式的思想，并针对一种典型的并行程序风范——“管理者-工人”设计模式的思想进行了定义、描述与实现。编程人员通过使用本文实现的设计模式，极大地减轻编程负担，有效地提高并行程序的可编程性，有利于在解决可适用管理者-工人并行程序风范的一类问题时得到结构良好的并行程序。     

MPI程序设计简介

一、MPI简介 MPI是国际上通用的一种基于消息传递的并行程序设计运行环境。与PVM不同，MPI不是由少数厂商控制的私有程序，而是由国际组织MPI论坛（MPI Forum）维护的一种国际标准。像C语言一样，有许多厂商为其提供实现版本，比较著名的有LAM-MPI和MPICH等。MPI的实现版本往往包括两部分：程序库和运行环境。MPI并不是语言而是程序库，它可以和常见的程序设计语言如C，Fortran相结合而构成并行程序设计语言；运行环境可以看作是一个介于操作系统和MPI并行程序之间的中间件，为MPI程序运行提供支持。     

Linux机群系统并行程序调试器的设计与实现

介绍了在基于Linux的机群系统中，并行程序调试工具XBUSTER的设计与实现，包括调试器的基本结构及在实现时所涉及的一些关键技术。XBUSTER具有一般调试器的基本调试功能，可以调试用C／Fortran语言编写的PVM或MPI，对并行程序的各个进程能够单独或同时进行调试，并且能够实现进程的动态调试。该系统已在运行Linux系统的清华集群计算机系统上运行，具有较好的实用性。     

支持多种并行程序设计模式的可移植并行调试器设计与实现

MPDG是为高性能并行巨型机系统设计的调试工具,其设计指导思想是：1．采用Client/Server结构,实现系统的可移植性,具体表现为将用户界面,并行调试管理与调试监控服务分离,调试监控采用目标系统支持的调试器;2．以同一的使用方式支持多种并行程序设计模式应用,针对共享内存的并行目标应用（如OpenMP程序)和基．于水息传递的分布式目标应用（如PVM或MPI程序）,提供风格完全一致的调试手段;3．实现图形用户界面,MPDG的GUI分为3级,即主界面,进程集,单个进程,进程集控制特别适合具有相同执行流和用户视图的并行进程的调试。     

软件DSM系统的重放

软件DSM系统的并行调试环境已经成为制约其广泛应用的一个重要因素，重放方法使得用户能用循环调试技术来调试具有执行不确定性的软件DSM程序，本文定义了软件DSM程序执行的happen-before-1关系，并依据其提出一种在软件DMS系统JIAJIA上实现重放的方法，实际应用测试表明，该方法产生很小的空间和时间开销。     

基于事件模型的可视化并行调试技术

并行程序存在资源竞争、时序紊乱、死锁等复杂问题，加上并行程序的不确定性，给调试带来了很大的困难．基于事件模型的可视化并行调试技术ＥＶＴＰＤ（ｅｖｅｎｔ—ｂａｓｅｄｖｉｓｕａｌｉｚａｔｉｏｎｔｅｃｈｎｉｑｕｅｓｏｎｐａｒａｌｌｅｌｄｅｂｕｇｇｉｎｇ）为解决这些困难提供了一个途径．ＥＶＴＰＤ的基本要素是事件监视与可视化重放．本文讨论了事件监视与可视化重放中的关键技术；事件描述、事件过滤、事件识别、时戳、记录重放、执行重放和视图定义，并且给出了一个基于工作站机群系统的并行调试器的结构．     

一种基于检查点的并行程序调试器的设计与实现

为支持大规模长时间运行并行程序的调试，有必要将检查点机制引入到并行程序调试器中，检查点设置与卷回应用中需要解决中途消息，孤儿消息和多米诺效应，活锁4个问题，并行程序调试中需要解决不确定性问题，提出的基于状态冻结的确定性检查点设置方法，可以避免检查点应用中孤儿消息和多米诺效应，活锁3个问题，通过消化记录的方法处理中途消息问题，采用记录／重放方法解决并行调试中的不确定性问题，基于状态冻结的确定性检查点设置方法，有效地解决了并行程序调试器和检查点结合时产生的诸多问题，该方法具有结构清晰，易于实现的优点，基于此技术，设计并实现了一个并行调试工具－DENNET。     

并发Java程序动态分析及重演技术研究

Java语言在并发程序方面的广泛应用对软件测试提出了新的挑战。众所周知,由于并发程序的不确定性,使得并发程序的设计、开发、调试和测试都非常困难。文章介绍了Safepro／Java中的多线程测试技术,通过对Java源程序进行适当的修改并且保持语义不变,跟踪并发Java程序的运行过程,收集有关数据并对数据进行分析,最终控制并发Java程序的重演。     

跳水运动员运动训练管理信息系统的设计与实现

论文根据跳水运动员训练的实际需要,结合网络、数据库、计算机、多媒体、图像处理等技术,提出了一个基于B／S模式的跳水运动员运动训练管理信息系统,并提供了一个训练信息处理平台。在基于Browse／Server结构的跳水运动员运动训练信息管理系统的设计与实现过程中,较为详细地分析了系统功能结构,功能子系统组成,系统信息来源、结构及流程,同时还阐述了系统功能结构、网络结构、连接方式和系统软件功能的设计,介绍了在该交互式Web系统设计中使用的Web—数据库以及ASP动态主页技术,并结合实例对有关设计工作进行了说明。     

一种CIM集成基础结构的设计与实现

在计算机集成制造系统中,CIM（computer integrated manufacturing）集成基础结构是最主要的支撑环境之一．介绍了由哈尔滨工业大学设计和开发的开放式CIM集成基础结构——HIT－IIS．2．该原型系统为CIM系统提供了以下一些服务功能：经营过程控制、企业活动控制、资源管理、定义描述与维护、全局系统信息服务、通信管理以及系统前端接口等．详细描述其中的每一服务功能     

符合MMS制造报文规范的恒温恒湿监控系统

该文在简述国际标准协议制造报文规范（MMS）的基础上,按照虚拟制造设备（VMD）的策略,在局域网环境中实现了基于MMS的单元式空调机集成监控系统,以满足恒温恒湿的要求。在此基础上,还进一步研究和实现了Internet／Intranet环境下基于Web的MMS原型监控系统。原型系统的实现为MMS的进一步推广应用打下了基础。文中同时详细说明了各种环境下系统的硬、软件结构及其工作原理。     

移动机器人THMR-V的组合定位系统

定位系统是室外移动机器人中不可缺少的组成部分,是车辆定位与导航的基础。文章介绍了清华移动机器人THMR－V的定位系统,它是由GPS、磁罗盘、光码盘组成的。GPS能够提供比较精确的绝对位置,但是采集数据较慢,而且可能由于遮挡等原因而失效或跳变。磁罗盘－光码盘系统（CEPS）通过航位推算计算车体位置,在短期内定位效果较好,但是存在积累误差。通过GPS／CEPS组合定位,取长补短,从而整体上达到良好的性能。在THMR－V上经过一年多试验证明,该系统具有较高的准确性和稳定性,满足移动机器人的定位与导航的需要。     

基于Java技术的分布式异构数据库Web访问技术

文章简要介绍了Servlet和JDBC的技术原理,分析了Applet实现的二层Client／Server结构的Web环境下数据库访问技术的局限性,并由此讨论引入三层Client／Server结构加以解决,最后给出了基于Servlet和JDBC技术的分布式异构数据库Web访问技术的实现模型.     

Java技术的基于Web的网络管理应用

文章论述了网络管理的新趋势──基于Web的网络管理（Web－Based Management）的主要特点,实现WBM的主要方法及与WBM相关的实现技术,并探讨了用Java技术实现WBM的网络管理模式。     

基于UML和组件技术的软件开发环境IUMLSE的研究与实现

统一建模语言UML（Unified Modeling Language）正逐步成为面向对象技术领域内占主导地位的建模语言。而组件（Component）技术的蓬勃发展使基于组件组装的软件开发成为可能。两者正无可争议地成为当今和未来软件开发的主流技术。文章对UML和组件技术进行了描述,探讨了两者在软件开发中的作用和相互之间的联系,以及新一代的软件开发环境应该如何对两者提供支持,然后详细介绍了基于UML和组件技术的软件开发环境IUMLSE的设计和实现。     

基于代理的针对WWW服务的IPv4/IPv6过渡机制

文章讨论一种针对WWW服务的从IPv4到IPv6过渡机制的设计和实现。论文分析了过渡过程的基本问题，就浏览器对统一资源定位符（URL）中输入请求的格式处理进行了探讨，并提出了基于浏览器的插入代理服务器模块的设计方案。论文还研究了IETF关于统一资源标识符（URI）格式的规定，按照RFC 2396和RFC 2732的要求对于有关IPv6的URI格式字符集在过渡模块中进行了定义和支持。论文最后对今后发展趋势和工作方向作了进一步的展望。