Distributed computing on oriented anonymous hypercubes with faulty components

We give efficient algorithms for distributed computation on oriented, anonymous, asynchronous hypercubes with possible faulty components (i.e. processors and links) and deterministic processors. Initially, the processors know only the size of the network and that they are inter-connected in a hypercube topology. Faults may occur only before the start of the computation (and that despite this the hypercube remains a connected network). However, the processors do not know where these faults are located. As a measure of complexity we use the total number of bits transmitted during the execution of the algorithm and we concentrate on giving algorithms that will minimize this number of bits. The main result of this paper is an algorithm for computing Boolean functions on anonymous hypercubes with bit cost , where is the number of faulty components (i.e. links plus processors), is the number of links which are either faulty, or non-faulty but adjacent to faulty processors, and is the diameter of the hypercube with faulty components. Received: October 1992 / Accepted: April 2001     

Comparative structural and immunochemical properties of leghaemoglobins

Circular dichroism studies on leghaemoglobins from snake bean, lupin, serradella and other plants show that, in common with soybean (reported earlier) they have a similar overall polypeptide chain conformation and haem environment and orientation. Immunochemical studies, on the other hand, suggest that the antigenic determinants on the surface of the leghaemoglobins vary considerably. Thus, firstly the alpha-helix content of the leghaemoglobins as a class is very similar (60-65%) and approaches that of the myoglobins, secondly, the sign, magnitude and shape of their circular dichroism spectra in the near ultraviolet, Soret and visible regions suggest close similarities in the environment and orientation of a structurally important tryptophan residue and of the haem moiety, and thirdly, there is comparatively weak haem-protein interaction. The extent of immuno cross-reactivity was found to be best deomonstrated using the Farr radioimmunoassay procedure. The results were (a) 5 leghaemoglobins from one plant (soybean) crossreacted completely but with varying affinities. (b) The extent of cross reactivity between leghaemoglobins from different plants was compared to that within a single plant; the reaction of antiserum to a soybean leghaemoglobin with a serradella leghaemoglobin was weak, with a snake bean leghaemoglobin still weaker (and incomplete) while lupin leghaemoglobins showed no cross reactivity at all. (c) The "rapid" attenuation of cross reactivity among different plant leghaemoglobins is explicable in terms of the extensive amino acid substitutions which have been demonstrated in the literature and in the present studies. (d) In view of this rapid divergence it is not surprising that sperm whale and horse heart myoglobins showed no cross reactivity with soybean leghaemoglobins. In summary, amino acid substitutions in the leghaemoglobin family are conformationally but not immunochemically conservative.     

Cracks and re-entrant corners in functionally graded materials

Functionally graded materials (FGMs) are special composites in which the volume fractions of constituent materials vary gradually, giving continuously graded mechanical properties. The aim of this paper is the evaluation of the strength of structures composed by FGMs incorporating re-entrant corners - tending to the more common crack for vanishing corner angle. The end result is useful in engineering applications predicting the strength of the element corresponding to the unstable brittle crack propagation in such innovative materials. To show the general validity of the method, heterogeneous plates under tension and beam under bending containing re-entrant corners and by varying corner angle, depth and grading of the FGM are considered. Ad hoc performed numerical finite element simulations, by using the FRANC2D code, agree with the theoretical predictions.     

Innovation in Industrial Districts: Evidence from Italy

The aim of this paper is to show that Italian manufacturing firms belonging to Marshallian industrial districts carry out a higher innovative effort than is usually acknowledged. The empirical analysis makes use of a panel of 1,218 district and non-district firms belonging to traditional sectors. Data refers to the years 1992 and 1995. We have estimated an augmented Cobb-Douglas production function. The estimates make it possible to empirically identify three different determinants of firms' productivity: (i) the intentional innovative activity; (ii) the “district effect”; and (iii) the joint district and innovation effect. The results show that firms' membership in industrial districts and product innovations are key factors in explaining the productivity of firms working in traditional Italian sectors.     

Quality of Service Networking for High Performance Grid Applications

