基于交替方向乘子法的电力系统完全分布式动态经济调度方法

本文基于交替方向乘子法(alternating direction multiplier method,ADMM)提出了一种完全分布式的跨区域电力系统动态经济调度方法.其中的经济调度模型以整个系统的运行成本最小为目标,并满足各种系统运行约束.为了实现模型的分布式求解,本文利用交替方向乘子法将各区域之间的联系解耦,将整个系统的大型优化问题分解为各个区域内部的子优化问题,通过迭代求解每个区域的子问题即可得到整个系统的最优解.进一步地,本文算法取消了负责乘子更新的数据中心,实现了完全分布式的调度策略.同时,为了兼顾电力系统中时间断面之间的紧密联系,本文的经济调度模型采用了多时段优化方法.最后,本文对基于IEEE标准测试系统的3区域互联系统算例进行了分析,验证了本文的调度策略的有效性.     

分布式制造项目管理研究与实现

在分析分布式制造特点的基础上，给出了分布式制造项目管理的内涵，从整个分布式制造的全生命周期出发，建立了分布式制造项目管理的层次模型，提出了项目管理定义层、计划调度层、执行监控层和信息基础层的参考框架，给出了一种基于Web组件的分布式制造项目管理体系结构与实现原型。     

计及需求响应的多点分布式储能系统多阶段入网调度模型

多点分布式储能系统在响应过程中,对外部环境和需求响应等因素考虑较少,导致调度成本过高,调度模型运行效率较低.基于此,提出建立计及需求响应的多点分布式储能系统多阶段入网调度模型.实验结果表明,计及需求响应的多点分布式储能系统多阶段入网调度模型可快速完成调度任务,且调度成本较低.     

分布式数据挖掘系统在选煤厂生产调度中的应用

针对选煤厂的特点 ,建立了水平式数据挖掘模型和垂直式数据挖掘模型。在此基础上提出了面向选煤厂的分布式数据挖掘系统 ,解决了调度中遇到的查询数据难的问题 ,从而帮助调度人员及时有效地处理信息     

分布式实时计算系统的一种调试方法

利用DRTDebug的设计和调度原理，提出分布式实时计算中的不确定性等问题的解决方法，并得到分布式实时程序运行信息的收集模型。     

一种基于P2P点组技术的流媒体协作计算

分析了流媒体技术的现状和问题，讨论了在P2P环境下的流媒体多点分布式调度技术和调度性能分析，以及多点调度下的带宽分配算法，最后给出了一个基于P2P点组的流媒体协作调度模型。     

基于数据交换与同步的作业调度方案

多机作业调度问题是一个经典的NP难问题,在应用中由于实际需要,会出现各种约束和变形,调度问题的研究成果决定着系统的性能.DataTurbo是作者参与的一个用于解决分布式数据迁移、集成和融合的平台,该平台承担着大数据量的分布式传输任务.在DataTurbo平台基础上,提出一种适用于数据交换与同步的分布式作业调度方案,并构建一个灵活的分布式调度算法框架,解决相关的调度问题.该调度方案是一种在线的、可并发的、作业可分解的多机调度方案.仿真实验结果显示,该调度方案在任务负载大、调度点稀疏情况下优势明显,能适用于数据交换同步作业,可作为数据交换与同步作业的动态调度方案,并为相关启发式算法建立基础模型.     

基于对象的分布式实时系统调度模型研究

为了解决分布式实时系统有关分配和调度等问题，给出并用形式化方法描述了一种基于对象分布式实时系统调度的通用模型。该模型包括表示时限的绝对时间约束，表示周期属性的周期约束，表示各种前趋关系和同步要求的相对时间约束以及保证资源使用一致性的一致性约束，此外该模型克服了以往模型不能在应用系统的逻辑和功能部件上描述系统实时的约束的不足，允许从方法和活动上描述所需的约束，降低了单一约束描述的繁杂程度，为了能够使用现有调度算法进行任务调度，讨论了约束转换的问题，给出了高层约束到底层约束的转换规则和相应的转换算法。     

基于多企业Agent的动态联盟设计

在分布式网络化环境中,建立在异构多Agent体系结构基础上的动态企业联盟能满足网络经济时代快速多变的市场要求，代表企业未来发展方向。该文对建立在基于多Agent集成框架基础的动态联盟形成过程进行了研究，提出动态联盟控制模型，并对该控制结构体系的功能模块进行了设计和说明。     

面向大规模云资源调度的可扩展分布式调度方法

云数据中心异构物理服务器的能耗优化资源分配问题是NP难的组合优化问题,当资源分配问题规模较大时,求解的空间比较大,很难在合理时间内求得最优解。基于分而治之的思想,从调度模式方面提出可扩展分布式调度方法,即当云数据中心待调度的物理服务器的数量比较大时,将待调度的服务器划分为若干个服务器集群,然后在每个服务器集群建立能耗优化的资源分配模型,并利用约束编程框架Choco求解模型,获得能耗最优的资源分配方式。将提出的基于可扩展分布式调度方法的能耗优化云资源调度算法与非扩展调度算法进行实验比较,实验结果表明,提出的基于可扩展分布式调度方法的能耗优化云资源调度算法在大规模云资源分配上有明显的性能优势。     

Distributed Computation Multi-agent System

