A functional style of programming with CSP-like communication mechanisms

This paper introduces CSP-like communication mechanisms into Backus’ Functional Programming (FP) systems extended by nondeterministic constructs. Several new functionals are used to describe nondeterminism and communication in programs. The functionals union and restriction are introduced into FP systems to develop a simple algebra of programs with nondeterminism. The behaviour of other functionals proposed in this paper are characterized by the properties of union and restriction. The axiomatic semantics of communication constructs are presented. Examples show that it is possible to reason about a communicating program by first transforming it into a non-communicating program by using the axioms of communication, and then reasoning about the resulting non-communicating version of the program. It is also shown that communicating programs can be developed from non-communicating programs given as specifications by using a transformational approach.

Study of stress Relief Patterns In Diamond-Like Carbon-Films

An optical microscopy study of stress relief patterns in diamondlike carbon films is presented. Interesting stress relief patterns are observed which include the well known sinusoidal type, branching pattern and string of beads pattern. The last one is shown to relieve stresses under marginal conditions. Two new stress relief patterns are noted in the present study. One of them is of a sinusoidal shape with two extra branches at every peak position. The distribution of different stress relief forms from the outer edge of the films towards the interior is markedly dependent on film thickness. Our new patterns support the approach in which the stress relief forms have been analysed earlier using the theory of plate buckling.

Nature of Cl center dot center dot center dot Cl Intermolecular Interactions via Experimental and Theoretical Charge Density Analysis:Correlation of Polar Flattening Effects with Geometry

The experimental charge density distribution in three compounds, 2-chloro-3-quinolinyl methanol, 2-chloro-3-hydroxypyridine, and 2-chloro-3-chloromethyl-8-methylquinoline, has been obtained using high-resolution X-ray diffraction data collected at 100 K based on the aspherical multipole modeling of electron density. These compounds represent type I (cis), type I (trans), and type II geometries, respectively, as defined for short Cl center dot center dot center dot Cl interactions. The experimental results are compared with the theoretical charge densities using theoretical structure factors obtained from a periodic quantum calculation at the B3LYP/6-31G** level. The topological features derived from the Bader's theory of atoms in molecules (AIM) approach unequivocally suggest that both cis and trans type I geometries show decreased repulsion, whereas type II geometry is attractive based on the nature of polar flattening of the electron density around the Cl atom.

Biomass gasification: Environmentally sound technology for decentralized power generation, a case study from India

This study aims at understanding the need for decentralized power generation systems and to explore the potential, feasibility and environmental implications of biomass gasifier-based electricity generation systems for village electrification. Electricity needs of villages are in the range of 5–20 kW depending on the size of the village. Decentralized power generation systems are desirable for low load village situations as the cost of power transmission lines is reduced and transmission and distribution losses are minimised. A biomass gasifier-based electricity generation system is one of the feasible options; the technology is readily available and has already been field tested. To meet the lighting and stationary power needs of 500,000 villages in India the land required is only 16 Mha compared to over 100 Mha of degraded land available for tree planting. In fact all the 95 Mt of woody biomass required for gasification could be obtained through biomass conservation programmes such as biogas and improved cook stoves. Thus dedication of land for energy plantations may not be required. A shift to a biomass gasifier-based power generation system leads to local benefits such as village self reliance, local employment and skill generation and promotion of in situ plant diversity plus global benefits like no net CO2 emission (as sustainable biomass harvests are possible) and a reduction in CO2 emissions (when used to substitute thermal power and diesel in irrigation pump sets).

Electronic absorption and emission spectroscopic investigations of the interaction of the fullerenes, C60 and C70, with amines and aromatic molecules

Electronic absorption spectroscopy and fluorescence spectroscopy have been used to investigate the interaction of the fullerenes C60 and C70 with diethylaniline, and with aromatic solvents such as benzene. C60 interacts weakly with aromatic amines in the ground state while C70 does not interact at all. Steady state fluorescence emission and lifetime measurements show that both C60 and C70 form excited state complexes (exciplexes) with the amines in non-aromatic solvents such as methylcyclohexane, but not in benzene. In benzene, only fluorescence quenching is observed due to the interaction between the π systems of the aromatic solvent and the fullerene in the ground state. This is also borne out by the systematic study of solvent effects on the absorption and emission spectra of the fullerenes.

Pulsed NMR study of molecular motions and phase transitions in [N(CH3)4]PbX3 (X=Cl, Br, I)

