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

Znaleziono wyników: 25

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

help Ogranicz wyniki do:
first rewind previous Strona / 2 next fast forward last
1
Content available Wykorzystanie pseudostanów historii do modelowania sytuacji awaryjnych w maszynie stanów UML
Bazydło G., Adamski M., Stefanowicz Ł.
Pomiary Automatyka Kontrola
|
2014
|
R. 60, nr 7
513--515
PL
W artykule przedstawiono zagadnienia związane z modelowaniem obsługi sytuacji awaryjnych opierając się na metodzie syntezy behawioralnej sterowników logicznych opisanych diagramami maszyny stanowej UML. Szczególną uwagę zwrócono na wykorzystanie pseudostanów historii a także zdarzeń i przejść zakończenia (typu completion event), przejść wysokiego poziomu, stanów końcowych i przejść bezwarunkowych. Celem zaproponowanej metody jest takie przekształcenie modelu hierarchicznej maszyny stanów UML, aby otrzymać opis układu w języku opisu sprzętu Verilog. Metoda została poparta stosownym przykładem układu sterowania.
EN
The paper presents the design methodology for deriving Verilog descriptions from UML state machine diagrams (Figs. 2, 3) in order to capture the behavioral hierarchy in the array structure of an embedded system. The exception handling is introduced at the top level of the graphical specification. As an intuitive example the interrupt is introduced. It illustrates the case of a system failure, when the control is temporarily transferred to exceptional safe and determined behavior. The precise semantic interpretation of the UML 2.4 state machine diagrams ensures, under the proposed structural design rules, that the Verilog description conserves modular properties of an initial specification. The behavioral hierarchy of the UML state machine is directly mapped into a structural hierarchy inside the designed reconfigurable controller. The tree of properly encapsulated submachines allows independent simulation and modification of particular parts of the behavioral model. In the paper the emphasis is put on the support of modeling an emergency situation with use of history pseudostates, high-level transitions and completion events. The way of hardware implementation of storing the information about the previously active state is also presented (Fig. 5). The most important algorithm of the proposed method is illustrated by an appropriate example (Fig. 1).
2
Stanowisko laboratoryjne do prezentacji i badań nowoczesnego układu napędowego z silnikiem synchronicznym
Saniawa D.
Logistyka
|
2014
|
nr 6
9362--9365
PL
Serwonapędy to podstawowe układy wykonawcze stosowane w automatyce, służące do realizowania ruchów obrotowych i liniowych. Dzięki pracy w zamkniętej pętli sprzężenia zwrotnego serwonapędy stosowane są wszędzie tam, gdzie potrzebna jest duża dynamika ruchu, pozycjonowanie, praca na bardzo małych prędkościach, bardzo duża dokładność regulacji itp. Coraz częściej w układach automatyki przemysłowej stosowane są rozwiązania z magnetoelektrycznymi silnikami synchronicznymi. Układy w serwonapędach oparte są na przemysłowych sterownikach logicznych PLC. Uruchomione w UTH Radom stanowisko do badania serwonapędów, ma zaprezentować możliwości jakie stwarzają serwonapędy. W stanowisku wykorzystano sprzęt czołowego producenta automatyk i przemysłowej firmy Beckhoff.
EN
Running position in UTH Radom is designed for presentation the servo drives. Servo systems are the basic regulations applicable in the automation drive, They pursue rotation and linear displacement. Thanks to the closed-loop servo drives are used wherever the need is high dynamics of motion, positioning, work on very low speeds, very high control accuracy, etc. Increasingly, industrial automation systems are used in solutions of permanent-magnet synchronous motors. Control of the servo drives are based on the industrial logic controllers PLC. The test stand used equipment company Beckhoff, a leading manufacturer in industrial automation.
3
Content available Dwustanowe sterowanie ogrzewaniem w zautomatyzowanym „budynku inteligentnym” na przykładzie symulacji komputerowych w programie LOGO! Soft Comfort v6.0
Jarmuda T.
Poznan University of Technology Academic Journals. Electrical Engineering
|
2012
|
No. 70
197--207
PL
Artykuł przedstawia możliwości aplikacyjne sterownika LOGO! firmy Siemens w zakresie sterowania ogrzewaniem w zautomatyzowanym „budynku inteligentnym”. Szerokie spektrum możliwości sterownika logicznego znajduje odzwierciedlenie w rzeczywistości, na przykładzie symulacji komputerowych w programie LOGO! Soft Comfort v6.0. W pracy dokonano analizy porównawczej dwóch programów realizujących dwustanowe sterowanie ogrzewaniem: z histerezą i bez histerezy, a także przedstawiono program sterowania „inteligentnym” domem letniskowym. W artykule zaprezentowano także wyniki obliczeń parametrów dla wzmacniacza analogowego B007, na przykładzie charakterystyk przykładowych krzywych grzania.
EN
The article presents the application possibilities of Siemens LOGO! controller in the heating control in an automated "intelligent building". Broad possibilities spectrum of logic controller is reflected in the fact, for example on the basis of computer simulations in LOGO! Soft Comfort v6.0. The paper presents a comparative analysis of two programs implementing the heating digital control: with hysteresis and no hysteresis, and also shows the control program of “intelligent” cottage. The article presents the results of calculations of parameters for an B007 analog amplifier on the basis of the sample heating curves.
4
Content available Rozproszony system sterowania o architekturze GALS projektowany z wykorzystaniem sieci Petriego
Bukowiec A.
Pomiary Automatyka Kontrola
|
2012
|
R. 58, nr 6
502-505
PL
W artykule omówiona została architektura rozproszonego systemu sterowania zbudowanego z konfigurowalnych struktur FPGA. System specyfikowany jest z wykorzystaniem sieci Petriego. Następnie poddawany jest dekompozycji na składowe automatowe z wykorzystaniem algorytmów kolorowania sieci Petriego. Każda składowa implementowana jest niezależnie w oddzielnym układzie FPGA. Aby umożliwić komunikację pomiędzy poszczególnymi składowymi zastosowano architekturę globalnie asynchroniczną lokalnie synchroniczną (GALS). Każda podsieć synchronizowana jest lokalnym sygnałem zegarowym. Komunikacja pomiędzy poszczególnymi podsieciami zrealizowana jest asynchronicznie z wykorzystaniem dodatkowych sygnałów.
EN
The paper presents a new architecture of the distributed specific control system built with FPGA devices. The control algorithm specification is made with use of the control interpreted Petri net. It allows specifying parallel processes in easy way. Next, such a Petri net is decomposed into a set of state-machine type subnets. For this purpose there are applied algorithms of coloring of Petri nets. In this case, each subnet represents one parallel process. Each subnet is independently implemented in different FPGA device. To ensure communication between all subnets, there is used globally asynchronous locally synchronous (GALS) architecture of the whole control system. Each subnet is synchronized by a local clock signal. The global communication between components is buffer-based via additional signals. These signals are generated in particular subnets and they are distributed to other ones. During the synthesis process places of each state-machine subnet are encoded by a minimal-length binary vector. This encoding allows a realization of a microoperation decoder with use of embedded memory blocks of the FPGA device. It leads to balanced usage of all kinds of logic resources of the FPGA device.
5
Content available Conception of partial specification of logic controller deterministic state machine
Łabiak G.
Pomiary Automatyka Kontrola
|
2012
|
R. 58, nr 1
76-79
PL
Zagadnienie stworzenia deterministycznego opisu zachowania sterownika logicznego (bez konfliktów między tranzycjami) opisanego diagramami statecharts [2, 9] jest zagadnieniem o złożoności problemu spełnialności i jego rozwiązanie poprzez "ręczne" konstrukcje predykatów tranzycji może być dla projektanta bardzo trudne o ile w ogóle możliwe. Referat skupia się na problemie automatycznego doboru predykatów tranzycji w warunkach niepełnej specyfikacji, tak aby maszyna stanów [2, 9] (diagram statechart, rys. 3a) modelowała zachowanie w sposób deterministyczny. W proponowanej metodzie projektant podaje najistotniejsze zdarzenia warunkujące przejścia, a system CAD automatycznie rozwiązuje konflikty tranzycji niepełnej specyfikacji. Podstawową koncepcją automatycznego rozwiązywania konfliktów tranzycji jest utworzenie własnego zestawu wszystkich zmiennych dla każdej tranzycji osobno (podrozdz. 4.1). Nowo utworzone zmienne wyznaczają bazę symbolicznej przestrzeni wektorowej, w której można przestawić wszystkie możliwe predykaty (podrozdz. 4.2). W przestrzeni symbolicznej w łatwy sposób można opisać wyrażeniem logicznym zbiór wszystkich predykatów ortogonalnych oraz zbiory odpaleń wynikające z niepełnej specyfikacji (podrozdz. 4.3). Iloczyn w przestrzeni symbolicznej zbiorów predykatów ortogonalnych i zbiorów odpaleń wyznacza zbiór zestawów ortogonalnych predykatów wynikających z częściowej specyfikacji (podrozdz. 4.4). Wszystkie operacja na zbiorach wykonywane są jako logiczne przekształcenia odpowiednich funkcji charakterystycznych, które efektywnie mogą być implementowane za pomocą binarnych diagramów decyzyjnych [7].
EN
The issue of creating a deterministic behaviour description (without conflicts between transitions) of a logic controller is an issue of computational complexity equal to a classic satisfiability problem. Its solution through by-hand transition predicates construction can be very painstaking and tedious, if possible at all. The paper focuses on automatic transition predicates construction where transition predicates are partially specified by a designer giving only the most essential information necessary to comprehend the controller behaviour. This partial specification causes that a state machine (statechart diagram) is nondeterministic (and hence cannot be technically implemented) and the CAD system task is to transform automatically this partial specification into a corresponding deterministic form.
6
Sterownik Fuzzy Logic o architekturze hierarchicznej
Wyrwoł B.
Elektronika : konstrukcje, technologie, zastosowania
|
2012
|
Vol. 53, nr 10
64-67
PL
W artykule przedstawiono sterownik programowalny, w którym zaimplementowany został regułowy system wnioskowania przybliżonego. Realizuje on algorytm sterowania wykorzystujący logikę rozmytą. W celu zmniejszenia nakladów sprzętowych i obliczeniowych zastosowany został system o architekturze hierarchicznej. Złożony jest on z elementarnych podsystemów o takiej samej strukturze, które różnią się jedynie zawartościami swoich baz wiedzy. Bazy te tworzone są w wyniku dekompozycji opartej na operacji projekcji pierwotnej bazy wiedzy opisującej zachowanie systemu klasycznego. Wynik wnioskowania uzyskiwany z takiego systemu może charakteryzować się zwiększoną rozmytością w porównaniu z wynikiem uzyskiwanym z systemu o klasycznej architekturze. Ta niekorzystna własność została do pewnego stopnia wyeliminowana poprzez odpowiedni dobór współczynnika skalowania w module denormalizacji sterownika.
EN
The paper presents programmable logic controller with implemenlation of the rule based fuzzy inference system. The controller performs an control algorithm using fuzzy logic. Hardware costs and computing time of the hardware realization of the fuzzy inference system can be decreased using decomposition technique based on projection. It allows show system as a hierarchical architecture. It consists of the subsystems, they have the same architecture, but they differ in contents of the knowledge subbases. The inference result of the hierarchical system is more fuzzy than of the classical one. This disadvantage can be minimized to a certain degree through tuning the scaling factor in the denormalisation module of the controller.
7
Content available A concept of electro-pneumatic programmable manipulator
Kaszycki L.
Zeszyty Naukowe / Akademia Morska w Szczecinie
|
2011
|
nr 28 (100) z. 1
34-37
EN
The paper presents a concept of use the logical controller and typical pneumatic elements to construction of programmable manipulator. The construction, principle of action and properties of device were described. The paper contains also detailed functional schemes of system, as well as discussion of performed manipulator tests. Finally, the application area of described device was included.
PL
W artykule przedstawiono koncepcję wykorzystania sterownika logicznego oraz typowych elementów pneumatyki do budowy programowalnego manipulatora. Opisano budowę, zasady działania oraz właściwości urządzenia. Dołączono szczegółowe schematy funkcjonalne zbudowanego układu. Omówiono przeprowadzone testy manipulatora. Wskazano obszar zastosowań opisanego urządzenia.
8
Content available remote Zastosowanie programowania liniowego do badania sieci Petriego
Dylewski R., Adamski M., Jabłoński J.
Przegląd Elektrotechniczny
|
2011
|
R. 87, nr 11
159-163
PL
W literaturze przedmiotu, proponuje się wykorzystywanie metod algebry liniowej (LA) do badania strukturalnych i dynamicznych własności sieci Petriego, zwracając uwagę na zalety techniki ILP (Integer Linear Programming). Bezkrytyczne stosowanie ogólnych, uniwersalnych procedur matematycznych o stosunkowo dużej sprawności obliczeniowej prowadzi jednak do niepotrzebnego wygenerowania dużej liczby zbytecznych rezultatów. Projektant rekonfigurowalnego sterownika logicznego (RLC) zmuszany jest do pracochłonnej selekcji trudnych do intuicyjnego zinterpretowania wyników analizy, nieprzydatnych w trakcie projektowania matrycowego układu cyfrowego. W artykule dokonano krótkiego, krytycznego przeglądu dotychczas stosowanych metod analizy sieci Petriego z wykorzystaniem technik ILP. Pokazano sposób racjonalnego wykorzystania ILP do wyznaczania i efektywnej selekcji inwariantów bezpiecznej sterującej sieci Petriego, z pominięciem jej znakowań pozornych umiejscowionych wśród potencjalnie osiągalnych stanów globalnych i przemieszanych razem z rzeczywistymi stanami globalnymi.
EN
The paper presents a novel part of well known design methodology for Reconfigurable Logic Controllers implementation, which starts from a suitable cover of the control interpreted Petri net by means of the minimal number of its proper state machine (SM) components. The proposed analysis procedure is based both on Integer Linear Programming (ILP) and structural theory of Petri nets. The number of generated P-invariants, treated as candidates for covering all places of the net, is usually too surplus and contains subsets which do not define State Machine components. Some of P-invariants do not properly define state machine components because they have no intersection or they have more then one intersection with real distributed global states of the control interpreted net. Another well known drawback of the known ILP methods is the generation of several spurious global states of Petri net, whih are mixed in potential reachability graph with real global ststes, taken from dynamic reachability graph. The spurious global states shoud be eliminated during matrix calculations and P-invariants that do not define proper state machine components of the net rejected as soon as possible. The paper proposes a noell ILP-based method for finding a minimal number of P-invariants covering the net. The results of the new method can be used for decomposition of the control interpreted Peri net into linked parallel modules or its local state encoding before its direct structured mapping to Hardware Description Languages.
9
Content available Weryfikacja modelowa interpretowanych sieci Petriego sterowania
Grobelna I.
Pomiary Automatyka Kontrola
|
2011
|
R. 57, nr 6
666-670
PL
Artykuł przedstawia oryginalne podejście do weryfikacji modelowej interpretowanych sieci Petriego sterowania. Sieci Petriego są powszechnie wykorzystywane w przemyśle. Najczęściej jednak weryfikowane są pod kątem właściwości strukturalnych, a właściwości behawioralne (mimo ich dużego znaczenia) są pomijane. Technika weryfikacji modelowej pozwala na weryfikację właściwości opisujących zachowanie projektowanego systemu. Model logiczny otrzymany na podstawie istniejącej sieci Petriego sterowania przedstawiany jest na poziomie RTL w taki sposób, że nadaje się zarówno do formalnej weryfikacji, jak i do syntezy logicznej jako rekonfigurowalny sterownik logiczny lub PLC.
EN
The paper introduces a novel approach to model checking with Control Interpreted Petri Nets [15]. Petri Nets [9, 11, 12, 13] are commonly used in the industry. However, they are mostly verified against structural properties, and behavioral properties are out of scope. The model checking technique [3, 7, 8, 21, 22] allows verifying properties which describe behavior of the designed system. Properties to be verified are expressed in temporal logic [16, 17, 18, 19, 20]. The logical model (Fig. 1) derived from existing Petri net is presented at RTL level (Register Transfer Level) in such a way, that it is easy to be formally verified as well as to logical synthesized as a reconfigurable logic controller or PLC (Programmable Logic Controller). It operates on variables which correspond to places, input and output signals of the Control Interpreted Petri Net (Section 3). The variables change their values according to some specified rules. The logical model is afterwards transformed into input format of the NuSMV model checker [23] and formally verified (Section 4). Control Interpreted Petri Net (Fig. 2) is divided into elementary subnets (Fig. 3). Each elementary subnet consists of a single place and its input and output transitions. Each elementary subnet is interpreted as a single segment of model description in the NuSMV tool. Each elementary subnet represents a two-states state machine which is usually realized as a single macrocell (Fig. 4) in the FPGA circuit. The properties to be verified are expressed in LTL or CTL logic. If any of them is not satisfied in the described system model, the appropriate counterexample is generated (Fig. 6). In the example in the paper the verification finds a subtle error resulting from incorrect / incomplete specification (Fig. 5) and allows the user to localize the error source.
10
Automatyczna weryfikacja i synteza regułowego modelu sterownika logicznego
Grobelna I.
Metody Informatyki Stosowanej
|
2011
|
nr 3
59-65
EN
The article focuses on model checking and synthesis of rule-based specification of logic controller. It describes and illustrates proposed design system of logic controllers. Specification by means of Control Interpreted Petri Nets is formally written as rule-based logical model, which is suitable both for formal verification against behavioral requirements and for synthesis in form of reconfigurable logic controller. Verifiable model is thereby consistent with synthesizable model. Logical model is also used for behavioral verification and simulation. Translation process of rule-based specification into verifiable model description and synthesizable code has been automated.
11
Symulatory procesów przemysłowych
Jakubiec B.
Logistyka
|
2011
|
nr 6
PL
W artykule przedstawiono sposoby realizacji symulatorów procesów przemysłowych. Zastosowanie symulacji w procesie dydaktycznym ma na celu wykorzystanie jej jako skutecznego instrumentu wspomagania, ułatwiającego bezpieczne i uniwersalne zapoznanie studentów z aspektami działania elementów procesu przemysłowego, jak i algorytmami decyzyjnymi dla wybranych problemów technicznych.
EN
The paper deals with application of computer simulator for developing an industrial process control by means sequential programming . Presented approach allows to safely and efficiently introduce students to problems encountered in implementing control of plants in real industrial environment. Computer aided software development allows also to use flexible approach during programming, including software testing before online implementation.
12
Content available Petri nets and activity diagrams in logic controller specification – transformation and verification
Grobelna I., Grobelny M., Adamski M.
Zeszyty Naukowe. Telekomunikacja i Elektronika / Uniwersytet Technologiczno-Przyrodniczy w Bydgoszczy
|
2010
|
z. 13
79--91
EN
The paper presents formal verification method of logic controller specification taking into account user-specified properties. Logic controller specification may be expressed as Petri net or UML 2.0 Activity Diagram. Activity Diagrams seem to be more user-friendly and easy-understanding that Petri nets. Specification in form of activity diagram may afterwards be transformed into Petri net, which may then be formally verified and used to automatically generate implementation (code). A new transformation method dedicated for event-driven systems is proposed. Verification process is executed automatically by the NuSMV model checker tool. Model description based on specification and properties list is being built. Model description derived from Petri net is presented in RTL-level and easy to synthesize as reconfigurable logic controller or PLC. Properties are defined using temporal logic. In model checking process, verification tool checks whether requirements are satisfied in attached system model. If this is not the case, appropriate counterexamples are generated.
PL
Praca prezentuje metodę formalnej weryfikacji specyfikacji sterownika logicznego uwzględniającą właściwości podane przez użytkownika. Specyfikacja sterownika logicznego może być przedstawiona m.in. w postaci sieci Petriego lub diagramu aktywności języka UML. Diagramy aktywności wydają się być bardziej przyjazne i zrozumiałe dla użytkownika niż sieci Petriego. Specyfikacja w postaci diagramu aktywności może zostać przekształcona do sieci Petriego, która następnie może być formalnie zweryfikowana i wykorzystana do automatycznej generacji implementacji (kodu). Węzły diagramu aktywności konsekwentnie interpretowane są jako tranzycje sieci Petriego, w odróżnieniu od klasycznego podejścia (w starszych wersjach UML) gdzie odwzorowywało się je jako miejsca sieci Petriego. Proces weryfikacji wykonywany jest automatycznie przez narzędzia weryfikacji modelowej. Tworzony jest opis modelu bazujący na specyfikacji oraz lista wymagań. Nowatorskim podejściem jest przedstawienie sieci Petriego na poziomie RTL w taki sposób, że łatwo jest przeprowadzić syntezę logiczną sieci w postaci współbieżnego rekonfigurowalnego sterownika logicznego lub sterownika PLC bez konieczności przekształcania modelu. Wymagania określone są przy użyciu logiki temporalnej. W procesie weryfikacji modelowej narzędzie weryfikujące NuSMV sprawdza, czy model systemu spełnia stawiane mu wymagania. Jeżeli tak nie jest, generowany jest odpowiedni kontrprzykład.
13
Content available remote Modelowanie sieci Petriego w języku VHDL
Węgrzyn M.
Przegląd Elektrotechniczny
|
2010
|
R. 86, nr 1
212-216
PL
Sieć Petriego dobrze nadaje się do modelowania współbieżnych układów cyfrowych, w szczególności do układów sterowania. W celu szybkiego prototypowania takich układów przygotowywane są odpowiadające im modele w językach opisu sprzętu. Opracowywane modele wykorzystywane są zarówno do celów symulacji, jak i syntezy. Implementacja odbywa się z wykorzystaniem programowalnych matryc bramkowych FPGA. Do aktualnie stosowanych języków HDL zalicza się VHDL i Verilog. W przeglądowym artykule przedstawiono sposoby modelowania sieci Petriego w języku VHDL.
EN
Petri nets are used to specification of concurrent Logic Controllers. For rapid prototyping of such systems HDL models are prepared. Models are used for both, simulation and synthesis. As implementation technology, programmable logic, e.g. FPGA devices, is applied. VHDL and Verilog are used in modern CAD systems. In the paper a short overview of VHDL modeling method is presented.
14
Content available remote Implementacja sieci Petriego sterowania w częściowo rekonfigurowanych układach FPGA
Węgrzyn A., Węgrzyn M.
Przegląd Elektrotechniczny
|
2010
|
R. 86, nr 3
221-224
PL
Artykuł przedstawia zastosowanie dekompozycji równoległej sieci Petriego do celów projektowania częściowo rekonfigurowanych sterowników logicznych. Do dekompozycji sieci Petriego zastosowano metody symboliczne bazujące na analizie wybranych właściwości sieci i wyznaczaniu P-niezmienników. Otrzymane w ten sposób połączone maszyny stanów są modelowane w wybranym języku opisu sprzętu. W artykule zaprezentowano modele w języku Verilog. Do implementacji układowej wykorzystywane są układy FPGA (firmy Xilinx). Wymiana wybranej składowej maszyny stanów, podczas powtórnej implementacji i porównaniu danych konfiguracyjnych, umożliwia zmianę konfiguracji tylko wybranego fragmentu projektu plikiem różnicowym.
EN
In the paper Petri-net decomposition based design of Logic Controller for partial reconfiguration is presented. Symbolic methods of analysis of some Petri net properties and P-invariants calculation is applied for decomposition. Obtained linked state machines are modeled using Hardware Description Languages. Verilog models of such decomposed Petri net are presented. Xilinx FPGA devices are used for final implementation. Replacement of selected state machine, after next implementation and bit-streams’ comparison, provides exchange of configuration only selected part of project using differential bit-stream.
15
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.
16
Dynamicznie rekonfigurowalna współbieżna realizacja sterowania binarnego
Hrynkiewicz E., Milik A., Mocha J.
Elektronika : konstrukcje, technologie, zastosowania
|
2008
|
Vol. 49, nr 11
187-190
PL
W artykule przedstawiono architekturę dynamicznie rekonfigurowalnej jednostki sterownika binarnego implementowanego w układzie FPGA. Przeznaczony jest do wykorzystania w programowalnych sterownikach logicznych. Przedstawione rozwiązanie wykorzystuje technikę wielostrumieniowego przetwarzania równoległego. Regularna architektura znakomicie wpasowuje się strukturę FPGA, pozwalając na znaczne upakowanie oraz osiągnięcie wysokich częstotliwości pracy. Zaproponowana architektura korzysta z możliwości dynamicznej rekonfiguracji w czasie pracy układu, która oferowana jest przez nowoczesne układy FPGA. Przedstawiona architektura przyspiesza proces projektowania, gdyż pozostaje niezmienna za wyjątkiem generatorów tablicowych funkcji LUT.
EN
The paper presents architecture of the dynamically reconfigurable binary logic controller dedicated for PLCs. Presented solution takes benefits from multistream parallel processing. The symmetrical architecture perfectly fits into FPGA structure. It assures high logic denesity and close to maximal operation frequency. Presented architecture is able to be reconfigured during runtime taking benefits from modern FPGA configuration interfaces. Presented architecture optimize and speeds up design process while entire architecture remains unchanged except contentents of the LUTs.
17
Content available remote Projektowanie sterowników logicznych opisanych diagramami maszyny stanowej UML
Bazydło G., Adamski M.
Czasopismo Techniczne. Informatyka
|
2008
|
R. 105, z. 1-I
3-18
PL
W artykule przedstawiono nową metodę projektowania sterowników logicznych realizowanych w sposób układowy w strukturach FPGA z wykorzystaniem języka Verilog i programów profesjonalnych do symulacji i syntezy logicznej. Modelem behawioralnym programu sterownika jest diagram maszyny stanowej UML 2.1.2. Formalnym modelem strukturalnym jest hierarchiczna sieć współpracujących ze sobą automatów cyfrowych.
EN
The paper presents a new design method for logic controllers, which are implemented as digital circuit in Field Programmable Gate Arrays (FPGA) by means of hardware description language Verilog and professional tools for simulation and logic synthesis. The UML 2.1.2 state machine diagram is used as an initial behavioral model. The formal structured design model is based on hierarchical network of collaborated Finite State Machines.
18
Content available Sprzętowo wspomagana, selektywna realizacja programu w sterowniku logicznym
Milik A.
Pomiary Automatyka Kontrola
|
2007
|
R. 53, nr 7
69-71
PL
Artykuł przedstawia metodę selektywnej realizacji programu sterowania. W programie sterowania podzielonym na bloki realizowane są te, których argumenty uległy zmianie od ostatniego cyklu obliczeniowego. Elementem niezbędnym do selektywnej realizacji programu jest pamięć procesu z mechanizmem wykrywania różnic w jej zawartości. Powyższe zadanie może zostać zrealizowany w sposób efektywny, przy wykorzystaniu unikalnych cech układów FPGA.
EN
The paper presents method of selective control program execution by a PLC. From entire program are executed only these blocks that variables have changed since last calculation. In order to determine program blocks that require recalculation in current program loop specific hardware support is used. The memory content difference detection unit allow to determine changes in memory content since last comparison. General idea of the change detector is presented in Fig. 2. Variables that are used by program block usually are stored in various location of process image memory. In order to precisely determine execution condition change detector should watch desired regions of memory while other part should not be considered. Following approach require to equip change detector with map of watched memory regions (Fig. 3). Finally change detector units together with process memory has been implemented in an FPGA device. Two different constructions that utilize distributed RAMs and block RAMs were considered. Requireme
19
System do komputerowego projektowania programów dla rekonfigurowalnych sterowników logicznych
Bazydło G.
Informatyka Teoretyczna i Stosowana
|
2007
|
R. 7, nr 11
89-100
PL
Do specyfikacji programów dla rekonfigurowalnych sterowników logicznych wykorzystywanych jest wiele metod zarówno graficznych, jak i opartych o format tekstowy. Graficzne metody są bardziej intuicyjne w stosowaniu, ale za to specyfikacje tekstowe lepiej nadają się do dalszego przetwarzania. Niestety brak jest uniwersalnej metody, która z jednej strony pozwalałaby na wizualne modelowanie za pomocą języka UML złożonych z hierarchicznych systemów współbieżnych, z drugiej zaś byłaby odpowiednia jako wejście dla zewnętrznych systemów umożliwiających przeprowadzenie symulacji, syntezy implementacji układu. W niniejszej pracy przedstawiono metodę translacji programów dla sterowników logicznych opisanych diagramami UML 2.0 do języka opisu sprzętu Verilog. Zaletą proponowanej metody jest możliwość graficznego projektowania układów cyfrowych, a cały proces translacji może odbywać się automatycznie, bez ingerencji użytkownika. Zwrócono także uwagę na możliwość używania do specyfikacji sterowników logicznych, często darmowych, narzędzi UML. Praktyczną weryfikacją proponowanej metody jest opracowana aplikacja UML-XML2Verilog, która umożliwia automatyczną translację diagramów UML 2.0 opisanych w języku XML do języka Verilog. Omawiane zagadnienia poparte zostały stosownymi przykładami.
EN
The Unified Modeling Language (UML) is a language for specifying, visualizing, constructing, and documenting artifacts of software systems, as well as for business modeling and other non-software systems. The UML represents a collection of the best engineering practices that have proven successful in modeling large and complex systems. The current version of the language is 2.1.1. The UML language contains thirteen kinds or diagrams (structure and behavior diagrams). One of the behavior diagrams is a stare machine diagram that defines a set of concepts that can be used for modeling discrete behavior through finite state transition systems. The UML language can be used not only for designing software systems, but also for other kinds of them, for example reactive systems. This paper presents a method of using the UML language for behavioral specification for reconfigurable logic controllers. Emphasis is put on diagrams that represent behavioral stare machines, because they refer directly to the definition of Finite State Machines. It is worth mentioning that state machine diagrams support various features of the modeling systems such as hierarchy and orthogonality. This support allows for designing the behavior of the complex and orthogonal systems in an intuitive and clear way, on the selected hierarchical level. Also a possibility of using another UML diagrams was discussed, e.g. use case diagrams or activity diagrams. The farmer can be applied to analyze the user's needs and interface of the designed device. The activity diagrams can be used to prepare test benches for the modeled system. But the main method to model the behavior of a system are state machine diagrams. The paper shows a way to transform and detail the UML specification to the form that is acceptable by contemporary, industrial logic controllers. The UML specification can be used to generate an effective program in a Hardware Description Language (HDL), especially Verilog. Also a possibility of freeware UML tools was discussed. As practical verification of proposed method an UML-XML2Verilog application was implemented.
20
Content available remote Zastosowanie sterowników logicznych w dydaktyce automatyki
Drabik M.
Prace Naukowe Akademii im. Jana Długosza w Częstochowie. Edukacja Techniczna i Informatyczna
|
2006
|
T. 1
41-46
EN
This article presents possibilities of application of the logical controllers in the teaching of automatization in polish schools. It describes logical functions, structure of the controller and method of his programming. It describes advantages of this teaching, too.
first rewind previous Strona / 2 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ć.