Rapid development of engineering activities expands through a variety of rock engineering processes such as drilling, blasting, mining and mineral processing. These activities require rock dynamic fracture mechanics method to characterize the rock behavior. Dynamic fracture toughness is an important parameter for the analysis of engineering structures under dynamic loading. Several experimental...

The dynamic response mechanism of the rock fragmentation and its influential factors by TBM disc cutter are studied in this paper. Firstly, a dynamic response model is established based on the fracture mechanics and finite element theory. Secondly, a fragmentation rule is founded according to the dynamic response model, and then numerical simulations for dynamic response of rock are carried out...

We study dynamic typing in continuation of Henglein’s dynamically typed λ-calculus, with particular regard to proof theoretic aspects and aspects of polymorphic completion inference. Dynamically typed λ-calculus provides a formal framework within which we can reason in a precise manner about properties of the process of completion for higher order programming languages. Completions arise from r...

Automatic processing of shape information requires the selection of a representation form of shape. Shape modeling is based on a choice of shape type, which is the joint specification of representation form and a set of operations. In shape applications, such as shape design and shape optimization, it is not sufficient to maintain a static shape type. Depending on the specific needs during the ...

Static and dynamic type systems have well-known strengths and weaknesses, and each is better suited for different programming tasks. There have been many efforts to integrate static and dynamic typing and thereby combine the benefits of both typing disciplines in the same language. The flexibility of static typing can be improved by adding a type Dynamic and a typecase form. The safety and perf...

To investigate the variation in the characteristics of rock microstructure after cyclic dynamic disturbances, a split Hopkinson pressure bar (SHPB) was used to carry out cyclic dynamic impact tests on granite, and the P-wave velocity was used as the characteristic parameter representing the microstructural change. Using the nuclear magnetic resonance (NMR) technique, the porosity and the T2 dis...

This project will analyze and test the accuracy of dynamic typing pattern authentication methods. The program will generate a dynamic set of text that the user will be prompted to type, and then it will feed the user’s typing characteristics through neural network structures. Experimentation will be done to determine the most accurate neural network structures and data collection conditions. Th...