Semi-automated user agents in distributed change management

Flexible integration of distributed design and manufacturing activities is one of the key issues in applying just-in-time principles along the logistics chain. The potential of AI based approaches in this field is clear, but the inherent asynchrony, concurrency, and inconsistency of distributed operations has reduced enthusiasm so far.This paper discusses coordination in the context of geographically distributed manufacturing of one-of-a-kind products. Cooperation of partners is based on semi-automated user agents which operate as an integrative layer between more dedicated tools and systems. The management of order changes in elevator manufacture is used as a case example.The work reported here is part of the DIMUN project (DIMUN, 1989) in the RACE program.     

Mathematical model and discrete artificial Bee Colony algorithm for distributed integrated process planning and scheduling

With the development of the globalization of economy and manufacturing industry, distributed manufacturing mode has become a hot topic in current production research. In the context of distributed manufacturing, one job has different process routes in different workshops because of heterogeneous manufacturing resources and manufacturing environments in each factory. Considering the heterogeneous process planning problems and shop scheduling problems simultaneously can take advantage of the characteristics of distributed factories to finish the processing task well. Thus, a novel network-based mixed-integer linear programming (MILP) model is established for distributed integrated process planning and scheduling problem (DIPPS). The paper designs a new encoding method based on the process network and its OR-nodes, and then proposes a discrete artificial bee colony algorithm (DABC) to solve the DIPPS problem. The proposed DABC can guarantee the feasibility of individuals via specially-designed mapping and switching operations, so that the process precedence constraints contained by the network graph can be satisfied in the entire procedure of the DABC algorithm. Finally, the proposed MILP model is verified and the proposed DABC is tested through some open benchmarks. By comparing with other powerful reported algorithms and obtaining new better solutions, the experiment results prove the effectiveness of the proposed model and DABC algorithm successfully.     

Randomized function evaluation on a ring

LetR be a unidirectional asynchronous ring ofn identical processors each with a single input bit. Letf be any cyclic nonconstant function ofn boolean variables. Moran and Warmuth (1986) prove that anydeterministic algorithm that evaluatesf onR has communication complexity (n logn) bits. They also construct a family of cyclic nonconstant boolean functions that can be evaluated inO(n logn) bits by a deterministic algorithm.This contrasts with the following new results:

Distributed match-making

In many distributed computing environments, processes are concurrently executed by nodes in a store- and-forward communication network. Distributed control issues as diverse as name server, mutual exclusion, and replicated data management involve making matches between such processes. We propose a formal problem called distributed match-making as the generic paradigm. Algorithms for distributed match-making are developed and the complexity is investigated in terms of messages and in terms of storage needed. Lower bounds on the complexity of distributed match-making are established. Optimal algorithms, or nearly optimal algorithms, are given for particular network topologies.The work of the second author was supported in part by the Office of Naval Research under Contract N00014-85-K-0168, by the Office of Army Research under Contract DAAG29-84-K-0058, by the National Science Foundation under Grant DCR-83-02391, and by the Defence Advanced Research Projects Agency (DARPA) under Contract N00014-83-K-0125. Current address of both authors: CWI, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands.     

A self-adjusting algorithm for byzantine agreement

Summary Byzantine Agreement is important both in the theory and practice of distributed computing. However, protocols to reach Byzantine Agreement are usually expensive both in the time required as well as in the number of messages exchanged. In this paper, we present a self-adjusting approach to the problem. The Mostly Byzantine Agreement is proposed as a more restrictive agreement problem that requires that in the consecutive attempts to reach agreement, the number of disagreements (i.e., failures to reach Byzantine Agreement) is finite. Fort faulty processes, we give an algorithm that has at mostt disagreements for 4t or more processes. Another algorithm is given forn3t+1 processes with the number of disagreements belowt ²/2. Both algorithms useO(n ³) message bits for binary value agreement. Yi Zhao is currently working on his Ph.D. degree in Computer Science at University of Houston. His research interests include fault tolerance, distributed computing, parallel computation and neural networks. He obtained his M.S. from University of Houston in 1988 and B.S. from Beijing University of Aeronautics and Astronautics in 1984, both in computer science. Farokh B. Bastani received the B. Tech. degree in electrical engineering from the Indian Institute of Technology, Bombay, India, and the M.S. and Ph.D. degrees in electrical engineering and computer science from the University of California, Berkeley. He joined the University of Houston in 1980, where he is currently an Associate Professor of Computer Science. His research interests include software design and validation techniques, distributed systems, and fault-tolerant systems. He is a member of the ACM and the IEEE and is on the editorial board of theIEEE Transactions on Software Engineering.     

