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


Wyświetlanie 1-6 z 6
Tytuł:
Concept of product complexity modeling in the development of a machine shaft
Autorzy:
Pokojski, J.
Woźnicki, Ł.
Powiązania:
https://bibliotekanauki.pl/articles/407209.pdf
Data publikacji:
2017
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
product complexity modeling
object oriented modeling
UML
Opis:
In the paper product and design process modeling on the basis of speed reducer is presented. The paper proposes to build the product and process models and parallel to that carry out the project activities as these models reflect the detailed structure of the projects. The most important feature of the proposed approach is its possibility to model only important parts of the models and to keep track of the development of their chronological paths. The approach may be treated as a partial CPM/MOKA model or as network-integrated CPM/MOKA models.
Źródło:
Management and Production Engineering Review; 2017, 8, 2; 91-98
2080-8208
2082-1344
Pojawia się w:
Management and Production Engineering Review
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Partial Reconfiguration in the Field of Logic Controllers Design
Autorzy:
Doligalski, M.
Bukowiec, A.
Powiązania:
https://bibliotekanauki.pl/articles/227174.pdf
Data publikacji:
2013
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
HCfgPN
UML state machine diagram
Verilog
logic controller
Opis:
The paper presents method for logic controllers multi context implementation by means of partial reconfiguration. The UML state machine diagram specifies the behaviour of the logic controller. Multi context functionality is specified at the specification level as variants of the composite state. Each composite state, both orthogonal or compositional, describes specific functional requirement of the control process. The functional decomposition provided by composite states is required by the dynamic partial reconfiguration flow. The state machines specified by UML state machine diagrams are transformed into hierarchical configurable Petri nets (HCfgPN). HCfgPN are a Petri nets variant with the direct support of the exceptions handling mechanism. The paper presents placesoriented method for HCfgPN description in Verilog language. In the paper proposed methodology was illustrated by means of simple industrial control process.
Źródło:
International Journal of Electronics and Telecommunications; 2013, 59, 4; 351-356
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Hierarchical Configurable Petri Net Modeling in VHDL
Autorzy:
Doligalski, M.
Adamski, M.
Powiązania:
https://bibliotekanauki.pl/articles/226346.pdf
Data publikacji:
2012
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
index terms
HCfgPN
UML state machine diagram
VHDL
logic controller
Opis:
The paper presents method for hierarchical configurable Petri nets description in VHDL language. Dual model is an alternative way for behavioral description of the discrete control process. Dual model consists of two correlated models: UML state machine diagram and hierarchical configurable Petri net (HCfgPN). HCfgPN are Petri nets variant with direct support of exceptions handling mechanism. Logical synthesis of dual model is realized by the description of HCfgPN model by means of hardware description language. The paper presents placesoriented method for HCfgPN description in VHDL language.
Źródło:
International Journal of Electronics and Telecommunications; 2012, 58, 4; 397-402
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
UML Modelling in Rigorous Design Methodology for Discrete Controllers
Autorzy:
Łabiak, G.
Adamski, M.
Doligalski, M.
Tkacz, J.
Bukowiec, A.
Powiązania:
https://bibliotekanauki.pl/articles/227244.pdf
Data publikacji:
2012
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
UML modelling
binary controller
decomposition
digital synthesis
formal analysis
verification
Opis:
The paper presents an application of UML technology in a discrete system development process. In the process at the analysis stage UML diagrams are fundamental tool. The outcome of this stage is a basis for formal models exploited at the design stage, where the design is symbolically verified and treated as a rule-based system. Two formal models of good graphical appeal are proposed: Petri nets and state machine diagrams. Both are heavily using Boolean expressions what makes that design can easily be implemented in modern programmable structures.
Źródło:
International Journal of Electronics and Telecommunications; 2012, 58, 1; 27-34
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Petri Net Based Specification in the Design of Logic Controllers with Exception Handling Mechanism
Autorzy:
Doligalski, M.
Adamski, M.
Powiązania:
https://bibliotekanauki.pl/articles/227254.pdf
Data publikacji:
2012
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
logic controller
dual specification
hierarchical Petri net
UML
state machine diagram
Opis:
Hierarchical Petri nets beside UML state machine diagrams, sequentional function charts (SFC) and hierarchical concurrent state machines are common solution for specification of logic controllers. These specification formats provide both concurrency and modeling on multi levels of abstraction (hierarchic approach). But only state machine diagrams supports exceptions handling in direct way. Program model presented in form of state machine diagram may be later transformed into a program in the SFC language or transformed in the Petri Net and implemented in the FPGA structure. Similarity between SFC language and Petri Nets give us lot of tools for analysis such control system. Article presents new approach for exceptions handling in hierarchical Petri nets as formal specification for logic controllers. Proposed method of specification can be used independently or as a part of dual specification (correlated state machine diagram and hierarchical configurable Petri Net).
Źródło:
International Journal of Electronics and Telecommunications; 2012, 58, 1; 43-48
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A new concept for creating the basic map
Nowy pomysł na tworzenie mapy zasadniczej
Autorzy:
Parzyński, Z.
Powiązania:
https://bibliotekanauki.pl/articles/1836646.pdf
Data publikacji:
2014
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
mapa zasadnicza
osnowa geodezyjna
uzbrojenie terenu
harmonization
INSPIRE directive
basic map
UML
Opis:
A lot of changes have been made to the legislative regulations associated with geodesy during the implementation of the INSPIRE Directive in Poland (amongst others, the structure of databases). There have also been great changes concerning the basic map and the method of its creation and updating. A new concept for creating the basic map is presented in this article.
Dokonaliśmy wielu zmian w prawnych regulacjach dotyczących geodezji w trakcie implementacji Dyrektywy INSPIRE w Polsce (m.in. struktury baz danych). Bardzo duże zmiany objęły mapę zasadniczą i procedury jej tworzenia i uaktualniania. W artykule jest zaprezentowana nowa koncepcja tworzenia mapy zasadniczej.
Źródło:
Geodesy and Cartography; 2014, 63, 2; 211-217
2080-6736
2300-2581
Pojawia się w:
Geodesy and Cartography
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-6 z 6

    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