Fault Coverage-Driven Incremental Test Generation

In this paper, we consider a classical problem of complete test generation for deterministic finite-state machines (FSMs) in a more general setting. The first generalization is that the number of states in implementation FSMs can even be smaller than that of the specification FSM. Previous work deals only with the case when the implementation FSMs are allowed to have the same number of states as the specification FSM. This generalization provides more options to the test designer: when traditional methods trigger a test explosion for large specification machines, tests with a lower, but yet guaranteed, fault coverage can still be generated. The second generalization is that tests can be generated starting with a user-defined test suite, by incrementally extending it until the desired fault coverage is achieved. Solving the generalized test derivation problem, we formulate sufficient conditions for test suite completeness weaker than the existing ones and use them to elaborate an algorithm that can be used both for extending user-defined test suites to achieve the desired fault coverage and for test generation. We present the experimental results that indicate that the proposed algorithm allows obtaining a trade-off between the length and fault coverage of test suites.

Thermal wave scattering by two overlapping and parallel cylinders

In this paper an analytical solution of the temperature of an opaque material containing two overlapping and parallel subsurface cylinders, illuminated by a modulated light beam, is presented. The method is based on the expansion of plane and cylindrical thermal waves in series of Bessel and Hankel functions. This model is addressed to the study of heat propagation in composite materials with interconnection between inclusions, as is the case of inverse opals and fiber reinforced composites. Measurements on calibrated samples using lock-in infrared thermography confirm the validity of the model.

Spallation product distributions and neutron multiplicities for accelerator-driven system using the CRISP code

Neutron multiplicities for several targets and spallation products of proton-induced reactions in thin targets of interest to an accelerator-driven system obtained with the CRISP code have been reported. This code is a Monte Carlo calculation that simulates the intranuclear cascade and evaporationl fission competition processes. Results are compared with experimental data, and agreement between each other can be considered quite satisfactory in a very broad energy range of incitant particles and different targets.

The dynamics of cargo driven by molecular motors in the context of asymmetric simple exclusion processes

We consider the dynamics of cargo driven by a collection of interacting molecular motors in the context of ail asymmetric simple exclusion process (ASEP). The model is formulated to account for (i) excluded-volume interactions, (ii) the observed asymmetry of the stochastic movement of individual motors and (iii) interactions between motors and cargo. Items (i) and (ii) form the basis of ASEP models and have already been considered to study the behavior of motor density profile [A. Parmeggiani. T. Franosch, E. Frey, Phase Coexistence in driven one-dimensional transport, Phys. Rev. Lett. 90 (2003) 086601-1-086601-4]. Item (iii) is new. It is introduced here as an attempt to describe explicitly the dependence of cargo movement on the dynamics of motors in this context. The steady-state Solutions Of the model indicate that the system undergoes a phase transition of condensation type as the motor density varies. We study the consequences of this transition to the behavior of the average cargo velocity. (C) 2009 Elsevier B.V. All rights reserved.

FAST, PARALLEL AND SECURE CRYPTOGRAPHY ALGORITHM USING LORENZ`S ATTRACTOR

A novel cryptography method based on the Lorenz`s attractor chaotic system is presented. The proposed algorithm is secure and fast, making it practical for general use. We introduce the chaotic operation mode, which provides an interaction among the password, message and a chaotic system. It ensures that the algorithm yields a secure codification, even if the nature of the chaotic system is known. The algorithm has been implemented in two versions: one sequential and slow and the other, parallel and fast. Our algorithm assures the integrity of the ciphertext (we know if it has been altered, which is not assured by traditional algorithms) and consequently its authenticity. Numerical experiments are presented, discussed and show the behavior of the method in terms of security and performance. The fast version of the algorithm has a performance comparable to AES, a popular cryptography program used commercially nowadays, but it is more secure, which makes it immediately suitable for general purpose cryptography applications. An internet page has been set up, which enables the readers to test the algorithm and also to try to break into the cipher.

Orbitally driven east-west antiphasing of South American precipitation