This paper reports on different efforts to provide quality of service (QoS) Networking to Grid applications done in the context of the MB-NG, GRS and DataTAG EU projects. These are leading edge network research projects involving more that 50 researchers in the UK, Europe and North America, concerned with the development and testing of protocols and standards for the next generation of high speed networks. We have implemented and tested the Differentiated Services Architecture (DiffServ) in a multi-domain, 2.5 Gbits/s network (the first such deployment) defining appropriate Service Level Agreements (SLAs) to be used between administrative domains to guarantee end-to-end Quality of Service. We characterised several hardware implementations of DiffServ and concluded on their appropriateness for several network scenarios. Since current and future Grid applications will have to use modified mechanisms of congestion control we have evaluated old and new TCP implementations over a Differentiated Services Networks. These quality of service tests have also included innovative MPLS (Multi-Protocol Label Switching) experiments to establish guaranteed bandwidth connections to Grid applications in a fast and efficient way. We have also developed a software based bandwidth broker architecture for Grids based on IETF standards which allows applications to transparently request dynamic and advanced reservations and implemented it in a real experimental network. We finally report on experiences delivering Quality of Service networking to high performance applications like Particle Physics data transfer and High Performance Computation. This includes quantitative results on the performance improvements that QoS brought to real data transfers in the context of High Performance Computing.     

Formal methods integration for the specification of dependable distributed systems

This paper describes a real-world case study in the specification and analysis of dependable distributed systems. The case study is an automated transport system with safety requirements. In order to manage the complexity of the problem of specifying the dynamic behavior of the whole system, a compositional approach is used, based on the integration of the trace logic of the Communicating Sequential Processes (CSP) theory, and stochastic Petri nets (SPNs). It is argued that the integration of different formal methods is a useful approach in the definition of practical engineering methodologies for the specification, design and analysis of complex dependable distributed systems.     

An Autonomous Spacecraft Agent Prototype

This paper describes the New Millennium Remote Agent (NMRA) architecture for autonomous spacecraft control systems. The architecture supports challenging requirements of the autonomous spacecraft domain not usually addressed in mobile robot architectures, including highly reliable autonomous operations over extended time periods in the presence of tight resource constraints, hard deadlines, limited observability, and concurrent activity. A hybrid architecture, NMRA integrates traditional real-time monitoring and control with heterogeneous components for constraint-based planning and scheduling, robust multi-threaded execution, and model-based diagnosis and reconfiguration. Novel features of this integrated architecture include support for robust closed-loop generation and execution of concurrent temporal plans and a hybrid procedural/deductive executive.We implemented a prototype autonomous spacecraft agent within the architecture and successfully demonstrated the prototype in the context of a challenging autonomous mission scenario on a simulated spacecraft. As a result of this success, the integrated architecture has been selected to fly as an autonomy experiment on Deep Space One (DS-1), the first flight of NASA';s New Millennium Program (NMP), which will launch in 1998. It will be the first AI system to autonomously control an actual spacecraft.     

Scale-effects on mean and standard deviation of the mechanical properties of condensed matter: an energy-based unified approach

The size effects on the mean values of the mechanical properties of condensed matter and on the related variances are analysed by means of a unified approach based on the multiscale character of energy dissipation. In particular, the scaling law for fragmentation energy density is obtained taking into account the self-similarity of fragments. It is based on a generalization of the three classical comminution laws that has been performed to evaluate the energy dissipation, computing volume and surface area of the particles for one- two- and three-dimensional fragmented objects. The result is general and can be applied to different fractal energy dissipation mechanisms, e.g., plasticity. Based on this approach, the scaling laws for mean and standard deviation values of the main mechanical properties of materials can be derived, like Young's and shear elastic moduli, ultimate normal and shear stresses and strains, fracture energy and toughness.     

Scaling of energy dissipation in crushing and fragmentation: a fractal and statistical analysis based on particle size distribution

An extensive experimental investigation on concrete specimens under crushing and fragmentation over a large scale range (1:10) – exploring even very small specimen dimensions (1 cm) – was carried out to evaluate the influence of fragment size distribution on energy density dissipation and related size effect. To obtain a statistically significant fragment production as well as the total energy dissipated in a given specimen, the experimental procedure was unusually carried out up to a strain of approximately –95%, practically corresponding to the initial fragment compaction between the loading platens. The experimental fragment analysis suggests a fractal law for the distribution in particle size; this simply means that fragments derived from a given specimen appear geometrically self-similar at each observation scale. In addition, clear size effects on dissipated energy density are experimentally observed. Fractal concepts permit to quantify the correlation between fragment size distribution and size effect on dissipated energy density, the latter being governed by the total surface area of produced fragments. The experimental results agree with the proposed multi-scale interpretation satisfactorily.