The Cyclic Redundancy Check (CRC) is an efficient method to detect errors in data transmission using a checksum as a result of polynomial division. The quality of this technique depends extremely on the divisor polynomial used. Although CRC is well established in communication, it is still a challenge to identify suitable polynomials, since the determination of the characteristics of a polynomial is usually very complex. In the paper a method is presented that handles the complexity by means of deterministic and stochastic automata.
We present a new kind of synchronization which allows Stochastic Automata Networks (SAN) to have a product form steady-state distribution. Unlike previous models on SAN with product form solutions, our model allows synchronization between three automata. The synchronization is not the usual "Rendez-Vous" but an ordered list of transitions. Each transition may fail. When a transition fails, the synchronization ends but all the transitions already executed are kept. This class of SAN is a generalization of Gelenbe's networks with triggered customer movement. Finally, our result suggests an approximation based on product form for SAN whose synchronization are ordered lists of transitions of arbitrary size.
PL
W artykule przedstawiony jest nowy rodzaj synchronizacji, który pozwala przedstawić w formie iloczynowej rozwiązanie modelu Sieci Automatów Stochastycznych. W przeciwieństwie do wcześniejszych modeli w postaci Sieci Automatów Stochastycznych o rozwiązaniu produktowym, ta propozycja umożliwia synchronizację trzech automatów. Ten rodzaj synchronizacji nie reprezentuje zwykłego typu "Rendez-Vous". Jest on bowiem reprezentowany przez uporządkowaną listę tranzycji, z których każda może być aktywowana. Po zakończeniu reaktywacji tranzycje są zachowywane. Ta klasa Sieci Automatów Stochastycznych stanowi uogólnienie sieci Gelenbego z odpalanym ruchem klientów. Uzyskane wyniki prowadzą do aproksymacji opartej na Sieciach Automatów Stochastycznych o rozwiązaniu iloczynowym, w których synchronizacje są wprowadzane na zasadzie listy tranzycji o określonym rozmiarze.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.