Mining Unit Tests for Discovery and Migration of Math APIs

Today's programming languages are supported by powerful third-party APIs. For a given application domain, it is common to have many competing APIs that provide similar functionality. Programmer productivity therefore depends heavily on the programmer's ability to discover suitable APIs both during an initial coding phase, as well as during software maintenance. The aim of this work is to support the discovery and migration of math APIs. Math APIs are at the heart of many application domains ranging from machine learning to scientific computations. Our approach, called MATHFINDER, combines executable specifications of mathematical computations with unit tests (operational specifications) of API methods. Given a math expression, MATHFINDER synthesizes pseudo-code comprised of API methods to compute the expression by mining unit tests of the API methods. We present a sequential version of our unit test mining algorithm and also design a more scalable data-parallel version. We perform extensive evaluation of MATHFINDER (1) for API discovery, where math algorithms are to be implemented from scratch and (2) for API migration, where client programs utilizing a math API are to be migrated to another API. We evaluated the precision and recall of MATHFINDER on a diverse collection of math expressions, culled from algorithms used in a wide range of application areas such as control systems and structural dynamics. In a user study to evaluate the productivity gains obtained by using MATHFINDER for API discovery, the programmers who used MATHFINDER finished their programming tasks twice as fast as their counterparts who used the usual techniques like web and code search, IDE code completion, and manual inspection of library documentation. For the problem of API migration, as a case study, we used MATHFINDER to migrate Weka, a popular machine learning library. Overall, our evaluation shows that MATHFINDER is easy to use, provides highly precise results across several math APIs and application domains even with a small number of unit tests per method, and scales to large collections of unit tests.

Phase relations in the system Ca-Ta-O and thermodynamics of calcium tantalates in relation to calciothermic reduction of Ta2O5

Phase equilibria of the system Ca-Ta-O is established by equilibrating eleven samples at 1200 K for prolonged periods and phase identification in quenched samples by optical and scanning electron microscopy, energy dispersive spectroscopy and X-ray diffraction. Four ternary oxides are identified: CaTa4O11, CaTa2O6, Ca2Ta2O7 and Ca4Ta2O9. Isothermal section of the phase diagram is composed using the results. Thermodynamic properties of the ternary oxides are measured in the temperature range from 975 to 1275 K employing solid-state galvanic cells incorporating single crystal CaF2 as the solid electrolyte. The cells essentially measure the chemical potentials of CaO in two-phase fields (Ta2O5 + CaTa4O11), (CaTa4O11 + CaTa2O6), (CaTa2O6 + Ca2Ta2O7), and (Ca2Ta2O7 + Ca4Ta2O9) of the pseudo-binary system CaO-Ta2O5. The standard Gibbs energies of formation of the four ternary oxides from their component binary oxides Ta2O5 and CaO are given by: Delta G(f)((ox))(o) (CaTa4O11) (+/- 482)/J mol(-1) = -58644+21.497 (T/K) Delta G(f)((ox))(o) (CaTa2O6) (+/- 618)/J mol(-1) = -55122+21.893 (T/K) Delta G(f)((ox))(o) (Ca2Ta2O7) (+/- 729)/J mol(-1) = -82562+31.843 (T/K) Delta G(f)((ox))(o) (Ca4Ta2O9) (+/- 955)/J mol(-1) = -126598+48.859 (T/K) The Gibbs energy of formation of the four ternary compounds obtained in this study differs significantly from that reported in the literature. The thermodynamic data and phase diagram are used for understanding the mechanism and kinetics of calciothermic and electrochemical reduction of Ta2O5 to metal. (C) 2014 Elsevier B.V. All rights reserved.

Structural and magnetic properties of ultra-small scale eutectic CoFeZr alloys

Aiming to develop high mechanical strength and toughness by tuning ultrafine lamellar spacing of magnetic eutectic alloys, we report the mechanical and magnetic properties of the binary eutectic alloys Co90.5Zr9.5 and Fe90.2Zr9.8, as well as the pseudo-binary eutectic alloys Co82.4Fe8Zr9.6, Co78Fe12.4Zr9.6 and Co49.2Fe49.2Zr9.6 developed by suction-casting. The lower lamellar spacing around 100 nm of the eutectics Co49.2Fe49.2Zr9.6 yields a high hardness of 713(+/- 20) VHN. Magnetic measurements reveal high magnetic moment of 1.92 mu B (at 5 K) and 1.82 mu B (at 300 K) per formula unit for this composition. The magnetization vs. applied field data at 5 K show a directional preference to some extent and therefore smaller non-collinear magnetization behavior compared to Co11Zr2 reported in the literature due to exchange frustration and transverse spin freezing owing to the presence of smaller Zr content. The decay of magnetization as a function of temperature along the easy axis of magnetization of all the eutectic compositions can be described fairly well by the spin wave excitation equation Delta M/M(0) = BT3/2 + CT5/2. (C) 2014 Elsevier B.V. All rights reserved.

