分布式ARP的研究实现

介绍高速IP路由器体系结构下分布式ARP的实现方法,主要阐述了ARP主从分布式控制方法和分布式ARP软件设计思想。     

分布式APP的研究实现

介绍高速IP路由器体系结构下分布式ARP的实现方法,主要阐述了ARP主从分布式控制方法和分布式ARP软件设计思想。     

分布实时系统的概率规范和证明形式化

1引言 随着数字系统变得越来越小、越来越便宜,它们用于物理过程控制和与物理过程互协作的机会将越来越多。互相协作的过程如果出现意外行为,后果将可能很严重。这种意外为不仅仅指程序和数字     

支持软件重用的模板化技术

本文基于软件重用和软件自动化的思想提出了支持软件重用的摸板化技术TTSSR。在TTSSR中,我们引入了软件模板的概念和可重用软件预处理的方法。使得可重用软件能按照用户需求自动进行修改,生成多种可用软件。同时,在模板库管理方面采用了一种适合大型库管理的类图书管理方法,提供了较强的库导航能力,极大地方便了用户。另外,TTSSR工具提供集成界面、用户界面两种和外界的接口,这使得它具有较强的适应性和良好的灵活性。     

映射ELOTOS到基于FSM的性能估价模型

ELOTOS是协议描述规范语言LOTOS的扩展．本文用标号转换系统LTS（labeledtransitionsystem）给出了ELOTOS的语义．然后，通过对LTS进行踪迹等价住分析，将ELOTOS映射到基于有穷状态机FSM（finitestatemachine）的性能估价模型．     

群机管理系统的作业调度算法研究

首先分析了常用的作业调度策略及单独使用各策略的不足，然后介绍了作者在自行开发设计的异构群体计算管理系统TUMBLER中提出和使用的三级作业调度策略，重点介绍了在确定作业优先级时使用的基于资源需求度概念的短需求优先的策略。经测试表明，采用基于短需求优先的三级调度策略时，TUMBLER系统较未采用短需求优先策略时的性能有明显提高。     

网络计算管理研究

相对巨型机而言,基于网络的群机系统因其费用小、可靠性好、升级方便等特点,在解决某些高性能计算问题时完全可以代替巨型机,而且随着网络技术的发展及分布式理论的成熟,它将比巨型机有更可观的发展及应用前景。网络计算管理是群机系统能否充分发挥出优势的关键因素。该文介绍了网络计算管理的研究意义、发展阶段和趋势,从评价标准、关键技术和系统结构等方面介绍了网络计算管理的研究内容,并根据比较,选择介绍了几个性能较好的软件产品。     

群机计算资源管理研究

随着网络技术的发展,群机计算管理软件作为对群机计算资源进行统一管理的中间件,越来越受到人们的关注。如何合理地管理地理上相对分散的计算资源,达到资源共享的目标,是群机系统发挥性能的关键。文章首先给出了一个基于资源集合概念的资源管理模型,在此基础上,研究了群机系统的资源分配和负载管理问题,并结合作业调度过程说明了资源管理模型与策略的应用。     

群机计算机资源管理研究

随着网络技术的发展,群机计算管理软件作为对群机计算资源进行统一管理的中间件,越来越受到人们的关注,如何合理地管理地理上相对分散的计算资源,达到资源共享的目标,是群机系统发挥性能的关键,文章首次给出了一个基于资源集合概念的资源管理模型,在此基础上,研究了群机系统的资源分配和负载管理问题,并结合作业调度过程说明了资源管理模型与策略的应用。     

协议形式化开发环境的规范语言

LOTOS（languageoftemporalorderingspecification）是一种基于进程代数CCS的协议规范语言，面向协议验证，但它不能描述协议的某些性质．本文提出了一种LOTOS的扩充语言ELOTOS（extendedLOTOS），它在LOTOS的基础上引入了异步通讯机制、时间描述、事件发生的随机性描述．