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

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

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

Experimental testing of four correction algorithms for the forward scattering spectrometer probe

Three number density correction algorithms and one size distribution correction algorithm for the Forward Scattering Spectrometer Probe (FSSP) were compared with data taken by the Phase Doppler Particle Analyzer (PDPA) and an optical number density measuring instrument (NDMI). Of the three number density correction algorithms, the one that compared best to the PDPA and NDMI data was the algorithm developed by Baumgardner, Strapp, and Dye (1985). The algorithm that corrects sizing errors in the FSSP that was developed by Lock and Hovenac (1989) was shown to be within 25 percent of the Phase Doppler measurements at number densities as high as 3000/cc

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

Blowing policy bubbles: rethinking emissions targets and low-carbon energy policies in the UK

The issue of proportionality is central to climate policy debates about setting targets for the reduction of greenhouse gas emissions and the development of low-carbon energy. In effect, these debates centre on whether the perceived social costs outweigh the benefits of policies and, if not, whether this may lead to over-investment or ‘policy bubbles’. Political attention, agenda setting and policy image are all crucial drivers of ambitious policy formation, as seen in the case of the United Kingdom's (UK) Climate Change Act (2008). However, as political salience waned and economic depression dragged on, the cost of long-term climate targets have been reconsidered. Based on documentary analysis and 33 interviews with central political actors, this article presents a detailed account of how economic arguments have been used to reinterpret and challenge policies, using the heuristics of ‘over-investment’ and ‘policy bubbles’. Ultimately, arguments about proportionality hinge on which costs and benefits are considered. In the UK, economic and technical framings are typically prioritised, but they do not explain contradictory and politically motivated policy decisions. We discuss these dynamics within the context of maturing renewable energy technologies, high energy prices and the UK's cross-party consensus approach to climate politics

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