automated test program generation for an industrial optimizing compiler

Association for Computing Machinery, ACM; IEEE; IEEE Computer Society; SIGSOFT

Structure and electrochemical characteristics of TiV1.1Mn0.9Nix (x=0.1-0.7) alloys

The structure and electrochemical properties of TiV1.1Mn0.9Nix (x = 0.1-0.7) solid solution electrode alloys have been investigated. It is found that these alloys mainly consist of a solid solution phase with body centered cubic (bcc) structure and a C14 Laves secondary phase. The solid solution alloys show easy activation behavior, high temperature dischargeability, high discharge capacity and favorable high-rate dischargeability as a negative electrode material in Ni-MH battery. The maximum discharge capacity is 502 mAh g(-1) at 303 K when x = 0.4. Electrochemical impedance spectroscopy (EIS) test shows that the charge-transfer resistance at the surface of the alloy electrodes decreases obviously with increasing Ni content.

Crystal structure and electrochemical properties of rare earth non-stoichiometric AB(5)-type alloy as negative electrode material in Ni-MH battery

The La0.85MgxNi4.5Co0.35Al0.15 (0.05less than or equal toxless than or equal to0.35) system compounds have been prepared by are melting method under Ar atmosphere. X-ray diffraction (XRD) analysis reveals that the as-prepared alloys have different lattice parameters and cell volumes. The electrochemical properties of these alloys have been studied through the charge-discharge recycle testing at different temperatures and discharge currents. It is found that the La0.85Mg0.25Ni4.5Co0.35Al0.(15) alloy electrode is capable of performing high-rate discharge. Moreover, it has very excellent electrochemical properties as negative electrode materials in Ni-MH battery at low temperature, even at -40degreesC.

A novel nanometer-scale "gold electrode-molecular wires-silver" junction: An efficient test bed for electrochemical investigation of electron transportation through molecular wires in self-assembled monolayers

A novel "gold electrode-molecular wires-silver" junction was facilely fabricated for electrochemical study on the electron transportation through molecular wires. Rapid electron transportation through this sandwich-like structure was indeed observed by cyclic voltammograms and ac impedance measurements. Since rather reproducible and reliable results are easily available by electrochemical techniques, it would be an efficient and reliable test bed for electrochemical investigation of charge transportation through molecular wires in self-assembled monolayers on electrodes.

Electrochemical properties of rare earth AB(3)-type alloy as negative electrode material in MH-Ni battery

Electrochemical properties of rare earth AB(3)-type hydrogen storage alloys as negative electrode material and a polymer instead of 6 M KOH aqueous solution as solid state electrolyte in MH-Ni battery have been investigated at room temperature and 28degreesC first time. The partial replacement of Ni by Al and Mn elements increases the specific capacity and cycle stability of the alloy.

STUDIES OF SPINEL LICRXMN2-XO4 FOR SECONDARY LITHIUM BATTERY

X-ray and electrochemical studies of spinel-related manganese chromium oxides, LiCrxMn2-xO4 (0 less-than-or-equal-to x less-than-or-equal-to 1) were carried out in a lithium nonaqueous cell. X-ray diffraction spectra indicated that the substitution of manganese in LiMn2O4 by trivalent transition metals (Cr3+) cause the linear decrease of lattice parameter with the x in the LiCrMn2-xO4. Some discharge-capacity loss was obtained due to the lattice contraction of LiCrMn2-xO4, but it has a better rechargeability than LiMn2O4. Cyclic voltammetry and electrochemical impedance experiments have shown that the excellent rechargeability of LiCrxMn2-xO4 may be attributed to the good reversibility of the change in its crystal structure for the insertion and extraction of lithium ions.

In vitro iron enrichment experiments in the Prydz Bay, the Southern Ocean: A test of the iron hypothesis

