Model-driven performance evaluation for service engineering

Service engineering and service-oriented architecture as an integration and platform technology is a recent approach to software systems integration. Software quality aspects such as performance are of central importance for the integration of heterogeneous, distributed service-based systems. Empirical performance evaluation is a process of measuring and calculating performance metrics of the implemented software. We present an approach for the empirical, model-based performance evaluation of services and service compositions in the context of model-driven service engineering. Temporal databases theory is utilised for the empirical performance evaluation of model-driven developed service systems

A Web-Based Distributed Virtual Educational Laboratory

Evolution and cost of measurement equipment, continuous training, and distance learning make it difficult to provide a complete set of updated workbenches to every student. For a preliminary familiarization and experimentation with instrumentation and measurement procedures, the use of virtual equipment is often considered more than sufficient from the didactic point of view, while the hands-on approach with real instrumentation and measurement systems still remains necessary to complete and refine the student's practical expertise. Creation and distribution of workbenches in networked computer laboratories therefore becomes attractive and convenient. This paper describes specification and design of a geographically distributed system based on commercially standard components

Fluid physics, thermodynamics, and heat transfer experiments in space

An overstudy committee was formed to study and recommend fundamental experiments in fluid physics, thermodynamics, and heat transfer for experimentation in orbit, using the space shuttle system and a space laboratory. The space environment, particularly the low-gravity condition, is an indispensable requirement for all the recommended experiments. The experiments fell broadly into five groups: critical-point thermophysical phenomena, fluid surface dynamics and capillarity, convection at reduced gravity, non-heated multiphase mixtures, and multiphase heat transfer. The Committee attempted to assess the effects of g-jitter and other perturbations of the gravitational field on the conduct of the experiments. A series of ground-based experiments are recommended to define some of the phenomena and to develop reliable instrumentation

Target Directed Event Sequence Generation for Android Applications

Testing is a commonly used approach to ensure the quality of software, of which model-based testing is a hot topic to test GUI programs such as Android applications (apps). Existing approaches mainly either dynamically construct a model that only contains the GUI information, or build a model in the view of code that may fail to describe the changes of GUI widgets during runtime. Besides, most of these models do not support back stack that is a particular mechanism of Android. Therefore, this paper proposes a model LATTE that is constructed dynamically with consideration of the view information in the widgets as well as the back stack, to describe the transition between GUI widgets. We also propose a label set to link the elements of the LATTE model to program snippets. The user can define a subset of the label set as a target for the testing requirements that need to cover some specific parts of the code. To avoid the state explosion problem during model construction, we introduce a definition "state similarity" to balance the model accuracy and analysis cost. Based on this model, a target directed test generation method is presented to generate event sequences to effectively cover the target. The experiments on several real-world apps indicate that the generated test cases based on LATTE can reach a high coverage, and with the model we can generate the event sequences to cover a given target with short event sequences

MCViNE -- An object oriented Monte Carlo neutron ray tracing simulation package

MCViNE (Monte-Carlo VIrtual Neutron Experiment) is a versatile Monte Carlo (MC) neutron ray-tracing program that provides researchers with tools for performing computer modeling and simulations that mirror real neutron scattering experiments. By adopting modern software engineering practices such as using composite and visitor design patterns for representing and accessing neutron scatterers, and using recursive algorithms for multiple scattering, MCViNE is flexible enough to handle sophisticated neutron scattering problems including, for example, neutron detection by complex detector systems, and single and multiple scattering events in a variety of samples and sample environments. In addition, MCViNE can take advantage of simulation components in linear-chain-based MC ray tracing packages widely used in instrument design and optimization, as well as NumPy-based components that make prototypes useful and easy to develop. These developments have enabled us to carry out detailed simulations of neutron scattering experiments with non-trivial samples in time-of-flight inelastic instruments at the Spallation Neutron Source. Examples of such simulations for powder and single-crystal samples with various scattering kernels, including kernels for phonon and magnon scattering, are presented. With simulations that closely reproduce experimental results, scattering mechanisms can be turned on and off to determine how they contribute to the measured scattering intensities, improving our understanding of the underlying physics.Comment: 34 pages, 14 figure

Development of microwave NDT inspection techniques for large solid propellant rocket motors Final report

Microwave nondestructive testing techniques for large solid propellant rocket engine

Laser Guide Star Only Adaptive Optics: The Development of Tools and Algorithms for the Determination of Laser Guide Star Tip-Tilt

Adaptive Optics (AO) is a technology which corrects for the effects of the atmosphere and so improves the optical quality of ground based astronomical observations. The bright “guide stars” required for correction are not available across the entire sky, so Laser Guide Stars (LGSs) are created. A Natural Guide Star (NGS) is still required to correct for tip-tilt as the LGS encounters turbulence on the uplink path resulting in unpredictable “jitter”, hence limiting corrected sky coverage. In this thesis an original method is proposed and investigated that promises to improve the correction performance for tomographic AO systems using only LGSs, and no NGS, by retrieving the LGS uplink tip-tilt. To investigate the viability of this method, two unique tools have been developed. A new AO simulation has been written in the Python programming language which has been designed to facilitate the rapid development of new AO concepts. It features realistic LGS simulation, ideal to test the method of LGS uplink tip-tilt retrieval. The Durham Real-Time Adaptive Optics Generalised Optical Nexus (DRAGON) is a laboratory AO test bench nearing completion, which features multiple LGS and NGS Wavefront Sensors (WFSs) intended to further improve tomographic AO. A novel method of LGS emulation has been designed, which re-creates focus anisoplanatism, elongation and uplink turbulence. Once complete, DRAGON will be the ideal test bench for further development of LGS uplink tip-tilt retrieval. Performance estimates from simulation of the LGS uplink tip-tilt retrieval method are presented. Performance is improved over tomographic LGS AO systems which do not correct for tip-tilt, giving a modest improvement in image quality over the entire night sky. Correction performance is found to be dependent on the atmospheric turbulence profile. If combined with ground layer adaptive optics, higher correction performance with a very high sky coverage may be achieved