Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: parametric systems

Sortuj według:

Ogranicz wyniki do:

Wybrane metody badania stabilności układów LTV

Piwowar A.

Prace Naukowe Politechniki Śląskiej. Elektryka

2015

z. 1

57--66

W artykule przeprowadzono analizę stabilności filtrów parametrycznych pierwszego rzędu z nieokresowo zmiennym parametrem. Wyznaczono obszary stabilności układów parametrycznych posługując się metodami badania e-stabilności oraz stabilności krótkoczasowej. Wykazano, że rozpatrywane modele filtrów należą do układów typu frozen time. Wykorzystując metodę uogólnionych wartości własnych wykazano również, że jeśli funkcje parametryzujące są ściśle dodatnie, to rozpatrywane klasy filtrów LTV są zawsze BIBO-stabilne.

In this article the stability analysis of first order parametric filters with time variable coefficient has been carried out. The stability areas of LTV systems have been determined using e-stability examination and short-time stability methods. Using the generalized eigenvalues method it has also been shown that if the parametric functions are strictly positive the considered LTV filters are BIBO stable.

Formalising TCP's Data Transfer Service Language: A Symbolic Automaton and its Properties

Billington J., Han B.

Fundamenta Informaticae

2007

Vol. 80, nr 1-3

49-74

The TCP/IP protocol suite defines the procedures governing the movement of data within the Internet. A major component of the suite is the Transmission Control Protocol (TCP), which ensures data flows reliably between Internet applications. We use Coloured Petri Nets (CPNs) to model the application's view of the service provided by TCP for the transfer of data. This service depends on the storage capacity available in the Internet. We firstly establish exact expressions for the size of the CPN model's reachability graph (or state space) in terms of the storage capacity. They indicate that both the nodes and arcs of the state space grow exponentially in the storage capacity. Secondly, we derive a symbolic state space which represents an infinite family of state spaces, one for each value of the capacity. We prove that each member of this family is a strongly connected graph and that its associated finite state automaton is deterministic and minimum. Finally, we formulate the TCP data transfer service language for arbitrary capacity, from the symbolic representation of the family of automata. This service language is the yardstick against which the TCP data transfer protocol can be verified with respect to user observable sequences of events.