J-Edited Pure Shift NMR for the Facile Measurement of (n)J(HH) for Specific Protons

We report a novel 1D J-edited pure shift NMR experiment (J-PSHIFT) that was constructed from a pseudo 2D experiment for the direct measurement of proton-proton scalar couplings. The experiment gives homonuclear broad-band H-1-decoupled H-1 NMR spectra, which provide a single peak for chemically distinct protons, and only retain the homonuclear-scalar-coupled doublet pattern at the chemical-shift positions of the protons in the coupled network of a specific proton. This permits the direct and unambiguous measurement of the magnitudes of the couplings. The incorporation of a 1D selective correlation spectroscopy (COSY)/ total correlation spectroscopy (TOCSY) block in lieu of the initial selective pulse, results in the exclusive detection of the correlated spectrum of a specific proton.

Study of motion around a static black hole in Einstein and Lovelock gravity

We study motion around a static Einstein and pure Lovelock black hole in higher dimensions. It is known that in higher dimensions bound orbits exist only for a pure Lovelock black hole in all even dimensions, D = 2N + 2, where N is the degree of Lovelock polynomial action. In particular, we compute periastron shift and light bending, and the latter is given by one of the transverse spatial components of the Riemann curvature tensor. We also consider the pseudo-Newtonian potentials and Kruskal coordinates.

Rheological Behavior of Al-7Si-0.3Mg Alloy at Mushy State

In recent years, semisolid manufacturing has emerged as an attractive option for near net shape forming of components with aluminum alloys. In this class of processes, the key to success lies mainly in the understanding of rheological behavior of the semi-solid slurry in the temperature range between liquidus and solidus. The present study focuses on the non-Newtonian flow behavior of the pseudo plastic slurry of Al-7Si-0.3Mg alloy for a wide shear range using a high-temperature Searle-type rheometer. The rheological behavior of the slurry is studied with respect to relevant process variables and microstructural features such as shear rate, shear duration, temperature history, primary particle size, shape, and their distribution. The experiments performed are isothermal tests, continuous cooling tests, shear jump tests, and shear time tests. The continuous cooling experiments are aimed toward studying the viscosity and shear stress evolution within the slurry matrix with increasing solid fraction at a constant shear rate. Three different cooling rates are considered and their effect on flow behavior of the slurry was studied under iso-shear condition. Descending shear jump experiments are performed to understand the viscous instability of the slurry.

A Comparative Study of Early Afterdepolarization-Mediated Fibrillation in Two Mathematical Models for Human Ventricular Cells

Early afterdepolarizations (EADs), which are abnormal oscillations of the membrane potential at the plateau phase of an action potential, are implicated in the development of cardiac arrhythmias like Torsade de Pointes. We carry out extensive numerical simulations of the TP06 and ORd mathematical models for human ventricular cells with EADs. We investigate the different regimes in both these models, namely, the parameter regimes where they exhibit (1) a normal action potential (AP) with no EADs, (2) an AP with EADs, and (3) an AP with EADs that does not go back to the resting potential. We also study the dependence of EADs on the rate of at which we pace a cell, with the specific goal of elucidating EADs that are induced by slow or fast rate pacing. In our simulations in two-and three-dimensional domains, in the presence of EADs, we find the following wave types: (A) waves driven by the fast sodium current and the L-type calcium current (Na-Ca-mediated waves); (B) waves driven only by the L-type calcium current (Ca-mediated waves); (C) phase waves, which are pseudo-travelling waves. Furthermore, we compare the wave patterns of the various wave-types (Na-Ca-mediated, Ca-mediated, and phase waves) in both these models. We find that the two models produce qualitatively similar results in terms of exhibiting Na-Ca-mediated wave patterns that are more chaotic than those for the Ca-mediated and phase waves. However, there are quantitative differences in the wave patterns of each wave type. The Na-Ca-mediated waves in the ORd model show short-lived spirals but the TP06 model does not. The TP06 model supports more Ca-mediated spirals than those in the ORd model, and the TP06 model exhibits more phase-wave patterns than does the ORd model.

Ag-doped hydroxyapatite as efficient adsorbent for removal of Congo red dye from aqueous solution: Synthesis, kinetic and equilibrium adsorption isotherm analysis

