Application of induction heating to high temperature fatigue testing

Accelerated activity in the development of hypersonic aircraft and spacecraft has created new problems of materials testing. Testing equipment must be capable of simulating higher temperatures as well as severe thermal cycling superimposed upon the cyclic application of stress. Among the materials under study requiring this testing equipment are the heavy refractory metals such as tungsten and molybdenum, which are capable to operating at very high temperatures while maintaining strength

The Occurrence of Rhopilema verrilli (Cnidaria: Scyphozoa: Rhizostomeae) on Galveston Island, Texas, and a Discussion on Its Distribution in U.S. Waters

A specimen of the rhizostome scyphomedusa Rhopilema verrilli was stranded on the beach at Galveston Island, Texas, in the spring of 1985. Two young specimens have since been collected In the marshes on the north side of Galveston bordering West Galveston Bay. This species Is relatively rare throughout most of Its range and has only been reported once before in the western Gulf of Mexico. Seasonal and geographic distributions from literature records are discussed in relation to temperature, salinity, currents, and life history. Occurrences along the U.S. East Coast Indicate progressively later seasonal appearances and decreased abundances from Georgia to New England. Occurrences In the Gulf of Mexico are almost all limited to the Mississippi Sound area. Collection records suggest that R. verrilli has two centers of distribution, one in southern U.S. East Coast waters and one in the northeastern Gulf of Mexico, and that occurrences outside these centers are due to transport by currents. We believe that R. verrilli\u27s apparent rarity in the western Gulf of Mexico results primarily from a combination of wind-driven current patterns, timing of volume of Mississippi-Aatchafalaya River discharge, and temperature-salinlty tolerances of the species acting against transport into, and survival in, the western Gulf

Generating Bijections between HOAS and the Natural Numbers

A provably correct bijection between higher-order abstract syntax (HOAS) and the natural numbers enables one to define a "not equals" relationship between terms and also to have an adequate encoding of sets of terms, and maps from one term family to another. Sets and maps are useful in many situations and are preferably provided in a library of some sort. I have released a map and set library for use with Twelf which can be used with any type for which a bijection to the natural numbers exists. Since creating such bijections is tedious and error-prone, I have created a "bijection generator" that generates such bijections automatically together with proofs of correctness, all in the context of Twelf.Comment: In Proceedings LFMTP 2010, arXiv:1009.218