Skocz do pozycji: 1.

Tytuł:

The role of time in influence diagrams

Autorzy:

Traczyk, W.

Powiązania:

https://bibliotekanauki.pl/articles/307809.pdf

Data publikacji:

2003

Wydawca:

Instytut Łączności - Państwowy Instytut Badawczy

Tematy:

niepewność
uncertainty
belief networks
influence diagrams
ordering in time

Opis:

An influence diagram is a compact representation emphasizing the qualitative features of decision problem under uncertainty. Classical influence diagram has parameters stable in time, determined order of suggested decisions and generally is independent of time. Here we have shown some possible methods of construction of time dependent influence diagrams: with decision ordering, time-sliced segments and time consuming nodes. Such gathering of methods can help in selection of a proper solution.

Źródło:

Journal of Telecommunications and Information Technology; 2003, 3; 108-111
1509-4553
1899-8852

Pojawia się w:

Journal of Telecommunications and Information Technology

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 2.

Tytuł:

Safety oriented bubble diagrams in project risk management

Autorzy:

Abrahamsen, E. B.
Aven, T.

Powiązania:

https://bibliotekanauki.pl/articles/2069566.pdf

Data publikacji:

2008

Wydawca:

Uniwersytet Morski w Gdyni. Polskie Towarzystwo Bezpieczeństwa i Niezawodności

Tematy:

bubble diagrams
project risk management
safety

Opis:

In project risk management many firms use bubble diagrams to get a graphical presentation of a project’s most uncertain attributes. The bubble diagrams and procedures used to put attributes into these diagrams are seen to provide a rational framework for managing risks. In this paper we review and discuss the use of these diagrams and procedures. Special attention is given to the way safety is treated. We show that the standard use of bubble diagrams is not adequate for identification and follow up critical activities that affect safety. The main problem is that the present structure means that the uncertainty is not properly taken into account. In this paper a reformulated bubble diagram is suggested that better reflects safety related uncertainties. The offshore oil and gas industry is the starting point, but the discussion is to large extent general.

Źródło:

Journal of Polish Safety and Reliability Association; 2008, 1; 1--5
2084-5316

Pojawia się w:

Journal of Polish Safety and Reliability Association

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 3.

Tytuł:

Diagnostic symptoms of piston combustion engines of ship main propulsion received from its developed indicator diagrams

Autorzy:

Rosłanowski, J.
Charchalis, A.

Powiązania:

https://bibliotekanauki.pl/articles/244511.pdf

Data publikacji:

2013

Wydawca:

Instytut Techniczny Wojsk Lotniczych

Tematy:

leakage of combustion chamber
errors of developed indicator diagrams
characteristic points of developed indicator diagrams

Opis:

The following article describes parameters of developed indicator diagrams concerning piston combustion engine of ship main propulsion, which can be used to assess its technical condition. To make a diagnosis of the engine combustion only such parameters should be selected which are characterized by high information value, being closely connected with its one defined structure. This is the cause why such connections are of unmistakable character, which allows to make the right diagnosis of technical condition of piston engine. Special attention was also paid to the consequences of diagnostic symptoms qualification from developed indicator diagrams of ship propulsion engine working in different conditions. Deflection of average indicated pressure caused by inappropriate engine performance could be caused by: 1) faulty adjustment of injection pump; 2) leaky combustion chamber, 3) bad technical condition of injection apparatus and the loading air system. Wrong technical condition of the engine caused by a leaky combustion chamber brings about a decrease of its performance. Untight combustion chamber causes the change of such parameters as, suction pressure, pressure of final compression and burning, as well as, the change of exhaust gases composition, which influences the power of the engine and fuel consumption. It has been mentioned what gas pressures of working process in engine cylinders are connected with an untight combustion chamber. Random character of burning pressure course in engine cylinder has also been paid attention to. Reliability of diagnostic parameters of piston engine technical condition received based on developed indicator diagrams have been determined. Diagnostic symptoms have been defined, basing on measurements and statistical analysis of pressure values in the cylinders of properly adjusted engines being in excellent technical condition and not based on measurements received in the engine test bed of a new engine.

Źródło:

Journal of KONES; 2013, 20, 2; 355-362
1231-4005
2354-0133

Pojawia się w:

Journal of KONES

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 4.

Tytuł:

Diagramy FBD w środowisku programistycznym CPDev
FBD diagrams in CPDev programming environment

Autorzy:

Trybus, B.
Ziętek, A.

Powiązania:

https://bibliotekanauki.pl/articles/275184.pdf

Data publikacji:

2010

Wydawca:

Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów

Tematy:

programowanie
diagramy FBD
programming
FBD diagrams

Opis:

W artykule opisano rozszerzenie środowiska programistyczno-uruchomieniowego CPDev umożliwiające tworzenie aplikacji sterujących za pomocą diagramów bloków funkcjonalnych FBD. Edytor graficzny służy do tworzenia diagramów, zaś odpowiedni konwerter przekształca je do kodu w języku ST, który następnie jest kompilowany do postaci wykonywalnej. Do zapisu danych opisujących diagram FBD oraz bibliotekę bloków zastosowano format XML, w tym dokumenty o strukturze zgodnej ze standardem PLCOpen. Dzięki opisanemu rozszerzeniu środowisko CPDev pozwala obecnie na tworzenie aplikacji sterujących za pomocą trzech języków normy IEC 61131, tj. ST, IL i FBD.
The paper describes an extension of CPDev programming and runtime environment for building control applications using Function Block Diagrams (FBD). The diagrams are converted into ST language compiled into executable binary code. XML format derived from PLCOpen standard is used to store FBD structure and library of function blocks. Due to the extension, the CPDev environment supports now ST, IL and FBD languages of IEC 61131-3 standard.

Źródło:

Pomiary Automatyka Robotyka; 2010, 14, 3; 6-8
1427-9126

Pojawia się w:

Pomiary Automatyka Robotyka

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 5.

Tytuł:

Analysing applicability of selected methods to smooth indicator diagrams of marine medium-speed engine

Autorzy:

Pawletko, R.

Powiązania:

https://bibliotekanauki.pl/articles/259730.pdf

Data publikacji:

2015

Wydawca:

Politechnika Gdańska. Wydział Inżynierii Mechanicznej i Okrętownictwa

Tematy:

indicator diagrams
smoothing waveforms
filtering disturbances

Opis:

The article analyses the applicability of selected smoothing methods to smooth indicator diagram curves and to filter disturbances. An intermediate goal of the study was an attempt to extract disturbances recorded during pressure curve smoothing, which are believed to be a source of important diagnostic information. Within the framework of the reported analysis, a comparison was made between the moving average method, the Savitzky-Golay filter, and the frequency filtration method. The research was performed on a marine medium-speed engine Sulzer 3Al 25/30, which has a relatively long indicator passage.

Źródło:

Polish Maritime Research; 2015, 2; 55-61
1233-2585

Pojawia się w:

Polish Maritime Research

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 6.

Tytuł:

Problems of determining mean indicator pressure of piston combustion engines from developed indicator diagrams

Autorzy:

Monieta, J.

Powiązania:

https://bibliotekanauki.pl/articles/244070.pdf

Data publikacji:

2010

Wydawca:

Instytut Techniczny Wojsk Lotniczych

Tematy:

marine diesel engines
indicator diagrams
mean indicated pressure

Opis:

The paper presents methods for processing and analysis of in-cylinder pressure course in the combustion chamber of marine engines. In literature are described determinate methods ofmean indicator pressure from closed diagrams, with are but rarely recorded than developed diagrams. There have been showed on limitations occurrence at measurements fast-changed pressures of marine diesel engines in operating conditions and measuring errors the attendants. Mean indicated pressure determined from the indicated timing or angular pressure courses in the cylinders is still a reliable diagnostic symptom. The paper presents too the results of experimental measurement of in-cylinder pressure signals, medium speed marine engines with application resistive sensor and using the photo-optical sensor of crankshaft position, and without the marker position of the crankshaft. Not always possible to altach the marker for the position of the crankshaft, and even there is no way of stopping the engine when you need to diagnose it. The top dead centre of the piston can be determined then analytically. The work developed a method of determining the mean indicated pressure of the developed indicator diagrams. Based on calculations ofmean indicator pressure made many of diagnosis of the medium speed marine diesel engines in the operating conditions.

Źródło:

Journal of KONES; 2010, 17, 3; 301-306
1231-4005
2354-0133

Pojawia się w:

Journal of KONES

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 7.

Tytuł:

Influence of the indicator diagrams smoothing on the indicated parameters of marine diesel engines

Autorzy:

Pawletko, R.

Powiązania:

https://bibliotekanauki.pl/articles/244800.pdf

Data publikacji:

2015

Wydawca:

Instytut Techniczny Wojsk Lotniczych

Tematy:

indicator diagrams
smoothing the interference
engine indicated parameters

Opis:

The topic of this article is to analyze the influence of indicator diagrams smoothing methods on diagnostic parameters determined on their basis such as the maximum combustion pressure, mean indication pressure and heat release characteristics. Indicator diagrams of marine engines are subject to serious distortions arising primarily from the measuring method for in-cylinder pressure. Measurements are performed on the indicator valve which connect with the combustion chamber through the indicator channel. Depending on the engine design the channel length can reach a considerable length and introduces significant distortion in both the phase and amplitude of the pressure signal. Further analysis of the indicator diagram eg. in order to determine the heat release characteristics requires the use of methods of smoothing and filtering of interference. The results confirm no effect of indicator diagram smoothing for the value of the mean indicated pressure, which is one for the most important indicated parameters. A significant influence of smoothing on the maximum value of the heat release rate was observed. The differences in this case exceed 50%. At the same time confirmed that the heat release rate curve determined on the basis of a diagram without smoothing, carry a high level of interference, which precludes their practical use. Smoothing allows getting heat release rate curves that carry vital information about the working process of the engine.

Źródło:

Journal of KONES; 2015, 22, 2; 169-176
1231-4005
2354-0133

Pojawia się w:

Journal of KONES

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 8.

Tytuł:

Assessing diagnostic applicability of heat release characteristics determined based on ship engine indicator diagrams

Autorzy:

Polanowski, S.

Powiązania:

https://bibliotekanauki.pl/articles/258814.pdf

Data publikacji:

2009

Wydawca:

Politechnika Gdańska. Wydział Inżynierii Mechanicznej i Okrętownictwa

Tematy:

ship piston engines
indicator diagrams
heat release
characteristics
diagnostic application

Opis:

In order to determine indicator diagrams-based heat release characteristics, a single- zone model of net heat release was used for perfect gas. It was proved that when a constant value for isentropic exponent is assumed, the error in determining the characteristics can be limited to 1% at the nominal load. The effect of errors in determining the position of piston TDC, as well as that of gas passages and indicator valves on the calculated characteristics was evaluated. It was shown that for low-speed engines the effect of gas passages in negligible, while for medium-speed engines the characteristics reveal some deformations (waves), which are repeatable for an individual cylinder in the examined engine construction. The results of the performed investigations and analyses suggest possibility and advisability of the use of heat release characteristics in diagnosing ship engines, in particular low-speed machines.

Źródło:

Polish Maritime Research; 2009, 3; 32-35
1233-2585

Pojawia się w:

Polish Maritime Research

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 9.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 10.

Tytuł:

Eksploatacja wykresów CTP_i w systemie CAPCAST
The exploitation of TTT diagrams in the CAPCAST system

Autorzy:

Mrzygłód, B.
Adrian, A.
Regulski, K.
Olejarczyk-Wożeńska, I.
Kluska-Nawarecka, S.

Powiązania:

https://bibliotekanauki.pl/articles/391789.pdf

Data publikacji:

2013

Wydawca:

Sieć Badawcza Łukasiewicz - Instytut Odlewnictwa

Tematy:

wykres CTPi
żeliwo sferoidalne
digitalizacja wykresów
właściwości mechaniczne żeliwa
TTT diagrams
ductile cast iron
diagrams digitisation
mechanical properties of cast iron

Opis:

Artykuł stanowi opis działania jednego z modułów systemu CAPCAST, umożliwiającego rekomendację materiałów z żeliwa sferoidalnego, posiadających określone właściwości lub mogących osiągnąć oczekiwane właściwości po przeprowadzeniu odpowiedniej obróbki cieplnej. Podejście opiera się na wykorzystaniu wiedzy zawartej w wykresach CTP_i do określenia warunków obróbki cieplnej, w efekcie której można uzyskać pożądaną mikrostrukturę żeliwa zapewniającą oczekiwane właściwości materiału.
The presented paper is a description of one of the modules of the CAPCAST system which allows determination of recommended materials made of ductile cast iron which show specific properties or may achieve the desired properties after an appropriate heat treatment process. The approach is based on the application of the knowledge developed from the TTT diagrams in order to establish the heat treatment conditions to achieve the desired microstructure of cast iron and thereby the expected properties of the material.

Źródło:

Prace Instytutu Odlewnictwa; 2013, 53, 4; 45-56
1899-2439

Pojawia się w:

Prace Instytutu Odlewnictwa

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 11.

Tytuł:

Schematy elektryczne akumulatora kwasowego i ich opis
Acid battery electrical diagrams and their description

Autorzy:

Pszczółkowski, J.

Powiązania:

https://bibliotekanauki.pl/articles/313394.pdf

Data publikacji:

2017

Wydawca:

Instytut Naukowo-Wydawniczy "SPATIUM"

Tematy:

akumulator kwasowy
akumulator kwasowo-ołowiowy
schematy elektryczne
acid battery
lead-acid battery
electrical diagrams

Opis:

W artykule przedstawiono zasady budowy modeli elektrycznych akumulatora kwasowego oraz różne możliwości jego opisu. Omówiono metodykę badań charakterystyk napięcia pracy akumulatora od zmiennych niezależnych mających na nią wpływ, np. natężenia prądu, temperatury, czy stanu naładowania. Scharakteryzowano zasady przetwarzania wstępnego wyników oraz przetwarzania dla celów wyznaczania i opisu modelu akumulatora. Wskazano możliwości opisu charakterystyk w warunkach stacjonarnych i niestacjonarnych pracy za pomocą funkcji sklejanych, kombinacji liniowej funkcji wykładniczych oraz wyznaczenia parametrów elektrycznych akumulatora, jako elementów obwodu, czyli jego siły elektromotorycznej, rezystancji i pojemności. Podkreślono zależność stopnia złożoności modelu i jego dokładności.
This article describes the principles of the acid battery electric models construction and various possibilities of its description. There is described methodology of the battery voltage characteristics testing as a function of independent variables influencing it, e.g. current, ambient temperature, or state of charge. Preliminary processing and processing principles of the test results have been characterized for the purposes of determining and describing the battery model. The possibilities of description battery characteristics in stationary and non-stationary conditions by means of gluing, linear combination of exponential functions and determination of electric parameters of the battery as elements of the circuit, i.e. its electromotive force, resistance and capacitance are described. The dependence of the complexity of the model and its accuracy was emphasized.

Źródło:

Autobusy : technika, eksploatacja, systemy transportowe; 2017, 18, 12; 1258-1263, CD
1509-5878
2450-7725

Pojawia się w:

Autobusy : technika, eksploatacja, systemy transportowe

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 12.

Tytuł:

Pourbaix diagrams for copper ores processing with seawater

Autorzy:

Marín, Oscar A.
Ordóñez, Javier I.
Gálvez, Edelmira D.
Cisternas, Luis A.

Powiązania:

https://bibliotekanauki.pl/articles/1449342.pdf

Data publikacji:

2020

Wydawca:

Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej

Tematy:

Pourbaix-diagram
Eh-pH diagrams
seawater
copper minerals
Chilean mining

Opis:

Decreases in the copper grade, waste disposal, energy supply, and water scarcity are some of the most critical challenges for the copper mining industries. One of the alternatives to counteract the water scarcity is the use of seawater, whether raw, partially desalinated, or desalinated. The use of seawater implies the generation of several compounds as a result of the interaction of ions in waters and ores. For this reason, it is required a greater understanding of these compounds generated on mineral processing, being Pourbaix diagrams used to estimate the possible compounds that will be formed in an aqueous medium for a given metal ore. In this paper, the effect of temperature, salinity, and Cu-concentration on the stability of the copper-solid species was investigated by constructing Pourbaix diagrams for different copper ore types with seawater. The results show that the corrosion areas decrease when the temperature increases for both oxidized and sulfide minerals. It was confirmed that the concentration is a critical variable that influences the size of corrosion areas. In terms of the effect of the other ions that seawater contains, carbonate, chloride, and bromide affect the stability of the Cu-solid species. The proposed diagrams serve as a useful tool to predict the stable species that may be obtained when seawater is used. The use of seawater in mining is an essential issue because it is considered as a more sustainable alternative instead of use freshwater or desalinated seawater, especially in locations with complex water availability, as is northern Chile.

Źródło:

Physicochemical Problems of Mineral Processing; 2020, 56, 4; 625-640
1643-1049
2084-4735

Pojawia się w:

Physicochemical Problems of Mineral Processing

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 13.

Tytuł:

On the General Material Balance Equation(S) to Calculate Quasi-Binary Sections of Multi-Component Phase Diagrams

Autorzy:

Dezső, A.
Kapatay, G.

Powiązania:

https://bibliotekanauki.pl/articles/352846.pdf

Data publikacji:

2016

Wydawca:

Polska Akademia Nauk. Czytelnia Czasopism PAN

Tematy:

Thermo-Calc
materials balance
quasi-binary sections
multicomponent phase diagrams

Opis:

A general form of material balance equations to be used to calculate quasi-binary sections of multi-component phase diagrams is derived here. When this general equation is reduced to ternary systems, it coincides with those, given in the Thermo-Calc manual. For a k-component system, altogether only (k-2) such independent equations should be written from the list of k(k-1)/2 possible equations.

Źródło:

Archives of Metallurgy and Materials; 2016, 61, 1; 75-78
1733-3490

Pojawia się w:

Archives of Metallurgy and Materials

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 14.

Tytuł:

Diagramy aktywności UML w projektowaniu rekonfigurowalnych sterowników logicznych
UML activity diagrams in design of reconfigurable logic controllers

Autorzy:

Grobelny, M.
Grobelna, I.

Powiązania:

https://bibliotekanauki.pl/articles/156715.pdf

Data publikacji:

2012

Wydawca:

Stowarzyszenie Inżynierów i Techników Mechaników Polskich

Tematy:

specyfikacja behawioralna
rekonfigurowalny sterownik logiczny
UML
diagramy aktywności
behavioural specification
activity diagrams

Opis:

Artykuł przedstawia sposób reprezentacji behawioralnej sterownika logicznego przy wykorzystaniu diagramów aktywności języka UML. Zaproponowane zostało zastosowanie diagramów aktywności do projektowania rekonfigurowalnych sterowników logicznych, a dokładnie do opisu zachowania sterownika logicznego podczas pracy. Do tego celu został dostosowany zbiór elementów diagramów aktywności w celu umożliwienia efektywnego modelowania behawioralnego. Rozważane jest także wykorzystanie hierarchicznych możliwości diagramów aktywności do częściowej rekonfiguracji
The paper focuses on behavioural representation of a logic controller with usage of UML activity diagrams. There is shown a subset of UML activity diagram elements sufficient to present logic controller behaviour simultaneously suitable for automatic synthesis with use of hardware description languages. After short introduction (Section 1) to the topic, UML activity diagrams as a specification technique are presented (Section 2). Additionally, there is described a subset of elements (Tab.1) of the discussed specification techniques fulfilling behavioural modelling requirements of a reconfigurable logic controller. Specification possibilities are given using sample control process of preparing the exact amount of liquid in two tanks (Section 3). The real model of the process is shown in Fig. 1. One of the possible behavioural specifications with use of UML activity diagrams is depicted in Fig. 2. This is a representation of the considered action state concept specification techniques in version 1.x. The other possibility is to specify a process with use of elementary system actions (Fig. 3), which is characteristic of the UML activity diagrams version 2.x. Fig. 4, on the other hand, shows signal based specification which is suitable for automatic hardware description language code generation (e.g. VHDL). Furthermore, Section 4 describes possibilities of using hierarchical aspects of activity diagrams to prepare specification for partial reconfiguration. Finally, Section 5 concludes the paper.

Źródło:

Pomiary Automatyka Kontrola; 2012, R. 58, nr 7, 7; 596-598
0032-4140

Pojawia się w:

Pomiary Automatyka Kontrola

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 15.

Tytuł:

Schematy blokowe programów
Блок-схемы программ
Routine flow-diagrams

Autorzy:

Paszkowski, S.
Wrona, R.

Powiązania:

https://bibliotekanauki.pl/articles/741630.pdf

Data publikacji:

1961

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Źródło:

Applicationes Mathematicae; 1960-1961, 5, 4; 391-410
1233-7234

Pojawia się w:

Applicationes Mathematicae

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 16.

Tytuł:

Invariants of plane curve singularities and Newton diagrams

Autorzy:

Cassou-Noguès, Pierrette
Płoski, Arkadiusz

Powiązania:

https://bibliotekanauki.pl/articles/1368068.pdf

Data publikacji:

2011

Wydawca:

Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego

Opis:

We present an intersection-theoretical approach to the invariants of plane curve singularities µ,ð,r related by the Milnor formula 2ð = µ + r - 1. Using Newton transformations we give formulae for µ,ð,r which imply planar versions of well-known theorems on nondegenerate singularities.

Źródło:

Universitatis Iagellonicae Acta Mathematica; 2011, 49; 9-34
2084-3828
0083-4386

Pojawia się w:

Universitatis Iagellonicae Acta Mathematica

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 17.

Tytuł:

Spin arrangement diagrams for Er2-xRxFe14B (R = Y, Ce) obtained with Mössbauer spectroscopy and phenomenological model

Autorzy:

Pędziwiatr, A.
Bogacz, B.
Gargula, R.

Powiązania:

https://bibliotekanauki.pl/articles/148797.pdf

Data publikacji:

2003

Wydawca:

Instytut Chemii i Techniki Jądrowej

Tematy:

Mössbauer effect
permanent magnet materials
spin diagrams
spin reorientation

Opis:

Two isostructural series of polycrystalline compounds: Er2-xYxFe14B and Er2-xCexFe14B have been studied by 57Fe Mössbauer spectroscopy in the temperature range 80-370 K. The spin reorientation phenomenon (a transition from basal plane to axial easy magnetisation direction) has been studied extensively by a narrow step temperature scanning in the vicinity of the transition. Using the procedure of subtracting the Mössbauer spectra taken for the same compound at different temperatures, it was possible to follow the influence of transition on the shape of spectra. From this procedure it was concluded that in the region of transition each subspectrum splits into two Zeeman sextets, which are characterised by different hyperfine magnetic fields and quadrupole splittings. The consistent way of describing the Mössbauer spectra was proposed. The spin reorientation temperatures have been established for all compositions and compared with the values obtained from theoretical calculations of spin orientation angle based on phenomenological model. The spin arrangement diagrams have been constructed.

Źródło:

Nukleonika; 2003, 48,suppl.1; 59-63
0029-5922
1508-5791

Pojawia się w:

Nukleonika

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 18.

Tytuł:

Chord diagrams in the classification of Morse-Smale flows on 2-manifolds

Autorzy:

Plachta, Leonid

Powiązania:

https://bibliotekanauki.pl/articles/1342392.pdf

Data publikacji:

1998

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Źródło:

Banach Center Publications; 1998, 42, 1; 255-273
0137-6934

Pojawia się w:

Banach Center Publications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 19.

Tytuł:

Evaluation accuracy of combustion chamber tightness in piston engines, on the basis of a developed indicator diagram

Autorzy:

Rosłanowski, J.
Charchalis, A.

Powiązania:

https://bibliotekanauki.pl/articles/246594.pdf

Data publikacji:

2013

Wydawca:

Instytut Techniczny Wojsk Lotniczych

Tematy:

leakage of combustion chamber
errors of developed indicator diagrams
characteristic points of developed indicator diagrams

Opis:

The following article describes the effect of combustion chamber leakage of piston engine on the quality of its performance. To make a diagnosis of combustion chamber tightness, only such parameters were selected which are characterized by high information value and are closely connected with its defined structure. For this reason such connections are unmistakable, which results in making the right diagnosis of combustion chamber tightness of piston engines. Special attention was paid to the fact, what consequences, combustion chamber leakage, can cause to the piston engine performance. The most dangerous for the engine efficiency is the leakage of combustion chamber. The leakage of combustion chamber brings about the change of such engine parameters as pressure of suction, pressure of final compression and burning and the change of exhaust gases composition, which effect on the engine power and on fuel consumption. Condition of piston rings and their influence on gas pressure in combustion chamber has also been characterized. Pressure of gases taking place in engine cylinder and their connection with leakage of combustion chamber have also been described. The article also exposes random character of combustion pressure in engine cylinder. Besides, the errors of indicator diagrams together with mapping error position GMP have been mentioned too. Reliability of diagnostic parameters of technical condition of combustion piston engines obtained on the basis of developed indicator diagrams has been defined. Such diagram must be made on the basis of measurements and statistic analysis of pressure parameters in correctly adjusted engines, being in perfect technical condition, and not on the basis of measurements obtained in the engine test bench of a new engine. Bad technical condition, especially leaks in its cylinders causes power differences in engine arrangements, which endangers its safe exploitation.

Źródło:

Journal of KONES; 2013, 20, 3; 339-345
1231-4005
2354-0133

Pojawia się w:

Journal of KONES

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 20.

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 CTP_i na przykładzie wybranych wykresów dla żeliw sferoidalnych. Wykresy CTP_i 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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 21.

Tytuł:

Wykorzystanie wykresów CTP niskostopowego żeliwa sferoidalnego do opracowania technologii wytwarzania żeliwa ADI
The use of TTT diagrams of low-alloy ductile cast iron to develop a technology for the production of ADI

Autorzy:

Mrzygłód, B.
Kluska-Nawarecka, S.
Kowalski, A.
Wilk-Kołodziejczyk, D.

Powiązania:

https://bibliotekanauki.pl/articles/391646.pdf

Data publikacji:

2013

Wydawca:

Sieć Badawcza Łukasiewicz - Instytut Odlewnictwa

Tematy:

wykresy CTPc
wykresy CTPi
żeliwo sferoidalne
żeliwo ADI
struktura
CCT diagrams
TTT diagrams
ductile cast iron
ADI
structure

Opis:

Omówiono znaczenie wykresów CTP_c i CTP_i w procesach obróbki cieplnej żeliwa sferoidalnego, szczególnie przy wytwarzaniu żeliwa ADI. Dokonano przeglądu literatury dotyczącej zagadnienia. Badania własne obejmowały opracowanie wykresów CTP dla czterech rodzajów żeliwa sferoidalnego różniących się głównie zawartością dodatków niklu, miedzi i molibdenu, odpowiednio: 1,55% Ni i 0,73% Cu; 2,26% Ni i 1,44% Cu; 1,60% Ni i 0,69% Cu oraz 1,50% Ni i 0,45% Mo. Zamieszczono mikrostruktury produktów przemiany przechłodzonego austenitu z wybranych próbek wykorzystanych do budowy wykresu CTP_c-4. Na podstawie analizy otrzymanych wykresów omówiono wpływ Ni, Cu i Mo na temperaturę i czas poszczególnych przemian fazowych żeliwa sferoidalnego podczas chłodzenia anizotermicznego i izotermicznego. Uzyskano właściwości żeliwa ADI z dodatkami 1,55% Ni i 0,73% Cu spełniające wymagania dla 4 gatunków wg normy EN-PN 1563.
The presented paper is a description of the significance of CCT and TTT diagrams in the processes of heat treatment of ductile cast iron, and especially during the production of ADI. A review of literature in the subject was made. Own research included drawing up TTT diagrams for four types of ductile cast iron which mainly differed with respect to the content of nickel, copper and molybdenum additions, respectively: 1.55% Ni and 0.73% Cu; 2.26% Ni and 1.44% Cu; 1.60% Ni and 0.69% Cu, as well as 1.50% Ni and 0.45% Mo. Presented are microstructures of products of overcooled austenite transformations from the selected samples used for the construction of a CCT-4 diagram. On the basis of the analysis of the achieved diagrams, the influence of Ni, Cu and Mo on temperature and time of particular phase transformations in ductile cast iron during anisothermal and isothermal cooling is discussed. Properties of ADI with additions of 1.55% Ni and 0.73% Cu were determined which meet the requirements for four types pf cast iron according to the standard EN-PN 1563.

Źródło:

Prace Instytutu Odlewnictwa; 2013, 53, 4; 85-111
1899-2439

Pojawia się w:

Prace Instytutu Odlewnictwa

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 22.

Tytuł:

A study into the functioning of tree diagrams in a context

Autorzy:

Bessot, Annie
Richard, Franqoise

Powiązania:

https://bibliotekanauki.pl/articles/748990.pdf

Data publikacji:

1988

Wydawca:

Polskie Towarzystwo Matematyczne

Opis:

The article contains no abstract

Źródło:

Didactica Mathematicae; 1988, 9, 01
2353-0960

Pojawia się w:

Didactica Mathematicae

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 23.

Tytuł:

An algebraic treatment of flow diagrams and its application to generalized recursion theory

Autorzy:

Skordev, Dimiter

Powiązania:

https://bibliotekanauki.pl/articles/1361266.pdf

Data publikacji:

1982

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Źródło:

Banach Center Publications; 1982, 9, 1; 277-287
0137-6934

Pojawia się w:

Banach Center Publications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 24.

Tytuł:

3D Computer Models of the Ag-Sb-Sn and MgO-Al₂O₃-SiO₂ T-x-y Diagrams

Autorzy:

Lutsyk, V.
Vorob'eva, V.
Zelenaya, A.

Powiązania:

https://bibliotekanauki.pl/articles/1029637.pdf

Data publikacji:

2018-04

Wydawca:

Polska Akademia Nauk. Instytut Fizyki PAN

Tematy:

phase diagrams
3D simulation
Ag-Sb-Sn
MgO-SiO₂-Al₂O₃
mass balance

Opis:

Three-dimensional (3D) computer models of Ag-Sb-Sn and MgO-Al₂O₃-SiO₂ systems T-x-y diagrams have been designed. For the metal system two versions of 3D model of its phase diagram have been constructed according to the contradictions in the temperature intervals of the compound Sb₂Sn₃ stability. Possibilities of the analysis of the stages of crystallization and prediction of microstructural constituents with the aid of the calculation of vertical mass balance diagrams are demonstrated on the basis of the 3D computer model for the oxide system.

Źródło:

Acta Physica Polonica A; 2018, 133, 4; 763-766
0587-4246
1898-794X

Pojawia się w:

Acta Physica Polonica A

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 25.

Tytuł:

Improvement of the graphical method for plotting the shear and moment diagrams for members subjected to linearly varying loads

Autorzy:

Husain, Muhammed Abbas
Ali, Abdulkhaliq Salim

Powiązania:

https://bibliotekanauki.pl/articles/2174180.pdf

Data publikacji:

2022

Wydawca:

Uniwersytet Zielonogórski. Oficyna Wydawnicza

Tematy:

ścinanie
ścinanie belki
mechanika materiałów
shear diagrams
moment diagram
graphical method
improvement
varying load

Opis:

This study presents an improvement of the graphical method for plotting the shear and moment diagrams for the structural members under linearly varying loads (triangular and trapezoidal loads). Based on the parabolic nature of the shear function, when the loading varies linearly, and on the relations among load, shear, and moment, a mathematical equation is developed to locate the zero-shear point, while a geometric technique is presented to calculate the parabolic shear area. Five comprehensive examples of beams loaded with linearly varying loads are selected to illustrate the steps of the solution for the proposed techniques. The results demonstrated the applicability of the presented method, and gave exact diagrams compared with the basic graphical method. It is concluded that the proposed improved method is generally more convenient, less time-consuming, and has less computational efforts because it does not require sectioning, solving equilibrium equations, and quadratic formulas compared with the basic graphical method.

Źródło:

International Journal of Applied Mechanics and Engineering; 2022, 27, 1; 46--66
1734-4492
2353-9003

Pojawia się w:

International Journal of Applied Mechanics and Engineering

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 26.

Tytuł:

Square Ising Nanowire on the Bethe Lattice

Autorzy:

Albayrak, E.

Powiązania:

https://bibliotekanauki.pl/articles/1032327.pdf

Data publikacji:

2017-06

Wydawca:

Polska Akademia Nauk. Instytut Fizyki PAN

Tematy:

Bethe lattice
nanowire
phase diagrams
magnetization
tricritical

Opis:

The square-type nanowire is simulated on the Bethe lattice by using the core-shell structure consisting of the Ising spins. A nanoparticle is formed by placing a spin to the center and four others to the corners of a square. Then, each nanoparticle is combined with two neighboring ones with a perfect alignment of the squares to form the nanowire. Only nearest-neighbor spin interactions, either ferromagnetic or antiferromagnetic type, are allowed. The phase diagrams are calculated by studying the thermal variations of magnetizations for various values of bilinear interactions. It is found that the model gives both second- and first-order phase transitions in addition to the tricritical points and compensation temperatures.

Źródło:

Acta Physica Polonica A; 2017, 131, 6; 1470-1473
0587-4246
1898-794X

Pojawia się w:

Acta Physica Polonica A

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 27.

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 CTP_c 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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 28.

Tytuł:

Awangardowe techniki kompozytorskie w Trzech diagramach na flet solo Henryka Mikołaja Góreckiego
Avant-garde compositional techniques in Three diagrams for solo flute by Henryk Mikołaj Górecki

Autorzy:

Sucharska, Weronika

Powiązania:

https://bibliotekanauki.pl/articles/514016.pdf

Data publikacji:

2016

Wydawca:

Uniwersytet Jagielloński. Koło Naukowe Studentów Muzykologii UJ

Tematy:

Henryk Mikołaj Gorecki
Three diagrams for solo flute
compositional techniques
punctualism
aleatorism
serialism

Opis:

The aim of the article is to analyse Three diagrams for solo flute Op. 15 by Henryk Mikołaj Gorecki in the light of compositional techniques used in the piece as well as placing the work in the context of the early output of the composer. In order to achieve the defined aims the score has been analysed as well as the statements of the composer and of people related to him. This research enabled the author to precise in what ways Gorecki uses techniques such as serialism, punctualism and aleatorism. In the paper composer’s individual and innovative approach to the avant-garde techniques is revealed. However, the idiomatic elements of the whole Gorecki’s style are also present in the analysed work. The article consists of two parts. The first part includes the problem of history and the style of Henryk Mikołaj Gorecki’s early works. The second part is devoted to the analysis and conclusions.

Źródło:

Kwartalnik Młodych Muzykologów UJ; 2016, 4(31); 78-99
2956-4107
2353-7094

Pojawia się w:

Kwartalnik Młodych Muzykologów UJ

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 29.

Tytuł:

Method of performing Design FMEA on electronic circuit diagrams

Autorzy:

Karcz, R.

Powiązania:

https://bibliotekanauki.pl/articles/2069239.pdf

Data publikacji:

2015

Wydawca:

Uniwersytet Morski w Gdyni. Polskie Towarzystwo Bezpieczeństwa i Niezawodności

Tematy:

electronic circuit analysis
failure mode
TTAA

Opis:

Existing method of performing FMEA for electronic diagrams is time consuming task. For complex systems analysis of every single component failure mode and its effect deeply involves design team and blocks resources availability for long time. Method presented in this paper allows effective analysis of design failure modes using FMEA approach carrying so called Time to Acceptable Analysis (TTAA) constraint.

Źródło:

Journal of Polish Safety and Reliability Association; 2015, 6, 1; 125--128
2084-5316

Pojawia się w:

Journal of Polish Safety and Reliability Association

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 30.

Tytuł:

Voronoi diagrams – inventor, method, applications

Autorzy:

Pokojski, W.
Pokojska, P.

Powiązania:

https://bibliotekanauki.pl/articles/92410.pdf

Data publikacji:

2018

Wydawca:

Oddział Kartograficzny Polskiego Towarzystwa Geograficznego

Tematy:

Voronoi diagram
Voronoi Georgij
GIS
University of Warsaw

Opis:

The article presents the person and works of Georgy Voronoi (1868–1908), the inventor of an original method of diagrams, a student of the famous mathematician Andrey Markov. Georgy Voronoi graduated from the Department of Physics and Mathematics at the University of St. Petersburg, and subsequently worked as a professor of mathematics at the Imperial University of Warsaw. One of his students was the future outstanding Polish mathematician Wacław Sierpiński. In his brief lifetime G. Voronoi published several important scientific articles on number theory. In an almost 100 page paper in French published in 1908 he described a method of diagrams, or polygons, which became known as the method of Voronoi diagrams. In the digital age this method and its modifications found new applications. The entry “Voronoi” is getting more popular on the Internet, and the method of Voronoi diagrams and its modifications are widely described in handbooks and scientific articles. The article presents application of the method in the most popular computer programs from the Geographic Information System (GIS) group and presents examples of its usage in research on geographic space in various scientific disciplines.

Źródło:

Polish Cartographical Review; 2018, 50, 3; 141-150
2450-6974

Pojawia się w:

Polish Cartographical Review

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 31.

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 M_s temperature. Previous plastic deformation accelerated especially diffuse transformations (ferrite and pearlite), temperature of M_s 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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 32.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 33.

Tytuł:

Modelling of ground handling operations at airport

Autorzy:

Kwasiborska, A.

Powiązania:

https://bibliotekanauki.pl/articles/244049.pdf

Data publikacji:

2010

Wydawca:

Instytut Techniczny Wojsk Lotniczych

Tematy:

transport
air transport
ground handling
aerodrome traffic
Gantt diagrams

Opis:

In aviation, aircraft ground handling defines the servicing of an aircraft while it is on the ground and (usually) parked at a terminal gate of an airport. Ground handling operations include many activities: passenger handling, ground transport, assistance in blocking the aircraft and delivery ofreąuired equipment, loading and unloading of the aircraft, including provision and operation of required equipment, as well as transport of the crew and passengers between the aircraft and the terminal, transport of luggage between the aircraft and the terminal, catering. This paper presents a fragment of an analysis of the elementary operations performed at the apron and presents model of ground handling at the airport and stochastic analyses. The method of sohing the problem is based upon an analysis of the actual airport operations. During the investigation different ground handling processes schemes and elementary operations identified at the apron were analyzed. Random parameters of the duration ofeach action at the apron were identified. The focus was the problem of increase airport capacity for the ground airport operations. Problem of airport capacity is specifying as airside and landside. The authors present short description of method. It is present ground handling model and some of results of simulation.

Źródło:

Journal of KONES; 2010, 17, 3; 253-261
1231-4005
2354-0133

Pojawia się w:

Journal of KONES

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 34.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 35.

Tytuł:

The Coral of Plants

Autorzy:

Podani, J.

Powiązania:

https://bibliotekanauki.pl/articles/2130710.pdf

Data publikacji:

2020

Wydawca:

Polskie Towarzystwo Botaniczne

Tematy:

Archaeplastida
branching silhouette diagrams
cladistics
classification
geological
timescale
paleontology
phylogeny
Tree of Life

Opis:

The present article has two primary objectives. First, the article provides a historical overview of graphical tools used in the past centuries for summarizing the classification and phylogeny of plants. It is emphasized that each published diagram focuses on only a single or a few aspects of the present and past of plant life on Earth. Therefore, these diagrams are less useful for communicating general knowledge in botanical research and education. Second, the article offers a solution by describing the principles and methods of constructing a lesser- known image type, the coral, whose potential usefulness in phylogenetics was first raised by Charles Darwin. Cladogram topology, phylogenetic classification and nomenclature, diversity of taxonomic groups, geological timescale, paleontological records, and other relevant information on the evolution of Archaeplastida are simultaneously condensed for the first time into the same figure – the Coral of Plants. This image is shown in two differently scaled parts to efficiently visualize as many details as possible, because the evolutionary timescale is much longer, and the extant diversity is much lower for red and green algae than for embryophytes. A fundamental property of coral diagrams, that is their self-similarity, allows for the redrawing of any part of the diagram at smaller scales.

Źródło:

Acta Societatis Botanicorum Poloniae; 2020, 89, 3
0001-6977
2083-9480

Pojawia się w:

Acta Societatis Botanicorum Poloniae

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 36.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 37.

Tytuł:

The influence of non-cooled exhaust gas recirculation on the indicator diagrams and heat release parameters in diesel engine cylinder

Autorzy:

Cisek, J.

Powiązania:

https://bibliotekanauki.pl/articles/133039.pdf

Data publikacji:

2017

Wydawca:

Polskie Towarzystwo Naukowe Silników Spalinowych

Tematy:

diesel engine
exhaust gases
exhaust gas recirculation
EGR
indicator diagrams
rate of heat release
silnik spalinowy
spaliny
recyrkulacja spalin
wykresy indykatorowe
przebieg wywiązywania się ciepła

Opis:

This paper presents the results of the diesel engine research on the indicator and heat realized diagrams for VW 1.9 TDI working in 2 modes: with standard, non-cooled EGR system, and without this system. All of measurement was carried out on the some engine speed – 2000 rpm (speed of maximum engine torque) and various engine load. Some of the analyzed parameters were read directly from the measurement systems (e.g. indicator diagrams) or engine controller (e.g. start of injection) and the rest of them had to be calculated. The calculation of rate of heat release (δQ/dα) was based on the well-known mathematical model. When the exhaust gas recirculation valve is open, the maximum of combustion pressure and rate of maximum kinetic heat release (δQ_k/dα)_max are smaller than when the valve is closed. These facts are connected with the shorter self-combustion delay for engine working with EGR. But this is also associated with reduction of the rate of maximum diffusion heat release (δQ_d/dα)_max, which means that more particulates (PM) are excreted into the atmosphere. This fact explains e.g. significantly higher smog of exhaust gases for diesel engine which works with EGR system. The analysis results show that exhaust gas recirculation system slightly deteriorates the energetic parameters of VW 1.9 TDI engine, but, at the same time, significantly reduces the level of toxic nitrogen oxides in exhaust gases.

Źródło:

Combustion Engines; 2017, 56, 4; 283-288
2300-9896
2658-1442

Pojawia się w:

Combustion Engines

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 38.

Tytuł:

Graphons and renormalization of large Feynman diagrams

Autorzy:

Shojaei-Fard, A.

Powiązania:

https://bibliotekanauki.pl/articles/254999.pdf

Data publikacji:

2018

Wydawca:

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH

Tematy:

graph functions
Dyson-Schwinger equations
Connes-Kreimer renormalization Hopf algebra

Opis:

The article builds a new enrichment of the Connes-Kreimer renormalization Hopf algebra of Feynman diagrams in the language of graph functions.

Źródło:

Opuscula Mathematica; 2018, 38, 3; 427-455
1232-9274
2300-6919

Pojawia się w:

Opuscula Mathematica

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 39.

Tytuł:

Nearly irreducibility of polynomials and the Newton diagrams

Autorzy:

Masternak, Mateusz

Powiązania:

https://bibliotekanauki.pl/articles/1793463.pdf

Data publikacji:

2020-01-22

Wydawca:

Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie

Tematy:

irreducibility of polynomials
Newton diagram
Newton polygon
plane algebraic curve

Opis:

Let f be a polynomial in two complex variables. We say that f is nearly irreducible if any two nonconstant polynomial factors of f have a common zero in $C^{2}$. In the paper we give a criterion of nearly irreducibility for a given polynomial f in terms of its Newton diagram.

Źródło:

Annales Universitatis Paedagogicae Cracoviensis. Studia Mathematica; 2020, 19; 65-77
2300-133X

Pojawia się w:

Annales Universitatis Paedagogicae Cracoviensis. Studia Mathematica

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 40.

Tytuł:

Phase Diagrams of Crystals with One-Dimensional Modulated Phases Induced by 2d Active Representations

Autorzy:

Sikora, R.

Powiązania:

https://bibliotekanauki.pl/articles/1931812.pdf

Data publikacji:

1994-12

Wydawca:

Polska Akademia Nauk. Instytut Fizyki PAN

Tematy:

64.70.Rh

Opis:

A one-dimensional model of particles with a displacive degree of freedom for crystals possessing incommensurate phases which arise as a result of the condensation of either real two-dimensional or complex one-dimensional irreducible representations, has been proposed. For these representations all invariants of the free energy expansion can be divided to four general forms. For the active irreducible representations for which the invariants belong to the first form a complete list of invariants is derived. In this case the incommensurate modulation propagates along the symmetry axis and for such crystals a proposed one-dimensional model may be a good approach to describe the main features of the devil's staircase curve. The particles of the model interact with harmonic and anharmonic terms. The last ones may contain an additional third order term provided a soft phonon branch has a symmetry τ$\text{}^{1}$. The calculated phase diagrams show sequences of the incommensurate and commensurate one-dimensional phases. In the presence of the third order anharmonic term the incommensurate phase proves to be stable closer to the phase boundary to the normal phase.

Źródło:

Acta Physica Polonica A; 1994, 86, 6; 955-968
0587-4246
1898-794X

Pojawia się w:

Acta Physica Polonica A

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 41.

Tytuł:

Using Reliability Block Diagrams and Fault Tree circuits, to develop a Condition Based Maintenance Model for a Vessel’s Main Propulsion System and Related Subsystems

Autorzy:

Anantharaman, M.

Powiązania:

https://bibliotekanauki.pl/articles/117168.pdf

Data publikacji:

2013

Wydawca:

Uniwersytet Morski w Gdyni. Wydział Nawigacyjny

Tematy:

Fault Tree
Main Engine
Propulsion System
Condition Based Maintenance (CBM)
Planned Maintenance System
Reliability Block Diagrams
Main Propulsion
fault tree analysis (FTA)

Opis:

Merchant shipping has undergone a great transformation over the past three decades. The shipping market is highly competitive, which coupled with high crewing and fuel costs, leads to high operational costs. One of the paramount factor involved in vessel operation is the Maintenance cost and there is a dire need to keep this cost to a minimum. Fortunately the earlier policy of repair only maintenance in commercial shipping has been done away with, and was replaced by the policy of preventive maintenance. Planned Maintenance System was introduced by ship management companies in the early 90’s. Planned Maintenance offered benefits over the repair only policy, but has its own demerits. Many a time machinery equipment is opened up for routine maintenance after a specified time interval, irrespective of the need. This could lead to potential failures, which is explained by the fact that preventive maintenance resulted in meddling of a well set piece of machinery equipment, leading to its subsequent failure. This is where Condition based maintenance or CBM steps into prominence. CBM monitors the health of the machinery equipment, analyses the condition and helps you in decision making. The Main Propulsion system forms the heart of a vessel and we need to ensure its reliability, together with the reliability of its associated sub-systems. The entire system can be represented by reliability block diagrams, to show the interdependence of various components comprising the system. This helps in the decision making process of CBM whereby ship’s engineer may decide to stop the running machinery equipment, open and overhaul the same, else postpone the overhaul for a later safe date.

Źródło:

TransNav : International Journal on Marine Navigation and Safety of Sea Transportation; 2013, 7, 3; 409-413
2083-6473
2083-6481

Pojawia się w:

TransNav : International Journal on Marine Navigation and Safety of Sea Transportation

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 42.

Tytuł:

Odwzorowanie hierarchicznych interpretowanych sieci Petriego sterowania z makromiejscami w diagramach aktywności UML
Mapping of hierarchical control interpreted Petri nets with macroplaces in UML activity diagrams

Autorzy:

Grobelny, M.

Powiązania:

https://bibliotekanauki.pl/articles/153447.pdf

Data publikacji:

2012

Wydawca:

Stowarzyszenie Inżynierów i Techników Mechaników Polskich

Tematy:

UML
diagramy aktywności
interpretowane sieci Petriego sterowania
specyfikacja behawioralna
specyfikacja hierarchiczna
activity diagrams
control interpreted Petri nets
behavioural specification
hierarchical specification

Opis:

Artykuł przedstawia metodę odwzorowania hierarchicznych interpretowanych sieci Petriego sterowania z makromiejscami w diagramach aktywności języka UML. Zgodnie z przyjętą zasadą odwzorowania akcji w tranzycjach sieci Petriego nie ma możliwości bezpośredniej graficznej reprezentacji miejsc interpretowanej sieci Petriego sterowania w diagramach UML. Jednocześnie konieczna jest zamiana takich elementów jak wyjścia przypisane do miejsc na aktywację i dezaktywację wyjść przy realizacji tranzycji oraz zamiany makromiejsc w makrotranzycje. Takie postępowanie kom-plikuje cały proces oraz może wprowadzać nieznaczne rozbieżności pomiędzy specyfikacją źródłową i docelową.
The paper presents a method for mapping hierarchical control interpreted Petri nets into activity diagrams of UML. Usage of both specification techniques is possible considering international and multicultural design projects specifying hardware behavioural properties of a control process. Sometimes use of two different modelling techniques can be reasonable. After a short introduction (Section 1), a sample control process and its graphical interpretation using the control interpreted Petri net is described (Section 2). Fig. 1 shows the real model of the considered process of transportation of friable goods, whereas Fig. 2 presents graphical specification of the process with use of the control interpreted Petri net. Fig. 3 shows interpretation of action of UML activity diagrams in Petri nets. Due to no direct representation of the system state in UML activity diagrams, the outputs attached to places have to be exchanged with the outputs activated and deactivated with transitions firings. Sample output replacement scenario is depicted in Fig. 4 and is in details described in Section 3. Fig. 5 presents specification of the deliberated control process with usage of Mealy outputs (after replacement). On the other hand, conversion of macroplaces into macrotransitions is shown in Section 4 with graphical representation after exchange in Fig. 6. Section 5 describes transformation of the prepared Petri net into the activity diagram of UML with the process graphical representation in Fig. 7. Finally, Section 6 concludes the paper.

Źródło:

Pomiary Automatyka Kontrola; 2012, R. 58, nr 6, 6; 506-509
0032-4140

Pojawia się w:

Pomiary Automatyka Kontrola

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 43.

Tytuł:

Determination of phase diagrams and thermoseparation behaviour of aqueous two-phase systems composed of ethylene oxide-propylene oxide random copolymer and potassium phosphate

Autorzy:

Dembczyński, R.
Białas, W.
Jankowski, T.

Powiązania:

https://bibliotekanauki.pl/articles/185795.pdf

Data publikacji:

2012

Wydawca:

Polska Akademia Nauk. Czytelnia Czasopism PAN

Tematy:

wodne układy dwufazowe
termoseparacja
współczynnik podziału
partition coefficient
aqueous two-phase systems
phase diagrams
thermoseparation
ethylene oxide-propylene oxide copolymers

Opis:

The application of aqueous two-phase systems (ATPS) is a cost-effective and simple method of protein separation (including enzymes) from complex systems. The first stage of designing the protein purification process in an ATPS involves the identification of the conditions for the formation of a given extraction system. For this purpose, the conditions for the formation of ATPSs in a thermoseparating EO50PO50 polymer/potassium phosphates system have been studied. Factors determining the ATPS formation comprised: separation temperature (4[degrees]C or 20[degrees]C), phosphate solution pH (6, 7.5 or 9) as well as the concentration of NaCl introduced into the systems (0.085 M, 0.475 M and 0.85 M). ATPS without NaCl were prepared as well. The conditions for the formation of the primary EO50PO50/potassium phosphate ATPS were determined with their phase diagrams. It was observed that with an increase of phosphate pH and NaCl concentration in the system, there was a decrease of the EO50PO50 and phosphate concentrations necessary to form a primary ATPS. After the primary two-phase separation, the top phase (rich in the EO50PO50 polymer) was partitioned from the bottom phase (rich in phosphates). Next, by means of polymer phase thermoseparation, a secondary two-phase system was formed. In the secondary EO50PO50/phosphate ATPS, the bottom phase was formed by the concentrated EO50PO50 polymer (30-80% concentration), while the top phase by a solution composed mainly of water, containing phosphate ions and remains of EO50PO50 polymer (3-7%).