In the present study a versatile and efficient adsorbent with high adsorption capacity for adsorption of Congo red dye in aqueous solution at ambient temperature without adjusting any pH is presented over the Ag modified calcium hydroxyapatite (CaHAp). CaHAp and Ag-doped CaHAp materials were synthesized using facile aqueous precipitation method. The physico-chemical properties of the materials were determined by powder X-ray diffraction (XRD), Fourier transform infrared (FT-IR) spectroscopy, Transmission electron microscopy (TEM), UV-Visible spectroscopy, N-2 physisorption and acidity was determined by n-butylamine titration and pyridine adsorption methods. XRD analysis confirmed all adsorbents exhibit hexagonal CaHAp structure with P6(3)/m space group. TEM analysis confirms the rod like morphology of the adsorbents and the average length of the rods were in the range of 40-45 nm. Pyridine adsorption results indicate increase in number of Lewis acid sites with Ag doping in CaHAp. Adsorption capacity of CaHAp was found increased with Ag content in the adsorbents. Ag (10): CaHAp adsorbent showed superior adsorption performance among all the adsorbents for various concentrations of Congo red (CR) dye in aqueous solutions. The amount of CR dye adsorbed on Ag (10): CaHAp was found to be 49.89-267.81 mg g(-1) for 50-300 ppm in aqueous solution. A good correlation between adsorption capacity and acidity of the adsorbents was observed. The adsorption kinetic data of adsorbents fitted well with pseudo second-order kinetic model with correlation coefficients ranged from 0.998 to 0.999. The equilibrium adsorption data was found to best fit to the Langmuir adsorption isotherm model. (C) 2015 Elsevier Inc. All rights reserved.

Organic fluorine involved intramolecular hydrogen bonds in the derivatives of imides: NMR evidence corroborated by DFT based theoretical calculations

The rare occurrence of intramolecular hydrogen bonds (HBs) of the type N-H center dot center dot center dot F-C is detected in the derivatives of imides in a low polarity solvent by using multi-dimensional and multinuclear NMR experiments. The observation of (1h)J(FH), (2h)J(FN), and (2h)J(FF), where the spin magnetization is transmitted through space among the interacting NMR active nuclei, provided strong and unambiguous evidence for the existence of intra-molecular HBs. The variation in the chemical shifts of labile protons depending on physical conditions, such as the solvent dilution and the systematic alteration of temperature confirmed the presence of weak interactions through intramolecular HBs in all the investigated fluorine substituted molecules. The self or cross dimerization of molecules is unequivocally discarded by the analysis of the rates of diffusion obtained using pseudo-two dimensional DOSY experiments. The Density Function Theory (DFT) calculations based on the Quantum Theory of Atoms In Molecules (QTAIM) and Non Covalent Interaction (NCI), are in close agreement with the NMR experimental findings.

Estimation of nonlinearities from pseudodynamic and dynamic responses of bridge structures using the Delay Vector Variance method

Analysis of the variability in the responses of large structural systems and quantification of their linearity or nonlinearity as a potential non-invasive means of structural system assessment from output-only condition remains a challenging problem. In this study, the Delay Vector Variance (DVV) method is used for full scale testing of both pseudo-dynamic and dynamic responses of two bridges, in order to study the degree of nonlinearity of their measured response signals. The DVV detects the presence of determinism and nonlinearity in a time series and is based upon the examination of local predictability of a signal. The pseudo-dynamic data is obtained from a concrete bridge during repair while the dynamic data is obtained from a steel railway bridge traversed by a train. We show that DVV is promising as a marker in establishing the degree to which a change in the signal nonlinearity reflects the change in the real behaviour of a structure. It is also useful in establishing the sensitivity of instruments or sensors deployed to monitor such changes. (C) 2015 Elsevier B.V. All rights reserved.

Micro-satellite angular rate estimation using second-order sliding mode observer

Development of computationally efficient and accurate attitude rate estimation algorithm using low-cost commercially available star sensor arrays and processing unit for micro-satellite mission is presented. Our design reduces the computational load of least square (LS)-based rate estimation method while maintaining the same accuracy compared to other rate estimation approaches. Furthermore, rate estimation accuracy is improved by using recently developed fast and accurate second-order sliding mode observer (SOSMO) scheme. It also gives robust estimation in the presence of modeling uncertainties, unknown disturbances, and measurement noise. Simulation study shows that rate estimation accuracy achieved by our LS-based method is comparable with other methods for a typical commercially available star sensor array. The robustness analysis of SOSMO with respect to measurement noise is also presented in this paper. Simulation test bench for a practical scenario of satellite rate estimation uses moment-of-inertia variation and environmental disturbances affecting a typical micro-satellite at 500km circular orbit. Comparison studies of SOSMO with 1-SMO and pseudo-linear Kalman filter show that satisfactory estimation accuracy is achieved by SOSMO.

Forward-Running Detonation Drivers for High-Enthalpy Shock Tunnels

