This paper first analyzes the tilting reasons of a steel-concrete building in Zhangjiakou city in China. Then, a jacking rectification method which combines the pie-cutting method and the excavation of stress release trench was put forward. This analysis method uses the three-dimensional numerical simulation for soil settlement and vertical displacement and internal force of upper structure in ...

A luminescence pulse is observed from laser-created bubbles in pressurized liquid nitrogen and argon, occurring at the first collapse point of the bubble motion. The duration of the light pulse depends linearly on the bubble size, ranging from 200 ns to 1 micros for bubbles with maximum diameters between 0.2 and 1 mm. The spectrum of the light consists entirely of atomic lines, which surprising...

We show how to decompose popular inference algorithms into a set of simple, reusable building blocks corresponding to monad transformers. We define a collection of such building blocks and implement them in Haskell producing a library for constructing inference algorithms in a modular fashion. We are also working towards formalizing those concepts as monadic denotational semantics for inference...

Steel is one of the most important materials for building a wide variety of products. The downside of a wide usage of steel is the energy-intensive production process and the high output of carbon dioxide. In our efforts to make the production of steel more sustainable, we focus on one step of the steel production only, the conversion of raw iron to high quality steel in a Basic Oxygen Furnace ...

Preliminary note The pipes and the pipe walls are of the utmost importance to all power plant facilities. Under exploitation, they are subjected to effects of aggressive media, high temperature corrosion and possible mechanical damage. Consequently, special attention is paid to the control of material properties during the power plant construction in order to minimize the risk of flaws or failu...

Nowadays, thanks to the new manufacturing processes, indentation is becoming an essential part of the new arising processes such as the Incremental Forming Processes. This work presents the experimental validation of the analytical model developed for an indentation-based process. The analytical model is originated from the Upper Bound Theorem application by means of its new modular distributio...

We investigate the fields of definition up to isogeny of the abelian varieties known as building blocks. These varieties are defined as the Q-varieties admitting real or quaternionic multiplications of the maximal possible degree allowed by their dimensions (cf. Pyle (2004)). The Shimura-Taniyama conjecture predicts that every such variety is isogenous to a non-CM simple factor of a modular Jac...