Ash grains of the 1991 Mt. Pinatubo eruption as a tracer in Rose Bengal stained deep sea agglutinated foraminifera: How old is Freddy?

The use of volcanic ash particles (including dark-coloured grains) by agglutinated foraminifera that survived the 1991 eruption of Mt Pinatubo volcano provides a useful tracer to help determine growth rates and longevity in the deep sea. In the case of a specimen of Cyclammina pusilla Brady, the rate of chamber addition in this Rose Bengal stained sub-adult individual is three chambers over a timespan of five and one-half years

X-56A Structural Dynamics Ground Testing Overview and Lessons Learned

The X-56A Multi-Utility Technology Testbed (MUTT) is a subscale, fixed-wing aircraft designed for high-risk aeroelastic flight demonstration and research. Structural dynamics ground testing for model validation was especially important for this vehicle because the structural model was directly used in the development of a flight control system with active flutter suppression capabilities. Structural dynamics ground tests of the X-56A MUTT with coupled rigid-body and structural modes provided a unique set of challenges. An overview of the ground vibration test (GVT) and moment of inertia (MOI) test setup and execution is presented. The series of GVTs included the wing by itself attached to a strongback and complete vehicle at two mass conditions: empty and full fuel. Two boundary conditions for the complete-vehicle test were studied: on landing gear and suspended free-free. Pitch MOI tests were performed using a compound pendulum method and repeated with two different pendulum lengths for independent verification. The original soft-support test configuration for the GVT used multiple bungees, resulting in unforeseen coupling interactions between the soft-support bungees and the vehicle structural modes. To resolve this problem, the soft-support test setup underwent multiple iterations. The various GVT configurations and boundary-condition modifications are highlighted and explained. Lessons learned are captured for future consideration when performing structural dynamics testing with similar vehicles

Statistical quality control applied to a telemetry system acceptance prodedure Technical report no. 13

Statistical quality control applied to telemetry system acceptance procedur

Quasars: a supermassive rotating toroidal black hole interpretation

A supermassive rotating toroidal black hole (TBH) is proposed as the fundamental structure of quasars and other jet-producing active galactic nuclei. Rotating protogalaxies gather matter from the central gaseous region leading to the birth of massive toroidal stars whose internal nuclear reactions proceed very rapidly. Once the nuclear fuel is spent, gravitational collapse produces a slender ring-shaped TBH remnant. These events are typically the first supernovae of the host galaxies. Given time the TBH mass increases through continued accretion by several orders of magnitude, the event horizon swells whilst the central aperture shrinks. The difference in angular velocities between the accreting matter and the TBH induces a magnetic field that is strongest in the region of the central aperture and innermost ergoregion. Due to the presence of negative energy states when such a gravitational vortex is immersed in an electromagnetic field, circumstances are near ideal for energy extraction via non-thermal radiation including the Penrose process and superradiant scattering. This establishes a self-sustaining mechanism whereby the transport of angular momentum away from the quasar by relativistic bi-directional jets reinforces both the modulating magnetic field and the TBH/accretion disk angular velocity differential. Quasar behaviour is extinguished once the BH topology becomes spheroidal. Similar mechanisms may be operating in microquasars, SNe and GRBs when neutron density or BH tori arise. In certain circumstances, long-term TBH stability can be maintained by a negative cosmological constant, otherwise the classical topology theorems must somehow be circumvented. Preliminary evidence is presented that Planck-scale quantum effects may be responsible.Comment: 26 pages, 14 figs, various corrections and enhancements, final versio

Using keystroke logging to understand writers’ processes on a reading-into-writing test

Background Integrated reading-into-writing tasks are increasingly used in large-scale language proficiency tests. Such tasks are said to possess higher authenticity as they reflect real-life writing conditions better than independent, writing-only tasks. However, to effectively define the reading-into-writing construct, more empirical evidence regarding how writers compose from sources both in real-life and under test conditions is urgently needed. Most previous process studies used think aloud or questionnaire to collect evidence. These methods rely on participants’ perceptions of their processes, as well as their ability to report them. Findings This paper reports on a small-scale experimental study to explore writers’ processes on a reading-into-writing test by employing keystroke logging. Two L2 postgraduates completed an argumentative essay on computer. Their text production processes were captured by a keystroke logging programme. Students were also interviewed to provide additional information. Keystroke logging like most computing tools provides a range of measures. The study examined the students’ reading-into-writing processes by analysing a selection of the keystroke logging measures in conjunction with students’ final texts and interview protocols. Conclusions The results suggest that the nature of the writers’ reading-into-writing processes might have a major influence on the writer’s final performance. Recommendations for future process studies are provided

