Based on space temperature field test in solid tower of extradosed cable-stayed bridge, the method to calculate the space temperature field in solid concrete bridge tower is put forward systematically. By defining a series of meteorological parameters and concrete thermal parameters, the bridge tower temperature distribution is gotten. Compared with the experimental data, error is found within ...

We examine the “homotopy coniveau tower” for a general cohomology theory on smooth k-schemes, satisfying some natural axioms, and give a new proof that the layers of this tower for K-theory agree with motivic cohomology. We show how these constructions lead to a tower of functors on the Morel-Voevodsky stable homotopy category, and identify this stable homotopy coniveau tower with Voevodsky’s s...

In steam power plants, any improvement in the cooling towers thermal performance will cause the condenser's temperature to decrease; which in turn enhances the power plant's efficiency. Due to water shortage, many power plants all around the world rely on natural draft dry cooling towers (Heller type). In these cooling towers, condenser's exit hot water is pumped to vertical or horizontal finne...

We prove that every tower of normal filters of height δ (δ supercompact) is precipitous assuming that each normal filter in the tower is the club filter restricted to a stationary set. We give an example to show that this assumption is necessary. We also prove that every normal filter can be generically extended to a well-founded V -ultrafilter (assuming large cardinals). In this paper we inves...

Based on preliminary assumptions and analysis, mathematical models have been used to estimate the behavior of the fires in the twin towers of the World Trade Center (WTC) on September 11, 2001. The hijacked-plane collision with each tower produced significant structural damage, generated a spectacular external fireball, and started burning within the tower. The fuel consumed by the fireball was...

The aim of the current study is to develop a numerical tool that is capable of achieving an optimum shape and design of hyperbolic cooling towers based on coupling a non-linear finite element model developed in-house and a genetic algorithm optimization technique. The objective function is set to be the minimum weight of the tower. The geometric modeling of the tower is represented by means of ...

In this paper, Hop eld neural networks have been considered in solving tower of Hanoi test which is used in determining of de cit of planning capability of human prefrontal cortex. The main di erence of this work from the ones in the literature which use neural networks, is: The tower of Hanoi problem has been formulated here as a special shortest path problem. In the literature, some Hop eld n...

A way to see this work is how it connects existing elements. The goal is not so much to invent all new things, but to compose a new meaningful whole of different elements so that they will complement each other in novel ways. There are already massively multi-player on-line roleplaying games (mmorpg), where people participate in different worlds. Also, there are public displays with which peopl...

CPU speeds are increasing at a much faster rate than secondary storage device speeds. Many important applications face an I/O bottleneck. We demonstrate that this bottleneck can be alleviated through 1) scalable striping of data and 2) caching/prefetching techniques. This paper describes the design and performance of the Tower of Pizzas (TOPs), a portable software system providing parallel I/O ...

Macros are re ective tools that operate on the representation of programs. Though having been used, and still being useful, for more than thirty years, their semantics and pragmatics are still unclear. This paper proposes a new model to understand the macroexpansion process; this model is based on a re ective tower of macroexpansion engines.