Models for spin-state transitions in solids

The model for spin-state transitions described by Bari and Sivardiere (1972) is static and can be solved exactly even when the dynamics of the lattice are included; the dynamic model does not, however, show any phase transition. A coupling between the octahedra, on the other hand, leads to a phase transition in the dynamical two-sublattice displacement model. A coupling of the spin states to the cube of the sublattice displacement leads to a first-order phase transition. The most reasonable model appears to be a two-phonon model in which an ion-cage mode mixes the spin states, while a breathing mode couples to the spin states without mixing. This model explains the non-zero population of high-spin states at low temperatures, temperature-dependent variations in the inverse susceptibility and the spin-state population ratio, as well as the structural phase transitions accompanying spin-state transitions found in some systems.

Kinetic studies on the interaction of gold(III) with nucleic acids. I. Native DNA-Au(III) system-spectrophotometric studies

Kinetics of the interaction of Au(III) with native calf thymus DNA has been studied spectrophotometrically to determine the kinetic parameters and to examine their dependency on the concentrations of DNA and Au(III), temperature, ionic strength and pH. The reaction is of the first order with respect to both the nucleotide unit of DNA and Au(III) in the stoichiometry of 2∶1 respectively. The rate constants vary with the initial ratio of DNA to Au(III) and is attributed to the effect of free chloride ions and the existence of a number of reaction sites with slight difference in the rate constants. The activation energies of this interaction have been found to be 14–16 kcal/mol. From the effect of ionic strength the reaction is found to occur between a positive and a negative ion in the rate-limiting step. The logarithm of rate constants are the linear function of pH and the slopes are dependent on ther-values. A plausible mechanism has been proposed which involves a primary dissociation of the major existing species (AuCl2(OH)2)−, to give (AuCl2)+ which then reacts with a site in the nucleotide unit of DNA in the rate-liminting step followed by a rapid binding to another site on the complementary strand of the DNA double helix. There exist a number of binding sites with slight difference in reactivity.

Playing Games on Sets and Models

The most prominent objective of the thesis is the development of the generalized descriptive set theory, as we call it. There, we study the space of all functions from a fixed uncountable cardinal to itself, or to a finite set of size two. These correspond to generalized notions of the universal Baire space (functions from natural numbers to themselves with the product topology) and the Cantor space (functions from natural numbers to the {0,1}-set) respectively. We generalize the notion of Borel sets in three different ways and study the corresponding Borel structures with the aims of generalizing classical theorems of descriptive set theory or providing counter examples. In particular we are interested in equivalence relations on these spaces and their Borel reducibility to each other. The last chapter shows, using game-theoretic techniques, that the order of Borel equivalence relations under Borel reduciblity has very high complexity. The techniques in the above described set theoretical side of the thesis include forcing, general topological notions such as meager sets and combinatorial games of infinite length. By coding uncountable models to functions, we are able to apply the understanding of the generalized descriptive set theory to the model theory of uncountable models. The links between the theorems of model theory (including Shelah's classification theory) and the theorems in pure set theory are provided using game theoretic techniques from Ehrenfeucht-Fraïssé games in model theory to cub-games in set theory. The bottom line of the research declairs that the descriptive (set theoretic) complexity of an isomorphism relation of a first-order definable model class goes in synch with the stability theoretical complexity of the corresponding first-order theory. The first chapter of the thesis has slightly different focus and is purely concerned with a certain modification of the well known Ehrenfeucht-Fraïssé games. There we (me and my supervisor Tapani Hyttinen) answer some natural questions about that game mainly concerning determinacy and its relation to the standard EF-game

Development of a structured program for conversion to prenex normal form

The method of structured programming or program development using a top-down, stepwise refinement technique provides a systematic approach for the development of programs of considerable complexity. The aim of this paper is to present the philosophy of structured programming through a case study of a nonnumeric programming task. The problem of converting a well-formed formula in first-order logic into prenex normal form is considered. The program has been coded in the programming language PASCAL and implemented on a DEC-10 system. The program has about 500 lines of code and comprises 11 procedures.

Structure, dielectric, and magnetic properties of Sr2TiMnO6 ceramics

Sr2TiMnO6, a double perovskite associated with high degree of B-site cation disorder was investigated in detail for its structural, magnetic, and dielectric properties. Though x-ray powder diffraction analysis confirms its cubic structure, first order Raman scattering and infrared reflectivity spectra indicate a breaking of the local cubic symmetry. The magnetization study reveals an anomaly at 14 K owing to a ferrimagnetic/canted antiferromagneticlike ordering arising from local Mn-O-Mn clusters. Saturated M-H hysteresis loops obtained at 5 K also reflect the weak ferromagnetic exchange interactions present in the system and an approximate estimation of Mn3+/Mn4+ was done using the magnetization data for the samples sintered at different temperatures. The conductivity and dielectric behavior of this system has been investigated in a broad temperature range of 10 to 300 K. Intrinsic permittivity was obtained only below 100 K whereas giant permittivity due to conductivity and Maxwell-Wagner polarization was observed at higher temperatures. X-ray photoemission studies further confirmed the presence of mixed oxidation states of Mn and the valence band spectra analysis was carried out in detail. (C) 2010 American Institute of Physics. doi: 10.1063/1.3500369]

