Conjugacy invariant pseudo-norms, representability and RNA secondary structures

To a reasonable approximation, a secondary structures of RNA is determined by Watson-Crick pairing without pseudo-knots in such a way as to minimise the number of unpaired bases: We show that this minimal number is determined by the maximal conjugacy-invariant pseudo-norm on the free group on two generators subject to bounds on the generators. This allows us to construct lower bounds on the minimal number of unpaired bases by constructing conjugacy invariant pseudo-norms. We show that one such construction, based on isometric actions on metric spaces, gives a sharp lower bound. A major goal here is to formulate a purely mathematical question, based on considering orthogonal representations, which we believe is of some interest independent of its biological roots.

Ultrasound-modulated optical tomography: recovery of amplitude of vibration in the insonified region from boundary measurement of light correlation

We address a certain inverse problem in ultrasound-modulated optical tomography: the recovery of the amplitude of vibration of scatterers [p(r)] in the ultrasound focal volume in a diffusive object from boundary measurement of the modulation depth (M) of the amplitude autocorrelation of light [phi(r, tau)] traversing through it. Since M is dependent on the stiffness of the material, this is the precursor to elasticity imaging. The propagation of phi(r, tau) is described by a diffusion equation from which we have derived a nonlinear perturbation equation connecting p(r) and refractive index modulation [Delta n(r)] in the region of interest to M measured on the boundary. The nonlinear perturbation equation and its approximate linear counterpart are solved for the recovery of p(r). The numerical results reveal regions of different stiffness, proving that the present method recovers p(r) with reasonable quantitative accuracy and spatial resolution. (C) 2011 Optical Society of America

Vapor pressure of liquid metals and alloys

The Gibbs-Bogoliubov formalism in conjunction with the pseudopotential theory is applied to the calculation of the vapour pressure of eight liquid metals from Groups I to IV of the periodic table and of alloys (Na-K). The calculated vapour pressure of the elements and their temperature dependencies, the partial pressures, activities and boiling points of the alloys are all found to be in reasonable agreement with measured data.

Heat of Mixing and Activities in Liquid Al-Sn Alloys

The microscopic electron theory based on the pseudopotential formalism has been applied to the calculation of the heats of mixing and of activities in liquid Al·Sn alloys. The calculated values for both quantities were found to be in reasonable agreement with ,the experimental data.

Corrosion of 310 stainless steel in H2 H2O-H2S gas mixtures; studies at constant temperature and fixed oxygen potential

Corrosion of SAE 310 stainless steel in H2-H2O-H2S gas mixtures was studied at a constant temperature of 1150 K. Reactive gas mixtures were chosen to yield a constant oxygen potential of approximately 6 × 10-13 Nm-2 and sulfur potentials ranging from 0.19 × 10-2 Nm-2 to 33 × 10-2 Nm-2. The kinetics of corrosion were determined using a thermobalance, and the scales were analyzed using metallography, scanning electron microscopy, and energy dispersive X-ray analysis. Two corrosion regimes, which were dependent on sulfur potential, were identified. At high sulfur potentials (P S 2 ± 2.7 × 10-2 Nm-2) the corrosion rates were high, the kinetics obeyed a linear rate equation, and the scales consisted mainly of sulfide phases similar to those observed from pure sulfidation. At low sulfur potentials (P S 2 ± 0.19 × 10-2 Nm-2) the corrosion rates were low, the kinetics obeyed a parabolic rate equation, and scales consisted mainly of oxide phases. Thermochemical diagrams for the Fe-Cr-S-O, Fe-Ni-S-O, Cr-Ni-S-O, and Si-Cr-S-O systems were constructed, and the experimental results are discussed in relation to these diagrams. Based on this comparison, reasonable corrosion mechanisms were developed. At high sulfur potentials, oxide and sulfide phases initially nucleate as separate islands. Overgrowth of the oxide by the sulfide occurs and an exchange reaction governs the corrosion process. Preoxidation at low oxygen potentials and 1150 K is beneficial in suppressing sulfidation at high sulfur potentials.

The standard molar Gibbs energy of formation of YbPt3 and LuPt3 intermetallics

The standard molar Gibbs energies of formation of YbPt3 and LuPt3 intermetallic compounds have been measured in the temperature range 880 K to 1100 K using the solid-state cells:View the MathML source and View the MathML source The trifluoride of Yb is not stable in equilibrium with Yb or YbPt3. The results can be expressed by the equations: View the MathML source View the MathML source The standard molar Gibbs energy of formation of LuPt3 is −41.1 kJ · mol−1 more negative than that for YbPt3 at 1000 K. Ytterbium is divalent in the pure metal and trivalent in the intermetallic YbPt3. The energy required for the promotion of divalent Yb to the trivalent state is responsible for the less negative ΔfGmo of YbPt3. The enthalpies of formation of the two intermetallics are in reasonable agreement with Miedema's model. Because of the extraordinary stability of these compounds it is possible to reduce oxides of Yb and Lu with hydrogen in the presence of platinum at View the MathML source. The equilibrium chemical potential of oxygen corresponding to the reduction of Yb2O3 and Lu2O3 by hydrogen in the presence of platinum is presented in the form of an Ellingham diagram.

Band alignment studies in InN/p-Si(100) heterojunctions by x-ray photoelectron spectroscopy

The band offsets in InN/p-Si heterojunctions are determined by high resolution x-ray photoemission spectroscopy. The valence band of InN is found to be 1.39 eV below that of Si. Given the bandgap of 0.7 eV for InN, a type-III heterojunction with a conduction band offset of 1.81 eV was found. Agreement between the simulated and experimental data obtained from the heterojunction spectra was found to be excellent, establishing that the method of determination was accurate. The charge neutrality level (CNL) model provided a reasonable description of the band alignment of the InN/p-Si interface and a change in the interface dipole by 0.06 eV was observed for InN/p-Si interface.

Softening and dynamic recrystallization in magnesium single crystals during c-axis compression

Commercial purity (99.8%) magnesium single crystals were subjected to plane strain compression (PSC) along the c-axis at 200 and 370 degrees C and a constant strain rate of 10(-3) s(-1). Extension was confined to the < 1 1 (2) over bar 0 > direction and the specimens were strained up to a logarithmic true strain of -1. The initial rapid increase in flow stress was followed by significant work softening at different stresses and comparable strains of about -0.05 related to macroscopic twinning events. The microstructure of the specimen after PSC at 200 degrees C was characterized by a high density of {1 0 (1) over bar 1} and {1 0 (1) over bar 3} compression twins, some of which were recrystallized. After PSC at 370 degrees C, completely recrystallized twin bands were the major feature of the observed microstructure. All new grains in these bands retained the same c-axis orientation of their compression twin hosts. The basal plane in these grains was randomly rotated around the c-axis, forming a fiber texture component. The obtained results are discussed with respect to the mechanism of recrystallization, the specific character of the boundaries between new grains and the initial matrix, and the importance of the dynamically recrystallized bands for strain accommodation in these deformed magnesium single crystals. (C) 2011 Acta Materialia Inc. Published by Elsevier Ltd. All rights reserved.

An Overview of Homogenization

Homogenization of partial differential equations is relatively a new area and has tremendous applications in various branches of engineering sciences like: material science,porous media, study of vibrations of thin structures, composite materials to name a few. Though the material scientists and others had reasonable idea about the homogenization process, it was lacking a good mathematical theory till early seventies. The first proper mathematical procedure was developed in the seventies and later in the last 30 years or so it has flourished in various ways both application wise and mathematically. This is not a full survey article and on the other hand we will not be concentrating on a specialized problem. Indeed, we do indicate certain specialized problems of our interest without much details and that is not the main theme of the article. I plan to give an introductory presentation with the aim of catering to a wider audience. We go through few examples to understand homogenization procedure in a general perspective together with applications. We also present various mathematical techniques available and if possible some details about some of the techniques. A possible definition of homogenization would be that it is a process of understanding a heterogeneous (in-homogeneous) media, where the heterogeneties are at the microscopic level, like in composite materials, by a homogeneous media. In other words, one would like to obtain a homogeneous description of a highly oscillating in-homogeneous media. We also present other generalizations to non linear problems, porous media and so on. Finally, we will like to see a closely related issue of optimal bounds which itself is an independent area of research.

Null Dereference Verification via Over-approximated Weakest Pre-conditions Analysis

Null dereferences are a bane of programming in languages such as Java. In this paper we propose a sound, demand-driven, inter-procedurally context-sensitive dataflow analysis technique to verify a given dereference as safe or potentially unsafe. Our analysis uses an abstract lattice of formulas to find a pre-condition at the entry of the program such that a null-dereference can occur only if the initial state of the program satisfies this pre-condition. We use a simplified domain of formulas, abstracting out integer arithmetic, as well as unbounded access paths due to recursive data structures. For the sake of precision we model aliasing relationships explicitly in our abstract lattice, enable strong updates, and use a limited notion of path sensitivity. For the sake of scalability we prune formulas continually as they get propagated, reducing to true conjuncts that are less likely to be useful in validating or invalidating the formula. We have implemented our approach, and present an evaluation of it on a set of ten real Java programs. Our results show that the set of design features we have incorporated enable the analysis to (a) explore long, inter-procedural paths to verify each dereference, with (b) reasonable accuracy, and (c) very quick response time per dereference, making it suitable for use in desktop development environments.

Microstructure and mechanical properties of squeeze-cast copper

Demand for cost-effective manufacturing techniques led to the development of near-net-shape processes. Squeeze casting is one such established effort. This process enjoys the combined merits of casting and forging. Squeeze casting imparts soundness comparable to that of wrought products while maintaining isotropic nature. Aluminum alloys and zinc alloys have been successfully processed through squeeze casting, but copper and copper alloys do not seem to have been attempted. Considering the capability of squeeze casting process, it is reasonable to expect properties different from that of conventionally cast copper. This paper presents the details of a systematic investigation wherein optimum process parameters for the squeeze casting of pure copper were established. Microstructure of squeeze-cast copper has been found to be significantly different from that of conventionally cast copper, and the dendrite arm spacing is much smaller. In addition to the room temperature mechanical properties, elevated temperature properties of copper are also appreciably improved by squeeze casting.

Study on the structure and vibrational spectra of efavirenz conformers using DFT: Comparison to experimental data

Efavirenz, (S)-6-chloro-4-(cyclopropylethynyl)-1,4-dihydro-4-(trifluoromethyl)-2H-3 ,1-benzoxazin-2-one, is an anti HIV agent belonging to the class of the non-nucleoside inhibitors of the HIV-1 virus reverse transcriptase. A systematic quantum chemical study of the possible conformations, their relative stabilities and vibrational spectra of efavirenz has been reported. Structural and spectral characteristics of efavirenz have been studied by vibrational spectroscopy and quantum chemical methods. Density functional theory (DFT) calculations for potential energy curve, optimized geometries and vibrational spectra have been carried out using 6-311++G(d,p) basis sets and B3LYP functionals. Based on these results, we have discussed the correlation between the vibrational modes and the crystalline structure of the most stable form of efavirenz. A complete analysis of the experimental infrared and Raman spectra has been reported on the basis of wavenumber of the vibrational bands and potential energy distribution. The infrared and the Raman spectra of the molecule based on OFT calculations show reasonable agreement with the experimental results. The calculated HOMO and LUMO energies shows that charge transfer occur within the molecule. (C) 2011 Elsevier B.V. All rights reserved.

Andaman Postseismic Deformation Observations: Still Slipping after All These Years?

More than six years after the great (M-w 9.2) Sumatra-Andaman earthquake, postevent processes responsible for relaxation of the coseismic stress change remain controversial. Modeling of Andaman Islands Global Positioning System (GPS) displacements indicated early near-field motions were dominated by slip down-dip of the rupture, but various researchers ascribe elements of relaxation to dominantly poroelastic, dominantly viscoelastic, and dominantly fault slip processes, depending primarily on their measurement sampling and modeling tools used. After subtracting a pre-2004 interseismic velocity, significant transient motion during the 2008.5-2010.5 epoch confirms that postseismic relaxation processes continue in Andaman. Modeling three-component velocities as viscoelastic flow yields a weighted root-mean-square (wrms) misfit that always exceeds the wrms of the measured signal (26.3 mm/yr). The best-fitting models are those that yield negligible deformation, indicating the model parameters have no real physical meaning. GPS velocities are well fit (wrms 4.0 mm/yr) by combining a viscoelastic flow model that best fits the horizontal velocities with similar to 50 cm/yr thrust slip down-dip of the coseismic rupture. Both deep slip and flow respond to stress changes, and each can significantly change stress in the realm of the other; it therefore is reasonable to expect that both transient deep slip and viscoelastic flow will influence surface deformation long after a great earthquake.

Coordination-Driven Self-Assembly of 2D-Metallamacrocycles Using a New Carbazole-Based Dipyridyl Donor: Synthesis, Characterization, and C-60 Binding Study

A new carbazole-based 90 degrees dipyridyl donor 3,6-di(4-pyridylethynyl)carbazole (L) containing carbazole-ethynyl functionality is synthesized in reasonable yield using the Sonagashira coupling reaction. Multinuclear NMR, electrospray ionization-mass spectrometry (ESI-MS), including single crystal X-ray diffraction analysis characterized this 90 degrees building unit. The stoichiometry combination of L with several Pd(II)/Pt(II)-based 90 degrees acceptors (1a-1d) yielded 2 + 2] self-assembled metallacycles (2a-2d) under mild conditions in quantitative yields 1a = cis-(dppf)Pd(OTf)(2); 1b = cis-(dppf)Pt(OTf)(2); 1c = cis-(tmen)Pd(NO3)(2); 1d = 3,6-bis{trans-Pt(C C) (PEt3)(2)(NO3))carbazole]. All these macrocycles were characterized by various spectroscopic techniques, and the molecular structure of 2a was unambiguously determined by single crystal X-ray diffraction analysis. Incorporation of ethynyl functionality to the carbazole backbone causes the resulted macrocycles (2a-2d) to be pi-electron rich and thereby exhibit strong emission characteristics. The macrocycle 2a has a large internal concave aromatic surface. The fluorescence quenching study suggests that 2a forms a similar to 1:1 complex with C-60 with a high association constant of K-sv = 1.0 X 10(5) M-1.

Scheduling identical parallel machines with machine eligibility restrictions to minimize total weighted flowtime in automobile gear manufacturing

In this paper, we address a scheduling problem for minimizing total weighted flowtime, observed in automobile gear manufacturing. Specifically, the bottleneck operation of the pre-heat treatment stage of gear manufacturing process has been dealt with in scheduling. Many real-life scenarios like unequal release times, sequence dependent setup times, and machine eligibility restrictions have been considered. A mathematical model taking into account dynamic starting conditions has been proposed. The problem is derived to be NP-hard. To approach the problem, a few heuristic algorithms have been proposed. Based on planned computational experiments, the performance of the proposed heuristic algorithms is evaluated: (a) in comparison with optimal solution for small-size problem instances and (b) in comparison with the estimated optimal solution for large-size problem instances. Extensive computational analyses reveal that the proposed heuristic algorithms are capable of consistently yielding near-statistically estimated optimal solutions in a reasonable computational time.