Wyniki wyszukiwania - BazTech

1

Functional simulation of railway stations on the basis of finite-state automata

Bobrovskiy V, Kozachenko D, Vernigora R

Transport Problems

|

2014

|

T. 9, z. 3

57--65

EN

The general scheme of railway station’s model and technique of formalizing the technologic processes at stations are described. To take into account the human impact on station’s operation is suggested to use ergatic models. In conformity with concept of stations’ ergatic models a person is directly involved into the simulation process and manages the station technological processes acting as a dispatcher. The formalization of technological processes for processing the objects is performed on the basis of deterministic finite-state automaton. Designed model can be used for optimization of technical and technological parameters of railway stations, as well as in computer simulators for training of railway traffic managers.

RU

Приведена общая структура функциональной модели железнодорожной станции и методика формализации технологических процессов станций. Для учета влияния человека на станционные процессы предложено использовать эргатические модели. В соответствии с концепцией эргатического моделирования человек принимает непосредственное участие в процессе моделирования и управляет технологическим процессом станции, выполняя функции диспетчера. Разрабо-танная модель может быть использована для оптимизации технических и технологических параметров железнодорожных станций, а также в компьютерных тренажерах для подготовки диспетчерского персонала железных дорог.

2

Code generation for CSM/ECSM models in COSMA environment

Grabski W., Nowacki M.

Computer Science

|

2007

|

Vol. 8, Spec. Ed

49-59

EN

The COSMA software environment, developed in the Institute of Computer Science, WUT, was designed primarily for model checking of reactive systems specified in terms of Concurrent State Machines (CSM). However, COSMA supports also Extended CSM (ECSM). The extensions allow for using complex data types and pieces of C/C++ code, attributed to CSM states and/or transitions. Because of these extensions, ECSM models cannot be verifed by model checking, but they can be used as an intermediate step in code generation. The underlying CSM represent then the flow of control within cooperating components and the communication among them while the extensions specify the data structures and the details of their processing. The paper discusses the code generation from ECSM diagrams. The approach is illustrated with an example.

PL

Środowisko COSMA, rozwijane w Instutycie Informatyki Politechniki Warszawskiej, powstało z myślą o weryfikacji modeli (model checking) systemów reaktywnych specyfikowanych przy pomocy automatów CSM (Concurrent State Machines) jak i ich rozszerzonej wersji (ECSM - Extended CSM). Rozszerzenie CSM o złożone struktury danych, atrybuty związane z przejściami i stanami oraz możliwość bezpośredniego użycia kody w C/C++ powodują, że model wyrażony w ECSM nie może być formalnie weryfikowany, a jedynie stanowić krok pośredni przy generacji kodu. W takim podejściu model CSM reprezentuje sterowanie i komunikację pomiędzy modułami systemu, podczas gdy ECSM - dane i szczegóły przetwarzania. Artykuł omawia generację kodu z modelu ECSM zilustrowaną przykładem.

3

Finite-state methodology in natural language processing

Korzycki M.

Computer Science

|

2001

|

Vol. 3

151-162

EN

Recent mathematical and algorithmic results in thc field of finite-state technology, as well as the increase in computing power, have constructed the base for a new approach in natural language processing. However the task of creating an appropriate model that would describe the phenomena of the natural language is still to be achieved. In this paper I'm presenting some notions related to the finite-state modelling of syntax and morphology.

PL

Najnowsze osiągnięcia matematyczne i algorytmiczne z dziedziny automatów skończenie stanowych, jak również wzrost mocy obliczeniowej komputerów dostarczyły nowych narzędzi badaczom języka. Jednak problem znalezienia odpowiedniego modelu formalnego, opisującego zjawiska języka naturalnego pozostaje nadal otwarty. Niniejszy artykuł stara się przybliżyć pewne pojęcia związane ze skończenie stanowym modelowaniem składni i morfologii.