An Abstraction-Refinement Theory for the Analysis and Design of Real-Time Systems

Component-based and model-based reasonings are key concepts to address the increasing complexity of real-time systems. Bounding abstraction theories allow to create efficiently analyzable models that can be used to give temporal or functional guarantees on non-deterministic and non-monotone implementations. Likewise, bounding refinement theories allow to create implementations that adhere to temporal or functional properties of specification models. For systems in which jitter plays a major role, both best-case and worst-case bounding models are needed. In this paper we present a bounding abstraction-refinement theory for real-time systems. Compared to the state-of-the-art TETB refinement theory, our theory is less restrictive with respect to the automatic lifting of properties from component to graph level and does not only support temporal worst-case refinement, but evenhandedly temporal and functional, best-case and worst-case abstraction and refinement

Direct interelectrode tunneling in GaSe

Using thin films of the layer compound gallium selenide, we have fabricated experimental structures which are nearly ideal for the study of tunneling currents. All of the parameters relevant to current flow in these structures can be independently determined since single-crystal gallium selenide films have the properties of the bulk material and also well-defined interfaces. A new analytical technique for determining the energy-momentum dispersion relation within the forbidden gap of a solid is discussed and applied to current-voltage data obtained from metal-GaSe-metal structures. The resulting E-k relation is shown to be an intrinsic property of GaSe. Tunneling currents in GaSe are shown to be quantitatively understood in terms of this E-k relation, the geometry of a given structure, and a simple model of current flow via tunneling

Optical Reflection Studies of Damage in Ion Implanted Silicon

Optical (3–6.5 eV) reflection spectra are presented for crystalline Si implanted at room temperature with 40 keV Sb ions to doses of less than 2×10^15/cm^2. These spectra, and their deviation from the reflection spectrum of crystalline Si, are discussed in terms of a model based on the average dielectric properties of the implanted region. For samples having a high ion dose (>10^15/cm^2) the observed spectra resemble the spectra of sputtered Si films. Anneal characteristics of the reflection spectra are found to be dose dependent. These observations are compared to, and found to substantiate, the results of other experimental techniques for studying lattice damage in Si

Health-related quality of life as a predictor of pediatric healthcare costs: A two-year prospective cohort analysis

BACKGROUND: The objective of this study was to test the primary hypothesis that parent proxy-report of pediatric health-related quality of life (HRQL) would prospectively predict pediatric healthcare costs over a two-year period. The exploratory hypothesis tested anticipated that a relatively small group of children would account for a disproportionately large percent of healthcare costs. METHODS: 317 children (157 girls) ages 2 to 18 years, members of a managed care health plan with prospective payment participated in a two-year prospective longitudinal study. At Time 1, parents reported child HRQL using the Pediatric Quality of Life Inventory™ (PedsQL™ 4.0) Generic Core Scales, and chronic health condition status. Costs, based on health plan utilization claims and encounters, were derived for 6, 12, and 24 months. RESULTS: In multiple linear regression equations, Time 1 parent proxy-reported HRQL prospectively accounted for significant variance in healthcare costs at 6, 12, and 24 months. Adjusted regression models that included both HRQL scores and chronic health condition status accounted for 10.1%, 14.4%, and 21.2% of the variance in healthcare costs at 6, 12, and 24 months. Parent proxy-reported HRQL and chronic health condition status together defined a 'high risk' group, constituting 8.7% of the sample and accounting for 37.4%, 59.2%, and 62% of healthcare costs at 6, 12, and 24 months. The high risk group's per member per month healthcare costs were, on average, 12 times that of other enrollees' at 24 months. CONCLUSIONS: While these findings should be further tested in a larger sample, our data suggest that parent proxy-reported HRQL can be used to prospectively predict healthcare costs. When combined with chronic health condition status, parent proxy-reported HRQL can identify an at risk group of children as candidates for proactive care coordination

Contact-limited currents in metal-insulator-metal structures

The physical mechanisms underlying current flow in solid-state MIM structures are reviewed with emphasis on criteria for determining the dominant conduction mechanism in a given experimental situation. Measurements of the bias and temperature dependence of currents through structures incorporating a thin film of single-crystal gallium selenide are reported, and are shown to be in excellent agreement with the predictions of a simple physical model of contact-limited emission. Independently measured properties of bulk single-crystal gallium selenide are used in all calculations; no adjustable parameters are employed. We believe that this study presents unequivocal evidence for contact-limited thermionic currents in solid-state MIM structures

The structures of natively assembled clathrin-coated vesicles

Clathrin-coated vesicles mediate trafficking of proteins and nutrients in the cell and between organelles. Proteins included in the clathrin-coated vesicles (CCVs) category include clathrin heavy chain (CHC), clathrin light chain (CLC), and a variety of adaptor protein complexes. Much is known about the structures of the individual CCV components, but data are lacking about the structures of the fully assembled complexes together with membrane and in complex with cargo. Here, we determined the structures of natively assembled CCVs in a variety of geometries. We show that the adaptor β2 appendages crosslink adjacent CHC β-propellers and that the appendage densities are enriched in CCV hexagonal faces. We resolve how adaptor protein 2 and other associated factors in hexagonal faces form an assembly hub with an extensive web of interactions between neighboring β-propellers and propose a structural model that explains how adaptor binding can direct the formation of pentagonal and hexagonal faces

Fundamental transition in the electronic nature of solids

Striking evidence for a fundamental covalent-ionic transition in the electronic nature of solids is presented