Doubly-striped disk mirroring: Reliable storage for video servers

Disk striping is essential in Video-On-Demand servers to allow concurrent access for a large number of users to the same copy of a video object. On the other hand, disk striping makes the system more vulnerable to component failures. We propose a replication scheme for video content and an associated I/O scheduling algorithm that enables the system to tolerate a component failure. The scheme, called doubly-striped mirrors, compares favorably to other approaches for implementing redundancy such as RAID in terms of cost, bandwidth efficiency, buffer usage and system availability.     

Certain effects of melt-shearing and cooling on the stress-strain behavior of thermoplastic elastomers

The peculiar behavior of thermoplastic elastomers in molding suggested that the processing steps (mainly shearing) to which the material had been submitted had a great influence on the morphology. Experiments were carried out on two polysstyrene-polybutadiene-polystyrene elastomers. The effects of melt-shearing and cooling were examined both by mechanical testing and low angle X-ray scattering. Melt-shearing creates a marked morphological anisotropy but a form of annealing can occur at sufficiently high temperatures.     

Accepting its random coil nature allows a partial NMR assignment of the neuronal Tau protein

A combined strategy to obtain a partial NMR assignment of the neuronal Tau protein is presented. Confronted with the extreme spectral degeneracy that the spectrum of this 441 amino acid long unstructured protein presents, we have introduced a graphical procedure based on residue type-specific product planes. Combining this strategy with the search for pairwise motifs, and combining the spectra of different Tau isoforms and even of peptides derived from the native sequence, we arrive at a partial assignment that is sufficient to map the interactions of Tau with its molecular partners. The obtained assignments equally confirm the absence of regular secondary structure in the isolated protein.     

Ionic conductivity of amorphous mNaFnMF3 thin films (M=Al,Cr)

Evaporated 0.5 to 0.7 μm thick thin films of mNaFnAlF₃ or mNafnCrF₃ were prepared in a 1 mPa vacuum on glass substrates kept at room temperature. Chemical analysis and AC conductivity measurement revealed that in each case studied, a high ionic conductivity plateau existed for the composition range $\text{0.1 <}\text{n}\text{(m+n)}\text{< 0.4}$. The maximum conductivities at room temperature were σ = 1 × 10^?6 S/mm for NaFAlF₃ and σ = 2 × 10^?5 S/m for NaFCrF₃. Those high conductivities were discussed in terms of arrangement of MF₆ octahedra.     

Performance analysis of coated plutonia particle fuel compact for radioisotope heater units

Coated plutonia particle fuel has been proposed recently for use in radioisotope power systems and radioisotope heater units for a variety of space missions requiring power levels from milliwatts to tens or even hundreds of watts. The ²³⁸PuO₂ fuel kernels are coated with a strong layer of ZrC designed to fully retain the helium gas generated by the radioactive decay of ²³⁸Pu. A recent investigation has concluded that helium retention in large-grain (200 μm) granular and polycrystalline fuel kernels is possible even at high-temperatures (>1700 K). Results of performance analysis showed that this fuel form could increase by 2.3–2.4 times the thermal power output of a light weight radioisotope heater unit. These figures are for a single-size (500 μm) particles compact, assuming 10% and 5% helium gas release respectively, and a fuel temperature of 1723 K, following 10 years of storage. A binary-size (300 and 1200 μm) particles compact increases the thermal power output of the RHU by an additional 15%.     

Timed substitutions for regular signal-event languages

In the classical framework of formal languages, a refinement operation is modeled by a substitution and an abstraction by an inverse substitution. These mechanisms have been widely studied, because they describe a change in the specification level, from an abstract view to a more concrete one, or conversely. For timed systems, there is up to now no uniform notion of substitution. In this paper, we study timed substitutions in the general framework of signal-event languages, where both signals and events are taken into account. We prove that regular signal-event languages are closed under substitution and inverse substitution. To obtain these results, we use in a crucial way a “well known” result: regular signal-event languages are closed under intersection. In fact, while this result is indeed easy for languages defined by Alur and Dill’s timed automata, it turns out that the construction is much more tricky when considering the most involved model of signal-event automata. We give here a construction working on finite and infinite signal-event words and taking into account signal stuttering, unobservability of zero-duration τ-signals and Zeno runs. Note that if several constructions have been proposed in particular cases, it is the first time that a general construction is provided.     

Approximate bisimulation relations for constrained linear systems

In this paper, we define the notion of approximate bisimulation relation between two continuous systems. While exact bisimulation requires that the observations of two systems are and remain identical, approximate bisimulation allows the observations to be different provided the distance between them remains bounded by some parameter called precision. Approximate bisimulation relations are conveniently defined as level sets of a so-called bisimulation function which can be characterized using Lyapunov-like differential inequalities. For a class of constrained linear systems, we develop computationally effective characterizations of bisimulation functions that can be interpreted in terms of linear matrix inequalities and optimal values of static games. We derive a method to evaluate the precision of the approximate bisimulation relation between a constrained linear system and its projection. This method has been implemented in a Matlab toolbox: MATISSE. An example of use of the toolbox in the context of safety verification is shown.     

Response inhibition deficit is involved in poor decision making under risk in nonamnesic individuals with alcoholism.

Individuals with alcoholism exhibit poor decision making as reflected by their continued alcohol use despite encountering problems and by low performance in laboratory tasks of decision making. Here, the authors investigated the relative contribution of several distinct processes of executive functions in performance on the Iowa Gambling Task (IGT; A. Bechara, A. R. Damasio, H. Damasio, & S. W. Anderson, 1994) in recently detoxified individuals with alcoholism. Compared to matched healthy participants, individuals with alcoholism showed below-normal scores in the last 20 trials of the IGT as well as on other tasks of executive functions, specifically those assessing the capacity to manipulate information stored in working memory, detect abstract rules, or inhibit prepotent responses. Prepotent response inhibition best predicted performance in the late trials of the IGT, that is, when participants have likely acquired knowledge about the reward/punishment contingencies of the task. These results underline the important role that response inhibition plays in decision making, especially in risky situations, when knowledge of the probability of a given outcome becomes available (i.e. decisions under risk). (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Embedded holonic fault diagnosis of complex transportation systems

The use of electronic equipment and embedded computing technologies in modern complex transportation systems continues to grow in a highly competitive market, in which product maintainability and availability is vital. These technological advances also make fault diagnosis and maintenance interventions much more challenging, since these operations require a deep understanding of the entire system. This paper proposes a holonic cooperative fault diagnosis approach, along with a generic architecture, to increase the embedded diagnosis capabilities of complex transportation systems. This concept is applied to the fault diagnosis of door systems of a railway transportation system.