The variations of tropical precipitation are antiphased between the hemispheres on orbital timescales. This antiphasing arises through the alternating strength of incoming solar radiation in the two hemispheres, which affects monsoon intensity and hence the position of the meridional atmospheric circulation of the Hadley cells(1-4). Here we compare an oxygen isotopic record recovered from a speleothem from northeast Brazil for the past 26,000 years with existing reconstructions of precipitation in tropical South America(5-8). During the Holocene, we identify a similar, but zonally oriented, antiphasing of precipitation within the same hemisphere: northeast Brazil experiences humid conditions during low summer insolation and aridity when summer insolation is high, whereas the rest of southern tropical South America shows opposite characteristics. Simulations with a general circulation model that incorporates isotopic variations support this pattern as well as the link to insolation-driven monsoon activity. Our results suggest that convective heating over tropical South America and associated adjustments in large-scale subsidence over northeast Brazil lead to a remote forcing of the South American monsoon, which determines most of the precipitation changes in the region on orbital timescales.

PARALLEL ALGORITHMS FOR MAXIMAL CLIQUES IN CIRCLE GRAPHS AND UNRESTRICTED DEPTH SEARCH

We present parallel algorithms on the BSP/CGM model, with p processors, to count and generate all the maximal cliques of a circle graph with n vertices and m edges. To count the number of all the maximal cliques, without actually generating them, our algorithm requires O(log p) communication rounds with O(nm/p) local computation time. We also present an algorithm to generate the first maximal clique in O(log p) communication rounds with O(nm/p) local computation, and to generate each one of the subsequent maximal cliques this algorithm requires O(log p) communication rounds with O(m/p) local computation. The maximal cliques generation algorithm is based on generating all maximal paths in a directed acyclic graph, and we present an algorithm for this problem that uses O(log p) communication rounds with O(m/p) local computation for each maximal path. We also show that the presented algorithms can be extended to the CREW PRAM model.

Performance results of running parallel applications on the InteGrade

The InteGrade middleware intends to exploit the idle time of computing resources in computer laboratories. In this work we investigate the performance of running parallel applications with communication among processors on the InteGrade grid. As costly communication on a grid can be prohibitive, we explore the so-called systolic or wavefront paradigm to design the parallel algorithms in which no global communication is used. To evaluate the InteGrade middleware we considered three parallel algorithms that solve the matrix chain product problem, the 0-1 Knapsack Problem, and the local sequence alignment problem, respectively. We show that these three applications running under the InteGrade middleware and MPI take slightly more time than the same applications running on a cluster with only LAM-MPI support. The results can be considered promising and the time difference between the two is not substantial. The overhead of the InteGrade middleware is acceptable, in view of the benefits obtained to facilitate the use of grid computing by the user. These benefits include job submission, checkpointing, security, job migration, etc. Copyright (C) 2009 John Wiley & Sons, Ltd.

Cellular automaton model for molecular traffic jams

We consider the time evolution of an exactly solvable cellular automaton with random initial conditions both in the large-scale hydrodynamic limit and on the microscopic level. This model is a version of the totally asymmetric simple exclusion process with sublattice parallel update and thus may serve as a model for studying traffic jams in systems of self-driven particles. We study the emergence of shocks from the microscopic dynamics of the model. In particular, we introduce shock measures whose time evolution we can compute explicitly, both in the thermodynamic limit and for open boundaries where a boundary-induced phase transition driven by the motion of a shock occurs. The motion of the shock, which results from the collective dynamics of the exclusion particles, is a random walk with an internal degree of freedom that determines the jump direction. This type of hopping dynamics is reminiscent of some transport phenomena in biological systems.

Reliability Nonparametric Bayesian Estimation in Parallel Systems

Relevant results for (sub-)distribution functions related to parallel systems are discussed. The reverse hazard rate is defined using the product integral. Consequently, the restriction of absolute continuity for the involved distributions can be relaxed. The only restriction is that the sets of discontinuity points of the parallel distributions have to be disjointed. Nonparametric Bayesian estimators of all survival (sub-)distribution functions are derived. Dual to the series systems that use minimum life times as observations, the parallel systems record the maximum life times. Dirichlet multivariate processes forming a class of prior distributions are considered for the nonparametric Bayesian estimation of the component distribution functions, and the system reliability. For illustration, two striking numerical examples are presented.