Proton spin—lattice relaxation time (T1) is measured in [N(CH3)4]PbX3 (X=Cl, Br, I) from 300-77 K at 9.75 MHz. All the compounds show discontinuous changes in T1 values (at 256, 270 and 277 K, respectively), indicating phase transitions. Single T1 minimum is observed in all the cases and the T1 variation is explained in terms of [N(CH3)4] and CH3 group dynamics. The activation energy Eα decreases from chloride to iodide (from 4 to 2 kcal/mol). In bromide and iodide, T1 is found to decrease with increase in temperature at higher temperatures, indicating the presence of spin—rotation interaction.

Phenomenological Ginzburg-Landau-like theory for superconductivity in the cuprates

We propose and develop here a phenomenological Ginzburg-Landau-like theory of cuprate high-temperature superconductivity. The free energy of a cuprate superconductor is expressed as a functional F of the complex spin-singlet pair amplitude psi(ij) equivalent to psi(m) = Delta(m) exp(i phi(m)), where i and j are nearest-neighbor sites of the square planar Cu lattice in which the superconductivity is believed to primarily reside, and m labels the site located at the center of the bond between i and j. The system is modeled as a weakly coupled stack of such planes. We hypothesize a simple form FDelta, phi] = Sigma(m)A Delta(2)(m) + (B/2)Delta(4)(m)] + C Sigma(< mn >) Delta(m) Delta(n) cos(phi(m) - phi(n)) for the functional, where m and n are nearest-neighbor sites on the bond-center lattice. This form is analogous to the original continuum Ginzburg-Landau free-energy functional; the coefficients A, B, and C are determined from comparison with experiments. A combination of analytic approximations, numerical minimization, and Monte Carlo simulations is used to work out a number of consequences of the proposed functional for specific choices of A, B, and C as functions of hole density x and temperature T. There can be a rapid crossover of from small to large values as A changes sign from positive to negative on lowering T; this crossover temperature T-ms(x) is identified with the observed pseudogap temperature T*(x). The thermodynamic superconducting phase-coherence transition occurs at a lower temperature T-c(x), and describes superconductivity with d-wave symmetry for positive C. The calculated T-c(x) curve has the observed parabolic shape. The results for the superfluid density rho(s)(x, T), the local gap magnitude , the specific heat C-v(x, T) (with and without a magnetic field), as well as vortex properties, all obtained using the proposed functional, are compared successfully with experiments. We also obtain the electron spectral density as influenced by the coupling between the electrons and the correlation function of the pair amplitude calculated from the functional, and compare the results successfully with the electronic spectrum measured through angle resolved photoemission spectroscopy (ARPES). For the specific heat, vortex structure, and electron spectral density, only some of the final results are reported here; the details are presented in subsequent papers.

Growth temperature induced effects in non-polar a-plane GaN on r-plane sapphire substrate by RF-MBE

Non-polar a-plane GaN films were grown on an r-plane sapphire substrate by plasma assisted molecular beam epitaxy (PAMBE). The effect of growth temperature on structural, morphological and optical properties has been studied. The growth of non-polar a-plane (1 1 - 2 0) orientation of the GaN epilayers were confirmed by high resolution X-ray diffraction (HRXRD) study. The X-ray rocking curve (XRC) full width at half maximum of the (1 1 - 2 0) reflection shows in-plane anisotropic behavior and found to decrease with increase in growth temperature. The atomic force micrograph (AFM) shows island-like growth for the film grown at a lower temperature. Surface roughness has been decreased with increase in growth temperature. Room temperature photoluminescence shows near band edge emission at 3.434-3.442 eV. The film grown at 800 degrees C shows emission at 2.2 eV, which is attributed to yellow luminescence along with near band edge emission. (C) 2010 Elsevier B.V. All rights reserved.

Improved mechanical properties of polymer nanocomposites incorporating graphene-like BN: Dependence on the number of BN layers

The mechanical properties of composites of polymethylmethacrylate (PMMA) with two-dimensional graphene-like boron nitride (BN) have been investigated to explore the dependence of the properties on the number of BN layers. This study demonstrates that significantly improved mechanical properties are exhibited by the composite with the fewest number of BN layers. Thus, with incorporation of three BN layers, the hardness and elastic modulus of the composite showed an increase of 125% and 130%, respectively, relative to pure PMMA. (C) 2010 Acta Materialia Inc. Published by Elsevier Ltd. All rights reserved.

