PROCESY WSPÓŁBIEŻNE MODELE EFEKTYWNOŚCI FUNKCJONOWANIA

ISBN: 0239-7129-155

225 stron
format: B5
oprawa: miękka
Rok wydania: 2008

Praca składa się z czterech rozdziałów kończących się stosownymi wykazami literatury tematu.
W rozdziale pierwszym przedstawiono podstawowe pojęcia związane z systemami procesów współbieżnych, systemami rozproszonymi oraz przetwarzaniem współbieżnym i rozproszonym, w tym rozstrzyganiem konfliktów zasobowych. Analizując dostępne algorytmy zapobiegania, unikania oraz wykrywania i likwidacji blokad szczególną uwagę zwrócono na klasyfikację problemów rozdziału zasobów (problemów rozstrzygania konfliktów zasobowych), a także ocenę ważniejszych metod stosowanych przy ich rozwiązywaniu.
W rozdziale drugim natomiast, wprowadzającym w podstawy formalne teorii sieci Petriego, przedstawiono zasady klasyfikacji modeli sieciowych oraz wybrane przykłady metod modelowania systemów rozproszonych.
W rozdziale trzecim, wprowadzającym w podstawy formalne dyskretnych systemów zdarzeniowych, a w szczególności formalizm (max,+) algebry, przedstawiono oryginalną metodę syntezy modeli analitycznych wybranej klasy systemów cyklicznych procesów współbieżnych.
Rozdział czwarty, wprowadzający w techniki programowania w logice ograniczeń, przedstawia wybrane modele problemów decyzyjnych występujących w systemach współbieżnych procesów cyklicznych, w szczególności zaś problemów unikania blokad występujących w tego typu systemach.
Monografia ta adresowana jest do czterech grup czytelników:
- do inżynierów informatyków i automatyków zajmujących się zagadnieniami projektowania i programowania rozproszonych systemów komputerowych oraz automatyzacji dyskretnych procesów produkcyjnych.,
- do matematyków i logików zainteresowanych próbami algebraicznych opisów zachowania systemów nieliniowych należących do pewnej klasy dyskretnych, dynamicznych systemów zdarzeniowych,
- do osób zainteresowanych sposobami specyfikacji problemów rozstrzygania konfliktów zasobowych, a w konsekwencji synchronizacji procesów konkurujących w dostępie do współdzielonych, ograniczonych zasobów dyskretnych systemów zdarzeniowych,
- do studentów wydziałów informatyki, elektroniki, automatyki i telekomunikacji wyższych uczelni technicznych zainteresowanych współczesnymi metodami modelowania i oceny efektywności funkcjonowania systemów procesów współbieżnych.
Polecamy ją również każdemu, kto chce stosować zaawansowane techniki modelowania systemów rozproszonych obejmujące metody sieci Petriego, (max,+) algebry oraz programowania w logice ograniczeń w badaniach naukowych lub w praktyce inżynierskiej.