This paper specifies a nontermination-insensitive, interprocedural, information flow analysis for objectoriented programs via a Hoare-like logic. Pointer aliasing is ubiquitous in such programs, and can potentially leak confidential information. Therefore, assertions in the logic not only describe the noninterference property that formalizes confidentiality, but also describe aliasing propertie...

Mitochondrial proton and electron leak have a major impact on mitochondrial coupling efficiency and production of reactive oxygen species. In the first part of this chapter, we address the molecular nature of the basal and inducible proton leak pathways, and their physiological importance. The basal leak is unregulated, and a major proportion can be attributed to mitochondrial anion carriers, w...

OBJECTIVE To determine the value of anastomotic leak testing of left-sided colorectal anastomoses. DESIGN Cohort analysis. SETTING Subspecialty practice at a tertiary care facility. PATIENTS Consecutive subjects were selected from a prospective colorectal database of 2627 patients treated between January l, 2001, and December 31, 2007. INTERVENTION Creation of left-sided colorectal anas...

Abstract The composite over-wrapped pressure vessel (COPV), which were made by ultra-thin metal liner and high strength carbon fiber reinforced plastic (CFRP), has performance factor (PV/W). COPV widely used in electric propulsion system (EPS) of space system. ANSI/AIAA S-081-2000 is a general standard for aerospace field at home abroad, it specified the design elements, references, specificati...

Leak detection techniques are not exclusively used for the vacuum products but are finding increasing applications in almost all industrial areas. Therefore, leak definition is evolving to accommodate the industry point of view. A leak always requires a flow of mass though the walls of a volume intended to be sealed. It usually results in escape or admission of liquids or gases from sealed comp...