Źródło:

Chemical and Process Engineering; 2012, 33, 3; 411-429
0208-6425
2300-1925

Pojawia się w:

Chemical and Process Engineering

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 44.

Tytuł:

Intuition and deduction in the process of explaining the correctness of proof in architectural diagrams
Intuicja i dedukcja w procesie wyjaśniania poprawności dowodu w diagramach architektonicznych

Autorzy:

Maryńczuk, Paweł

Powiązania:

https://bibliotekanauki.pl/articles/2034260.pdf

Data publikacji:

2021

Wydawca:

Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydawnictwo Uczelniane ZUT w Szczecinie

Tematy:

architectural diagrams
intuition
deduction
philosophical concepts
knowledge
reasoning
architectural evidence
diagramy architektoniczne
intuicja
dedukcja
koncepcje filozoficzne
wiedza
rozumowanie
dowody architektoniczne

Opis:

Creating diagrams is an occasion for a sophisticated analysis of notions and exploring their meaning. It is also a form of direct contact with psychological phenomena and juxtaposing intuition and deduction as sources of cognition. Analysis of the development of philosophical stances can present the process of a departure from the classical view that holds that this argumentation can have a purely formal character (while the role of intuition is significantly reduced). The by-product shall be an explanation of often encountered simplifications associated with understanding both positions associated with their extreme versions: the intuitive relict or the version of formalism that produces an impression of being a sterile and even absurd argument. I argue in favour of the utility of both positions, as they can present interesting aspects of certain problems in architectural proofs at different stages of design, and used to distinguish different diagrams.
Tworzenie diagramów to okazja do wyrafinowanej analizy pojęć i swoistego wnikania w ich treść. To również bezpośredni kontakt ze zjawiskami o charakterze psychologicznymi i przeciwstawieniem intuicji i dedukcji, jako źródeł poznania. Analiza rozwoju stanowisk filozoficznych pozwoli na ukazanie procesu odchodzenia od poglądu klasycznego w myśl, którego w sposób intuicyjny ujmujemy poszczególne etapy rozumowania na rzecz poglądu zgodnie, z którym ta argumentacja może mieć charakter czysto formalny (zaś rola intuicji zostaje mocno zredukowana). Natomiast „produktem ubocznym” będzie wyjaśnienie, pewnych często spotykanych uproszczeń związanych ze zrozumieniem obu stanowisk utożsamianych ze skrajnymi ich wersjami. Intuicyjnego reliktu bądź wersją formalizmu sprawiającej wrażenie, że jest to stanowisko jałowe i wręcz absurdalne. Chcę podkreślić użyteczność obu stanowisk, gdyż pozwalają one na ukazanie ciekawych aspektów problemów w dowodach architektonicznych, na rożnych etapach projektowania i wyodrębnienie różnych diagramów.

Źródło:

Przestrzeń i Forma; 2021, 45; 39-54
1895-3247
2391-7725

Pojawia się w:

Przestrzeń i Forma

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 45.

Tytuł:

Calculation of the Casson-Walker-Lescop invariant from chord diagrams

Autorzy:

Murakami, Hitoshi

Powiązania:

https://bibliotekanauki.pl/articles/1342390.pdf

Data publikacji:

1998

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Tematy:

Vassiliev invariant
chord diagram
Kontsevich integral
Casson-Walker-Lescop invariant

Źródło:

Banach Center Publications; 1998, 42, 1; 243-254
0137-6934

Pojawia się w:

Banach Center Publications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 46.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 47.

Tytuł:

ΑΝΑΛΥΣΙΣ ΠΕΡΙ ΤΑ ΣΧΗΜΑΤΑ Restoring Aristotle’s Lost Diagrams of the Syllogistic Figures

Autorzy:

Wesoły, Marian

Powiązania:

https://bibliotekanauki.pl/articles/633507.pdf

Data publikacji:

2012

Wydawca:

Uniwersytet im. Adama Mickiewicza w Poznaniu

Tematy:

Aristotle
analysis
analytics
syllogistic figures
diagrammatic notation

Opis:

The article examines the relevance of Aristotle’s analysis that concerns the syllogistic figures. On the assumption that Aristotle’s analytics was inspired by the method of geometric analysis, we show how Aristotle used the three terms (letters), when he formulated the three syllogistic figures. So far it has not been appropriately recognized that the three terms - the major, the middle and the minor one - were viewed by Aristotle syntactically and predicatively in the form of diagrams. Many scholars have misunderstood Aristotle in that in the second and third figure the middle term is outside and that in the second figure the major term is next to the middle one, whereas in the third figure it is further from it. By means of diagrams, we have elucidated how this perfectly accords with Aristotle's planar and graphic arrangement. In the light of these diagrams, one can appropriately capture the definition of syllogism as a predicative set of terms. Irrespective of the tricky question concerning the abbreviations that Aristotle himself used with reference to these types of predication, the reconstructed figures allow us better to comprehend the reductions of syllogism to the first figure. We assume that the figures of syllogism are analogous to the figures of categorical predication, i.e., they are specific syntactic and semantic models. Aristotle demanded certain logical and methodological competence within analytics, which reflects his great commitment and contribution to the field.

Źródło:

Peitho. Examina Antiqua; 2012, 3, 1; 83-114
2082-7539

Pojawia się w:

Peitho. Examina Antiqua

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 48.

Tytuł:

Fatigue life tests of steel laser-welded sandwich structures

Autorzy:

Boroński, D.
Szala, J.

Powiązania:

https://bibliotekanauki.pl/articles/260496.pdf

Data publikacji:

2006

Wydawca:

Politechnika Gdańska. Wydział Inżynierii Mechanicznej i Okrętownictwa

Tematy:

fatigue
laser welding
fatigue life diagrams
steel panel structures

Opis:

This paper presents results of the fatigue life tests of elements of steel laser-welded sandwich structure, performed at the Department of Machine Design, University of Technology and Agriculture, Bydgoszcz, in cooperation with the Department of Ship and Offshore Structures Technology, Gdańsk University of Technology, within the frame of ASPIS EUREKA E!3074 project titled : „Application of steel sandwich panels into ship structural design”. The obtained information on fatigue features of various specimens, the so called elementary structures of sandwich panels, can make it possible to formulate design and manufacturing recommendations for application of such structures in shipbuilding. An important result of the performed tests is the extended range of fatigue strength data for laser-welded joints.

Źródło:

Polish Maritime Research; 2006, S 1; 27-30
1233-2585

Pojawia się w:

Polish Maritime Research

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 49.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 50.

Tytuł:

Behavior of the Phase Diagrams of Potts Model οn Cayley Tree for Order Three

Autorzy:

Temir, S.
Ganikhodjaev, N.
Uguz, S.
Akin, H.

Powiązania:

https://bibliotekanauki.pl/articles/1400041.pdf

Data publikacji:

2013-02

Wydawca:

Polska Akademia Nauk. Instytut Fizyki PAN

Opis:

The aim of this paper is to extend the results of Ganikhodjaev et al. to the three state Potts model with competing nearest-neighbor, prolonged next-nearest-neighbor and two-level triple neighbor interactions on a Cayley tree for order 3 and compare with the phase diagrams obtained in Temir et al. and to study modulated phases arising from the frustration effects introduced by nearest-neighbor, prolonged next-nearest-neighbor and two-level triple neighbor interactions.

Źródło:

Acta Physica Polonica A; 2013, 123, 2; 476-479
0587-4246
1898-794X

Pojawia się w:

Acta Physica Polonica A

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce