Twelve Theses on Reactive Rules for the Web

Reactivity, the ability to detect and react to events, is an essential functionality in many information systems. In particular, Web systems such as online marketplaces, adaptive (e.g., recommender) systems, and Web services, react to events such as Web page updates or data posted to a server. This article investigates issues of relevance in designing high-level programming languages dedicated to reactivity on the Web. It presents twelve theses on features desirable for a language of reactive rules tuned to programming Web and Semantic Web applications

Gains and Gaps: Changing Inequality in U.S. College Entry and Completion

We describe changes over time in inequality in postsecondary education using nearly seventy years of data from the U.S. Census and the 1979 and 1997 National Longitudinal Surveys of Youth. We find growing gaps between children from high- and low-income families in college entry, persistence, and graduation. Rates of college completion increased by only four percentage points for low-income cohorts born around 1980 relative to cohorts born in the early 1960s, but by 18 percentage points for corresponding cohorts who grew up in high-income families. Among men, inequality in educational attainment has increased slightly since the early 1980s. But among women, inequality in educational attainment has risen sharply, driven by increases in the education of the daughters of high-income parents. Sex differences in educational attainment, which were small or nonexistent thirty years ago, are now substantial, with women outpacing men in every demographic group. The female advantage in educational attainment is largest in the top quartile of the income distribution. These sex differences present a formidable challenge to standard explanations for rising inequality in educational attainment.

Simulations of the Population of Centaurs II: Individual Objects

Detailed orbit integrations of clones of five Centaurs -- namely, 1996 AR20, 2060 Chiron, 1995 SN55, 2000 FZ53 and 2002 FY36 -- for durations of 3 Myr are presented. One of our Centaur sample starts with perihelion initially under the control of Jupiter (1996 AR20), two start under the control of Saturn (Chiron and 1995 SN55) and one each starts under the control of Uranus (2000 FZ53) and Neptune (2002 FY36) respectively. A variety of interesting pathways are illustrated with detailed examples including: capture into the Jovian Trojans, repeated bursts of short-period comet behaviour, capture into mean-motion resonances with the giant planets and into Kozai resonances, as well as traversals of the entire Solar system. For each of the Centaurs, we provide statistics on the numbers (i) ejected, (ii) showing short-period comet behaviour and (iii) becoming Earth and Mars crossing. For example, Chiron has over 60 % of its clones becoming short-period objects, whilst 1995 SN55 has over 35 %. Clones of these two Centaurs typically make numerous close approaches to Jupiter. At the other extreme, 2000 FZ53 has roughly 2 % of its clones becoming short-period objects. In our simulations, typically 20 % of the clones which become short-period comets subsequently evolve into Earth-crossers.Comment: 10 pages, in press at MNRA

Rotorcraft digital advanced avionics system (RODAAS) functional description

A functional design of a rotorcraft digital advanced avionics system (RODAAS) to transfer the technology developed for general aviation in the Demonstration Advanced Avionics System (DAAS) program to rotorcraft operation was undertaken. The objective was to develop an integrated avionics system design that enhances rotorcraft single pilot IFR operations without increasing the required pilot training/experience by exploiting advanced technology in computers, busing, displays and integrated systems design. A key element of the avionics system is the functionally distributed architecture that has the potential for high reliability with low weight, power and cost. A functional description of the RODAAS hardware and software functions is presented

2dF-AAOmega spectroscopy of massive stars in the Magellanic Clouds: The north-eastern region of the Large Magellanic Cloud

We present spectral classifications from optical spectroscopy of 263 massive stars in the north-eastern region of the Large Magellanic Cloud. The observed two-degree field includes the massive 30 Doradus star-forming region, the environs of SN1987A, and a number of star-forming complexes to the south of 30 Dor. These are the first classifications for the majority (203) of the stars and include eleven double-lined spectroscopic binaries. The sample also includes the first examples of early OC-type spectra (AAOmega 30 Dor 248 and 280), distinguished by the weakness of their nitrogen spectra and by C IV 4658 emission. We propose that these stars have relatively unprocessed CNO abundances compared to morphologically normal O-type stars, indicative of an earlier evolutionary phase. From analysis of observations obtained on two consecutive nights, we present radial-velocity estimates for 233 stars, finding one apparent single-lined binary and nine (>3sigma) outliers compared to the systemic velocity; the latter objects could be runaway stars or large-amplitude binary systems and further spectroscopy is required to investigate their nature.Comment: Accepted by A&