This article addresses a formal model of a distributed computation multi-agent system. This model has evolved from the experimental research on using multi-agent systems as a ground for developing fuzzy cognitive maps. The main paper contribution is a distributed computation multi-agent system definition and mathematical formalization based on automata theory. This mathematical formalization is tested by developing distributed computation multi-agent systems for fuzzy cognitive maps and artificial neural networks – two typical distributed computation systems. Fuzzy cognitive maps are distributed computation systems used for qualitative modeling and behavior simulation, while artificial neural networks are used for modeling and simulating complex systems by creating a non-linear statistical data model. An artificial neural network encapsulates in its structure data patterns that are hidden in the data used to create the network. Both of these systems are well suited for formal model testing. We have used evolutionary incremental development as an agent design method which has shown to be a good approach to develop multi-agent systems according to the formal model of a distributed computation multi-agent system.     

Distributed Software System Design Representation Using Modified Petri Nets

A model for representing and analyzing the design of a distributed software system is presented. The model is based on a modified form of Petri net, and enables one to represent both the structure and the behavior of a distributed software system at a desired level of design. Behavioral properties of the design representation can be verified by translating the modified Petri net into an equivalent ordinary Petri net and then analyzing that resulting Petri net. The model emphasizes the unified representation of control and data flows, partially ordered software components, hierarchical component structure, abstract data types, data objects, local control, and distributed system state. At any design level, the distributed software system is viewed as a collection of software components. Software components are externally described in terms of their input and output control states, abstract data types, data objects, and a set of control and data transfer specifications. They are interconnected through the shared control states and through the shared data objects. A system component can be viewed internally as a collection of subcomponents, local control states, local abstract data types, and local data objects.     

基于一致性的分布式变结构多模型方法

本文针对由雷达与红外组成的分布式传感器网络, 研究基于一致性的分布式变结构多模型方法(Distributed variable structure multiple model, DVSMM). 首先,使用无迹信息滤波(Unscented information filter, UIF)解决系统非线性的问题, 然后,将变结构交互式多模型(Variable structure interacting multiple model, VSMM)方法进行改进, 提出一类可应用于分布式状态估计的分布式变结构多模型DVSMM方法. 仿真实验结果验证了该方法的有效性.     

基于主动工作模式的分布式数据库服务器及其排队模型

由于单个服务器的分布计算环境在实用性和系统性能方面存在着明显的缺陷,所以通过高速网络连接的多服务器系统提供冗余服务已成为当今分布计算技术的研究热点。本文介绍了一种基于主动工作模式分布式数据库服务器的构成及运行模型,为其建立了排队模型,并与非主动模式的系统进行了比较,以性能价格比优略为依据对其冗余度进行了
了数学解析。     

一种基于环形结构的新型分布式入侵检测模型

分析了目前的分布式入侵检测系统的特点和协作方式,提出了基于逻辑环形分布式协作控制技术的分布式入侵检测模型,解决了目前分布式入侵检测系统中各系统闭协作效率低、配置复杂、检测响应慢等缺陷。详细论述了环形结构的分布式入侵检测系统的体系结构和系统框架,提出了一套基于环形结构的分布式入侵检测协作算法。     

基于组件技术的模型管理

针对如何使模型具有良好的可扩展性,可重用性,支持分布式应用这个问题,论述了用基于组件的软件开发方法来开发模型管理系统的思想,并提出一个分布式模型部件（基于组件的实现）的结构。     

A model structure-driven hierarchical decentralized stabilizing control structure for process networks

Based on the structure of process models a hierarchically structured state-space model has been proposed for process networks with controlled mass convection and constant physico-chemical properties. Using the theory of cascade-connected nonlinear systems and the properties of Metzler and Hurwitz matrices it is shown that process systems with controlled mass convection and without sources or with stabilizing linear source terms are globally asymptotically stable. The hierarchically structured model gives rise to a distributed controller structure that is in agreement with the traditional hierarchical process control system structure where local controllers are used for mass inventory control and coordinating controllers are used for optimizing the system dynamics. The proposed distributed controller is illustrated on a simple non-isotherm jacketed chemical reactor.     

一种基于多Agent远程分布式故障诊断系统模型

简要介绍了Agent与多Agent的相关知识,并以军用通信系统为例,分析了远程分布式故障诊断的系统结构,并提出了一种基于多Agent远程分布式故障诊断模型,对其系统工作流程进行了简要介绍。     

可能性测度下的LTL模型检测并行化研究

分布式模型检测是一种缓解状态空间爆炸的有效途径,已有文献提出了定性的分布式模型验证算法,然而定量LTL验证算法并行化问题还未得到有效解决。对此,展开两个方面的工作:提出一种新的动态系统状态空间划分方法;在定性LTL分布式验证算法的基础上给出了定量模型检测并行化验证算法。首先,将系统模型转化为可能的Kripke结构并选取一个并发分量,依据状态之间的关系完成系统状态的分割,使得关系紧密的状态尽可能分布在同一个计算节点上;其次,调整划分结果以使得计算负载平衡;然后,将划分结果与其他并发分量的状态进行叉乘,以完成系统状态空间的划分;最后,将待检测性质用自动机表示,在两者的乘积上,利用扩展的基于嵌套DFS的分布式验证算法完成系统的定量验证。