Award Data

In an attempt to extend turbine engine on-wing time, thermal barrier coatings (TBC) using various application techniques have been developed. High temperatures corrosion due to penetration of chemically active species along the columnar grains of the topcoat limits the durability of TBCs. This results in degradation of the topcoat thermal insulation ceramic layer and accelerated oxidation of the b ...

We propose to design and implement a domain-specific language (DSL) called Nettle that will eliminate a large class of network misconfiguration errors, together with a verification tool that will be used to establish the correctness of other network configuration specifications. Advantages of our approach include: - It can be deployed gracefully and incrementally. The use of Nettle will guarantee ...

We propose an engine concept, which we call a Cart-Engine, which embodies both a thermodynamic cycle innovation and a mechanical innovation that can achieve exceptional efficiency, low mechanical vibration, and can burn multiple fuels. In addition, the manner in which the Cart-Engine functions promises the potential for low emissions, high power to weight, and low manufacturing cost. We have alr ...

High quantum efficiency (QE), fast (