A FREE BOUNDARY ISOPERIMETRIC PROBLEM IN HYPERBOLIC 3-SPACE BETWEEN PARALLEL HOROSPHERES

We investigate the isoperimetric problem of finding the regions of prescribed volume with minimal boundary area between two parallel horospheres in hyperbolic 3-space (the part of the boundary contained in the horospheres is not included). We reduce the problem to the study of rotationally invariant regions and obtain the possible isoperimetric solutions by studying the behavior of the profile curves of the rotational surfaces with constant mean curvature in hyperbolic 3-space. We also classify all the connected compact rotational surfaces M of constant mean curvature that are contained in the region between two horospheres, have boundary partial derivative M either empty or lying on the horospheres, and meet the horospheres perpendicularly along their boundary.

Fibroblast growth factor 2 restrains ras-driven proliferation of malignant cells by triggering RhoA-mediated senescence

Fibroblast growth factor 2 (FGF2) is considered to be a bona fide oncogenic factor, although results from our group and others call this into question. Here, we report that exogenous recombinant FGF2 irreversibly inhibits proliferation by inducing senescence in Ras-dependent malignant mouse cells, but not in immortalized nontumorigenic cell lines. We report the following findings in K-Ras-dependent malignant YI adrenocortical cells and H-Ras V12-transformed BALB-3T3 fibroblasts: (a) FGF2 inhibits clonal growth and tumor onset in nude and immunocompetent BALB/c mice, (b) FGF2 irreversibly blocks the cell cycle, and (c) FGF2 induces the senescence-associated -galactosidase with no accompanying signs of apoptosis or necrosis. The tyrosine kinase inhibitor PD173074 completely protected malignant cells from FGF2. In Yl adrenal cells, reducing the constitutively high levels of K-Ras-GTP using the dominant-negative RasN17 mutant made cells resistant to FGF2 cytotoxicity. In addition, transfection of the dominant-negative RhoA-N19 into either YI or 3T3-B61 malignant cell lines yielded stable clonal transfectants that were unable to activate RhoA and were resistant to the FGF2 stress response. We conclude that in Rasdependent malignant cells, FGF2 interacts with its cognate receptors to trigger a senescence-like process involving RboAGTP. Surprisingly, attempts to select FGF2-resistant cells from the Yl and 3T3-B61 cell lines yielded only rare clones that (a) had lost the overexpressed ras oncogene, (b) were dependent on FGF2 for proliferation, and (c) were poorly tumorigenic. Thus, FGF2 exerted a strong negative selection that Rasdependent malignant cells could rarely overcome.

Surfactant degradation by a catechol-driven Fenton reaction

The addition of 0.5 mM catechol is shown to accelerate the degradation and mineralization of the anionic surfactant DOWFaX (TM) 2A1 (sodium dodecyldiphenyloxide disulfonate) under conventional Fenton reaction conditions (Fe(II) plus H(2)O(2) at pH 3). The catalytic effect causes a 3-fold increase in the initial rate (up to ca. 20 min) of conversion of the surfactant to oxidation products (apparent first-order rate constants of 0.021 and 0.061 min(-1) in the absence and presence of catechol, respectively). Although this catalytic rate increase persists for a certain amount of time after complete disappearance of catechol itself (ca. 8 min), the reaction rate begins to decline slowly after the initial 20 min towards that observed in the absence of added catechol. Total organic carbon (TOC) measurements of net mineralization and cyclic voltammetric and high performance liquid chromatographic (HPLC) measurements of the initial rate of reaction of catechol and the surfactant provide insight into the role of catechol in promoting the degradation of the surfactant and of degradation products as the eventual inhibitors of the Fenton reaction. (C) 2010 Elsevier B.V. All rights reserved.