Recognition of Polycyclic Aromatic Hydrocarbons and Their Derivatives by the 1,3-Dinaphthalimide Conjugate of Calix4]arene: Emission, Absorption, Crystal Structures, and Computational Studies

Polycyclic aromatic hydrocarbons (PAHs) are environmental pollutants as well as well-known carcinogens. Therefore, it is important to develop an effective receptor for the detection and quantification of such molecules in solution. In view of this, a 1,3-dinaphthalimide derivative of calix4]arene (L) has been synthesized and characterized, and the structure has been established by single crystal XRD. In the crystal lattice, intermolecular arm-to-arm pi center dot center dot center dot pi overlap dominates and thus L becomes a promising receptor for providing interactions with the aromatic species in solution, which can be monitored by following the changes that occur in its fluorescence and absorption spectra. On the basis of the solution studies carried out with about 17 derivatives of the aromatic guest molecular systems, it may be concluded that the changes that occur in the fluorescence intensity seem to be proportional to the number of aromatic rings present and thus proportional to the extent of pi center dot center dot center dot pi interaction present between the naphthalimide moieties and the aromatic portion of the guest molecule. Though the nonaromatic portion of the guest species affects the fluorescence quenching, the trend is still based on the number of rings present in these. Four guest aldehydes are bound to L with K-ass of 2000-6000 M-1 and their minimum detection limit is in the range of 8-35 mu M. The crystal structure of a naphthaldehyde complex, L.2b, exhibits intermolecular arm-to-arm as well as arm-to-naphthaldehyde pi center dot center dot center dot pi interactions. Molecular dynamics studies of L carried out in the presence of aromatic aldehydes under vacuum as well as in acetonitrile resulted in exhibiting interactions observed in the solid state and hence the changes observed in the fluorescence and absorption spectra are attributable for such interactions. Complex formation has also been delineated through ESI MS studies. Thus L is a promising receptor that can recognize PAHs by providing spectral changes proportional to the aromatic conjugation of the guest and the extent of aromatic pi center dot center dot center dot pi interactions present between L and the guest.

Multiscale Modeling Approach to Acoustic Emission during Plastic Deformation

We address the long-standing problem of the origin of acoustic emission commonly observed during plastic deformation. We propose a framework to deal with the widely separated time scales of collective dislocation dynamics and elastic degrees of freedom to explain the nature of acoustic emission observed during the Portevin-Le Chatelier effect. The Ananthakrishna model is used as it explains most generic features of the phenomenon. Our results show that while acoustic emission bursts correlated with stress drops are well separated for the type C serrations, these bursts merge to form nearly continuous acoustic signals with overriding bursts for the propagating type A bands.

Defects induced enhancement of Eu3+Emission in yttria (Y2O3:Eu3+)

Bixbyite type Y2O3:Eu3+ apart from being the efficient red phosphor extensively used in trichromatic fluorescent lamps, it is a typical system one can apply Jorgensen's refined electron spin pairing theory. This can be used to explain the enhancement in Eu3+ emission intensity observed with the aliovalent substitution in the yttria host matrix. Results based on these are explained qualitatively by considering a simple configurational coordinate model. Futhermore, an insight into the different types of defects induced with the aliovalent substitution in the yttria lattice has become possible with EPR probe.

Diamond-like carbon coating for optical windows

Hard, low stress diamond-like carbon films have been deposited by plasma assisted chemical vapour deposition technique, The various substrates include soft IR components like ZnS and ZnSe windows, Gaseous precursors such as propene, ethyl alcohol and acetone have been used to synthesize the films to study the nature of precursors in determining the film compatibility with the underlying component (substrate), The residual compressive stresses, the Young's modulus and the adhesion energy of the films have been estimated to be 10(10) dynes/cm(2), 10(10) N/m(2) and 1000 ergs/cm(2) respectively. To alleviate film failure, a study on the effects of additive gases such as hydrogen and the use of buffer layers such as ZrO2, has been undertaken, The diamond-like carbon films produced here are hard (5000 kg/mm(2)), specularly smooth in the wavelength region from 2.5 mu m to 20 mu m, with no microstructural features and have excellent adhesion on ZnS and ZnSe windows. The figure of merit of these films for aero-space applications has been evaluated by subjecting the film-buffer layer ZnS or ZnSe composite stack to wind, dust and rain erosion studies and by establishing the integrity of the specular IR transmittance of the stack upto 16 or 20 mu m as the case may be.