Temat: wzorzec przepływu - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Lengthwise finning surface as the method of influence on the flow separation in diffusers
Autorzy:: Zaryankin, A.
Rogalev, A.
Lisin, E.
Khudyakova, V.
Powiązania:: https://bibliotekanauki.pl/articles/122686.pdf
Data publikacji:: 2017
Wydawca:: Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
Tematy:: diffuser
longitudinal pressure gradient
friction tension
velocity
finned surface
boundary layer
inertial force
flow separation
dyfuzor
warstwa graniczna
oddzielenie przepływu
siła tarcia
wzorzec przepływu
Opis:: The paper deals with the analysis of power factors acting within the boundary layer for different types of flow: convergent, gradientless and diffuser. Based on the considered formation mechanism of boundary layer separation, a hypothesis about the possible influence on structure and character of a separated flow by changing the gradient of the tangential stresses in the boundary layer was proposed. This impact is proposed to realize by means of the longitudinal finning of diffuser. Verification of the concept is performed on the basis of numerical flow investigation and available experimental data.
Źródło:: Journal of Applied Mathematics and Computational Mechanics; 2017, 16, 1; 127-138
2299-9965
Pojawia się w:: Journal of Applied Mathematics and Computational Mechanics
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: Comparison of experimental data and numerical simulation of two-phase flow pattern in vertical minichannel
Autorzy:: Sowiński, J.
Krawczyk, M.
Dziubiński, M.
Powiązania:: https://bibliotekanauki.pl/articles/185522.pdf
Data publikacji:: 2012
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: przepływ dwufazowy
wzorzec przepływu
symulacja numeryczna
numerical simulation
two phase flow
minichannel
flow pattern
Opis:: The aim of the study was the implementation of a numerical simulation of the air-water two-phase flow in the minichannel and comparing results obtained with the values obtained experimentally. To perform the numerical simulations commercial software ANSYS FLUENT 12 was used. The first step of the study was to reproduce the actual research installation as a three-dimensional model with appropriate and possible simplifications - future computational domain. The next step was discretisation of the computational domain and determination of the types of boundary conditions. ANSYS FLUENT 12 has three built-in basic models with which a two-phase flow can be described. However, in this work Volume-of-Fluid (VOF) model was selected as it meets the established requirements of research. Preliminary calculations were performed for a simplified geometry. The calculations were later verified whether or not the simplifications of geometry were chosen correctly and if they affected the calculation. The next stage was validation of the chosen model. After positive verification, a series of calculations was performed, in which the boundary conditions were the same as the starting conditions in laboratory experiments. A satisfactory description of the experimental data accuracy was attained.
Źródło:: Chemical and Process Engineering; 2012, 33, 1; 63-70
0208-6425
2300-1925
Pojawia się w:: Chemical and Process Engineering
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 3.

Tytuł:: A system for deduction-based formal verification of workflow-oriented software models
Autorzy:: Klimek, R.
Powiązania:: https://bibliotekanauki.pl/articles/330429.pdf
Data publikacji:: 2014
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: formal verification
deductive reasoning
temporal logic
semantic tableaux
workflow pattern
logical primitive
generating logical specification
business model
BPMN
formalna weryfikacja
wnioskowanie dedukcyjne
logika temporalna
tablica semantyczna
wzorzec przepływu pracy
generowanie specyfikacji logicznej
model biznesowy
Opis:: The work concerns formal verification of workflow-oriented software models using the deductive approach. The formal correctness of a model’s behaviour is considered. Manually building logical specifications, which are regarded as a set of temporal logic formulas, seems to be a significant obstacle for an inexperienced user when applying the deductive approach. A system, along with its architecture, for deduction-based verification of workflow-oriented models is proposed. The process inference is based on the semantic tableaux method, which has some advantages when compared with traditional deduction strategies. The algorithm for automatic generation of logical specifications is proposed. The generation procedure is based on predefined workflow patterns for BPMN, which is a standard and dominant notation for the modeling of business processes. The main idea behind the approach is to consider patterns, defined in terms of temporal logic, as a kind of (logical) primitives which enable the transformation of models to temporal logic formulas constituting a logical specification. Automation of the generation process is crucial for bridging the gap between the intuitiveness of deductive reasoning and the difficulty of its practical application when logical specifications are built manually. This approach has gone some way towards supporting, hopefully enhancing, our understanding of deduction-based formal verification of workflow-oriented models.
Źródło:: International Journal of Applied Mathematics and Computer Science; 2014, 24, 4; 941-956
1641-876X
2083-8492
Pojawia się w:: International Journal of Applied Mathematics and Computer Science
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "wzorzec przepływu" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język