Model-based Testing

This paper provides a comprehensive introduction to a framework for formal testing using labelled transition systems, based on an extension and reformulation of the ioco theory introduced by Tretmans. We introduce the underlying models needed to specify the requirements, and formalise the notion of test cases. We discuss conformance, and in particular the conformance relation ioco. For this relation we prove several interesting properties, and we provide algorithms to derive test cases (either in batches, or on the fly)

Overcoming water scarcity and quality constraints:

CONTENTS: Brief 1. Overview / Ruth S. Meinzen-Dick and Mark W. Rosegrant Brief 2. Water for Food Production / Mark W. Rosegrant and Ximing Cai Brief 3. Domestic Water Supply, Hygiene, and Sanitation / Hans van Damme Brief 4. Emerging Water Quality Problems in Developing Countries / Wim van der Hoeck - -Brief 5. Water and Rural Livelihoods / Linden Vincent Brief 6. Water and the Environment / Elro Bos and Ger Bergkamp Brief 7. Dams and Water Storage / Jeremy Bird and Pamela Wallace Brief 8. Groundwater: Potential and Constraints / Marcus Moench Brief 9. Water Harvesting and Watershed Management / John Kerr and Ganesh Pangare Brief 10. Water Pricing: Potential and Problems / R. Maria Saleth Brief 11. Markets for Tradable Water Rights / Karin E. Kemper Brief 12. Recognizing Water Rights / Franz and Keebet von Benda-Beckmann Brief 12. Integrated Management of Water in River Basins / Mark Svendsen Brief 13.Water, Conflict, and Cooperation / Aaron T. WolfWater quality management., Water rights., Water-supply,

A general model for attitude determination error analysis

An overview is given of a comprehensive approach to filter and dynamics modeling for attitude determination error analysis. The models presented include both batch least-squares and sequential attitude estimation processes for both spin-stabilized and three-axis stabilized spacecraft. The discussion includes a brief description of a dynamics model of strapdown gyros, but it does not cover other sensor models. Model parameters can be chosen to be solve-for parameters, which are assumed to be estimated as part of the determination process, or consider parameters, which are assumed to have errors but not to be estimated. The only restriction on this choice is that the time evolution of the consider parameters must not depend on any of the solve-for parameters. The result of an error analysis is an indication of the contributions of the various error sources to the uncertainties in the determination of the spacecraft solve-for parameters. The model presented gives the uncertainty due to errors in the a priori estimates of the solve-for parameters, the uncertainty due to measurement noise, the uncertainty due to dynamic noise (also known as process noise or measurement noise), the uncertainty due to the consider parameters, and the overall uncertainty due to all these sources of error

Reusable rocket engine intelligent control system framework design, phase 2

Elements of an advanced functional framework for reusable rocket engine propulsion system control are presented for the Space Shuttle Main Engine (SSME) demonstration case. Functional elements of the baseline functional framework are defined in detail. The SSME failure modes are evaluated and specific failure modes identified for inclusion in the advanced functional framework diagnostic system. Active control of the SSME start transient is investigated, leading to the identification of a promising approach to mitigating start transient excursions. Key elements of the functional framework are simulated and demonstration cases are provided. Finally, the advanced function framework for control of reusable rocket engines is presented

Past as prologue : the Royal Commission into Commercial Activities of Government and Other Matters : proceedings from a conference on the Part II Report of the Royal Commission and the reform of government in Western Australia

The Royal Commission into the Commercial Activities of Government and Other Matters was appointed by the Lawrence Government on the 8th January 1991. The Commission concluded its work in November 1992, producing two major reports on the conduct of government in Western Australia between 1983 and 1989. In the second of these reports, the Commission made forty separate recommendations for the reform of Western Australian Government, to be implemented by a Commission on Government. This conference examines the legacy of the Royal Commission, the work of the Commission on Government and issues in the reform or \u27re-invention\u27 of government. The conference concludes with presentations from the current generation of political decision makers on the reforming of government and the role of the media in the work of the Royal Commission

Infrared emission from ultracompact H II regions

Models of circumstellar dust shells around ultracompact (UC) H II regions were constructed that accurately fit the observed IR flux distributions. The models assume spherically symmetric dust shells illuminated by stars whose bolometric luminosity is inferred from the integrated FIR flux densities. Assuming ionization by a single zero age main sequence (ZAMS) star, the relations of Panagia were used to infer the stellar radius and effective temperature for a given luminosity. The grain mixture in the dust shell consists of bare graphite and silicate grains with the optical properties of Draine and Lee and the size distribution of Mathis et al. The computer code of Wolfire et al was used to solve the radiative transfer equations through a spherical dust shell. The model provides monochromatic luminosities, dust temperatures, and opacities through the shell. Aside from the stellar and dust properties, the only other input parameters to the model are the distance to the shell, the form of its density distribution, and its outer radius. Predictions of the model are compared with observations of a typical UC H II region and the run of dust temperature with radius and the optical depth with frequency are discussed

Aspects of International Relations in Africa

Edited volume which includes: Mark DeLancey, "The Study of African International Relations" Timothy M. Shaw and M. Catherine Newbury, "Dependence or Interdependence: Africa in the Global Political Economy" Ken W. Grundy, "Regional Relations in Southern Africa and the Global Political Economy" J. Gus Liebenow, "The Quest for East African Unity" J. Barron Boyd, Jr., "The Origins of Boundary Conflict in Africa" Patrick J. McGowan and Thomas H. Johnson, "The AFRICA Project and the Comparative Study of African Foreign Policy

Proceedings of the 24th Annual Conference of the Western Australian Science Education Association

The Western Australian Science Education Association (WASEA) is an informal group of science educators that meets annually for a conference at one of the Perth universities. The conference is organised by a committee of representatives from the universities and has contributed greatly to collegiality amongst the community of science educators in Perth