Discovering Math APIs by Mining Unit Tests

In today's API-rich world, programmer productivity depends heavily on the programmer's ability to discover the required APIs. In this paper, we present a technique and tool, called MATHFINDER, to discover APIs for mathematical computations by mining unit tests of API methods. Given a math expression, MATHFINDER synthesizes pseudo-code to compute the expression by mapping its subexpressions to API method calls. For each subexpression, MATHFINDER searches for a method such that there is a mapping between method inputs and variables of the subexpression. The subexpression, when evaluated on the test inputs of the method under this mapping, should produce results that match the method output on a large number of tests. We implemented MATHFINDER as an Eclipse plugin for discovery of third-party Java APIs and performed a user study to evaluate its effectiveness. In the study, the use of MATHFINDER resulted in a 2x improvement in programmer productivity. In 96% of the subexpressions queried for in the study, MATHFINDER retrieved the desired API methods as the top-most result. The top-most pseudo-code snippet to implement the entire expression was correct in 93% of the cases. Since the number of methods and unit tests to mine could be large in practice, we also implement MATHFINDER in a MapReduce framework and evaluate its scalability and response time.

Nanostructured electrode materials for electrochemical energy storage and conversion

Manipulation of matter at the nanoscale is a way forward to move beyond our current choices in electrochemical energy storage and conversion technologies with promise of higher efficiency, environmental benignity, and cost-effectiveness. Electrochemical processes being basically surface phenomena, tailored multifunctional nanoarchitecturing can lead to improvements in terms of electronic and ionic conductivities, diffusion and mass transport, and electron transfer and electrocatalysis. The nanoscale is also a domain in which queer properties surface: those associated with conversion electrodes, ceramic particles enhancing the conductivity of polymer electrolytes, and transition metal oxide powders catalyzing fuel cell reactions, to cite a few. Although this review attempts to present a bird's eye view of the vast literature that has accumulated in this rather infant field, it also lists a few representative studies that establish the beneficial effects of going `nano'. Investigations on nanostructuring and use of nanoparticles and nanoarchitectures related to lithium-ion batteries (active materials and electrolytes), supercapacitors (electrical double-layer capacitors, supercapacitors based on pseudo-capacitance, and hybrid supercapacitors), and fuel cells (electrocatalysts, membranes and hydrogen storage materials) are highlighted. (C) 2012 John Wiley & Sons, Ltd.

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.

On the Utility of Microscopy and C-Scan Techniques in the Study of Defects Arising From Resin Infusion Process and a Study on the Influence of Voids on the Impact Behavior of CFRP Composites

Carbon Fiber Reinforced Plastic composites were fabricated through vacuum resin infusion technology by adopting two different processing conditions, viz., vacuum only in the first and vacuum plus external pressure in the next, in order to generate two levels of void-bearing samples. They were relatively graded as higher and lower void-bearing ones, respectively. Microscopy and C-scan techniques were utilized to describe the presence of voids arising from the two different processing parameters. Further, to determine the influence of voids on impact behavior, the fabricated +45 degrees/90 degrees/-45 degrees composite samples were subjected to low velocity impacts. The tests show impact properties like peak load and energy to peak load registering higher values for the lower void-bearing case where as the total energy, energy for propagation and ductility indexes were higher for the higher void-bearing ones. Fractographic analysis showed that higher void-bearing samples display lower number of separation of layers in the laminate. These and other results are described and discussed in this report.

A non-resonant mass sensor to eliminate the ``missing mass'' effect during mass measurement of biological materials

Resonant sensors and crystal oscillators for mass detection need to be excited at very high natural frequencies (MHz). Use of such systems to measure mass of biological materials affects the accuracy of mass measurement due to their viscous and/or viscoelastic properties. The measurement limitation of such sensor system is the difficulty in accounting for the ``missing mass'' of the biological specimen in question. A sensor system has been developed in this work, to be operated in the stiffness controlled region at very low frequencies as compared to its fundamental natural frequency. The resulting reduction in the sensitivity due to non-resonant mode of operation of this sensor is compensated by the high resolution of the sensor. The mass of different aged drosophila melanogaster (fruit fly) is measured. The difference in its mass measurement during resonant mode of operation is also presented. That, viscosity effects do not affect the working of this non-resonant mass sensor is clearly established by direct comparison. (C) 2014 AIP Publishing LLC.

