Development and testing of dry chemicals in advanced extinguishing systems for jet engine nacelle fires

The effectiveness of dry chemical in extinguishing and delaying reignition of fires resulting from hydrocarbon fuel leaking onto heated surfaces such as can occur in jet engine nacelles is studied. The commercial fire extinguishant dry chemical tried are sodium and potassium bicarbonate, carbonate, chloride, carbamate (Monnex), metal halogen, and metal hydroxycarbonate compounds. Synthetic and preparative procedures for new materials developed, a new concept of fire control by dry chemical agents, descriptions of experiment assemblages to test dry chemical fire extinguishant efficiencies in controlling fuel fires initiated by hot surfaces, comparative testing data for more than 25 chemical systems in a 'static' assemblage with no air flow across the heated surface, and similar comparative data for more than ten compounds in a dynamic system with air flows up to 350 ft/sec are presented

Microscopic thickness determination of thin graphite films formed on SiC from quantized oscillation in reflectivity of low-energy electrons

Low-energy electron microscopy (LEEM) was used to measure the reflectivity of low-energy electrons from graphitized SiC(0001). The reflectivity shows distinct quantized oscillations as a function of the electron energy and graphite thickness. Conduction bands in thin graphite films form discrete energy levels whose wave vectors are normal to the surface. Resonance of the incident electrons with these quantized conduction band states enhances electrons to transmit through the film into the SiC substrate, resulting in dips in the reflectivity. The dip positions are well explained using tight-binding and first-principles calculations. The graphite thickness distribution can be determined microscopically from LEEM reflectivity measurements.Comment: 7 pages, 3 figure

Tableaux for Policy Synthesis for MDPs with PCTL* Constraints

Markov decision processes (MDPs) are the standard formalism for modelling sequential decision making in stochastic environments. Policy synthesis addresses the problem of how to control or limit the decisions an agent makes so that a given specification is met. In this paper we consider PCTL*, the probabilistic counterpart of CTL*, as the specification language. Because in general the policy synthesis problem for PCTL* is undecidable, we restrict to policies whose execution history memory is finitely bounded a priori. Surprisingly, no algorithm for policy synthesis for this natural and expressive framework has been developed so far. We close this gap and describe a tableau-based algorithm that, given an MDP and a PCTL* specification, derives in a non-deterministic way a system of (possibly nonlinear) equalities and inequalities. The solutions of this system, if any, describe the desired (stochastic) policies. Our main result in this paper is the correctness of our method, i.e., soundness, completeness and termination.Comment: This is a long version of a conference paper published at TABLEAUX 2017. It contains proofs of the main results and fixes a bug. See the footnote on page 1 for detail

Extending Hybrid CSP with Probability and Stochasticity

Probabilistic and stochastic behavior are omnipresent in computer controlled systems, in particular, so-called safety-critical hybrid systems, because of fundamental properties of nature, uncertain environments, or simplifications to overcome complexity. Tightly intertwining discrete, continuous and stochastic dynamics complicates modelling, analysis and verification of stochastic hybrid systems (SHSs). In the literature, this issue has been extensively investigated, but unfortunately it still remains challenging as no promising general solutions are available yet. In this paper, we give our effort by proposing a general compositional approach for modelling and verification of SHSs. First, we extend Hybrid CSP (HCSP), a very expressive and process algebra-like formal modeling language for hybrid systems, by introducing probability and stochasticity to model SHSs, which is called stochastic HCSP (SHCSP). To this end, ordinary differential equations (ODEs) are generalized by stochastic differential equations (SDEs) and non-deterministic choice is replaced by probabilistic choice. Then, we extend Hybrid Hoare Logic (HHL) to specify and reason about SHCSP processes. We demonstrate our approach by an example from real-world.Comment: The conference version of this paper is accepted by SETTA 201

Exchange bias and interface electronic structure in Ni/Co3O4(011)

