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


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

    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