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     

Infinite-dimensional convex optimization in optimal and robustcontrol theory

Many engineering problems can be shown to be equivalent to solving semidefinite programs (SPs), i.e., convex optimization problems involving linear matrix inequalities (LMIs). Powerful computation tools are available for such problems in the finite-dimensional case. However, the problems arising in optimal and robust control theory are often infinite dimensional, and so adequate computation tools are not available. The key to tackling such problems with finite computation tools is to have a primal-dual formulation of the problem without duality gap. In this paper we study infinite-dimensional SPs and present a lifting technique to recast SPs as parameterized linear programs (LPs). This enables the wealth of theoretical tools available for infinite-dimensional LPs to be extended to infinite-dimensional SPs. In particular, we develop some new sufficient conditions for the lack of a duality gap for infinite-dimensional SPs and give an exact characterization of the primal and dual problems for these cases. Both primal and dual problems are formed as infinite-dimensional SP problems, with finite truncations to each giving upper and lower bounds, respectively, on the exact solution to the infinite-dimensional problem. Thus, these results can form the basis of practical computation schemes for infinite-dimensional problems, which require only finite-dimensional computation tools. To illustrate the power of these tools we apply the results to two previously unsolved optimization problems, namely minimizing the l₁ norm of a closed-loop system subject to bounds on the frequency response magnitude at a finite number of points and/or bounds on the H₂ norm     

New advances on a posteriori error on constitutive relation in f.e. analysis

This paper deals with error estimators based on residuals on the constitutive relation which have been developed for the past 20 years at Cachan. Especially in the case of elasticity, these error estimators can become poor in situations where the material and the mesh are strongly anisotropic. The crucial point herein is the construction of equilibrated stress fields from the computed finite element solution. Therefore, in this paper, the approach and in particular this last point are re-examined. Several important modifications are introduced in the concepts and basic techniques. Hence, a new generation of error estimators which seem to be extremely robust upon initial applications has been generated.     

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.     

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     

Tensile and flexural creep rupture tests on partially-damaged concrete specimens

Three series of novel tensile and flexural creep tests on partially-damaged concrete specimens were carried out in order to gain some insight into creep crack growth and failure of strain-softening materials. In the tests, each specimen was initially loaded to a given point in the descending branch and thus had a lower load-carrying capacity than that at the peak-point. Then, the specimen was unloaded and reloaded to sustain a load which was from 70% to 95% of its current load-carrying capacity. Experimental creep curves display a three-stage process, consisting of primary, secondary and tertiary stages, with a decreasing, constant and increasing creep rate, respectively. The secondary stage dominates the whole failure lifetime, whereas both the secondary and tertiary stages are important in terms of creep deformation. Failure life-time seems to be more sensitive to the change of load level in flexural tests rather than in tensile tests. The decrease in load-carrying capacity due to damage tends to result in a shorter failure lifetime and a lower critical load level for creep rupture. The descending branch of the static load-deflection or load-CMOD curve may be used as an envelope criterion for creep fracture.     

Long-term effect of lisinopril and atenolol on kidney function in hypertensive NIDDM subjects with diabetic nephropathy

The aim of our study was to evaluate whether inhibition of ACE (lisinopril 10-20 mg/day) can reduce the rate of decline in kidney function more than reducing blood pressure with conventional antihypertensive treatment (atenolol 50-100 mg/day), usually in combination with a diuretic. We performed a prospective, randomized, parallel study for 42 months, double blind for the first 12 months and single blind thereafter. Forty-three (21 lisinopril and 22 atenolol) hypertensive NIDDM patients with diabetic nephropathy were enrolled. Data from 36 patients (17 lisinopril and 19 atenolol, 60 +/- 7 years of age, 27 men) who completed at least 12 months of the study period are presented. At baseline, the two groups were comparable: glomerular filtration rate (51Cr-EDTA plasma clearance) was 75 +/- 6 and 74 +/- 8 ml x min(-1) x 1.73 m(-2), mean 24-h ambulatory blood pressure (A&D TM2420) was 110 +/- 3 and 114 +/- 2 mmHg, and 24-h urinary albumin excretion rate was 961 (range 331-5,727) and 1,578 (476-5,806) mg/24 h in the lisinopril and atenolol groups, respectively. The mean follow-up time was similar, 37 and 35 months in the lisinopril and atenolol groups, respectively. Mean ambulatory blood pressure was equally reduced in the two groups, 12 +/- 2 and 10 +/- 2 mmHg in the lisinopril and atenolol groups, respectively. Glomerular filtration rate declined in a biphasic manner with a faster initial (0 to 6 months) change of 1.25 +/- 0.49 and 0.81 +/- 0.29 ml x min(-1) x month(-1) followed by a slower sustained decline (6 to 42 months) of 0.59 +/- 0.10 and 0.54 +/- 0.13 ml x min(-1) x month(-1) in the lisinopril and atenolol groups, respectively. No significant differences were observed in either initial or sustained decline in glomerular filtration rate between the two groups. Urinary albumin excretion was reduced (% reduction of baseline) more in the lisinopril than in the atenolol group, at 55 (95% CI 29-72) and 15% (-13 to 34), respectively (P = 0.01). In conclusion, the relentless decline in kidney function characteristically found in hypertensive NIDDM patients with diabetic nephropathy can be reduced equally effectively by two antihypertensive treatments, the beta-blocker atenolol and the ACE inhibitor lisinopril.     