Open and Closed Loop Stability of Hingeless Rotor Helicopter Air and Ground Resonance

The air and ground resonance instabilities of hingeless rotor helicopters are examined on a relatively broad parametric basis including the effects of blade tuning, virtual hinge locations, and blade hysteresis damping, as well as size and scale effects in the gross weight range from 5,000 to 48,000 pounds. A special case of a 72,000 pound helicopter air resonance instability is also included. The study shows that nominal to moderate and readily achieved levels of blade inertial hysteresis damping in conjunction with a variety of tuning and/or feedback conditions are highly effective in dealing with these instabilities. Tip weights and reductions in pre-coning angles are also shown to be effective means for improving the air resonance instability

The Populations of Comet-Like Bodies in the Solar system

A new classification scheme is introduced for comet-like bodies in the Solar system. It covers the traditional comets as well as the Centaurs and Edgeworth-Kuiper belt objects. At low inclinations, close encounters with planets often result in near-constant perihelion or aphelion distances, or in perihelion-aphelion interchanges, so the minor bodies can be labelled according to the planets predominantly controlling them at perihelion and aphelion. For example, a JN object has a perihelion under the control of Jupiter and aphelion under the control of Neptune, and so on. This provides 20 dynamically distinct categories of outer Solar system objects in the Jovian and trans-Jovian regions. The Tisserand parameter with respect to the planet controlling perihelion is also often roughly constant under orbital evolution. So, each category can be further sub-divided according to the Tisserand parameter. The dynamical evolution of comets, however, is dominated not by the planets nearest at perihelion or aphelion, but by the more massive Jupiter. The comets are separated into four categories -- Encke-type, short-period, intermediate and long-period -- according to aphelion distance. The Tisserand parameter categories now roughly correspond to the well-known Jupiter-family comets, transition-types and Halley-types. In this way, the nomenclature for the Centaurs and Edgeworth-Kuiper belt objects is based on, and consistent with, that for comets.Comment: MNRAS, in press, 11 pages, 6 figures (1 available as postscript, 5 as gif). Higher resolution figures available at http://www-thphys.physics.ox.ac.uk/users/WynEvans/preprints.pd

Quantifying Operational Constraints of Low-Latency Telerobotics for Planetary Surface Operations

NASA's SLS and Orion crew vehicle will launch humans to cislunar space to begin the new era of space exploration. NASA plans to use the Orion crew vehicle to transport humans between Earth and cislunar space where there will be a stationed habitat known as the Deep Space Gateway (DSG). The proximity to the lunar surface allows for direct communication between the DSG and surface assets, which enables low-latency telerobotic exploration. The operational constraints for telerobotics must be fully explored on Earth before being utilized on space exploration missions. We identified two constraints on space exploration using low-latency surface telerobotics and attempts to quantify these constraints. A constraint associated with low-latency surface telerobotics is the bandwidth available between the orbiting command station and the ground assets. The bandwidth available will vary during operation. As a result, it is critical to quantify the operational video conditions required for effective exploration. We designed an experiment to quantify the threshold frame rate required for effective exploration. The experiment simulated geological exploration via low-latency surface telerobotics using a COTS rover in a lunar analog environment. The results from this experiment indicate that humans should operate above a threshold frame rate of 5 frames per second. In a separate, but similar experiment, we introduced a 2.6 second delay in the video system. This delay recreated the latency conditions present when operating rovers on the lunar farside from an Earth-based command station. This time delay was compared to low-latency conditions for teleoperation at the DSG ($\leq$0.4 seconds). The results from this experiment show a 150% increase in exploration time when the latency is increased to 2.6 seconds. This indicates that such a delay significantly complicates real-time exploration strategies.Comment: 10 pages, 8 figures, Proceedings of the IEEE Aerospace Conference, Big Sky, MT. arXiv admin note: text overlap with arXiv:1706.0375

UAV as a Reliable Wingman: A Flight Demonstration

In this brief, we present the results from a flight experiment demonstrating two significant advances in software enabled control: optimization-based control using real-time trajectory generation and logical programming environments for formal analysis of control software. Our demonstration platform consisted of a human-piloted F-15 jet flying together with an autonomous T-33 jet. We describe the behavior of the system in two scenarios. In the first, nominal state communications were present and the autonomous aircraft maintained formation as the human pilot flew maneuvers. In the second, we imposed the loss of high-rate communications and demonstrated an autonomous safe “lost wingman” procedure to increase separation and reacquire contact. The flight demonstration included both a nominal formation flight component and an execution of the lost wingman scenario