Estimation of Probabilistic Bounds on Phase CPI and Relevance in WCET Analysis

Estimating program worst case execution time(WCET) accurately and efficiently is a challenging task. Several programs exhibit phase behavior wherein cycles per instruction (CPI) varies in phases during execution. Recent work has suggested the use of phases in such programs to estimate WCET with minimal instrumentation. However the suggested model uses a function of mean CPI that has no probabilistic guarantees. We propose to use Chebyshev's inequality that can be applied to any arbitrary distribution of CPI samples, to probabilistically bound CPI of a phase. Applying Chebyshev's inequality to phases that exhibit high CPI variation leads to pessimistic upper bounds. We propose a mechanism that refines such phases into sub-phases based on program counter(PC) signatures collected using profiling and also allows the user to control variance of CPI within a sub-phase. We describe a WCET analyzer built on these lines and evaluate it with standard WCET and embedded benchmark suites on two different architectures for three chosen probabilities, p={0.9, 0.95 and 0.99}. For p= 0.99, refinement based on PC signatures alone, reduces average pessimism of WCET estimate by 36%(77%) on Arch1 (Arch2). Compared to Chronos, an open source static WCET analyzer, the average improvement in estimates obtained by refinement is 5%(125%) on Arch1 (Arch2). On limiting variance of CPI within a sub-phase to {50%, 10%, 5% and 1%} of its original value, average accuracy of WCET estimate improves further to {9%, 11%, 12% and 13%} respectively, on Arch1. On Arch2, average accuracy of WCET improves to 159% when CPI variance is limited to 50% of its original value and improvement is marginal beyond that point.

System Reliability Analysis of Flexible Pavements

The uncertainty in material properties and traffic characterization in the design of flexible pavements has led to significant efforts in recent years to incorporate reliability methods and probabilistic design procedures for the design, rehabilitation, and maintenance of pavements. In the mechanistic-empirical (ME) design of pavements, despite the fact that there are multiple failure modes, the design criteria applied in the majority of analytical pavement design methods guard only against fatigue cracking and subgrade rutting, which are usually considered as independent failure events. This study carries out the reliability analysis for a flexible pavement section for these failure criteria based on the first-order reliability method (FORM) and the second-order reliability method (SORM) techniques and the crude Monte Carlo simulation. Through a sensitivity analysis, the most critical parameter affecting the design reliability for both fatigue and rutting failure criteria was identified as the surface layer thickness. However, reliability analysis in pavement design is most useful if it can be efficiently and accurately applied to components of pavement design and the combination of these components in an overall system analysis. The study shows that for the pavement section considered, there is a high degree of dependence between the two failure modes, and demonstrates that the probability of simultaneous occurrence of failures can be almost as high as the probability of component failures. Thus, the need to consider the system reliability in the pavement analysis is highlighted, and the study indicates that the improvement of pavement performance should be tackled in the light of reducing this undesirable event of simultaneous failure and not merely the consideration of the more critical failure mode. Furthermore, this probability of simultaneous occurrence of failures is seen to increase considerably with small increments in the mean traffic loads, which also results in wider system reliability bounds. The study also advocates the use of narrow bounds to the probability of failure, which provides a better estimate of the probability of failure, as validated from the results obtained from Monte Carlo simulation (MCS).

New rock salt-related oxides Li3M2RuO6 (M=Co, Ni): Synthesis, structure, magnetism and electrochemistry

We describe the synthesis, crystal structure, magnetic and electrochemical characterization of new rock salt-related oxides of formula, Li3M2RuO6 (M=Co, Ni). The M=Co oxide adopts the LiCoO2 (R-3m) structure, where sheets of LiO6 and (Co-2/Ru)O-6 octahedra are alternately stacked along the c-direction. The M=Ni oxide also adopts a similar layered structure related to Li2TiO3, where partial mixing of Li and Ni/Ru atoms lowers the symmetry to monoclinic (C2/c). Magnetic susceptibility measurements reveal that in Li3Co2RuO6, the oxidation states of transition metal ions are Co3+ (S=0), Co2+ (S=1/2) and Ru4+ (S=1), all of them in low-spin configuration and at 10 K, the material orders antiferromagnetically. Analogous Li3Ni2RuO6 presents a ferrimagnetic behavior with a Curie temperature of 100 K. The differences in the magnetic behavior have been explained in terms of differences in the crystal structure. Electrochemical studies correlate well with both magnetic properties and crystal structure. Li-transition metal intermixing may be at the origin of the more impeded oxidation of Li3Ni2RuO6 when compared to Li3CO2RuO6. Interestingly high first charge capacities (between ca. 160 and 180 mAh g(-1)) corresponding to ca. 2/3 of theoretical capacity are reached albeit, in both cases, capacity retention and cyclability are not satisfactory enough to consider these materials as alternatives to LiCoO2. (C) 2013 Elsevier Inc. All rights reserved.

