Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "logic controllers" wg kryterium: Temat


Wyświetlanie 1-13 z 13
Tytuł:
Transformacja rozmytej interpretowanej sieci Petriego na schemat układu logicznego
Transformation of the fuzzy interpreted Petri net into a logic circuit
Autorzy:
Gniewek, L.
Powiązania:
https://bibliotekanauki.pl/articles/152949.pdf
Data publikacji:
2010
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
logika rozmyta
modelowanie
sieci Petriego
sterowniki logiczne
synteza logiczna
fuzzy logic
modelling
Petri nets
logic controllers
logical synthesis
Opis:
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.
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.
Źródło:
Pomiary Automatyka Kontrola; 2010, R. 56, nr 11, 11; 1368-1371
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Learning of rule importance for fuzzy controllers to deal with inconsistent rules and for rule elimination
Autorzy:
Pal, K.
Pal, N.
Powiązania:
https://bibliotekanauki.pl/articles/205627.pdf
Data publikacji:
1998
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
sterownik rozmyty
wartość reguły
wybór reguły
fuzzy logic controllers
rule importance
rule selection
rule tuning
Opis:
Extraction of correct and precise rules from experts is a difficult problem. Moreover, even when the extracted rules are correct, all of them may not have equal importance to achieve the goal of the fuzzy system. Rule tuning is usually achieved through modification of membership functions. Effect of changing a membership function is global in the sense, it influences all rules that involve the membership function. Here we propose an effective extension of the ordinary fuzzy controller model which incorpotates an importance factor for each rule. The importance factor allows tuning of the system at the rule level. Of course, one can still tune the membership functions. The extended model enables us to cope with incorrect and/or incompatibile rules and thereby enhances the robustness, flexibility and system modeling capability. It also helps us to eliminate redundant rules easily. For the Takagi-Sugeno framework, we derive the learning algorithm for the rule importance factor as well as that for the consequent. We demonstrate the superiority of the extended model through extensive simulation results using the inverted pendulum.
Źródło:
Control and Cybernetics; 1998, 27, 4; 521-543
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Implementacja współbieżnych algorytmów sterowania w reprogramowalnych sterownikach logicznych
Concurrent control algorithm implementation using reprogrammable
Autorzy:
Adamski, M.
Węgrzyn, M.
Powiązania:
https://bibliotekanauki.pl/articles/157560.pdf
Data publikacji:
2003
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
reprogramowalne sterowniki logiczne
algorytmy sterowania
implementacja współbieżnych algorytmów sterowania
reprogrammable Logic controllers
concurrent control algorithm implementation
Opis:
W artykule omówiono metodologię bezpośredniego odwzorowania sieci Petriego opisującej algorytm sterowania, równoważnej grafowi SFC (Sequential Function Chart), w strukturze reprogramowalnego sterownika logicznego, realizowanego z wykorzystaniem układów typu FPGA i CPLD. Wskazano na rolę języków HDL (VHDL i Verilog) w modelowaniu i syntezie rozpatrywanej klasy układów.
In the paper, a method of direct mapping of Petri net describing logic controllers, or equivalent Sequential Function Chart (SFC), into a structure of reprogrammable logic controller realized by means of programmable logic (FPGA and CPLD), is presented. In addition, using of HDLs in modeling and synthesis of considered circuits is discussed.
Źródło:
Pomiary Automatyka Kontrola; 2003, R. 49, nr 2/3, 2/3; 21-25
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Expansion of the area of practical application of the PLC control system with parallel architecture
Rozszerzenie obszaru praktycznego zastosowania systemu sterowania PLC o architekturę równoległą
Autorzy:
Tymchuk, Sergiy
Piskarev, Oleksiy
Miroshnyk, Oleksandr
Halko, Serhii
Shchur, Taras
Powiązania:
https://bibliotekanauki.pl/articles/2174716.pdf
Data publikacji:
2022
Wydawca:
Politechnika Lubelska. Wydawnictwo Politechniki Lubelskiej
Tematy:
programmable logic controllers
parallel architecture
software control system
programowalne sterowniki logiczne
architektura równoległa
programowy system sterowania
Opis:
The analysis of architecture is carried out and offers concerning expansion of a area of practical application of PLC of parallel action are offered. The proposed methodology for constructing a logical control automaton of parallel action, the developed models, algorithm and structures represent a theoretical platform for the practical implementation of information technology for parallel logical control of railway automation objects.
Przeprowadzono analizę architektury i zaproponowano rozszerzenie obszaru praktycznego zastosowania PLC o działaniu równoległym. Zaproponowano metodologię budowy logicznego automatu sterującego o działaniu równoległym, opracowano modele, algorytm i struktury, które stanowią teoretyczną platformę dla praktycznej implementacji technologii informatycznych do równoległego logicznego sterowania obiektami automatyki kolejowej.
Źródło:
Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska; 2022, 12, 3; 16--19
2083-0157
2391-6761
Pojawia się w:
Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dual synthesis of Petri net based application specific logic controllers with increased safety
Autorzy:
Tkacz, J.
Bukowiec, A.
Adamski, M.
Powiązania:
https://bibliotekanauki.pl/articles/200217.pdf
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
critical safety
FPGAs
logic controllers
logic synthesis
Petri nets
verification
bezpieczeństwo krytyczne
FPGA
sterowniki logiczne
synteza logiczna
sieci Petriego
weryfikacja
Opis:
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.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2016, 64, 3; 467-478
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Microprocessor technology and programmable logic controllers in new generation railway traffic control and management systems
Autorzy:
Kornaszewski, M.
Powiązania:
https://bibliotekanauki.pl/articles/393311.pdf
Data publikacji:
2018
Wydawca:
Polskie Stowarzyszenie Telematyki Transportu
Tematy:
transport
safety
railway traffic control systems
Programmable Logic Controllers
bezpieczeństwo
systemy sterowania ruchem kolejowym
sterowniki programowalne PLC
Opis:
An application of modern microprocessor technique and more effective microprocessor systems has a large influence on development of devices railway transport and railway automation systems. Functioning new generation railway traffic control and management systems is largely based on Programmable Logic Controllers (PLC), which allow the designers to exploit self-control mechanisms, events registration, technical diagnostics, remote control and fault detection). Railway traffic control and management systems belong to safe technical railway transport solutions, it means that they have to meet the fourth safe integrity level CENELEC (SIL-4), what implies, that the configuration principles and software installed have to satisfy CENELEC EN 50 128 and EN 50 129 standards.
Źródło:
Archives of Transport System Telematics; 2018, 11, 2; 18-23
1899-8208
Pojawia się w:
Archives of Transport System Telematics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Kolorowanie automatowe sieci Petriego metodą wnioskowania symbolicznego
State Machine type colouring of Petri net by means of using a symbolic deduction method
Autorzy:
Tkacz, J.
Powiązania:
https://bibliotekanauki.pl/articles/152833.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
logika Gentzena
sekwent
wnioskowanie symboliczne
sterowniki logiczne
sieci Petriego
składowe automatowe
dekompozycja
Gentzen logic
sequent
symbolic deduction
logic controllers
Petri nets
decomposition
Opis:
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.
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.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 120-122
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Structured Mapping of Petri Net States and Events for FPGA Implementations
Autorzy:
Tkacz, J.
Adamski, M.
Powiązania:
https://bibliotekanauki.pl/articles/227222.pdf
Data publikacji:
2013
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
configurable logic controllers
interpreted Petri net state space
local and global state encoding
hyperpgraph
logic design
Gentzen sequents
Petri net coloring
FPGA
VHDL
Opis:
The paper presents a new method of structured encoding of global internal states and events in Reconfigurable Logic Controllers, which are directly mapped into Field Programmable Gate Arrays (FPGA). Modular, concurrently decomposed, colored state machine is chosen as a intermediate model, before the mapping of Petri net into an array structure of dedicated but very flexible and reliable digital system. The initial textual specification in formal Gentzen logic serves both as a design description for a rapid prototyping, as well as formal model, suitable for detailed computer-based reasoning about optimized and synthesized logic controller, implemented in configurable hardware. Only the selected linear subset from general, universal propositional Gentzen Logic is necessary to deduce several properties of the net, such as relations of nonconcurrency among structurally ordered macroplaces. The goal of this paper is to present the design methodology for modeling and synthesis of discrete controllers using related Petri net theory, rule-based theory (mathematical logic), and VHDL.
Źródło:
International Journal of Electronics and Telecommunications; 2013, 59, 4; 331-339
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Safe device solutions in railway traffic control systems
Bezpieczne rozwiązania urządzeń stosowanych w systemach sterowania ruchem kolejowym
Autorzy:
Kornaszewski, Mieczysław
Powiązania:
https://bibliotekanauki.pl/articles/2215602.pdf
Data publikacji:
2022
Wydawca:
Uniwersytet Technologiczno-Humanistyczny im. Kazimierza Pułaskiego w Radomiu
Tematy:
automatic level crossing signaling
BUES 2000
programmable logic controllers
railway traffic control
bezpieczeństwo
programowalne sterowniki logiczne
samoczynna sygnalizacja przejazdowa
sterowanie ruchem kolejowym
Opis:
The paper deals with the problems of safe solutions of railway traffic control systems, using the example of modern solutions of protection systems applied at railway level crossings. The need for reliable, modern and safe railway traffic control devices has forced manufacturers in the railway industry to use high quality microprocessors in their structures. Devices used to safety traffic at intersections of railroads and roadways in one level shall be absolutely operational and reliable. Such solutions are the modern systems of automatic level crossing signaling made in computer technology. They use structural redundancy, programmable logic controllers, and have extensive self-diagnostic and technical diagnostic mechanisms. The paper presents selected analyses of railway traffic safety on the example of the automatic level crossing of system BUES 2000 type by Scheidt & Bachmann.
W artykule podjęto problematykę bezpiecznych rozwiązań systemów sterowania ruchem kolejowym (srk) na przykładzie nowoczesnych rozwiązań systemów zabezpieczeń stosowanych na przejazdach kolejowych. Potrzeba niezawodnych, nowoczesnych i bezpiecznych urządzeń srk wymusiła na producentach branży kolejowej zastosowanie w ich strukturach wysokiej jakości mikroprocesorów. Urządzenia stosowane do zabezpieczenia ruchu na skrzyżowaniach dróg kolejowych z drogami kołowymi w jednym poziomie muszą być bezwzględnie sprawne i niezawodne. Takimi rozwiązaniami są nowoczesne systemy samoczynnej sygnalizacji przejazdowej wykonane w technologii komputerowej. Wykorzystują one nadmiar strukturalny, programowalne sterowniki logiczne oraz posiadają rozbudowane mechanizmy autodiagnostyki i diagnostyki technicznej. W pracy przedstawiono wybrane analizy bezpieczeństwa ruchu kolejowego na przykładzie systemu samoczynnej sygnalizacji przejazdowej typu BUES 2000 firmy Scheidt & Bachmann.
Źródło:
Journal of Civil Engineering and Transport; 2022, 4, 2; 37--48
2658-1698
2658-2120
Pojawia się w:
Journal of Civil Engineering and Transport
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wyznaczanie SM - pokrycia bezpiecznej sieci Petriego metodą komputerowego wnioskowania
Calculation of State Machine cover of safe Petri net by means of computer based reasoning
Autorzy:
Tkacz, J.
Adamski, M.
Powiązania:
https://bibliotekanauki.pl/articles/153764.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
przestrzeń stanów lokalnych i globalnych sieci Petriego
transwersale
podsieci automatowe SM
logika sekwentów Gentzena
Petri net state space
transversal
formal reasoning
State Machine subnets
configurable logic controllers
Opis:
W artykule przedstawiono nowy sposób pokrywania bezpiecznej sieci Petriego minimalną liczbą podsieci automatowych. Metoda symboliczna polega na wczesnej selekcji odpowiednich transwersali, stopniowo wyznaczanych dla rodziny maksymalnych podzbiorów współbieżnych miejsc sieci. W przypadku bezpiecznej sterującej sieci Petriego, miejsca traktowane są jako stany lokalne, natomiast ich dopuszczalne konfiguracje określają jej stany globalne. Transwersale wyróżniają podzbiory miejsc niewspółbieżnych, przypisanych do odpowiednich SM-podsieci. Komputerowe wnioskowanie odbywa się w monotonicznym rachunku sekwentów Gentzena. Rezultaty wykorzystywane są podczas syntezy cyfrowych, konfigurowanych sterowników logicznych z zastosowaniem komercjalnego oprogramowania i języków opisu sprzętu.
The paper presents a way of finding a suitable Petri net cover by means of a minimal number of maximal State Machine subnets (SM-components). A new symbolic method of Petri net parallel decomposition is based on early selection of proper minimal transversals, taken from family of all global Petri net states. Global states are given in advance as maximal subsets, formed from mutually concurrent places. They can be found as reachable global states of Petri net. During digital design of a logic controller, the places of the safe Petri net are treated as local internal states of Concurrent State Machine, implemented in a reconfigurable logic device (FPGA). The minimal number of selected transversals, which characterizes subsets of sequentially related places, is assigned to separate State Machine subnets. The computer based reasoning is searching a logic expression describing transversals in Gentzen sequent logic. The obtained decomposition (or cover) is used for state encoding of configurable array based embedded logic controllers, implemented as microsystems.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 11, 11; 1397-1400
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dvelopment of a management systems model of automatic control by using fuzzy logic
Autorzy:
Kovalyshyn, O.
Gabriel, Yu.
Powiązania:
https://bibliotekanauki.pl/articles/410973.pdf
Data publikacji:
2014
Wydawca:
Polska Akademia Nauk. Oddział w Lublinie PAN
Tematy:
fuzzy logic
fuzzy controllers
diesel engine control
fuel feed control
Opis:
Performing control in complex technical systems frequently becomes complex task, especially at the absence of a deterministic model of the system func-tioning or in conditions of incomplete system information. Often control efficiency under these conditions is not satisfactory. The paper describes control quality improvement approach based on using of fuzzy logic mechanisms on the example of fuzzy-system for controlling diesel engine fuel feed.
Źródło:
ECONTECHMOD : An International Quarterly Journal on Economics of Technology and Modelling Processes; 2014, 3, 4; 87-90
2084-5715
Pojawia się w:
ECONTECHMOD : An International Quarterly Journal on Economics of Technology and Modelling Processes
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Parallel robot controlled by PLC and its digital twin
Autorzy:
Michalík, R.
Hrbček, J.
Janota, A.
Powiązania:
https://bibliotekanauki.pl/articles/2063983.pdf
Data publikacji:
2021
Wydawca:
Uniwersytet Morski w Gdyni. Wydział Nawigacyjny
Tematy:
digital twin
human machine interface
PLC Controllers
computer aided design
paralled robot
CAD
programmable logic controller
PLC
Opis:
Modern ways of device development use the concept of a digital twin. A digital twin is an accurate digital copy of something that exists or is planned to be realized in the physical world. The digital twin is not only a virtual model of the physical system, but also a dynamic data and status information carrier obtained through a series of IoT-connected sensors that collect data from the physical world and send it to machines. The digital twin provides an overview of what is happening to the device in real time. This is very important in industry as this information is helpful to reduce maintenance issues and ensure production performance. This work focuses on the design and creation of a cybernetic physical system and its digital twin, based on CAD system modeling in conjunction with simulation and programming tools connected to real and simulated control systems. This process accelerates the development of the application implementation with the possibility to create a PLC control program and tune the system already in the design phase. Thus, the physical realization can be done in parallel with the programming and creation of the HMI interface. Modular programming will further accelerate software development [1]. The created system and its digital twin serve as a unified teaching tool without the need for real devices to be used by many students and users. This approach allows testing of program algorithms without the risk of damaging physical devices and is also suitable for distance learning.
Źródło:
TransNav : International Journal on Marine Navigation and Safety of Sea Transportation; 2021, 15, 3; 867--871
2083-6473
2083-6481
Pojawia się w:
TransNav : International Journal on Marine Navigation and Safety of Sea Transportation
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On possibilities of the practical implementation of balance-based adaptive control methodology
Autorzy:
Czeczot, J.
Powiązania:
https://bibliotekanauki.pl/articles/1839191.pdf
Data publikacji:
2007
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
model-based adaptive control
practical implementation
bumpless switching
virtual controllers
programmable logic controller (PLC)
recursive least-squares estimation
Opis:
This paper deals with two approaches to the practical implementation of the Balance-Based Adaptive Controller(B-BAC): the low-level PLC-based approach of the explicit form of the B-BAC and the high-level PC-based one in the form of the general "virtual controller". In both cases, we discuss the details of meeting the general requirements of a particular practical implementation. We also consider the implementation aspects that are independent of the implementation, such as development of the front panel, saturation of a manipulated variable, on-line measurement and data acquisition, implementation of the on-line estimation procedure, bumpless switching between the automatic and manual mode, etc. Additionally, we present how to derive both the general form and the final explicit form of the B-BAC on the example of a biotechnological process and how to apply these forms in the particular practical implementation.
Źródło:
Control and Cybernetics; 2007, 36, 4; 967-984
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-13 z 13

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies