基于构件的分布式系统设计环境

针对当前基于构件的分布式系统开发技术的不足，探索了将软件体系结构和基于构件的软件开发方法相结合，支持大型分布式系统构造的可行性、有效性和实现途径，提出了一个在软件体系结构指导下的基于构件的分布式系统构造方法，设计并实现一个高效、实用、以软体系结构为指导的基于构件的分布式系统设计环境。初步应用表明，所提出的方法和实现的工具能大大提高系统开发效率和软件复用程度。     

基于CORBA的软构件研究与开发

探讨了软件构件的概念，讨论了基于CORBA分布式系统的软构件的开发，改进了CORBA分布式系统面向对象的分析方法和步骤，并结合实例和设计模式进行了研究和设计．     

CORBA环境中分布式构件的构造

提出了一个基于CORBA的构件式的分布式系统构造模型。对于分布式构件和基于构件的分布式软件系统,均可用基于属性文法的软件构架描述语言进行形式化定义。通过例子描述了将基于属性文法的软件构架映射为CORBA对象的方法,同时还讨论了如何在CORBA环境中实现基于属性文法的软件构架的有关问题。     

分布式系统动态配置一致性算法的实现

在基于构件的分布式系统中进行动态配置是目前研究的重点与热点，动态配置必须保证系统的一致性.该文提出一种基于事务及其静止状态理论的动态配置一致性算法，采用等待方式驱动目标构件进入静止状态，即目标构件启动和参与的所有事务只可能处于未启动状态或已经正常完成状态，使得对目标构件实施任何动态配置意图都不会破坏事务的完整性，从而在所有动态配置场景下严格保证行为一致性.在基于CORBA的模型原型实现中对该算法的性能测试验证了其可行性.     

一种有效的分布式构件交互性质验证方法

目的在基于构件的分布式系统开发过程中,更大程度地消除对构件交互风格和交互协议描述与验证产生的所谓的状态爆炸现象。方法提出一种有效的基于π-演算的构件交互协议验证方法——状态约减验证算法,在模型组合之前,将与性质定义无关的状态剥离,然后再进行模型组合。结果用标记转移系统证明了该验证算法的有效性,采用π-演算描述的同步请求/响应交互模型作为例证,证明上述算法比传统算法更有效。结论该算法缩小了组合模型的状态空间,提高了验证效率。     

深入理解WEB SERVICE

Web Service是用于创建开放分布式系统的构件，它逻辑性地为其他应用程序提供数据与服务。它就像一个墨匣子，客户端不需要知道服务端是怎样运行的，客户端请求方可以基于任何平台，用任何编程语言，只要它们能遵循web service接口的定义发送和接收消息。     

异构分布式实时系统中容错调度模型的研究

研究了基于异构分布式系统的实时容错调度算法 ,同构分布式系统中的处理机完全相同 ,而在异构分布式系统中各个处理机均不相同 ,各个处理机有不同的处理能力和不同的健壮性 .提出了可靠性成本概念 ,建立了一个基于异构分布式系统实时容错调度模型 .基于该模型 ,设计了一种实时容错调度算法 ,算法在不增加系统硬件成本的情况下 ,提高了实时分布式系统的可靠性 .     

异构分布式实时系统中容错调度模型的研究

研究了基于异构分布式系统的实时容错调度算法,同构分布式系统中的处理机完全相同,而在异构分布式系统中各个处理机均不相同,各个处理有不同的处理能力和不同的健壮性。提出了可靠性成本概念,建立了一个基于异构分布式系统实时容错调度模型。基于该模型,设计了一种实时容错调度算法,算法在不增加系统硬件成本的情况下,提高了实时分布式系统的可靠性。     

基于软件体系结构的构件可迁移系统容错研究

随着分布式应用的迅速发展,构件可迁移分布式系统由于其构件的可移动性,受到广泛关注。如何保证构件可迁移系统的容错,一直是研究的热点。另一方面,软件体系结构是软件系统的蓝本,对软件的设计与实现有着重要的指导作用。该文提出一种面向体系结构,并适合构件可迁移系统的容错框架。该框架不但能显式刻画软件体系结构,而且能支持构件可迁移...     

基于CORBA的分布式系统安全防范

在提出CORBA分布式系统基本模型的基础上 ,从防火墙技术、数据加密技术和身份认证 3个方面阐述了基于CORBA的分布式系统安全防范措施的设置 .     

分布式异构数据共享技术研究

在分析分布式系统中异构数据特征和功能需求的基础上，总结并提出了一个基于WebService的分布式系统异构数据共享方法，并结合实际应用进行验证，取得了一定的效果。     

基于标准建模语言的分布式电子海图系统构件库

