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     

Epoxidation of soybean oil by the methyltrioxorhenium-CH2Cl2/H2O2 catalytic biphasic system

We studied the methyltrioxorhenium (MTO)-CH₂Cl₂/H₂O₂ biphasic system for epoxidizing soybean oil. The reactions were optimized (reactant ratio, time, and temperature), which resulted in a better performance (higher conversion and selectivity) than those described in the literature. Total doublebond conversion and 95% selectivity were obtained in 2 h at room temperature. Furthermore, it was possible to reach desired epoxidation degrees by changing the oxidant and MTO amounts. The rhenium-epoxidized soybean oil remained stable in the absence of stabilizers for up to 30 d when stored at mild conditions.     

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.     

Inductive inference from noisy examples using the hybrid finitestate filter

Recurrent neural networks processing symbolic strings can be regarded as adaptive neural parsers. Given a set of positive and negative examples, picked up from a given language, adaptive neural parsers can effectively be trained to infer the language grammar. In this paper we use adaptive neural parsers to face the problem of inferring grammars from examples that are corrupted by a kind of noise that simply changes their membership. We propose a training algorithm, referred to as hybrid finite state filter, which is based on a parsimony principle that penalizes the development of complex rules. We report very promising experimental results showing that the proposed inductive inference scheme is indeed capable of capturing rules, while removing noise.