Threshold protocols in survivor set systems

Many replication protocols employ a threshold model when expressing failures they are able to tolerate. In this model, one assumes that no more than t out of n components can fail, which is a good representation when failures are independent and identically distributed (IID). In many real systems, however, failures are not IID, and a straightforward application of threshold protocols yields suboptimal results. Here, we examine the problem of transforming threshold protocols into survivor-set protocols tolerating dependent failures. Our main goal is to show the equivalence between the threshold model and the core/survivor set model. Toward this goal, we develop techniques to transform threshold protocols into survivor set ones. Our techniques do not require authentication, self-verification or encryption. Our results show in one case that we can transform a threshold protocol to a subset by spreading a number of processes across processors. This technique treats a given threshold algorithm as a black box, and consequently can transform any threshold algorithm. However, it has the disadvantage that the transformation is not possible for all sets of survivor sets. The second technique instead focuses on transforming voters: functions that evaluate to a value out of a set of tallied values in a replication protocol. Voters are an essential part of many fault-tolerant protocols, and we show a universal way of transforming them. With such a transformation we expect that a large number of protocols in the literature can be directly transformed with our technique. It is still an open problem, however, if the two models are equivalent, and our results constitute an important first step in this direction.     

Binary integer programming formulations for scheduling in market-driven foundries

This paper describes the development and solution of binary integer formulations for production scheduling problems in market-driven foundries. This industrial sector is comprised of small and mid-sized companies with little or no automation, working with diversified production, involving several different metal alloy specifications in small tailor-made product lots. The characteristics and constraints involved in a typical production environment at these industries challenge the formulation of mathematical programming models that can be computationally solved when considering real applications. However, despite the interest on the part of these industries in counting on effective methods for production scheduling, there are few studies available on the subject. The computational tests prove the robustness and feasibility of proposed models in situations analogous to those found in production scheduling at the analyzed industrial sector.     

Quantitative analysis of CEA expression in colorectal adenocarcinoma and serum: lack of correlation

Tissues and sera from 110 patients diagnosed with colorectal primary carcinoma, 20 patients with benign colorectal diseases and 31 healthy donors were subjected to quantitative CEA analysis. Multiple samples from tumor lesions and autologous histologically normal mucosa (10 cm from the tumor) were obtained at the time of surgery (cancer patients) or endoscopy (benign patients and healthy volunteers). CEA content was measured in protein extracts obtained from these tissues using a quantitative RIA method. A limit of normality for CEA content was established as 300 ng/mg of protein. When this was taken as cut-off, 104 of 110 (94.5%) tumor lesions and 51 of 110 (46.4%) autologous histologically normal colonic mucosa from cancer patients had elevated CEA levels. No correlation with stage of disease was found, while a correlation was observed with degree of tumor differentiation. A statistically significant difference between CEA content in tumor lesions and in histologically normal mucosa from cancer patients was observed (p = -0.001). Moreover, CEA content was statistically higher in the normal mucosa from cancer patients than in that from healthy donors (p = 0.005). CEA content in tissue specimens from benign lesions differed significantly from that in tissue from healthy donors (p = 0.005) and in carcinoma lesions (p < 0.001). The highest CEA content was observed in benign lesions with severe dysplasia. No statistical correlation between CEA content in carcinoma tissues and serum CEA levels (r = 0.195, p = .13) was found. Therefore, in considering diagnosis or therapy with anti-CEA MAbs for colorectal-carcinoma patients, or potential therapies with anti-CEA recombinant vaccines, serum CEA levels should not be taken as indicating CEA expression in tumor lesions.     

Medium-large polyps of the colon: a contribution for their clinical profile and a proper surveillance

Closantel is an anthelmintic which associates with plasma albumin and is useful for the control of sheep parasites, such as Haemonchus contortus, that ingest blood. However, the utility of closantel for parasite control has been threatened by the emergence of resistance. The mechanisms of resistance are unknown. A closantel-resistant and a closantel-susceptible isolate of H. contortus were compared with respect to the distribution and metabolism of closantel. Neither strain appeared to metabolise closantel in vitro or in vivo. Following treatment of infected sheep with radioactively labelled closantel, isotope levels in closantel-resistant adult H. contortus were significantly lower than in susceptible worms. This reduced accumulation of drug could contribute to closantel resistance by mechanisms such as reduced feeding, failure to dissociate the drug-albumin complex in the gut or increased efflux of closantel from resistant worms.     

