Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
Znaleziono wyników: 4
first rewind previous Strona / 1 next fast forward last
Wyszukiwano:
w słowach kluczowych:  automated synthesis
help Sortuj według:

help Ogranicz wyniki do:
1
100%
Applied Computer Science
EN One of the key problems in the area of automatic synthesis of real-time concurrent control programs is a problem of automated modeling of systems comprising multiple activities or processes that proceed concurrently. In that context, the discrete-event systems framework enabling to predict the model[...]
2
75%
Fundamenta Informaticae
EN The behaviour of asynchronous circuits is often described by Signal Transition Graphs (STGs), which are Petri nets whose transitions are interpreted as rising and falling edges of signals. One of the crucial problems in the synthesis of such circuits is that of identifying whether an STG satisfies t[...]
3
63%
Fundamenta Informaticae
EN The behaviour of asynchronous circuits is often described by Signal Transition Graphs (STGs), which are Petri nets whose transitions are interpreted as rising and falling edges of signals. One of the crucial problems in the synthesis of such circuits is deriving equations for logic gates implementin[...]
4
63%
Przegląd Elektrotechniczny
2014 R. 90, nr 12 292--295
PL W artykule pokazano praktyczną celowość aplikacji metody genetycznej I metody modelowania geometrycznego dla automatycznej syntezy separatora magnetycznego wieloinduktorowego o cylindrycznej budowie. Model genetyczny formowania konstrukcji o cylindrycznej wielojednostkowej budowie separatora magnety[...]
EN Practical expediency of application of genetic and geometric modeling methods for automated synthesis of magnetic separator multi-unit (multi-inductor) cylindrical structures is shown. Genetic model of structure formation of cylindrical multi-unit structures of magnetic separators is proposed. «Isom[...]
first rewind previous Strona / 1 next fast forward last