Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: SWPC

Sortuj według:

Ogranicz wyniki do:

Modele multimodalnych sieci i procesów transportowych

Bocewicz G., Muszyński W., Banaszak Z.

Prace Naukowe Politechniki Warszawskiej. Elektronika

2014

z. 194, t. 2

543--552

Modele cyklicznych procesów multimodalnych, tzn. procesów realizowanych przy synergicznym wykorzystaniu rożnych procesów lokalnych odgrywają decydującą rolę w ocenie efektywności funkcjonowania m.in. systemów komunikacji miejskiej, transportu multimodalnego, transmisji danych itp. Przyjmując, że struktura systemu, np. linii komunikacji miejskiej, determinuje jego możliwe zachowanie, przedmiotem pracy jest sformułowanie pewnego problemu spełnienia ograniczeń umożliwiającego ocenę potencjalnych zachowań systemu lokalnych procesów cyklicznych, a w konsekwencji planowania i harmonogramowania realizowanych w nim procesów multimodalnych.

Modelling of multimodal transportation networks and processes play a pivotal role in many different domains including city networks, multimodal transportation systems, computer and telecommunication networks and so on. Multimodal process can be seen as process partially processed by locally executed cyclic processes. Assuming the system structure, e.g. city lines network, determines possible system behaviors, the paper’s contribution focuses on formulation of a constraints satisfaction problem enabling to assess potentially reachable behaviors generated by a network of local cyclic processes, i.e. on scheduling of possible multimodal processes.

Warunki kompozycji systemów współbieżnych procesów cyklicznych

Majdzik P., Banaszak Z.

Zeszyty Naukowe. Automatyka / Politechnika Śląska

2006

z. 143

91-98

Przedmiotem rozważań są Systemy Współbieżnych Procesów Cyklicznych (SWPC), w których procesy współpracują w trybie wzajemnego wykluczania. Prezentowana metoda kompozycji elementów zbioru SWPC gwarantuje zachowanie, w nowopowstającym systemie należącym do klasy SWPC, określonych własności, np.: cykliczności systemu, niezmiennego cyklu jego podsystemów składowych, itp. Przedstawiono warunki wystarczające dla istnienia tego typu operacji kompozycji. Zaproponowana operacja umożliwia budowę struktur algebraicznych wykorzystywanych w procesie syntezy systemów klasy SWPC zorientowanych na zarządzanie przepływem danych w sieciach komputerowych.

In the paper a class of systems composed of a set of cyclic concurrent processes (SCCPs) synchronized due to a mutual exclusion protocol is considered. Its contribution is to presented conditions sufficient for coupling elements from the class of SCCPs. A newly obtained system treated as result of such two systems composition also belongs to SCCPs. Moreover, periods of component processes are preserved. The composition introduced provides an algebraic framework allowing to design decision support systems aimed at computer network management.