Criterion for strong constructivizability of a homogeneous model

1978 ◽  
Vol 17 (4) ◽  
pp. 290-301 ◽  
Author(s):  
M. G. Peretyat'kin
2018 ◽  
Vol 11 (1) ◽  
pp. 7
Author(s):  
Latif Ngudi Wibawanto ◽  
Budi Santoso ◽  
Wibawa Endra Juwana

This research was conducted to find out the flow characteristic of two phases through the channel with sudden expansion in the form of change of flow pattern and pressure recovery. The test was carried out with variation of superficial velocity of water 0.2-1.3 m / s and superficial air velocity of 0.2-1.9 m / s resulting in pattern of three flow patterns ie bubble, plug, and slug. The expansion channel resulted in some changes to the flow pattern that originally plugs in the upstream channel into bubble in the downstream channel and the slug becomes plug. Pressure recovery experimental results compared with the homogeneous model flow equation and Wadle correlation, both correlations have predictions with standard deviation values of 0.32 and 0.43.


2010 ◽  
Vol 75 (3) ◽  
pp. 971-995
Author(s):  
Karen Lange

AbstractWe say a countable model has a 0-basis if the types realized in are uniformly computable. We say has a (d-)decidable copy if there exists a model ≅ such that the elementary diagram of is (d-)computable. Goncharov, Millar, and Peretyat'kin independently showed there exists a homogeneous model with a 0-basis but no decidable copy. We extend this result here. Let d ≤ 0′ be any low2 degree. We show that there exists a homogeneous model with a 0-basis but no d-decidable copy. A degree d is 0-basis homogeneous bounding if any homogenous with a 0-basis has a d-decidable copy. In previous work, we showed that the non low2 Δ20 degrees are 0-basis homogeneous bounding. The result of this paper shows that this is an exact characterization of the 0-basis homogeneous bounding Δ20 degrees.


1998 ◽  
Vol 18 (3-4) ◽  
pp. 207-219 ◽  
Author(s):  
P.K. Bansal ◽  
A.S. Rupasinghe

1990 ◽  
Vol 55 (2) ◽  
pp. 626-636
Author(s):  
John T. Baldwin

AbstractLet T be a complete countable first order theory and λ an uncountable cardinal. Theorem 1. If T is not superstable, T has 2λ resplendent models of power λ. Theorem 2. If T is strictly superstable, then T has at least min(2λ, ℶ2) resplendent models of power λ. Theorem 3. If T is not superstable or is small and strictly superstable, then every resplendent homogeneous model of T is saturated. Theorem 4 (with Knight). For each μ ∈ ω ∪ {ω, 2ω} there is a recursive theory in a finite language which has μ resplendent models of power κ for every infinite κ.


2021 ◽  
Author(s):  
Liqun Jiang ◽  
Ronglin Sun ◽  
Xing Liang

<p>Protection and management of groundwater resources demand high-resolution distributions of hydraulic parameters (e.g., hydraulic conductivity (K) and specific storage (Ss)) of aquifers. In the past, these parameters were obtained by traditional analytical solutions (e.g., Theis (1935) or Cooper and Jacob (1946)). However, traditional methods assume the aquifer to be homogeneous and yield the equivalent parameter, which are averages over a large volume and are insufficient for predicting groundwater flow and solute transport process (Butler & Liu, 1993). For obtaining the aquifer heterogeneity, some scholars have used kriging (e.g., Illman et al., 2010) and hydraulic tomography (HT) (e.g., Yeh & Liu, 2000; Zhu & Yeh, 2005) to describe the K distribution.</p><p>In this study, the laboratory heterogeneous aquifer sandbox is used to investigate the effect of different hydraulic parameter estimation methods on predicting groundwater flow and solute transport process. Conventional equivalent homogeneous model, kriging and HT are used to characterize the heterogeneity of sandbox aquifer. A number of the steady-state head data are collected from a series of single-hole pumping tests in the lab sandbox, and are then used to estimate the K fields of the sandbox aquifer by the steady-state inverse modeling in HT survey which was conducted using the SimSLE algorithm (Simultaneous SLE, Xiang et al., 2009), a built-in function of the software package of VSAFT2. The 40 K core samples from the sandbox aquifer are collected by the Darcy experiments, and are then used to obtain K fields through kriging which was conducted using the software package of Surfer 13. The role of prior information on improving HT survey is then discussed. The K estimates by different methods are used to predict the process of steady-state groundwater flow and solute transport, and evaluate the merits and demerits of different methods, investigate the effect of aquifer heterogeneity on groundwater flow and solute transport.</p><p>According to lab sandbox experiments results, we concluded that compared with kriging, HT can get higher precision to characterize the aquifer heterogeneity and predict the process of groundwater flow and solute transport. The 40 K fields from the K core samples are used as priori information of HT survey can promote the accuracy of K estimates. The conventional equivalent homogeneous model cannot accurately predict the process of groundwater flow and solute transport in heterogeneous aquifer. The enhancement of aquifer heterogeneity will lead to the enhancement of the spatial variability of tracer distribution and migration path, and the dominant channel directly determines the migration path and tracer distribution.</p>


