scholarly journals Fixed point models of loss networks

Author(s):  
F. P. Kelly

AbstractIn this paper we review a simple class of fixed point models for loss networks. We illustrate how these models can readily deal with heterogeneous call types and with simple dynamic routing strategies, and we outline some of the recent mathematical advances in the study of such models. We describe how fixed point models lead to a natural and tractable definition of the implied cost of carrying a call, and how this concept is related to issues of routing and capacity expansion in loss networks.

Symmetry ◽  
2020 ◽  
Vol 13 (1) ◽  
pp. 32
Author(s):  
Pragati Gautam ◽  
Luis Manuel Sánchez Ruiz ◽  
Swapnil Verma

The purpose of this study is to introduce a new type of extended metric space, i.e., the rectangular quasi-partial b-metric space, which means a relaxation of the symmetry requirement of metric spaces, by including a real number s in the definition of the rectangular metric space defined by Branciari. Here, we obtain a fixed point theorem for interpolative Rus–Reich–Ćirić contraction mappings in the realm of rectangular quasi-partial b-metric spaces. Furthermore, an example is also illustrated to present the applicability of our result.


1984 ◽  
Vol 49 (1) ◽  
pp. 47-50 ◽  
Author(s):  
Frederic B. Fitch

In [3] a definition of negation was presented for the system K′ of extended basic logic [1], but it has since been shown by Peter Päppinghaus (personal communication) that this definition fails to give rise to the law of double negation as I claimed it did. The purpose of this note is to revise this defective definition in such a way that it clearly does give rise to the law of double negation, as well as to the other negation rules of K′.Although Päppinghaus's original letter to me was dated September 19, 1972, the matter has remained unresolved all this time. Only recently have I seen that there is a simple way to correct the definition. I am of course very grateful to Päppinghaus for pointing out my error in claiming to be able to derive the rule of double negation from the original form of the definition.The corrected definition will, as before, use fixed-point operators to give the effect of the required kind of transfinite induction, but this time a double transfinite induction will be used, somewhat like the double transfinite induction used in [5] to define simultaneously the theorems and antitheorems of system CΓ.


Mathematics ◽  
2019 ◽  
Vol 7 (10) ◽  
pp. 884 ◽  
Author(s):  
Tahair Rasham ◽  
Giuseppe Marino ◽  
Abdullah Shoaib

Recently, George et al. (in Georgea, R.; Radenovicb, S.; Reshmac, K.P.; Shuklad, S. Rectangular b-metric space and contraction principles. J. Nonlinear Sci. Appl. 2015, 8, 1005–1013) furnished the notion of rectangular b-metric pace (RBMS) by taking the place of the binary sum of triangular inequality in the definition of a b-metric space ternary sum and proved some results for Banach and Kannan contractions in such space. In this paper, we achieved fixed-point results for a pair of F-dominated mappings fulfilling a generalized rational F-dominated contractive condition in the better framework of complete rectangular b-metric spaces complete rectangular b-metric spaces. Some new fixed-point results with graphic contractions for a pair of graph-dominated mappings on rectangular b-metric space have been obtained. Some examples are given to illustrate our conclusions. New results in ordered spaces, partial b-metric space, dislocated metric space, dislocated b-metric space, partial metric space, b-metric space, rectangular metric spaces, and metric space can be obtained as corollaries of our results.


2020 ◽  
Vol 12 (2) ◽  
pp. 392-400
Author(s):  
Ö. Biçer ◽  
M. Olgun ◽  
T. Alyildiz ◽  
I. Altun

The definition of related mappings was introduced by Fisher in 1981. He proved some theorems about the existence of fixed points of single valued mappings defined on two complete metric spaces and relations between these mappings. In this paper, we present some related fixed point results for multivalued mappings on two complete metric spaces. First we give a classical result which is an extension of the main result of Fisher to the multivalued case. Then considering the recent technique of Wardowski, we provide two related fixed point results for both compact set valued and closed bounded set valued mappings via $F$-contraction type conditions.


2020 ◽  
Vol 25 (3) ◽  
pp. 1-15 ◽  
Author(s):  
Hanan Sabah Lazam ◽  
Salwa Salman Abed

In this article, we recall the definition of a real n-normed space and some basic properties. fixed point theorems for types of Kannan, Chatterge, Zamfirescu, -Weak contraction and  - (,)-Weak contraction mappings in  Banach spaces.


