Delay-optimal quorum consensus for distributed systems

Given a set of nodes S, a coterie is a set of pairwise intersecting subsets of S. Each element in a coterie is called a quorum. Mutual exclusion in a distributed system can be achieved if each request is required to gel consensus from a quorum of nodes. This technique of quorum consensus is also used for replicated distributed database systems, and bicoteries and wr-coteries have been defined to capture the requirements of read and write operations in user transactions. The author is interested in finding coteries, bicoteries, and wr-coteries with optimal communication delay. The protocols take into account the network topology. They design delay-optimal quorum consensus protocols for network topologies of trees, rings, and clustered networks     

Heterotopic replantation

In multidigital amputations, it is sometimes better to replant an amputated finger to a different proximal part if a better function can be expected in this position. In our clinical material between October 1991 and March 1994, heterotopic replantation was performed in twelve digits in eleven patients. Three fingers were replanted to the thumb, three to the index, four to the middle, and two to the ring fingers. The functional results were satisfying. The total active range of motion was on an average 24% of a normal finger. Static two-point discrimination was 8.5 mm on an average, and the values for the Semmes-Weinstein test ranged between 3.61 and 6.5. A heterotopic replantation is of special value for primary thumb reconstruction.     

Low-Power Adaptive Biased Integrated Amplifiers

In this paper the author will present the working principle and the applications of a novel adaptive biasing topology, designed to decrease the stand-by power dissipation without affecting the transient performance of low-power amplifiers. The proposed circuit, whose principle and circuit topology can be implemented both in CMOS and in bipolar standard technologies, gives a biasing current whose value depends on the applied input differential voltage and can be set according to the requested transient performance constraints. The adaptive architecture can be utilized in the design of high-efficient low-power operational amplifiers, for the biasing of both the input stage (where the input source current is dynamically increased) and the output stage (where the output current can be controlled and limited). These amplifiers show a very good behaviour, evaluated in terms of two efficiency factors, if compared with those of other adaptive solutions and class-AB topologies, proposed in the literature. Simulation results and also measurements on a chip prototype, fabricated in a standard CMOS technology, are finally presented.     

Effects of interstitial oxygen on microstructure and mechanical properties of Ti-48Al-2Cr-2Nb with fully lamellar and duplex microstructures

The effect of added oxygen in the range of 1000 to 4000 wt ppm on the microstructures of a Ti-48Al-2Cr-2Nb alloy has been investigated and compared to the microstructures for a high-purity alloy. For specimens cooled from theα phase, interstitial oxygen stabilizes the lamellar microstructure with respect toγ grains, with higher than equilibrium values for theα ₂ volume fraction. For specimens cooled from theα +γ phase field, the lamellar microstructure still tends to be favored by oxygen, but it is found that the phase volume fractions are not significantly different from equilibrium values. This suggests that interstitial O essentially reduces the kinetics of theα toα +γ transformation. Thus, interstitial oxygen will have a strong effect on microstructures obtained by continuous cooling fromα, but significantly less on those, such as the duplex microstructure, obtained by long treatment in theα +γ phase field. In general, increased O content is well correlated with reduced ductility. Finally, the role of interstitial oxygen on this phase transformation is discussed.     

Synthesis and activation of Pt nanoparticles with controlled size for fuel cell electrocatalysts

Well-dispersed Pt nanoparticles with controlled size and narrow size distribution were prepared by polyalcohol reduction of platinum acetylacetonate, using oleylamine as a capping agent. The particle size was varied from 3.5 nm to 11.5 nm by decreasing the amount of oleylamine added in the synthesis. Size selection of the as-prepared particles by solvent fractionation yielded nearly monodispersed Pt particles. The as-prepared particles were loaded on a carbon support by physical deposition, but showed no electrocatalytic activity due to the oleylamine bound to the particle surface. The particles were activated for electrocatalysis after heating the particles in air at 185 °C for 5 h, conditions that gave no particle-sintering and no oxidation. Cyclic voltammetry showed that the particles after the heat treatment in air were electrocatalytically active for methanol oxidation. The smaller 3.5 nm and 4.0 nm Pt particles had a higher intrinsic activity for methanol oxidation, but a lower tolerance to CO poisoning, compared with 6.0 nm, 9.5 nm and 11.5 nm particles. CO-stripping results suggest that CO is more easily oxidized on larger Pt particles.     

Constructive model-based analysis for safety assessment

The aerospace industry still uses fault trees to perform reliability analysis. This is because fault-tree modeling and analysis (FTA) seems easier to practical engineers when compared with Markov models, even though FTA provides a weaker form of analysis. In this paper, we propose an automatic strategy for generating Markov-based models and corresponding analysis formulations, according to ARP 4761, directly from Simulink diagrams annotated with failure information. The generated Markov-based models are expressed in the formal language PRISM, and the analysis is carried out by the PRISM model checker. The strategy is compositional and based on a comprehensive set of translation rules from Simulink to PRISM. We briefly address soundness and completeness of the rules and, to illustrate the application of the strategy, we apply it to a classical avionics case study: an actuator control system.     

The pheromone of the eastern tent caterpillar,Malacosoma americanum (F.) (lepidoptera,Lasiocampidae)

The pheromone system of the eastern tent caterpillar,M. americanum, has been identified as a mixture of (E,Z)-5,7-dodecadienal and the corresponding alcohol. Field data on the attractiveness of the aldehyde alone were not consistent, but mixtures of aldehyde and alcohol in varying proportions were attractive to males. Addition of small amounts ofE,Z acetate toE,Z aldehyde had no effect on male response, but larger amounts reduced trap catch. Traps baited withZ,E, E,E, orZ,Z aldehydes were not more attractive than blank traps. Pherocon IC traps fortified with extra adhesive and baited with lures consisting of 500 µg (E,Z)-5,7-dodecadienal with either 250 or 100 µg of the corresponding alcohol trapped as many as 100 males/trap/night with means of 15–20. Lures prepared from purified (94%E,Z) aldehyde and alcohol were more attractive than those prepared from unpurified (58%E,Z) materials.DeceasedMention of a company name or proprietary product does not constitute an endorsement by the U.S. Department of Agriculture.     

Binarised regression tasks: methods and evaluation metrics

Some supervised tasks are presented with a numerical output but decisions have to be made in a discrete, binarised, way, according to a particular cutoff. This binarised regression task is a very common situation that requires its own analysis, different from regression and classification—and ordinal regression. We first investigate the application cases in terms of the information about the distribution and range of the cutoffs and distinguish six possible scenarios, some of which are more common than others. Next, we study two basic approaches: the retraining approach, which discretises the training set whenever the cutoff is available and learns a new classifier from it, and the reframing approach, which learns a regression model and sets the cutoff when this is available during deployment. In order to assess the binarised regression task, we introduce context plots featuring error against cutoff. Two special cases are of interest, the \( UCE \) and \( OCE \) curves, showing that the area under the former is the mean absolute error and the latter is a new metric that is in between a ranking measure and a residual-based measure. A comprehensive evaluation of the retraining and reframing approaches is performed using a repository of binarised regression problems created on purpose, concluding that no method is clearly better than the other, except when the size of the training data is small.