In "high nitrate, low chlorophyll" (HNLC) ocean regions, iron has been typically regarded as the limiting factor for phytoplankton production. This "iron hypothesis" needs to be tested in various oceanic environments to understand the role of iron in marine biological and biogeochemical processes. In this paper, three in vitro iron enrichment experiments were performed in Prydz Bay and at the Polar Front north of the Ross Sea, to study the role of iron on phytoplankton production. At the Polar Front of Ross Sea, iron addition significantly (P < 0.05, Student's t-test) stimulated phytoplankton growth. In Prydz Bay, however, both the iron treatments and the controls showed rapid phytoplankton growth, and no significant effect (P > 0.05, Student's t-test) as a consequence of iron addition was observed. These results confirmed the limiting role of iron in the Ross Sea and indicated that iron was not the primary factor limiting phytoplankton growth in Prydz Bay. Because the light environment for phytoplankton was enhanced in experimental bottles, light was assumed to be responsible for the rapid growth of phytoplankton in all treatments and to be the limiting factor controlling field phytoplankton growth in Prydz Bay. During the incubation experiments, nutrient consumption ratios also changed with the physiological status and the growth phases of phytoplankton cells. When phytoplankton growth was stimulated by iron addition, N was the first and Si was the last nutrient which absorption enhanced. The Si/N and Si/P consumption ratios of phytoplankton in the stationary and decay phases were significantly higher than those of rapidly growing phytoplankton. These findings were helpful for studies of the marine ecosystem and biogeochemistry in Prydz Bay, and were also valuable for biogeochemical studies of carbon and nutrients in various marine environments.

Application of Neomysis awatschensis as a standard marine toxicity test organism in China

The small mysid crustacean Neomysis awatschensis was collected in the west coast of Jiaozhou Bay, Qingdao, China in 1992 and acclimated and cultured in laboratory conditions since then. Standard acute toxicity tests using 4-6 d juvenile mysids of this species were conducted and the results were compared with Mysidopsis bahia, a standard toxicity test organism used in the US in terms of their sensitivities to reference toxins, as well as their taxonomy, morphology and geographic distributions. Because of its wide distribution along the Chinese coast, similar sensitivity to pollutants as M. bahia, short life history, small size and the case of handling, this study intended to use N. awatschensis as one of the standard marine organisms for toxicity testing in China. The species were applied to acute toxicity evaluations of drilling fluid and its additives I organotin TPT and toxic algae, and to chronic ( life cycle) toxicity assays of organotin TPT and a toxic dinofalgellate Alexandrium tamarense, respectively. Using N, awatschensis as a standard toxicity testing organism in marine pollution assessment in China is suggested.

Studies on the hemolytic activity of tentacle extracts of jellyfish Rhopilema esculentum Kishinouye: Application of orthogonal test

The present work is first reporting the hemolytic activity of venom from jellyfish Rhopilema esculentum Kishinouye extracted by different phosphate buffer solutions and incubated at different temperature according to the orthogonal test L6(1) x 3(6). Of the seven controllable independent variables, incubated temperature and phenylmethylsulfonyl fluoride (PMSF) had strongest effect on the hemolytic activity. (c) 2006 Elsevier B.V. All rights reserved.

Methane aromatization in the absence of an added oxidant and the bench scale reaction test

A bench scale reaction test for methane aromatization in the absence of an added oxidant was performed and its reaction result evaluated based on the carbon balance of the system. The result was compared with those obtained from the micro-reaction test to ensure the accuracy of the internal standard analyzing method employed in this paper. The catalytic performances of modified Mo/HZSM-5 catalysts were examined. It was found that pre-treatment by steam on HZSM-5 weakened the serious deposition of coke, and pre-impregnation of n-ethyl silicate on HZSM-5 could improve the conversion of CH4, but had little effect on coke formation. A low temperature activation procedure including pre-reduction of the catalyst with methane prevents the zeolite lattice from being seriously destroyed by high valence state Mo species when the Mo loading is high. It was suggested that Mo2C species detected by XRD spectra was the active phase for CH4 aromatization.

Motivated Action Theory: A Formal Theory of Causal Reasoning

When we reason about change over time, causation provides an implicit preference: we prefer sequences of situations in which one situation leads causally to the next, rather than sequences in which one situation follows another at random and without causal connections. In this paper, we explore the problem of temporal reasoning --- reasoning about change over time --- and the crucial role that causation plays in our intuitions. We examine previous approaches to temporal reasoning, and their shortcomings, in light of this analysis. We propose a new system for causal reasoning, motivated action theory, which builds upon causation as a crucial preference creterion. Motivated action theory solves the traditional problems of both forward and backward reasoning, and additionally provides a basis for a new theory of explanation.