This paper is aimed at reviewing the notion of Byzantine-resilient distributed computing systems, the relevant protocols and their possible applications as reported in the literature. The three agreement problems, nam...
详细信息
This paper is aimed at reviewing the notion of Byzantine-resilient distributed computing systems, the relevant protocols and their possible applications as reported in the literature. The three agreement problems, namely, the consensus problem, the interactive consistency problem, and the generals problem have been discussed. Various agreement protocols for the Byzantine generals problem have been summarized in terms of their performance and level of fault-tolerance. The three classes of Byzantine agreement protocols discussed are the deterministic, randomized, and approximate agreement protocols. Finally, application of the Byzantine agreement protocols to clock synchronization is highlighted.
作者：
DUNIETZ, ISHSU, JLCMCEACHERN, MTSTOCKING, JHSWARTZ, MATROMBLY, RMThe authors
Irwin S. Dunietz John L.C. Hsu Michael T. McEachern James H. Stocking Mark A. Swartz andRodney M. Tromblyare responsible for design and development of the Manufacturing Process Control System. Mr. Dunietz joined AT&T in 1980. He is a member of the technical staff in the Manufacturing Information Automation department at AT&T Engineering Research Center Princeton New Jersey. He received an A.B. in mathematics from Cornell University and an M.S.E. in computer science from Princeton University. Mr. Hsu who joined AT&T in 1970 is a department head in the Manufacturing Information Automation department at the Engineering Research Center. He received an M.S. in electrical engineering from the University of Missouri. Mr. McEachern joined AT&T in 1962 and is a supervisor in the 5ESS™ Line Unit Manufacturing department at AT&T Technologies in Oklahoma City Oklahoma. He is responsible for the manufacturing process control center in Oklahoma City which provides computerized support for all circuit pack manufacturing. Mr. Stocking who joined AT&T in 1975 is a supervisor in the Manufacturing Information Automation department at the Engineering Research Center. He received a B.S. in chemical engineering from Rensselaer Polytechnic Institute and a Ph.D. in chemical engineering from the University of California Berkeley. Mr. Swartz joined AT&T in 1980 and is a member of the technical staff in the Manufacturing Information Automation department at the Engineering Research Center. He received an A.B. in computer science from Cornell University and an M.S. in computer science from Rutgers—The State University. Mr. Trombly who joined AT&T in 19 78 is an assistant manager at the AT&T Merrimack Valley Works in Massachusetts. Previously he was a supervisor at the Engineering Research Center. He holds a B.S. in computers and systems engineering and an M.S.E.E. from Rensselaer Polytechnic Institute.
The central challenge of all manufacturing is making products to the right standards and delivering them at the right time. AT&T is upgrading its corporate and factory resource planning systems to improve control ...
详细信息
The central challenge of all manufacturing is making products to the right standards and delivering them at the right time. AT&T is upgrading its corporate and factory resource planning systems to improve control of day-to-day manufacturing. The Manufacturing Process control System (MPCS), developed at the AT&T Engineering Research Center (ERC), provides this support. MPCS connects the shop floor with production scheduling, accounting, product data archive, and engineering support systems.
One of the most serious problems encountered in Naval steam plants following World War II was the unreliable performance of boiler and main feedpump pneumatic control systems. In addition to control component and syst...
One of the most serious problems encountered in Naval steam plants following World War II was the unreliable performance of boiler and main feedpump pneumatic control systems. In addition to control component and system design deficiencies, these control systems suffered from inadequate methods to measure and adjust system alignment. This paper describes the development of a set of procedures for on-line alignment verification (OLV) of pneumatic main boiler and feedpump control systems. The procedures are designed for use by N avy control system technicians and, in addition to on-line alignment verification, provide guidance for troubleshooting and for performing system alignment. Procedure static checks measure steady state steaming performance and OLV procedure dynamic checks measure the ability of the boiler and control systems to respond to load changes. The paper describes typical control system characteristics that influence OLV procedure content and the supporting analysis that was used to establish alignment criteria ranges that satisfy both steady state and transient performance requirements. Also described is the alignment criteria tolerance analysis along with the steps involved in a typical OLV check procedure development. Descriptions of the various OLV checks, troubleshooting procedures and alignment procedures are provided. Typical shipboard implementation requirements are described and experience to date with the procedures is provided along with a status report on OLV procedure implementations.
A new method is presented, whose main contribution is a new parametrization especially for structure seeking purposes. The ML method is applied for parameter estimation and special consideration is devoted to the eval...
详细信息
A new method is presented, whose main contribution is a new parametrization especially for structure seeking purposes. The ML method is applied for parameter estimation and special consideration is devoted to the evaluation of elementary subsystems constituting the model. Some illustrative examples are also shown.
This book presents the outcomes of the 7th International Conference in Methodologies and Intelligent Systems for Technology Enhanced Learning (MIS4TEL'17), hosted by the Polytechnic of Porto, Portugal from 21 to 2...
详细信息
ISBN:
(数字)9783319608198
ISBN:
(纸本)9783319608181
This book presents the outcomes of the 7th International Conference in Methodologies and Intelligent Systems for Technology Enhanced Learning (MIS4TEL'17), hosted by the Polytechnic of Porto, Portugal from 21 to 23 June 2017. Expanding on the topics of the previous conferences, it provided an open forum for discussing intelligent systems for technology enhanced learning (TEL) and their roots in novel learning theories, empirical methodologies for their design or evaluation, stand-alone and web-based solutions, and makerspaces. It also fostered entrepreneurship and business startup ideas, bringing together researchers and developers from industry, education and the academic world to report on the latest scientific research, technical advances and methodologies.
暂无评论