Author(s):  
R. O. Ayeni

AbstractA chain reaction of oxygen (reactant) and hydrogen (active intermediary) with mtrosyl chloride (sensitizer) as a catalyst may be modelled mathematically as a non-isothermal reaction. In this paper we present an asymptotic analysis of a spatially homogeneous model of a non-isothermal branched-chain reaction. Of particular interest is the so-called explosion time and we provide an upper bound for it as a function of the activation energy which can vary over all positive values. We also establish a bound on the temperature when the activation energy is finite.


1995 ◽  
Vol 268 (5) ◽  
pp. F972-F979
Author(s):  
A. Remuzzi ◽  
B. Ene-Iordache

Anatomical studies have demonstrated that the glomerular capillaries are complex and heterogeneous networks. Conventional models of glomerular size selectivity, however, are based on the assumption of simplified geometries. We developed a theoretical model of glomerular size-selective function based on the geometric data obtained in a previous reconstruction of a glomerular network from a normal Munich-Wistar rat. This heterogeneous model was compared with the homogeneous model conventionally used to calculate membrane selective parameters from the fractional clearance of two test solutes, neutral dextran and Ficoll. For both models we assumed a hypothetical log-normal distribution of pore sizes and calculated optimal membrane pore-size parameters using previously published values of fractional clearances. The difference between the sieving coefficients calculated with the two models was negligible, never exceeding 5.5%. Since the homogeneous model does not consider the pressure drop along the glomerular capillary, we also computed fractional clearances with the homogeneous model, assuming the same pressure drop as in the heterogeneous one. The differences in computed fractional clearances using the homogeneous model with and without a pressure drop were less than 1.2%. We concluded that models based on identical capillary networks can therefore be used for interpreting sieving coefficients for macromolecules.


2019 ◽  
Vol 141 (8) ◽  
Author(s):  
Anh Dinh Le ◽  
Junosuke Okajima ◽  
Yuka Iga

In industrial applications, cryogenic liquids are sometimes used as the working fluid of fluid machineries. In those fluids, the thermodynamic suppression effect of cavitation, which is normally ignored in water at room temperature, becomes obvious. When evaporation occurs in the cavitation region, the heat is supplied from the surrounding liquid. Hence, the liquid temperature is decreased, and cavitation is suppressed due to the decrease in saturated vapor pressure. Therefore, the performance of the fluid machinery can be improved. Computational fluid dynamics, which involves the use of a homogeneous model coupled with a thermal transport equation, is a powerful tool for the prediction of cavitation under thermodynamic effects. In this study, a thermodynamic model for a homogeneous model is introduced. In this model, the source term related to the latent heat of phase change appears explicitly, and the degree of heat transfer rate for evaporation and condensation can be adjusted separately to suit the homogeneous model. Our simplified thermodynamic model coupled with the Merkle cavitation model was validated for cryogenic cavitation on a two-dimensional (2D) quarter hydrofoil. The results obtained during the validation showed good agreement (in both pressure and temperature profiles) with the experimental data and were better than existing numerical results obtained by other researchers.


Sign in / Sign up

Export Citation Format

Share Document