On-line 3-D system for the inspection of deformable parts

In spite of the development of automated tolerance inspection systems for manufactured parts over the years, there are still processes that inevitably require manual intervention making full automation impossible in most cases; in particular when dealing with deformable parts. In most current industrial inspection systems, a deformable part under inspection must first be mechanically constrained on a rigid support or jig so as to be able to compare it with its nominal shape. This paper presents a new system to perform real-time surface inspection of deformable parts that does not require fixturing. Instead, the proposed system applies virtual forces to the part??s CAD model as if the part was installed in the fixturing device. Normally, a precise finite element method (FEM) simulation should be used to approximate the deformation that appends when the part is installed in the device. Even with a fast parallel computer, FEM is far from being real-time and cannot be used for on-line inspection. In the proposed system, a radial basis function approximation of the FEM simulation is trained off-line and used to speed-up the simulation by an order of magnitude. Experimental evaluation of the proposed system is presented for three plastic parts. Using the proposed scheme, an approximation of 0.25?mm compared with the real deformation was obtained. In this paper, statistical results are presented such as the average deviation, standard deviation, and processing time between the approximations obtained with the proposed method and with the finite element method applied to the full CAD model.     

In-plane cyclic behaviour of a new reinforced masonry system: Experimental results

This paper describes the behaviour under cyclic shear compression of an innovative reinforced masonry system, composed of horizontally perforated units, having common steel bars or prefabricated trusses as horizontal reinforcement. At the wall edges or crossings, confining columns for vertical reinforcement are built with vertically perforated units. Experimental tests to obtain information on the in-plane cyclic behaviour of the construction system were performed on masonry panels made of horizontally perforated units and on completed reinforced masonry walls. Tests on the entire system were repeated for two wall aspect ratios and two vertical stress levels, in order to force shear type and flexural behaviour. In particular, this paper presents: (a) results of shear compression tests in terms of strength, ductility parameters, energy dissipation, viscous damping and stiffness degradation, (b) strains and the effectiveness of reinforcement, (c) the influence of various parameters such as axial load, aspect ratio, and reinforcement type on the behaviour of the reinforced masonry walls, and (d) comparison of walls built with and without vertical reinforcement.     

Rumor spreading in social networks

Social networks are an interesting class of graphs likely to become of increasing importance in the future, not only theoretically, but also for its probable applications to ad hoc and mobile networking. Rumor spreading is one of the basic mechanisms for information dissemination in networks; its relevance stemming from its simplicity of implementation and effectiveness. In this paper, we study the performance of rumor spreading in the classic preferential attachment model of Bollobás et al. which is considered to be a valuable model for social networks. We prove that, in these networks: (a) The standard PUSH-PULL strategy delivers the message to all nodes within O(log²n) rounds with high probability; (b) by themselves, PUSH and PULL require polynomially many rounds. (These results are under the assumption that m, the number of new links added with each new node is at least 2. If m=1 the graph is disconnected with high probability, so no rumor spreading strategy can work.) Our analysis is based on a careful study of some new properties of preferential attachment graphs which could be of independent interest.     

Solid hybrid polyelectrolyte with high performance in electrochromic devices: Electrochemical stability and optical study

This paper presents a high-stability, single-phase hybrid polyelectrolyte (SPHP) applied in a large EC device (5×10 cm²) using WO₃ (electrochromic) and CeO₂–TiO₂ (counter-electrode–ion storage) electrodes, both produced by Leibniz—Institut of New Materials (Leibniz—INM, Germany). The electrochromic device exhibited excellent color and bleach reversibility, high coloration efficiency (>35 cm²/C) from the first cycle up to more than 60,000 CA cycles, and a maximum constant rate of deintercalation/intercalation (O_out/Q_in=1). Its remarkable behavior and high stability render this material an excellent candidate for application in electrochromic devices.