Multithreaded Test Synthesis for Deadlock Detection

Designing and implementing thread-safe multithreaded libraries can be a daunting task as developers of these libraries need to ensure that their implementations are free from concurrency bugs, including deadlocks. The usual practice involves employing software testing and/or dynamic analysis to detect. deadlocks. Their effectiveness is dependent on well-designed multithreaded test cases. Unsurprisingly, developing multithreaded tests is significantly harder than developing sequential tests for obvious reasons. In this paper, we address the problem of automatically synthesizing multithreaded tests that can induce deadlocks. The key insight to our approach is that a subset of the properties observed when a deadlock manifests in a concurrent execution can also be observed in a single threaded execution. We design a novel, automatic, scalable and directed approach that identifies these properties and synthesizes a deadlock revealing multithreaded test. The input to our approach is the library implementation under consideration and the output is a set of deadlock revealing multithreaded tests. We have implemented our approach as part of a tool, named OMEN1. OMEN is able to synthesize multithreaded tests on many multithreaded Java libraries. Applying a dynamic deadlock detector on the execution of the synthesized tests results in the detection of a number of deadlocks, including 35 real deadlocks in classes documented as thread-safe. Moreover, our experimental results show that dynamic analysis on multithreaded tests that are either synthesized randomly or developed by third-party programmers are ineffective in detecting the deadlocks.

Synthesis, luminescence properties and EPR investigation of hydrothermally derived uniform ZnO hexagonal rods

One-dimensional (1D) zinc oxide (ZnO) hexagonal rods have been successfully synthesized by surfactant free hydrothermal process at different temperatures. It can be found that the reaction temperature play a crucial role in the formation of ZnO uniform hexagonal rods. The possible formation processes of 1-D ZnO hexagonal rods were investigated. The zinc hydroxide acts as the morphology-formative intermediate for the formation of ZnO nanorods. Upon excitation at 325 nm, the sample prepared at 180 degrees C show several emission bands at 400 nm (similar to 3.10 eV), 420 nm (similar to 2.95 eV), 482 nm (similar to 2.57 eV) and 524 nm (similar to 2.36 eV) corresponding to different kind of defects. TL studies were carried out by pre-irradiating samples with gamma-rays ranging from 1 to 7 kGy at room temperature. A well resolved glow peak at similar to 354 degrees C was recorded which can be ascribed to deep traps. Furthermore, the defects associated with surface states in ZnO nano-structures are characterized by electron paramagnetic resonance. (C) 2014 Elsevier B.V. All rights reserved.

Maximum likelihood analysis of multi-stress accelerated life test data of series systems with competing log-normal causes of failure

This article presents frequentist inference of accelerated life test data of series systems with independent log-normal component lifetimes. The means of the component log-lifetimes are assumed to depend on the stress variables through a linear stress translation function that can accommodate the standard stress translation functions in the literature. An expectation-maximization algorithm is developed to obtain the maximum likelihood estimates of model parameters. The maximum likelihood estimates are then further refined by bootstrap, which is also used to infer about the component and system reliability metrics at usage stresses. The developed methodology is illustrated by analyzing a real as well as a simulated dataset. A simulation study is also carried out to judge the effectiveness of the bootstrap. It is found that in this model, application of bootstrap results in significant improvement over the simple maximum likelihood estimates.

Temperature-Dependent Magnetic and EPR Studies of Bulk and Nanoparticles of Bi0.1Ca0.9MnO3

We report temperature-dependent magnetic and electron paramagnetic resonance (EPR) properties of bulk and nanoparticle samples of Bi0.1Ca0.9MnO3 (BCMO). The nanoparticles of BCMO (dia similar to 50 nm) were prepared by the standard sol-gel technique and bulk samples by solid-state reaction method. We have investigated the magnetic ordering in the two samples by carrying out temperature-dependent magnetic and EPR studies and compared their properties. According to earlier reports, antiferromagnetic and ferromagnetic orders coexist in the bulk sample of Bi0.1Ca0.9MnO3. Our magnetization and EPR results show the existence of ferromagnetism in the bulk sample which is present in the nanosample as well but with somewhat weakened strength with the size reduction.

ANRC Hybrid Test Bed Implementation and an End-to-End Performance Characterization of Dynamic Spectrum Access

