Phase and Dimensionality of Tin Oxide at graphene nanosheet array and its Electrochemical performance as anode for Lithium Ion Battery

We incorporated tin oxide nanostructures into the graphene nanosheet matrix and observed that the phase of tin oxide varies with the morphology. The highest discharge capacity and coulumbic efficiency were obtained for SnO phase of nanoplates morphology. Platelet morphology of tin oxide shows more reversible capacity than the nanoparticle (SnO2 phase) tin oxide. The first discharge capacity obtained for SnO@GNS is 1393 and 950 mAh/g for SnO2@GNS electrode at a current density of 23 mu A/cm(2). A stable capacity of about 1022 and 715 mAh/g was achieved at a current rate of 23 mu A/cm(2) after 40 cycles for SnO@GNS and SnO2@GNS anodes, respectively. (C) 2014 Elsevier Ltd. All rights reserved.

Analytical test functions for free vibration analysis of rotating non-homogeneous Timoshenko beams

In this paper, the governing equations for free vibration of a non-homogeneous rotating Timoshenko beam, having uniform cross-section, is studied using an inverse problem approach, for both cantilever and pinned-free boundary conditions. The bending displacement and the rotation due to bending are assumed to be simple polynomials which satisfy all four boundary conditions. It is found that for certain polynomial variations of the material mass density, elastic modulus and shear modulus, along the length of the beam, the assumed polynomials serve as simple closed form solutions to the coupled second order governing differential equations with variable coefficients. It is found that there are an infinite number of analytical polynomial functions possible for material mass density, shear modulus and elastic modulus distributions, which share the same frequency and mode shape for a particular mode. The derived results are intended to serve as benchmark solutions for testing approximate or numerical methods used for the vibration analysis of rotating non-homogeneous Timoshenko beams.

Sodium-ion battery cathodes Na2FeP2O7 and Na2MnP2O7: diffusion behaviour for high rate performance

Na-ion batteries are currently the focus of significant research activity due to the relative abundance of sodium and its consequent cost advantages. Recently, the pyrophosphate family of cathodes has attracted considerable attention, particularly Li2FeP2O7 related to its high operating voltage and enhanced safety properties; in addition the sodium-based pyrophosphates Na2FeP2O7 and Na2MnP2O7 are also generating interest. Herein, we present defect chemistry and ion migration results, determined via atomistic simulation techniques, for Na2MP2O7 (where M = Fe, Mn) as well as findings for Li2FeP2O7 for direct comparison. Within the pyrophosphate framework the most favourable intrinsic defect type is found to be the antisite defect, in which alkali-cations (Na/Li) and M ions exchange positions. Low activation energies are found for long-range diffusion in all crystallographic directions in Na2MP2O7 suggesting three-dimensional (3D) Na-ion diffusion. In contrast Li2FeP2O7 supports 2D Li-ion diffusion. The 2D or 3D nature of the alkali-ion migration pathways within these pyrophosphate materials means that antisite defects are much less likely to impede their transport properties, and hence important for high rate performance.

A 3.8-V earth-abundant sodium battery electrode

Rechargeable lithium batteries have ushered the wireless revolution over last two decades and are now matured to enable green automobiles. However, the growing concern on scarcity and large-scale applications of lithium resources have steered effort to realize sustainable sodium-ion batteries, Na and Fe being abundant and low-cost charge carrier and redox centre, respectively. However, their performance is limited owing to low operating voltage and sluggish kinetics. Here we report a hitherto-unknown material with entirely new composition and structure with the first alluaudite-type sulphate framework, Na2Fe2(SO4)(3), registering the highest-ever Fe3+/ Fe2+ redox potential at 3.8V (versus Na, and hence 4.1V versus Li) along with fast rate kinetics. Rare-metal-free Na-ion rechargeable battery system compatible with the present Li-ion battery is now in realistic scope without sacrificing high energy density and high power, and paves way for discovery of new earth-abundant sustainable cathodes for large-scale batteries.

Dynamic Site Characterization and Correlation of Shear Wave Velocity with Standard Penetration Test `N' Values for the City of Agartala, Tripura State, India

Seismic site characterization is the basic requirement for seismic microzonation and site response studies of an area. Site characterization helps to gauge the average dynamic properties of soil deposits and thus helps to evaluate the surface level response. This paper presents a seismic site characterization of Agartala city, the capital of Tripura state, in the northeast of India. Seismically, Agartala city is situated in the Bengal Basin zone which is classified as a highly active seismic zone, assigned by Indian seismic code BIS-1893, Indian Standard Criteria for Earthquake Resistant Design of Structures, Part-1 General Provisions and Buildings. According to the Bureau of Indian Standards, New Delhi (2002), it is the highest seismic level (zone-V) in the country. The city is very close to the Sylhet fault (Bangladesh) where two major earthquakes (M (w) > 7) have occurred in the past and affected severely this city and the whole of northeast India. In order to perform site response evaluation, a series of geophysical tests at 27 locations were conducted using the multichannel analysis of surface waves (MASW) technique, which is an advanced method for obtaining shear wave velocity (V (s)) profiles from in situ measurements. Similarly, standard penetration test (SPT-N) bore log data sets have been obtained from the Urban Development Department, Govt. of Tripura. In the collected data sets, out of 50 bore logs, 27 were selected which are close to the MASW test locations and used for further study. Both the data sets (V (s) profiles with depth and SPT-N bore log profiles) have been used to calculate the average shear wave velocity (V (s)30) and average SPT-N values for the upper 30 m depth of the subsurface soil profiles. These were used for site classification of the study area recommended by the National Earthquake Hazard Reduction Program (NEHRP) manual. The average V (s)30 and SPT-N classified the study area as seismic site class D and E categories, indicating that the city is susceptible to site effects and liquefaction. Further, the different data set combinations between V (s) and SPT-N (corrected and uncorrected) values have been used to develop site-specific correlation equations by statistical regression, as `V (s)' is a function of SPT-N value (corrected and uncorrected), considered with or without depth. However, after considering the data set pairs, a probabilistic approach has also been presented to develop a correlation using a quantile-quantile (Q-Q) plot. A comparison has also been made with the well known published correlations (for all soils) available in the literature. The present correlations closely agree with the other equations, but, comparatively, the correlation of shear wave velocity with the variation of depth and uncorrected SPT-N values provides a more suitable predicting model. Also the Q-Q plot agrees with all the other equations. In the absence of in situ measurements, the present correlations could be used to measure V (s) profiles of the study area for site response studies.

