Specification-driven approach for protocol design of distributed computing systems

An important issue in the design of a distributed computing system (DCS) is the development of a suitable protocol. This paper presents an effort to systematize the protocol design procedure for a DCS. Protocol design and development can be divided into six phases: specification of the DCS, specification of protocol requirements, protocol design, specification and validation of the designed protocol, performance evaluation, and hardware/software implementation. This paper describes techniques for the second and third phases, while the first phase has been considered by the authors in their earlier work. Matrix and set theoretic based approaches are used for specification of a DCS and for specification of the protocol requirements. These two formal specification techniques form the basis of the development of a simple and straightforward procedure for the design of the protocol. The applicability of the above design procedure has been illustrated by considering an example of a computing system encountered on board a spacecraft. A Petri-net based approach has been adopted to model the protocol. The methodology developed in this paper can be used in other DCS applications.

An Accurate Model For Interference From Spatially Distributed Shadowed Users in CDMA Uplinks

A detailed characterization of interference power statistics in CDMA systems is of considerable practical and theoretical interest. Such a characterization for uplink inter-cell interference has been difficult because of transmit power control, randomness in the number of interfering mobile stations, and randomness in their locations. We develop a new method to model the uplink inter-cell interference power as a lognormal distribution, and show that it is an order of magnitude more accurate than the conventional Gaussian approximation even when the average number of mobile stations per cell is relatively large and even outperforms the moment-matched lognormal approximation considered in the literature. The proposed method determines the lognormal parameters by matching its moment generating function with a new approximation of the moment generating function for the inter-cell interference. The method is tractable and exploits the elegant spatial Poisson process theory. Using several numerical examples, the accuracy of the proposed method in modeling the probability distribution of inter-cell interference is verified for both small and large values of interference.

A systolic evaluator for linear, quadratic, and cubic expressions

High-speed evaluation of a large number of linear, quadratic, and cubic expressions is very important for the modeling and real-time display of objects in computer graphics. Using VLSI techniques, chips called pixel planes have actually been built by H. Fuchs and his group to evaluate linear expressions. In this paper, we describe a topological variant of Fuchs' pixel planes which can evaluate linear, quadratic, cubic, and higher-order polynomials. In our design, we make use of local interconnections only, i.e., interconnections between neighboring processing cells. This leads to the concept of tiling the processing cells for VLSI implementation.

Distributed nonlinear optimization algorithms for general network problems

There are a number of large networks which occur in many problems dealing with the flow of power, communication signals, water, gas, transportable goods, etc. Both design and planning of these networks involve optimization problems. The first part of this paper introduces the common characteristics of a nonlinear network (the network may be linear, the objective function may be non linear, or both may be nonlinear). The second part develops a mathematical model trying to put together some important constraints based on the abstraction for a general network. The third part deals with solution procedures; it converts the network to a matrix based system of equations, gives the characteristics of the matrix and suggests two solution procedures, one of them being a new one. The fourth part handles spatially distributed networks and evolves a number of decomposition techniques so that we can solve the problem with the help of a distributed computer system. Algorithms for parallel processors and spatially distributed systems have been described.There are a number of common features that pertain to networks. A network consists of a set of nodes and arcs. In addition at every node, there is a possibility of an input (like power, water, message, goods etc) or an output or none. Normally, the network equations describe the flows amoungst nodes through the arcs. These network equations couple variables associated with nodes. Invariably, variables pertaining to arcs are constants; the result required will be flows through the arcs. To solve the normal base problem, we are given input flows at nodes, output flows at nodes and certain physical constraints on other variables at nodes and we should find out the flows through the network (variables at nodes will be referred to as across variables).The optimization problem involves in selecting inputs at nodes so as to optimise an objective function; the objective may be a cost function based on the inputs to be minimised or a loss function or an efficiency function. The above mathematical model can be solved using Lagrange Multiplier technique since the equalities are strong compared to inequalities. The Lagrange multiplier technique divides the solution procedure into two stages per iteration. Stage one calculates the problem variables % and stage two the multipliers lambda. It is shown that the Jacobian matrix used in stage one (for solving a nonlinear system of necessary conditions) occurs in the stage two also.A second solution procedure has also been imbedded into the first one. This is called total residue approach. It changes the equality constraints so that we can get faster convergence of the iterations.Both solution procedures are found to coverge in 3 to 7 iterations for a sample network.The availability of distributed computer systems — both LAN and WAN — suggest the need for algorithms to solve the optimization problems. Two types of algorithms have been proposed — one based on the physics of the network and the other on the property of the Jacobian matrix. Three algorithms have been deviced, one of them for the local area case. These algorithms are called as regional distributed algorithm, hierarchical regional distributed algorithm (both using the physics properties of the network), and locally distributed algorithm (a multiprocessor based approach with a local area network configuration). The approach used was to define an algorithm that is faster and uses minimum communications. These algorithms are found to converge at the same rate as the non distributed (unitary) case.