Multifunctional Properties of Multistage Spark Plasma Sintered HA-BaTiO3-Based Piezobiocomposites for Bone Replacement Applications

This work reports the processing-microstructure-property correlation of novel HA-BaTiO3-based piezobiocomposites, which demonstrated the bone-mimicking functional properties. A series of composites of hydroxyapatite (HA) with varying amounts of piezoelectric BaTiO3 (BT) were optimally processed using uniquely designed multistage spark plasma sintering (SPS) route. Transmission electron microscopy imaging during in situ heating provides complementary information on the real-time observation of sintering behavior. Ultrafine grains (0.50m) of HA and BT phases were predominantly retained in the SPSed samples. The experimental results revealed that dielectric constant, AC conductivity, piezoelectric strain coefficient, compressive strength, and modulus values of HA-40wt% BT closely resembles with that of the natural bone. The addition of 40wt% BT enhances the long-crack fracture toughness, compressive strength, and modulus by 132%, 200%, and 165%, respectively, with respect to HA. The above-mentioned exceptional combination of functional properties potentially establishes HA-40wt% BT piezocomposite as a new-generation composite for orthopedic implant applications.

FURTHER RECORDS OF THE SINDH AWL-HEADED SNAKE, Lytorhynchus paradoxus (GUNTHER, 1875), FROM INDIA WITH NOTES ON ITS HABITAT AND NATURAL HISTORY

This paper presents additional distributional records of the Sindh awl-headed snake Lytorhynchus paradoxus from India, along with scale counts, measurements and natural history observations of this poorly known species.

A fast NMR method for resonance assignments: application to metabolomics

We present a new method for rapid NMR data acquisition and assignments applicable to unlabeled (C-12) or C-13-labeled biomolecules/organic molecules in general and metabolomics in particular. The method involves the acquisition of three two dimensional (2D) NMR spectra simultaneously using a dual receiver system. The three spectra, namely: (1) G-matrix Fourier transform (GFT) (3,2)D C-13, H-1] HSQC-TOCSY, (2) 2D H-1-H-1 TOCSY and (3) 2D C-13-H-1 HETCOR are acquired in a single experiment and provide mutually complementary information to completely assign individual metabolites in a mixture. The GFT (3,2)D C-13, H-1] HSQC-TOCSY provides 3D correlations in a reduced dimensionality manner facilitating high resolution and unambiguous assignments. The experiments were applied for complete H-1 and C-13 assignments of a mixture of 21 unlabeled metabolites corresponding to a medium used in assisted reproductive technology. Taken together, the experiments provide time gain of order of magnitudes compared to the conventional data acquisition methods and can be combined with other fast NMR techniques such as non-uniform sampling and covariance spectroscopy. This provides new avenues for using multiple receivers and projection NMR techniques for high-throughput approaches in metabolomics.

Co-existence of tetragonal and monoclinic phases and multiferroic properties for x <= 0.30 in the (1-x)Pb(Zr0.52Ti0.48)O-3-(x)BiFeO3 system

Compositions with x <= 0.30 in the system (1- x)Pb(Zro(0.52)Ti(0.48))O-3-(x)BiFeO3 were synthesized by sol-gel method. Rietveld analysis of X-ray diffraction data reveals tetragonal structure (P4mm) for x <= 0.05 and monoclinic (Cm) phase along with the existence of tetragonal phase for 0.10 <= x <= 0.25 and monoclinic phase for x = 0.30. Transformation of E(2TO) and E + B1 vibrational modes in the range 210-250 cm(-1) (present for x <= 0.25) into A' + A `' modes at similar to 236 cm(-1) for x = 0.30, and occurrence of new vibrational modes A' and A `' in Raman spectra for x >= 0.10 unambiguously support the presence of monoclinic phase. Occurrence of remnant polarisation and enhanced magnetization with concentration of BiFeO3 indicates superior multiferroic properties. Variation of magneto-capacitance with applied magnetic field is a strong evidence of magneto-electric multiferroic coupling in these materials. (C) 2014 Elsevier B.V. All rights reserved.