Strength and Deformation Characteristics of Fly Ash Mixed with Randomly Distributed Plastic Waste

In order to explore the potential use of fly ash and plastic waste in bulk quantities in civil engineering applications, it is necessary to understand the behavior of fly ash and fly ash mixed with plastic waste. These materials are considered as wastes and in this study, it is shown that combination of fly ash and plastic waste is very useful. In this regard, various tests such as classification tests, unconfined compressive strength and compressibility tests, consolidated undrained tests, and California bearing ratio tests were conducted. The results indicated that the inclusion of plastic waste in fly ash is effective in improving the engineering properties of fly ash in terms of compressive strength, shear strength parameters, and CBR values. In order to understand the effect of sample size on the shear strength parameters of fly ash and fly ash mixed with plastic waste, consolidated undrained tests were conducted with sample sizes of 38x76mm and 50x100mm. The results of the tests indicate that the shear strength increases with the increase in sample size. The implication of the use of fly ash mixed with plastic waste in unpaved roads is presented in terms of reduction of carbon print.

Microstructure-hardness-fretting wear resistance correlation in ultrafine grained Cu-TiB2-Pb composites

The retention of the desired combination of mechanical/tribological properties in ultrafine grained materials presents important challenges in the field of bulk metallic composites. In order to address this aspect, the present work demonstrates how one can achieve a good combination of hardness and wear resistance in Cu-Pb-TiB2 composites, consolidated by spark plasma sintering at low temperatures ( < 500 degrees C). Transmission electron microscope (TEM) studies reveal ultrafine grains of Cu (100-400 nm) with coarser TiB2 particles (1-2 mu m) along with fine scale Pb dispersoid at triple junctions or at the grain boundaries of Cu. Importantly, a high hardness of around 2.2 GPa and relative density of close to 90% relative density (rho(theo)) have been achieved for Cu-15 wt% TiB2-10 wt% Pb composite. Such property theo, combination has never been reported for any Cu-based nanocomposite, by conventional processing route. In reference to the tribological performance, fretting wear tests were conducted on the sintered nanocomposites and a good combination of steady state COF (0.6-0.7) and wear rate (10-4 mm(3)/N m) were measured. An inverse relationship between wear rate and hardness was recorded and this commensurates well with Archard's relationship of abrasive wear. The formation of a wear-resistant delaminated tribolayer consisting of TiB2 particles and ultrafine oxide debris, (Cu, Fe, Ti)(x)O-y as confirmed from subsurface imaging using focused ion beam microscopy has been identified as the key factors for the low wear rate of these composites. (C) 2014 Elsevier B.V. All rights reserved.

Electromagnetic shielding materials and coatings derived from gelation of multiwall carbon nanotubes in an LCST mixture

Thermally induced demixing in an LCST mixture, polystyrene (PS)/polyvinyl methyl ether] (PVME), was used as a template to design materials with high electrical conductivity. This was facilitated by gelation of multiwall carbon nanotubes (MWNTs) in a given phase of the blends. The MWNTs were mixed in the miscible blends and the thermodynamic driven demixing further resulted in selective localization in the PVME phase of the blends. This was further confirmed by atomic force microscopy (AFM). The time dependent gelation of MWNTs at shallow quench depth, evaluated using isochronal temperature sweep by rheology, was studied by monitoring the melt electrical conductivity of the samples in situ by an LCR meter coupled to a rheometer. By varying the composition in the mixture, several intricate shapes like gaskets and also coatings capable of attenuating the EM radiation in the microwave frequency can be derived. For instance, the PVME rich mixtures can be molded in the form of a gasket, O-ring and other intricate shapes while the PS rich mixtures can be coated onto an insulating polymer to enhance the shielding effectiveness (SE) for EM radiation. The SE of the various materials was analyzed using a vector network analyzer in both the X-band (8.2 to 12 GHz) and the K-u-band (12 to 18 GHz) frequency. The improved SE upon gelation of MWNTs in the demixed blends is well evident by comparing the SE before and after demixing. A reflection loss of -35 dB was observed in the blends with 2 wt% MWNTs. Further, by coating a layer of ca. 0.15 mm of PS/PVME/MWNT, a SE of -15 dB at 18 GHz could be obtained.

