Corporate strategies of automotive manufacturers. Volume IV: adaptation of a computer simulation model of the industry. Final report.

National Highway Traffic Safety Administration, Washington, D.C.

Analytical modeling of driver response in crash avoidance maneuvering. Volume III: a trim model and computer program for determining ground vehicle steady state operating conditions and quasilinear stability coefficients. Final report.

National Highway Traffic Safety Administration, Washington, D.C.

A finite element head injury model. Volume II: computer program documentation. Final report.

National Highway Traffic Safety Administration, Washington, D.C.

Revision of Simulation Model of Automobile Collisions (SMAC) computer program: investigation of new integration algorithm. Final report.

National Highway Traffic Safety Administration, Washington, D.C.

Development and use of a computer simulation model for the evaluation of design and control alternatives for intersections of minor roads with multi-lane rural highways: field studies and model validation. Interim report.

Federal Highway Administration, Washington, D.C.

Development and use of a computer simulation model for the evaluation of design and control alternatives for intersections of minor roads with multi-lane rural highways: model application. Interim report.

Federal Highway Administration, Washington, D.C.

Development and use of a computer simulation model for the evaluation of design and control alternatives for intersections of minor roads with multi-lane rural highways: selection of the simulation model. Interim report.

Federal Highway Administration, Washington, D.C.

NETGRAF: a computer graphics aid to the operation and interpretation of NETSIM, a traffic simulation model. Part 1: overview and experimental results. Final report.

Transportation Department, Office of University Research, Washington, D.C.

NETGRAF: a computer graphics aid to the operation and interpretation of NETSIM, a traffic simulation model. Part 3: programmer's guide.

Transportation Department, Office of University Research, Washington, D.C.

A comparison of an estuary tide calculation by hydraulic model and computer /

Mode of access: Internet.

Computer program and data listing for two-dimensional ground-water model for Laramie County, Wyoming /

Mode of access: Internet.

Operator's, organizational and direct support maintenance manual : desktop cumputer [i.e. computer], Hewlett-Packard model 9845B.

"15 November 1985."

Formal analysis of human-computer interaction using model checking

Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in human reliability assessment (HRA). This paper investigates an approach to task failure analysis based on patterns of behaviour, by contrast to more traditional event-based approaches. It considers, as a case study, a formal model of an air traffic control (ATC) system which incorporates controller behaviour. The cognitive model is formalised in the CSP process algebra. Patterns of behaviour are expressed as temporal logic properties. Then a model-checking technique is used to verify whether the decomposition of the operator's behaviour into patterns is sound and complete with respect to the cognitive model. The decomposition is shown to be incomplete and a new behavioural pattern is identified, which appears to have been overlooked in the analysis of the data provided by the experiments with the simulator. This illustrates how formal analysis of operator models can yield fresh insights into how failures may arise in interactive systems.

An Investigation into the adoption and implementation of computer aided production management systems:using the Rogers model of adoption and implementation and a social constuctionist account of technology

The research investigates the processes of adoption and implementation, by organisations, of computer aided production management systems (CAPM). It is organised around two different theoretical perspectives. The first part is informed by the Rogers model of the diffusion, adoption and implementation of innovations, and the second part by a social constructionist approach to technology. Rogers' work is critically evaluated and a model of adoption and implementation is distilled from it and applied to a set of empirical case studies. In the light of the case study data, strengths and weaknesses of the model are identified. It is argued that the model is too rational and linear to provide an adequate explanation of adoption processes. It is useful for understanding processes of implementation but requires further development. The model is not able to adequately encompass complex computer based technologies. However, the idea of 'reinvention' is identified as Roger's key concept but it needs to be conceptually extended. Both Roger's model and definition of CAPM found in the literature from production engineering tend to treat CAPM in objectivist terms. The problems with this view are addressed through a review of the literature on the sociology of technology, and it is argued that a social constructionist approach offers a more useful framework for understanding CAPM, its nature, adoption, implementation, and use. CAPM it is argued, must be understood on terms of the ways in which it is constituted in discourse, as part of a 'struggle for meaning' on the part of academics, professional engineers, suppliers, and users.