Development of the ground model for the Clay-with-flints Formation: adventures in geological boundaries

Author(s):  
U. Lawrence
2021 ◽  
Vol 134 ◽  
pp. 104133
Author(s):  
Bitao Wu ◽  
Yuanlai Zeng ◽  
Zhenwei Zhou ◽  
Gang Wu ◽  
Huaxi Lu

2006 ◽  
Vol 71 (3) ◽  
pp. 1029-1043 ◽  
Author(s):  
Natasha Dobrinen ◽  
Sy-David Friedman

AbstractThis paper investigates when it is possible for a partial ordering ℙ to force Pk(Λ)\V to be stationary in Vℙ. It follows from a result of Gitik that whenever ℙ adds a new real, then Pk(Λ)\V is stationary in Vℙ for each regular uncountable cardinal κ in Vℙ and all cardinals λ ≥ κ in Vℙ [4], However, a covering theorem of Magidor implies that when no new ω-sequences are added, large cardinals become necessary [7]. The following is equiconsistent with a proper class of ω1-Erdős cardinals: If ℙ is ℵ1-Cohen forcing, then Pk(Λ)\V is stationary in Vℙ, for all regular κ ≥ ℵ2and all λ ≩ κ. The following is equiconsistent with an ω1-Erdős cardinal: If ℙ is ℵ1-Cohen forcing, then is stationary in Vℙ. The following is equiconsistent with κ measurable cardinals: If ℙ is κ-Cohen forcing, then is stationary in Vℙ.


2021 ◽  
Vol ahead-of-print (ahead-of-print) ◽  
Author(s):  
Elham Mahmoudi ◽  
Marcel Stepien ◽  
Markus König

PurposeA principle prerequisite for designing and constructing an underground structure is to estimate the subsurface's properties and obtain a realistic picture of stratigraphy. Obtaining direct measure of these values in any location of the built environment is not affordable. Therefore, any evaluation is afflicted with uncertainty, and we need to combine all available measurements, observations and previous knowledge to achieve an informed estimate and quantify the involved uncertainties. This study aims to enhance the geotechnical surveys based on a spatial estimation of subsoil to customised data structures and integrating the ground models into digital design environments.Design/methodology/approachThe present study's objective is to enhance the geotechnical surveys based on a spatial estimation of subsoil to customised data structures and integrating the ground models into digital design environments. A ground model consisting of voxels is developed via Revit-Dynamo to represent spatial uncertainties employing the kriging interpolation method. The local arrangement of new surveys are evaluated to be optimised.FindingsThe visualisation model's computational performance is modified by using an octree structure. The results show that it adapts the structure to be modelled more efficiently. The proposed concept can identify the geological models' risky locations for further geological investigations and reveal an optimised experimental design. The modifications criteria are defined in global and local considerations.Originality/valueIt provides a transparent and repeatable approach to construct a spatial ground model for subsequent experimental or numerical analysis. In the first attempt, the ground model was discretised by a grid of voxels. In general, the required computing time primarily depends on the size of the voxels. This issue is addressed by implementing octree voxels to reduce the computational efforts. This applies especially to the cases that a higher resolution is required. The investigations using a synthetic soil model showed that the developed methodology fulfilled the kriging method's requirements. The effects of variogram parameters, such as the range and the covariance function, were investigated based on some parameter studies. Moreover, a synthetic model is used to demonstrate the optimal experimental design concept. Through the implementation, alternative locations for new boreholes are generated, and their uncertainties are quantified. The impact of the new borehole on the uncertainty measures are quantified based on local and global approaches. For further research to identify the geological models' risky spots, the development of this approach with additional criteria regarding the search neighbourhood and consideration of barriers and trends in real cases (by employing different interpolation methodologies) should be considered.


2012 ◽  
Vol 29 (4) ◽  
pp. 413-422
Author(s):  
Younkyu Kim ◽  
Wesub Eom ◽  
Joo-Hee Lee ◽  
Eun-Sup Sim

Author(s):  
Joshua S. Umansky-Castro ◽  
Kimberly G. Yap ◽  
Mason A. Peck

This paper presents an orbit-to-ground model for the atmospheric entry of ChipSats, gram-scale spacecraft that offer unique advantages over their conventionally larger counterparts. ChipSats may prove particularly useful for in-situ measurements in the upper atmosphere, where spatially and temporally varying phenomena are especially difficult to characterize. Globally distributed ChipSats would enable datasets of unprecedented detail, assuming they could survive. The model presented is used to assess the survival and dispersion of a swarm of ChipSats when deployed over the Earth, Moon, Mars, and Titan. These planetary exploration case studies focus on the Monarch, the newest-generation ChipSat developed at Cornell University, in order to evaluate technology readiness for such missions. A parametric study is then conducted to inform future ChipSat design, highlighting the role of the ballistic coefficient in both peak entry temperature and mission duration.


2007 ◽  
Vol 5 ◽  
Author(s):  
Paul Corazza

We develop the machinery for performing forcing over an arbitrary (possibly non-wellfounded) model of set theory. For consistency results, this machinery is unnecessary since such results can always be legitimately obtained by assuming that the ground model is (countable) transitive. However, for establishing properties of a given (possibly non-wellfounded) model, the fully developed machinery of forcing as a means to produce new related models can be useful. We develop forcing through iterated forcing, paralleling the standard steps of presentation found in [19] and [14].


Sign in / Sign up

Export Citation Format

Share Document