SnO2 nanowire anchored graphene nanosheet matrix for the superior performance of Li-ion thin film battery anode

All solid state batteries are essential candidate for miniaturizing the portable electronics devices. Thin film batteries are constructed by layer by layer deposition of electrode materials by physical vapour deposition method. We propose a promising novel method and unique architecture, in which highly porous graphene sheet embedded with SnO2 nanowire could be employed as the anode electrode in lithium ion thin film battery. The vertically standing graphene flakes were synthesized by microwave plasma CVD and SnO2 nanowires based on a vapour-liquid-solid (VLS) mechanism via thermal evaporation at low synthesis temperature (620 degrees C). The graphene sheet/SnO2 nanowire composite electrode demonstrated stable cycling behaviours and delivered a initial high specific discharge capacity of 1335 mAh g(-1) and 900 mAh g(-1) after the 50th cycle. Furthermore, the SnO2 nanowire electrode displayed superior rate capabilities with various current densities.

Using formal reasoning on a model of tasks for FreeRTOS

FreeRTOS is an open-source real-time microkernel that has a wide community of users. We present the formal specification of the behaviour of the task part of FreeRTOS that deals with the creation, management, and scheduling of tasks using priority-based preemption. Our model is written in the Z notation, and we verify its consistency using the Z/Eves theorem prover. This includes a precise statement of the preconditions for all API commands. This task model forms the basis for three dimensions of further work: (a) the modelling of the rest of the behaviour of queues, time, mutex, and interrupts in FreeRTOS; (b) refinement of the models to code to produce a verified implementation; and (c) extension of the behaviour of FreeRTOS to multi-core architectures. We propose all three dimensions as benchmark challenge problems for Hoare's Verified Software Initiative.

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.

Metal-organic chemical vapor-deposited cobalt oxide films as negative electrodes for thin film Li-ion battery

In this study, thin films of cobalt oxide (Co3O4) have been grown by the metal-organic chemical vapor deposition (MOCVD) technique on stainless steel substrate at two preferred temperatures (450 degrees C and 500 degrees C), using cobalt acetylacetonate dihydrate as precursor. Spherical as well as columnar microstructures of Co3O4 have been observed under controlled growth conditions. Further investigations reveal these films are phase-pure, well crystallized and carbon-free. High-resolution TEM analysis confirms that each columnar structure is a continuous stack of minute crystals. Comparative study between these Co3O4 films grown at 450 degrees C and 500 degrees C has been carried out for their application as negative electrodes in Li-ion batteries. Our method of electrode fabrication leads to a coating of active material directly on current collector without any use of external additives. A high specific capacity of 1168 micro Ah cm(-2) mu m(-1) has been measured reproducibly for the film deposited at 500 degrees C with columnar morphology. Further, high rate capability is observed when cycled at different current densities. The Co3O4 electrode with columnar structure has a specific capacity 38% higher than the electrode with spherical microstructure (grown at 450 degrees C). Impedance measurements on the Co3O4 electrode grown at 500 degrees C also carried out to study the kinetics of the electrode process. (C) 2014 Published by Elsevier B.V.

An alluaudite Na-2+Fe-2x(2-x)(SO4)(3)(x=0.2) derivative phase as insertion host for lithium battery

A new desodiated derivative compound, Na0.89Fe1.8(SO4)(3), was prepared by the chemical oxidation of alluaudite Na2.4Fe1.8(SO4)(3) Phase using NOBF4 as oxidant. The structure and valency of Fe were characterized by X-ray diffraction (XRD) and Fe-57 Mossbauer spectroscopy. Intercalation behavior of lithium ions in the structure of Na0.89Fe1.8(SO4)(3) was gauged by electrochemical analyses and ex-situ X-ray diffraction. A high capacity of 110 mAh g(-1) at 0.1 C was obtained with a good rate kinetics within a range of 0.1-10 C(1 C = 118 mAh g-1) involving a high Fe3+/Fe2+ redox potential of 3.75 V (vs. Li/Li+). These results confirmed that the Na2.4-delta Fe1.8(SO4)(3) framework was stable even after oxidation and forms a new competitive cathode for the reversible intercalation of lithium ions. (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.

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.

Estimation of Parameters for Battery Storage Models

This paper presents a comprehensive and robust strategy for the estimation of battery model parameters from noise corrupted data. The deficiencies of the existing methods for parameter estimation are studied and the proposed parameter estimation strategy improves on earlier methods by working optimally for low as well as high discharge currents, providing accurate estimates even under high levels of noise, and with a wide range of initial values. Testing on different data sets confirms the performance of the proposed parameter estimation strategy.

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.