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ę "calculus" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 239
Tytuł:
A constructive proof of the composition rule for Taylors functional calculus
Autorzy:
Andersson, Mats
Sandberg, Sebastian
Powiązania:
https://bibliotekanauki.pl/articles/1206005.pdf
Data publikacji:
2000
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
Taylor spectrum
functional calculus
Cauchy-Fantappiè-Leray formula
Opis:
We give a new constructive proof of the composition rule for Taylor's functional calculus for commuting operators on a Banach space.
Źródło:
Studia Mathematica; 2000, 142, 1; 65-69
0039-3223
Pojawia się w:
Studia Mathematica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Contribution to the System : Theoretic Approach to Bandwidth Estimation
Autorzy:
Borys, A.
Wasielewska, K.
Rybarczyk, D.
Powiązania:
https://bibliotekanauki.pl/articles/226012.pdf
Data publikacji:
2013
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
network calculus
rate chirps
bandwidth estimation
nonlinear and/or linear parametric traffic systems
Opis:
The network calculus provides a theoretical background for description of traffic in computer networks. Using this tool in explanation of the so-called pathchirp method of measuring the available bandwidth, the validity and range of application of some relationships exploited are verified in this paper. The derivations are carried out in a wider context than that considered in a recent paper by Liebeherr et al. published in IEEE/ACM Transactions on Networking on network bandwidth estimation, providing thereby new insights and outcomes. These results, summarized in a table, show a means of bounding the service curve, depending upon its convexity or non-convexity property assumed and upon the linearity or non-linearity of a network considered. Moreover, it is shown here that the nonlinear network example analyzed by Liebeherr et al. can be viewed equivalently as a linear parametric network. For this network, the behaviour of the cross traffic is considered in a more detail, too.
Źródło:
International Journal of Electronics and Telecommunications; 2013, 59, 2; 141-149
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A delay reliability estimation method for Avionics Full Duplex Switched Ethernet based on stochastic network calculus
Oparta na stochastycznym rachunku sieciowym metoda estymacji niezawodności czasu transmisji dla przełączanej pokładowej sieci ethernetowej typu AFDX umożliwiającej równoczesną transmisję dwukierunkową
Autorzy:
Wu, Z.
Huang, N.
Li, R.
Zhang, Y.
Powiązania:
https://bibliotekanauki.pl/articles/301884.pdf
Data publikacji:
2015
Wydawca:
Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
Tematy:
reliability estimation
delay upper bound
stochastic network calculus
traffic envelope function
ocena niezawodności
górna granica opóźnienia
stochastyczny rachunek sieciowy
funkcja obwiedni ruchu telekomunikacyjnego
Opis:
The delay reliability estimation is required in order to guarantee the real-time communication for avionics full duplex switched Ethernet (AFDX). Stochastic network calculus (SNC) can be applied to estimate the reliability with a delay upper bound. However, only linear deterministic traffic envelope function is used to bound its traffic, which cannot represent the traffic randomness and is far from practice. In this paper, a stochastic traffic envelope function, which randomizes the input of SNC, is proposed to solve the problem. A new probabilistic algorithm is derived to estimate the delay reliability based on stochastic envelope functions. A test was conducted to demonstrate our method on an AFDX testbed, and the test results verify that the estimation of delay reliability via our algorithm is much closer to the empirical estimation.
Ocena niezawodności czasu transmisji (czasu opóźnienia) jest niezbędną procedurą gwarantującą komunikację w czasie rzeczywistym za pośrednictwem przełączanej pokładowej sieci ethernetowej typu AFDX (Avionics Full Duplex Switched Ethernet), która umożliwia równoczesną transmisję dwukierunkową. Stochastyczny rachunek sieciowy (SNC) można stosować do oceny niezawodności przy zadanej górnej granicy opóźnienia. Do tej pory jednak, do ograniczania ruchu telekomunikacyjnego stosowano tylko liniową deterministyczną funkcję obwiedni (traffic envelope), która nie oddaje losowości ruchu telekomunikacyjnego i odbiega dalece od rzeczywistości. W niniejszej pracy zaproponowano rozwiązanie tego problemu wykorzystujące stochastyczną funkcję obwiedni ruchu telekomunikacyjnego. Wyprowadzono nowy algorytm probabilistyczny, który pozwala ocenić niezawodność czasu transmisji na podstawie funkcji obwiedni. Przeprowadzono badanie, w ramach którego testowano zaproponowaną metodę w środowisku testowym AFDX; wyniki testu pokazują, że ocena niezawodności czasu transmisji z wykorzystaniem zaproponowanego przez nas algorytmu jest znacznie bardziej zbliżona do estymacji empirycznej.
Źródło:
Eksploatacja i Niezawodność; 2015, 17, 2; 288-296
1507-2711
Pojawia się w:
Eksploatacja i Niezawodność
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A discrete non-classical operational calculus model with the Horadam difference
Model dyskretny nieklasycznego rachunku operatorów z różnicą Horadama
Autorzy:
Wysocki, H.
Powiązania:
https://bibliotekanauki.pl/articles/221958.pdf
Data publikacji:
2016
Wydawca:
Akademia Marynarki Wojennej. Wydział Dowodzenia i Operacji Morskich
Tematy:
operational calculus
derivative
integrals limit conditions
Horadam difference
rachunek operatorów
pochodna
pierwotne warunki graniczne
różnica Horadama
Opis:
In this paper, there has been constructed such a model of the non-classical Bittner operational calculus, in which the derivative related to Horadam sequences is understood as a difference operation S{x(k)} : = {x(k + 2) – a x(k + 1) – b x(k)}.
W artykule skonstruowano model nieklasycznego rachunku operatorów Bittnera, w którym pochodna związana z ciągami Horadama rozumiana jest jako operacja różnicowa S{x(k)} : = {x(k + 2) – a x(k + 1) – b x(k)}.
Źródło:
Zeszyty Naukowe Akademii Marynarki Wojennej; 2016, R. 57 nr 2 (205), 2 (205); 93-103
0860-889X
Pojawia się w:
Zeszyty Naukowe Akademii Marynarki Wojennej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A graphical interpretation of a fractional-order backward-difference/Sum
Interpretacja graficzna różnico-sumy wstecznej niecałkowitego rzędu
Autorzy:
Ostalczyk, P.
Powiązania:
https://bibliotekanauki.pl/articles/157076.pdf
Data publikacji:
2010
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
rachunek różniczkowo-całkowy niecałkowitych rzędów
układ dyskretny
wskaźnik jakości
fractional calculus
discrete-time system
performance index
Opis:
In this paper an attempt to formulate a graphical interpretation of a fractional-order backward difference/sum (FOBD/S) is presented. The FOBD/S is a very important mathematical tool in dynamical systems identification and control strategies synthesis. A good understanding of the FOBD/S operation may lead to a definition of new performance indices grounded on FOBSs preserving desired transients.
Artykuł jest próbą określenia graficznej interpretacji różnicy i sumy wstecznej niecałkowitego rządu (R/SNCR). R/SNCR staje się ważnym narzędziem matematycznym wykorzystywanym w identyfikacji oraz sterowania obiektami dynamicznymi. Dobre zrozumienie operacji R/SNCR, analogiczne do graficznej interpretacji sumy i różnicy wstecznej pierwszego rzędu, w oczywisty sposób zwiększy obszar zastosowań R/SNCR. W niniejszej pracy pojęcie SNCR pozwoliło sformułować definicję nowych całkowych wskaźników jakości, w których rząd całkowania reprezentuje tzw. funkcje wagi (kary) stosowane w całkowych wskaźnikach jakości regulacji. Odpowiedni dobór rzędu całkowania (numerycznego sumowania) całkowego wskaźnika jakości pozwoli zaprojektować regulator zapewniający wymagane przebiegi przejściowe zamkniętych układów regulacji. Rozważania zilustrowane zostały doborem optymalnego, względem przyjętego kryterium, klasycznego regulatora PI w liniowym układzie regulacji.
Źródło:
Pomiary Automatyka Kontrola; 2010, R. 56, nr 5, 5; 418-422
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A local truncation error estimation for a SubIval solver
Autorzy:
Sowa, M.
Powiązania:
https://bibliotekanauki.pl/articles/202058.pdf
Data publikacji:
2018
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
fractional calculus
numerical method
adaptive step size
local truncation error
circuit analysis
rachunek różniczkowy
metoda numeryczna
analiza obwodów
Opis:
The paper concerns an analysis for SubIval (the subinterval-based method for fractional derivative computations in initial value problems). A time step size adaptive solver is discussed, for which the formula of a local truncation error is derived. A general form for a system of linear equations is given for the considered class of problems (for which the analysis is performed in the paper). Two circuit examples are introduced to display the usefulness of the SubIval solver. For the examples that have been chosen it is possible to obtain referential solutions through completely different methods. The results obtained through the numerical solver are compared with evaluations of the referential solutions. The error estimation results obtained for the time steps of the SubIval solver are compared with the actual errors, being the differences between the numerical solutions and the referential solutions. The paper also contains a comparison of the accuracy of results obtained through the SubIval solver with the accuracies of other solvers.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2018, 66, 4; 475-484
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A logical approach to grammar description
Autorzy:
Clément, L.
Kirman, J.
Salvati, S.
Powiązania:
https://bibliotekanauki.pl/articles/103895.pdf
Data publikacji:
2015
Wydawca:
Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:
grammar description
logic
Finite State Automata
logical transduction
lambda calculus
Abstract Categorial Grammars
Opis:
In the tradition of Model Theoretic Syntax, we propose a logical approach to the description of grammars. We combine in one formalism several tools that are used throughout computer science for their power of abstraction: logic and lambda calculus. We propose then a high-level formalism for describing mildly context sensitive grammars and their semantic interpretation. As we rely on the correspondence between logic and finite state automata, our method combines conciseness with effectivity. We illustrate our approach with a simple linguistic model of several interleaved linguistic phenomena involving extraction. The level of abstraction provided by logic and lambda calculus allows us not only to use this linguistic model for several languages, namely English, German, and Dutch, but also for semantic interpretation.
Źródło:
Journal of Language Modelling; 2015, 3, 1; 87-143
2299-856X
2299-8470
Pojawia się w:
Journal of Language Modelling
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Modified Subformula Property for the Modal Logic S4.2
Autorzy:
Takano, Mitio
Powiązania:
https://bibliotekanauki.pl/articles/749870.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
modal logic S4.2
sequent calculus
subformula property
Opis:
The modal logic S4.2 is S4 with the additional axiom ◊□A ⊃ □◊A. In this article, the sequent calculus GS4.2 for this logic is presented, and by imposing an appropriate restriction on the application of the cut-rule, it is shown that, every GS4.2-provable sequent S has a GS4.2-proof such that every formula occurring in it is either a subformula of some formula in S, or the formula □¬□B or ¬□B, where □B occurs in the scope of some occurrence of □ in some formula of S. These are just the K5-subformulas of some formula in S which were introduced by us to show the modied subformula property for the modal logics K5 and K5D (Bull Sect Logic 30(2): 115–122, 2001). Some corollaries including the interpolation property for S4.2 follow from this. By slightly modifying the proof, the finite model property also follows.
Źródło:
Bulletin of the Section of Logic; 2019, 48, 1
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A new algorithm for a CFE-approximated solution of a discrete-time noninteger-order state equation
Autorzy:
Oprzędkiewicz, K.
Stanisławski, R.
Gawin, E.
Mitkowski, W.
Powiązania:
https://bibliotekanauki.pl/articles/199796.pdf
Data publikacji:
2017
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
fractional order calculus
discrete-time noninteger-order state equation
continuous fraction expansion
Al-Alaoui operator
równanie dyskretne
aproksymacja Al-Alaoui
CFE
Opis:
In the paper, a new method for solution of linear discrete-time fractional-order state equation is presented. The proposed method is simpler than other methods using directly discrete-time version of the Grünwald-Letnikov operator. The method is dedicated to use with any approximator to the operator expressed by a discrete transfer function, e.g. CFE-based Al-Alaoui approximation. A simulation example confirms the usefulness of the method.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2017, 65, 4; 429-437
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A New Class of Fractional Cumulative Residual Entropy - Some Theoretical Results
Autorzy:
Benmahmoud, Slimane
Powiązania:
https://bibliotekanauki.pl/articles/2200956.pdf
Data publikacji:
2023
Wydawca:
Instytut Łączności - Państwowy Instytut Badawczy
Tematy:
cumulative residual entropy (CRE)
entropy’s generating function
fractional calculus
information measure
Riemann-Liouville/Caputo fractional integral
Riemann-Liouville/Caputo fractional derivative
Tsallis/Rényi entropy
Opis:
In this paper, by differentiating the entropy’s generating function (i.e., h(t) = R SX̄F tX (x)dx) using a Caputo fractional-order derivative, we derive a generalized non-logarithmic fractional cumulative residual entropy (FCRE). When the order of differentiation α → 1, the ordinary Rao CRE is recovered, which corresponds to the results from first-order ordinary differentiation. Some properties and examples of the proposed FCRE are also presented.
Źródło:
Journal of Telecommunications and Information Technology; 2023, 1; 25--29
1509-4553
1899-8852
Pojawia się w:
Journal of Telecommunications and Information Technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A new numerical scheme for solving the two dimensional fractional diffusion equation
Autorzy:
Dilara, Altan Koç
Mustafa, Gülsu
Powiązania:
https://bibliotekanauki.pl/articles/1839848.pdf
Data publikacji:
2021
Wydawca:
Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
Tematy:
finite difference method
fractional calculus
numerical methods
metoda różnic skończonych
rachunek ułamkowy
metody numeryczne
Opis:
In this study, the locally one dimensional (LOD) method is used to solve the two dimensional time fractional diffusion equation. The fractional derivative is the Caputo fractional derivative of order α. The rate of convergence of the finite difference method is presented. It is seen that this method is in agreement with the obtained numerical solutions with acceptable central processing unit time (CPU time). Error estimates, numerical and exact results are tabulated. The graphics of errors are given.
Źródło:
Journal of Applied Mathematics and Computational Mechanics; 2021, 20, 1; 5-16
2299-9965
Pojawia się w:
Journal of Applied Mathematics and Computational Mechanics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A note on non-associated Drucker-Prager plastic flow in terms of fractional calculus
Autorzy:
Sumelka, W.
Powiązania:
https://bibliotekanauki.pl/articles/279840.pdf
Data publikacji:
2014
Wydawca:
Polskie Towarzystwo Mechaniki Teoretycznej i Stosowanej
Tematy:
fractional calculus
plastic flow
non-normality
Opis:
In this paper, we consider a special case of the general fractional plastic flow rule, namely the one which is equivalent to the classical non-associated Drucker-Prager (D-P) plasticity model. Fractional plastic flow is obtained from the classical flow rule by generalisation of the classical gradient of a plastic potential with a fractional gradient operator. It is important that, contrary to the classical models, non-associativity of fractional flow appears without introduction of the additional potential. The classical associative D-P plasticity is obtained as a special case. The discussion on objectivity of the fractional gradient is also presented also.
Źródło:
Journal of Theoretical and Applied Mechanics; 2014, 52, 2; 571-574
1429-2955
Pojawia się w:
Journal of Theoretical and Applied Mechanics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A note on some elementary properties and applications of certain operators to certain functions analytic in the unit disk
Autorzy:
Irmak, Hüseyin
Powiązania:
https://bibliotekanauki.pl/articles/1797179.pdf
Data publikacji:
2020-07-28
Wydawca:
Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie
Tematy:
fractional calculus
unit open disk
complex plane
analytic functions
normalized functions
Taylor-Mclaurin series expansion
the Tremblay operator
fractional
derivative operator
differential inequalities in the complex plane
Opis:
This scientific note relates to introducing certain elementary operators defined in the unit disk in the complex plane, then determining various applications (specified by those operators) to certain analytic functions, and also revealing a number of possible implications of them.
Źródło:
Annales Universitatis Paedagogicae Cracoviensis. Studia Mathematica; 2020, 19; 193-201
2300-133X
Pojawia się w:
Annales Universitatis Paedagogicae Cracoviensis. Studia Mathematica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A numerical scheme for time-fractional fourth-order reaction-diffusion model
Autorzy:
Koç, Dilara Altan
Powiązania:
https://bibliotekanauki.pl/articles/24201500.pdf
Data publikacji:
2023
Wydawca:
Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
Tematy:
implicit finite difference method
fractional calculus
diffusion equation
niejawna metoda różnic skończonych
rachunek ułamkowy
równanie dyfuzji
Opis:
In fractional calculus, the fractional differential equation is physically and theoretically important. In this article an efficient numerical process has been developed. Numerical solutions of the time fractional fourth order reaction diffusion equation in the sense of Caputo derivative is obtained by using the implicit method, which is a finite difference method and is developed by increasing the number of iterations. The advantage of the implicit difference scheme is unconditionally stable. The stability analysis and convergency have been proven. A numerical example has been presented, and the validity of the method is supported by tables and graphics.
Źródło:
Journal of Applied Mathematics and Computational Mechanics; 2023, 22, 2; 15--25
2299-9965
Pojawia się w:
Journal of Applied Mathematics and Computational Mechanics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Review of Bayesian Networks and Structure Learning
Autorzy:
Koski, Timo J.T.
Noble, John
Powiązania:
https://bibliotekanauki.pl/articles/748766.pdf
Data publikacji:
2012
Wydawca:
Polskie Towarzystwo Matematyczne
Tematy:
Bayesian networks, directed acyclic graph, Arthur Cayley, intervention calculus, graphical Markov model, Markov equivalence, structure learning
Opis:
Artykuł jest przegladem problemów analizowanych przy pomocy sieci bayesowskich. Siec bayesowska jest acyklicznym grafem skierowanym, w którym wezły oznaczaja zmienne, a krawedzie prawdopodobienstwa warunkowe czyli wpływy jednych zmiennych na inne. Autor przedstawia zaleznosc miedzy d-separowalnoscia a niezaleznoscia. Znaczna czesc pracy poswiecona jest dyskusji idei zawartych w pracy Arthura Cayley'a [8], która zawiera szereg pojec i pomysłów wykorzystywanych w teorii sieci bayesowskich takich jak faktoryzacja rozkładu, zaszumione bramki „LUB" oraz zastosowanie geometrii algebraicznej. Autor omawia równiez „calculus of intervention", pomysł pochodzacy od Pearla, gdy acykliczny graf skierowany (DAG) przedstawia przyczynowo-skutkowa strukture zaleznosci, oraz zwiazki pomiedzy pracami Cayley'a i Pearla.Wiekszosc zawartego w artykule materiału poswiecona jest rozpoznawaniu i wykrywaniu zaleznosci miedzy zmiennymi w oparciu o dwie główne metodologie: przeszukiwania i klasyfikacji oraz realizacji ograniczen. Algorytmy oparte na kontroli ograniczen czesto opieraja sie na załozeniu, ze dane do których algorytm jest stosowany pochodza z rozkładu spełniajacego załozenie wiernosci oznaczajacego równowaznosc d-separowalnosci i niezaleznosci. W pracy prezentowane sa rozwazania dla algorytmów opartych na realizacji ograniczen w  przypadkach gdy załozenie wiernosci nie jest spełnione. Przeprowadzono krótka dyskusje kontrowersji zwiazanych z wykrywaniem przypadkowych powiazan.
This article reviews the topic of Bayesian networks. A Bayesian network  is a factorisation of a probability distribution along a directed acyclic graph. The relation between graphical d-separation and independence is described. A short article by Arthur Cayley (1853) [7] is discussed, which laid ideas later used in Bayesian networks: factorisation, the noisy `or' gate, applications of algebraic geometry to Bayesian networks. The ideas behind Pearl's intervention calculus when the DAG represents a causal dependence structure; the relation between the work of Cayley and Pearl is commented on.Most of the discussion is about structure learning, outlining the two main approaches; search and score versus constraint based. Constraint based algorithms often rely on the assumption of faithfulness, that the data to which the algorithm is applied is generated from distributions satisfying a faithfulness assumption where graphical d- separation and independence are equivalent. The article presents some considerations for constraint based algorithms based on recent data analysis, indicating a variety of situations where the faithfulness assumption does not hold.
Źródło:
Mathematica Applicanda; 2012, 40, 1
1730-2668
2299-4009
Pojawia się w:
Mathematica Applicanda
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 239

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