Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "fixed points" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-25 z 26
Tytuł:
The modal mu-calculus: a survey
Autorzy:
Lenzi, G.
Powiązania:
https://bibliotekanauki.pl/articles/1964197.pdf
Data publikacji:
2005
Wydawca:
Politechnika Gdańska
Tematy:
mu-calculus
fixed points
model checking
Opis:
The modal mu-calculus is an extension of modal logic with two operators mu and ni, which give the least and greatest fixpoints of monotone operators on powersets. This powerful logic is widely used in computer science, in the area of verification of correctness of concurrent systems. In this survey we review both the theoretical aspects of the modal mu-calculus and its applications to computer science.
Źródło:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk; 2005, 9, 3; 293-316
1428-6394
Pojawia się w:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On the computation of the Nielsen numbers and the converse of the Lefschetz coincidence theorem
Autorzy:
Wong, Peter
Powiązania:
https://bibliotekanauki.pl/articles/1215078.pdf
Data publikacji:
1992
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
fixed points
coincidences
roots
Lefschetz number
Nielsen number
Opis:
Let $f,g:M_1 → M_2$ be maps where $M_1$ and $M_2$ are connected triangulable oriented n-manifolds so that the set of coincidences $C_{f,g}= {x ∈ M_1 | f(x)=g(x)}$ is compact in $M_1$. We define a Nielsen equivalence relation on $C_{f,g}$ and assign the coincidence index to each Nielsen coincidence class. In this note, we show that, for n ≥ 3, if $M_2= \widetilde M_2/K$ where $\widetilde M_2$ is a connected simply connected topological group and K is a discrete subgroup then all the Nielsen coincidence classes of f and g have the same coincidence index. In particular, when $M_1$ and $M_2$ are compact, f and g are deformable to be coincidence free if the Lefschetz coincidence number L(f,g) vanishes.
Źródło:
Fundamenta Mathematicae; 1991-1992, 140, 2; 191-196
0016-2736
Pojawia się w:
Fundamenta Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Borel partitions of unity and lower Carathéodory multifunctions
Autorzy:
Srivastava, S.
Powiązania:
https://bibliotekanauki.pl/articles/1208394.pdf
Data publikacji:
1995
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
Carathéodory functions and multifunctions
Carathéodory selections
fixed points
Opis:
We prove the existence of Carathéodory selections and representations of a closed convex valued, lower Carathéodory multifunction from a set A in $A(ℰ ⊗ ℬ(X))$ into a separable Banach space Y, where ℰ is a sub-σ-field of the Borel σ-field ℬ(E) of a Polish space E, X is a Polish space and A is the Suslin operation. As applications we obtain random versions of results on extensions of continuous functions and fixed points of multifunctions. Such results are useful in the study of random differential equations and inclusions and in mathematical economics.
  As a key tool we prove that if A is an analytic subset of E × X and if ${U_n : n ∈ w}$ is a sequence of Borel sets in A such that $A=∪_n U_n$ and the section $U_n(e)$ is open in A(e), e ∈ E, n ∈ w, then there exist Borel functions $p_n : A → [0,1]$, n ∈ w, such that for every e ∈ E, ${p_n(e,·) : n ∈ w}$ is a locally Lipschitz partition of unity subordinate to ${U_n(e) : n ∈ w}$.