Author(s):  
Yuqing Li ◽  
Xing He ◽  
Dawen Xia

Chaotic maps with higher chaotic complexity are urgently needed in many application scenarios. This paper proposes a chaotification model based on sine and cosecant functions (CMSC) to improve the dynamic properties of existing chaotic maps. CMSC can generate a new map with higher chaotic complexity by using the existing one-dimensional (1D) chaotic map as a seed map. To discuss the performance of CMSC, the chaos properties of CMSC are analyzed based on the mathematical definition of the Lyapunov exponent (LE). Then, three new maps are generated by applying three classical 1D chaotic maps to CMSC respectively, and the dynamic behaviors of the new maps are analyzed in terms of fixed point, bifurcation diagram, sample entropy (SE), etc. The results of the analysis demonstrate that the new maps have a larger chaotic region and excellent chaotic characteristics.


2012 ◽  
Vol 3 (4) ◽  
pp. 49-65
Author(s):  
Sarika Jain ◽  
S. L. Singh ◽  
S. N. Mishra

Barnsley (2006) introduced the notion of a fractal top, which is an addressing function for the set attractor of an Iterated Function System (IFS). A fractal top is analogous to a set attractor as it is the fixed point of a contractive transformation. However, the definition of IFS is extended so that it works on the colour component as well as the spatial part of a picture. They can be used to colour-render pictures produced by fractal top and stealing colours from a natural picture. Barnsley has used the one-step feed- back process to compute the fractal top. In this paper, the authors introduce a two-step feedback process to compute fractal top for contractive and non-contractive transformations.


1984 ◽  
Vol 36 (3) ◽  
pp. 495-519
Author(s):  
Jiří Adámek ◽  
Wolfgang Merzenich

In the literature about the definition of data types there exist many approaches using some concept of fixed point. Wand [13] and Lehmann, Smyth [9] e.g. constructed data types as least fixed points of functors F:K → K. Arbib and Manes [3] showed that some data types turn out to be the greatest fixed points of such endofunctors. In this paper we regard least and greatest fixed points that have a given property.


2001 ◽  
Vol 12 (10) ◽  
pp. 1537-1544 ◽  
Author(s):  
A. S. ELGAZZAR

The Sznajd model for the opinion formation is generalized to small-world networks. This generalization destroyed the stalemate fixed point. Then a simple definition of leaders is included. No fixed points are observed. This model displays some interesting aspects in sociology. The model is investigated using time series analysis.


1951 ◽  
Vol 16 (2) ◽  
pp. 112-120 ◽  
Author(s):  
Schiller Joe Scroggs

Dugundji has proved that none of the Lewis systems of modal logic, S1 through S5, has a finite characteristic matrix. The question arises whether there exist proper extensions of S5 which have no finite characteristic matrix. By an extension of a sentential calculus S, we usually refer to any system S′ such that every formula provable in S is provable in S′. An extension S′ of S is called proper if it is not identical with S. The answer to the question is trivially affirmative in case we make no additional restrictions on the class of extensions. Thus the extension of S5 obtained by adding to the provable formulas the additional formula p has no finite characteristic matrix (indeed, it has no characteristic matrix at all), but this extension is not closed under substitution—the formula q is not provable in it. McKinsey and Tarski have defined normal extensions of S4* by imposing three conditions. Normal extensions must be closed under substitution, must preserve the rule of detachment under material implication, and must also preserve the rule that if α is provable then ~◊~α is provable. McKinsey and Tarski also gave an example of an extension of S4 which satisfies the first two of these conditions but not the third. One of the results of this paper is that every extension of S5 which satisfies the first two of these conditions also satisfies the third, and hence the above definition of normal extension is redundant for S5. We shall therefore limit the extensions discussed in this paper to those which are closed under substitution and which preserve the rule of detachment under material implication. These extensions we shall call quasi-normal. The class of quasi-normal extensions of S5 is a very broad class and actually includes all extensions which are likely to prove interesting. It is easily shown that quasi-normal extensions of S5 preserve the rules of replacement, adjunction, and detachment under strict implication. It is the purpose of this paper to prove that every proper quasi-normal extension of S5 has a finite characteristic matrix and that every quasi-normal extension of S5 is a normal extension of S5 and to describe a simple class of characteristic matrices for S5.


Sign in / Sign up

Export Citation Format

Share Document