Informacja

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

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "Diagrams" wg kryterium: Wszystkie pola

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-4 z 4
    Tytuł:
    Diagramy FBD w środowisku programistycznym CPDev
    FBD diagrams in CPDev programming environment
    Autorzy:
    Trybus, B.
    Ziętek, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/275184.pdf
    Data publikacji:
    2010
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    programowanie
    diagramy FBD
    programming
    FBD diagrams
    Opis:
    W artykule opisano rozszerzenie środowiska programistyczno-uruchomieniowego CPDev umożliwiające tworzenie aplikacji sterujących za pomocą diagramów bloków funkcjonalnych FBD. Edytor graficzny służy do tworzenia diagramów, zaś odpowiedni konwerter przekształca je do kodu w języku ST, który następnie jest kompilowany do postaci wykonywalnej. Do zapisu danych opisujących diagram FBD oraz bibliotekę bloków zastosowano format XML, w tym dokumenty o strukturze zgodnej ze standardem PLCOpen. Dzięki opisanemu rozszerzeniu środowisko CPDev pozwala obecnie na tworzenie aplikacji sterujących za pomocą trzech języków normy IEC 61131, tj. ST, IL i FBD.
    The paper describes an extension of CPDev programming and runtime environment for building control applications using Function Block Diagrams (FBD). The diagrams are converted into ST language compiled into executable binary code. XML format derived from PLCOpen standard is used to store FBD structure and library of function blocks. Due to the extension, the CPDev environment supports now ST, IL and FBD languages of IEC 61131-3 standard.
    Źródło:
    Pomiary Automatyka Robotyka; 2010, 14, 3; 6-8
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Weryfikowanie specyfikacji wymagań sterownika logicznego za pomocą diagramów aktywności UML, logiki temporalnej LTL i środowiska NuSMV
    Verification of logic controller requirements specification by means of UML activity diagrams, LTL temporal logic and NuSMV tool
    Autorzy:
    Grobelna, I.
    Grobelny, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/277589.pdf
    Data publikacji:
    2013
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    diagramy aktywności UML
    specyfikacja
    model logiczny
    weryfikacja modelowa
    logika temporalna
    UML activity diagrams
    specification
    logical model
    model checking
    temporal logic
    Opis:
    W artykule przedstawiono ideę zastosowania diagramów aktywności UML do specyfikacji wymagań dotyczących zachowania sterownika logicznego. Lista wymagań podlegających weryfikacji zwykle definiowana jest bezpośrednio za pomocą formuł logiki temporalnej. Użycie przyjaznych dla użytkownika, powszechnie znanych i wykorzystywanych diagramów pozwala na prostsze i bardziej intuicyjne zapisanie wymagań. Diagramy są następnie formalnie przekształcane do formuł liniowej logiki temporalnej (LTL).
    The article introduces an idea to use UML activity diagrams [1-5] for specification of requirements regarding logic controller behavior. Requirements list to be verified [14] (using model checking technique [6, 7]) is usually directly defined using temporal logic formulas [12, 15]. Using user-friendly, commonly known and practiced diagrams allows to easier and more intuitively write down the requirements easier and more intuitively. Activity diagrams are then formally transformed into linear temporal logic (LTL) formulas. In this paper some sample UML activity diagrams which specify global properties are presented, together with their interpretation using LTL logic. To perform model checking process, model description (based i.e. on a control interpreted Petri net [8] or indirectly on an UML activity diagram [11]), and requirements list are needed. Afterwards it is checked, whether defined properties are satisfied in specified model description. If a requirement cannot be fulfilled, appropriate counterexample is generated allowing to localize error source. The article is structured as follows. Section 1 is an introduction. Background of a logic controller specification and its verification is presented in section 2. A novel approach to logic controller requirements definition using activity diagrams is shown in section 3. The paper ends with a short summary.
    Źródło:
    Pomiary Automatyka Robotyka; 2013, 17, 10; 188-192
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A Note on Analysis of BPMN Diagrams
    Przyczynek do analizy diagramów BPMN
    Autorzy:
    Ligęza, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/275284.pdf
    Data publikacji:
    2011
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    notacja modelowania procesów biznesowych
    BPMN
    reguły biznesowe
    systemy regułowe
    analiza systemowa
    weryfikacja systemów
    bezpieczeństwo
    niezawodność
    efektywność
    poprawność
    Business Process Modeling Notation (BPMN)
    business rules
    rule-based systems
    system analysis
    system verification
    safety
    reliability
    efficiency
    correctness
    Opis:
    BPMN has recently become a de facto standard for modeling and design of complex software intensive processes. It is widely used not only in the Business Process domain. Numerous tools supporting visual edition have been developed. Despite its unquestionable advantages the semantic analysis of logical properties seems to be one of the weaknesses of this formalism. In order to assure reliable process execution the overall structure of the graph and its logical operation should be verified.
    BPMN staje się powoli standardem de facto w modelowaniu i projektowaniu procesów zawierających istotne komponenty programowe. Jest powszechnie stosowany nie tylko dla modelowania procesów biznesowych. Zaimplementowano wiele narzędzi wspomagających wizualne projektowanie diagramów BPMN. Niestety, pomimo niezaprzeczalnych sukcesów semantyka BPMN i analiza własności logicznych stanowią ciągle słabe strony. Aby zapewnić niezawodną pracę systemów, należy przeprowadzić formalną analizę systemu.
    Źródło:
    Pomiary Automatyka Robotyka; 2011, 15, 12; 210-212
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Cyfrowo sterowane potencjometry do układów pomiarowych – właściwości i przykładowe schematy sterowania
    The present digital controlled potentiometer for measurement circuits - parameters and exemplary control schematic diagrams
    Autorzy:
    Korytkowski, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/276385.pdf
    Data publikacji:
    2011
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    elektroniczny układ pomiarowy
    kalibracja dokładności
    potencjometr cyfrowo sterowany
    schemat sterowania cyfrowego
    electronic measurement circuit
    accuracy calibration
    digital controlled potentiometer
    digital control schematic diagram
    Opis:
    W pracy omówiono parametry współczesnych potencjometrów cyfrowych. Dokonano przeglądu właściwości scalonych potencjometrów cyfrowych i rezystorów cyfrowych produkcji kilku przodujących firm. Przedstawiono przykładowe schematy sterowania cyfrowego tych potencjometrów.
    The parameters of present digital controlled potentiometers are described. The properties of digital controlled potentiometers are talked over. Exemplary circuit diagrams of digital control for integrated potentiometers are presented.
    Źródło:
    Pomiary Automatyka Robotyka; 2011, 15, 6; 58-63
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-4 z 4

      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