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.

An improved iterative finite element solution for pin joints

Accurate, reliable and economical methods of determining stress distributions are important for fastener joints. In the past the contact stress problems in these mechanically fastened joints using interference or push or clearance fit pins were solved using both inverse and iterative techniques. Inverse techniques were found to be most efficient, but at times inadequate in the presence of asymmetries. Iterative techniques based on the finite element method of analysis have wider applications, but they have the major drawbacks of being expensive and time-consuming. In this paper an improved finite element technique for iteration is presented to overcome these drawbacks. The improved iterative technique employs a frontal solver for elimination of variables not requiring iteration, by creation of a dummy element. This automatically results in a large reduction in computer time and in the size of the problem to be handled during iteration. Numerical results are compared with those available in the literature. The method is used to study an eccentrically located pin in a quasi-isotropic laminated plate under uniform tension.

An automated thermal relaxation calorimeter for operation at low temperature (0.5 K

We describe an automated calorimeter for measurement of specific heat in the temperature range 10 K>T>0.5 K. It uses sample of moderate size (100–1000 mg), has a moderate precision and accuracy (2%–5%), is easy to operate and the measurements can be done quickly with He4 economy. The accuracy of this calorimeter was checked by measurement of specific heat of copper and that of aluminium near its superconducting transition temperature.

Hopping and non-hopping localized ionic motion: β-AgI and β-Ag3SI

In β-AgI and β-Ag3SI the ionic conductivity has been measured at frequencies from 1kHz to 2.6 GHz and from 10 MHz to 10 THz, respectively. In both phases we observe a conductivity increase of some orders of magnitude, due to localized types of motion of the silver ions. In β-AgI the increase is found at about 1 MHz and reflects cooperative back-and-forth hopping processes between adjacent tetrahedral sites. In β-Ag3SI the phenomenon occurs at microwave frequencies. Here it is caused by a non-hopping, non-periodic localized Ag+-motion within shallow potentials.

A Photoelectron Spectroscopic Study Of The Interaction Of Oxygen, Nitrogen And Transition-Metals With C-60 Films

Evidence is presented for the strong interaction of oxygen and nitrogen with solid films of buckminsterfullerene based on core-level spectroscopic studies. Cr, Ni and Cu deposited on C60 films interact strongly giving rise to large changes in the C(Is) and C(2p) binding energies as well as the (2p) binding energies of the transition metals.

Bubble formation at closely spaced orifices in aqueous solutions

A filter cloth with 182 holes per 10−4 m2 has been used to generate air bubbles both in pure water and in aqueous solutions of electrolytes and non-electrolytes at various air flow rates. Potassium bromide and ammonium perchlorate were the electrolytes used, while the non-electrolytes were isopropanol, urea and glycerol. Bubble diameters and their size distribution were measured from photographs. The role of solutes in affecting bubble sizes and their distribution compared to that of pure water is discussed in the light of a hypothesis. This hypothesis assumes that if the final bubble diameter is less than the inter-orifice distance, then bubbles do not coalesce; on the other hand, if it is greater, then coalescence occurs when tf greater-or-equal, slantedti+ts, but does not occur when t

Effect of morphology and particle size on the ionic conductivities of composite solid electrolytes

A model incorporating the surface conductivity and morphology of the composite solid electrolytes is envisaged to explain their conduction behaviour. The conductivity data on LinX−50 m/o Al2O3 (X = F−, Cl−, Br−, CO32−, SO42−, PO43−) composites prepared by thermal decomposition of LinX·2nAl(OH)3·mH2O salts and Li2SO4−A (A=Al2O3, CeO2, Y2O3, Yb2O3, Zr2O3, ZrO2 and BaTiO3) composites prepared by mechanical mixing of the components are examined in the light of this model. It is surmised that the particle size of both the dispersoids and the hosts not only influence the ionic conductivity of the host matrix but also affect its bulk properties.

CA/TG sequence at the 5' end of oligo(A)-tracts strongly modulates DNA curvature

An analysis of the base pair doublet geometries in available crystal structures indicates that the often reported intrinsic curvature of DNA containing oligo-(d(A).d(T)) tracts may also depend on the nature of the flanking sequences. The presence of CA/TG doublet in particular at the 5' end of these tracts is expected to enhance their intrinsic bending property. To test this proposition, three oligonucleotides, d(GAAAAACCCCCC), d(CCCCCCAAAAAG), d(GAAAAATTTTTC), and their complementary sequences were synthesized to study the effect of various flanking sequences, at the 5' and 3' ends of the A-tracts, on the curvature of DNA in solution. An analysis of the polyacrylamide gel electrophoretic mobilities of these sequences under different conditions of salts and temperatures (below their melting points) clearly showed that the oligomer with CA/TG sequence in the center was always more retarded than the oligomer with AC/GT sequence, as well as the oligomer with AT/AT sequence. Hydroxyl radical probing of the sequences with AC/GT and CA/TG doublet junctions gives a similar cutting pattern in the A-tracts, which is quite different from that in the C-tracts, indicating that the oligo(A)-tracts have similar structures in the two oligomers. KMnO4 probing shows that the oligomer with a CA/TG doublet junction forms a kink that is responsible for its inherent curvature and unusual electrophoretic mobility. UV melting shows a reduced thermal stability of the duplex with CA/TG doublet junction, and circular dichroism (CD) studies indicate that a premelting transition occurs in the oligomer with CA/TG doublet step before global melting but not in the oligomer with AC/GT doublet step, which may correspond to thermally induced unbending of the oligomer. These observations indicate that the CA/TG doublet junction at the 5' end of the oligo(A)-tract has a crucial role in modulating the overall curvature in DNA.

An infrared spectroscopic study of the orientational phase transitions of C70

Infrared spectroscopic studies of C70 films show variation in absorbance and linewidth of the bands across the orientational phase transitions around 280 and 340 K. There is some evidence for the coexistence of phases in the 210–270 K region and for the occurrence of another transition below 200 K.

Temperature-dependent chirped coherent phonon dynamics in Bi2Te3 using high-intensity femtosecond laser pulses

Degenerate pump-probe reflectivity experiments have been performed on a single crystal of bismuth telluride (Bi2Te3) as a function of sample temperature (3 K to 296 K) and pump intensity using similar to 50 femtosecond laser pulses with central photon energy of 1.57 eV. The time-resolved reflectivity data show two coherently generated totally symmetric A(1g) modes at 1.85 THz and 3.6 THz at 296 K which blue-shift to 1.9 THz and 4.02 THz, respectively, at 3 K. At high photoexcited carrier density of similar to 1.7 x 10(21) cm(-3), the phonon mode at 4.02 THz is two orders of magnitude higher positively chirped (i.e the phonon time period decreases with increasing delay time between the pump and the probe pulses) than the lower-frequency mode at 1.9 THz. The chirp parameter, beta is shown to be inversely varying with temperature. The time evolution of these modes is studied using continuous-wavelet transform of the time-resolved reflectivity data. Copyright (C) EPLA, 2010

Out-of-equilibrium microrheology using optical tweezers to probe directional viscoelastic properties under shear

Many wormlike micellar systems exhibit appreciable shear thinning due to shear-induced alignment. As the micelles get aligned introducing directionality in the system, the viscoelastic properties are no longer expected to be isotropic. An optical-tweezers-based active microrheology technique enables us to probe the out-of-equilibrium rheological properties of a wormlike micellar system simultaneously along two orthogonal directions-parallel to the applied shear, as well as perpendicular to it. While the displacements of a trapped bead in response to active drag force carry signature of conventional shear thinning, its spontaneous position fluctuations along the perpendicular direction manifest an orthogonal shear thickening, an effect hitherto unobserved. Copyright (C) EPLA, 2010