PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 8

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  logic controllers
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available Dual synthesis of Petri net based application specific logic controllers with increased safety
Tkacz J., Bukowiec A., Adamski M.
Bulletin of the Polish Academy of Sciences. Technical Sciences
|
2016
|
Vol. 64, nr 3
467--478
EN
In the paper, design flow of the application specific logic controllers with increased safety by means of Petri nets is proposed. The controller architecture is based on duplicated control unit and comparison results from both units. One specification of control algorithm is used by means of Petri net for both units. The hardware duplication is obtained during dual synthesis process. This process uses two different logic synthesis methods to obtain two different hardware configurations for both control units. Additionally, the dual verification is applied to increase reliability of the control algorithm. Such design flow simplifies the process of realization of control systems with increased safety.
2
Content available Transformacja rozmytej interpretowanej sieci Petriego na schemat układu logicznego
Gniewek L.
Pomiary Automatyka Kontrola
|
2010
|
R. 56, nr 11
1368-1371
PL
W pracy przedstawiono teoretyczne podstawy nowego rodzaju rozmytej, interpretowanej sieci Petriego, opisując i uzasadniając zaproponowaną strukturę topologiczną i jej interpretację. Przedstawiono użyteczną w praktyce metodę odwzorowania układowego tej sieci, podając konkretny sposób transformacji jej diagramu na schemat logiczny, zbudowany z rozmytych elementów kombinacyjnych i sekwencyjnych. Schemat ten może być podstawą do generowania kodu programu sterującego dla sterowników przemysłowych PLC.
EN
The fuzzy Petri nets are applied above all as advisory or monitoring systems. The nets take into account both binary and multivalued (analog) signals appearing in the observed system. Only a few works are devoted to using these nets directly for control [3, 4, 5]. The fuzzy interpreted Petriego net defined in this paper belongs to low-level nets, used for modelling systems based on FPGA devices or industrial controllers. The net enables presenting the control algorithm in a graphical (diagram of the net) or algebraic (incidence matrix) form [7], which makes the analysis of its properties already at the stage of the abstract synthesis easier. Moreover, this net allows including quantitative changes occurring in the system, not losing natural interpretation of transferring the marker through the transition. In the paper basic definitions of the fuzzy interpreted Petriego net describing the net construction and functioning are given. The transformation method of this net into a logic circuit based on fuzzy combinational and sequential circuits is proposed. All essential elements for this conversion, i.e. the modified fuzzy SR flip-flop (8), the activation circuit (Fig. 2) and the fuzzy gate based on bounded product (6) are described. The examples of connecting these elements are shown (Figs. 3 - 6) and a manner of their synchronization is described. The logic circuit obtained in this way can be a basis for generating the code of the control program for industrial controllers and lead to partial automation of this process.
3
Zastosowanie dualizmu hipergrafów w dekompozycji równoległej automatów współbieżnych
Wiśniewska M., Adamski M.
Przegląd Telekomunikacyjny + Wiadomości Telekomunikacyjne
|
2008
|
R. 81, nr 6
731-733
PL
Hipergrafy są dogodnym narzędziem matematycznym, umożliwiającym zwartą reprezentację relacji współbieżności lub relacji następstwa w przestrzeni stanów lokalnych cyfrowego automatu współbieżnego. Z tego względu zaproponowano ich wykorzystanie w projektowaniu rekonfigurowanego sterownika logicznego. Hipergraf umożliwia w przejrzysty sposób opisywanie nie tylko relacji współbieżności miedzy stanami lokalnymi, lecz także poglądowo przedstawia ich przynależność do tego samego stanu globalnego. Ułatwia to dekompozycję diagramu SFC lub równoważnej mu interpretowanej sieci sterowania Petriego, na moduły, na przykład szeregowe lub równoległe. W artykule zaproponowano nowatorski sposób dekompozycji sterowników logicznych z zastosowaniem dualizmu hipergrafów.
EN
Hypergraphs are useful mathematical tools for compact representation of relations among local states in the state space of distributed, concurrent control automata (concurrent state machines). Therefore usage of hypergraphs is more efficient and intuitive than traditional solutions. For this reason we propose their application during the design process of reconfigurable logic controllers. It makes possible to decompose SFC or related control interpreted Petri net into parallel or sequentially related modules. In the paper new method of Petri net decomposition based on the hypergraph dualism is proposed.
4
Content available Kolorowanie automatowe sieci Petriego metodą wnioskowania symbolicznego
Tkacz J.
Pomiary Automatyka Kontrola
|
2007
|
R. 53, nr 5
120-122
PL
W referacie przedstawiono sposób dekompozycji sieci Petriego za pomocą naturalnego wnioskowania Gentzena na podsieci typu automatowego. Normalizacja i minimalizacja zbioru reguł z zastosowaniem algorytmu wnioskującego może zostać wykorzystana w procesach wyznaczania podsieci automatowych reprezentujących zdekomponowane, niezależne fragmenty większego układu sterowania. Prezentowana metoda, w odróżnieniu od innych, znanych z literatury, nie wymaga pełnego przekształcenia równania charakterystycznego, reprezentującego listę sąsiedztwa w celu uzyskania pierwszego rozwiązania.
EN
The paper presents a concept and design methodology for decomposition of logic controllers' specification by means of using Gentzen symbolic reasoning. Specification of logic controller behaviour can be represented by Petri net, which can be decomposed into simplified subnets. These subnets directly represent smaller and independent parts of logic controller. The first result (Petri net State Machine-subnet), obtained from symbolic deduction, can be generated without complete analysis of characteristic logic expression, created from local state space description.
5
Wykrywanie zastojów w sterownikach logicznych metodą symbolicznego wnioskowania Gentzena
Tkacz J.
Pomiary Automatyka Kontrola
|
2006
|
R. 52, nr 6 bis
11-13
PL
W referacie przedstawiono koncepcję i sposób weryfikacji specyfikacji sterowników logicznych z wykorzystaniem wnioskowania Gentzena. Zastosowanie symbolicznej metody Gentzena w odróżnieniu od opisywanych w literaturze rozwiązań, pozwala na pominięcie szeregu kroków w procesie analizy symbolicznej sieci Petriego, opisującej funkcjonowanie sterownika, co prowadzi do pełnej automatyzacji procesu weryfikacji. Metoda dokładnie określa fragmenty specyfikacji, w których występują defekty (np. zastoje).
EN
The paper presents a concept and methodology for verification of logic control-lers specification by means of using Gentzen symbolic deduction. This method omits some steps of algorithm of Petri net symbolic analysis, where Petri net specifies behavior of logic controller. This concept makes possible to automate full process of verification and determines places, for which specification has errors (deadlocks).
6
Wybrane tekstowe formaty specyfikacji sieci Petriego opisujące algorytmy sterowania
Węgrzyn A., Węgrzyn M.
Pomiary Automatyka Kontrola
|
2006
|
R. 52, nr 6 bis
29-31
PL
Układy sterowania mogą być modelowane z wykorzystaniem sieci Petriego, gdyż w łatwy sposób można przedstawić za ich pomocą współbieżność. Sieci Petriego mogą być reprezentowane w sposób graficzny (graf dwudzielny) lub tekstową. Istnieje wiele formatów tekstowych opisu sieci Petriego. Rozwój technologii przyczynił się do prowadzenia prac nad ujednoliceniem formatów tekstowych z wykorzystaniem języka XML - język PNML. W artykule został opisany rozwój formatów tekstowych specyfikacji sieci Petriego opisujących algorytmy sterowania.
EN
Discrete systems can be modeled by Petri nets, because Petri nets in easy way present concurrency. There are two method of specification of Petri net: graphical way (bipartite graph) and textual formats. There are a lot of textual format specifying Petri net. Development of new technologies contributes to standardization of textual formats using XML. In the paper development of textual format specifying Petri nets describing logic controllers, is presented.
7
Dekompozycja równoległa automatów współbieżnych z wykorzystaniem hipergrafów
Adamski M., Wiśniewska M.
Pomiary Automatyka Kontrola
|
2006
|
R. 52, nr 6 bis
8-10
PL
Hipergrafy są dogodnym narzędziem matematycznym, umożliwiającym zwartą reprezentację relacji współbieżności lub relacji następstwa w przestrzeni stanów lokalnych cyfrowego automatu współbieżnego. Z tego względu zaproponowano ich wykorzystanie w projektowaniu rekonfigurowanego sterownika logicznego. Hipergraf pozwala w przejrzysty sposób opisywać nie tylko relację współbieżności miedzy stanami lokalnymi, lecz także poglądowo przedstawia ich przynależność do tego samego stanu globalnego. Ułatwia to dekompozycję diagramu SFC lub równoważnej mu interpretowanej sieci Petriego sterowania, na moduły, na przykład szeregowe lub równoległe.
EN
Hypergraphs are useful mathematical tools for compact representation of relations among local states in the state space of distributed, concurrent control automata (concurrent state machines). It seams that usage of hypergraphs here is more efficient and intuitive than traditional solutions. For this reason we propose their application during the design process of reconfigurable logic controllers. It makes possible to decompose SFC or related control interpreted Petri net into parallel or sequentially related modules.
8
Częściowa rekonfiguracja sterowników binarnych opisanych sieciami Petriego
Węgrzyn M.
Pomiary Automatyka Kontrola
|
2006
|
R. 52, nr 6 bis
26-28
PL
W prezentowanym artykule przedstawiono metodę projektowania reprogramowalnych sterowników binarnych pod kątem ich częściowej rekonfiguracji. Do specyfikacji algorytmów sterowania stosowana jest hierarchiczna sieć Petriego. Projektowane układy implementowane są w strukturach programowalnych FPGA. Opracowana metoda uwzględnia możliwość zastąpienia złożonych fragmentów sieci (podsieci lub mikromodułów, tzn. makromiejsc i makrotranzycji) innymi w celu dopasowania algorytmu sterowania do realizacji nowych zadań. W przeprowadzonych testach wykorzystano układu FPGA firmy Xilinx. Testy wykazały skuteczność metody przy zachowaniu łatwości modyfikacji algorytmu.
EN
In the paper a new method of Logic Controller design for a partial reconfiguration is presented. Programs of Logic Controllers are specified by means of hierarchical Petri nets. As a final technology programmable logic is applied. The proposed method allows replacing complex parts of the net (i.e. subnet, macroplaces, or macrotransitions) by other ones for realization of new tasks by the controller. Xilinx FPGAs have been used in tests. The tests showed a method effectiveness, while modifications of the algorithms were easy carried out.
first rewind previous Strona / 1 next fast forward last
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ć.