20091556
Allocating kanbans for a production system in a general configuration with a new control strategy
We consider a production system in a general configuration with a new control strategy: the push policy for the part sending and the kanban mechanism for the work-in-process (WIP). The production system is composed of many stations (or workshops) such as an entry station, a set of workstations, a central station, and an exit station. This type of system is modeled as an open queueing network (OQN) in a general configuration with a Markov-type part sending policy and a machine no blocking (MNB) mechanism. The most important performance measures of the production system are the total throughput of the workstations and the total blocking flow of blocked parts sent from the workstations to the central station. This paper discusses an optimization problem with multiple objectives: allocate kanbans to the workstations so as to simultaneously maximize the total throughput and minimize the total blocking flow. Based on a semi-open decomposition approach, several useful properties of the system are characterized. These properties are used to develop a marginal algorithm for the optimization problem. Moreover, a dynamic simulation approach is devised as a tool for evaluating the quality of the solutions obtained by the algorithm. Numerical experiments are provided to demonstrate the efficiency of the algorithm through the simulation approach.
5191709
Discrete Time Geo/G/1 Queue with Multiple Adaptive Vacations
This paper treats the discrete time Geometric/G/1 system with vacations. In this system, after serving all customers in the system, the server will take a random maximum number of vacations before returning to the service mode. The stochastic decomposition property of steady-state queue length and waiting time has been proven. The busy period, vacation mode period, and service mode period distributions are also derived. Several common vacation policies are special cases of the vacation policy presented in this study.
1280703
Stationary Distributions of GI/M/c Queue with PH Type Vacations
We study a GI/M/c type queueing system with vacations in which all servers take vacations together when the system becomes empty. These servers keep taking synchronous vacations until they find waiting customers in the system at a vacation completion instant.The vacation time is a phase-type (PH) distributed random variable. Using embedded Markov chain modeling and the matrix geometric solution methods, we obtain explicit expressions for the stationary probability distributions of the queue length at arrivals and the waiting time. To compare the vacation model with the classical GI/M/c queue without vacations, we prove conditional stochastic decomposition properties for the queue length and the waiting time when all servers are busy. Our model is a generalization of several previous studies.
41203874
Optimal Two-Threshold Policies in an M/G/1 Queue With Two Vacation Types
This paper treats two-threshold policies for an M/G/1 queue with two types of generally distributed random vacations: type 1 (long) and type 2 (short) vacations. Upon returning from a vacation, the server observes the queue length. If this is less than the lower threshold, the server takes a type 1 vacation; if it is between the two thresholds, the server takes a type 2 vacation; and if it is at or above the upper threshold, the server resumes serving the queue exhaustively. There is a shutdown cost for starting a series of vacations, a linear customer waiting cost, and type-dependent vacation reward rates. Renewal theory or the PASTA property is used to develop expressions for the average queue length and the average system cost for generally distributed vacations. A search procedure, which is provably finite for exponentially distributed vacations, is developed for determining the optimal threshold values.
14053219
Distributed Algorithm for Service Replication in Service Overlay Network
The service overlay network (SON) is an effective mean to deploy end-to-end QoS guaranteed content delivery services on the current Internet. We model the content delivery service on a SON as a service delivery tree (SDT). Previous studies have addressed the optimal distribution tree formulation issues. In this paper, we focus on the problem of maximizing the total operation profit of the SON. In [1], authors introduced a cost model for optimal bandwidth provisioning in SON. In this paper, we extended this concept and propose an alternative approach to maximize the total effective throughput of SDT as well as to minimize the QoS violation penalty of the SON by service replication. We present both centralized and distributed algorithms for the placement of replicated servers on the SDT. Experiments are carried to quantify the merit, effectiveness and the scalability of the proposed service replication algorithm. In particular, the performance gain is very close to the exhaustive search. The algorithm performs well when we scale up the service overlay networks. Finally, we show that one only needs to perform a small number of replications to attain the optimal gain.
3065647
A core stateless bandwidth broker architecture for scalable support of guaranteed services
We present a novel bandwidth broker architecture for scalable support of guaranteed services that decouples the QoS control plane from the packet forwarding plane. More specifically, under this architecture, core routers do not maintain any QoS reservation states, whether per-flow or aggregate. Instead, the QoS reservation states are stored at and managed by a bandwidth broker. There are several advantages of such a bandwidth broker architecture. Among others, it avoids the problem of inconsistent QoS states faced by the conventional hop-by-hop, distributed admission control approach. Furthermore, it allows us to design efficient admission control algorithms without incurring any overhead at core routers. The proposed bandwidth broker architecture is designed based on a core stateless virtual time reference system developed recently. This virtual time reference system provides a unifying framework to characterize, in terms of their abilities to support delay guarantees, both the per-hop behaviors of core routers and the end-to-end properties of their concatenation. We focus on the design of efficient admission control algorithms under the proposed bandwidth broker architecture. We consider both per-flow end-to-end guaranteed delay services and class-based guaranteed delay services with flow aggregation. Using our bandwidth broker architecture, we demonstrate how admission control can be done on a per domain basis instead of on a "hop-by-hop" basis. Such an approach may significantly reduce the complexity of the admission control algorithms. In designing class-based admission control algorithms, we investigate the problem of dynamic flow aggregation in providing guaranteed delay services and devise a new apparatus to effectively circumvent this problem. We conduct detailed analyses to provide theoretical underpinning for our schemes as well as to establish their correctness. Simulations are also performed to demonstrate the efficacy of our schemes.
157172
Computing rectifying homographies for stereo vision
Image rectification is the process of applying a pair of 2D projective transforms, or homographies, to a pair of images whose epipolar geometry is known so that epipolar lines in the original images map to horizontally aligned lines in the transformed images. We propose a novel technique for image rectification based on geometrically well defined criteria such that image distortion due to rectification is minimized. This is achieved by decomposing each homography into a specialized projective transform, a similarity transform, followed by a shearing transform. The effect of image distortion at each stage is carefully considered.
5414084
Architecture and synthesis for multi-cycle on-chip communication
There are two important infection points in the development of deep submicron (DSM) process technologies. The first point is when the average interconnect delay exceeds the gate delay, which happened during mid 1990s and led to the so-called timing closure problem. The second point is when single-cycle full chip synchronization is no longer possible, which is about to happen soon. It can be shown that, even with the aggressive interconnect optimization techniques (e.g., buffer insertion and wire-sizing), 5 clock cycles are still needed to go from corner-to-corner for the die of 28.3 mm /spl times/ 28.3 mm in the 0.07 /spl mu/m technology generation, assuming a 5.63 GHz clock by 2006 predicted in ITRS'01 (2001). This clearly suggests that multi-cycle on-chip communication is a necessity in multi-gigahertz synchronous designs. However, it is not supported in the current design tools and methodologies, as most of these implicitly assume that full chip synchronization in a single clock cycle is feasible. Our contributions are as follows: (i) we propose a regular distributed register (RDR) microarchitecture which offers high regularity and direct support of multi-cycle communication; (ii) we develop a set of novel architectural synthesis algorithms to efficiently synthesize behavior-level designs onto the RDR architecture.
7981159
Extraction of temporally correlated sources with its application to non-invasive fetal electrocardiogram extraction
This letter addresses the problem of fetal electrocardiogram (FECG) extraction. A class of source extraction algorithms is proposed and it uses a combination of two different approaches: Barros's source extraction approach and Hyvarinen's fixed-point approach. The proposed algorithms can rapidly extract the desired FECG with little noise, and can work well in some poor situations. The validity and performance of the algorithms are confirmed by extensive computer simulations and experiments on real-world data.