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 function" wg kryterium: Temat


Wyświetlanie 1-2 z 2
Tytuł:
Translacja grafu SFC do programu IL
A translation from the SFC graph to the IL program
Autorzy:
Jaszczak, S.
Wierzbicki, M.
Powiązania:
https://bibliotekanauki.pl/articles/154015.pdf
Data publikacji:
2009
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
PLC
Programmable Logic Controller
IL
Instruction List
SFC
Sequential Function Chart
programmable logic controller
sequential function chart
Opis:
Artykuł poświęcono implementacji metody automatyzacji przekładu algorytmu sterowania sekwencyjnego, dedykowanego sterownikom PLC, zapisanego w postaci grafu SFC w język tekstowy IL i implementacji zaprezentowanej metody w oparciu o środowisko Java. Zastosowanie języka SFC, opierającego się na grafie etapów i przejść ułatwia zadanie programowania procesów sekwencyjnych i modyfikacje kodu sterującego w trakcie rozbudowy systemu, biorąc również pod uwagę tworzenie podprogramów, gwarantujących rekonfigurowalność PLC przy zmieniających się warunkach sterowania. W artykule przedstawiono oryginalne podejście do zagadnienia, polegające na zapisaniu procesu sekwencyjnego w postaci grafu SFC a następnie transformację do postaci IL. Proces tworzenia programu sterującego omówiono na przykładzie procesu cięcia rur.
Authors of this article described an implementation of an automatisation method of the translation a control sequential algorithm, dedicated to programmable controllers (PLC) from the SFC graph to the IL program. An algorithm written in the SFC graph was translated in the IL program, by using an original software created in the Java environment. Using a SFC language based on the graph of stages and transitions simplify a task related to the creation of sequential programs. It could be helpful during any modification and development in future, even years ago after an implementation the controlled system. In the first part were given some arguments confirmed a need of the translation from SFC graph to the IL program, e.g. Proficy Machine Edition, using for programming GeFanuc's PLCs, which have'nt SFC language as a standard tool. In the second part of the article were described all stages of the translation procedure, which are: preparation part, control part, initialization part and final part. In the third part of the article was given an example of the realistic sequential control system, related to the cutting pipes process.
Źródło:
Pomiary Automatyka Kontrola; 2009, R. 55, nr 8, 8; 663-665
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Bezpieczna platforma sprzętowa dla aplikacji opisanych w języku FBD
Safety execution framework for FB applications
Autorzy:
Śnieżek, M.
Powiązania:
https://bibliotekanauki.pl/articles/156270.pdf
Data publikacji:
2005
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
sterowanie bezpieczne
sterownik logiczny
PLC
język bloków funkcyjnych
formalna weryfikacja
safety related control
Safety Integrity Level 3
Function Block Diagrams
software verification
programmable logic controller
Opis:
W pracy przedstawiono programowalny sterownik logiczny, zachowujący się w sposób bezpieczny. Zachowanie to obejmuje normalną pracę, podczas której wymaga się poprawnego sterowania, jak również stan awarii, w którym wyjścia muszą być automatycznie wyzerowane. Algorytm sterowania jest opisany metodą bloków funkcyjnych FBD i SFC zgodną z normą IEC-61131. Zastosowana architektura sprzętowa sprzyja podzieleniu oprogramowania na dwie części. Pierwsza część - stała, niezależna od aplikacji - obejmuje bibliotekę bloków funkcyjnych. część druga - zmienna, bezpośrednio zależna od aplikacji - zawiera strukturę połączeń bloków. Obydwie części są wykonywane przez osobne procesory. Do badania poprawności stałej części programu zaproponowano formalną metodę wykorzystującą logikę wyższego rzędu HOL. Część zamienną bada się stosując metodę zróżnicowanej retranslacji.
To architecturally support the programming of safety related control applications in the graphical language Function Block Diagram and the verification of such software meeting the requirements of safety Integrity level 3, a dedicated, low complexity execution platform is presented. Its hardware is fault detecting to immediately initiate emegrency shut-downs in case of malfunctions. By design, there is no semantic gap between the programming and machine execution levels, enabling the safety licensing of application software by extremely simple, but rigorous methods, viz., diverse back translation and inspection. Operating in strictly periodic fashion, the platform exhibits fully predictable real time behaviour.
Źródło:
Pomiary Automatyka Kontrola; 2005, R. 51, nr 1, 1; 31-33
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-2 z 2

    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