We studied thermophilic sulfate reduction with methanol as electron donor in continuous cultures. Mixed cultures of selected microorganisms were used, representing different methanol degrading pathways followed by various trophic groups of microorganisms. Our results show that direct competition for methanol between a homoacetogen, Moorella thermoautotrophica, and a sulfate reducer, Desulfotoma...

The bearing capacity of a new double ring reducer increases with the increase of load because of the elastic deformation of the gear tooth. In order to solve the problem of its bearing capacity quantificationally, the concept of the maximal bearing capacity is put forward. Starting with that the single tooth bending stress is up to the bending fatigue strength, a mathematical model to determine...

We start by giving a compact representation schema for λ-terms and show how this leads to an exceedingly small and elegant self-interpreter. We then define the notion of a self-reducer, and show how this too can be written as a small λ-term. Both the self-interpreter and the self-reducer are proved correct. We finally give a constructive proof for the second fixed point theorem for the represen...

objectives: the aims of this study were to test whether lightening of the overexposed radiographs improve determination of endodontic files length and whether lightened radiographs are comparable with ideally exposed radiographs. material and methods: four dried human skull coated with soft tissue-equivalent wax used for exposing radiographs of the upper molars. first, the endodontic file was p...

This paper proposed method that combined transmission path analysis (TPA) and empirical mode decomposition (EMD) envelope to solve the vibration problem of an industrial robot. Firstly, deconvolution filter time-domain TPA is trace source along with time variation. Secondly, positioned main robotic under typically different working conditions. Thirdly, independent testing Rotate Vector (RV) red...

A MapReduce algorithm can be described by a mapping schema, which assigns inputs to a set of reducers, such that for each required output there exists a reducer that receives all the inputs that participate in the computation of this output. Reducers have a capacity, which limits the sets of inputs that they can be assigned. However, individual inputs may vary in terms of size. We consider, for...

Objective: To study the fatigue life test of RV reducer. Methods Using Solid Work software based on finite element method, 3D modeling reducer related parts was conducted, and analysis conducted.Results By constructing a model, reducer, corresponding safety factor is more concentrated bearing, between wheel than 15, experiment further verifies effectiveness method to qualification

In this paper, Rotary Vector (RV) reducer as the research object, using Solid Works software to establish a three-dimensional model of RV110-E reducer, and interference check. The key parts were processed flexibly by Abaqus, flexible body was imported into Adams rigid-flexible coupling dynamics RV reducer. Through simulation analysis, contact stress curve components is obtained, influencing fac...

Around 75% of patients with severe pulmonary insufficiency requiring valvular replacement are excluded from percutaneous pulmonary valve implantation (PPVI) due to a large ventricular outflow tract. To extend the indication of PPVI to these patients, a new size reducer has been designed. This 35-mm size reducer was successfully deployed inside the main pulmonary artery through a 21-Fr delivery ...