An unexpected role for visual feedback in vehicle steering control

Some motor tasks can be completed, quite literally, with our eyes shut. Most people can touch their nose without looking or reach for an object after only a brief glance at its location. This distinction leads to one of the defining questions of movement control: is information gleaned prior to starting the movement sufficient to complete the task (open loop), or is feedback about the progress of the movement required (closed loop)? One task that has commanded considerable interest in the literature over the years is that of steering a vehicle, in particular lane-correction and lane-changing tasks. Recent work has suggested that this type of task can proceed in a fundamentally open loop manner [1 and 2], with feedback mainly serving to correct minor, accumulating errors. This paper reevaluates the conclusions of these studies by conducting a new set of experiments in a driving simulator. We demonstrate that, in fact, drivers rely on regular visual feedback, even during the well-practiced steering task of lane changing. Without feedback, drivers fail to initiate the return phase of the maneuver, resulting in systematic errors in final heading. The results provide new insight into the control of vehicle heading, suggesting that drivers employ a simple policy of “turn and see,” with only limited understanding of the relationship between steering angle and vehicle heading.

Formal performance appraisal interviews: Can they really be objective, and are they useful anyway?

This paper reports on a qualitative field study conducted in Australia which examined what is occurring in formal performance appraisal interviews in relation to their objectivity and resultant outcomes. Supervisors and subordinates who had recently been involved in performance appraisals were interviewed about their experiences of the process. Perceptions of the utility of, and satisfaction with the interview process were examined. Further, the effect of the relationship between the participants on objectivity was investigated. Results indicated that formal appraisal interviews were not perceived to be of great utility, and that the relationship of the participants influenced the interview.

Triple objective team mentoring: achieving learning objectives with chemical engineering students

A sophisticated style of mentoring has been found to be essential to support engineering student teams undertaking technically demanding, real-world problems as part of a Project-Centred Curriculum (PCC) at The University of Queensland. The term ‘triple-objective’ mentoring was coined to define mentoring that addresses not only the student’s technical goal achievement but also their time and team management. This is achieved through a number of formal mentor meetings that are informed by a confidential instrument which requires students to individually reflect on team processes prior to the meeting, and a checklist of technical requirements against which the interim student team progress and achievements are assessed. Triple-objective mentoring requires significant time input and coordination by the academic but has been shown to ensure effective student team work and learning undiminished by team dysfunction. Student feedback shows they value the process and agree that the tools developed to support the process are effective in developing and assessing team work and skills with average scores mostly above 3 on a four point scale.

Experimental control of single-mode laser chaos by using continuous, time-delayed feedback

Control of chaos in the single-mode optically pumped far-infrared (NH3)-N-15 laser is experimentally demonstrated using continuous time-delay control. Both the Lorenz spiral chaos and the detuned period-doubling chaos exhibited by the laser have been controlled. While the laser is in the Lorenz spiral chaos regime the chaos has been controlled both such that the laser output is cw, with corrections of only a fraction of a percent necessary to keep it there, and to period one. The laser has also been controlled while in the period-doubling chaos regime, to both the period-one and -two states.

Frequency stabilised grating feedback laser diode for atom cooling applications

The free running linewidth of an external cavity grating feedback diode laser is on the order of a few megahertz and is limited by the mechanical and acoustic vibrations of the external cavity. Such frequency fluctuations can be removed by electronic feedback. We present a hybrid stabilisation technique that uses both a Fabry-Perot confocal cavity and an atomic resonance to achieve excellent short and long term frequency stability. The system has been shown to reduce the laser linewidth of an external cavity diode laser by an order of magnitude to 140 kHz, while limiting frequency excursions to 60 kHz relative to an absolute reference over periods of several hours. The scheme also presents a simple way to frequency offset two lasers many gigahertz apart which should find a use in atom cooling experiments, where hyperfine ground-state frequency separations are often required.

Formal derivation of finite state machines for class testing

Previous work on generating state machines for the purpose of class testing has not been formally based. There has also been work on deriving state machines from formal specifications for testing non-object-oriented software. We build on this work by presenting a method for deriving a state machine for testing purposes from a formal specification of the class under test. We also show how the resulting state machine can be used as the basis for a test suite developed and executed using an existing framework for class testing. To derive the state machine, we identify the states and possible interactions of the operations of the class under test. The Test Template Framework is used to formally derive the states from the Object-Z specification of the class under test. The transitions of the finite state machine are calculated from the derived states and the class's operations. The formally derived finite state machine is transformed to a ClassBench testgraph, which is used as input to the ClassBench framework to test a C++ implementation of the class. The method is illustrated using a simple bounded queue example.

Controlling chaos in a Lorenz-like system using feedback

We demonstrate that the dynamics of an autonomous chaotic laser can be controlled to a periodic or steady state under self-synchronization. In general, past the chaos threshold the dependence of the laser output on feedback applied to the pump is submerged in the Lorenz-like chaotic pulsation. However there exist specific feedback delays that stabilize the chaos to periodic behavior or even steady state. The range of control depends critically on the feedback delay time and amplitude. Our experimental results are compared with the complex Lorenz equations which show good agreement.

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.

The formal representation of process system modelling assumptions and their implications

In order to analyse the effect of modelling assumptions in a formal, rigorous way, a syntax of modelling assumptions has been defined. The syntax of modelling assumptions enables us to represent modelling assumptions as transformations acting on the set of model equations. The notion of syntactical correctness and semantical consistency of sets of modelling assumptions is defined and methods for checking them are described. It is shown on a simple example how different modelling assumptions act on the model equations and their effect on the differential index of the resulted model is also indicated.

Controlling the decoherence of a ''meter'' via stroboscopic feedback

We propose a simple modification of the experimental scheme employed by Brune rt ni. [Phys. Rev. Lett. 79, 4887 (1996)] for the generation and detection of a Schrodinger cat state, in which the decoherence of the cat state can be significantly slowed down using an appropriate feedback.

Protecting Schrodinger cat states using feedback

A feedback model based on direct photodetection and micromaser-like atomic injection is proposed for the preservation of quantum coherence in a cavity. We show that in this way it is possible to slow down significantly the decoherence of Schrodinger cat states.

Asymmetric page split generalized index search trees for formal concept analysis

Formal Concept Analysis is an unsupervised machine learning technique that has successfully been applied to document organisation by considering documents as objects and keywords as attributes. The basic algorithms of Formal Concept Analysis then allow an intelligent information retrieval system to cluster documents according to keyword views. This paper investigates the scalability of this idea. In particular we present the results of applying spatial data structures to large datasets in formal concept analysis. Our experiments are motivated by the application of the Formal Concept Analysis idea of a virtual filesystem [11,17,15]. In particular the libferris [1] Semantic File System. This paper presents customizations to an RD-Tree Generalized Index Search Tree based index structure to better support the application of Formal Concept Analysis to large data sources.