An abundance of spectrum access and sensing algorithms are available in the dynamic spectrum access (DSA) and cognitive radio (CR) literature. Often, however, the functionality and performance of such algorithms are validated against theoretical calculations using only simulations. Both the theoretical calculations and simulations come with their attendant sets of assumptions. For instance, designers of dynamic spectrum access algorithms often take spectrum sensing and rendezvous mechanisms between transmitter-receiver pairs for granted. Test bed designers, on the other hand, either customize so much of their design that it becomes difficult to replicate using commercial off the shelf (COTS) components or restrict themselves to simulation, emulation /hardware-in-Ioop (HIL), or pure hardware but not all three. Implementation studies on test beds sophisticated enough to combine the three aforementioned aspects, but at the same time can also be put together using COTS hardware and software packages are rare. In this paper we describe i) the implementation of a hybrid test bed using a previously proposed hardware agnostic system architecture ii) the implementation of DSA on this test bed, and iii) the realistic hardware and software-constrained performance of DSA. Snapshot energy detector (ED) and Cumulative Summation (CUSUM), a sequential change detection algorithm, are available for spectrum sensing and a two-way handshake mechanism in a dedicated control channel facilitates transmitter-receiver rendezvous.

Thermal test method for high power three-phase grid-connected inverters

Semiconductor device junction temperatures are maintained within datasheet specified limits to avoid failure in power converters. Burn-in tests are used to ensure this. In inverters, thermal time constants can be large and burn-in tests are required to be performed over long durations of time. At higher power levels, besides increased production cost, the testing requires sources and loads that can handle high power. In this study, a novel method to test a high power three-phase grid-connected inverter is proposed. The method eliminates the need for high power sources and loads. Only energy corresponding to the losses is consumed. The test is done by circulating rated current within the three legs of the inverter. All the phase legs being loaded, the method can be used to test the inverter in both cases of a common or independent cooling arrangement for the inverter phase legs. Further, the method can be used with different inverter configurations - three- or four-wire and for different pulse width modulation (PWM) techniques. The method has been experimentally validated on a 24 kVA inverter for a four-wire configuration that uses sine-triangle PWM and a three-wire configuration that uses conventional space vector PWM.

DESIGN OF AN EXPERIMENTAL TEST FACILITY FOR SUPERCRITICAL CO2 BRAYTON CYCLE

A supercritical CO2 test facility is currently being developed at Indian Institute of Science, Bangalore, India to analyze the performance of a closed loop Brayton cycle for concentrated solar power (CSP) generation. The loop has been designed for an external heat input of 20 kW a pressure range of 75-135 bar, flow rate of 11 kg/min, and a maximum cycle temperature of 525 degrees C. The operation of the loop and the various parametric tests planned to be performed are discussed in this paper The paper addresses various aspects of the loop design with emphasis on design of various components such as regenerator and expansion device. The regenerator design is critical due to sharp property variations in CO2 occurring during the heat exchange process between the hot and cold streams. Two types of heat exchanger configurations 1) tube-in-tube (TITHE) and 2) printed circuit heat exchanger (PCHE) are analyzed and compared. A PCHE is found to be similar to 5 times compact compared to a TITHE for identical heat transfer and pressure drops. The expansion device is being custom designed to achieve the desired pressure drop for a range of operating temperatures. It is found that capillary of 5.5 mm inner diameter and similar to 2 meter length is sufficient to achieve a pressure drop from 130 to 75 bar at a maximum cycle temperature of 525 degrees C.

Direct numerical test of the B-G-K model equation by the DSMC method

In the present paper the rarefied gas how caused by the sudden change of the wall temperature and the Rayleigh problem are simulated by the DSMC method which has been validated by experiments both in global flour field and velocity distribution function level. The comparison of the simulated results with the accurate numerical solutions of the B-G-K model equation shows that near equilibrium the BG-K equation with corrected collision frequency can give accurate result but as farther away from equilibrium the B-G-K equation is not accurate. This is for the first time that the error caused by the B-G-K model equation has been revealed.

Size Effect and Geometrical Effect of Polycrystals and Thin Film/Substrate System in Micro-indentation Test

