Intracardiac echo guided valvuloplasty of a stenotic tricuspid prosthetic valve in a patient with idiopathic hypereosinophilic syndrome

A 52-year-old male with idiopathic hypereosinophilic syndrome (HES) was transferred to our institution following the development of acute respiratory failure and shock. He had previously undergone tricuspid valve replacement with bioprosthetic valves on two occasions: the initial surgery for severe native tricuspid valve stenosis and the redo surgery for severe prosthetic valve stenosis and regurgitation. Conventional imaging assessment using transoesophageal echocardiography was suboptimal and comprehensive assessment of prosthetic valve function was aided by the use of intracardiac echocardiography (ICE). ICE provided high quality 2D imaging of the prosthesis demonstrating thrombus-like material coating the inner surfaces of the prosthetic valve stents effectively forming a tunnel-like obstruction. Unusual hemodynamics secondary to severe tricuspid stenosis were demonstrated by CW Doppler with intermittent signal fusion resulting from blunted respiratory variation in the markedly elevated right atrial pressure relative to right ventricular pressure. Successful balloon valvuloplasty was performed with ICE proving highly valuable in guiding balloon position as well as monitoring the efficacy of the subsequent inflations.

Expansion tube operating conditions for studying nonequilibrium radiation relevant to Titan Aerocapture

The predictions of nonequilibrium radiation in the shock layer for a Titan aerocapture aeroshell vary significantly amongst Computational Fluid Dynamics (CFD) analyses and are limited by the physical models of the nonequilibrium flow processes. Of particular interest are nonequilibrium processes associated with the CN molecule which is a strong radiator. It is necessary to have experimental data for these radiating shock layers which will allow for validation of the CFD models. This paper describes the development of a test flow condition for subscale aeroshell models in a superorbital expansion tunnel. We discuss the need for a Titan gas condition that closely simulates the atmospheric composition and present experimental data of the free stream test flow conditions. Furthermore, we present finite-rate CFD calculations of the facility to estimate the remaining free stream conditions, which cannot be directly measured during experiments.

Formal verification of ASM designs using the MDG tool

In this paper, we present a formal hardware verification framework linking ASM with MDG. ASM (Abstract State Machine) is a state based language for describing transition systems. MDG (Multiway Decision Graphs) provides symbolic representation of transition systems with support of abstract sorts and functions. We implemented a transformation tool that automatically generates MDG models from ASM specifications, then formal verification techniques provided by the MDG tool, such as model checking or equivalence checking, can be applied on the generated models. We support this work with a case study of an Island Tunnel Controller, which behavior and structure were specified in ASM then using our ASM-MDG tool successfully verified within the MDG tool.

Interfacing ASM with the MDG tool

In this paper we describe an approach to interface Abstract State Machines (ASM) with Multiway Decision Graphs (MDG) to enable tool support for the formal verification of ASM descriptions. ASM is a specification method for software and hardware providing a powerful means of modeling various kinds of systems. MDGs are decision diagrams based on abstract representation of data and axe used primarily for modeling hardware systems. The notions of ASM and MDG axe hence closely related to each other, making it appealing to link these two concepts. The proposed interface between ASM and MDG uses two steps: first, the ASM model is transformed into a flat, simple transition system as an intermediate model. Second, this intermediate model is transformed into the syntax of the input language of the MDG tool, MDG-HDL. We have successfully applied this transformation scheme on a case study, the Island Tunnel Controller, where we automatically generated the corresponding MDG-HDL models from ASM specifications.