Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Critical resources software and control modeling with finite automata

Schreyer B., Kosiński K.

Theoretical and Applied Informatics

2010

Vol. 22, No. 3

155-163

There are analogies between modeling the transportation systems with critical resources (CR) and a critical section (CS) problem in operating systems. This article is developing this analogy in the direction of using the finite automata. The article analyses Peterson’s algorithm [4], [5] and Lamport’s algorithm [2] using deterministic finite automata (DFA) as well as it takes into consideration the problem of modeling traffic with binary semaphore using nondeterministic finite automata (NFA). Introduction of finite automata makes traffic control modeling much clearer on programming side and brings hardware application closer to such control.

Problem poruszany w artykule dotyczy modelowania ruchu w systemie transportowym ze środkami krytycznymi (CR). Jest oparta na analogii z podobnym problemem sekcji krytycznej (CS) w systemach operacyjnych. Niniejszy artykuł jest rozwinięciem tej idei w naturalnym kierunku uogólnienia tj. z zastosowaniem automatów skończonych. Artykuł analizuje algorytm Petersona oraz algorytm Lamporta przy użyciu deterministycznych automatów skończonych, jak również problem modelowania ruchu przy pomocy semaforu binarnego przy użyciu niedeterministycznych automatów skończonych. Wprowadzenie automatów skończonych czyni modelowanie sterowania ruchem na drodze programowej bardziej przejrzystym jak również przybliża zastosowanie hardwaru do tego sterowania. W artykule dokonano analizy trzech algorytmów krytycznej sekcji w systemach operacyjnych w zastosowaniu do sterowania jednostkami transportowymi w kontroli przyznawania środków krytycznych. W analizie zastosowano skończone automaty deterministyczne oraz niedeterministyczne. Jak wynika z tej analizy, wszystkie trzy warunki (1) poprawnej kontroli JT zostały spełnione. Jednocześnie automaty skończone pozwoliły na zwarte i przejrzyste modelowanie problemu CR w systemach transportowych.

Adaptation of critical section algorithms to traffic controI modelIing in transportation systems

Wawrzyński W., Schreyer B.

Archives of Transport

2005

Vol. 17, iss.1

53-63

The article considers traffic control modelling in transportation systems with critical resources (CR). A CR problem occurs when two or more units request access to a resource, which can be allocated to one unit only. In a trivial case it may be a one-way section of a highway, waterway, railway, airway or other resource of a transportation system, irrespective of its physical nature. A critical section problem in process synchronization by computer operating systems has inspired our ideas of approaching a problem. The article considers a CR problem for two units and gradually discusses modification of the operating system algorithms and their adaptation to transportation systems. The original state maps are given for the cooperating processes. A classical problem solution is given in algorithm 3 while algorithm 4 offers an alternative control modelling solution.

Rozważany jest problem modelowania sterowania w systemach transportowych z zasobami krytycznymi (CR). Problem ten powstaje wtedy, kiedy dwie lub więcej jednostek żąda dostępu do zasobu, który może być przyznany tylko jednej z nich. W trywialnym przypadku jest to wąski, jednokierunkowy, krótki odcinek autostrady lub linii kolejowej, albo inny podobny odcinek systemu transportowego niezależnie od jego fizycznej natury. Pomysly rozwiązania problemu CR zaczerpnięte zostały z problemu krytycznego odcinka (CS) w zagadnieniu synchronizacji procesów w systemach operacyjnych komputerów. W celu jasnego opisu zagadnienia w artykule następuje stopniowa adaptacja algorytmów znanych w literaturze dotyczącej systemów operacyjnych, które są modyfikowane i dostosowane na potrzeby transportu. Rozwiązanie problemu podane jest w algorytmie trzecim - w zastosowaniu do sterowania równoleglego i w algorytmie czwartym - w zastosowaniu do sterowania sekwencyjnego.