Search

Towards Co-Engineering Communicating Autonomous Cyber-physical Systems

REA Auditado

In this paper, we sketch a framework for interdisciplinary modeling of space systems, by proposing
a holistic view. We consider different system dimensions and their interaction. Specifically,we study the interactions between computation, physics, communication, uncertainty and autonomy.
The most comprehensive computational paradigm that supports a holistic perspective on autonomous space systems is given by cyber-physical systems. For these, the state of art consists of collaborating multi-engineering efforts that prompt for an adequate formal foundation.

Tema: general: 

• Ciencias›Matemáticas

Identification of Vessels from Engine Sounds by Spectral Comparison and Verification

REA Auditado

We consider the problem of identifying a vessel from its engine sound. A database of known vessels is used for comparison of acoustic characteristics in the frequency domain. Only one training sample is required from each class for classification. With more training samples, a vessel is not only classified but also verified whether it belongs to the same class as its closest match in the database. The acoustic signals are regarded as stationary time series with mixed spectra. We boost their power by adding a small amount of noise in order to assist classification.

Tema: general: 

• Ciencias›Matemáticas

PVD’s contributions to numerical methods in systems and control

REA Auditado

Paul M. Van Dooren received the engineering degree in computer science and the doctoral degree in applied sciences, both from the Katholieke Universiteit Leuven, Belgium, in 1974 and 1979, respectively.

Tema: general: 

• Ciencias›Matemáticas

Finite Elements and Fast Iterative Solvers: With Applications in Incompressible Fluid Dynamics

REA Auditado

The intended readership includes graduate students and researchers in engineering, numerical analysis, applied mathematics and interdisciplinary scientific computing. The publisher describes the book as follows: * An excellent introduction to finite elements, iterative linear solvers and scientific computing * Contains theoretical problems and practical exercises * All methods and examples use freely available software * Focuses on theory and computation, not theory for computation * Describes approximation methods and numerical linear algebra

Tema: general: 

• Ciencias›Matemáticas

HydraMP: Exploiting shared memory parallelism in HYDRA with OpenMP

REA Auditado

Multicore CPUs are now found in desktops, servers and supercomputers but many existing parallel performance analysis tools were designed for the single-core distributed-memory world. We investigate the practicality of taking an existing tool, namely the HYDRA response time analyser, and parallelising it with OpenMP to produce a multithreaded implementation suitable for execution on multicore shared-memory machines.

Tema: general: 

• Ciencias›Matemáticas

HydraMP: Exploiting shared memory parallelism in HYDRA with OpenMP

REA Auditado

Multicore CPUs are now found in desktops, servers and supercomputers but many existing parallel performance analysis tools were designed for the single-core distributed-memory world. We investigate the practicality of taking an existing tool, namely the HYDRA response time analyser, and parallelising it with OpenMP to produce a multithreaded implementation suitable for execution on multicore shared-memory machines.

Tema: general: 

• Ciencias›Matemáticas

HydraMP: Exploiting shared memory parallelism in HYDRA with OpenMP

REA Auditado

Multicore CPUs are now found in desktops, servers and supercomputers but many existing parallel performance analysis tools were designed for the single-core distributed-memory world. We investigate the practicality of taking an existing tool, namely the HYDRA response time analyser, and parallelising it with OpenMP to produce a multithreaded implementation suitable for execution on multicore shared-memory machines.

Tema: general: 

• Ciencias›Matemáticas

Tube geometry can force switchlike transitions in the behavior of propagating bubbles

REA Auditado

Microscale process engineering requires precise control of bubbles and droplets. We investigate
geometry-induced control and find that a centered constriction in the cross section of rectangular
tubes can lead to new families of steadily propagating bubbles, which localize in the
least-constricted regions of the cross section. Tuning the constriction geometry can cause a
switchlike transition from centered to localized bubbles at a critical value of the flow rate: a
mechanism for flow-rate-driven bubble control.

Tema: general: 

• Ciencias›Matemáticas

Workshop on Formal Methods for Aerospace (FMA)

REA Auditado

The coexistence of multiple disciplinary perspectives on the same class of critical applications (aerospace) and investigation (formal) methods leads naturally to the opportunity to define multidisciplinary approaches. Thus, work in this area will likely underline the importance of
some research problems from aerospace to the formal methods community, and promote new formal techniques combining the principles of artificial intelligence and control engineering.
The source of new problems for formal methods comes from the great diversity of aerospace systems.

Tema: general: 

• Ciencias›Matemáticas

Optimum Experimental Designs, With SAS

REA Auditado

Experiments on patients, processes or plants all have random error, making statistical methods essential for their efficient design and analysis. This book presents the theory and methods of optimum experimental design, making them available through the use of SAS programs. Little previous statistical knowledge is assumed. The first part of the book stresses the importance of models in the analysis of data and introduces least squares fitting and simple optimum experimental designs. The second part presents a more detailed discussion of the general theory and of a wide variety of experiments.

Tema: general: 

• Ciencias›Matemáticas