High temperature deformation processing maps for boron modified Ti-6Al-4V alloys

The alloy, Ti-6Al-4V is an alpha + beta Ti alloy that has large prior beta grain size (similar to 2 mm) in the as cast state. Minor addition of B (about 0.1 wt.%) to it refines the grain size significantly as well as produces in-situ TiB needles. The role played by these microstructural modifications on high temperature deformation processing maps of B-modified Ti64 alloys is examined in this paper.Power dissipation efficiency and instability maps have been generated within the temperature range of 750-1000 degrees C and strain rate range of 10(-3)-10(+1) s(-1). Various deformation mechanisms, which operate in different temperature-strain rate regimes, were identified with the aid of the maps and complementary microstructural analysis of the deformed specimens. Results indicate four distinct deformation domains within the range of experimental conditions examined, with the combination of 900-1000 degrees C and 10(-3)-10(-2) s(-1) being the optimum for hot working. In that zone, dynamic globularization of alpha laths is the principle deformation mechanism. The marked reduction in the prior beta grain size, achieved with the addition of B, does not appear to alter this domain markedly. The other domains, with negative values of instability parameter, show undesirable microstructural features such as extensive kinking/bending of alpha laths and breaking of beta laths for Ti64-0.0B as well as generation of voids and cracks in the matrix and TiB needles in the B-modified alloys. (C) 2010 Elsevier B.V. All rights reserved.

Intelligent Processing Of Zno-Based Ceramics

The Intelligent Decision Support System (IDSS), also called an expert system, is explained. It was then applied to choose the right composition and firing temperature of a ZnO based varistor. 17 refs.

Fabrication of device quality films of high loaded PPy/MWCNT nanocomposites using pulsed laser deposition

Polypyrrole (PPy) - multiwalled carbonnanotubes (MWCNT) nanocomposites with various MWCNT loading were prepared by in situ inversion emulsion polymerization technique. High loading of the nano filler were evaluated because of available inherent high interface area for charge separation in the nanocomposites. Solution processing of these conducting polymer nanocomposites is difficult because, most of them are insoluble in organic solvents. Device quality films of these composites were prepared by using pulsed laser deposition techniques (PLD). Comparative study of X-ray photoelectron spectroscopy (XPS) of bulk and film show that there is no chemical modification of polymer on ablation with laser. TEM images indicate PPy layer on MWCNT surface. SEM micrographs indicate that the MWCNT's are distributed throughout the film. It was observed that MWCNT in the composite held together by polymer matrix. Further more MWCNT diameter does not change from bulk to film indicating that the polymer layer remains intact during ablation. Even for very high loadings (80 wt.% of MWCNT's) of nanocomposites device quality films were fabricated, indicating laser ablation is a suitable technique for fabrication of device quality films. Conductivity of both bulk and films were measured using collinear four point probe setup. It was found that overall conductivity increases with increase in MWCNT loading. Comparative study of thickness with conductivity indicates that maximum conductivity was observed around 0.2 mu m. (C) 2010 Elsevier B.V. All rights reserved.

Microstructure and Properties of the Spray-Formed and Extruded 7075 Al Alloy

In the present investigation, a very good combination of strength and ductility, 630MPa 0.2% proof stress and 14.8% elongation to fracture in tensile test, has been obtained for the 7075 Al alloy after optimizing the processing parameters for spray forming, hot extruding the spray deposit, and peak aging the samples taken from the extruded rod. The spray deposits contained some porosity but it was almost eliminated on hot extrusion. Electron probe microanalysis revealed that even though spray forming was carried out in an open atmosphere, it did not affect the oxygen content and its distribution in the material on spray forming, because the atomizing argon gas provided a protective cover to molten droplets and prevented their oxidation. The chemical composition of the spray-formed material was found to be almost the same as the raw material, and the major alloying elements were found to be uniformly distributed in the extruded rod.

Regenerating Codes for Distributed Storage Networks

In a storage system where individual storage nodes are prone to failure, the redundant storage of data in a distributed manner across multiple nodes is a must to ensure reliability. Reed-Solomon codes possess the reconstruction property under which the stored data can be recovered by connecting to any k of the n nodes in the network across which data is dispersed. This property can be shown to lead to vastly improved network reliability over simple replication schemes. Also of interest in such storage systems is the minimization of the repair bandwidth, i.e., the amount of data needed to be downloaded from the network in order to repair a single failed node. Reed-Solomon codes perform poorly here as they require the entire data to be downloaded. Regenerating codes are a new class of codes which minimize the repair bandwidth while retaining the reconstruction property. This paper provides an overview of regenerating codes including a discussion on the explicit construction of optimum codes.

Multiple imaging and multichannel optical processing with split lenses