针对分布式电子海图系统开发过程中的系统与用户的交互问题，采用了标准建模语言的建模方法，并结合构件技术的原理，设计出分布式电子海图的构件库．首先根据构件与分布式系统的原理与特点，建立电子海图构件库的层次模型．其次对电子海图系统中的各种应用和功能进行提取，每一个功能与应用形成独立的子构件．最后根据构件库的层次模型将子构件进行详细的层次划分，形成一个完整的功能独立的电子海图构件库．该构件库在实际应用中，对于分布式网络环境下的各种功能需求能够表现出较强的稳定性和适应性，是电子海图系统在网络应用方面的核心部分。     

浅论分布式系统中间件的安全

高速计算机网络的发展为构建大范围分布式系统提供了良好的物质条件,目前的单机计算能力也有了大幅度的提升,使得所构建的系统计算能力也比早期增强了。但是,分布式系统的安全问题依然面临很大挑战,基于新的高速网络,安全模型也会随之变化。本文探讨了分布式系统的中间件安全性问题和解决方案。     

基于智能Agent的分布式系统软件架构

在对比分析分布式计算的当前计算模式的基础上,主要研究基于智能Agent的分布式系统的软件体系结构.该基于智能Agent的分布式系统构架采用了一种扩展请求器-中介器-供应器的嵌套式客户/agent/服务器计算模式.在此基础上,给出了一个基于Java的智能Agent构建的宏观经济决策支持系统框架和工作机制.     

基于可信度的分布式资源调度系统

由于计算资源具有广域分布、异构、动态等特点,使得分布式系统中资源管理和调度成为一个非常复杂且具有挑战性的问题.分布式系统的性能度量、分析及预报已变得日益重要,而精确预报任务的运行时间对达到应用性能是至关重要的.描述了一种基于可信度的资源调度算法,它是任务调度及资源分配的核心,并能有效地解决分布式系统的负载平衡问题.     

基于可靠性与动态负载平衡的分布式副本管理策略

通过对分布式系统节点可靠性与负载的分析,结合增加系统可靠性和负载平衡程度的目的,设计了基于系统可靠性与负载平衡的分布式系统副本管理算法.虽然其实现较为复杂,但在平衡程度,平衡时间等性能上较已有算法有较大的提高.     

负载均衡的分布式系统任务调度优化算法

针对当前分布式系统任务调度算法存在节点负载不平衡,资源利用率低等缺陷,提出一种基于负载均衡的分布式系统任务调度优化算法.首先分析了当前分布式系统任务调度优化算法的研究现状;然后对节点的实时性能指标进行估计,并根据估计结果分配不同的任务;最后通过仿真实验与其他算法进行对比.实验结果表明,相比于经典分布式系统任务调度算法,该算法缩短了任务完成时间,使得系统各节点的负载更均衡,提高了节点资源的利用率.     

基于Web-Agent的分布式系统性能管理的设计与实现

随着分布式系统规模和复杂性的快速增长以及异构系统的集成,需要一种高效的工具来管理分布式系统资源·提出了性能管理由性能监视、性能控制、性能调整组成,基于反馈控制和预测控制理论设计了性能控制器,并采用Agent技术和基于Web计算Java技术设计了分布式性能管理系统,对系统结构和具体实现作了详细的讨论,有效地解决了异构平台问题和新版本的发行问题·     

分布式能源系统最佳策略下碳税与气价敏感性分析

针对目前冷热电(CCHP)三联供分布式系统应用的不完善性,提出了一套包含CCHP、电热泵、蓄能系统的分布式能源系统,以及能够模拟分布式系统负荷和系统效率与负荷率、冷却水温的三维关联模型.考虑系统碳排放并引进碳税和电力回购(电力反向卖回电网),提出综合考虑环境性和经济性的碳税附加到电价的折算系数,构建了以日运行费用为目标的分布式系统分析模型.基于对几种不同运行模式的经济性分析,得出碳税完全附加到电价时分布式系统经济性优势更明显的结论;以热定电模式为经济性最优的运行模式.最后将分布式系统与传统燃煤电厂做对比,并对碳税和气价做敏感性分析,可知碳税、气价对分布式系统和燃煤电厂系统的经济性是相互影响的,当气价为3.15元/m3、碳税大于0.75元/kg时,或碳税为0.30元/kg、气价小于2.00元/m3时,分布式系统经济性更优.     

局域网分布式系统的负荷分担及调整

近年来,随着高速网络技术和高性能工作站技术的长足发展,国内外研究人员所从事的基于LAN的工作站模型的分布式系统的研究具有极大的现实意义「’1．在研究中,出现了大量的成型的分布式系统模型［’·‘1．尽管如此,这些系统的实现手段和效率并不令人满意,没有哪个分布式系统能用非常有效的策略和机制来克服由于分布而引起的问题,如提高系统潜在的分布并发处理能力,包括运行速度、系统效率、实用性和可靠性等．上述问题无论在理论上还是实践上都是值得认真研究的「‘1,其中一个重要的研究方向就是分布式系统中的任务分配、系统负荷…