Simulation verification techniques study: Simulation performance validation techniques document

Techniques and support software for the efficient performance of simulation validation are discussed. Overall validation software structure, the performance of validation at various levels of simulation integration, guidelines for check case formulation, methods for real time acquisition and formatting of data from an all up operational simulator, and methods and criteria for comparison and evaluation of simulation data are included. Vehicle subsystems modules, module integration, special test requirements, and reference data formats are also described

Project OASIS: The Design of a Signal Detector for the Search for Extraterrestrial Intelligence

An 8 million channel spectrum analyzer (MCSA) was designed the meet to meet the needs of a SETI program. The MCSA puts out a very large data base at very high rates. The development of a device which follows the MCSA, is presented

Two-pion correlation measurements for 14.6 A·GeV/c28Si+X and 11.6A·GeV/c197Au+Au

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Physics, 1994.Includes bibliographical references (p. 193-202).by Ron A. Soltz.Ph.D

Review of Top Quark Physics Results

As the heaviest known fundamental particle, the top quark has taken a central role in the study of fundamental interactions. Production of top quarks in pairs provides an important probe of strong interactions. The top quark mass is a key fundamental parameter which places a valuable constraint on the Higgs boson mass and electroweak symmetry breaking. Observations of the relative rates and kinematics of top quark final states constrain potential new physics. In many cases, the tests available with study of the top quark are both critical and unique. Large increases in data samples from the Fermilab Tevatron have been coupled with major improvements in experimental techniques to produce many new precision measurements of the top quark. The first direct evidence for electroweak production of top quarks has been obtained, with a resulting direct determination of $V_{tb}$. Several of the properties of the top quark have been measured. Progress has also been made in obtaining improved limits on potential anomalous production and decay mechanisms. This review presents an overview of recent theoretical and experimental developments in this field. We also provide a brief discussion of the implications for further efforts.Comment: 119 pages, 55 figure

Advanced Process Monitoring for Industry 4.0

This book reports recent advances on Process Monitoring (PM) to cope with the many challenges raised by the new production systems, sensors and “extreme data” conditions that emerged with Industry 4.0. Concepts such as digital-twins and deep learning are brought to the PM arena, pushing forward the capabilities of existing methodologies to handle more complex scenarios. The evolution of classical paradigms such as Latent Variable modeling, Six Sigma and FMEA are also covered. Applications span a wide range of domains such as microelectronics, semiconductors, chemicals, materials, agriculture, as well as the monitoring of rotating equipment, combustion systems and membrane separation processes

Software evolution: hypergraph based model of solution space andhmeta-search

A hypergraph based model of software evolution is proposed. The model uses software assets, and any other higher order patterns, as reusable components. We will use software product lines and software factories concepts as the engineering state-of-the-art framework to model evolution. Using those concepts, the solution space is sliced into sub-spaces using equivalence classes and their corresponding isomorphism. Any valid graph expansions will be required to retain information by being sub-graph isomorphic, forming a chain to a solution. We are also able to traverse the resulting modelled space. A characteristic set of operators and operands is used to find solutions that would be compatible. The result is in a structured manner to explore the combinatorial solution space, classifying solutions as part of families hierarchies. Using a software engineering interpretation a viable prototype implementation of the model has been created. It uses configuration files that are used as design-time instruments analogous to software factory schemas. These form configuration layers we call fragments. These fragments convert to graph node metadata to later allow complex graph queries. A profusion of examples of the modelling and its visualisation options are provided for better understanding. An example of automated generation of a configuration, using current Google Cloud assets, has been generated and added to the prototype. It illustrates automation possibilities by using harvested web data, and later, creating a custom isomorphic relation as a configuration. The feasibility of the model is thus demonstrated. The formalisation adds the rigour needed to further facilitate automation of software craftsmanship. Based on the model operation, we propose a concept of organic growth based on evolution. Evolution events are modelled after incremental change messages. This is communication efficient and it is shown to adhere to the Representational State Transfer architectural style. Finally, The Cloud is presented as an evolved solution part of a family, from the original concept of The Web

The 1991 Goddard Conference on Space Applications of Artificial Intelligence

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. The papers in this proceeding fall into the following areas: Planning and scheduling, fault monitoring/diagnosis/recovery, machine vision, robotics, system development, information management, knowledge acquisition and representation, distributed systems, tools, neural networks, and miscellaneous applications

Semantic discovery and reuse of business process patterns

Patterns currently play an important role in modern information systems (IS) development and their use has mainly been restricted to the design and implementation phases of the development lifecycle. Given the increasing significance of business modelling in IS development, patterns have the potential of providing a viable solution for promoting reusability of recurrent generalized models in the very early stages of development. As a statement of research-in-progress this paper focuses on business process patterns and proposes an initial methodological framework for the discovery and reuse of business process patterns within the IS development lifecycle. The framework borrows ideas from the domain engineering literature and proposes the use of semantics to drive both the discovery of patterns as well as their reuse