Kinetic approach to dislocation bending in low-mobility films

A kinetic model has been developed for dislocation bending at the growth surface in compressively stressed low-mobility films such as III-V nitrides. It is based on a reduction in the number of atoms at the growth surface. Stress and nonstress sources of driving force for such a reduction are discussed. A comparison between the derived equations and experimentally measured stress evolution data yields good agreement between the predicted and observed angles through which dislocations bend.

Novel signal demodulation technique to estimate the amount of chirp in fiber Bragg gratings

A novel detection technique to estimate the amount of chirp in fiber Bragg gratings (FBGs) is proposed. This method is based on the fact that reflectivity at central wavelength of FBG reflection changes with strain/temperature gradient (linear chirp) applied to the same. Transfer matrix approach was used to vary different grating parameters (length, strength and apodization) to optimize variation of reflectivity with linear chirp. Analysis is done for different sets of `FBG length-refractive index strength' combinations for which reflectivity vary linearly with linear chirp over a decent measurement range. This article acts as a guideline to choose appropriate grating parameters in designing sensing apparatus based on change in reflectivity at central wavelength of FBG reflection.

Distributed Coding for Multiple Access Communication with Side Information

In a typical sensor network scenario a goal is to monitor a spatio-temporal process through a number of inexpensive sensing nodes, the key parameter being the fidelity at which the process has to be estimated at distant locations. We study such a scenario in which multiple encoders transmit their correlated data at finite rates to a distant, common decoder over a discrete time multiple access channel under various side information assumptions. In particular, we derive an achievable rate region for this communication problem.

The Determination of the Surface Tensions of Liquid-Iron, Nickel and Iron-Nickel Alloys using the electromagnetic Oscillating Droplet Technique

An oscillating droplet method combined with electromagnetic levitation has been applied to determine the surface tensions of liquid pure iron, nickel and iron-nickel alloys as a function of the temperature. The natural frequency of the oscillating droplet is evaluated using a Fourier analyser. The theoretical background of this method and the experimental set-up were described, and the influence of magnetic field strength was also discussed. The experimental results were compared with those of other investigators and interpreted using theoretical models (Butler's equation, subregular and perfect solution model for the surface phase).

The Determination of the Surface Tensions of Nickel Sulfur Alloys using the Electromagnetic Oscillating Droplet Technique

An oscillating droplet method combined with electromagnetic levitation technique has been applied to determine the surface tensions of liquid nickel sulphur alloys as a function of the temperature and composition. The natural frequency of the oscillating droplet is evaluated using a Fourier analyser, and the influence of magnetic field strength on the surface tension was considered. Furthermore, the applicability of Butler's equation and subregular solution model for the surface was shown to predict the surface tension of the systems containing the surface active elements.

Understanding changes in the Himalayan cryosphere using remote sensing techniques

In the Himalayas, a large area is covered by glaciers and seasonal snow and changes in its extent can influence availability of water in the Himalayan Rivers. In this paper, changes in glacial extent, glacial mass balance and seasonal snow cover are discussed. Glacial retreat was estimated for 1868 glaciers in 11 basins distributed in the Indian Himalaya since 1962. The investigation has shown an overall reduction in glacier area from 6332 to 5329km2 from 1962 to 2001/2 - an overall deglaciation of 16%. Snow line at the end of ablation season on the Chhota Shigri glacier observed using field and satellite methods suggests a change in altitude from 4900 to 5200m from the late 1970s to present. Seasonal snow cover was monitored in the 28 river sub-basins using normalized difference snow index (NDSI) technique in Central and Western Himalaya. The investigation has shown that in the early part of winter, i.e. from October to December, a large amount of snow retreat was observed. For many basins located in lower altitude and in the south of the Pir Panjal range, snow ablation was observed throughout the winter season. In addition, average stream runoff of the Baspa basin for the month of December increased by 75%. This combination of glacial retreat, negative mass balance, early melting of seasonal snow cover and winter-time increase in stream runoff might suggest an influence of global warming on the Himalayan cryosphere.

A hybrid technique of modeling of cracks using displacement discontinuity and direct boundary element method

A hybrid technique to model two dimensional fracture problems which makes use of displacement discontinuity and direct boundary element method is presented. Direct boundary element method is used to model the finite domain of the body, while displacement discontinuity elements are utilized to represent the cracks. Thus the advantages of the component methods are effectively combined. This method has been implemented in a computer program and numerical results which show the accuracy of the present method are presented. The cases of bodies containing edge cracks as well as multiple cracks are considered. A direct method and an iterative technique are described. The present hybrid method is most suitable for modeling problems invoking crack propagation.

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.

Optical and electrical properties of SnS semiconductor crystals grown by physical vapor deposition technique

Tin sulfide (SnS) is a material of interest for use as an absorber in low cost solar cells. Single crystals of SnS were grown by the physical vapor deposition technique. The grown crystals were characterized to evaluate the composition, structure, morphology, electrical and optical properties using appropriate techniques. The composition analysis indicated that the crystals were nearly stoichiometric with Sn-to-S atomic percent ratio of 1.02. Study of their morphology revealed the layered type growth mechanism with low surface roughness. The grown crystals had orthorhombic structure with (0 4 0) orientation. They exhibited an indirect optical band gap of 1.06 eV and direct band gap of 1.21 eV with high absorption coefficient (up to 10(3) cm(-1)) above the fundamental absorption edge. The grown crystals were of p-type with an electrical resistivity of 120 Omega cm and carrier concentration 1.52 x 10(15) cm(-3). Analysis of optical absorption and diffuse reflectance spectra showed the presence of a wide absorption band in the wavelength range 300-1200 nm, which closely matches with a significant part of solar radiation spectrum. The obtained results were discussed to assess the suitability of the SnS crystal for the fabrication of optoelectronic devices. (C) 2011 Elsevier B.V. All rights reserved.

A Non-contact measurement technique to measure micro surface stress and obtain deformation profiles of the order of 1nm in Micro-cantilever based structures by single image Optical Diffraction method

A new method based on analysis of a single diffraction pattern is proposed to measure deflections in micro-cantilever (MC) based sensor probes, achieving typical deflection resolutions of 1nm and surface stress changes of 50 mu N/m. The proposed method employs a double MC structure where the deflection of one of the micro-cantilevers relative to the other due to surface stress changes results in a linear shift of intensity maxima of the Fraunhofer diffraction pattern of the transilluminated MC. Measurement of such shifts in the intensity maxima of a particular order along the length of the structure can be done to an accuracy of 0.01mm leading to the proposed sensitivity of deflection measurement in a typical microcantilever. This method can overcome the fundamental measurement sensitivity limit set by diffraction and pointing stability of laser beam in the widely used Optical Beam Deflection method (OBDM).

Explicit and Optimal Exact-Regenerating Codes for the Minimum-Bandwidth Point in Distributed Storage

In the distributed storage setting that we consider, data is stored across n nodes in the network such that the data can be recovered by connecting to any subset of k nodes. Additionally, one can repair a failed node by connecting to any d nodes while downloading beta units of data from each. Dimakis et al. show that the repair bandwidth d beta can be considerably reduced if each node stores slightly more than the minimum required and characterize the tradeoff between the amount of storage per node and the repair bandwidth. In the exact regeneration variation, unlike the functional regeneration, the replacement for a failed node is required to store data identical to that in the failed node. This greatly reduces the complexity of system maintenance. The main result of this paper is an explicit construction of codes for all values of the system parameters at one of the two most important and extreme points of the tradeoff - the Minimum Bandwidth Regenerating point, which performs optimal exact regeneration of any failed node. A second result is a non-existence proof showing that with one possible exception, no other point on the tradeoff can be achieved for exact regeneration.

A Flexible Class of Regenerating Codes for Distributed Storage

In the distributed storage setting introduced by Dimakis et al., B units of data are stored across n nodes in the network in such a way that the data can be recovered by connecting to any k nodes. Additionally one can repair a failed node by connecting to any d nodes while downloading at most beta units of data from each node. In this paper, we introduce a flexible framework in which the data can be recovered by connecting to any number of nodes as long as the total amount of data downloaded is at least B. Similarly, regeneration of a failed node is possible if the new node connects to the network using links whose individual capacity is bounded above by beta(max) and whose sum capacity equals or exceeds a predetermined parameter gamma. In this flexible setting, we obtain the cut-set lower bound on the repair bandwidth along with a constructive proof for the existence of codes meeting this bound for all values of the parameters. An explicit code construction is provided which is optimal in certain parameter regimes.

Generating synchronizable test sequences based on finite-statemachine with distributed ports

In the area of testing communication systems, the interfaces between systems to be tested and their testers have great impact on test generation and fault detectability. Several types of such interfaces have been standardized by the International Standardization Organization (ISO). A general distributed test architecture, containing distributed interfaces, has been presented in the literature for testing distributed systems based on the Open Distributing Processing (ODP) Basic Reference Model (BRM), which is a generalized version of ISO distributed test architecture. We study in this paper the issue of test selection with respect to such an test architecture. In particular, we consider communication systems that can be modeled by finite state machines with several distributed interfaces, called ports. A test generation method is developed for generating test sequences for such finite state machines, which is based on the idea of synchronizable test sequences. Starting from the initial effort by Sarikaya, a certain amount of work has been done for generating test sequences for finite state machines with respect to the ISO distributed test architecture, all based on the idea of modifying existing test generation methods to generate synchronizable test sequences. However, none studies the fault coverage provided by their methods. We investigate the issue of fault coverage and point out a fact that the methods given in the literature for the distributed test architecture cannot ensure the same fault coverage as the corresponding original testing methods. We also study the limitation of fault detectability in the distributed test architecture.

Managing interprocessor delays in distributed recursive algorithms

For a class of distributed recursive algorithms, it is shown that a stochastic approximation-like tapering stepsize routine suppresses the effects of interprocessor delays.

Non-resonant RF and microwave response: A novel technique for the characterization of superconducting materials

When examined using continuous wave electron paramagnetic resonance and nuclear magnetic resonance spectrometers, the high T-c superconductors give rise to intense, low field, 'non-resonant' absorption signals in the superconducting state. This phenomenon can be used as a highly sensitive, contactless technique for the detection and characterization of superconductivity even in samples containing only minute amounts of the superconducting phase. Further, it can also be applied to the determination of material parameters of interest such as J(c) and H-c2 in addition to being a powerful way of distinguishing between weak-link superconductivity and bulk superconductivity. The details of these aspects are discussed