Download or read book Experimental Validation of Clock Synchronization Algorithms written by Daniel L. Palumbo and published by . This book was released on 1992 with total page 30 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Experimental Validation of Clock Synchronization Algorithms written by National Aeronautics and Space Administration (NASA) and published by Createspace Independent Publishing Platform. This book was released on 2018-07-05 with total page 26 pages. Available in PDF, EPUB and Kindle. Book excerpt: The objective of this work is to validate mathematically derived clock synchronization theories and their associated algorithms through experiment. Two theories are considered, the Interactive Convergence Clock Synchronization Algorithm and the Midpoint Algorithm. Special clock circuitry was designed and built so that several operating conditions and failure modes (including malicious failures) could be tested. Both theories are shown to predict conservative upper bounds (i.e., measured values of clock skew were always less than the theory prediction). Insight gained during experimentation led to alternative derivations of the theories. These new theories accurately predict the behavior of the clock system. It is found that a 100 percent penalty is paid to tolerate worst-case failures. It is also shown that under optimal conditions (with minimum error and no failures) the clock skew can be as much as three clock ticks. Clock skew grows to six clock ticks when failures are present. Finally, it is concluded that one cannot rely solely on test procedures or theoretical analysis to predict worst-case conditions. Palumbo, Daniel L. and Graham, R. Lynn Langley Research Center RTOP 505-64-10-07...
Download or read book NASA Technical Paper written by United States. National Aeronautics and Space Administration and published by . This book was released on 1992 with total page 28 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book NASA Technical Paper written by and published by . This book was released on 1992 with total page 28 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Robust Control Algorithms for Two link Flexible Manipulators written by Kshetrimayum Lochan and published by CRC Press. This book was released on 2024-10-13 with total page 262 pages. Available in PDF, EPUB and Kindle. Book excerpt: Various modelling and control of two-link flexible manipulators are presented in this book. The lumped parameter modelling method and the assumed modes method modelling are comprehensively reviewed. The book also reviews the trajectory tracking problem and tip trajectory tracking problem along with the suppression of tip deflection of the links. An exponential time varying signal and a chaotic signal are considered as the desired trajectories. The identical/ non-identical slave manipulator is synchronised with the controlled master manipulator so that the slave manipulator indirectly follows the desired manipulator.
Download or read book Proceedings of the 6th International Conference on Electrical Engineering and Information Technologies for Rail Transportation EITRT 2023 written by Ming Gong and published by Springer Nature. This book was released on 2024-01-03 with total page 678 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book reflects the latest research trends, methods, and experimental results in the field of electrical and information technologies for rail transportation, which covers abundant state-of-the-art research theories and ideas. As a vital field of research that is highly relevant to current developments in a number of technological domains, the subjects it covered include intelligent computing, information processing, communication technology, automatic control, etc. The objective of the proceedings is to provide a major interdisciplinary forum for researchers, engineers, academicians, and industrial professionals to present the most innovative research and development in the field of rail transportation electrical and information technologies. Engineers and researchers in academia, industry, and government will also explore an insightful view of the solutions that combine ideas from multiple disciplines in this field. The volumes serve as an excellent reference work for researchers and graduate students working on rail transportation and electrical and information technologies.
Download or read book NASA Scientific and Technical Publications written by and published by . This book was released on 1993 with total page 134 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Scientific and Technical Aerospace Reports written by and published by . This book was released on 1994 with total page 836 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Formal Verification of a Fault Tolerant Clock Synchronization Algorithm written by John Rushby and published by . This book was released on 1989 with total page 232 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book NASA Scientific and Technical Publications A Catalog of Special Publications Reference Publications Conference Publications and Technical Papers 1991 1992 written by and published by . This book was released on 1993 with total page 122 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Monthly Catalog of United States Government Publications written by and published by . This book was released on 1993 with total page 876 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Methods and Concepts for Designing and Validating Smart Grid Systems written by Thomas I. Strasser and published by MDPI. This book was released on 2019-11-20 with total page 408 pages. Available in PDF, EPUB and Kindle. Book excerpt: Energy efficiency and low-carbon technologies are key contributors to curtailing the emission of greenhouse gases that continue to cause global warming. The efforts to reduce greenhouse gas emissions also strongly affect electrical power systems. Renewable sources, storage systems, and flexible loads provide new system controls, but power system operators and utilities have to deal with their fluctuating nature, limited storage capabilities, and typically higher infrastructure complexity with a growing number of heterogeneous components. In addition to the technological change of new components, the liberalization of energy markets and new regulatory rules bring contextual change that necessitates the restructuring of the design and operation of future energy systems. Sophisticated component design methods, intelligent information and communication architectures, automation and control concepts, new and advanced markets, as well as proper standards are necessary in order to manage the higher complexity of such intelligent power systems that form smart grids. Due to the considerably higher complexity of such cyber-physical energy systems, constituting the power system, automation, protection, information and communication technology (ICT), and system services, it is expected that the design and validation of smart-grid configurations will play a major role in future technology and system developments. However, an integrated approach for the design and evaluation of smart-grid configurations incorporating these diverse constituent parts remains evasive. The currently available validation approaches focus mainly on component-oriented methods. In order to guarantee a sustainable, affordable, and secure supply of electricity through the transition to a future smart grid with considerably higher complexity and innovation, new design, validation, and testing methods appropriate for cyber-physical systems are required. Therefore, this book summarizes recent research results and developments related to the design and validation of smart grid systems.
Download or read book Monthly Catalogue United States Public Documents written by and published by . This book was released on 1993-05 with total page 1830 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book The Turn of Moore s Law from Space to Time written by Liming Xiu and published by Springer Nature. This book was released on 2022-05-24 with total page 339 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book states that a space-induced crisis is recognized as the cause of trouble that Moore’s Law is currently facing. The contemporary practice of this empirical law can be considered as happening within a space-dominant paradigm. An alternative of exploiting potential in the dimension of time is identified as an emerging paradigm in microelectronics. The new practice is termed a time-oriented paradigm. It is justified as the turn of Moore’s Law from space to time. The resultant Time-Moore strategy is envisioned as the next-generation enabler for continuing Moore’s Law’s pursuit of everhigher information processing power and efficiency. It also serves as the perpetuation of the spirit that Moore’s law is nothing but a collective storied history of innovations. In the first part of this book, by following Thomas Kuhn’s seminal work around the concepts of paradigm and scientific revolution, the argument for the Time-Moore strategy (Time-Moore: to use time more) and the paradigm shift from space to time is carried out heavily through philosophical persuasion rather than technical proof due to the difficult challenge of change-of-mindset. The second part of the book provides solid technical materials for supporting this transition from the old paradigm to the new one. In short, the goal of this book is to reevaluate the contemporary practice of microelectronics, identify the cause of the current crisis, advocate a change-of-mindset to circumvent the crisis, and ultimately point out a new route for advancing. After achieving so many unprecedented accomplishments through several decades of relentless endeavor, it’s time for the big ship of Moore’s Law (i.e., the art of microelectronic system design) to make a turn.
Download or read book FME 93 Industrial Strength Formal Methods written by Jim Woodcock and published by Springer Science & Business Media. This book was released on 1993 with total page 712 pages. Available in PDF, EPUB and Kindle. Book excerpt: The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and reactive systems, and to hardware design. In that time, many theoretical problems have been tackled and solved, and many continue to be worked upon. Yet it is by the suitability of their industrial application and the extent of their usage that formal methods will ultimately be judged. This volume presents the proceedings of the first international symposium of Formal Methods Europe, FME'93. The symposium focuses on the application of industrial-strength formal methods. Authors address the difficulties of scaling their techniques up to industrial-sized problems, and their suitability in the workplace, and discuss techniques that are formal (that is, they have a mathematical basis) and that are industrially applicable. The volume has four parts: - Invited lectures, containing a lecture by Cliff B. Jones and a lecture by Antonio Cau and Willem-Paul de Roever; - Industrial usage reports, containing 6 reports; - Papers, containing 32 selected and refereedpapers; - Tool descriptions, containing 11 descriptions.
Download or read book Langley Aerospace Test Highlights 1990 written by and published by . This book was released on 1991 with total page 188 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Power Electronics and Power Quality written by José Gabriel Oliveira Pinto and published by MDPI. This book was released on 2020-04-23 with total page 336 pages. Available in PDF, EPUB and Kindle. Book excerpt: Power quality (PQ) is receiving more and more attention from consumers, distribution system operators, transmission system operators, and other entities related to electrical power systems. As PQ problems have direct implications for business productivity, causing high economic losses, the research and development monitoring technologies and power electronics solutions that ensure the PQ of the power systems are matters of utmost importance. This book is a collection of high quality papers published in the “Power Electronics and Power Quality” Special Issue of the journal Energies. It reflects on the latest investigations and the new trends in this field.
