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-15 z 16
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ł
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ł:
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ł:
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ł:
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ł:
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 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ł:
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ł:
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ł:
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ł:
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ł:
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ł
Wyświetlanie 1-15 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