The 1993 Goddard Conference on Space Applications of Artificial Intelligence

This publication comprises the papers presented at the 1993 Goddard Conference on Space Applications of Artificial Intelligence held at the NASA/Goddard Space Flight Center, Greenbelt, MD on May 10-13, 1993. The purpose of this annual conference is to provide a forum in which current research and development directed at space applications of artificial intelligence can be presented and discussed

Electric load information system based on non-intrusive power monitoring

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 2003.Includes bibliographical references (leaves 192-200).Obtaining high quality information economically and reliably is always a difficult objective to achieve. The electric power industry and consumers recently face many challenges, such as deregulation, autonomous power systems and power quality. The knowledge of the nature and state of the power systems will undoubtedly be the key in meeting these challenges. The Non-Intrusive Power Monitor is a novel attempt to collect such information with a minimal physical installation. Raw voltage and current are measured at a single location to yield harmonic power signals. They typically carry the fingerprints of the electric loads present in a system, and their analysis can produce such information as the operational and diagnostic status of the loads. The power signals can also be used for the system identification, parameter estimation and energy consumption optimization study. In this research, the power signals are mostly modeled as stochastic processes and various detection, estimation and pattern recognition algorithms are developed to extract desired information. A constant load status identifier is developed in this thesis which can identify the ON and OFF status of electric loads, both from their steady-state power consumptions and transient patterns. The identifier can also classify multiple load events occurring at a same time and estimate states without load events. The power consumed by a variable speed drive is also estimated using the correlations between the fundamental powers and higher harmonic powers. The harmonic signal generated by the imbalance of a rotating machine is estimated to monitor the drive, i.e. its speed and magnitude of the imbalance. The algorithms are thoroughly tested using the data collected at real buildings, and some of them are implemented on-line.(cont.) This thesis focuses on developing mathematical models and signal processing algorithms for the customers at the end of the AC distribution system. Its results will directly benefit the developments of a ubiquitous electric meter in a deregulated market, a diagnostic or prognostic tool for mission-critical systems and an intelligent power quality monitor.by Kwangduk Douglas Lee.Ph.D

Computer Aided Verification

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic

Technology 2002: the Third National Technology Transfer Conference and Exposition, Volume 1

The proceedings from the conference are presented. The topics covered include the following: computer technology, advanced manufacturing, materials science, biotechnology, and electronics

Proceedings of the European Conference on Agricultural Engineering AgEng2021

This proceedings book results from the AgEng2021 Agricultural Engineering Conference under auspices of the European Society of Agricultural Engineers, held in an online format based on the University of Évora, Portugal, from 4 to 8 July 2021. This book contains the full papers of a selection of abstracts that were the base for the oral presentations and posters presented at the conference. Presentations were distributed in eleven thematic areas: Artificial Intelligence, data processing and management; Automation, robotics and sensor technology; Circular Economy; Education and Rural development; Energy and bioenergy; Integrated and sustainable Farming systems; New application technologies and mechanisation; Post-harvest technologies; Smart farming / Precision agriculture; Soil, land and water engineering; Sustainable production in Farm buildings