bridge the gap between software test process and business value: a case study

Chinese Academy of Sciences (ISCAS)

automated test program generation for an industrial optimizing compiler

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

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.

Asymptotic periodicity of the Volterra equation with infinite delay

For some species, hereditary factors have great effects on their population evolution, which can be described by the well-known Volterra model. A model developed is investigated in this article, considering the seasonal variation of the environment, where the diffusive effect of the population is also considered. The main approaches employed here are the upper-lower solution method and the monotone iteration technique. The results show that whether the species dies out or not depends on the relations among the birth rate, the death rate, the competition rate, the diffusivity and the hereditary effects. The evolution of the population may show asymptotic periodicity, provided a certain condition is satisfied for the above factors. (c) 2006 Elsevier Ltd. All rights reserved.

Asymptotic weighted-periodicity of the impulsive parabolic equation with time delay

The main aim of this paper is to investigate the effects of the impulse and time delay on a type of parabolic equations. In view of the characteristics of the equation, a particular iteration scheme is adopted. The results show that Under certain conditions on the coefficients of the equation and the impulse, the solution oscillates in a particular manner-called "asymptotic weighted-periodicity".

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.

Permutation Tests for Classification

We introduce and explore an approach to estimating statistical significance of classification accuracy, which is particularly useful in scientific applications of machine learning where high dimensionality of the data and the small number of training examples render most standard convergence bounds too loose to yield a meaningful guarantee of the generalization ability of the classifier. Instead, we estimate statistical significance of the observed classification accuracy, or the likelihood of observing such accuracy by chance due to spurious correlations of the high-dimensional data patterns with the class labels in the given training set. We adopt permutation testing, a non-parametric technique previously developed in classical statistics for hypothesis testing in the generative setting (i.e., comparing two probability distributions). We demonstrate the method on real examples from neuroimaging studies and DNA microarray analysis and suggest a theoretical analysis of the procedure that relates the asymptotic behavior of the test to the existing convergence bounds.

Test Generation Guided Design for Testability

This thesis presents a new approach to building a design for testability (DFT) system. The system takes a digital circuit description, finds out the problems in testing it, and suggests circuit modifications to correct those problems. The key contributions of the thesis research are (1) setting design for testability in the context of test generation (TG), (2) using failures during FG to focus on testability problems, and (3) relating circuit modifications directly to the failures. A natural functionality set is used to represent the maximum functionalities that a component can have. The current implementation has only primitive domain knowledge and needs other work as well. However, armed with the knowledge of TG, it has already demonstrated its ability and produced some interesting results on a simple microprocessor.