Development of a New Finite Element for the Analysis of Sandwich Beams with Soft Core

A new super convergent sandwich beam finite element formulation is presented in this article. This element is a two-nodded, six degrees of freedom (dof) per node (3 dof u(0), w, phi for top and bottom face sheets each), which assumes that all the axial and flexural loads are taken by face sheets, while the core takes only the shear loads. The beam element is formulated based on first-order shear deformation theory for the face sheets and the core displacements are assumed to vary linearly across the thickness. A number of numerical experiments involving static, free vibration, and wave propagation analysis examples are solved with an aim to show the super convergent property of the formulated element. The examples presented in this article consider both metallic and composite face sheets. The formulated element is verified in most cases with the results available in the published literature.

Temperature dependent free energy surface of polymer folding from equilibrium and quench studies

Langevin dynamics simulation studies have been employed to calculate the temperature dependent free energy surface and folding characteristics of a 500 monomer long linear alkane (polyethylene) chain with a realistic interaction potential. Both equilibrium and temperature quench simulation studies have been carried out. Using the shape anisotropy parameter (S) of the folded molecule as the order parameter, we find a weakly first order phase transition between the high-temperature molten globule and low-temperature rodlike crystalline states separated by a small barrier of the order of k(B)T. Near the melting temperature (580 K), we observe an intriguing intermittent fluctuation with pronounced ``1/f noise characteristics'' between these two states with large difference in shape and structure. We have also studied the possibilities of different pathways of folding to states much below the melting point. At 300 K starting from the all-trans linear configuration, the chain folds stepwise into a very regular fourfold crystallite with very high shape anisotropy. Whereas, when quenched from a high temperature (900 K) random coil regime, we identify a two step transition from the random coiled state to a molten globulelike state and, further, to a anisotropic rodlike state. The trajectory reveals an interesting coupling between the two order parameters, namely, radius of gyration (R-g) and the shape anisotropy parameter (S). The rodlike final state of the quench trajectory is characterized by lower shape anisotropy parameter and significantly larger number of gauche defects as compared to the final state obtained through equilibrium simulation starting from all-trans linear chain. The quench study shows indication of a nucleationlike pathway from the molten globule to the rodlike state involving an underlying rugged energy landscape. (C) 2010 American Institute of Physics. doi:10.1063/1.3509398]

A new approach to the kinetics of size reduction in ball milling

