Call-by-name Gradual Type Theory

We present gradual type theory, a logic and type theory for call-by-name gradual typing. We define the central constructions of gradual typing (the dynamic type, type casts and type error) in a novel way, by universal properties relative to new judgments for gradual type and term dynamism, which were developed in blame calculi and to state the "gradual guarantee" theorem of gradual typing. Combined with the ordinary extensionality ($\eta$) principles that type theory provides, we show that most of the standard operational behavior of casts is uniquely determined by the gradual guarantee. This provides a semantic justification for the definitions of casts, and shows that non-standard definitions of casts must violate these principles. Our type theory is the internal language of a certain class of preorder categories called equipments. We give a general construction of an equipment interpreting gradual type theory from a 2-category representing non-gradual types and programs, which is a semantic analogue of Findler and Felleisen's definitions of contracts, and use it to build some concrete domain-theoretic models of gradual typing

Airstart performance of a digital electronic engine control system in an F-15 airplane

The airstart performance of the F100 engine equipped with a digital electronic engine control (DEEC) system was evaluated in an F-15 airplane. The DEEC system incorporates closed-loop airstart logic for improved capability. Spooldown and jet fuel starter-assisted airstarts were made over a range of airspeeds and altitudes. All jet fuel starter-assisted airstarts were successful, with airstart time varying from 35 to 60 sec. All spooldown airstarts at airspeeds of 200 knots and higher were successful; airstart times ranged from 45 sec at 250 knots to 135 sec at 200 knots. The effects of altitude on airstart success and time were small. The flight results agreed closely with previous altitude facility test results. The DEEC system provided successful airstarts at airspeeds at least 50 knots lower than the standard F100 engine control system

Research focusing on plant performance in constructed wetlands and agronomic application of treated wastewater – A set of experimental studies in Sicily (Italy)

Constructed wetlands are sustainable technologies for the treatment of wastewater. These biological systems have been widely studied throughout the world for more than 30 years; however, most studies have focused on the effects of design and engineering on pollutant removal from wastewater. Undoubtedly, agro-technical aspects have been given too little consideration by research. This paper reports the main results of a set of experiments carried out on two pilot horizontal subsurface flow systems in Sicily (Italy). Festuca, Lolium and Pennisetum spp. in combination and three emergent macrophytes–Arundo donax L., Cyperus alternifolius L. and Typha latifolia L.–alone, were assessed. The aim of the study was to demonstrate that, under predetermined hydraulic and design conditions, the choice of plant species and the management of the vegetation can significantly affect the pollutant removal performance of constructed wetlands. In addition, wastewater (after treatment) can also be used for agricultural purposes leading to increased sustainability in agricultural systems. Arundo and Typha-planted units performed better than Cyperus-planted units in terms of chemical, physical and microbiological contaminant removal. All the species adapted extremely well to wetland conditions. Polyculture systems were found to be more efficient than monocultures in the removal of dissolved organic compounds. The reuse of treated wastewater for the irrigation of open fields and horticultural crops led to significant savings in the use of freshwater and fertilizers. The results of physical-energy characterization of A. donax above-ground plant residues and pellets highlighted the fact that a constructed wetland could also be a potential source of bioenergy