Decision-making for unmanned aerial vehicle operation in icing conditions

With the increased use of unmanned aerial systems (UAS) for civil and commercial applications, there is a strong demand for new regulations and technology that will eventually permit for the integration of UAS in unsegregated airspace. This requires new technology to ensure sufficient safety and a smooth integration process. The absence of a pilot on board a vehicle introduces new problems that do not arise in manned flight. One challenging and safety-critical issue is flight in known icing conditions. Whereas in manned flight, dealing with icing is left to the pilot and his appraisal of the situation at hand; in unmanned flight, this is no longer an option and new solutions are required. To address this, an icing-related decision-making system (IRDMS) is proposed. The system quantifies in-flight icing based on changes in aircraft performance and measurements of environmental properties, and evaluates what the effects on the aircraft are. Based on this, it determines whether the aircraft can proceed, and whether and which available icing protection systems should be activated. In this way, advice on an appropriate response is given to the operator on the ground, to ensure safe continuation of the flight and avoid possible accidents

Study of thermal insulation for airborne liquid hydrogen fuel tanks

A concept for a fail-safe thermal protection system was developed. From screening tests, approximately 30 foams, adhesives, and reinforcing fibers using 0.3-meter square liquid nitrogen cold plate, CPR 452 and Stafoam AA1602, both reinforced with 10 percent by weight of 1/16 inch milled OCF Style 701 Fiberglas, were selected for further tests. Cyclic tests with these materials in 2-inch thicknesses bonded on a 0.6-meter square cold plate with Crest 7410 adhesive systems, were successful. Zero permeability gas barriers were identified and found to be compatible with the insulating concept

Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning (Extended Version)

We describe and evaluate a novel optimization-based off-line path planning algorithm for mobile robots based on the Counterexample-Guided Inductive Optimization (CEGIO) technique. CEGIO iteratively employs counterexamples generated from Boolean Satisfiability (SAT) and Satisfiability Modulo Theories (SMT) solvers, in order to guide the optimization process and to ensure global optimization. This paper marks the first application of CEGIO for planning mobile robot path. In particular, CEGIO has been successfully applied to obtain optimal two-dimensional paths for autonomous mobile robots using off-the-shelf SAT and SMT solvers.Comment: 7 pages, 14rd Latin American Robotics Symposium (LARS'2017

Landscape Structure and Nutrient Budgets in an Agricultural Watershed, Southwest, Ohio

Author Institution: Department of Geography, Miami UniversityManaging for uncultivated lands in agricultural watersheds may be a cost effective way to improve surface water quality. For this study, landscape structure and nutrient (N, P) budgets were compared in seven first-order basins of Marshall's Branch watershed, Preble County, OH. Row crops were the dominant land use in all basins. Three basins had greater than 25% of stream buffers forested and nitrate concentrations below average. Four basins had higher pasture and residential land use proportions and phosphorus concentrations higher than average. Growing season precipitation in 1994 was low, resulting in low nutrient transport. Although no basins had net export of nutrients, trends exist that point out relationships between landscape structure and nutrient storage. Of particular importance is the strong effect small changes in forested stream buffers had on nitrogen flows in the basins, suggesting small land use changes in targeted areas can affect positive changes in basin-wide nutrient dynamics

Simultaneous Kummer congruences and E∞\mathbb{E}_\infty-orientations of KO and tmf

Building on results of M. Ando, M.J. Hopkins and C. Rezk, we show the existence of uncountably many $\mathbb{E}_\infty$-String orientations of real K-theory KO and of topological modular forms tmf, generalizing the $\hat{A}$- (resp. the Witten) genus. Furthermore, the obstruction to lifting an $\mathbb{E}_\infty$-String orientations from KO to tmf is identified with a classical Iwasawa-theoretic condition. The common key to all these results is a precise understanding of the classical Kummer congruences, imposed for all primes simultaneously. This result is of independent arithmetic interest.Comment: final versio

Interplay between the magnetic anisotropy contributions of Cobalt nanowires

We report on the magnetic properties and the crystallographic structure of the cobalt nanowire arrays as a function of their nanoscale dimensions. X-ray diffraction measurements show the appearance of an in-plane HCP-Co phase for nanowires with 50 nm diameter, suggesting a partial reorientation of the magnetocrystalline anisotropy axis along the membrane plane with increasing pore diameter. No significant changes in the magnetic behavior of the nanowire system are observed with decreasing temperature, indicating that the effective magnetoelastic anisotropy does not play a dominant role in the remagnetization processes of individual nanowires. An enhancement of the total magnetic anisotropy is found at room temperature with a decreasing nanowire diameter-to-length ratio (d/L), a result that is quantitatively analyzed on the basis of a simplified shape anisotropy model.Comment: 8 pages, 4 figure

Advanced superconducting magnets investigation

Mathematical models for steady state behavior of composite superconductors and experimental verification using magnet coi

Lie systems and integrability conditions for t-dependent frequency harmonic oscillators

Time-dependent frequency harmonic oscillators (TDFHO's) are studied through the theory of Lie systems. We show that they are related to a certain kind of equations in the Lie group SL(2,R). Some integrability conditions appear as conditions to be able to transform such equations into simpler ones in a very specific way. As a particular application of our results we find t-dependent constants of the motion for certain one-dimensional TDFHO's. Our approach provides an unifying framework which allows us to apply our developments to all Lie systems associated with equations in SL(2,R) and to generalise our methods to study any Lie system