The rate of breakage of feed in ball milling is usually represented in the form of a first-order rate equation. The equation was developed by treating a simple batch test mill as a well mixed reactor. Several case of deviation from the rule have been reported in the literature. This is attributed to the fact that accumulated fines interfere with the feed material and breaking events are masked by these fines. In the present paper, a new rate equation is proposed which takes into account the retarding effect of fines during milling. For this purpose the analogy of diffusion of ions through permeable membranes is adopted, with suitable modifications. The validity of the model is cross checked with the data obtained in batch grinding of ?850/+600 ?m size quartz. The proposed equation enables calculation of the rate of breakage of the feed at any instant of time.

Effect of uncertainty on helicopter performance predictions

The effect of uncertainties on performance predictions of a helicopter is studied in this article. The aeroelastic parameters such as the air density, blade profile drag coefficient, main rotor angular velocity, main rotor radius, and blade chord are considered as uncertain variables. The propagation of these uncertainties in the performance parameters such as thrust coefficient, figure of merit, induced velocity, and power required are studied using Monte Carlo simulation and the first-order reliability method. The Rankine-Froude momentum theory is used for performance prediction in hover, axial climb, and forward flight. The propagation of uncertainty causes large deviations from the baseline deterministic predictions, which undoubtedly affect both the achievable performance and the safety of the helicopter. The numerical results in this article provide useful bounds on helicopter power requirements.

Dye sensitized visible light degradation of phenolic compounds

The present research work reports the eosin Y (EY) and fluorescein (FL) sensitized visible light degradation of phenol, 4-chlorophenol (CP), 2,4-dichlorophenol (DCP) and 2,4,6-trichlorophenol (TCP) using combustion synthesized nano-TiO2 (CS TiO2). The rate of degradation of the phenolic compounds was higher in the presence of EY/CS TiO2 compared to FL/CS TiO2 system. A detailed mechanism of sensitized degradation was proposed and a mechanistic model for the rate of degradation of the phenolic compound was derived using the pyramidal network reduction technique. It was found that at low initial dye concentrations, the rate of degradation of the phenolic compound is first order in the concentration of the dye, while at high initial dye concentrations, the rate is first order in the concentration of the phenolic compound. The order of degradation of the different phenolic compounds follows: CP > TCP > DCP > phenol. The different phenolic and dye intermediates that were formed during the degradation were identified by liquid chromatography-mass spectrometry (LC-MS) and the most probable pathway of degradation is proposed. (C) 2010 Elsevier B.V. All rights reserved.

E. C. G. Sudarshan and Symmetry in Classical Dynamics, Optics and Quantum Mechanics

We review work initiated and inspired by Sudarshan in relativistic dynamics, beam optics, partial coherence theory, Wigner distribution methods, multimode quantum optical squeezing, and geometric phases. The 1963 No Interaction Theorem using Dirac's instant form and particle World Line Conditions is recalled. Later attempts to overcome this result exploiting constrained Hamiltonian theory, reformulation of the World Line Conditions and extending Dirac's formalism, are reviewed. Dirac's front form leads to a formulation of Fourier Optics for the Maxwell field, determining the actions of First Order Systems (corresponding to matrices of Sp(2,R) and Sp(4,R)) on polarization in a consistent manner. These groups also help characterize properties and propagation of partially coherent Gaussian Schell Model beams, leading to invariant quality parameters and the new Twist phase. The higher dimensional groups Sp(2n,R) appear in the theory of Wigner distributions and in quantum optics. Elegant criteria for a Gaussian phase space function to be a Wigner distribution, expressions for multimode uncertainty principles and squeezing are described. In geometric phase theory we highlight the use of invariance properties that lead to a kinematical formulation and the important role of Bargmann invariants. Special features of these phases arising from unitary Lie group representations, and a new formulation based on the idea of Null Phase Curves, are presented.

Automatic verification of distributed logic specifications