Azide and Alkyne Terminated Polybutadiene Binders: Synthesis, Cross-linking, and Propellant Studies

In composite solid propellants, the fuel and oxidizer are held together by a polymer binder. Among the different types of polymeric binders used in solid propellants, hydroxyl terminated polybutadiene (HTPB) is considered as the most versatile. HTPB is conventionally cured using isocyanates to form polyurethanes. However, the incompatibility of isocyanates with energetic oxidizers such as ammonium dinitramide and hydrazinium nitroformate, the short pot life of the propellant slurry, and undesirable side reactions with moisture are limiting factors which adversely affect the mechanical properties of HTPB based propellant. With an aim of resolving these problems, HTPB was chemically transformed to azidoethoxy carbonyl amine terminated polybutadiene and propargyloxy carbonyl amine terminated polybutadiene by adopting appropriate synthesis strategies and characterizing them by spectroscopic and chromatographic techniques. This is the first report on 1,3-dipolar addition reaction involving azide and alkyne end groups for cross-linking HTPB. The blend of these two polymers underwent curing under mild temperature (60 degrees C) conditions through 1,3-dipolar cycloaddition reaction resulting in triazoletriazoline networks. The curing parameters were studied using differential scanning calorimetry. The kinetic parameter, viz., activation energy, was computed to be 107.6 kJ/mol, the preexponential factor was 2.79 x 10(12) s-(1), and the rate constant at 60 degrees C was computed to be 3.64 x 10-(5) s-(1). The cure profile at a given temperature was predicted using the kinetic parameters. Rheological studies revealed that the gel time for curing through the 1,3-dipolar addition is 280 min compared to 120 min for curing through the urethane route. The mechanical properties of the resultant cured polybutadiene network were superior to those of polyurethanes. The cured triazolinetriazole polymer network exhibited biphasic morphology with two glass transitions (T-g) at -56 and 42 degrees C in contrast to the polyurethane which exhibited a single transition at -60 degrees C. This was corroborated by associated morphological changes observed by scanning probe microscopy. The propellant processed using this binder has the advantages of improved pot life as indicated by the end of the mix viscosity which is 165 Pas as compared with 352 Pas for the polyurethane system along with a slow build- up rate. The mechanical properties of the propellant are superior to polyurethane with an improvement of 14% in tensile strength, 22% enhancement in elongation at break, and 12% in modulus.

Controlling the cross-section of waveguides inscribed on bulk chalcogenide glasses using fast laser

Waveguides have been fabricated on melt-quenched, bulk chalcogenide glasses using the femto-second laser inscription technique at low repetition rates in the single scan regime. The inscribed waveguides have been characterized by butt-coupling method and the diameter of the waveguide calculated using the mode-field image of the waveguide. The waveguide cross-section symmetry is analyzed using the heat diffusion model by relating the energy and translation speed of the laser. The net-fluence and symmetry of the waveguides are correlated based on the theoretical values and experimental results of guiding cross-section.

Optically transparent polymer devices for in situ assessment of cell electroporation

In order to study cell electroporation in situ, polymer devices have been fabricated from poly-dimethyl siloxane with transparent indium tin oxide parallel plate electrodes in horizontal geometry. This geometry with cells located on a single focal plane at the interface of the bottom electrode allows a longer observation time in both transmitted bright-field and reflected fluorescence microscopy modes. Using propidium iodide (PI) as a marker dye, the number of electroporated cells in a typical culture volume of 10-100 mu l was quantified in situ as a function of applied voltage from 10 to 90 V in a series of 2-ms pulses across 0.5-mm electrode spacing. The electric field at the interface and device current was calculated using a model that takes into account bulk screening of the transient pulse. The voltage dependence of the number of electroporated cells could be explained using a stochastic model for the electroporation kinetics, and the free energy for pore formation was found to be kT at room temperature. With this device, the optimum electroporation conditions can be quickly determined by monitoring the uptake of PI marker dye in situ under the application of millisecond voltage pulses. The electroporation efficiency was also quantified using an ex situ fluorescence-assisted cell sorter, and the morphology of cultured cells was evaluated after the pulsing experiment. Importantly, the efficacy of the developed device was tested independently using two cell lines (C2C12 mouse myoblast cells and yeast cells) as well as in three different electroporation buffers (phosphate buffer saline, electroporation buffer and 10 % glycerol).

