Accuracy: The fundamental requirement for voting systems

There have been several attempts to develop a comprehensive account of the requirements for voting systems, particularly for public elections. Typically, these approaches identify a number of "high level" principals which are then refined either into more detailed statements or more formal constructs. Unfortunately, these approaches do not acknowledge the complexity and diversity of the contexts in which voting takes place. This paper takes a different approach by arguing that the only requirement for a voting system is that it is accurate. More detailed requirements can then be derived from this high level requirement for the particular context in which the system is implemented and deployed. A general, formal high level model for voting systems and their context is proposed. Several related definitions of accuracy for voting systems are then developed, illustrating how the term "accuracy" is in interpreted in different contexts. Finally, a context based requirement for voting system privacy is investigated as an example of deriving a subsidiary requirement from the high level requirement for accuracy

Space shuttle pogo studies

Topics covered include: (1) pogo suppression for main propulsion subsystem operation; (2) application of quarter-scale low pressure oxidizer turbopump transfer functions; (3) pogo stability during orbital maneuvering subsystem operation; and (4) errors in frequency response measurements

Mechanization of and experience with a triplex fly-by-wire backup control system

A redundant three-axis analog control system was designed and developed to back up a digital fly-by-wire control system for an F-8C airplane. Forty-two flights, involving 58 hours of flight time, were flown by six pilots. The mechanization and operational experience with the backup control system, the problems involved in synchronizing it with the primary system, and the reliability of the system are discussed. The backup control system was dissimilar to the primary system, and it provided satisfactory handling through the flight envelope evaluated. Limited flight tests of a variety of control tasks showed that control was also satisfactory when the backup control system was controlled by a minimum-displacement (force) side stick. The operational reliability of the F-8 digital fly-by-wire control system was satisfactory, with no unintentional downmodes to the backup control system in flight. The ground and flight reliability of the system's components is discussed

Mechanization of and experience with a triplex fly-by-wire backup control system

A redundant three axis analog control system was designed and developed to back up a digital fly by wire control system for an F-8C airplane. The mechanization and operational experience with the backup control system, the problems involved in synchronizing it with the primary system, and the reliability of the system are discussed. The backup control system was dissimilar to the primary system, and it provided satisfactory handling through the flight envelope evaluated. Limited flight tests of a variety of control tasks showed that control was also satisfactory when the backup control system was controlled by a minimum displacement (force) side stick. The operational reliability of the F-8 digital fly by wire control system was satisfactory, with no unintentional downmodes to the backup control system in flight. The ground and flight reliability of the system's components is discussed

Bistability and chaos at low-level of quanta

We study nonlinear phenomena of bistability and chaos at a level of few quanta. For this purpose we consider a single-mode dissipative oscillator with strong Kerr nonlinearity with respect to dissipation rate driven by a monochromatic force as well as by a train of Gaussian pulses. The quantum effects and decoherence in oscillatory mode are investigated on the framework of the purity of states and the Wigner functions calculated from the master equation. We demonstrate the quantum chaotic regime by means of a comparison between the contour plots of the Wigner functions and the strange attractors on the classical Poincar\'e section. Considering bistability at low-limit of quanta, we analyze what is the minimal level of excitation numbers at which the bistable regime of the system is displayed? We also discuss the formation of oscillatory chaotic regime by varying oscillatory excitation numbers at ranges of few quanta. We demonstrate quantum-interference phenomena that are assisted hysteresis-cycle behavior and quantum chaos for the oscillator driven by the train of Gaussian pulses as well as we establish the border of classical-quantum correspondence for chaotic regimes in the case of strong nonlinearities.Comment: 10 pages, 14 figure

Phase-locking at low-level of quanta

We discuss phase-locking phenomena at low-level of quanta for parametrically driven nonlinear Kerr resonator (PDNR) in strong quantum regime. Oscillatory mode of PDNR is created in the process of a degenerate down-conversion of photons under interaction with a train of external Gaussian pulses. We calculate the Wigner functions of cavity mode showing two-fold symmetry in phase space and analyse formation of phase-locked states in the regular as well as the quantum chaotic regime.Comment: 6 pages, 4 figure

Laser diffraction particle sizing: Instrument probe volume relocation and elongation

The effective probe volume of laser diffraction particle sizing instruments depends on many instrument parameters. In particular the probe volume axial boundaries and its location along laser beam are essentially defined by the onset of a vignetting effect where light scattered at large angles from small particles misses the transform lens. This vignetting effect results in a probe volume that must be inconveniently close to the lens in order to detect smaller diameter particles (less than 100 micrometers). With the addition of an appropriately designed Keplerian telescope, the probe volume may be relocated and elongated. The theory of operation of this supplemental optical system is described. Design considerations for these supplemental optical systems are described, including recommendations for lens specifications, assembly and use. An image transfer system is described which has been designed for use on a Malvern 2600HSD instrument. Experimental validation of this image transfer system is described

Deriving Information Requirements from Responsibility Models

This paper describes research in understanding the requirements for complex information systems that are constructed from one or more generic COTS systems. We argue that, in these cases, behavioural requirements are largely defined by the underlying system and that the goal of the requirements engineering process is to understand the information requirements of system stakeholders. We discuss this notion of information requirements and propose that an understanding of how a socio-technical system is structured in terms of responsibilities is an effective way of discovering this type of requirement. We introduce the idea of responsibility modelling and show, using an example drawn from the domain of emergency planning, how a responsibility model can be used to derive information requirements for a system that coordinates the multiple agencies dealing with an emergency