Automatic recognition of induction variables and recurrence relations by abstract interpretation

1990 ◽  
Vol 25 (6) ◽  
pp. 283-295 ◽  
Author(s):  
Zahira Ammarguellat ◽  
W. L. Harrison
Keyword(s):  
Recurrence Relations ◽  
Abstract Interpretation ◽  
Automatic Recognition ◽  
Induction Variables

Existence of a pair of new recurrence relations for the Meixner-Pollaczek polynomials

2018 ◽  
Vol 11 (3) ◽  
pp. 29-39
Author(s):  
E. I. Jafarov ◽  
A. M. Jafarova ◽  
S. M. Nagiyev
Keyword(s):  
Recurrence Relations ◽  
Pollaczek Polynomials

COMMUNICATION OF COMMON AND MARGINAL CHARACTERISTICS OF CONDITIONS IN A TWO-CHANNEL SYSTEM WITH SIMPLE STREAMLINES OF APPLICATIONS

2017 ◽  
pp. 7-19 ◽  
Author(s):  
Georgiy Aleksandrovich Popov
Keyword(s):  
Operating Systems ◽  
Queue Length ◽  
Recurrence Relations ◽  
Queuing Systems ◽  
Channel System ◽  
Current Period ◽  
Multichannel Systems ◽  
Incoming Call ◽  
Marginal Values ◽  
Time Required

The article deals with a two-channel queuing system with a Poisson incoming call flow, in which the application processing time on each of the devices is different. Such models are used, in particular, when describing the operation of the system for selecting service requests in a number of operating systems. A complex system characteristic was introduced at the time of service endings on at least one of the devices, including the queue length, the remaining service time on the occupied device, and the time since the beginning of the current period of employment. This characteristic determines the state of the system at any time. Recurrence relations are obtained that connect this characteristic with its marginal values when there is no queue in the system. The method of introducing additional events was chosen as one of the main methods for analyzing the model. The relationships presented in this article can be used for analysis of the average characteristics of this system, as well as in the process of its simulation. Summarizing the results of work on multichannel systems with an arbitrary number of servicing devices will significantly reduce the time required for simulating complex systems described by sets of multichannel queuing systems.

Sign in / Sign up

Export Citation Format

Share Document