568 research outputs found
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
- …