Źródło:
Fundamenta Mathematicae; 1994-1995, 146, 3; 239-249
0016-2736
Pojawia się w:
Fundamenta Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Difference equations with impulses
Autorzy:
Danca, Marius
Feckan, Michal
Pospisil, Michal
Powiązania:
https://bibliotekanauki.pl/articles/255372.pdf
Data publikacji:
2019
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
difference equations
impulses
stability
fixed points
Li-Yorke chaos
Opis:
Difference equations with impulses are studied focussing on the existence of periodic or bounded orbits, asymptotic behavior and chaos. So impulses are used to control the dynamics of the autonomous difference equations. A model of supply and demand is also considered when Li-Yorke chaos is shown among others.
Źródło:
Opuscula Mathematica; 2019, 39, 1; 5-22
1232-9274
2300-6919
Pojawia się w:
Opuscula Mathematica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Integral and fractional equations, positive solutions, and Schaefer’s fixed point theorem
Autorzy:
Becker, L. C.
Burton, T. A.
Purnaras, I. K.
Powiązania:
https://bibliotekanauki.pl/articles/255409.pdf
Data publikacji:
2016
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
fixed points
fractional differential equations
integral equations
Riemann-Liouville operators
Opis:
This is the continuation of four earlier studies of a scalar fractional differential equation of Riemann-Liouville type [formula] in which we first invert it as a Volterra integral equation [formula] and then transform it into [formula] where R is completely monotone with [formula] and J is an arbitrary positive constant. Notice that when x is restricted to a bounded set, then by choosing J large enough, we can frequently change the sign of the integrand in going from (b) to (c). Moreover, the same kind of transformation will produce a similar effect in a wide variety of integral equations from applied mathematics. Because of that change in sign, we can obtain an a priori upper bound on solutions of (b) with a parameter λ ∈ (0, 1] and then obtain an a priori lower bound on solutions of (c). Using this property and Schaefer’s fixed point theorem, we obtain positive solutions of an array of fractional differential equations of both Caputo and Riemann-Liouville type as well as problems from turbulence, heat transfer, and equations of logistic growth. Very simple results establishing global existence and uniqueness of solutions are also obtained in the same way.
Źródło:
Opuscula Mathematica; 2016, 36, 4; 431-458
1232-9274
2300-6919
Pojawia się w:
Opuscula Mathematica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Solving equations by topological methods
Autorzy:
Górniewicz, L.
Powiązania:
https://bibliotekanauki.pl/articles/255235.pdf
Data publikacji:
2005
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
Lefschetz number
fixed points
CAC-maps
condensing maps
ANR-spaces
fixed point index
Opis:
In this paper we survey most important results from topological fixed point theory which can be directly applied to differential equations. Some new formulations are presented. We believe that our article will be useful for analysts applying topological fixed point theory in nonlinear analysis and in diffrential equations.
Źródło:
Opuscula Mathematica; 2005, 25, 2; 195-225
1232-9274
2300-6919
Pojawia się w:
Opuscula Mathematica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Fixed points and stability in neutral nonlinear differential equations with variable delays
Autorzy:
Ardjouni, A.
Djoudi, A.
Powiązania:
https://bibliotekanauki.pl/articles/255378.pdf
Data publikacji:
2012
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
fixed points
stability
nonlinear neutral differential equation
integral equation
variable delays
Opis:
By means of Krasnoselskii's fixed point theorem we obtain boundedness and stability results of a neutral nonlinear differential equation with variable delays. A stability theorem with a necessary and sufficient condition is given. The results obtained here extend and improve the work of C.H. Jin and J.W. Luo [Nonlinear Anal. 68 (2008), 3307-3315], and also those of T.A. Burton [Fixed Point Theory 4 (2003), 15-32; Dynam. Systems Appl. 11 (2002), 499-519] and B. Zhang [Nonlinear Anal. 63 (2005), e233-e242]. In the end we provide an example to illustrate our claim.
Źródło:
Opuscula Mathematica; 2012, 32, 1; 5-19
1232-9274
2300-6919
Pojawia się w:
Opuscula Mathematica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Fixed points of mappings in Klee admissible spaces
Autorzy:
Górniewicz, L.
Ślosarski, M.
Powiązania:
https://bibliotekanauki.pl/articles/970263.pdf
Data publikacji:
2007
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
punkt stały
Lefschetz number
fixed points
topological vector spaces
Klee admissible spaces
Opis:
In this paper we generalize the Lefschetz fixed point theorem from the case of metric ANR-s to the case of acceptable subsets of Klee admissible spaces. The results presented in this paper were announced in an earlier publication of the authors.
Źródło:
Control and Cybernetics; 2007, 36, 3; 825-832
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Classes of meromorphic multivalent functions with Montel’s normalization
Autorzy:
Dziok, Jacek
Powiązania:
https://bibliotekanauki.pl/articles/747206.pdf
Data publikacji:
2012
Wydawca:
Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
Tematy:
Meromorphic functions
varying arguments
fixed points
Montel’s normalization
subordination
Hadamard product
Opis:
In the paper we define classes of meromorphic multivalent functions with Montel’s normalization. We investigate the coefficients estimates, distortion properties, the radius of starlikeness, subordination theorems and partial sums for the defined classes of functions. Some remarks depicting consequences of the main results are also mentioned.
Źródło:
Annales Universitatis Mariae Curie-Skłodowska, sectio A – Mathematica; 2012, 66, 2
0365-1029
2083-7402
Pojawia się w:
Annales Universitatis Mariae Curie-Skłodowska, sectio A – Mathematica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Fuzzy fixed point results with rational type contractions in partially ordered complex-valued metric spaces
Autorzy:
Sarwar, Muhammad
Humaira, Humaira
Huang, Huaping
Powiązania:
https://bibliotekanauki.pl/articles/962851.pdf
Data publikacji:
2018
Wydawca:
Polskie Towarzystwo Matematyczne
Tematy:
Complex-valued metric spaces
fixed points
common fixed point
fuzzy mappings
Cauchy sequence
contractive condition
Opis:
In this manuscript, some fixed point results for fuzzy mappings with rational type contraction in the context of a complete partially ordered complex-valued metric space are established. The derived results generalize some fixed point theorems in the existing literature. An appropriate example is given.
Źródło:
Commentationes Mathematicae; 2018, 58, 1-2; 57-78
0373-8299
Pojawia się w:
Commentationes Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A generalization of the Opials theorem
Autorzy:
Cegielski, A.
Powiązania:
https://bibliotekanauki.pl/articles/970267.pdf
Data publikacji:
2007
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
punkt stały
słaba zbieżność
nonexpansive operators
asymptotically regular operators
fixed points
weak convergence
Opis:
Opial presented in 1967 a theorem, which can be applied in order to prove the weak convergence of sequences (xk) in a Hilbert space, generated by iterative schemes of the form xk+1= Uxk for a nonexpansive and asymptotically regular operator U with nonempty Fix U. Several iterative schemes have, however, the form xk+i1 = UkXk, where (Uk) is a sequence of operators with a common fixed point. We show that under some conditions on the sequence (Uk) the sequence (xk) converges weakly to a common fixed point of operators Uk- We show also that the Opial's theorem and the Krasnoselskii-Mann theorem are the corollaries descending from the obtained results. Finally, we present some applications of the results to the convex feasibility problems.
Źródło:
Control and Cybernetics; 2007, 36, 3; 601-610
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Semi-compatibility in non-archimedean Menger PM-space
Autorzy:
Singh, Bijendra
Jain, Arihant
Agarwal, Pallavi
Powiązania:
https://bibliotekanauki.pl/articles/746307.pdf
Data publikacji:
2009
Wydawca:
Polskie Towarzystwo Matematyczne
Tematy:
Non-Archimedean Menger probabilistic metric space
Common fixed points
Compatible maps
Semi-compatible maps
Opis:
The object of this paper is to establish fixed point theorem for six self maps and an example using the concept of semi-compatible self maps in a non-Archimedean Menger PM-space. Our result generalizes the result of Cho et. al. [2].
Źródło:
Commentationes Mathematicae; 2009, 49, 1
0373-8299
Pojawia się w:
Commentationes Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The automorphism groups of Zariski open affine subsets of the affine plane
Autorzy:
Jelonek, Zbigniew
Powiązania:
https://bibliotekanauki.pl/articles/1311651.pdf
Data publikacji:
1994
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
polynomial automorphisms
the set of fixed points of a polynomial automorphism
the affine plane
Opis:
We study some properties of the affine plane. First we describe the set of fixed points of a polynomial automorphism of ℂ². Next we classify completely so-called identity sets for polynomial automorphisms of ℂ². Finally, we show that a sufficiently general Zariski open affine subset of the affine plane has a finite group of automorphisms.
Źródło:
Annales Polonici Mathematici; 1994-1995, 60, 2; 163-171
0066-2216
Pojawia się w:
Annales Polonici Mathematici
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Approximating fixed points of a countable family of strict pseudocontractions in Banach spaces
Autorzy:
Cholamjiak, P.
Powiązania:
https://bibliotekanauki.pl/articles/254873.pdf
Data publikacji:
2014
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
common fixed points
convergence theorem
modified Mann iteration
strict pseudocontractions
q-uniformly smooth Banach spaces
Opis:
We prove the strong convergence of the modified Mann-type iterative scheme for a countable family of strict pseudocontractions in q-uniformly smooth Banach spaces. Our results mainly improve and extend the results announced in [Y. Yao, H. Zhou, Y.-C. Liou, Strong convergence of a modified Krasnoselski-Mann iterative algorithm for non-expansive mappings, J. Appl. Math. Comput. 29 (2009), 383–389].
Źródło:
Opuscula Mathematica; 2014, 34, 1; 67-79
1232-9274
2300-6919
Pojawia się w:
Opuscula Mathematica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Time to the convergence of evolution in the space of population states
Autorzy:
Karcz-Dulęba, I.
Powiązania:
https://bibliotekanauki.pl/articles/907643.pdf
Data publikacji:
2004
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
ewolucja fenotypowa
układ dynamiczny
punkt stały
phenotypic evolution
dynamical system
time to convergence
fixed points
Opis:
Phenotypic evolution of two-element populations with proportional selection and normally distributed mutation is considered. Trajectories of the expected location of the population in the space of population states are investigated. The expected location of the population generates a discrete dynamical system. The study of its fixed points, their stability and time to convergence is presented. Fixed points are located in the vicinity of optima and saddles. For large values of the standard deviation of mutation, fixed points become unstable and periodical orbits arise. In this case, fixed points are also moved away from optima. The time to convergence to fixed points depends not only on the mutation rate, but also on the distance of the points from unstability. Results show that a population spends most time wandering slowly towards the optimum with mutation as the main evolution factor.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2004, 14, 3; 279-287
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
General iterative method for solving fixed point problems involving a finite family of demicontractive mappings in Banach spaces
Autorzy:
Sow, Thierno
Powiązania:
https://bibliotekanauki.pl/articles/1912839.pdf
Data publikacji:
2019
Wydawca:
Polskie Towarzystwo Matematyczne
Tematy:
General iterative method
demicontractive mappings
common fixed points
accretive operators
geometric properties of Banach spaces
Opis:
The purpose of this paper is to study the general iterative method for demicontractive mappings in Banach spaces. The method gives us a~strong convergence iteration for a~finite family of demicontractive mappings and also permits us to solve variational inequality problems involving accretive operators without any compactness condition. Finally, we provide some applications, and an illustration of the proposed method is given in \(l_4\) spaces. Our results improve many recent results using the general iterative method for finding the fixed points of nonlinear operators.
Źródło:
Commentationes Mathematicae; 2019, 59, 1-2
0373-8299
Pojawia się w:
Commentationes Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Pomiary przemieszczeń szyn w strefie centralnej toru bezstykowego
Measurements of rails displacement in the central zone of contactless track
Autorzy:
Jamka, M.
Lisowski, S.
Powiązania:
https://bibliotekanauki.pl/articles/248900.pdf
Data publikacji:
2016
Wydawca:
Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
Tematy:
tor bezstykowy
temperatura neutralna
punkty bazowe
punkty stałe
laser krzyżowy
contactless track
neutral temperature
basis points
fixed points
cross laser
Opis:
Stabilności temperatury neutralnej w szynach toru bezstykowego na sieci PKP do chwili obecnej kontroluje się na podstawie pomiarów przemieszczeń oznaczonych na szynie punktów bazowych, względem ustalonego przekroju kontrolnego. W artykule przedstawiony zostanie nowy sposób i urządzenie do pomiaru przemieszczeń punktów bazowych w stosunku do punktów stałych.
Stability of neutral temperature at contactless rail track of PKP network, up to now, is monitored based on the measurement of displacements of basis points marked on a rail relative to the fixed control section. A new method and an apparatus for measuring the displacement of basis points relative to the fixed points has been presented in the paper.
Źródło:
Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne; 2016, 2(109); 79-87
1231-9171
Pojawia się w:
Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Metoda ortogonalna pomiaru przemieszczeń szyn w diagnostyce toru bezstykowego
Orthogonal method of rail displacement measurement in contactless track diagnostics
Autorzy:
Jamka, M.
Stoliński, M.
Lisowski, S.
Powiązania:
https://bibliotekanauki.pl/articles/248166.pdf
Data publikacji:
2018
Wydawca:
Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
Tematy:
tor bezstykowy
temperatura neutralna
pomiar przemieszczeń
punkty stałe
contactless track
neutral temperature
displacement measurement
fixed points
Opis:
Lokalne przemieszczenia wzdłużne szyn, mogą zaburzyć stabilności temperatury neutralnej w szynach toru bezstykowego. Pomiar przemieszczeń oznaczonych na szynie punktów bazowych w stosunku do punktów stałych, jest obecnie jedyną metodą stosowaną na sieci PKP, która pozwala na okresową kontrolę temperatury neutralnej. W artykule przedstawione zostanie nowe urządzenie i metoda pomiaru przemieszczeń punktów bazowych w stosunku do punktów stałych w aspekcie współczesnych technologii prowadzenia pomiarów przemieszczeń.
Local longitudinal displacement of the rails may disturb the stability of the neutral temperature in the contactless rails. The measurement of displacements of the base points marked on rail in relation to fixed points is currently the only one method used on the PKP network, which allows for periodic control of the neutral temperature. A new device and a method for measuring displacements of base points in relation to fixed points in the aspect of modern technologies for conducting displacement measurements have been presented in the paper.
Źródło:
Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne; 2018, 1(115); 47-58
1231-9171
Pojawia się w:
Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Metody wzorcowania czujników platynowych termometrów rezystancyjnych
Platinum resistance thermometer calibration methods
Autorzy:
Szmyrka-Grzebyk, A.
Kowal, A.
Lipiński, L.
Powiązania:
https://bibliotekanauki.pl/articles/154925.pdf
Data publikacji:
2009
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
termometry platynowe
punkty stałe skali temperatury
skala temperatury
platinum thermometers
temperature scale
fixed points of temperature scale
Opis:
Czujniki platynowe termometrów rezystancyjnych wzorcowane są w punktach stałych skali temperatury, gdy wymagana jest duża dokładność pomiaru - rzędu ułamka milikelwina. Wówczas wzorcuje się termometry przy dwóch wartościach prądu pomiarowego. W przypadku przemysłowych termometrów platynowych wzorcowanie odbywa się przez porównanie ze wskazaniami termometru kontrolnego. W pracy omówiono wpływ prądu pomiarowego na dokładność wzorcowania termometru. Jeżeli wymagana niepewność nie przekracza 1 mK rezystancyjne termometry platynowe można wzorcować tylko przy prądzie 1 mA.
Platinum resistance thermometers are basic sensors used for temperature measurement in the very wide temperature range - from about - 260 °C up to almost + 1000 °C. Different methods of thermometer calibration are used depending on a desired temperature range and accuracy of measurement. Highest accuracy thermometers (standard platinum resistance thermometers, SPRT) used for the interpolation of the International Temperature Scale of 1990 (ITS-90) [1], are calibrated in defined fixed points of the temperature scale (Table 1). Temperature values are calculated from the function W(T90), which is equal to a ratio of the thermometer resistance R(T90) at the temperature T90 to the resistance R(273,16 K) at the water triple point. The dependence is described by the equation (1). Thermometers are calibrated at two measuring currents: I = 1 mA i mA, and next the resistance value is extrapolated to the zero current (Fig 1). Many users of SPRTs measure the resistance for I = 1 mA only in order to reduce a measuring time. In this paper results of comparison between an measurement accuracy for one and two measuring currents are presented. It was shown that if a needed uncertainty of measurements is higher than 1 mK the thermometers can be calibrated for I = 1 mA only. Industrial platinum thermometers are calibrated by the reference to a control calibrated thermometer. The temperature characteristics are described by the Callendar (7) or Callendar - van Dusen (8) equations.
Źródło:
Pomiary Automatyka Kontrola; 2009, R. 55, nr 9, 9; 762-765
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On the topological dimension of the solutions sets for some classes of operator and differential inclusions
Autorzy:
Bader, Ralf
Gel'man, Boris
Kamenskii, Mikhail
Obukhovskii, Valeri
Powiązania:
https://bibliotekanauki.pl/articles/729534.pdf
Data publikacji:
2002
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
solutions set
fixed points set
topological dimension
multivalued map
condensing map
topological degree
differential inclusion
periodic problem
Opis:
In the present paper, we give the lower estimation for the topological dimension of the fixed points set of a condensing continuous multimap in a Banach space. The abstract result is applied to the fixed point set of the multioperator of the form $ = S _F$ where $_F$ is the superposition multioperator generated by the Carathéodory type multifunction F and S is the shift of a linear injective operator. We present sufficient conditions under which this set has the infinite topological dimension. In the last section of the paper, we consider the applications of the solutions sets for Cauchy and periodic problems for semilinear differential inclusions in a Banach space.
Źródło:
Discussiones Mathematicae, Differential Inclusions, Control and Optimization; 2002, 22, 1; 17-32
1509-9407
Pojawia się w:
Discussiones Mathematicae, Differential Inclusions, Control and Optimization
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Bilateralne porównania dokładności realizacji punktu potrójnego wody w INTiBS i VSL w Holandii
Bilateral comparison of water triple point realization at INTiBS and VSL – the Netherlands
Autorzy:
Kowal, A.
Szmyrka-Grzebyk, A.
Peruzzi, A.
Powiązania:
https://bibliotekanauki.pl/articles/972221.pdf
Data publikacji:
2013
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
wzorce temperatury
punkty stałe skali temperatury
porównania kluczowe
CMC
temperature standards
fixed points of temperature scale
key comparison
Opis:
INTiBS – depozytariusz wzorca państwowego – zobowiązany jest do potwierdzania swoich kompetencji przez udział w międzynarodowych porównaniach kluczowych. Wymagania te wynikają z porozumienia CIPM MRA. Porównania dokładności realizacji punktu potrójnego wody w INTiBS – elementu wzorca państwowego - zostały przeprowadzone w Instytucie Metrologii w Holandii (VSL). Różnica temperatur punktu potrójnego wody uzyskiwanych w komórkach VSL i INTiBS wynosiła 2,9 μK przy niepewności pomiaru u = 46 μK.
In Poland the National Temperature Scale is maintained by two distinct National Laboratories, by the Central Office of Measures – GUM in Warsaw, for long-stem thermometers at temperatures above the argon triple point with a temperature -189,3442 °C up to + 961,78 °C, and by the Institute of Low Temperature and Structure Research – INTiBS in Wroclaw, for capsule thermometers at temperatures below the water triple point down to 13,8033 K (the triple point of hydrogen). Since both laboratories use the water triple point but only GUM could participated in EURAMET.T-K7, a separate bilateral comparison was set up with the Dutch Metrology Institute - VSL, in order to create a direct reference to CCT-K7 for INTiBS. A temperature difference of the triple point of water at the INTiBS reference cell and the VSL water cell determined during the comparisons was equal to 2,9 μK with a standard uncertainty u = 46 μK for k = 1. The comparison gives a direct linkage to the EURAMET. T-K7. The equivalence between the INTiBS standard TINT(TPW) and the European Reference Value TERV(TPW) is 1,2 μK with an expanded uncertainty U = 111 μK for k = 2.
Źródło:
Pomiary Automatyka Kontrola; 2013, R. 59, nr 5, 5; 437-440
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Fixed point theorem in 2 non-archimedean Menger PM-Space using weakly L-compatible and weakly M-compatible mappings
Autorzy:
Gupta, V. K.
Jain, Arihant
Kushwah, Jaya
Powiązania:
https://bibliotekanauki.pl/articles/744861.pdf
Data publikacji:
2011
Wydawca:
Polskie Towarzystwo Matematyczne
Tematy:
Non-Archimedean Menger probabilistic metric space
Common fixed points
compatible maps
weakly L-compatible and Weakly M-compatible maps
Opis:
In the present paper, we extend and generalize the result of Cho et. al. [1] by introducing the notion of weakly L-compatible and weakly M-compatible maps in a 2 non-Archimedean Menger PM-space.
Źródło:
Commentationes Mathematicae; 2011, 51, 2
0373-8299
Pojawia się w:
Commentationes Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The Anti-Mechanist Argument Based on Gödel’s Incompleteness Theorems, Indescribability of the Concept of Natural Number and Deviant Encodings
Autorzy:
Quinon, Paula
Powiązania:
https://bibliotekanauki.pl/articles/1796973.pdf
Data publikacji:
2020
Wydawca:
Polskie Towarzystwo Semiotyczne
Tematy:
the Lucas-Penrose argument
the Church-Turing thesis
Carnapian expli-cations
natural numbers
computation
conceptual engineering
conceptual fixed points
conceptual vicious circles
deviant encodings
structuralism
Opis:
This paper reassesses the criticism of the Lucas-Penrose anti-mechanist argument, based on Gödel’s incompleteness theorems, as formulated by Krajewski (2020): this argument only works with the additional extra-formal assumption that “the human mind is consistent”. Krajewski argues that this assumption cannot be formalized, and therefore that the anti-mechanist argument – which requires the formalization of the whole reasoning process – fails to establish that the human mind is not mechanistic. A similar situation occurs with a corollary to the argument, that the human mind allegedly outperforms machines, because although there is no exhaustive formal definition of natural numbers, mathematicians can successfully work with natural numbers. Again, the corollary requires an extra-formal assumption: “PA is complete” or “the set of all natural numbers exists”. I agree that extra-formal assumptions are necessary in order to validate the anti-mechanist argument and its corollary, and that those assumptions are problematic. However, I argue that formalization is possible and the problem is instead the circularity of reasoning that they cause. The human mind does not prove its own consistency, and outperforms the machine, simply by making the assumption “I am consistent”. Starting from the analysis of circularity, I propose a way of thinking about the interplay between informal and formal in mathematics.
Źródło:
Studia Semiotyczne; 2020, 34, 1; 243-266
0137-6608
Pojawia się w:
Studia Semiotyczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
L*-operators of convexity
Autorzy:
Kulpa, Władysław
Powiązania:
https://bibliotekanauki.pl/articles/747731.pdf
Data publikacji:
2015
Wydawca:
Polskie Towarzystwo Matematyczne
Tematy:
L*-operator, simplex, convexity, L-convexity, fixed points, Nash's Equilibrium Theorem
L*-operator, sympleks, wypukłosc, L-wypukłosc, twierdzenie Maynarda Smitha, punkty stały, twierdzenie Nasha o równowadze
Opis:
W pracy jest badane pojecie uogólnionej wypukłosci, które umozliwia otrzymanie bardzo prostych dowodów twierdzenia Maynarda Smitha o istnieniu strategii ewolucyjnych w modelach biologicznych oraz twierdzenia o sygnaturach dajacym znaczne rozszerzenia twierdzenia Nasha o równowadze.
A notion of L^*-spaces is investigated as a generalization of convex  subspaces. This gives  some topological extensions  for  celebrated theorems due to  Maynard Smith, Brouwer and Nash.
Źródło:
Mathematica Applicanda; 2015, 43, 2
1730-2668
2299-4009
Pojawia się w:
Mathematica Applicanda
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Kinematics of reference height network on the territory of Rivne NPP
Autorzy:
Tretyak, K.
Petrov, S.
Bokhonko, S.
Babiy, L.
Shpakivskyy, O.
Powiązania:
https://bibliotekanauki.pl/articles/106824.pdf
Data publikacji:
2014
Wydawca:
Politechnika Warszawska. Wydział Geodezji i Kartografii
Tematy:
deformation
stability of fixed reference points
network kinematics
crustal movements
optimal oscillation period
annual rate of displacement
deformacja
stabilność stałych punktów odniesienia
kinematyka sieciowa
ruchy skorupy ziemskiej
optymalny okres drgań
roczne tempo przemieszczenia
Opis:
Rivne Nuclear Power Plant (NPP) is located in western Ukraine. Construction of the station began in 1976. Totally four power generating units are operating on the station. Complicated geological conditions and display of man-made karst led to the need for monitoring of sediments and deformations on Rivne NPP. Since 1984 on the Rivne NPP there were conducted geodetic observations on the conditions of height reference network consisting of nine deep fixed reference points, which are installed in basaltic rocks. Totally 110 cycles of observations were conducted. The heights of fixed reference points were determined by leveling of I-st class. It is necessary to assess the kinematics of the reference height network and implement zoning of station territory according to a speed of inclination of the earth's surface. An average annual rates of displacement which appear as a linear trend weredetermined on the results of measurements for each fixed reference point by the least squares method. Excluding these values the vertical displacements of fixed reference points were derived and only the periodic component that is changing according to the periodic law remained present there. For each fixed reference point it was determined amplitude and optimum oscillation period and the coefficients of regression equations. Using the annual velocity of displacement of fixed reference points it was done the zoning of the Rivne NPP. There were allocated areas, which were characterized by different rates of inclinations and frequency of oscillations.
Źródło:
Reports on Geodesy and Geoinformatics; 2014, 96; 55-66
2391-8365
2391-8152
Pojawia się w:
Reports on Geodesy and Geoinformatics
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-25 z 26

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies