一种基于Java应用构件动态重定位模型

提高分布应用性能和各种资源利用率的关键途径是尽可能地减少处理机间的通信量和让处理机忙于有用的工作．在因特网环境下，现有提高分布应用性能和各种资源利用率的工作存在一定的不足，如不能在邻居局域网范围内进行负载平衡．提出了基于局域网簇和“通讯录”的应用构件动态重定位模型．在该模型中，一方面对局域网簇内负载进行平衡，另一方面针对构件远程调用决策重新定位构件或复制构件副本以提高分布应用的性能．另外，构件动态重定位模型必须满足构件迁移前后一致性，给出了一种基于通讯录的构件通信算法，解决了该一致性问题并且具有较高的效率．实验结果表明该模型是可行和有效的．     

支持虚拟机跨局域网在线迁移的混合式虚拟网络原型

针对虚拟机迁移停机时间段内数据包的丢失问题,提出一种分布式异步缓存协议,保证了虚拟机通信的可靠性和有序性,使虚拟机迁移过程对应用程序完全透明.为了解决虚拟机跨局域网通信问题,引入overlay虚拟网络模型,并针对虚拟网络效率较差的问题提出一种混合式的虚拟网络架构,解决了现有虚拟机在线迁移不能跨局域网的限制.实验结果表明...     

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

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

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

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

具有两类时延的离散时间多智能体系统一致性跟踪

研究具有输入时延和通信时延的离散时间多智能体系统的一致性跟踪问题。利用频域分析方法和矩阵理论,给出拓扑为有向图的情况下系统具有较少保守性的一致性跟踪充分条件,并用仿真试验验证了该结果的有效性。与具有输入和通信时延的一致性问题不同的是,相同情况下的一致性跟踪问题不仅与输入时延有关,而且与通信时延有关。     

动态网络拓扑中的组件迁移机制

为了解决分布式系统中的动态负载均衡，容错，动态资源利用，隐式的颗粒度控制等问题，提出了一种透明的组件迁移技术，描述了在动态网络拓扑中有效地维持系统组件之间通信链路的组件迁移机制，同时考虑了对并发迁移情况的处理，对组件在不同文件系统中的迁移性能进行了测试和比较，提出的机制只用到较少的系统拓扑知识，在迁移过程中不阻塞进程，而只要求迁移组件本身停止计算，因而对非迁移系统组件的影响被减至最低。     

离散时间异质多智能体系统的一致性控制

针对由一阶智能体和二阶智能体组成的离散异质多智能体系统,研究其一致性问题.设计无通信时延和具有有界通信时延时的分布式一致性协议,通过将系统转化为自治的离散时间线性时不变系统,运用矩阵理论和代数图论方法,分析得到系统实现一致性的充分条件.获得的充分条件与采样周期、控制参数和系统的拓扑结构有关.证明了系统的一致性不受有界通信时延影响.数值仿真结果验证了理论结果的正确性.     

一种弱一致性组通信方式

组通信是分布式系统中重要的消息传递机制。提出一种弱一致性组通信方式,它较传统的组通信机制要灵活,不遵循传统组通信中消息传递的严格一致性,采取弱一致性的方式,这样不仅有较快的消息传递速度,而且增强了系统的容错性,而由此引起的不一致的可能性也极小。     

具有不同通信时延的多个体系统的一致性

针对具有不同通信时延的多个体系统的一致性问题,提出了一种引入自身时延的一致性协议.根据广义Nyquist判据与Gerschgorin圆盘定理,得到了系统渐近收敛一致的充分条件.在多个体系统的有向连接拓扑含有一个全局可达节点的条件下,一致收敛的充分条件仅与个体的自身时延、以及个体与邻居个体的连接权值有关.在提出的协议中,引入自身时延能够加速具有通信时延的多个体系统的收敛速度,而通信时延并不影响系统的收敛,但其可以延长收敛时间.此外,得到了系统最终收敛的一致状态的求解方法.仿真结果证明了结论的正确性.     

软件体系结构在行为与结构演化中的一致性保持

通过给出的体系结构模型, 分析了在体系结构演化中需要保持的一致性, 并提出一种基于规则转换的体系结构演化方法. 应用通信序列进程（CSP）作为形式化的描述手段, 在抽象层定义了体系结构在行为与结构演化中为保持一致性需满足的条件, 为每步转换规则进行了形式化约束, 使演化结束时的体系结构依然满足一致性条件.     

信息系统软件框架的一致性维护

为保证在组件和框架开发模式下应用系统的一致性 ,必须研究如何检测和解决组件建模过程中存在的冲突。通过对组件模型、组件库结构和几种典型约束条件的分析 ,建立应用框架的一致性模型 ,包括组件体系结构约束和组件行为约束。这些约束条件以规则的形式表示 ,分层的规则库构成最终的形式化模型 ,模型的检验归结为规则的推理。在信息系统快速开发平台中 ,使用上述约束模型可建立信息系统的一致性视图 ,使开发平台具有一致性管理的功能     

PVFS数据访问的负载平衡

分析了并行文件系统PVFS中存在负载不均衡的情况,提出了根据负载情况迁移数据或做热点的副本的负载平衡方法．描述了迁移过程中考虑到迁移代价,选取最优迁移方式．提出由执行I／O的10D节点统计负载情况并传输到元数据管理节点MGR,MGR节点实现迁移和制作副本,还要维护副本的一致性的策略．     

固态法白酒生产中甲醇蒸馏规律研究

本文通过对实际生产馏酒情况的实验剖析,研究了甲醇在白酒蒸馏时的特殊规律。指出:采用缓慢蒸馏时,甲醇在酒身末尾出现浓度高峰,摘除这部分酒可以降低产品中甲醇的量;采用快火蒸馏时,甲醇在酒头及酒身有较广泛的分布,不易去除。     

一种面向服务架构中服务容错的策略

服务作为面向服务架构中的基本组成元素往往分布在局域网络甚至是广域网络的异构平台中,如何在开放、动态、难控的网络环境中充分保证系统的可靠性成为亟待解决的重要问题．构造具有容错能力的可信服务是一种较为可行的策略,即在服务构件接口模型的基础上,选用行为一致的候选构件动态置换出错构件．提出了服务构件间的可置换性定义、相关定理,保证了契约一致的候选构件与原构件是可组合的,最后通过订单和仓库管理系统实例讨论了该策略的可行性．     

一种形式化的构件模型框架

构件理论在软件工程领域正扮演着越来越重要的角色。为了规范化地描述和设计构件 ,提出了一种形式化的构件模型框架 ,利用偏序事件多集来表示构件的行为模式 ,取代了常用的形式语言表示法 ,使顺序进程控制的构件和并发控制的构件能够在该框架下得到一致的处理。论文关于构件模型、任务合同及系统模型的概念 ,结合构件完备性、服务可满足性和系统一致性的检验方法 ,可以直接被用于设计构件支撑环境的仿真算法。     

基于面向对象公共数据模型的领域构件模型及其实现

在领域公共数据模型和领域公共模型存取规范的基础上,设计适当的领域构件模型,实现领域构件的重用和数据共享与软件重用的统一,对石油勘探开发领域具有重要的实际意义。给出了一种基于领域面向对象公共数据模型的领域构件模型,并论述了该模型实现的关键技术,包括领域公共事务对象(CBO)的设计原则与步骤,CBO对公共数据模型的数据存取接口,CBO对领域不同数据源的数据共享和CBO间的数据存取一致性技术等。石油领域构件实现和应用实例说明,利用构件开发模式可以提高软件开发的可靠性和效率。     

一种C-RAN架构下载波迁移的调度策略

在云无线电接入网络(cloud-radio access network,RAN)架构的基础上,为提高载波迁移后虚拟多模基站的资源利用率和负载均衡度,把CPU资源适度分离成基带CPU资源和协议CPU资源,并提出一种基于负载特征的载波迁移调度策略.针对物理层主机的触发类型和虚拟多模基站的负载特征,采用双阈值上下触发方式触发迁移,根据9种负载状态并采用最小资源代价策略,完成对需要迁移的虚拟多模基站以及目标主机的选择.实验结果表明,基带资源利用率方差均值降低0.04左右,协议资源利用率方差均值降低0.03左右,实现了虚拟基站迁移的自主管理,并且达到了节约资源的目的.迁移前后,虚拟基站的状态没发生太大的改变,具有良好的一致性.