The present paper validates two alternative global sensitivity analysis methods, namely variance-based and elementary effect, for the purpose of detecting key subsoil parameters that influence the output of mechanized tunnel finite element simulation. In the elementary effect method, a strategy for considering the dependencies, that result from a set of constraints between different parameters,...

Computational reliability assessment in mechanized tunneling requires realistic numerical models accounting for the uncertainty of geotechnical and tunneling process parameters. For real-time prognoses, surrogate models are in general inevitable to substitute expensive complex numerical simulations. In this paper, different strategies for surrogate modeling in mechanized tunneling simulations a...

An assurance case provides an argument that certain claims (usually concerning safety or other critical properties) are justified, based on given evidence concerning the context, design, and implementation of a system. An assurance case serves two purposes: reasoning and communication. For the first, the argument in the case should approach the standards of mathematical proof (though it may be ...

agricultural mechanization project must be identified in a short time frame to do a certain way; otherwise, cost is not the time to come and will also result in reduced yield. to avoid these costs in farming systems is necessary in any region that agricultural mechanization projects are and scheduling and planning as well as scientific until activities included in the project to fruition are do...

This paper introduces a benchmark problem library for mechanized math technologies including computer algebra and automated theorem proving. The library consists of pre-university math problems taken from exercise problem books, university entrance exams, and the International Mathematical Olympiads. It thus includes problems in various areas of pre-university math and with a variety of difficu...

We propose a thesis defending the following statement: The logical notions of polarity and focusing provide a foundation for dependently typed programming with domain-specific logics, with applications to certified software and mechanized metatheory.

This research project was one of a number concerned with mechanized information retrieval carried out at INSPEC and supported by grants from, originally, the Department of Education and Science's Office for Scientific and Technical Information (OSTI) and, later, the British Library Research and Development Department (BLRDD). The first project, in the period 1967-69, had investigated the perfor...