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ę "control software" wg kryterium: Temat


Wyświetlanie 1-2 z 2
Tytuł:
Rapid design and development of control applications for electrical engineering
Szybkie tworzenie aplikacji kontrolno-pomiarowych na potrzeby elektrotechniki
Autorzy:
Wojnicki, I.
Rad, M.
Powiązania:
https://bibliotekanauki.pl/articles/282188.pdf
Data publikacji:
2013
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
programming
control systems
software design
electric machines
programowanie
systemy sterowania
projektowanie oprogramowania
maszyny elektryczne
Opis:
This paper presents a control application programming concept based on attributive logic and context-based reasoning. General features and benefits, comparied with other contemporary approaches, are given. The proposed solution is targeted at electric machine tests and diagnostics. An illustrative example of programming an induction motor no-load test which compares the proposed solution with a Matlab-based application is also given.
Artykuł prezentuje koncepcję programowania aplikacji kontrolno-pomiarowych opartą na logice atrybutowej i wnioskowaniu kontekstowym. Przedstawione są ogólne zasady proponowanego podejścia i osiągane korzyści w stosunku do używanych obecnie metod. Przykładem, na którym omówiono sposób tego rodzaju programowania są aplikacje kontrolno-pomiarowe tworzone z myślą o próbach i diagnostyce maszyn elektrycznych. Zamieszczono przykład zaimplementowanej procedury pomiarowej: próby biegu jałowego maszyny indukcyjnej.
Źródło:
Automatyka / Automatics; 2013, 17, 2; 263-270
1429-3447
2353-0952
Pojawia się w:
Automatyka / Automatics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Asercyjne rozszerzenie języka ST normy IEC 61131-3 do dynamicznej weryfikacji systemów sterowania
Assertional extension in ST language of IEC 61131-3 standard for control systems dynamic verification
Autorzy:
Sadolewski, J.
Powiązania:
https://bibliotekanauki.pl/articles/276931.pdf
Data publikacji:
2011
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
oprogramowanie
projektowanie kontraktowe
język ST
systemy sterowania
software
design by contract
Structured Text language
control systems
Opis:
W pracy przedstawiono propozycję asercyjnego rozszerzenia języka ST (Structured Text) normy IEC 61131-3, nawiązującego do reguł projektowania kontraktowego i języka JML (Java Modeling Language). Zapisane asercje można przekształcić do kodu podczas kompilacji w celu uzyskania możliwości dynamicznej weryfikacji programów sterowania oraz detekcji błędów czujników. Przykłady dotyczą sterowania układem grzałek w zależności od temperatury oraz urządzenia do sortowania drewna.
The paper presents a proposition of assertional extension in Structured Text language from IEC 61131-3 standard, according to design by contract rules and JML (Java Modeling Language). Stored assertions could be converted to the code at compile time to obtain possibility of dynamic verification and for sensors failure detection. Heater control system and wood sorter machine are examples.
Źródło:
Pomiary Automatyka Robotyka; 2011, 15, 2; 305-314
1427-9126
Pojawia się w:
Pomiary Automatyka Robotyka
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