Test rolling is a quality assessment technique performed on road construction materials to verify consistency prior to paving. In this test, the depth to which the wheels of a heavy vehicle penetrate the material is used as a measure of quality. Current test rolling specifications are based largely on empirical data. In this paper, theoretical models are presented for the case of a test roller ...

Theoretical models for predicting penetration of non-driving (towed) rigid cylindrical wheels rolling on frictional/cohesive soils are presented. The models allow for investigating the influence of soil parameters and wheel geometry on the relationship between the inclined rolling force and wheel sinkage in the presence of permanently formed ruts. The rolling process is simulated numerically in...

Let B ( V ) be the admissible unitary G L 2 Q p -representation associated to two dimensional crystalline Galois representation by -adic Langlands constructed Breuil. Berger and Breuil conjectured an explicit description of locally analytic vectors la which is now proved Liu. Emerton recently studied representations from viewpoint rigid geometry. In this article, we consider certain subgroups g...

We offer a systematic study of rigid analytic motives over general spaces, and we develop their six-functor formalism. A key ingredient is an extended proper base change theorem that are able to justify by reducing the case algebraic motives. In fact, more generally, powerful technique for questions about motives, which likely be useful in other contexts as well. pay special attention establish...

We develop a rigid-analytic theory of relative ampleness for line bundles and record some applications to faithfully flat descent for morphisms and proper geometric objects. The basic definition is fibral, but pointwise arguments from the algebraic and complex-analytic cases do not apply, so we use cohomological properties of formal schemes over completions of local rings on rigid spaces. An an...