To improve the quality of driving flows generated with detonation-driven shock tunnels operated in the forward-running mode, various detonation drivers with specially designed sections were examined. Four configurations of the specially designed section, three with different converging angles and one with a cavity ring, were simulated by solving the Euler equations implemented with a pseudo kinetic reaction model. From the first three cases, it is observed that the reflection of detonation fronts at the converging wall results in an upstream-traveling shock wave that can increase the flow pressure that has decreased due to expansion waves, which leads to improvement of the driving flow. The configuration with a cavity ring is found to be more promising because the upstream-traveling shock wave appears stronger and the detonation front is less overdriven. Although pressure fluctuations due to shock wave focusing and shock wave reflection are observable in these detonation-drivers, they attenuate very rapidly to an acceptable level as the detonation wave propagates downstream. Based on the numerical observations, a new detonation-driven shock tunnel with a cavity ring is designed and installed for experimental investigation. Experimental results confirm the conclusion drawn from numerical simulations. The generated driving flow in this shock tunnel could maintain uniformity for as long as 4 ms. Feasibility of the proposed detonation driver for high-enthalpy shock tunnels is well demonstrated.

Elastic fields of interacting elliptic inhomogeneities

This paper presents a method for the calculation of two-dimensional elastic fields in a solid containing any number of inhomogeneities under arbitrary far field loadings. The method called 'pseudo-dislocations method', is illustrated for the solution of interacting elliptic inhomogeneities. It reduces the interacting inhomogeneities problem to a set of linear algebraic equations. Numerical results are presented for a variety of elliptic inhomogeneity arrangements, including the special cases of elliptic holes, cracks and circular inhomogeneities. All these complicated problems can be solved with high accuracy and efficiency.

Sound transmission in strongly-curved slowly-varying cylindrical and annular lined ducts with flow

In this paper we consider the propagation of acoustic waves along a curved hollow or annular duct with lined walls. The curvature of the duct centreline and the wall radii vary slowly along the duct, allowing application of an asymptotic multiple scales analysis. This generalises Rienstra's analysis of a straight duct of varying cross-sectional radius. The result of the analysis is that the modal wavenumbers and mode shapes are determined locally as modes of a torus with the same local curvature, while the amplitude of the modes evolves as the mode propagates along the duct. The duct modes are found numerically at each axial location using a pseudo-spectral method. Unlike the case of a straight duct, there is a fundamental asymmetry between upstream and downstream propagating modes, with some mode shapes tending to be concentrated on either the inside or outside of the bend depending on the direction of propagation. The interaction between the presence of wall lining and curvature is investigated in particular; for instance, in a representative case it is found that the curvature causes the first few acoustic modes to be more heavily damped by the duct boundary than would be expected for a straight duct. Analytical progress can be made in the limit of very high mode order, in which case well-known 'whispering gallery' modes, localised close to the wall, can be identified.

Calidad fitosanitaria y determinación de aflatoxinas en granos de sorgo (Sorghum bicolor (L.) Moench), en almacén y campo, 2005

Una de la problemática de la producción de sorgo en Nicaragua es el deficiente manejo postcosecha del grano, como consecuencia es afec tado por diferentes plagas que dañan su calidad por insectos, hongos y bacterias. Algunos hongos que afectan el grano en campo y almacén son productores de diferentes micotoxinas, que ocasionan micotoxi- cosis (intoxicaciones), dañinas para la salud humana y animal. El objetivo del estudio fue determinar la calidad fitosanitaria y presencia de niveles de aflatoxinas en granos almacenados. Se colectaron mues tras en empresas e industrias almacenadoras y de campo. A cada una se le realizó análisis organoléptico (olor, temperatura, apariencia); físico (impurezas), entomológico, patológico (hongos y bacterias) y análisis de aflatoxinas. Las plagas primarias insectiles encontradas en los granos en almacén son: el pequeño barrenador del grano ( Rhizo pertha dominica (F.) y el gorgojo del arroz ( Sitophillus oryzae (L.)). El gorgojo plano de los granos ( Cryptolestes sp.), predominó en todas las muestras de granos de almacén, considerado plaga secundaria. En granos de campo el insecto que se encontró en mayor número fue el telarañero del sorgo ( Celama sorghiella (Riley)). Los géneros de hongos Fusarium spp, Helminthosporium sp y las bacterias Pseudo monas syringae van Hall y Bacillus megaterium (De Bary) ocasio naron los mas altos porcentajes de infección en granos de almacén y campo. Se identificaron siete especies de Aspergillus de las cuales A. flavus Link y A. parasiticus Speare se asocian a la producción de aflatoxinas, sin embargo este análisis resultó por debajo de 20 partes por billón (ppb).