Pushouts in software architecture design

A classical approach to program derivation is to progressively extend a simple specification and then incrementally refine it to an implementation. We claim this approach is hard or impractical when reverse engineering legacy software architectures. We present a case study that shows optimizations and pushouts--in addition to refinements and extensions--are essential for practical stepwise development of complex software architectures.NSF CCF 0724979NSF CNS 0509338NSF CCF 0917167NSF DGE-1110007FCT SFRH/BD/47800/2008FCT UTAustin/CA/0056/200

Pointfree factorization of operation refinement

The standard operation refinement ordering is a kind of “meet of op- posites”: non-determinism reduction suggests “smaller” behaviour while increase of definition suggests “larger” behaviour. Groves’ factorization of this ordering into two simpler relations, one per refinement concern, makes it more mathe- matically tractable but is far from fully exploited in the literature. We present a pointfree theory for this factorization which is more agile and calculational than the standard set-theoretic approach. In particular, we show that factorization leads to a simple proof of structural refinement for arbitrary parametric types and ex- ploit factor instantiation across different subclasses of (relational) operation. The prospect of generalizing the factorization to coalgebraic refinement is discussedFundação para a Ciência e a Tecnologia (FCT) - PURE Project (Program Understanding and Re-engineering: Calculi and Applications), contract POSI/ICHS/44304/2002

Principles of Stakes Fairness in Sport

Fairness in sport is not just about assigning the top prizes to the worthiest competitors. It is also about the way the prize structure itself is organised. For many sporting competitions, although it may be acceptable for winners to receive more than losers, it can seem unfair for winners to take everything and for losers to get nothing. Yet this insight leaves unanswered some difficult questions about what stakes fairness requires and which principles of stakes fairness are appropriate for particular competitions. In this article I specify a range of different principles of stakes fairness (ten in total) that could regulate sporting competitions. I also put forward a theoretical method for pairing up appropriate principles of stakes fairness with given sporting competitions. Specifically, I argue that the underlying rationales for holding sporting competitions can provide useful guides for identifying appropriate principles of stakes fairness. I then seek to clarify and work through some of the implications of this method for a sample of real world controversies over sporting prize structures. I also attempt to refine the method in response to two possible objections from indeterminacy and relativism. Finally, I compare and contrast my conclusions with more general philosophical debates about justice

A timeband framework for modelling real-time systems

Complex real-time systems must integrate physical processes with digital control, human operation and organisational structures. New scientific foundations are required for specifying, designing and implementing these systems. One key challenge is to cope with the wide range of time scales and dynamics inherent in such systems. To exploit the unique properties of time, with the aim of producing more dependable computer-based systems, it is desirable to explicitly identify distinct time bands in which the system is situated. Such a framework enables the temporal properties and associated dynamic behaviour of existing systems to be described and the requirements for new or modified systems to be specified. A system model based on a finite set of distinct time bands is motivated and developed in this paper

Exploring Action Dynamics as an Index of Paired-Associate Learning

Much evidence exists supporting a richer interaction between cognition and action than commonly assumed. Such findings demonstrate that short-timescale processes, such as motor execution, may relate in systematic ways to longer-timescale cognitive processes, such as learning. We further substantiate one direction of this interaction: the flow of cognition into action systems. Two experiments explored match-to-sample paired-associate learning, in which participants learned randomized pairs of unfamiliar symbols. During the experiments, their hand movements were continuously tracked using the Nintendo Wiimote. Across learning, participant arm movements are initiated and completed more quickly, exhibit lower fluctuation, and exert more perturbation on the Wiimote during the button press. A second experiment demonstrated that action dynamics index novel learning scenarios, and not simply acclimatization to the Wiimote interface. Results support a graded and systematic covariation between cognition and action, and recommend ways in which this theoretical perspective may contribute to applied learning contexts