Existing buildings sometimes experience excessive settlement under their design loads or face the prospect of excessive settlement in the future if a change of building use is required and increased foundation loadings will occur. Several methods of foundation enhancement are available to arrest settlements or improve the future performance of existing foundations including the method of underp...

In the previous chapters, various formal testing theories have been discussed. The correctness of an implementation with respect to a model is denoted by a so-called conformance relation. Conformance relations are relations between mathematical abstractions of implementations and models. Based on these conformance relations, different testing strategies have been defined. In this chapter, we co...

Model checking methods based on non-parametric estimation are widely used because of their tractable limiting null distributions and being sensitive to high-frequency oscillation alternative models. However, this kind test suffers from the curse dimensionality, resulting in slow convergence, especially for functional data with infinite dimensional features. In paper, we propose an adaptive-to-m...