Research and development of catalytic processes for petroleum and natural gas conversions in the Dalian Institute of Chemical Physics

The Dalian Institute of Chemical Physics (DICP) of the Chinese Academy of Sciences has a long history in the R&D of catalysts and catalytic processes for petroleum and natural gas conversions in China. In this paper, results and features of some commercialized petrochemical catalysts and processes as well as newly developed processes for natural gas conversion in the pilot-plant stage are described. (C) 1999 Elsevier Science B.V. All rights reserved.

Combining Functional and Structural Reasoning for Safety Analysis of Electrical Designs

C.J.Price, D.R.Pugh, N.A.Snooke, J.E.Hunt, M.S.Wilson, Combining Functional and Structural Reasoning for Safety Analysis of Electrical Designs, Knowledge Engineering Review, vol 12:3, pp.271-287, 1997.

Systematic Verification of Safety Properties of Arbitrary Network Protocol Compositions Using CHAIN

Formal correctness of complex multi-party network protocols can be difficult to verify. While models of specific fixed compositions of agents can be checked against design constraints, protocols which lend themselves to arbitrarily many compositions of agents-such as the chaining of proxies or the peering of routers-are more difficult to verify because they represent potentially infinite state spaces and may exhibit emergent behaviors which may not materialize under particular fixed compositions. We address this challenge by developing an algebraic approach that enables us to reduce arbitrary compositions of network agents into a behaviorally-equivalent (with respect to some correctness property) compact, canonical representation, which is amenable to mechanical verification. Our approach consists of an algebra and a set of property-preserving rewrite rules for the Canonical Homomorphic Abstraction of Infinite Network protocol compositions (CHAIN). Using CHAIN, an expression over our algebra (i.e., a set of configurations of network protocol agents) can be reduced to another behaviorally-equivalent expression (i.e., a smaller set of configurations). Repeated applications of such rewrite rules produces a canonical expression which can be checked mechanically. We demonstrate our approach by characterizing deadlock-prone configurations of HTTP agents, as well as establishing useful properties of an overlay protocol for scheduling MPEG frames, and of a protocol for Web intra-cache consistency.

Safety profile of L-arginine infusion in moderately severe falciparum malaria.

BACKGROUND: L-arginine infusion improves endothelial function in malaria but its safety profile has not been described in detail. We assessed clinical symptoms, hemodynamic status and biochemical parameters before and after a single L-arginine infusion in adults with moderately severe malaria. METHODOLOGY AND FINDINGS: In an ascending dose study, adjunctive intravenous L-arginine hydrochloride was infused over 30 minutes in doses of 3 g, 6 g and 12 g to three separate groups of 10 adults hospitalized with moderately severe Plasmodium falciparum malaria in addition to standard quinine therapy. Symptoms, vital signs and selected biochemical measurements were assessed before, during, and for 24 hours after infusion. No new or worsening symptoms developed apart from mild discomfort at the intravenous cannula site in two patients. There was a dose-response relationship between increasing mg/kg dose and the maximum decrease in systolic (rho = 0.463; Spearman's, p = 0.02) and diastolic blood pressure (r = 0.42; Pearson's, p = 0.02), and with the maximum increment in blood potassium (r = 0.70, p<0.001) and maximum decrement in bicarbonate concentrations (r = 0.53, p = 0.003) and pH (r = 0.48, p = 0.007). At the highest dose (12 g), changes in blood pressure and electrolytes were not clinically significant, with a mean maximum decrease in mean arterial blood pressure of 6 mmHg (range: 0-11; p<0.001), mean maximal increase in potassium of 0.5 mmol/L (range 0.2-0.7 mmol/L; p<0.001), and mean maximal decrease in bicarbonate of 3 mEq/L (range 1-7; p<0.01) without a significant change in pH. There was no significant dose-response relationship with blood phosphate, lactate, anion gap and glucose concentrations. All patients had an uncomplicated clinical recovery. CONCLUSIONS/SIGNIFICANCE: Infusion of up to 12 g of intravenous L-arginine hydrochloride over 30 minutes is well tolerated in adults with moderately severe malaria, with no clinically important changes in hemodynamic or biochemical status. Trials of adjunctive L-arginine can be extended to phase 2 studies in severe malaria. TRIAL REGISTRATION: ClinicalTrials.gov NCT00147368.

Multi-Study Assessment of Vaginal Cytokines and Microflora in the Safety Evaluation of Intravaginal Rings in Pig-Tailed Macaques

BACKGROUND: HIV microbicide trials have emphasized the need to evaluate the safety of topical microbicides and delivery platforms in an animal model prior to conducting clinical efficacy trials. An ideal delivery device should provide sustainable and sufficient concentrations of effective products to prevent HIV transmission while not increasing transmission risk by either local mucosal inflammation and/or disruption of the normal vaginal microflora.

METHODS: Safety analyses of macaque-sized elastomeric silicone and polyurethane intravaginal rings (IVRs) loaded with candidate antiretroviral (ARV) drugs were tested in four studies ranging in duration from 49 to 73 days with retention of the IVR being 28 days in each study. Macaques were assigned to 3 groups; blank IVR, ARV-loaded IVR, and naïve. In sequential studies, the same macaques were used but rotated into different groups. Mucosal and systemic levels of cytokines were measured from vaginal fluids and plasma, respectively, using multiplex technology. Changes in vaginal microflora were also monitored. Statistical analysis (Mann-Whitney test) was used to compare data between two groups of unpaired samples (with and without IVR, and IVR with and without ARV) for the groups collectively, and also for individual macaques.

RESULTS: There were few statistically significant differences in mucosal and systemic cytokine levels measured longitudinally when the ring was present or absent, with or without ARVs. Of the 8 proinflammatory cytokines assayed a significant increase (p = 0.015) was only observed for IL8 in plasma with the blank and ARV loaded IVR (median of 9.2 vs. 5.7 pg/ml in the absence of IVR). There were no significant differences in the prevalence of H2O2-producing lactobacilli or viridans streptococci, or other microorganisms indicative of healthy vaginal microflora. However, there was an increase in the number of anaerobic gram negative rods in the presence of the IVR (p= < 0.0001).

CONCLUSIONS: IVRs with or without ARVs neither significantly induce the majority of potentially harmful proinflammatory cytokines locally or systemically, nor alter the lactobacillus or G. vaginalis levels. The increase in anaerobic gram negative rods alone suggests minimal disruption of normal vaginal microflora. The use of IVRs as a long-term sustained delivery device for ARVs is promising and preclinical studies to demonstrate the prevention of transmission in the HIV/SHIV nonhuman primate model should continue.