Completeness, robustness, and safety in real-time software requirements specification

This paper presents an approach to providing a rigorous basis for ascertaining whether or not a given set of software requirements is internally complete, i.e., closed with respect to questions and inferences that can be made on the basis of information included in the specification. Emphasis is placed on aspects of software requirements specifications that previously have not been adequately handled, including timing abstractions, safety, and robustness

Controlled levels of protein modification through a chromatography-mediated bioconjugation.

Synthetically modified proteins are increasingly finding applications as well-defined scaffolds for materials. In practice it remains difficult to construct bioconjugates with precise levels of modification because of the limited number of repeated functional groups on proteins. This article describes a method to control the level of protein modification in cases where there exist multiple potential modification sites. A protein is first tagged with a handle using any of a variety of modification chemistries. This handle is used to isolate proteins with a particular number of modifications via affinity chromatography, and then the handle is elaborated with a desired moiety using an oxidative coupling reaction. This method results in a sample of protein with a well-defined number of modifications, and we find it particularly applicable to systems like protein homomultimers in which there is no way to discern between chemically identical subunits. We demonstrate the use of this method in the construction of a protein-templated light-harvesting mimic, a type of system which has historically been difficult to make in a well-defined manner

R=100,000 Spectroscopy of Photodissociation Regions: H2 Rotational Lines in the Orion Bar

Ground state rotational lines of H2 are good temperature probes of moderately hot (200-1000 K) gas. The low A-values of these lines result in low critical densities while ensuring that the lines are optically thin. ISO observations of H2 rotational lines in PDRs reveal large quantities of warm gas that are difficult to explain via current models, but the spatial resolution of ISO does not resolve the temperature structure of the warm gas. We present and discuss high spatial resolution observations of H2 rotational line emission from the Orion Bar.Comment: 4 pages, 1 figure, Proceedings of the ESO Workshop on High Resolution Infrared Spectroscop

Rotator and extender ferroelectrics: Importance of the shear coefficient to the piezoelectric properties of domain-engineered crystals and ceramics

The importance of a high shear coefficient d15 (or d24) to the piezoelectric properties of domain-engineered and polycrystalline ferroelectrics is discussed. The extent of polarization rotation, as a mechanism of piezoelectric response, is directly correlated to the shear coefficient. The terms "rotator" and "extender" are introduced to distinguish the contrasting behaviors of crystals such as 4mm BaTiO3 and PbTiO3. In "rotator" ferroelectrics, where d15 is high relative to the longitudinal coefficient d33, polarization rotation is the dominant mechanism of piezoelectric response; the maximum longitudinal piezoelectric response is found away from the polar axis. In "extender" ferroelectrics, d15 is low and the collinear effect dominates; the maximum piezoelectric response is found along the polar axis. A variety of 3m, mm2 and 4mm ferroelectrics, with various crystal structures based on oxygen octahedra, are classified in this way. It is shown that the largest piezoelectric anisotropies d15/d33 are always found in 3m crystals; this is a result of the intrinsic electrostrictive anisotropy of the constituent oxygen octahedra. Finally, for a given symmetry, the piezoelectric anisotropy increases close to ferroelectric-ferroelectric phase transitions; this includes morphotropic phase boundaries and temperature induced polymorphic transitions.Comment: accepted in J. Appl. Phy

Ne II Observations of Gas Motions in Compact and Ultracompact H II Regions

We present high spatial and spectral resolution observations of 16 Galactic compact and ultracompact H II regions in the [Ne II] 12.8 mu m fine-structure line. The small thermal width of the neon line and the high dynamic range of the maps provide an unprecedented view of the kinematics of compact and ultracompact H II regions. These observations solidify an emerging picture of the structure of ultracompact H II regions suggested in our earlier studies of G29.96-0.02 and Mon R2 IRS 1; systematic surface flows, rather than turbulence or bulk expansion, dominate the gas motions in the H II regions. The observations show that almost all of the sources have significant (5-20 km s(-1)) velocity gradients and that most of the sources are limb-brightened. In many cases, the velocity pattern implies tangential flow along a dense shell of ionized gas. None of the observed sources clearly fits into the categories of filled expanding spheres, expanding shells, filled blister flows, or cometary H II regions formed by rapidly moving stars. Instead, the kinematics and morphologies of most of the sources lead to a picture of H II regions confined to the edges of cavities created by stellar wind ram pressure and flowing along the cavity surfaces. In sources where the radio continuum and [Ne II] morphologies agree, the majority of the ionic emission is blueshifted relative to nearby molecular gas. This is consistent with sources lying on the near side of their natal clouds being less affected by extinction and with gas motions being predominantly outward, as is expected for pressure-driven flows.NSF AST-0607312, NSF-0708074SOFIA USRA8500-98-008NYSTAR Faculty Development ProgramNASA NNG 04-GG92G, CAN-NCC5-679Lunar and Planetary InstituteAstronom

TEXES Observations of Pure Rotational H_2 Emission from AB Aurigae

We present observations of pure rotational molecular hydrogen emission from the Herbig Ae star, AB Aur. Our observations were made using the Texas Echelon Cross Echelle Spectrograph (TEXES) at the NASA Infrared Telescope Facility and the Gemini North Observatory. We searched for H_2 emission in the S(1), S(2), and S(4) lines at high spectral resolution and detected all three. By fitting a simple model for the emission in the three transitions, we derive T = 670 ± 40 K and M = 0.52 ± 0.15 M_⊙ for the emitting gas. On the basis of the 8.5 km s^(-1) FWHM of the S(2) line, assuming the emission comes from the circumstellar disk, and with an inclination estimate of the AB Aur system taken from the literature, we place the location for the emission near 18 AU. Comparison of our derived temperature to a disk structure model suggests that UV and X-ray heating are important in heating the disk atmosphere

Looking for Pure Rotational H_2 Emission from Protoplanetary Disks

We report on a limited search for pure-rotational molecular hydrogen emission associated with young, pre-main-sequence stars. We looked for H_2 v=0 J = 3->1 and J = 4->2 emission in the mid-infrared using the Texas Echelon-Cross-Echelle Spectrograph (TEXES) at NASA's 3m Infrared Telescope Facility. The high spectral and spatial resolution of our observations lead to more stringent limits on narrow line emission close to the source than previously achieved. One star, AB Aur, shows a possible (2sigma) H_2 detection, but further observations are required to make a confident statement. Our non-detections suggest that a significant fraction, perhaps all, of previously reported H_2 emission towards these objects could be extended on scales of 5" or more.Comment: 14 pages including 2 figures. Accepted by ApJ Letter