Decoupling control technology for medium STOL transports

The advanced control technology is considered that is necessary to cope with the medium STOL transport landing problem and, in particular, the necessity to decouple with active control techniques. It is shown that the need to decouple is independent of the powered lift concept but that the provisioning for decoupling is most greatly dependent on the preassumed piloting technique. The implications of decoupling and active control techniques with respect to pilot technique options, handling quality criteria, flight control mechanization, and the use of piloted simulation as a design tool, are also discussed

Requirements and Capabilities for Planetary Missions: Mariner Encke Ballistic Flyby 1980

This mission will provide a broad-based fast reconnaissance of comet Encke, building a data base for subsequent more detailed comet investigations, including rendezvous. After a 3 month flight, the spacecraft will encounter the comet at a nominal range of about 500 km. Flyby velocity will be 7 to 28 km/sec depending on choice of arrival data (0 to 35 days before Encke perihelion) and launch vehicle. The spacecraft will be similar to the MVM 73 spacecraft, with scan platform and 117 kbps encounter data rate, and designed to survive the thermal environment of 0.34 to 0.8 AU

Requirements and capabilities for planetary missions. Volume 2: Mars polar orbiter penetrator 1981

The Mars Polar Orbiter/Penetrator 1981 mission, intended to investigate the manner in which Mars has evolved, and which surveys its geochemistry, performs climatological investigations, and attempts to determine the planet's gravitational field, was described. The spacecraft, modified from the Viking Orbiter design, carries a new remote-sensing payload and six penetrators. The penetrators are released from a 2.46-h, 1000-km sun synchronous circular orbit and interrogated daily throughout the 2-year orbital mission. X-band telemetry is used to increase data return

Fibrational induction rules for initial algebras

This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors. Our results are semantic in nature and are inspired by Hermida and Jacobs’ elegant algebraic formulation of induction for polynomial data types. Our contribution is to derive, under slightly different assumptions, an induction rule that is generic over all inductive types, polynomial or not. Our induction rule is generic over the kinds of properties to be proved as well: like Hermida and Jacobs, we work in a general fibrational setting and so can accommodate very general notions of properties on inductive types rather than just those of particular syntactic forms. We establish the correctness of our generic induction rule by reducing induction to iteration. We show how our rule can be instantiated to give induction rules for the data types of rose trees, finite hereditary sets, and hyperfunctions. The former lies outside the scope of Hermida and Jacobs’ work because it is not polynomial; as far as we are aware, no induction rules have been known to exist for the latter two in a general fibrational framework. Our instantiation for hyperfunctions underscores the value of working in the general fibrational setting since this data type cannot be interpreted as a set

The upgrade of the LHCb Vertex Locator

The LHCb experiment is set for a significant upgrade, which will be ready for Run 3 of the LHC in 2020. This upgrade will allow LHCb to run at a significantly higher instantaneous luminosity and collect an integrated luminosity of $50\,\text{fb}^{-1}$ by the end of Run 4. In this process the Vertex locator (VELO) detector will be upgraded to a pixel-based silicon detector. The upgraded VELO will improve upon the current detector by being closer to the beam and having lower material modules with microchannel cooling and a thinner RF-foil. Simulations have shown that it will maintain its excellent performance, even after the radiation damage caused by collecting an integrated luminosity of $50\,\text{fb}^{-1}$.Comment: Proceedings from PSD10 conferenc

Maximum likelihood and pseudo score approaches for parametric time-to-event analysis with informative entry times

We develop a maximum likelihood estimating approach for time-to-event Weibull regression models with outcome-dependent sampling, where sampling of subjects is dependent on the residual fraction of the time left to developing the event of interest. Additionally, we propose a two-stage approach which proceeds by iteratively estimating, through a pseudo score, the Weibull parameters of interest (i.e., the regression parameters) conditional on the inverse probability of sampling weights; and then re-estimating these weights (given the updated Weibull parameter estimates) through the profiled full likelihood. With these two new methods, both the estimated sampling mechanism parameters and the Weibull parameters are consistently estimated under correct specification of the conditional referral distribution. Standard errors for the regression parameters are obtained directly from inverting the observed information matrix in the full likelihood specification and by either calculating bootstrap or robust standard errors for the hybrid pseudo score/profiled likelihood approach. Loss of efficiency with the latter approach is considered. Robustness of the proposed methods to misspecification of the referral mechanism and the time-to-event distribution is also briefly examined. Further, we show how to extend our methods to the family of parametric time-to-event distributions characterized by the generalized gamma distribution. The motivation for these two approaches came from data on time to cirrhosis from hepatitis C viral infection in patients referred to the Edinburgh liver clinic. We analyze these data here.Comment: Published in at http://dx.doi.org/10.1214/14-AOAS725 the Annals of Applied Statistics (http://www.imstat.org/aoas/) by the Institute of Mathematical Statistics (http://www.imstat.org

Partitioning of energy in highly polydisperse granular gases

A highly polydisperse granular gas is modeled by a continuous distribution of particle sizes, a, giving rise to a corresponding continuous temperature profile, T(a), which we compute approximately, generalizing previous results for binary or multicomponent mixtures. If the system is driven, it evolves towards a stationary temperature profile, which is discussed for several driving mechanisms in dependence on the variance of the size distribution. For a uniform distribution of sizes, the stationary temperature profile is nonuniform with either hot small particles (constant force driving) or hot large particles (constant velocity or constant energy driving). Polydispersity always gives rise to non-Gaussian velocity distributions. Depending on the driving mechanism the tails can be either overpopulated or underpopulated as compared to the molecular gas. The deviations are mainly due to small particles. In the case of free cooling the decay rate depends continuously on particle size, while all partial temperatures decay according to Haff's law. The analytical results are supported by event driven simulations for a large, but discrete number of species.Comment: 10 pages; 5 figure

Magnetorotational-type instability in Couette-Taylor flow of a viscoelastic polymer liquid

We describe an instability of viscoelastic Couette-Taylor flow that is directly analogous to the magnetorotational instability (MRI) in astrophysical magnetohydrodynamics, with polymer molecules playing the role of magnetic field lines. By determining the conditions required for the onset of instability and the properties of the preferred modes, we distinguish it from the centrifugal and elastic instabilities studied previously. Experimental demonstration and investigation should be much easier for the viscoelastic instability than for the MRI in a liquid metal. The analogy holds with the case of a predominantly toroidal magnetic field such as is expected in an accretion disk and it may be possible to access a turbulent regime in which many modes are unstable.Comment: 4 pages, 4 figures, to be published in Physical Review Letter

Reactive self-heating model of aluminum spherical nanoparticles

Aluminum-oxygen reaction is important in many highly energetic, high pressure generating systems. Recent experiments with nanostructured thermites suggest that oxidation of aluminum nanoparticles occurs in a few microseconds. Such rapid reaction cannot be explained by a conventional diffusion-based mechanism. We present a rapid oxidation model of a spherical aluminum nanoparticle, using Cabrera-Mott moving boundary mechanism, and taking self-heating into account. In our model, electric potential solves the nonlinear Poisson equation. In contrast with the Coulomb potential, a "double-layer" type solution for the potential and self-heating leads to enhanced oxidation rates. At maximal reaction temperature of 2000 C, our model predicts overall oxidation time scale in microseconds range, in agreement with experimental evidence.Comment: submitte