Formal methods within a totally functional approach to programming

Taking functional programming to its extremities in search of simplicity still requires integration with other development (e.g. formal) methods. Induction is the key to deriving and verifying functional programs, but can be simplified through packaging proofs with functions, particularly folds, on data (structures). Totally Functional Programming avoids the complexities of interpretation by directly representing data (structures) as platonic combinators - the functions characteristic to the data. The link between the two simplifications is that platonic combinators are a kind of partially-applied fold, which means that platonic combinators inherit fold-theoretic properties, but with some apparent simplifications due to the platonic combinator representation. However, despite observable behaviour within functional programming that suggests that TFP is widely-applicable, significant work remains before TFP as such could be widely adopted.

Credit assignment: The memory representation of dynamic task events

The experiment examined the influence of memory for prior instances on aircraft conflict detection. Participants saw pairs of similar aircraft repeatedly conflict with each other. Performance improvements suggest that participants credited the conflict status of familiar aircraft pairs to repeated static features such as speed, and dynamic features such as aircraft relative position. Participants missed conflicts when a conflict pair resembled a pair that had repeatedly passed safely. Participants either did not attend to, or interpret, the bearing of aircraft correctly as a result of false memory-based expectations. Implications for instance models and situational awareness in dynamic systems are discussed.

Dynamic strain measurement using piezoelectric polymer film

Piezoelectric polymers have been used to form the basis of dynamic strain gauges for the detection of stress waves. The linearity of response was tested using a split Hopkinson pressure bar arrangement. The results obtained illustrate the effectiveness of piezoelectric film strain gauges in the measurement of axial stress waves.

Analysis of dynamic process models for structural insight and model reduction .1. Structural identification measures

An important consideration in the development of mathematical models for dynamic simulation, is the identification of the appropriate mathematical structure. By building models with an efficient structure which is devoid of redundancy, it is possible to create simple, accurate and functional models. This leads not only to efficient simulation, but to a deeper understanding of the important dynamic relationships within the process. In this paper, a method is proposed for systematic model development for startup and shutdown simulation which is based on the identification of the essential process structure. The key tool in this analysis is the method of nonlinear perturbations for structural identification and model reduction. Starting from a detailed mathematical process description both singular and regular structural perturbations are detected. These techniques are then used to give insight into the system structure and where appropriate to eliminate superfluous model equations or reduce them to other forms. This process retains the ability to interpret the reduced order model in terms of the physico-chemical phenomena. Using this model reduction technique it is possible to attribute observable dynamics to particular unit operations within the process. This relationship then highlights the unit operations which must be accurately modelled in order to develop a robust plant model. The technique generates detailed insight into the dynamic structure of the models providing a basis for system re-design and dynamic analysis. The technique is illustrated on the modelling for an evaporator startup. Copyright (C) 1996 Elsevier Science Ltd

Analysis of dynamic models for structural insight and model reduction .2. A multi-stage compressor shutdown case-study

In this second paper, the three structural measures which have been developed are used in the modelling of a three stage centrifugal synthesis gas compressor. The goal of this case study is to determine the essential mathematical structure which must be incorporated into the compressor model to accurately model the shutdown of this system. A simple, accurate and functional model of the system is created via three structural measures. It was found that the model can be correctly reduced into its basic modes and that the order of the differential system can be reduced from 51(st) to 20(th). Of the 31 differential equational 21 reduce to algebraic relations, 8 become constants and 2 can be deleted thereby increasing the algebraic set from 70 to 91 equations. An interpretation is also obtained as to which physical phenomena are dominating the dynamics of the compressor add whether the compressor will enter surge during the shutdown. Comparisons of the reduced model performance against the full model are given, showing the accuracy and applicability of the approach. Copyright (C) 1996 Elsevier Science Ltd

Response programming in dementia of the Alzheimer type: A kinematic analysis

Although planning is important for the functioning of patients with dementia of the Alzheimer Type (DAT), little is known about response programming in DAT. This study used a cueing paradigm coupled with quantitative kinematic analysis to document the preparation and execution of movements made by a group of 12 DAT patients and their age and sex matched controls. Participants connected a series of targets placed upon a WACOM SD420 graphics tablet, in response to the pattern of illumination of a set of light emitting diodes (LEDs). In one condition, participants could programme the upcoming movement, whilst in another they were forced to reprogramme this movement on-line (i.e. they were not provided with advance information about the location of the upcoming target). DAT patients were found to have programming deficits, taking longer to initiate movements; particularly in the absence of cues. While problems spontaneously programming a movement might cause a greater reliance upon on-line guidance, when both groups were required to guide the movement on-line, DAT patients continued to show slower and less efficient movements implying declining sensori-motor function; these differences were not simply due to strategy or medication status. (C) 1997 Elsevier Science Ltd.

Poverty - dynamic and sustainability perspectives: Implications for welfare and policy with reference to India

After outlining some comparative features of poverty in India, this article reviews critically recent literature on the dynamics of poverty. On economic efficiency grounds, it rejects the view that the chronically poor are more deserving than the non-chronic poor of poverty assistance. Mechanisms of households and communities for coping with poverty are discussed. The possibility is raised that where poverty has been persistent that rational methods for coping with it are likely to be well established, and less suffering may occur than for households and communities thrown temporarily into poverty. However, situations can also be envisaged where such rational behaviours deepen the poverty trap and create unfavourable externalities for poverty alleviation. Conflict can arise between programmes to alleviate poverty in poor communities and the sustainability of these communities and their local cultures. Problems posed by this are discussed. Furthermore, the impact of market extension on poor landholders is considered. In contrast to the prevailing view that increased market extension and liberalisation is favourable to poor farmers, it is argued that inescapable market transaction cost makes it difficult for the poor to survive as landholders in a fluid and changing market system. The likelihood of poor landholders joining the landless poor rises, and if they migrate from the countryside to the city they face further adjustment hurdles. Consequently, poor landholders may be poorer after the extension of the market system and only their offspring may reap benefits from market reforms.

Dynamic processes in the contingent valuation of an endangered mammal species

Reports experimental results involving 204 members of the public who were asked their willingness to pay for the conservation of the mahogany glider Petaurus gracilis on three occasions: prior to information being provided to them about the glider and other wildlife species; after such information was provided, and after participants had an opportunity to see live specimens of this endangered species. Variations in the mean willingness to pay are analysed. Concerns arise about whether information provision and experience reveal ‘true’ contingent valuations of public goods and about the choice of the relevant contingent valuation measure.