The use of split lenses for multiple imaging and multichannel optical processing is demonstrated. Conditions are obtained for nonoverlapping of multipled images and avoiding crosstalk in the multichannel processing. Almost uniform intensity across the multipled images is an advantage here, while the low ƒ/No. of the split lens segments puts a limit in the resolution in image processing. Experimental results of multiple imaging and of a few multichannel processing are presented.

Ordered Ports – a Language Concept for High-level Distributed Programming

A new language concept for high-level distributed programming is proposed. Programs are organised as a collection of concurrently executing processes. Some of these processes, referred to as liaison processes, have a monitor-like structure and contain ports which may be invoked by other processes for the purposes of synchronisation and communication. Synchronisation is achieved by conditional activation of ports and also through port control constructs which may directly specify the execution ordering of ports. These constructs implement a path-expression-like mechanism for synchronisation and are also equipped with options to provide conditional, non-deterministic and priority ordering of ports. The usefulness and expressive power of the proposed concepts are illustrated through solutions of several representative programming problems. Some implementation issues are also considered.

Non-enzymatic Degradation of (1→3)(1→4)-β-D-glucan in Aqueous Processing of Oats

Cereal water-soluble β-glucan [(1→3)(1→4)-β-D-glucan] has well-evidenced health benefits and it contributes to the texture properties of foods. These functions are characteristically dependent on the excellent viscosity forming ability of this cell wall polysaccharide. The viscosity is affected by the molar mass, solubility and conformation of β-glucan molecule, which are further known to be altered during food processing. This study focused on demonstrating the degradation of β-glucan in water solutions following the addition of ascorbic acid, during heat treatments or high pressure homogenisation. Furthermore, the motivation of this study was in the non-enzymatic degradation mechanisms, particularly in oxidative cleavage via hydroxyl radicals. The addition of ascorbic acid at food-related concentrations (2-50 mM), autoclaving (120°C) treatments, and high pressure homogenisation (300-1000 bar) considerably cleaved the β-glucan chains, determined as a steep decrease in the viscosity of β-glucan solutions and decrease in the molar mass of β-glucan. The cleavage was more intense in a solution of native β-glucan with co-extracted compounds than in a solution of highly purified β-glucan. Despite the clear and immediate process-related degradation, β-glucan was less sensitive to these treatments compared to other water-soluble polysaccharides previously reported in the literature. In particular, the highly purified β-glucan was relatively resistant to the autoclaving treatments without the addition of ferrous ions. The formation of highly oxidative free radicals was detected at the elevated temperatures, and the formation was considerably accelerated by added ferrous ions. Also ascorbic acid pronounced the formation of these oxidative radicals, and oxygen was simultaneously consumed by ascorbic acid addition and by heating the β-glucan solutions. These results demonstrated the occurrence of oxidative reactions, most likely the metal catalysed Fenton-like reactions, in the β-glucan solutions during these processes. Furthermore, oxidized functional groups (carbonyls) were formed along the β-glucan chain by the treatments, including high pressure homogenisation, evidencing the oxidation of β-glucan by these treatments. The degradative forces acting on the particles in the high pressure homogenisation are generally considered to be the mechanical shear, but as shown here, carbohydrates are also easily degraded during the process, and oxidation may have a role in the modification of polysaccharides by this technique. In the present study, oat β-glucan was demonstrated to be susceptible to degradation during aqueous processing by non-enzymatic degradation mechanisms. Oxidation was for the first time shown to be a highly relevant degradation mechanism of β-glucan in food processing.

Characterization of hot deformation behavior of brasses using processing maps: Part II. β Brass and α-β brass

The hot deformation behaviors of β brass in the temperature range of 550°C to 800°C and α-β brass in the temperature range of 450°C to 800°C have been characterized in the strain rate range of 0.001 to 100 s−1 using processing maps developed on the basis of the Dynamic Materials Model. The map for β brass revealed a domain of superplasticity in the entire temperature range and at strain rates lower than 1 s−1, with a maximum efficiency of power dissipation of about 68 pct. The temperature variation of the efficiency of power dissipation in the domain is similar to that of the diffusion coefficient for zinc in β brass, confirming that the diffusion-accommodated flow controls the superplasticity. The material undergoes microstructural instability in the form of adiabatic shear bands and strain markings at temperatures lower than 700°C and at strain rates higher than 10 s−1. The map for α-β brass revealed a wide domain for processing in the temperature range of 550°C to 800°C and at strain rates lower than 1 s−1, with a maximum efficiency of 54 pct occurring at about 750°C and 0.001 s−1. In the domain, the α phase undergoes dynamic recrystallization and controls the hot deformation of the alloy, while the β phase deforms superplastically. At strain rates greater than 1 s−1, α-β brass exhibits microstructural instabilities manifested as flow rotations at lower temperatures and localized shear bands at higher temperatures.