Abstract-Property testing is a rapidly growing field of research. Typically, a property testing algorithm proceeds by quickly determining whether an input can satisfy some condition, under the assumption that most inputs do not satisfy it. If the input is "far" from satisfying the condition, the algorithm is guaranteed to reject it with high probability. Applying this paradigm to image detection is desirable since images are large objects and a lot of time can be saved by quickly rejecting images which are "far" from satisfying a certain condition the user is interested in. Further, typically most inputs are, indeed, "far" from the sought images. We demonstrate this by analyzing the problem of deciding whether a binary image can be partitioned according to a template represented by a rectangular grid, and introduce a quick "rejector," which tests an image extracted from the input image, but whose size, as well as the time required to construct it, are constants which are independent of the input image size. With high probability, the rejector dismisses the inputs which are "far" from the template.
We consider three parallel service models in which customers of several types are served by several types of servers subject to a bipartite compatibility graph, and the service policy is first come first served. Two of the models have a fixed set of servers. The first is a queueing model in which arriving customers are assigned to the longest idling compatible server if available, or else queue up in a single queue, and servers that become available pick the longest waiting compatible customer, as studied by Adan and Weiss, 2014. The second is a redundancy service model where arriving customers split into copies that queue up at all the compatible servers, and are served in each queue on FCFS basis, and leave the system when the first copy completes service, as studied by Gardner et al., 2016. The third model is a matching queueing model with a random stream of arriving servers. Arriving customers queue in a single queue and arriving servers match with the first compatible customer and leave immediately with the customer, or they leave without a customer. The last model is relevant to organ transplants, to housing assignments, to adoptions and many other situations.We study the relations between these models, and show that they are closely related to the FCFS infinite bipartite matching model, in which two infinite sequences of customers and servers of several types are matched FCFS according to a bipartite compatibility graph, as studied by Adan et al., 2017. We also introduce a directed bipartite matching model in which we embed the queueing systems. This leads to a generalization of Burke's theorem to parallel service systems.
The operation of blood bank systems is characterized by two crucial factors: testing procedures and perishability. We propose a new testing procedure that we term Recycled Incomplete Identification Procedure (RIIP). In RIIP, groups of pooled blood units which are found contaminated in a so-called ELISA test are divided into smaller subgroups and again group-tested by ELISA, and so forth, until finally a so-called PCR test is conducted for those subgroups which are found clean. We analyze and optimize the performance of RIIP, maximizing the profit associated with the procedure. Our numerical results suggest that it may indeed be profitable to do several cycles at ELISA.
We introduce a queueing system that alternates between two modes, so-called working mode and vacation mode. During the working mode the system runs as an M X /G/1 queue. Once the number of customers in the working mode drops to zero the vacation mode begins. During the vacation mode the system runs as a general queueing system (a service might be included) which is different from the one in the working mode. The vacation period ends in accordance with a given stopping rule, and then a random number of customers are transferred to the working mode. For this model we show that the conditional probability generating function of the number of customers given that the system is in the working mode is a product of three terms. This decomposition result puts under the same umbrella some models that have already been introduced in the past as well as some new models.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.