A thermodynamic framework for the evolution of damage in concrete under fatigue

A closed-form expression for the dual of dissipation potential is derived within the framework of irreversible thermodynamics using the principles of dimensional analysis and self-similarity. Through this potential, a damage evolution law is proposed for concrete under fatigue loading using the concepts of damage mechanics in conjunction with fracture mechanics. The proposed law is used to compute damage in a volume element when a member is subjected to fatigue loading. The evolution of damage from microcracking to macrocracking of the entire member is captured through a series of volume elements failing one after the other. The number of loading cycles to failure of the member is obtained as the summation of number of cycles to failure for each individual volume element. A parametric study is conducted to determine the effect of the size of the volume element on the model's prediction of fatigue life. A global damage index is also defined, and the residual moment carrying capacity of damaged beams is evaluated. Through a deterministic sensitivity analysis, it is found that the load range and maximum aggregate size are the most influencing parameters on the fatigue life of a plain concrete beam.

Hydrogen-induced mechanical properties of amorphous silicon thin films

Mechanical properties of thin films such as residual stress and hardness are of paramount importance from the device fabrication point of view. Intrinsic stress in sputtered films can be tensile or compressive as decided by the number density and the energy of the plasma species striking the growing film. In the presence of hydrogen we analyzed the applicability of idealized stress reversal curve for amorphous silicon thin films deposited by DC, pulsed DC (PDC) and RF sputtering. We are successfully able to correlate the microstructure with the stress reversal and hardness. We observed a stress reversal from compressive to tensile with hydrogen incorporation. It was found that unlike in idealized stress reversal curve case, though the energy of plasma species is less in DC plasma, DC deposited films exhibit more compressive stress, followed by PDC and RF deposited films. A tendency towards tensile stress from compressive stress was observed at similar to 13, 18 and 23 at%H for DC, PDC and RF deposited films respectively, which is in exact agreement with the vacancy to void transition in the films. Regardless of the sputtering power mode, the hardness of a-Si:H films is found to be maximum at C-H similar to 10 at%H. Enhancement in hardness with C-H (up to C-H similar to 10 at%H) is attributed to increase of Si-H bonds. Beyond C-H similar to 10 at%H, hardness starts falling. (C) 2015 Elsevier Ltd. All rights reserved.

Modeling harvest rates and numbers from age and sex ratios: A demonstration for elephant populations

Illegal harvest rates of wildlife populations are often unknown or difficult to estimate from field data due to under-reporting or incomplete detection of carcasses. This is especially true for elephants that are killed for ivory or in conflicts with people. We describe a method to infer harvest rates from coarse field data of three population parameters, namely, adult female to male ratio, male old-adult to young-adult ratio, and proportion of adult males in the population using Jensen's (2000) 2-sex, density-dependent Leslie matrix model. The specific combination of male and female harvest rates and numbers can be determined from the history of harvest and estimate of population size. We applied this technique to two populations of elephants for which data on age structure and records of mortality were available-a forest-dwelling population of the Asian elephant (at Nagarahole, India) and an African savannah elephant population (at Samburu, Kenya) that had experienced male-biased harvest regimes over 2-3 decades. For the Nagarahole population, the recorded numbers of male and female elephants killed illegally during 1981-2000 were 64% and 88% of the values predicted by the model, respectively, implying some non-detection or incomplete reporting while for the Samburu population the recorded and modeled numbers of harvest during 1990-1999 closely matched. This technique, applicable to any animal population following logistic growth model, can be especially useful for inferring illegal harvest numbers of forest elephants in Africa and Asia. (C) 2013 Elsevier Ltd. All rights reserved.

Two new species of Gomphonema (Bacillariophyceae) from Doon Valley, Uttarakhand, India

This paper describes two new Gomphonema species from the lesser Himalayas, India, with their valve morphology using light and scanning electron microscopy. The two species, Gomphonema juettnerii sp. nov. and G. doonensis sp. nov., were found in Nalota stream in Doon Valley of Uttarakhand State. Main features of G. juettnerii are valve outline, shape of the areolae and striae pattern and presence of stigma. Main features of G. doonensis are rounded headpole, striae made by doubly punctate striae and features in central area. A detailed discussion on doubly punctate striae in members of gomphonemoid diatoms is presented.