Dynamically typed object-oriented languages enable programmers to write elegant, reusable and extensible programs. However, with the current methodology for program verification, the absence of static type information creates significant overhead. Our proposal is two-fold: First, we propose a layer of abstraction hiding the complexity of dynamic typing when provided with sufficient type informa...

Rock burst is one of the most serious dynamic disasters in process coal resources mining, order to study its occurrence mechanism and characteristics impact on roadways. Based No. 25110 working face Yuejin Mine Yi Coal 21032 return air uphill event Qianqiu Mine, combined with geological conditions, shock location, source waveform, this paper uses numerical simulation inverse response roadway su...

Dynamically typed languages are flexible and impose few burdens on the programmer. In contrast, static typing leads to software that is more efficient and has fewer errors. However, static type systems traditionally require every variable to have one type, and that relationships between types (e.g. subclassing) be declared explicitly. The Whiley language aims to hit a sweet spot between dynamic...

We investigate call-by-value continuation-passing style transforms that pass two continuations. Altering a single variable in the translation of λ-abstraction gives rise to different control operators: first-class continuations; dynamic control; and (depending on a further choice of a variable) either the return statement of C; or Landin’s J-operator. In each case there is an associated simple ...

Abstract Tensor shape mismatch is a common source of bugs in deep learning programs. We propose new type-based approach to detect tensor mismatches. One the main features our best-effort inference. As inference problem undecidable general, we allow static type/shape be performed only manner. If cannot guarantee absence inconsistencies, dynamic checks are inserted into program. Another feature g...

In extra-thick coal seams, mining operations can lead to large-scale disturbances, complex overburden structures, and frequent and strong strata behavior in the stope, which are serious threats to mine safety. This study analyzed the overburden structure and strata behavior and proposed the technique of confined blasting in water-filled deep holes as a measure to prevent strong rock pressure. I...

Precisely describing the formation and evolution rules of coal-rock fracturing crack have great value on reservoir fracturing improvement and highly efficient mining of coal bed methane well. In this paper, a non-linear dynamic method is used to study crack damage evolution behavior of coal-rock fracturing. Considering distribution characteristics of natural cracks in coal-rock, and based on da...

We present an approach to anaphora and ellipsis resolution in which pronouns and elided structures are interpreted by the dynamic identification in discourse of type constraints on their semantic representations. The content of these conditions is recovered in context from an antecedent expression. The constraints define separation types (sub-types) in Property Theory with Curry Typing (PTCT), ...

The design of bit crown is an important part of polycrystalline diamond compact (PDC) bit design, although predecessors have done a lot of researches on the design principles of PDC bit crown, the study of the law about rock-breaking energy consumption according to different bit crown shape is not very systematic, and the mathematical model of design is over-simplified. In order to analyze the ...

OBJECTIVE This study aimed to evaluate and compare the mechanical properties of five commercial core materials using fracture toughness (FT), Knoop hardness number (KHN), diametral tensile strength (DTS), and dynamic elastic moduli (DEM). METHODS Composite material specimens were produced (Rock Core, CosmeCore, ParaCore, MultiCore Flow, and Filtek Supreme Plus). The FT test (n = 15) was perfo...