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

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 40
Tytuł:
Diagramy wdrożeniowe w modelowaniu systemów informatycznych
Implementation diagrams in IT systems modeling
Autorzy:
Wrycza, Stanisław
Marcinkowski, Bartosz
Maślankowski, Jacek
Powiązania:
https://bibliotekanauki.pl/articles/426275.pdf
Data publikacji:
2014
Wydawca:
Szkoła Główna Handlowa w Warszawie
Tematy:
diagramy wdrożeniowe
systemy informatyczne
diagramy komponentów
diagramy rozlokowania
hierarchia diagramów
Opis:
An inherent element of the documentation of IT system projects are the diagrams, which present the hardware and software infrastructure of the created systems. An example of such diagrams are implementation diagrams in the UML. There can be distinguished two types of implementation diagram, namely Component diagram and Deployment diagram. The aim of the present paper is to evaluate the possibilities of using the implementation diagrams for modeling of IT systems which use modern technology solutions. After discussing the role of implementation diagrams in IT systems modeling, the authors present also their functions and graphical conventions. Then, theoretical issues concerning diagrams and their practical uses have been examined and illustrated by the such examples of modern applications in the range of e-economy as: IT system of city traffic control, electronic warehouse management system and using mobile devices for purchase of e-tickets.
Źródło:
e-mentor. Czasopismo naukowe Szkoły Głównej Handlowej w Warszawie; 2014, 1 (53); 77-85
1731-6758
1731-7428
Pojawia się w:
e-mentor. Czasopismo naukowe Szkoły Głównej Handlowej w Warszawie
Dostawca treści:
Biblioteka Nauki
Artykuł
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ł:
Voronoi diagrams – architectural and structural rod structure research model optimization
Diagramy Voronoi – modele badawcze struktur prętowych w optymalizacji architektoniczno-konstrukcyjnej
Autorzy:
Rokicki, Wiesław
Gawell, Ewelina
Powiązania:
https://bibliotekanauki.pl/articles/461416.pdf
Data publikacji:
2016-09
Wydawca:
Mazowieckie Biuro Planowania Regionalnego w Warszawie
Tematy:
Voronoi diagram
optimization
structure
diagramy Woronoja
optymalizacja
konstrukcja
Opis:
The in modern design architecture there is an interesting trend of developing highly complex spatial systems, inspired by patterns inspired by the natural world. As a result, visually innovative solutions are being created, and what is important from an engineering point of view, also technologically efficient. The logic behind shaping the "bionic" architecture is aimed at, among others, the rational use of materials and energy. The search for new spatial structures through multi-criteria analyses has increased the interest in digital optimization issues in multidisciplinary architectural and engineering analyses. Algorithms used to form diverse, multi-variant carrier systems based on similar boundary assumptions play a special role in improving computer programs. Research samples in the development of regular and irregular rod-like structures based on own developed digital models have been presented as an example of such action. The simulations conducted involved analysis of configurable structures based on their efficiency in material consumption.
W architekturze we współczesnym projektowaniu obserwujemy interesującą tendencją jest kształtowanie bardzo skomplikowanych układów przestrzennych, inspirowanych wzorami zaczerpniętymi ze świata przyrody. W wyniku takich działań powstają rozwiązania bardzo nowatorskie wizualnie, ale także co jest istotne z inżynierskiego punktu widzenia efektywne technologicznie. Logika kształtowania „bionicznej” architektury jest ukierunkowywana m.in. na racjonalne zużyciu materiałów i energii. Poszukiwania przez wielokryterialne analizy nowych struktur przestrzennych powodują wzrost zainteresowania zagadnieniami cyfrowej optymalizacji w interdyscyplinarnych analizach architektoniczno-konstrukcyjnych. Szczególną rolę w doskonaleniu programów komputerowych zaczynają odgrywać algorytmy umożliwiające kształtowanie różnorodnych, wielowariantowych układów nośnych w oparciu o podobne założenia brzegowe. Jako przykład takiego działania przedstawiono próby badawcze w kształtowaniu regularnych oraz nieregularnych struktur prętowych w oparciu o opracowane własne modele cyfrowe. Przeprowadzone symulacje dotyczyły analizy konfigurowanych struktur z uwagi na ich efektywność w zużyciu materiału.
Źródło:
MAZOWSZE Studia Regionalne; 2016, 19; 155-164
1689-4774
Pojawia się w:
MAZOWSZE Studia Regionalne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Funkcje współczesnej teorii argumentacji
Features theory of argumentation
Autorzy:
Skulska, Joanna
Powiązania:
https://bibliotekanauki.pl/articles/2186015.pdf
Data publikacji:
2012-06-01
Wydawca:
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:
identyfikacja
analiza
ewaluacja
inwencja
diagramy argumentacji
schematy argumantacyjne
Źródło:
Nowoczesne Systemy Zarządzania; 2012, 7, 1; 249-265
1896-9380
2719-860X
Pojawia się w:
Nowoczesne Systemy Zarządzania
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Narzędzia do analizy procesów biznesowych – analiza porównawcza
Tools for analysis of business processes – a comparative analysis
Autorzy:
Janicki, Jakub
Wójcik, Ernest
Powiązania:
https://bibliotekanauki.pl/articles/1837846.pdf
Data publikacji:
2021
Wydawca:
Politechnika Lubelska. Instytut Informatyki
Tematy:
business processes
BPMN
business diagrams
procesy biznesowe
diagramy biznesowe
Opis:
Niniejszy artykuł porusza tematy z zakresu analizy biznesowej, będącej podstawowym elementem funkcjonowania współczesnych organizacji. Celem tej publikacji jest przedstawienie i ocena czterech wybranych narzędzi do modelowania diagramów biznesowych w notacji BPMN. W ramach wprowadzenia do tematu scharakteryzowano procesy biznesowe, zdefiniowano ich analizę, a także przybliżono czytelnikowi notację BPMN i badane narzędzia. Zdefiniowano też metodykę badań i ich przebieg. Następnie przeprowadzone zostały badania zgodnie z przyjętą metodyką. Rezultatem tych prac były wyniki badań razem z analizą. Na koniec podsumowano przeprowadzone pomiary łącznie z wnioskami.
This article discusses topics in the field of business analysis, which is the basic element of the operation of modern organizations. The aim of this publication is to present and evaluate four selected tools for modeling business diagrams in BPMN notation. As part of the introduction to the topic, business processes were characterized, their analysis was defined, and the reader was introduced to the BPMN notation and the tested tools. The research methodology and its course were also defined. Then, the research was carried out in accordance with the adopted methodology. The conclusion of this work was the result of the research together with the analysis. Finally, the conducted experiments were summarized together with conclusions.
Źródło:
Journal of Computer Sciences Institute; 2021, 20; 165-169
2544-0764
Pojawia się w:
Journal of Computer Sciences Institute
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Obiektowe podejście w modelowaniu procesów pomiarowych w badaniach pojazdów szynowych
The object approach in modelling the measuring processes in tests of rail vehicles
Autorzy:
Barczak, Arkadiusz
Powiązania:
https://bibliotekanauki.pl/articles/34611362.pdf
Data publikacji:
2005
Wydawca:
Sieć Badawcza Łukasiewicz - Poznański Instytut Technologiczny
Tematy:
procesy pomiarowe
pojazdy szynowe
formalizmy
diagramy UML
model obiektowy
Opis:
W artykule przedstawiono zastosowanie wybranych formalizmów w modelowaniu procesów pomiarowych. Przedstawiono diagramy UML dla przykładowych elementów modelu procesu pomiarowego. Podkreślono korzyści wynikające z zastosowania modelu obiektowego.
The application of chosen formalisms in modelling the measuring processes is presented in this article. UML diagrams for the exemplary elements of the model of measuring process are presented. The benefits resulting from application the object model are emphasized.
Źródło:
Rail Vehicles/Pojazdy Szynowe; 2005, 4; 31-39
0138-0370
2719-9630
Pojawia się w:
Rail Vehicles/Pojazdy Szynowe
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Diagramy aktywności UML w projektowaniu rekonfigurowalnych sterowników logicznych
UML activity diagrams in design of reconfigurable logic controllers
Autorzy:
Grobelny, M.
Grobelna, I.
Powiązania:
https://bibliotekanauki.pl/articles/156715.pdf
Data publikacji:
2012
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
specyfikacja behawioralna
rekonfigurowalny sterownik logiczny
UML
diagramy aktywności
behavioural specification
activity diagrams
Opis:
Artykuł przedstawia sposób reprezentacji behawioralnej sterownika logicznego przy wykorzystaniu diagramów aktywności języka UML. Zaproponowane zostało zastosowanie diagramów aktywności do projektowania rekonfigurowalnych sterowników logicznych, a dokładnie do opisu zachowania sterownika logicznego podczas pracy. Do tego celu został dostosowany zbiór elementów diagramów aktywności w celu umożliwienia efektywnego modelowania behawioralnego. Rozważane jest także wykorzystanie hierarchicznych możliwości diagramów aktywności do częściowej rekonfiguracji
The paper focuses on behavioural representation of a logic controller with usage of UML activity diagrams. There is shown a subset of UML activity diagram elements sufficient to present logic controller behaviour simultaneously suitable for automatic synthesis with use of hardware description languages. After short introduction (Section 1) to the topic, UML activity diagrams as a specification technique are presented (Section 2). Additionally, there is described a subset of elements (Tab.1) of the discussed specification techniques fulfilling behavioural modelling requirements of a reconfigurable logic controller. Specification possibilities are given using sample control process of preparing the exact amount of liquid in two tanks (Section 3). The real model of the process is shown in Fig. 1. One of the possible behavioural specifications with use of UML activity diagrams is depicted in Fig. 2. This is a representation of the considered action state concept specification techniques in version 1.x. The other possibility is to specify a process with use of elementary system actions (Fig. 3), which is characteristic of the UML activity diagrams version 2.x. Fig. 4, on the other hand, shows signal based specification which is suitable for automatic hardware description language code generation (e.g. VHDL). Furthermore, Section 4 describes possibilities of using hierarchical aspects of activity diagrams to prepare specification for partial reconfiguration. Finally, Section 5 concludes the paper.
Źródło:
Pomiary Automatyka Kontrola; 2012, R. 58, nr 7, 7; 596-598
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Quality control during analysis of pollutants in beer using statistical control of surrogate standard
Satatystyczna analiza jakości kontroli i zanieczyszczeń piwa za pomocą standardów zastępczych
Autorzy:
Horák, T.
Kellner, V.
Jurková, M.
Čulík, J.
Čejka, P.
Powiązania:
https://bibliotekanauki.pl/articles/126317.pdf
Data publikacji:
2009
Wydawca:
Towarzystwo Chemii i Inżynierii Ekologicznej
Tematy:
pollutants
PCB
surrogate standard
Shewhart's diagrams
beer
zanieczyszczenia
standard zastępczy
diagramy Shewharta
piwo
Opis:
In the framework of good laboratory praxis the emphasis is placed on the quality of reproducible results. Methods of mathematic statistics are very useful for this reason. In the form of regulating diagrams they can help to quick identification of that results which are outside the required tolerances. There are a lot of various samples used for statistical regulation. One possibility how to control the efficiency of whole analytic process, from preparing to the final determination, is using of surrogate standard. 2,4,5,6-tetrachloro-m-xylene and decachlorobiphenyl were used as surrogate standards for the determination of PCB in various types of water. These compounds were examined during relatively complicate determination of PCB in beer. The concentration was determined by Shewhart’s diagrams for individual values and sliding span according to standard ČSN ISO 8258. This example of PCB determination in beer indicates the possibility of using surrogate standards as a powerful tool for determination of quality results.
W ramach dobrej praktyki laboratoryjnej kładzie się nacisk na jakość uzyskanych wyników. Do ich oceny wykorzystuje się matematyczne metody statystyczne. Za pomocą schematycznych diagramów można szybko zidentyfikować wyniki pozostające poza wymaganymi granicami tolerancji. Istnieje wiele różnych metod statystycznych używanych do tych celów. Jedną z możliwości kontroli efektywności całego procesu analitycznego, od przygotowania próbki do końcowego oznaczenia, jest użycie standardów zastępczych. Do oznaczania PCB w różnych rodzajach wody użyto 2,4,5,6-tetrachloro-m-ksylenu i dekachlorobifenylu jako wzorców zastępczych. Związki te zostały zbadane podczas stosunkowo skomplikowanego oznaczania PCB w piwie. Stężenie zostało określone za pomocą schematów Shewharta dla poszczególnych wartości, zgodnie z normą ČSN ISO 8258. Ten przykład oznaczania PCB w piwie wskazuje na możliwość korzystania ze standardów zastępczych jako istotnego narzędzia do określenia jakości wyników.
Źródło:
Proceedings of ECOpole; 2009, 3, 2; 317-323
1898-617X
2084-4557
Pojawia się w:
Proceedings of ECOpole
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Transformacja diagramów aktywności UML 2.0 do sieci Petriego w systemach sterowania binarnego
Transformation of UML 2.0 activity diagrams into Petri nets in binary control systems
Autorzy:
Grobelny, M.
Powiązania:
https://bibliotekanauki.pl/articles/154189.pdf
Data publikacji:
2009
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
diagramy aktywności UML 2.0
sieci Petriego
UML 2.0 activity diagrams
Petri nets
Opis:
Artykuł zawiera omówienie oraz porównanie dwóch formalnych metod specyfikacji behawioralnej systemów osadzonych - diagramów aktywności języka UML 2.0 oraz sieci Petriego. Przedstawione są podobieństwa oraz różnice pomiędzy nimi. Poruszone jest zagadnienie transformacji pomiędzy dwoma wymienionymi technikami specyfikacji wraz z obrazującym ten proces przykładem. Uwzględniono także problem nadmiarowości sieci Petriego po bezpośredniej transformacji i wynikającą z tego konieczność redukcji miejsc i tranzycji przy zachowaniu jednoznaczności obu diagramów. Artykuł podzielony jest następująco. Rozdział 2 zawiera wprowa-dzenie do diagramów aktywności w UML 2.0. Rozdział 3 przedstawia sieci Petriego. Rozdział 4 porównuje obie metody specyfikacji - diagramy aktywności oraz sieci Petriego. Rozdział 5 porusza zagadnienie transformacji pomiędzy dwoma omawianymi technikami. Rozdział 6 zawiera podsumowanie wcześniejszych rozdziałów oraz wnioski.
The paper presents and compares two formal behavioural specification methods of embedded systems [1] - activity diagrams of UML specification language [2, 3, 4, 13, 14] and Petri nets [9, 15]. Similarities and differences as well as the aspect of transformation between both specification techniques are concerned. The transformation is explained on the example of a sample control process shown in Fig. 1. Fig. 2 presents the specification using UML activity diagram. The problem of redundant places and transitions after direct transformation from the activity diagram into the Petri net is dealt with. The Petri net after transformation is shown in Fig. 3 (a), while the reduced diagram - in Fig. 3 (b). The paper is divided into sections. Section 1 contains introduction to the topic of embedded system specification techniques. Section 2 presents UML 2.0 activity diagrams with their basic elements. Petri nets and their syntactic are described in Section 3. Section 4 focuses on comparison of both techniques by means of embedded control systems (see [12] for more details). The transformation problem is considered in Section 5. Section 6 summarises and concludes the paper.
Źródło:
Pomiary Automatyka Kontrola; 2009, R. 55, nr 7, 7; 498-500
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Specyfikacja sterowników cyfrowych zorientowana na niezawodność
Quality oriented specification of logic controllers
Autorzy:
Doligalski, M.
Adamski, M.
Powiązania:
https://bibliotekanauki.pl/articles/154557.pdf
Data publikacji:
2010
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
systemy wbudowane
Rekonfigurowalne Sterowniki Logiczne
Diagramy Maszyny Stanów UML
sieci Petriego
diagramy SFC
embedded systems
reconfigurable logic controller
UML state machine diagram
Petri net
sequential function chart
quality-driven design
formal verification
Opis:
W artykule przedstawiono wdrażaną metodę projektowania rekonfigurowalnych sterowników logicznych, ukierunkowaną na jakość behawioralnej specyfikacji, a tym samym niezawodność pracy. Zamierzone funkcjonowanie sterownika jest opisane z wykorzystaniem równocześnie dwóch dualnych języków graficznych: diagramu maszyny stanów UML oraz komplementarnej sieci Petriego. Synergia spowodowana dwoma wzajemnie się uzupełniającymi podejściami do behawioralnego opisu tego samego sterownika daje szansę na otrzymanie uwiarygodnionej specyfikacji już we wstępnej fazie projektowania.
In the paper quality oriented approach to the design of digital embedded reconfigurable controllers is presented. The behaviour of a logic controller is described by means of dual related graphical languages: UML State machine diagram and Petri Net graph. The first one is well accepted among designers from the electronic industry, the second one among control engineers taking the advantage from similarities between Petri nets and Sequential Function Charts (SFC). The synergy of the view from two sides into the same project gives a chance to obtain validated specification at the design process beginning. It is shown in the second paragraph. Comparison of elementary models (Tab. 1) and design process with use of the dual specification (Fig. 1) are also presented. The third paragraph deals with mutual conversion of the elementary elements (Tab. 2) and shows their subsets in the form of class diagrams (Figs. 2 and 3). An example of the logic controller dual specification (Figs. 4 and 5) is given in the fourth paragraph. The practical use of dual specification is contingent upon implementation of tools for performing the conversion process in an automatic way.
Źródło:
Pomiary Automatyka Kontrola; 2010, R. 56, nr 7, 7; 671-674
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Diagramy aktywności języka UML i sieci Petriego w systemach sterowania binarnego - od transformacji do weryfikacji
UML activity diagrams and Petri nets in binary control systems - from transformation to verification
Autorzy:
Grobelny, M.
Grobelna, I.
Powiązania:
https://bibliotekanauki.pl/articles/158260.pdf
Data publikacji:
2010
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
diagramy aktywności UML
sieci Petriego
weryfikacja modelowa
UML activity diagrams
Petri nets
model checking
Opis:
Język UML jest technologią powszechnie stosowaną w świecie naukowym oraz w przemyśle. Sieci Petriego są modelem matematycznym ogólnego zastosowania ugruntowanym od wielu lat. Obie te techniki doskonale nadają się do specyfikacji procesów sterowania. Jednakże jako odmienne, każda z nich posiada unikatowe właściwości. Technika weryfikacji modelowej jest jedną z metod formalnej weryfikacji specyfikacji pozwalającą na zdiagnozowanie błędów w specyfikacji wymagań albo w opisie modelu. Artykuł przedstawia metodę transformacji pomiędzy obiema wymienionymi technikami specyfikacji w celu formalnej weryfikacji projektu sterowania opisanego w języku UML.
Unified Modeling Language (UML) [1-3, 5, 6-8] is commonly used in scientific and industrial world. Petri nets [9] are mathematical model used for a long period of time. Both techniques are well suited for control processes specification. However, they are quite different. Each technique has its own unique properties. Model checking technique [14-17] is one of formal verification methods [18] for specifications. It allows detecting errors either in requirements specification or in model description. The paper presents the method for transformation between both mentioned specification techniques - from UML activity diagram (Fig. 1) to Petri net (Fig. 4), using some defined rules [10, 11]. Mapping of particular elements is presented in Table 1. Petri net after direct transformation may include redundant places which can be after-wards removed. Then, it is possible to formally verify control process described in UML. The proposed model checker tool is NuSMV [20]. NuSMV (Fig. 5) compares model description (Fig. 6 - 8) and requirements (Fig. 9) which have to be fulfilled. The requirements are defined using temporal logic. If a specified requirement may not be fulfilled, appropriate counterexamples are generated (Fig. 10) which allow detecting an error source. Then, the specification can be corrected and model checking process can start again, sometimes including only the particular part of a designed system.
Źródło:
Pomiary Automatyka Kontrola; 2010, R. 56, nr 10, 10; 1154-1158
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Projektowanie sterowników logicznych z wykorzystaniem łuków zezwalających i zakazujących sieci Petriego
Logic controller design using enabling and inhibitor arcs of Petri nets
Autorzy:
Grobelna, I.
Grobelny, M.
Powiązania:
https://bibliotekanauki.pl/articles/156703.pdf
Data publikacji:
2012
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
specyfikacja behawioralna
rekonfigurowalny sterownik logiczny
UML
diagramy aktywności
behavioural specification
reconfigurable logic controller
activity diagrams
Opis:
Artykuł dotyczy zagadnień związanych z projektowaniem sterowników logicznych z wykorzystaniem łuków zezwalających i zakazujących sieci Petriego. Zaproponowano nowatorskie podejście do regułowej specyfikacji sterownika logicznego, przygotowanej w postaci abstrakcyjnego autorskiego modelu logicznego dogodnego do formalnej weryfikacji modelowej oraz syntezy logicznej. Szczególną uwagę zwrócono tutaj na łuki zakazujące i zezwalające interpretowanych sieci Petriego, ich realizację w abstrakcyjnym modelu logicznym i interpretację w innej postaci specyfikacji zachowania sterownika logicznego - diagramach aktywności języka UML.
The paper focuses on logic controller design using enabling and inhibitor arcs of Petri nets. There is proposed a novel original approach to rule-based specification of logic controller behaviour prepared as an abstract logical model suitable for formal verification and logic synthesis. Special interest is put on enabling and inhibitor (disabling) arcs of interpreted Petri nets, their realization in an abstract logical model and interpretation in other specification form - namely UML activity diagrams (in version 2.x). These arcs can be used for flow synchronization or controlled usage of shared resources. After a short introduction (Section 1), some basic concepts on logic controller specification are presented (Section 2), in particular considering (interpreted) Petri nets and UML (activity) diagrams. Usage of enabling and inhibitor arcs is shown on an example of the interpreted Petri net in Fig. 1 (transitions firing sequence in Fig. 2), followed by their representation in the proposed abstract rule-based logical model, its formal verification (using model checking technique) and synthesis (Section 3). The paper also proposes enabling and inhibitor arcs interpretation in UML activity diagrams (Section 4). Although direct representation of these arcs is not possible, the authors try to achieve an alternative solution which corresponds semantically to appropriate Petri net elements. Tab. 1 presents graphic representation of the considered arcs in interpreted Petri nets as well as in UML activity diagrams. The paper ends with a short summary (Section 5).
Źródło:
Pomiary Automatyka Kontrola; 2012, R. 58, nr 7, 7; 605-607
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Petri net models of discrete event systems and state sequence generation for closed loop plant-controller system
Modele systemów zdarzeń dyskretnych skonstruowane w oparciu o sieci petriego i generacja sekwencji stanów zamkniętego systemu obiekt-sterownik
Autorzy:
Zech, W.
Puchałka, T.
Powiązania:
https://bibliotekanauki.pl/articles/389830.pdf
Data publikacji:
2011
Wydawca:
Politechnika Bydgoska im. Jana i Jędrzeja Śniadeckich. Wydawnictwo PB
Tematy:
system zdarzeń dyskretnych
sieci Petriego
programowalne sterowniki sekwencyjne
diagramy drabinkowe
DES
Petri nets
PLC
ladder diagram
Opis:
In this paper there has been provided a ladder diagram formal model as LD-P/T-system. Closed loop system which consists of the LD-controller model and the controlled object model is constructed. We propose an algorithm to construct a state-transition diagram of the system. A fault is detected when an unpredicted state is generated. Additional benefits from such an approach results in the fact that an abstraction of the transition diagram of this controller is possible, which can be used for LD-VHDL transformation into FPGA implementation.
W artykule przedstawiono formalny model diagramu drabinkowego (LD) jako LD-P/T-system. Skonstruowano model zamkniętej pętli sprzężenia między sterownikiem (LD) i sterowanym obiektem. Przedstawiono algorytm generacji diagramu przejść między stanami takiego systemu. Możliwa jest detekcja uszkodzenia, gdy wygenerowany zostanie nieprzewidziany stan. Dodatkowa korzyść z takiego podejścia wynika z faktu, że możliwa jest konstrukcje diagramu przejść samego sterownika, co może być wykorzystane do transformacji diagramów drabinkowych na model dający się opisać w języku VHDL i implementować w FPGA.
Źródło:
Zeszyty Naukowe. Telekomunikacja i Elektronika / Uniwersytet Technologiczno-Przyrodniczy w Bydgoszczy; 2011, 15; 19-35
1899-0088
Pojawia się w:
Zeszyty Naukowe. Telekomunikacja i Elektronika / Uniwersytet Technologiczno-Przyrodniczy w Bydgoszczy
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wykorzystanie dwupoziomowej optymalizacji do poprawy wyników syntezy z wykorzystaniem BDD
Enhancing logic synthesis based on two-stage BDD decomposition by using two-level optimization
Autorzy:
Opara, A.
Kania, D.
Powiązania:
https://bibliotekanauki.pl/articles/155115.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
binarne diagramy decyzyjne (BDD)
synteza logiczna
CPLD
decomposition
technology mapping
logic optimization
binary decision diagrams (BDD)
Opis:
W artykule przedstawiona jest koncepcja syntezy ukierunkowanej na zrównoważoną optymalizację powierzchni i prędkości działania układu. Pierwszym etapem syntezy jest dekompozycja wierszowa wykorzystująca BDD, ukierunkowana na struktury PAL. Celem dekompozycji jest minimalizacja liczby bloków logicznych struktury programowalnej. Drugi etap syntezy jest ukierunkowany na optymalizację szybkości działania układu. Istotą dwupoziomowej optymalizacji jest odpowiednie wykorzystanie trójstanowych buforów wyjściowych. Uzyskane rezultaty eksperymentów dowodzą szczególnej efektywności proponowanych rozwiązań dla struktur CPLD zbudowanych z bloków typu PAL o niewielkiej liczbie iloczynów.
This paper presents a concept of the original method of two-stage BDD-based decomposition combined with two-level PAL-oriented optimization. The aim of the proposed approach is oriented on the balanced (speed/area) optimization. The first step of the method is original PAL-oriented decomposition. The presented non-standard decomposition provides minimization of the implemented circuit area and reduction of necessary logic blocks in the programmable structure. This decomposition consists in sequential search for an input partition providing feasibility of implementation of the free block in one PAL-based logic block, containing a predefined number of product terms. In the presented algorithms the Reduced Ordered Binary Diagrams were used as an efficient representation of logic functions. The partitioning of the variables in a partition matrix is equivalent to the cut in the ROBDD diagram representing the logic function. To efficiently approximate the number of product terms in a sum of product form, the concept of path counting was developed. The second step of the proposed logic synthesis is oriented to the speed optimization. The original two-level optimization is based on utilizing tri-state buffers. The results of experiments prove that the presented approach is especially effective for CPLD structures which consist of PAL-based logic blocks containing a low number of product terms
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 8, 8; 864-867
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zasady modelowania działania służb w sytuacjach kryzysowych - zastosowanie symulacji procesów
Principles for modeling the action of crisis in the crisis - applying simulation of processes
Autorzy:
Dziemba, Ł.
Uchroński, J.
Powiązania:
https://bibliotekanauki.pl/articles/113584.pdf
Data publikacji:
2017
Wydawca:
STE GROUP
Tematy:
drzewo decyzyjne
diagramy decyzyjne
mapy procesów
notacja BPMN
Decision tree
decision diagrams
process map
BPMN notation
Opis:
Artykuł przedstawia przegląd możliwych metod i narzędzi służących do modelowania działań i symulacji procesów. Są nimi: tablice decyzyjne, drzewo rozkładu i drzewo decyzyjne, diagramy decyzyjne i mapy procesów; notacja BPMN. Na podstawie przeprowadzonych badań literaturowych i własnych doświadczeń ze stosowaniem opisywanych w artykule narzędzi i metody symulacji stwierdzono, iż mapy procesu stanowią przydatne narzędzie modelowania z punktu widzenia prezentacji sekwencji zdarzeń, jakie występują w ich przebiegu. W tym świetle notacja BPMN staje się celowa do zastosowania z uwagi na swą przejrzystość, wskazanie poszczególnym działaniom, procesom i decyzjom zróżnicowanych źródeł i zasobów informacji, a także zapewnia uporządkowanie zapisu; oraz założenia oddzielenia sekwencji działań oraz komunikacji – przepływów informacyjnych.
This article provides an overview of possible methods and tools for modeling activities and simulating processes. These are: decision tables, decomposition tree and decision tree, decision diagrams and process maps; BPMN notation. Based on the literature and their own experience using the tools and simulation methods described in the article, it was found that process maps are useful tools for modeling from the point of view of the sequence of events that occur in their course. Therefore, the BPMN notation is intended to be used for reasons of transparency, indication of the individual actions, processes and decisions of the various sources and information resources, and to ensure that the records are organized; and the assumptions of separation of sequences of activities and communication - information flows.
Źródło:
Systemy Wspomagania w Inżynierii Produkcji; 2017, 6, 7; 84-96
2391-9361
Pojawia się w:
Systemy Wspomagania w Inżynierii Produkcji
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 40

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