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.     

Measurement of PLL phase error caused by power supply noise

The measurement of the accumulated phase error of phase-locked loops (PLLs) in microprocessor systems is discussed. A system which creates controlled power supply noise and measures the PLL response is described. Examples of the use of this technique are shown for a PLL used in a 400 MHz microprocessor     

Multiterminal light-emitting logic device electricallyreprogrammable between OR and NAND functions

A monolithic multiterminal logic device that functions both optically and electrically as an ORNAND gate, is demonstrated for the first time. The device, based on the real-space transfer of hot electrons into a complementary collector layer, has been implemented in an InGaAs/InAlAs/InGaAs heterostructure grown by molecular beam epitaxy. Excellent performance is obtained at room temperature. The collector current and the optical output power both exhibit the OR and the NAND functions of any two of the three input terminals, these functions being interchangeable by the voltage on the third terminal     

Analysis and Modelling of the LPC VD Annular Reactor

This paper presents the results of our work on a new type of CVD reactor, annular reactor. This equipment is able to deposit pure silicon and also in-situ phosphorus doped silicon on a large number of substrates     

Discriminative stimulus properties of ethanol in the rat: differential effects of selective and nonselective benzodiazepine receptor agonists

Rats were trained to discriminate between ethanol (1.0 g/kg; 10% v/v) and saline under a fixed ratio 10 schedule of sweetened milk reinforcement. Both diazepam [nonselective, full benzodiazepine (BZ) receptors agonist] and bretazenil (nonselective, partial BZ receptor agonist) produced dose-dependent ethanol-appropriate responding (>75%). Neither diazepam nor bretazenil affected the response rate at the doses producing maximal generalisation from ethanol. In contrast, zolpidem (full BZ1 receptor agonist) and abecarnil (full BZ1/full or partial BZ2 receptor agonist) produced only moderate (<50%) ethanol-appropriate responding when tested up to doses that markedly decreased the overall response rate. These results suggest that: 1) there are no major differences between full and partial, nonselective BZ receptor agonists in their ability to substitute for 1.0 g/kg dose of ethanol; 2) stimulation of BZ1 receptors alone is not sufficient to produce ethanol-like discriminative stimulus effects in the rat.     

Linear crosstalk in 4×4 semiconductor optical amplifier gateswitch matrix

We report a comprehensive crosstalk investigation of a packaged InGaAsP/InP 4×4 semiconductor optical amplifier gate switch matrix, experimentally as well as theoretically. For a fully loaded switch with the same wavelength on all four inputs, all possible switching combinations are analyzed, thus yielding realistic crosstalk figures. Coherent and incoherent crosstalk phenomena are identified, and a switch crosstalk less than -40 dB has been measured