Polynomial-complexity deadlock avoidance policies for sequentialresource allocation systems

The development of efficient deadlock avoidance policies (DAPs) for sequential resource allocation systems (RASs) is a problem of increasing interest in the scientific community, largely because of its relevance to the design of large-scale flexibly automated manufacturing systems. Much of the work on this problem existing in the literature is focused on the so-called single-unit RAS model, which is the simplest model in the considered class of RASs. Furthermore, due to a well-established result stating that, even for single-unit RASs, the computation of the maximally permissive DAP is intractable (NP-hard), many researchers (including our group) have focused on obtaining good suboptimal policies which are computationally tractable (scalable) and provably correct. In the first part of the paper, it is shown, however, that for a large subset (in fact, a majority) of single-unit RASs, the optimal DAP can be obtained in real-time with a computational cost which is a polynomial function of the system size (i.e., the number of resource types and the distinct route stages of the processes running through the system). The implications of this result for the entire class of single-unit RASs are also explored. With a result on the design of optimal DAPs for single-unit RASs, the second part of the paper concentrates on the development of scalable and provably correct DAPs for the more general case of conjunctive RASs     

The held out wings (how) Drosophila gene encodes a putative RNA-binding protein involved in the control of muscular and cardiac activity

In an attempt to identify genes that are involved in Drosophila embryonic cardiac development, we have cloned and characterized a gene whose function is required late in embryogenesis to control heart rate and muscular activity. This gene has been named held out wings (how) because hypomorphic mutant alleles produce adult animals that have lost their ability to fly and that keep their wings horizontal at a 90 degree angle from the body axis. In contrast to the late phenotype observed in null mutants, the How protein is expressed early in the invaginating mesoderm and this expression is apparently under the control of twist. When the different mesodermal lineages segregate, the expression of How becomes restricted to the myogenic lineage, including the cardioblasts and probably all the myoblasts. Antibodies directed against the protein demonstrate that How is localized to the nucleus. how encodes a protein containing one KH-domain which has been implicated in binding RNA. how is highly related to the mouse quaking gene which plays a role at least in myelination and that could serve to link a signal transduction pathway to the control of mRNA metabolism. The properties of the how gene described herein suggest that this gene participates in the control of expression of as yet unidentified target mRNAs coding for proteins essential to cardiac and muscular activity.     

Reading in Arabic orthography: the effect of vowels and context on reading accuracy of poor and skilled native Arabic readers in reading paragraphs, sentences, and isolated words

This study investigated the effect of vowels and context on the reading accuracy of poor and skilled native Arabic readers in reading paragraphs, sentences, and words. Central to this study is the belief that reading theory today should consider additional variables, especially when explaining the reading process in Arabic orthography among poor and normal/skilled readers. This orthography has not been studied. Reading theory today is the sum of conclusions from studies conducted in Latin orthography. The subjects were 77 native Arabic speakers, 34 of them poor readers and 44 normal/skilled readers. The subjects had to read in Arabic 15 paragraphs, 60 sentences, and 210 words. There were three reading conditions: fully vowelized, partially vowelized, and unvowelized texts. The results showed that vowels and contexts were important variables to facilitate word recognition in poor and normal/skilled readers in Arabic orthography.     

Viscoelastic response of solid rocket motor components for service life assessment

A methodology for determining the response of rocket motor materials and bondlines to thermal loadings by measuring their dynamic mechanical properties is reported. The critical temperatures at which debonding and/or propellant cracking occur and the number of thermal cycles required to induce failure were evaluated. These results were compared with those from instrumented rocket motors subjected to similar thermal loadings. A model, developed for fibre reinforced composites, was applied to the propellant-inhibitor bimaterial obtained from a rocket motor. The internal energy dissipation due to a lack of perfect adhesion at the propellant–inhibitor interface, tan δ_adh, was used to give an indication of the failure mode of the bondline (i.e., adhesive failure at the interface or cohesive failure in the propellant) and the bond adhesion parameter, C, was related to the bond strength measured by rectangular bond-in-tension tests. This revised version was published online in November 2006 with corrections to the Cover Date.     