B/S结构的360度绩效测评系统设计与实现

绩效管理是人力资源管理的核心,对企业实现战略目标有举足轻重的作用,绩效测评是绩效管理中必不可少的组成部分。本文讲述了一种全面客观的360度绩效测评法,并介绍了一套按照360度绩效测评模型构建的B/S办公系统,重点介绍了使用这套系统进行绩效测评的过程,以便通过信息化手段,有效的运用这一先进测评方法,为企业管理提供有益的支持。     

An improved algorithm for finding the median distributively

Given two processes, each having a total-ordered set ofn elements, we present a distributed algorithm for finding median of these 2n elements using no more than logn +O(logn) messages, but if the elements are distinct, only logn +O(1) messages will be required. The communication complexity of our algorithm is better than the previously known result which takes 2 logn messages.     

Distributed receding horizon control of large-scale nonlinear systems: Handling communication delays and disturbances

This paper studies the robust distributed receding horizon control (DRHC) problem for large-scale continuous-time nonlinear systems subject to communication delays and external disturbances. A dual-mode robust DRHC strategy is designed to deal with the communication delays and the external disturbances simultaneously. The feasibility of the proposed DRHC and the stability of the closed-loop system are analyzed, and the sufficient conditions for ensuring the feasibility and stability are developed, respectively. We show that: (1) the feasibility is affected by the bounds of external disturbances, the sampling period and the bound of communication delays; (2) the stability is related to the bounds of external disturbances, the sampling period, the bound of communication delays and the minimum eigenvalues of the cooperation matrices; (3) the closed-loop system is stabilized into a robust invariant set under the proposed conditions. A simulation study is conducted to verify the theoretical results.     

Adaptive tracking control of leader–follower systems with unknown dynamics and partial measurements

In this paper, a decentralized adaptive tracking control is developed for a second-order leader–follower system with unknown dynamics and relative position measurements. Linearly parameterized models are used to describe the unknown dynamics of a self-active leader and all followers. A new distributed system is obtained by using the relative position and velocity measurements as the state variables. By only using the relative position measurements, a dynamic output–feedback tracking control together with decentralized adaptive laws is designed for each follower. At the same time, the stability of the tracking error system and the parameter convergence are analyzed with the help of a common Lyapunov function method. Some simulation results are presented to validate the proposed adaptive tracking control.     

Static output feedback control via PDE boundary and ODE measurements in linear cascaded ODE–beam systems

This paper addresses the problem of feedback control design for a class of linear cascaded ordinary differential equation (ODE)–partial differential equation (PDE) systems via a boundary interconnection, where the ODE system is linear time-invariant and the PDE system is described by an Euler–Bernoulli beam (EBB) equation with variable coefficients. The objective of this paper is to design a static output feedback (SOF) controller via EBB boundary and ODE measurements such that the resulting closed-loop cascaded system is exponentially stable. The Lyapunov’s direct method is employed to derive the stabilization condition for the cascaded ODE–beam system, which is provided in terms of a set of bilinear matrix inequalities (BMIs). Furthermore, in order to compute the gain matrices of SOF controllers, a two-step procedure is presented to solve the BMI feasibility problem via the existing linear matrix inequality (LMI) optimization techniques. Finally, the numerical simulation is given to illustrate the effectiveness of the proposed design method.