Discerning heat transfer in building materials

The function of a building is to ensure safety and thermal comfort for healthy living conditions. Buildings primarily comprise an envelope, which acts as an interface separating the external environment from the indoors environment. The building envelope is primarily responsible for regulating indoor thermal comfort in response to external climatic conditions. It usually comprises a configuration of building materials to thus far provide requisite structural performance. However, studies into building-envelope configurations to provide a particular thermal performance are limited. As the building envelope is exposed to the external environment there will be heat and moisture transfer to the indoor environment through it. The overall phenomenon of heat and moisture transfer depends on the microstructure and configuration within the building material. Further, thermal property of a material is generally dependent on its microstructure, which comprises a network of pores and particles arranged in a definite structure. Thermal behaviour of a building material thus depends on the thermal conductivities of the solid particles, pore micro-structure and its constituent fluid (air and/or moisture). The thermal response of a building envelope is determined by the thermal characteristics of the individual building materials and its configuration. Understanding the heat transfer influenced by the complex networks of pores and particles is a relatively new study in the area of building climatic-response. The current study reviews the heat-transfer mechanisms that determine the thermal performance of a building material attributed to its micro-structure. A theoretical basis for the same is being evolved and its relevance in regulating heat-transfer through building envelopes, walls in particular, is reviewed in this paper. (C) 2014 N.C. Balaji. Published by Elsevier Ltd. This is an open access article under the CC BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/3.0/).

Poly(vinylidene fluoride)-Based Flexible and Lightweight Materials for Attenuating Microwave Radiations

Two unique materials were developed, like graphene oxide (GO) sheets covalently grafted on to barium titanate (BT) nanoparticles and cobalt nanowires (Co-NWs), to attenuate the electromagnetic (EM) radiations in poly(vinylidene fluoride) (PVDF)-based composites. The rationale behind using either a ferroelectric or a ferromagnetic material in combination with intrinsically conducting nanoparticles (multiwall carbon nanotubes, CNTs), is to induce both electrical and magnetic dipoles in the system. Two key properties, namely, enhanced dielectric constant and magnetic permeability, were determined. PVDF/BT-GO composites exhibited higher dielectric constant compared to PVDF/BT and PVDF/GO composites. Co-NWs, which were synthesized by electrodeposition, exhibited saturation magnetization (M-s) of 40 emu/g and coercivity (Hc) of 300 G. Three phase hybrid composites were prepared by mixing CNTs with either BT-GO or Co-NWs in PVDF by solution blending. These nanoparticles showed high electrical conductivity and significant attenuation of EM radiations both in the X-band and in the Ku-band frequency. In addition, BT-GO/CNT and Co-NWs/CNT particles also enhanced the thermal conductivity of PVDF by ca. 8.7- and 9.3-fold in striking contrast to neat PVDF. This study open new avenues to design flexible and lightweight electromagnetic interference shielding materials by careful selection of functional nanoparticles

Influence of Surface Texture and Roughness of Softer and Harder Counter Materials on Friction During Sliding

Surface texture influences friction during sliding contact conditions. In the present investigation, the effect of surface texture and roughness of softer and harder counter materials on friction during sliding was analyzed using an inclined scratch testing system. In the experiments, two test configurations, namely (a) steel balls against aluminum alloy flats of different surface textures and (b) aluminum alloy pins against steel flats of different surface textures, are utilized. The surface textures were classified into unidirectionally ground, 8-ground, and randomly polished. For a given texture, the roughness of the flat surfaces was varied using grinding or polishing methods. Optical profilometer and scanning electron microscope were used to characterize the contact surfaces before and after the experiments. Experimental results showed that the surface textures of both harder and softer materials are important in controlling the frictional behavior. The softer material surface textures showed larger variations in friction between ground and polished surfaces. However, the harder material surface textures demonstrated a better control over friction among the ground surfaces. Although the effect of roughness on friction was less significant when compared to textures, the harder material roughness showed better correlations when compared to the softer material roughness.

Study the effect of electrical and mechanical shock loading on liberation and milling characteristics of mineral materials

Milling is an energy intensive process and it is considered as one of the most energy inefficient processes. Electrical and mechanical shock loading can be used to develop a pre-treatment methodology to enhance energy efficiency of comminution and liberation of minerals. Coal and Banded Hematite Jasper (BHJ) Iron ores samples were taken for the study to know the effect of shock loading. These samples were exposed to 5 electric shocks of 300 kV using an electric shock loading device. A diaphragmless shock tube was used to produce 3 and 6 compressed air shocks of Mach number 2.12 to treat the coal and Iron ore samples. Microscopic, comminution and liberation studies were carried out to compare the effectiveness of these approaches. It was found that electric shock loading can comminute the coal samples more effectively and increases the yield of carbon by 40% at 1.6 gm/cc density over the untreated coal samples. Mechanical shock loading showed improved milling performance for both the materials and 12.90% and 8.1% reduction in the D-80 of the particles was observed during grinding for treated samples of coal and iron, respectively. Liberation of minerals in BHJ Iron ore was found unaffected due to low intensity of the mechanical shock waves and non conductivity of minerals. Compressed air based shock loading is easier to operate than electrical shock loading and it needs to be explored further to improve the energy efficacy of comminution. (C) 2014 Elsevier Ltd. All rights reserved.

Embodied energy assessment of building materials in India using process and input-output analysis

Growing demand for urban built spaces has resulted in unprecedented exponential rise in production and consumption of building materials in construction. Production of materials requires significant energy and contributes to pollution and green house gas (GHG) emissions. Efforts aimed at reducing energy consumption and pollution involved with the production of materials fundamentally requires their quantification. Embodied energy (EE) of building materials comprises the total energy expenditure involved in the material production including all upstream processes such as raw material extraction and transportation. The current paper deals with EE of a few common building materials consumed in bulk in Indian construction industry. These values have been assessed based on actual industrial survey data. Current studies on EE of building materials lack agreement primarily with regard to method of assessment and energy supply assumptions (whether expressed in terms of end use energy or primary energy). The current paper examines the suitability of two basic methods; process analysis and input-output method and identifies process analysis as appropriate for EE assessment in the Indian context. A comparison of EE values of building materials in terms of the two energy supply assumptions has also been carried out to investigate the associated discrepancy. The results revealed significant difference in EE of materials whose production involves significant electrical energy expenditure relative to thermal energy use. (C) 2014 Elsevier B.V. All rights reserved.

Properties of the chalcogenide-carbon nano tubes and graphene composite materials

Composite can deliver more than the individual elemental property of the material. Specifically chalcogenide- multi walled carbon nano tubes and chalcogenide- bilayer graphene composite materials could be interesting for the investigation, which have been less covered by the investigators. We describe micro structural properties of Se55Te25Ge20, Se55Te25Ge20 + 0.025% multi walled carbon nano tubes and Se55Te25Ge20 + 0.025% bilayer graphene materials. This gives realization of the alloying constituents inclusion/or diffusion inside the multi walled carbon nano tubes and bilayer graphene under the homogeneous parent alloy configuration. Raman spectroscopy, X-ray photoelectron spectroscopy, UV/Visible spectroscopy and Fourier transmission infrared spectroscopy have also been carried out under the discussion. A considerable core energy levels peak shifts have been noticed for the composite materials by the X-ray photoelectron spectroscopy. The optical energy band gaps are measured to be varied in between 1.2 and 1.3 eV. In comparison to parent (Se55Te25Ge20) alloy a higher infrared transmission has been observed for the composite materials. Subsequently, variation in physical properties has been explained on the basis of bond formation in solids. (C) 2014 Elsevier B. V. All rights reserved.