Diffusion limits for shortest remaining processing time queues

We present a heavy traffic analysis for a single server queue with renewal arrivals and generally distributed i.i.d. service times, in which the server employs the Shortest Remaining Processing Time (SRPT) policy. Under typical heavy traffic assumptions, we prove a diffusion limit theorem for a measure-valued state descriptor, from which we conclude a similar theorem for the queue length process. These results allow us to make some observations on the queue length optimality of SRPT. In particular, they provide the sharpest illustration of the well-known tension between queue length optimality and quality of service for this policy.Comment: 19 pages; revised, fixed typos. To appear in Stochastic System

Adaptive Matching for Expert Systems with Uncertain Task Types

A matching in a two-sided market often incurs an externality: a matched resource may become unavailable to the other side of the market, at least for a while. This is especially an issue in online platforms involving human experts as the expert resources are often scarce. The efficient utilization of experts in these platforms is made challenging by the fact that the information available about the parties involved is usually limited. To address this challenge, we develop a model of a task-expert matching system where a task is matched to an expert using not only the prior information about the task but also the feedback obtained from the past matches. In our model the tasks arrive online while the experts are fixed and constrained by a finite service capacity. For this model, we characterize the maximum task resolution throughput a platform can achieve. We show that the natural greedy approaches where each expert is assigned a task most suitable to her skill is suboptimal, as it does not internalize the above externality. We develop a throughput optimal backpressure algorithm which does so by accounting for the `congestion' among different task types. Finally, we validate our model and confirm our theoretical findings with data-driven simulations via logs of Math.StackExchange, a StackOverflow forum dedicated to mathematics.Comment: A part of it presented at Allerton Conference 2017, 18 page

Robust automated servicing of passenger train fluids

To meet increased capacity demands of passengers in the rail industry, a robotic and autonomous system that services the fluids on passenger rail vehicles was proposed. A hierarchical task analysis of fluid servicing processes was conducted and human and system errors were highlighted. This information, along with opinions of technical managers and staff were inputted into a quality function deployment matrix to make a design specification; from this specification two concepts were proposed. Both concepts are viable but modification to rail vehicles is required. A proof of concept will next be developed to begin a path to a commercial product.Brunel University London would like to acknowledge RSSB and RRUKA for funding this project and providing contact with key rail stakeholders

Technology for the Future: In-Space Technology Experiments Program, part 2

The purpose of the Office of Aeronautics and Space Technology (OAST) In-Space Technology Experiments Program In-STEP 1988 Workshop was to identify and prioritize technologies that are critical for future national space programs and require validation in the space environment, and review current NASA (In-Reach) and industry/ university (Out-Reach) experiments. A prioritized list of the critical technology needs was developed for the following eight disciplines: structures; environmental effects; power systems and thermal management; fluid management and propulsion systems; automation and robotics; sensors and information systems; in-space systems; and humans in space. This is part two of two parts and contains the critical technology presentations for the eight theme elements and a summary listing of critical space technology needs for each theme

Pilot interaction with automated airborne decision making systems

The role of the pilot and crew for future aircraft is discussed. Fifteen formal experimental studies and the development of a variety of models of human behavior based on queueing history, pattern recognition methods, control theory, fuzzy set theory, and artificial intelligence concepts are presented. L.F.M

Dynamic Window-Constrained Scheduling for Real-Time Media Streaming

This paper describes an algorithm for scheduling packets in real-time multimedia data streams. Common to these classes of data streams are service constraints in terms of bandwidth and delay. However, it is typical for real-time multimedia streams to tolerate bounded delay variations and, in some cases, finite losses of packets. We have therefore developed a scheduling algorithm that assumes streams have window-constraints on groups of consecutive packet deadlines. A window-constraint defines the number of packet deadlines that can be missed in a window of deadlines for consecutive packets in a stream. Our algorithm, called Dynamic Window-Constrained Scheduling (DWCS), attempts to guarantee no more than x out of a window of y deadlines are missed for consecutive packets in real-time and multimedia streams. Using DWCS, the delay of service to real-time streams is bounded even when the scheduler is overloaded. Moreover, DWCS is capable of ensuring independent delay bounds on streams, while at the same time guaranteeing minimum bandwidth utilizations over tunable and finite windows of time. We show the conditions under which the total demand for link bandwidth by a set of real-time (i.e., window-constrained) streams can exceed 100% and still ensure all window-constraints are met. In fact, we show how it is possible to guarantee worst-case per-stream bandwidth and delay constraints while utilizing all available link capacity. Finally, we show how best-effort packets can be serviced with fast response time, in the presence of window-constrained traffic

A quality of service architecture for WLAN-wired networks to enhance multimedia support

Includes abstract.Includes bibliographical references (leaves 77-84).The use of WLAN for the provision of IP multimedia services faces a number of challenges which include quality of service (QoS). Because WLAN users access multimedia services usually over a wired backbone, attention must be paid to QoS over the integrated WLAN-wired network. This research focuses on the provision of QoS to WLAN users accessing multimedia services over a wired backbone. In this thesis, the IEEE 802.11-2007 enhanced data channel access (EDCA) mechanism is used to provide prioritized QoS on the WLAN media access control (MAC) layer, while weighted round robin (WRR) queue scheduling is used to provide prioritized QoS at the IP layer. The inter-working of the EDCA scheme in the WLAN and the WRR scheduling scheme in the wired network provides end-to-end QoS on a WLAN-wired IP network. A mapping module is introduced to enable the inter-working of the EDCA and WRR mechanisms

Study of space shuttle environmental control and life support problems

Four problem areas were treated: (1) cargo module environmental control and life support systems; (2) space shuttle/space station interfaces; (3) thermal control considerations for payloads; and (4) feasibility of improving system reusability