一个基于DOS的分布式操作系统的设计

本文针对多机并行处理系统ＭＰＳ－１这种通用结构环境，基于ＤＯＳ进行了一个分布式操作系统ＭＤＯＳ的方案设计，阐述了ＭＤＯＳ的系统结构，资源管理，进程控制与文件系统结构，实现了打印机及文件的共享。为ＤＯＳ用户开展分布式应用提供了一个示例，有现实意义。     

一个基于DOS的分布式操作系统的设计

本文针对多机并行处理系统ＭＰＳ—１这种通用结构环境，基于ＤＯＳ进行了一个分布式操作系统ＭＤＯＳ的方案设计。阐述了ＭＤＯＳ的系统结构、资源管理、进程控制与文件系统结构，实现了打印机及文件的共享。为ＤＯＳ用户开展分布式应用提供了一个示例，有现实意义。     

对象技术在分布式系统中的作用

对象管理集团公司（ＯｂｊｅｃｔＭａｎａｇｍｅｎｔＧｒｏｕｐ－ＯＭＧ）是一个致力于解决分布式环境中互操作问题的非盈利性协作组织，它遵循一个新的技术途径，即对象技术，产生了公认的基于可商用对象技术的事实标准。它的一套面向对象的标准化语言、接口和协议的基础是一种称作通用对象请求代理结构（ＣｏｍｍｏｎＯｂｊｅｃｔＲｅｑｕｅｓｔＢｒｏｋｅｒＡｒｃｈｉ－ｔｅｃｔｕｒｅ—ＣＯＲＢＡ）的通信约定。ＣＯＲＢＡ在具有不同的操作系统、语言、网络协议和硬件结构的系统间提供了应用层的互操作性。ＯＭＧ未来的计划是运用这些有力的服务和功能支持应用程序员的设计开发。     

基于Web技术的办公信息系统

本文阐述基于Ｗｅｂ技术，采用Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ结构的办公信息系统的开发技术和实现方法，经出了一个用ＨＴＭＬ的ＦＯＲＭ结构和ＣＧＩ接口来实现服务器与客户端交互功能的信息系统模型。     

PGR机中多处理机调度的研究

多处理机调度是多处理机系统中一个非常关键的问题，本文提出了多处理机调度的一种动态负载分担模型，并以并行图归约机ＰＧＲ为背景，设计了一个分布式动态调度算法ＡＵＴＯ经过详细地模拟之后，用Ｏｃｃａｍ语言实现在ＰＧＲ机仿真实验系统上，模拟和实现结果都证明动态负载分担模型是一个非常有效的多处理机调度策略，在本文中给出了部分模拟和实现结果。     

动态分布式系统中多层次配置文件的形式描述及管理

介绍了分布式程序设计模型ＥｘＧＯＭ（ＥｘｔｅｎｄｅｄＧｒａｐｈ－ＯｒｉｅｎｔｅｄＭｏｄｅｌ）中一种新型多层次配置文件的结构及相关的配置描述。基于树型结构的多层次的配置文件为分布式系统的动态重配置提供了灵活,清晰的结构和丰富的基于图结构的配置操作,一个树型结构的分布式应用的配置文件包含若干人处于不同层次的深度不大于２的子树,这些子树通过装配对规则可装配成一棵大树,它就是分布式应用程序的逻辑图结构,通     

基本图的图表示与项表示的相互转移算法

基本图是一种描述并发交互诉形式化方法,它具有描述简洁、清晰和直观的特点,在基本图中,进程以及进程间的交互行为,既可以用图表示方法（其中一个图对应一个进程,图之间的归约对应进程之间的交互行为）,又可以用项代数来表示,本文对基本图的图表示中进行了一些改动,并在此基础上给出了这两种表示方法之间的转换算法,同时实现了具有创建、编辑和转换功能的基本图规范描述工具。     

基本图的图表示与项表示的相互转换算法

基本图是一种描述并发交互系统的形式化方法,它具有描述简洁、清晰和直观的特点.在基本图中,进程以及进程间的交互行为,既可以用图表示方法(其中一个图对应一个进程,图之间的归约对应进程之间的交互行为),又可以用项代数来表示.本文对基本图的图表示中进行了一些改动,并在此基础上给出了这两种表示方法之间的转换算法,同时实现了具有创建、编辑和转换功能的基本图规范描述工具.     

生物大分子图形软件的研制

我们设计了生物大分子图形显示软件（ＢＩＯＭＯＬ）．程序用ＦＯＲＴＲＡＮ７７语言编写，分为在ＶＡＸ计算机和ＳＧＩ图形工作站上运行的两个版本，该系统具有结构显示、几何操作、部分结构显示以及多模型显示等功能．     

带赋值符号迁移图的局部优化算法

