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.

Synthesis and characterization of spherical and rod like nanocrystalline Nd2O3 phosphors

Spherical and rod like nanocrystalline Nd2O3 phosphors have been prepared by solution combustion and hydrothermal methods respectively The Powder X-ray diffraction (PXRD) results confirm that hexagonal A-type Nd2O3 has been obtained with calcination at 900 C for 3 h and the lattice parameters have been evaluated by Rietveld refinement Surface morphology of Nd2O3 phosphors show the formation of nanorods in hydrothermal synthesis whereas spherical particles in combustion method TEM results also confirm the same Raman studies show major peaks which are assigned to F-g and combination of A(g) + E-g modes The PL spectrum shows a series of emission bands at similar to 326-373 nm (UV) 421-485 nm (blue) 529-542 nm (green) and 622 nm (red) The UV blue green and red emission in the PL spectrum indicates that Nd2O3 nanocrystals are promising for high performance materials and white light emitting diodes (LEDs) (C) 2010 Elsevier B V All rights reserved

Casting and heat treatment variables of Al–7Si–Mg alloy

A review of the research work that has been carried out thus far relating the casting and heat treatment variables to the structure and mechanical properties of Al–7Si–Mg (wt-%) is presented here. Although specifications recommend a wide range of magnesium contents and a fairly high content of iron, a narrow range of magnesium contents, closer to either the upper or lower specified limits depending on the properties desired, and a low iron content will have to be maintained to obtain optimum and consistent mechanical properties. A few studies have revealed that the modification of eutectic silicon slightly increases ductility and fracture toughness and also that the effect of modification is predominant at low iron content. Generally, higher solidification rates give superior mechanical properties. Delayed aging (the time elapsed between quenching and artificial aging during precipitation hardening) severely affects the strength of the alloy. The mechanism of delayed aging can be explained on the basis of Pashley's kinetic model. It has been reported that certain trace additions (cadmium, indium, tin, etc.) neutralise the detrimental effect of delayed aging. In particular, it should be noted that delayed aging is not mentioned in any of the specifications. With reference to the mechanism by which trace additions neutralise the detrimental effect of delayed aging, various hypotheses have been postulated, of which impurity–vacancy interaction appears to be the most widely accepted.

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.

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.

Patent Price Dynamics in the Context of Patent Age and Patent Latent Variables

The decision to patent a technology is a difficult one to make for the top management of any organization. The expected value that the patent might deliver in the market is an important factor that impacts this judgement. Earlier researchers have suggested that patent prices are better indicators of value of a patent and that auction prices are the best way of determining value. However, the lack of public data on pricing has prevented research on understanding the dynamics of patent pricing. Our paper uses singleton patent auction price data of Ocean Tomo LLC to study the prices of patents. We describe price characteristics of these patents. The price of these patents was correlated with their age, and a significant correlation was found. A price - age matrix was developed and we describe the price characteristics of patents using four quadrants of the matrix, namely young and old patents with low and high prices. We also found that patents owned by small firms get transacted more often and inventor owned patents attracted a better price than assignee owned patents.

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.

Cardiac remodeling in Drosophila arises from changes in actin gene expression and from a contribution of lymph gland-like cells to the heart musculature

Understanding the basis of normal heart remodeling can provide insight into the plasticity of the cardiac state, and into the potential for treating diseased tissue. In Drosophila, the adult heart arises during metamorphosis from a series of events, that include the remodeling of an existing cardiac tube, the elaboration of new inflow tracts, and the addition of a layer of longitudinal muscle fibers. We have identified genes active in all these three processes, and studied their expression in order to characterize in greater detail normal cardiac remodeling. Using a Transglutaminase-lacZ transgenic line, that is expressed in the inflow tracts of the larval and adult heart, we confirm the existence of five inflow tracts in the adult structure. In addition, expression of the Actin87E actin gene is initiated in the remodeling cardiac tube, but not in the longitudinal fibers, and we have identified an Act87E promoter fragment that recapitulates this switch in expression. We also establish that the longitudinal fibers are multinucleated, characterizing these cells as specialized skeletal muscles. Furthermore, we have defined the origin of the longitudinal fibers, as a subset of lymph gland cells associated with the larval dorsal vessel. These studies underline the myriad contributors to the formation of the adult Drosophila heart, and provide new molecular insights into the development of this complex organ. (C) 2011 Elsevier Ireland Ltd. All rights reserved.

Synthesis of Cuprates of Perovskite Structure in the Ba-Pb-Cu-O, Ba-Bi-Cu-O, and Ba-Pb-Tl-Cu-O Systems: Possible High Tc Superconductivity in a Perovskite-like Phase in the Ba-Pb-Tl-Cu-O System

Cubic cuprates (a not, vert, similar 18.6 Å) with a BaCuO2-type structure were obtained in the Ba-Pb-Cu-O and Ba-Bi-Cu-O systems by the reaction of the component oxides at a high temperature (1370-1420 K), followed by quenching. By annealing these phases in oxygen at 1070-1120 K, perovskite-like phase (a not, vert, similar 4.3 Å) of the formulae BaPb1-xCuxO3-y and BaBi1-xCuxO3-y (0 < x ? 0.5) were obtained. A perovskite of nominal composition BaPb0.25Tl0.25 Cu0.5O3-y, prepared by a similar procedure, was found to be superconducting with a Tc of not, vert, similar 70 K.

Abrasive Jet Machining - Process variables and current applications

brusive Jet Machining (AJM) or Micro Blast Machining is a non-traditional machining process, wherein material removal is effected by the erosive action of a high velocity jet of a gas, carrying fine-grained abrasive particles, impacting the work surface. The AJM process differs from conventional sand blasting in that the abrasive is much finer and the process parameters and cutting action are carefully controlled. The process is particularly suitable to cut intricate shapes in hard and brittle materials which are sensitive to heat and have a tendency to chip easily. In other words, AJM can handle virtually any hard or brittle material. Already the process has found its ways Into dozens of applications; sometimes replacing conventional alternatives often doing jobs that could not be done in any other way. This paper reviews the current status of this non-conventional machining process and discusses the unique advantages and possible applications.

Buckling patterns in diamond-like carbon films

An optical microscopy study of stress relief patterns in diamond-like 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 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 the film thickness. Our new patterns support the approach in which the stress relief forms have been analysed earlier using the theory of plate buckling.