This paper addresses the dynamics of a SHARON reactor, a promising technology for ammonium removal from concentrated wastewater streams. The contraction mapping theorem is used to determine which operating conditions of a SHARON reactor with pH-control result in a unique equilibrium state. However, this approach only identifies the case of very large dilution rates, in practice corresponding with complete biomass wash-out, i.e. with complete loss of biological activity. Practical operation of a SHARON reactor aims at reaching ammonium conversion to nitrite. To identify such interesting operating points, the equilibrium points are subsequently calculated directly in terms of input variables for a simplified SHARON reactor model. The stability of the obtained equilibrium points is assessed and the corresponding phase portraits are analyzed. The influence of slightly varying parameter and input values is investigated as well. 相似文献
We present a Coq-formalized proof that all non-cooperative, sequential games have a Nash equilibrium point. Our proof methodology follows the style advocated by LCF-style theorem provers, i.e., it is based on inductive definitions and is computational in nature. The proof (i) uses simple computational means, only, (ii) basically is by construction, and (iii) reaches a constructively stronger conclusion than informal efforts. We believe the development is a first as far as formalized game theory goes. 相似文献
Istanbul is one of the most famous historical cities in the world. However, the project alignment selected as the best of a range of alignments cannot avoid passing beneath the historical and cultural heritages of Istanbul as well as under ancient and densely inhabited areas of the city. This paper will explain some of the challenges related to the bored tunnels.
Historical buildings are vulnerable. Yet many existing residential and office buildings are old and constructed on minimal foundations. As a consequence, it is vital that any drawdown of groundwater and any ground settlements have to be minimized.
In addition, the connection between the immersed and bored tunnels will be made directly and totally underground, without the usual intermediate shafts and beneath the deep waters of the Bosphorus Strait. This operation needs the utmost control of the tunnel excavation face to ensure its stability and to minimize water ingress. Based on such considerations, tunnel excavation by tunnel boring machine (TBM) using a slurry shield and having the ability to operate under high pore pressures was recommended as the method of excavation for the main running tunnels.
The paper will explain how the design team from Avrasyaconsult – the Employer’s Representative – arrived at the final minimum, specific and functional requirements of the bored tunneling works which are to be carried out using the ‘FIDIC EPC/Turnkey Project’ conditions. 相似文献
A novel methanol-tolerant oxygen-reduction catalyst, Iridium-selenium (Ir-Se) chalcogenide, was synthesized by chemical precipitation in an organic solvent. Auger electron spectroscopy (AES) analysis confirmed that the synthesized Ir-Se chalcogenide had a chemical formula of Ir4Se. This chalcogenide showed strong catalytic activity towards the oxygen reduction reaction (ORR) and a high methanol tolerance. It was found that most of the oxygen could be directly reduced to water through a four-electron pathway with less than 10% hydrogen peroxide (H2O2) being produced during the ORR. The improvement in catalytic activity of the Ir-Se chalcogenide in comparison with that of pure Ir might be attributed to the effect of a bimetallic interaction. 相似文献
Through an ergonomic approach, this study aimed to evaluate whether workers involved in forest harvesting activities in rural properties are subject to the development of work-related diseases, as well as their consequences. A cross-sectional study with 267 forest workers in rural properties in the Brazilian Central region was used. The following evaluations were performed for each of the activities (felling, delimbing, tracing, manual extraction and manual loading): physical workload evaluation; biomechanical evaluation; risk of repetitive strain injuries/work-related musculoskeletal disorders; environmental noise and vibration factors, where relevant, and thermal overload through the Wetbulb Globe Temperature index. The results showed that in general the physical workload was very high, exceeding the cardiovascular load limits and adding to the need for work reorganization. All activities exposed workers to serious and imminent risks of developing injuries to the spine and lower limbs. Likewise, in general the risk of the appearance of RSI/WMSDs was very high for all activities evaluated. Such results are due to the combination of organizational work factors and factors of the work environment such as exposure to bad weather, uneven terrain, lifting and handling loads above tolerable limits, excessive noise and thermal overload. All of this allows to conclude that ergonomic risks and workers’ health hazards in forest harvesting in rural properties are latent and very worrying, and that these workers are exposed to a form of labor exploitation that invariably leads to physical and emotional exhaustion and therefore to their decreased labor capacity and useful working life. 相似文献
Accurate Young's modulus is the necessity for the design of biomedical Ti alloys. A combinatorial method of the diffusion couple, nanoindentation, electron probe microanalysis (EPMA), and CALculation of PHAse Diagrams (CALPHAD) techniques has been utilized to construct the Young's modulus database of Ti alloys with various compositions in the present work. Two groups of body-centered cubic (bcc) Ti–Nb–Zr–Mo quaternary diffusion couples annealed at 1273 K for 25 h were experimentally prepared. Subsequently, the composition-dependent mechanical properties in the wide compositional range of Ti-based alloys were obtained by using EPMA and nanoindentation probes. Finally, on the basis of the measured Young's moduli in the present and previous work and the modeling parameters of Young's modulus of Ti–Nb–Zr system, the Young's modulus database of bcc Ti–Nb–Zr–Mo system was established through the CALPHAD approach. The CALPHAD-type database of bcc Ti–Nb–Zr–Mo system can provide the accurate Young's moduli of Ti alloys with wide compositions. 相似文献