A process model for active brazing of ceramics: Part II Optimization of brazing conditions and joint properties

In the present investigation, the process model developed in Part I has been applied to evaluate the microstructure and strength evolution during active brazing of ceramics. As a starting point, reaction-layer growth is assumed to occur isothermally with no restrictions in the supply of reactive element. Different kinds of diagrams are then constructed to show how specific process variables (e.g. the heating and cooling period, the limiting layer thickness, and the diffusion mechanism) affect the growth kinetics. It is concluded that the key to improved joint properties lies in control of the reaction-layer thickness through optimization of the brazing conditions, and an illustration of this is given. This revised version was published online in November 2006 with corrections to the Cover Date.     

Effect of dynamic strain ageing on the tensile properties of a modified 9Cr–1Mo steel

Tensile testing of a modified 9Cr–1Mo steel in two microstructural conditions (710T– normalized at 1100°C, tempered at 710°C, and 550T – normalized at 1100°C tempered at 550°C) in the temperature range 25–450°C, under strain rates of 2.3×10-5–2.3×10-3s-1, exhibited serrated flow curves, with serrations appearing almost at the onset of deformation and disappearing before ultimate strengths were attained. The serrated flow curves (characteristics of dynamic strain ageing) were accompanied by increased ultimate strengths, loss of ductility and negative strain-rate sensitivity, relative to the ambient temperature properties. However, the increase in ultimate strength and the reduction in ductility were much larger for 710T specimens, as compared to 550T ones. In the dynamic strain ageing regime, the work-hardenability of 710T specimens increased rapidly while that of 550T specimens remained practically unaffected. Based on the microstructural consideration and the observed activation energy of 45 kJ mol-1, it is proposed that serrations are initiated by a nitrogen atmosphere formation on the waiting dislocations by a pipe diffusion mechanism, and they disappear by diffusion to the precipitate sinks during deformation. Because the fine alloy carbide precipitates in 550T specimens are more effective sinks than those of 710T ones, they can cause much faster depletion of the atmosphere, resulting in a much smaller effect of dynamic strain ageing on the tensile properties of 550T specimens.     

Designing better adaptive sampling algorithms for ECG Holtersystems

Let Ψ be any adaptive sampling algorithm that can run in real time on a tapeless multichannel electrocardiogram (ECG) Holter system. Simple methods which can significantly improve Ψ's fidelity are described and their results are compared in this paper. It is shown that by adding some simple tests to Ψ, the signals reconstructed by Ψ can be improved as much as 5.45 dB. It is also shown that under the same data rate, a good data compressor with slowly sampled input ECG is preferable to a bad data compressor with highly sampled input ECG     

A construction of codes with exponential error bounds on arbitrarydiscrete memoryless channels

This correspondence proposes an explicit construction of codes achieving capacity for arbitrary discrete memoryless channels. The proposed code is obtained by concatenating variable inner codes and an algebraic geometry code. Further, we clarify that the proposed code achieves the error exponent obtained by Forney for concatenated codes     

A fast spatial-domain method for the suppression ofexcitation-induced spurious modes in SCN TLM

An efficient method for the suppression of excitation-induced spurious modes in the symmetrical condensed node (SCN) transmission-line matrix (TLM) method is presented for the general case of dielectric, anisotropic, or lossy media in planar structures. A special mapping of the field-excitation onto the wave amplitudes of the TLM algorithm completely prevents the emanation of the spurious modes. The application of the mapping in the k-ω space can be done for waveguides with low computational effort. The method is generalized for planar structures with high spatial frequencies of the field at the discontinuities. We use precomputed field templates at the entrance of the three-dimensional (3-D) structures. The mapping is mainly done in the space domain based on the quasi-TEM propagation of the guided waves to keep the computational effort low. Instead of the four-dimensional (4-D) k-ω transformation, only independent one-dimensional (1-D) transformations to the wave coefficient of the conductors direction and ω are necessary. In the case of propagation with low dispersion, the expenditure can be further reduced to 1-D transformations with respect to ω. The efficiency of the present method is demonstrated by investigation of a coplanar waveguide and a triplate waveguide