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ę "transformation diagrams" wg kryterium: Wszystkie pola

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-16 z 16
    Tytuł:
    Empirical formulas for calculating Continuous Cooling Transformation diagrams
    Autorzy:
    Trzaska, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/366696.pdf
    Data publikacji:
    2019
    Wydawca:
    Stowarzyszenie Komputerowej Nauki o Materiałach i Inżynierii Powierzchni w Gliwicach
    Tematy:
    computational materials science
    steel
    regression analysis
    CCT diagrams
    obliczeniowa nauka o materiałach
    stal
    regresja
    wykresy CTPc
    Opis:
    Purpose: The paper presents empirical formulas for the calculation of Continuous Cooling Transformation (CCT) diagram basing on the chemical composition and austenitizing temperature. Design/methodology/approach: In the method of calculating CCT diagrams proposed in the paper, two types of tasks are solved. First task is classification and consists in determining the range of cooling rate for particular phase transformations. The second task is regression, which aims at calculating the transformations temperature, hardness and volume fraction of phases in steel. The model of CCT diagrams was developed using multiple regression and logistic regression methods. Research limitations/implications: CCT diagrams can be calculated according to the presented method, if the chemical composition of steel meets the criteria defined by the application range of the model. Practical implications: The formulas presented in the article can be used to determine the conditions for heat treatment of structural steels. Originality/value: The paper presents the method for calculating CCT diagrams of the structural steels and engineering steels, depending on their chemical composition as well as austenitizing temperature.
    Źródło:
    Journal of Achievements in Materials and Manufacturing Engineering; 2019, 97, 1; 21-30
    1734-8412
    Pojawia się w:
    Journal of Achievements in Materials and Manufacturing Engineering
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Transformation Diagrams of Selected Steel Grades with Consideration of Deformation Effect
    Autorzy:
    Kawulok, R.
    Schindler, I.
    Mizera, J.
    Kawulok, P.
    Rusz, S.
    Opěla, P.
    Podolínský, P.
    Čmiel, K. M.
    Mališ, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/351710.pdf
    Data publikacji:
    2018
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    transformation diagrams of steels
    phase transformation
    plastic deformation
    dilatometric tests
    Gleeble 3800
    Opis:
    The aim of this article was to assess the effect of previous plastic deformation on the transformation kinetics of selected steels with a wide range of chemical composition. Transformation (CCT and DCCT) diagrams were constructed on the basis of dilatometric tests on the plastometer Gleeble 3800 and metallographic analyses supplemented by measurements of HV hardness. Effect of previous deformation on transformation was evaluated of the critical rate of formation of the individual structural components (ferrite, pearlite and bainite) in the case of formation of martensite respect to Ms temperature. Previous plastic deformation accelerated especially diffuse transformations (ferrite and pearlite), temperature of Ms was lower after previous plastic deformation and bainitic transformation was highly dependent on the chemical composition of steel.
    Źródło:
    Archives of Metallurgy and Materials; 2018, 63, 1; 55-60
    1733-3490
    Pojawia się w:
    Archives of Metallurgy and Materials
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A New Neural Networks Model for Calculating the Continuous Cooling Transformation Diagrams
    Autorzy:
    Trzaska, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/351678.pdf
    Data publikacji:
    2018
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    CCT diagram
    modelling
    neural network
    heat treatment
    steel
    Opis:
    The article shows a new model of Continuous Cooling Transformation (CCT) diagrams of structural steels and engineering steels. The modelling used artificial neural networks and a set of experimental data prepared based on 550 CCT diagrams published in the literature. The model of CCT diagrams forms 17 artificial neural networks which solve classification and regression tasks. Neural model is implemented in a computer software that enables calculation of a CCT diagram based on chemical composition of steel and its austenitizing temperature.
    Źródło:
    Archives of Metallurgy and Materials; 2018, 63, 4; 2009-2015
    1733-3490
    Pojawia się w:
    Archives of Metallurgy and Materials
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Study of the Effect of Deformation on Transformation Diagrams of Two Low-Alloy Manganese-Chromium Steels
    Autorzy:
    Kawulok, R.
    Kawulok, P.
    Schindler, I.
    Opěla, P.
    Rusz, S.
    Ševčák, V.
    Solowski, Z.
    Powiązania:
    https://bibliotekanauki.pl/articles/355693.pdf
    Data publikacji:
    2018
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    CCT diagrams
    DCCT diagram
    16MnCrS5 steels
    20MnCrS5 steels
    dilatometric tests
    microstructure
    Opis:
    The work deal with an assembling and comparing of transformation diagrams of two low-alloy steels, specifically 16MnCrS5 and 20MnCrS5. In this work, diagrams of the type of CCT and DCCT of both steels were assembled. Transformation diagrams were assembled on the basis of dilatometric tests realized on the plastometer Gleeble 3800, of metallographic analyses and of hardness measurements. In addition, for comparison, the transformation diagrams were assembled even with use of the QTSteel 3.2 software. Uniform austenitization temperature of 850°C was chosen in case of both steels and even both types of diagrams. In case of both steels, an influence of deformation led to expected acceleration of phase transformations controlled by diffusion and also of bainite transformation. In both cases, the kinetics of martensitic transformation was not significantly affected by deformation.
    Źródło:
    Archives of Metallurgy and Materials; 2018, 63, 4; 1735-1741
    1733-3490
    Pojawia się w:
    Archives of Metallurgy and Materials
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The Influence of Deformation and Austenitization Temperature on the Kinetics of Phase Transformations During Cooling of High-Carbon Steel
    Autorzy:
    Kawulok, P.
    Podolinský, P.
    Kajzar, P.
    Schindler, I.
    Kawulok, R.
    Ševčák, V.
    Opěla, P.
    Powiązania:
    https://bibliotekanauki.pl/articles/350975.pdf
    Data publikacji:
    2018
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    high-carbon steel
    cooling
    transformation diagrams
    microstructure
    hardness
    Opis:
    The aim of the performed experiments was to determine the influence of deformation and of austenitization temperature on the kinetics of phase transformations during cooling of high-carbon steel (0.728 wt. % C). The CCT and DCCT diagrams for austenitization temperature 940°C and DCCT diagram for austenitization temperature 1000°C were constructed with the use of dilatometric tests. On the basis of obtained results, a featureless effect of austenitization temperature and deformation on the kinetics of phase transformations during cooling of investigated steel was observed. Critical cooling rates for the transformation of martensite in microstructure fluctuated from 5 to 7°C · s-1 (depending on the parameters of austenitization and deformation), but only at cooling rates higher than 8°C · s-1 a dominant share of martensite was observed in the investigated steel, which resulted in the significant increase of hardness.
    Źródło:
    Archives of Metallurgy and Materials; 2018, 63, 4; 1743-1748
    1733-3490
    Pojawia się w:
    Archives of Metallurgy and Materials
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The Influence of a Cooling Rate on the Evolution of Microstructure and Hardness of the Steel 27MnCrB5
    Autorzy:
    Kawulok, P.
    Schindler, I.
    Mizera, J.
    Kawulok, R.
    Rusz, S.
    Opěla, P.
    Olszar, M.
    Čmiel, K. M.
    Powiązania:
    https://bibliotekanauki.pl/articles/351298.pdf
    Data publikacji:
    2018
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    steel 27MnCrB5
    continuous cooling transformation diagrams
    dilatometric tests
    plastometer Gleeble 3800
    software QTSteel
    Opis:
    The aim of the performed experiments was to determine the influence of a cooling rate on the evolution of microstructure and hardness of the steel 27MnCrB5. By using dilatometric tests performed on the plastometer Gleeble 3800 and by using mathematical modelling in the software QTSteel a continuous cooling transformation diagram for a heating temperature of 850°C was constructed. Conformity of diagrams constructed for both methods is relatively good, except for the position and shape of the ferrite nose. The values of hardness, temperatures of phase transformations and the volume fractions of structural phases upon cooling from the temperature of 850°C at the rate from 0.16°C · s-1 to 37.2°C · s-1 were determined. Mathematically predicted proportion of martensite with real data was of relatively solid conformity, but the hardness values evaluated by mathematical modelling was always higher.
    Źródło:
    Archives of Metallurgy and Materials; 2018, 63, 2; 907-914
    1733-3490
    Pojawia się w:
    Archives of Metallurgy and Materials
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Continuous Cooling Transformation (CCT) Diagrams Of Carbidic Nodular Cast Iron
    Wykresy CTPc żeliwa sferoidalnego z węglikami
    Autorzy:
    Gumienny, G.
    Giętka, T.
    Powiązania:
    https://bibliotekanauki.pl/articles/355132.pdf
    Data publikacji:
    2015
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    carbidic nodular cast iron
    bainite
    ausferrite
    continuous cooling transformation diagrams
    żeliwo sferoidalne z węglikami
    bainit
    ausferryt
    schematy transformacji chłodzenia ciągłego
    Opis:
    This work presents continuous cooling transformation diagrams for different kinds of carbidic nodular cast iron. We investigated the cast iron, chemical composition of which in nodular cast iron allows the obtainment of a metal matrix which consists of: pearlite, upper bainite and its mixture with lower bainite, ausferrite and martensite when the casts were cooled in the mold. The influence of the rate of cooling on the obtained microstructure and hardness of the casts was shown. The work describes the influence of the alloy additives on the curves of austenite decomposition in the carbidic nodular cast iron. Diagrams were plotted which enable an understanding of the kinetics of the transformations of austenite in carbidic nodular cast iron. The diagrams also indicate the possibility of obtaining pearlite, bainite, martensite and ausferrite with the established chemical composition and the wall thickness of the cast.
    W pracy przedstawiono wykresy CTPc różnych rodzajów żeliwa sferoidalnego z węglikami. Zbadano żeliwo o składzie chemicznym zapewniającym uzyskanie w żeliwie sferoidalnym osnowy metalowej złożonej z: perlitu, bainitu górnego oraz jego mieszaniny z dolnym, ausferrytu i martenzytu przy studzeniu odlewów w formie. Pokazano wpływ szybkości studzenia na uzyskiwaną mikrostrukturę i twardość odlewów. Opisano wpływ dodatków stopowych na krzywe rozpadu austenitu w żeliwie sferoidalnym z węglikami. Opracowane wykresy umożliwią poznanie kinetyki przemian austenitu w żeliwie sferoidalnym z węglikami oraz ocenę możliwości uzyskania perlitu, bainitu, martenzytu i ausferrytu przy zadanym składzie chemicznym oraz grubości ściany odlewu.
    Źródło:
    Archives of Metallurgy and Materials; 2015, 60, 2A; 705-710
    1733-3490
    Pojawia się w:
    Archives of Metallurgy and Materials
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Transformation of UML 2.x activity diagrams into control interpreted Petri nets in hardware behavioural modelling
    Transformacja diagramów aktywności UML 2.x do interpretowanych sieci Petriego sterowania w specyfikacji behawioralnej sprzętu
    Autorzy:
    Grobelny, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/159311.pdf
    Data publikacji:
    2011
    Wydawca:
    Sieć Badawcza Łukasiewicz - Instytut Elektrotechniki
    Tematy:
    sieci Petriego
    diagramy aktywności UML
    transformacja
    sterowanie
    specyfikacja behawioralna sprzętu
    Petri nets
    UML activity diagrams
    transformation
    control process
    hardware behavioural modelling
    Opis:
    Behavioural specification is one of the most important steps in embedded systems design. This phase play a key role cause in this step the shape and behaviour of the final product is established. The process can be realized with use of various technologies and tools supporting the phase. Two of the technologies supporting behavioural modelling are UML activity diagrams and Petri nets. The paper presents transformation of UML activity diagrams into control interpreted Petri nets. Transformation is targeted for project in which both technologies are used in parallel. The system described in the paper is realized as a bridge between mentioned modelling technologies fully supporting automation of the transformation process. Moreover, the system enables use of additional techniques such as formal verification or hardware description language code generation.
    Specyfikacja zachowania systemu jest jednym z kluczowych elementów procesu projektowania sterowników logicznych. Etap ten odrywa ważną rolę ze względu na fakt definiowania kształtu i sposobu zachowania docelowego produktu. Może ona zostać wykonana na wiele sposobów z wykorzystaniem różnych narzędzi wspomagających ten proces. Jednymi z technologii, w których istnieje możliwość opisu zachowania docelowego urządzenia, są diagramy aktywności języka UML i sieci Petriego. Artykuł przedstawia koncepcję transformacji pomiędzy diagramami aktywności języka UML a interpretowanymi sieciami Petriego sterowania. Transformacja dedykowana jest dla projektów, w których inżynierowie wykorzystuję obie wspomniane technologie. Dodatkowo omówiony w artykule system do transformacji ma na celu stworzenie mostu pomiędzy obiema technologiami w pełni automatyzując proces przemieszczania się pomiędzy nimi. Umożliwia on także wykorzystanie dodatkowych narzędzi wspomagających proces projektowania, takich jak formalna weryfikacji czy generowanie kodu w językach opisu sprzętu.
    Źródło:
    Prace Instytutu Elektrotechniki; 2011, 251; 87-95
    0032-6216
    Pojawia się w:
    Prace Instytutu Elektrotechniki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Problem hierarchii w transformacji diagramów aktywności UML 2.x do sieci Petriego sterowania
    Hierarchy problem in transformation of UML 2.x Activity Diagrams into Control Interpreted Petri Nets
    Autorzy:
    Grobelny, M.
    Grobelna, I.
    Powiązania:
    https://bibliotekanauki.pl/articles/156952.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    diagramy aktywności UML
    sieci Petriego sterowania
    modelowanie behawioralne
    metody formalnej weryfikacji
    UML activity diagrams
    control Petri nets
    behavioral modelling
    formal verification methods
    Opis:
    Proces specyfikacji zachowania odgrywa istotną rolę z powodu określania na tym etapie cech i sposobu funkcjonowania sterownika logicznego. W artykule omówione zostały dwie metody graficznego specyfikowania zachowania sterowników logicznych - diagramy aktywności języka UML 2.x oraz sieci Petriego sterowania. Zaproponowana została metoda transformacji hierarchicznych diagramów aktywności do hierarchicznych sieci Petriego. Dzięki przedstawionej metodzie możliwe jest połączenie zalet obu typów graficznego opisu specyfikacji urządzeń. Dodatkowo, zaproponowana została metoda formalnej weryfikacji hierarchicznej formy specyfikacji umożliwiająca wykrycie potencjalnych błędów na tym wczesnym etapie projektu.
    Behavior specification is one of the most important steps in embedded systems design. It plays a significant role because system properties and functionality are specified in this phase. There exist some techniques which can be helpful for a designer. In the paper two methods for graphical specification of logic controller behavioral specification [1, 2, 6], namely UML 2.x activity diagrams [10] and control Petri nets [11], are considered. A novel transformation method for transformation of hierarchical activity diagrams into hierarchical Petri nets is proposed. The presented method allows combining the advantages of both types of graphical system specification. Additionally, a formal verification method for hierarchical specification form is proposed. It enables detecting potential errors at early stage of system development. Hierarchical form of specification is commonly used in design process. Activity diagrams can include complex actions (Fig. 1) which describe some subprocesses. Petri nets also support hierarchy, but it can be realized in two different forms [9] - as macroplaces or macrotransitions (Fig. 2). According to the transformation method from [3, 8], actions in activity diagrams are interpreted as transitions in Petri net. In hierarchical processes by means of Petri nets two elements, macrotransitions (Fig. 3) and macroplaces (Fig. 4), have to be considered. The macroplace (Fig. 5a) can be surrounded by two transitions (Fig. 5b), decomposed (Fig. 5c), and finally compressed to macrotransition (Fig. 5d), then transformed into complex activity in an UML 2.x activity diagram (Fig. 5e). Verification of both considered specification forms [3] allows comparing two versions of the same behavior description. The model checking technique [4] can be used to verify the whole system or a part of it. Partial verification can be used for hierarchical specifications, as the verification process can be performed step by step (Fig. 6).
    Źródło:
    Pomiary Automatyka Kontrola; 2011, R. 57, nr 7, 7; 729-732
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Automatic bridge between BPMN models and UML activity diagrams based on graph transformation
    Autorzy:
    Rahmoune, Yasmina
    Chaoui, Allaoua
    Powiązania:
    https://bibliotekanauki.pl/articles/27312904.pdf
    Data publikacji:
    2022
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    MDE
    BPMN
    business process models
    UML-AD
    meta-modeling
    graph grammars
    models transformation
    AToM3
    Opis:
    Model-driven engineering (MDE) provides the available tools, concepts, and languages for creating and transforming models. One of the most important successes of MDE is model transformation; it permits the transformion of models that are used by one community to equivalent models that can be used by another one. Moreover, each community of developers has its own tools for verification, testing, and test-case generation. Hence, a developer of one community who moves to another community needs a transformation process from the second community to his/her own community and vice versa. Therefore, the target community can benefit from the expertise of the source one, and the developers do not begin from zero. In this context, we propose an automatic transformation in this paper for creating a bridge between the BPMN and UML communities. We propose an approach and a visual tool for the automatic transformation of BPMN models to UML activity diagrams (UML-AD). The proposed approach is based on meta-modeling and graph transformation and uses the AToM3 tool. Indeed, we were inspired by the OMG meta-models of BPMN and UML-AD and implemented versions of both meta-models using AToM3 . This latter one allows for the automatic generation of a visual-modeling tool for each proposed meta-model. Based on these two meta-models, we propose a graph grammar that is composed of 58 rules that perform the transformation process. The proposed approach is illustrated through three case studies.
    Źródło:
    Computer Science; 2022, 23 (3); 411--445
    1508-2806
    2300-7036
    Pojawia się w:
    Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Parametric representation of TTT diagrams of ADI cast iron
    Parametryczna reprezentacja wykresów CTP i żeliwa sferoidalnego
    Autorzy:
    Olejarczyk-Wożeńska, I.
    Adrian, A.
    Adrian, H.
    Mrzygłód, B.
    Powiązania:
    https://bibliotekanauki.pl/articles/355037.pdf
    Data publikacji:
    2012
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    CTPi
    żeliwa sferoidalne
    austenit
    bainit
    TTT diagrams
    austempered ductile iron
    bainitic transformation
    Opis:
    The method of parametric representation of TTT diagrams on example of selected austempered ductile cast irons is presented. TTT diagrams were digitalised and n; k parameters of Johnson Mehl equation were calculated. The relationships between n, k parameters and transformation temperature were analysed for two ADI irons. Knowledge of these parameters enables to calculate the progress of austenite to bainite transformation.
    W pracy zaprezentowano metodykę parametrycznej reprezentacji wykresów CTPi na przykładzie wybranych wykresów dla żeliw sferoidalnych. Wykresy CTPi digitalizowano, a następnie obliczano parametry n i k równania Johnsona-Mehla opisującego postęp przemiany przechłodzonego austenitu w bainit. Analizowano wpływ temperatury przemiany na wartość parametrów n, k. Znajomość tych parametrów pozwala obliczać postęp przemiany austenitu w bainit przy danej temperaturze.
    Źródło:
    Archives of Metallurgy and Materials; 2012, 57, 2; 613-617
    1733-3490
    Pojawia się w:
    Archives of Metallurgy and Materials
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A UML 2.0 activity diagrams/csp integrated approach for modeling and verification of software systems
    Autorzy:
    Elmansouri, Raida
    Meghzili, Said
    Chaoui, Allaoua
    Powiązania:
    https://bibliotekanauki.pl/articles/2097950.pdf
    Data publikacji:
    2021
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    model-driven engineering
    graph transformation
    transformation correctness
    model checker
    groove
    software systems
    Opis:
    This paper proposes an approach that integrates UML 2.0 Activity Diagrams (UML2-ADs) and the communicating sequential process (CSP) for modeling and verifying software systems. A UML2-AD is used for modeling a software system, while a CSP is used for verification purposes. The proposed approach consists of another way of transforming UML2-AD models to CSP models. It also focuses on checking the correctness of some properties of the transformation itself. These properties are specified using linear temporal Logic (LTL) and verified using the GROOVE model checker. This approach is based on model -driven engineering (MDE). The meta-modeling is realized using the AToMPM tool, while the model transformation and the correctness of its properties are realized using the GROOVE tool. Finally, we illustrated this approach through a case study.
    Źródło:
    Computer Science; 2021, 22 (2); 209-233
    1508-2806
    2300-7036
    Pojawia się w:
    Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Representation of UML Class Diagrams in OWL 2 on the Background of Domain Ontologies
    Autorzy:
    Sadowska, Małgorzata
    Huzar, Zbigniew
    Powiązania:
    https://bibliotekanauki.pl/articles/384092.pdf
    Data publikacji:
    2019
    Wydawca:
    Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
    Tematy:
    UML
    OWL2
    transformation rules
    verification rules
    Opis:
    Background: UML class diagrams can be automatically validated if they are compliant with a domain knowledge specified in a selected OWL 2 domain ontology. The method requires translation of the diagrams into their OWL 2 representation. Aim: The aim of this paper is to present transformation and verification rules of UML class diagrams to their OWL 2 representation. Method: The analysis of the results of the systematic literature review on the topic of transformation rules between elements of UML class diagrams and OWL 2 constructs. The purpose of the analysis is to present the extent to which state-of-the-art transformation rules cover the semantics expressed in class diagrams. On the basis of the analysis, new transformation rules expressing the semantics not yet covered but expected from the point of view of domain modelling pragmatics have been defined. Results: The first result is the revision and extension of the transformation rules identified in the literature. The second original result is a proposition of verification rules necessary to check if a UML class diagram is compliant with the OWL 2 domain ontology. Conclusion: The proposed transformations can be used for automatic validation of compliance of UML class diagrams with respect to OWL 2 domain ontologies.
    Źródło:
    e-Informatica Software Engineering Journal; 2019, 13, 1; 63-103
    1897-7979
    Pojawia się w:
    e-Informatica Software Engineering Journal
    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ł:
    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ł:
    Petri nets and activity diagrams in logic controller specification – transformation and verification
    Sieci petriego i diagramy aktywności w specyfikacji sterowników logicznych – transformacja i weryfikacja
    Autorzy:
    Grobelna, I.
    Grobelny, M.
    Adamski, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/389795.pdf
    Data publikacji:
    2010
    Wydawca:
    Politechnika Bydgoska im. Jana i Jędrzeja Śniadeckich. Wydawnictwo PB
    Tematy:
    formal verification
    logic controller
    model checking
    Petri nets
    UML Activity
    Diagrams
    formalna weryfikacja
    sterownik logiczny
    weryfikacja modelowa
    sieci Petriego
    diagramy aktywności UML
    Opis:
    The paper presents formal verification method of logic controller specification taking into account user-specified properties. Logic controller specification may be expressed as Petri net or UML 2.0 Activity Diagram. Activity Diagrams seem to be more user-friendly and easy-understanding that Petri nets. Specification in form of activity diagram may afterwards be transformed into Petri net, which may then be formally verified and used to automatically generate implementation (code). A new transformation method dedicated for event-driven systems is proposed. Verification process is executed automatically by the NuSMV model checker tool. Model description based on specification and properties list is being built. Model description derived from Petri net is presented in RTL-level and easy to synthesize as reconfigurable logic controller or PLC. Properties are defined using temporal logic. In model checking process, verification tool checks whether requirements are satisfied in attached system model. If this is not the case, appropriate counterexamples are generated.
    Praca prezentuje metodę formalnej weryfikacji specyfikacji sterownika logicznego uwzględniającą właściwości podane przez użytkownika. Specyfikacja sterownika logicznego może być przedstawiona m.in. w postaci sieci Petriego lub diagramu aktywności języka UML. Diagramy aktywności wydają się być bardziej przyjazne i zrozumiałe dla użytkownika niż sieci Petriego. Specyfikacja w postaci diagramu aktywności może zostać przekształcona do sieci Petriego, która następnie może być formalnie zweryfikowana i wykorzystana do automatycznej generacji implementacji (kodu). Węzły diagramu aktywności konsekwentnie interpretowane są jako tranzycje sieci Petriego, w odróżnieniu od klasycznego podejścia (w starszych wersjach UML) gdzie odwzorowywało się je jako miejsca sieci Petriego. Proces weryfikacji wykonywany jest automatycznie przez narzędzia weryfikacji modelowej. Tworzony jest opis modelu bazujący na specyfikacji oraz lista wymagań. Nowatorskim podejściem jest przedstawienie sieci Petriego na poziomie RTL w taki sposób, że łatwo jest przeprowadzić syntezę logiczną sieci w postaci współbieżnego rekonfigurowalnego sterownika logicznego lub sterownika PLC bez konieczności przekształcania modelu. Wymagania określone są przy użyciu logiki temporalnej. W procesie weryfikacji modelowej narzędzie weryfikujące NuSMV sprawdza, czy model systemu spełnia stawiane mu wymagania. Jeżeli tak nie jest, generowany jest odpowiedni kontrprzykład.
    Źródło:
    Zeszyty Naukowe. Telekomunikacja i Elektronika / Uniwersytet Technologiczno-Przyrodniczy w Bydgoszczy; 2010, 13; 79-91
    1899-0088
    Pojawia się w:
    Zeszyty Naukowe. Telekomunikacja i Elektronika / Uniwersytet Technologiczno-Przyrodniczy w Bydgoszczy
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-16 z 16

      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