Anatomical basis of the variable aspects of injuries of the axillary nerve (excluding the terminal branches in the deltoid muscle)

The course of the axillary n. is complex with three points of angulation that may be used to delineate four segments and a fifth segment that corresponds to the intramuscular ending of the nerve in the deltoid m. The purpose of this study was to determine the precise anatomy of the nerve and of its branches, and some morphologic features for each segment. Thirty-two shoulders from embalmed adult cadavers have been studied. The axillary n. was divided in five segments: 1) from its origin to the inferior border of the subscapularis m., 2) from the subscapularis m. to the anterolateral border of the tendon of the long head of the triceps brachii m., 3) from the triceps to the posteromedial part of the surgical neck of the humerus, 4) from the humerus to the entry into the deltoid m., 5) the intramuscular distribution of the nerve in the deltoid m. In each segment from 1 to 4 were noted the origins of the branches to the subscapularis and teres minor mm. and to the scapulohumeral joint, and the origins of the lateral cutaneous branchial n. and of the terminal motor branches to the deltoid m. The length and the diameter of the nerve in the segments and the distance from the segment S1 to the musculotendinous junction of the subscapularis m. were measured. The results showed that the mean diameters were about 4.1 mm in segment 1, 4.1 mm in segment 2 and 3.4 mm in segment 3. The mean distance to the musculotendinous junction was 7.7 mm. Many variations in the levels of origin of the different muscular, articular or cutaneous branches were found without symmetry between the right and left sides. The lateral cutaneous brachial n. was absent in four cases. The results are compared with those in the literature. The division into five segments is proposed to radiologists and surgeons for evaluation or operative procedures on the axillary n., and to provide a hypothesis about the variable aspects of injuries of the nerve.     

Lizards as hosts for immature Ixodes scapularis (Acari: Ixodidae) in North Carolina

Previously archived museum specimens of lizards collected throughout North Carolina were examined for Ixodes scapularis (Say). Lizards (n = 1,349) collected in 80 of North Carolina's 100 counties were examined. Lizards with ticks were collected in 23 (29%) of the 80 counties from which lizards were examined. I. scapularis was detected on 8.7% (n = 117) of the lizards and was the sole species of tick obtained from lizards. Immature ticks were most frequently found on the southeastern five-lined skink, Eumeces inexpectatus, and the eastern glass lizard, Ophisaurus ventralis. Larvae were most frequently found on the six-lined racerunner, Cnemidophorus sexlineatus. One C. sexlineatus harbored 177 larvae and 2 nymphs. Nymphs were most frequently observed on E. inexpectatus. The majority of counties (chi 2, P < 0.01) where ticks were found on lizards were in the Coastal Plain.     

Overly literal interpretations of speech in autism: understanding that messages arise from minds

Children with autism and children with Down's syndrome watched the following enactment. A protagonist put one item in location A and another in location B and then left the scene. Subsequently, the items were swapped the other way round. Finally, the protagonist (who remained ignorant of the swap) requested the item in A. The observing child participant was asked to judge (1) which item the protagonist wanted and (2) which item the protagonist put in A. Unlike children with Down's syndrome, those with autism made more errors in judging that the speaker wanted the item in B than in judging that the item the speaker put in A is now in B; children with autism wrongly tended to interpret utterances literally, and they did this significantly more frequently than children with Down's syndrome. We conclude that children with autism have a difficulty making nonliteral interpretations that cannot be explained as (1) a realist bias, (2) an inability to inhibit a prepotent response, and (3) a failure to keep track of the exchange of items.