A detailed study of the exchange bias effect and the interfacial electronic structure in Ni/Co3O4(011) is reported. Large exchange anisotropies are observed at low temperatures, and the exchange bias effect persists to temperatures well above the Neel temperature of bulk Co3O4, of about 40 K: to ~80 K for Ni films deposited on well ordered oxide surfaces, and ~150 K for Ni films deposited on rougher Co3O4 surfaces. Photoelectron spectroscopy measurements as a function of Ni thickness show that Co reduction and Ni oxidation occur over an extended interfacial region. We conclude that the exchange bias observed in Ni/Co3O4, and in similar ferromagnetic metallic/Co3O4 systems, is not intrinsic to Co3O4 but rather due to the formation of CoO at the interface.Comment: 8 pages, 6 figures. Accepted for publication in Physical Review B

Brownian Dynamics of a Sphere Between Parallel Walls

We describe direct imaging measurements of a colloidal sphere's diffusion between two parallel surfaces. The dynamics of this deceptively simple hydrodynamically coupled system have proved difficult to analyze. Comparison with approximate formulations of a confined sphere's hydrodynamic mobility reveals good agreement with both a leading-order superposition approximation as well as a more general all-images stokeslet analysis.Comment: 4 pages, 3 figures, REVTeX with PostScript figure

Postprandial apoE isoform and conformational changes associated with VLDL lipolysis products modulate monocyte inflammation.

ObjectivePostprandial hyperlipemia, characterized by increased circulating very low-density lipoproteins (VLDL) and circulating lipopolysaccharide (LPS), has been proposed as a mechanism of vascular injury. Our goal was to examine the interactions between postprandial lipoproteins, LPS, and apoE3 and apoE4 on monocyte activation.Methods and resultsWe showed that apoE3 complexed to phospholipid vesicles attenuates LPS-induced THP-1 monocyte cytokine expression, while apoE4 increases expression. ELISA revealed that apoE3 binds to LPS with higher affinity than apoE4. Electron paramagnetic resonance (EPR) spectroscopy of site-directed spin labels placed on specific amino acids of apoE3 showed that LPS interferes with conformational changes normally associated with lipid binding. Specifically, compared to apoE4, apoE bearing the E3-like R112→Ser mutation displays increased self association when exposed to LPS, consistent with a stronger apoE3-LPS interaction. Additionally, lipolysis of fasting VLDL from normal human donors attenuated LPS-induced TNFα secretion from monocytes to a greater extent than postprandial VLDL, an effect partially reversed by blocking apoE. This effect was reproduced using fasting VLDL lipolysis products from e3/e3 donors, but not from e4/e4 subjects, suggesting that apoE3 on fasting VLDL prevents LPS-induced inflammation more readily than apoE4.ConclusionPostprandial apoE isoform and conformational changes associated with VLDL dramatically modulate vascular inflammation

Effects of random localizing events on matter waves: formalism and examples

A formalism is introduced to describe a number of physical processes that may break down the coherence of a matter wave over a characteristic length scale l. In a second-quantized description, an appropriate master equation for a set of bosonic "modes" (such as atoms in a lattice, in a tight-binding approximation) is derived. Two kinds of "localizing processes" are discussed in some detail and shown to lead to master equations of this general form: spontaneous emission (more precisely, light scattering), and modulation by external random potentials. Some of the dynamical consequences of these processes are considered: in particular, it is shown that they generically lead to a damping of the motion of the matter-wave currents, and may also cause a "flattening" of the density distribution of a trapped condensate at rest.Comment: v3; a few corrections, especially in Sections IV and

Improving Bioscience Research Reporting:The ARRIVE Guidelines for Reporting Animal Research

In the last decade the number of bioscience journals has increased enormously, with many filling specialised niches reflecting new disciplines and technologies. The emergence of open-access journals has revolutionised the publication process, maximising the availability of research data. Nevertheless, a wealth of evidence shows that across many areas, the reporting of biomedical research is often inadequate, leading to the view that even if the science is sound, in many cases the publications themselves are not “fit for purpose”, meaning that incomplete reporting of relevant information effectively renders many publications of limited value as instruments to inform policy or clinical and scientific practice [1–21]. A recent review of clinical research showed that there is considerable cumulative waste of financial resources at all stages of the research process, including as a result of publications that are unusable due to poor reporting [22]. It is unlikely that this issue is confined to clinical research [2–14,16–20]