带赋值符号迁移图（ＳＴＧＡ）是刻画一般传值进程的抽象计算模型,在ＳＴＧＡ上可以用“ｏｎ－ｔｈｅ－ｆｌｙ”实例化算法来验证传值进程之间的互模拟等价。由于ＳＴＧＡＡ的一个结点对应于具体迁移图的许多结点,在ＳＴＧＡ上所作的优化对提高互模拟判定算法的时间和空间效率会产生很大的影响。     

分布式软件动态配置环境可视化的研究与实现

研究了分布式软件开发配置模型OrbGOP的树形配置结构及可视化实现。基于图形编程技术,此模型通过建立构件到结点、构件互操作关系到结点连线的映射,将整个分布式软件的体系结构描述为一张树形逻辑图,用户通过执行图上预定义的一组操作就可以实现系统的动态配置,这使得动态配置工作简单有效,极大地减轻了软件维护的负担。     

一种面向图的分布式软件动态配置和容错方法

提出一种新的方法，通过动态配置对基于组件的分布式软件的容错提供支持。此方法采用面向图的GOP编程模型，将整个分布式软件的体系结构用一张逻辑图来描述，系统的动态配置可以通过执行图上预定义的一组操作来完成。检测到故障或异常的时候实施这种动态配置能够支持系统的容错。文中描述了此方法的基本模型、系统结构和基于CORBA的原型实现。     

基于组件的分布式软件的动态配置和容错

论文提出一种结构化新方法,它能通过动态配置支持基于组件的分布式软件的容错。采用面向图形的编程模型,基于组件的分布式软件的软件体系结构可用一个逻辑图来表示,该逻辑图可以精化为一个明确的对象并分布到网络中,软件的动态配置通过执行定义在图上的一系列操作来实现,发生错误时通过动态重配置软件来支持容错。论文描述了该方法的基本模型、系统结构及其在CORBA上的实现原型。     

Visual programming support for graph‐oriented parallel/distributed processing

GOP is a graph‐oriented programming model which aims at providing high‐level abstractions for configuring and programming cooperative parallel processes. With GOP, the programmer can configure the logical structure of a parallel/distributed program by constructing a logical graph to represent the communication and synchronization between the local programs in a distributed processing environment. This paper describes a visual programming environment, called VisualGOP, for the design, coding, and execution of GOP programs. VisualGOP applies visual techniques to provide the programmer with automated and intelligent assistance throughout the program design and construction process. It provides a graphical interface with support for interactive graph drawing and editing, visual programming functions and automation facilities for program mapping and execution. VisualGOP is a generic programming environment independent of programming languages and platforms. GOP programs constructed under VisualGOP can run in heterogeneous parallel/distributed systems. Copyright © 2005 John Wiley & Sons, Ltd.     

VFP过程蓝图到抽象逻辑结构图的逆向映射规则与同步更新方法

当对导出VFP抽象逻辑结构图逻辑层表示进行编辑操作时，解决解决抽象逻辑结构图概念层表示的一致性同步更新问题。给了VFP逻辑结点到概念结点的逆向映射规则及其一致性同步更新方法。     

支持动态配置的分布式程序设计模型

分布式系统的动态配置问题近年来引起了各国研究者的广泛关注.该文对面向图结构的分布式程序设计模型GOM(graph-oriented model)进行了扩充和改进,提出了支持动态配置的程序设计模型ExGOM(extended graph-oriented model).ExGOM提供了多种基于图结构的配置操作.用户可在配置文件中描述系统结构的动态变化,也可在程序中利用配置操作进行动态配置.这一特性使得系统可支持不可预计的动态配置.文章还给出了以多Agent机制实现ExGOM的系统结构.     

图数据库中基于GPU的图分析计算方法

现有的图数据库对于在线分析操作大多采用基于CPU的分布式图计算引擎（如GraphX）,但CPU核心数量有限的不足会导致计算效率低下,同时集群间的同步也会产生额外的通信开销。通过使用图形处理单元（GPU）对图计算进行加速,设计并实现图处理系统RockGraph。该系统能够根据用户需求从图数据库中提取出包含核心信息的子图,经过数据格式转换后,利用JNI工具调用动态链接库,采用超显存GPU图计算框架进行在线分析,并将计算结果写回图数据库。实验结果表明,与基于CPU的分布式图计算系统相比,RockGraph的图分析效率可提高3倍~5倍。     

A graph-oriented object database model

A graph-oriented object database model (GOOD) is introduced as a theoretical basis for database systems in which manipulation as well as conceptual representation of data is transparently graph-based. In the GOOD model, the scheme as well as the instance of an object database is represented by a graph, and the data manipulation is expressed by graph transformations. These graph transformations are described using five basic operations and a method construct, all with a natural semantics. The basic operations add and delete objects and edges as a function of the matchings of a pattern. The expressiveness of the model in terms of object-oriented modeling and data manipulation power is investigated