Avoiding deadlock is essential in the operation of highly automated manufacturing systems. Many of these systems support sufficient redundancy to permit flexible part routing. Although flexible routing improves the inherent operational flexibility of these systems, it also requires more highly sophisticated supervisory control techniques. The objective of this work is to characterize the deadlo...

This paper considers a multiclass Markovian fluid queue with a buffer of infinite capacity. Input rates of fluid flows in respective classes and the drain rate from the buffer are modulated by a continuous-time Markov chain with finite states. We derive the joint Laplace-Stieltjes transform for the stationary buffer contents in respective classes, assuming the FIFO service discipline. Further w...

A new amine buffer for the pH range 8.5 to 10.5 based on D(-)-N-methylglucamine and its hydrochloride is described. Important physical and chemical constants characterizing this buffer system have been determined: thermodynamic pKa = 9.52 (25 degrees C), buffer capacity = 0.055, dilution value pH 1/2 = -0.02, temperature coefficient dpKa/dT = 0.023, the heat of ionization delta H degrees = 36.9...

This study tested which of two crucial mechanisms of working memory (WM): attention control, consisting of focusing attention on the proper task-set as well as blocking distraction, and the active buffer capacity, related to the number of chunks that can be actively maintained, plays a more important role in WM’s contribution to fluid intelligence. In the first study, the antisaccade task was u...

Wireless voice over internet protocol (VoIP) is an important emerging service in telecommunication due to its potential for replacing cell phone communication wherever a wireless local area network (WLAN) is installed. Recent studies, however, suggest that the number of voice calls that can be supported in the widely deployed IEEE 802.11 WLAN is limited. In this paper, we utilize a so-called tr...

In this paper we describe a new algorithm for buffered global routing according to a prescribed buffer site map. Specifically, we describe a provably good multi-commodity flow based algorithm that finds a global routing minimizing buffer and wire congestion subject to given constraints on routing area (wirelength and number of buffers) and sink delays. Our algorithm allows computing the tradeof...