Micro-indentation test at scales on the order of sub-micron has shown that the measured hardness increases strongly with decreasing indent depth or indent size, which is frequently referred to as the size effect. Simultaneously, at micron or sub-micron scale, the material microstructure size also has an important influence on the measured hardness. This kind of effect, such as the crystal grain size effect, thin film thickness effect, etc., is called the geometrical effect by here. In the present research, in order to investigate the size effect and the geometrical effect, the micro-indentation experiments are carried out respectively for single crystal copper and aluminum, for polycrystal aluminum, as well as for a thin film/substrate system, Ti/Si3N4. The size effect and geometrical effect are displayed experimentally. Moreover, using strain gradient plasticity theory, the size effect and the geometrical effect are simulated. Through comparing experimental results with simulation results, length-scale parameter appearing in the strain gradient theory for different cases is predicted. Furthermore, the size effect and the geometrical effect are interpreted using the geometrically necessary dislocation concept and the discrete dislocation theory. Member Price: $0; Non-Member Price: $25.00

Theory and Application of the Transient Injection Well Test

Based on the theory of the pumping well test, the transient injection well test was suggested in this paper. The design method and the scope of application are discussed in detail. The mathematical models are developed for the short-time and long-time transient injection test respectively. A double logarithm type curve matching method was introduced for analyzing the field transient injection test data. A set of methods for the transient injection test design, experiment performance and data analysis were established. Some field tests were analyzed, and the results show that the test model and method are suitable for the transient injection test and can be used to deal with the real engineering problems.

Diagnóstico comparativo de mastitis en leche bovina, por tres pruebas de campo: california mastitis test (CMT), acidez (NaOH), y reductasa, en los municipios de la Concordia, San Rafael del Norte y San Sebastián de Yali, Jinotega

Con el propósito de evaluar tres técnicas para la determinación de Mastitis, (California Mastitis Test (CMT), Hidróxido de Sodio (NaHO) y Azul de Metíleno (AM)), en vacas de doble propósito, en 2000 se efectuó un estudio en los municipios de La Concordia, San Rafael de Norte y San Sebastián de Yalí, del Departamento de Jinotega. Se utilizaron Fincas de Referencia atendidas por el entonces Ministerio de Agricultura y Ganadería (MAG), de las cuales se seleccionaron catorce (14) fincas privadas y dos Cooperativas, para un total de 16 fincas que representaron el 53.3 % del total de fincas. De éstas se muestrearon 398 vacas en producción de diversas razas (Pardo suizo, Brahman y cruces entre Pardo suizo, Criollo y Holstein con Cebú y otros) de diversas lactaciones (número parto}. Las muestras de cada cuarto de la vaca, se tomaron a la hora del ordeño, entre 5:00 y 7:00a.m. Los resultados de CMT e NaHO, (+ ó -), se anotaron en campo al momento de prueba. En la prueba de AM, se hicieron 4 lecturas: 1) al momento de prueba, 2) a los 15 minutos, 3) a una hora y, 4) a tres horas después de la prueba. Se obtuvo un total de 396 datos de 4 cuartos en cada técnica, para un total de 4,752 observaciones. La información se analizó mediante una prueba de Chí Cuadrado, con el Procedimiento CATMOD, del Statistical Análisis System (SAS), Versión para PC 6.03, NC. Las variables de clasificación en el análisis fueron Razas (1-3), Números de Parto (1-6) y Meses de lactación (1-9). De las técnicas, se obtuvo el 46.2, 4.6 y 15.3 % de pruebas positivas con CMT, NaOH y AM, respectivamente; la CMT resultó más efectiva en la determinación de mastitis. De las Razas estudiadas, el Brahmán presentó un 45.2% de afectación por mastitis, mayor que Pardo suizo y cruces indefinidos, con 30.6 y 24.2 %, respectivamente. A partir del tercer parto, se incrementa el nivel de infestación de esta enfermedad, y durante la lactación, en los meses 4, 5,8 y 9.

Nonuniformity Effect of Surface-Nanocrystalline Materials in Nanoindentation Test

In the present research, microstructures of the surface-nanocrystalline Al alloy material are observed and measured based on the transmission electron microscopy (TEM) technique, and the corresponding mechanical behaviors are investigated experimentally and theoretically. In the experimental research, the nanoindentation test method is used, and the load and microhardness curves are measured, which strongly depend on the grain size and grain size nonuniformity. Two kinds of the nanoindentation test methods are adopted: the randomly selected loading point method and the continuous stiffness method. In the theoretical modeling, based on the microstructure characteristics of the surface-nanocrystalline Al alloy material, a dislocation pile-up model considering the grain size effect and based on the Mott theory is presented and used. The hardness-indent depth curves are predicted and modeled.