Geometry with its formal, logical and spatial properties is well suited to be taught in an environment that includes dynamic geometry software (DGSs), geometry automated theorem provers (GATPs) and repositories of geometric problems (RGPs). With the integration of those tools in a given learning environment the student is able to explore the built-in knowledge, but also to do new constructions,...

One of the main tasks of engineers is to design structural systems light and economic as possible, yet resistant enough to withstand all possible loads arising during their service life and to absorb the induced seismic energy in a controlled and predictable fashion. The traditional trial-and-error design approach is not capable to determine an economical design satisfying also the code require...

there are several varieties of edge detection method. edge detection and edge enhancement techniques play an essential role in interpreting potential field data. some of common methods are: tilt angle filter (ta), total horizontal derivative of tilt angle filter (thdt), theta filter, tdx filter, hyperbolic tilt angle (hta). these filters maximum values are when facing with the edge of an anomal...

In sparse-angle X-ray tomography reconstruction, where only a small number of projection images are taken around the object, appropriate sinogram interpolation has a significant impact on image quality. A novel sinogram interpolation method is introduced for extreme sparse tomographic reconstruction where only nine measured projection images are available. The sinogram is interpolated by solvin...

Aiming at the influence factors and their action regulation of slope stability in coal measure strata Beijing–Hong Kong & Macao Expressway, characteristics injection dip angle rock stratum, thickness strength parameters soft interlayer, height size on safety factor are systematically studied by using limit equilibrium method theory. The height, weak interlayer shear with different angle...