Formal specification is vital to the development of distributed real-time systems as these systems are inherently complex and safety-critical. It is widely acknowledged that formal specification and automatic analysis of specifications can significantly increase system reliability. Although a number of specification techniques for real-time systems have been reported in the literature, most of these formalisms do not adequately address to the constraints that the aspects of 'distribution' and 'real-time' impose on specifications. Further, an automatic verification tool is necessary to reduce human errors in the reasoning process. In this regard, this paper is an attempt towards the development of a novel executable specification language for distributed real-time systems. First, we give a precise characterization of the syntax and semantics of DL. Subsequently, we discuss the problems of model checking, automatic verification of satisfiability of DL specifications, and testing conformance of event traces with DL specifications. Effective solutions to these problems are presented as extensions to the classical first-order tableau algorithm. The use of the proposed framework is illustrated by specifying a sample problem.

Hydrodynamics of R-charged D1-branes

We study the hydrodynamic properties of strongly coupled SU(N) Yang-Mills theory of the D1-brane at finite temperature and at a non-zero density of R-charge in the framework of gauge/gravity duality. The gravity dual description involves a charged black hole solution of an Einstein-Maxwell-dilaton system in 3 dimensions which is obtained by a consistent truncation of the spinning D1-brane in 10 dimensions. We evaluate thermal and electrical conductivity as well as the bulk viscosity as a function of the chemical potential conjugate to the R-charges of the D1-brane. We show that the ratio of bulk viscosity to entropy density is independent of the chemical potential and is equal to 1/4 pi. The thermal conductivity and bulk viscosity obey a relationship similar to the Wiedemann-Franz law. We show that at the boundary of thermodynamic stability, the charge diffusion mode becomes unstable and the transport coefficients exhibit critical behaviour. Our method for evaluating the transport coefficients relies on expressing the second order differential equations in terms of a first order equation which dictates the radial evolution of the transport coefficient. The radial evolution equations can be solved exactly for the transport coefficients of our interest. We observe that transport coefficients of the D1-brane theory are related to that of the M2-brane by an overall proportionality constant which sets the dimensions.

Study Of Acoustic Source Localization Algorithm For Planar Arrays

The source localization algorithms in the earlier works, mostly used non-planar arrays. If we consider scenarios like human-computer communication, or human-television communication where the microphones need to be placed on the computer monitor or television front panel, i.e we need to use the planar arrays. The algorithm proposed in 1], is a Linear Closed Form source localization algorithm (LCF algorithm) which is based on Time Difference of Arrivals (TDOAs) that are obtained from the data collected using the microphones. It assumes non-planar arrays. The LCF algorithm is applied to planar arrays in the current work. The relationship between the error in the source location estimate and the perturbation in the TDOAs is derived using first order perturbation analysis and validated using simulations. If the TDOAs are erroneous, both the coefficient matrix and the data matrix used for obtaining source location will be perturbed. So, the Total least squares solution for source localization is proposed in the current work. The sensitivity analysis of the source localization algorithm for planar arrays and non-planar arrays is done by introducing perturbation in the TDOAs and the microphone locations. It is shown that the error in the source location estimate is less when we use planar array instead of the particular non-planar array considered for same perturbation in the TDOAs or microphone location. The location of the reference microphone is proved to be important for getting an accurate source location estimate if we are using the LCF algorithm.

Free vibration analysis Of stochastic strings

The free vibration of strings with randomly varying mass and stiffness is considered. The joint probability density functions of the eigenvalues and eigenfunctions are characterized in terms of the solution of a pair of stochastic non-linear initial value problems. Analytical solutions of these equations based on the method of stochastic averaging are obtained. The effects of the mean and autocorrelation of the mass process are included in the analysis. Numerical results for the marginal probability density functions of eigenvalues and eigenfunctions are obtained and are found to compare well with Monte Carlo simulation results. The random eigenvalues, when normalized with respect to their corresponding deterministic values, are observed to tend to become first order stochastically stationary with respect to the mode count.