A Numerical Study for Turbulent Flow and Thermal Influence Over Inhomogenous Canopy of Roughness Elements

A large-eddy simulation with transitional structure function(TSF) subgrid model we previously proposed was performed to investigate the turbulent flow with thermal influence over an inhomogeneous canopy, which was represented as alternative large and small roughness elements. The aerodynamic and thermodynamic effects of the presence of a layer of large roughness elements were modelled by adding a drag term to the three-dimensional Navier-Stokes equations and a heat source/sink term to the scalar equation, respectively. The layer of small roughness elements was simply treated using the method as described in paper (Moeng 1984, J. Atmos Sci. 41, 2052-2062) for homogeneous rough surface. The horizontally averaged statistics such as mean vertical profiles of wind velocity, air temperature, et al., are in reasonable agreement with Gao et al.(1989, Boundary layer meteorol. 47, 349-377) field observation (homogeneous canopy). Not surprisingly, the calculated instantaneous velocity and temperature fields show that the roughness elements considerably changed the turbulent structure within the canopy. The adjustment of the mean vertical profiles of velocity and temperature was studied, which was found qualitatively comparable with Belcher et al. (2003, J Fluid Mech. 488, 369-398)'s theoretical results. The urban heat island(UHI) was investigated imposing heat source in the region of large roughness elements. An elevated inversion layer, a phenomenon often observed in the urban area (Sang et al., J Wind Eng. Ind. Aesodyn. 87, 243-258)'s was successfully simulated above the canopy. The cool island(CI) was also investigated imposing heat sink to simply model the evaporation of plant canopy. An inversion layer was found very stable and robust within the canopy.

Size effects in the constrained deformation of metallic foams

The constrained deformation of an aluminium alloy foam sandwiched between steel substrates has been investigated. The sandwich plates are subjected to through-thickness shear and normal loading, and it is found that the face sheets constrain the foam against plastic deformation and result in a size effect: the yield strength increases with diminishing thickness of foam layer. The strain distribution across the foam core has been measured by a visual strain mapping technique, and a boundary layer of reduced straining was observed adjacent to the face sheets. The deformation response of the aluminium foam layer was modelled by the elastic-plastic finite element analysis of regular and irregular two dimensional honeycombs, bonded to rigid face sheets; in the simulations, the rotation of the boundary nodes of the cell-wall beam elements was set to zero to simulate full constraint from the rigid face sheets. It is found that the regular honeycomb under-estimates the size effect whereas the irregular honeycomb provides a faithful representation of both the observed size effect and the observed strain profile through the foam layer. Additionally, a compressible version of the Fleck-Hutchinson strain gradient theory was used to predict the size effect; by identifying the cell edge length as the relevant microstructural length scale the strain gradient model is able to reproduce the observed strain profiles across the layer and the thickness dependence of strength. © 2002 Elsevier Science Ltd. All rights reserved.

Relay node placement for wireless sensor networks deployed in tunnels

Node placement plays a significant role in the effective and successful deployment of Wireless Sensor Networks (WSNs), i.e., meeting design goals such as cost effectiveness, coverage, connectivity, lifetime and data latency. In this paper, we propose a new strategy to assist in the placement of Relay Nodes (RNs) for a WSN monitoring underground tunnel infrastructure. By applying for the first time an accurate empirical mean path loss propagation model along with a well fitted fading distribution model specifically defined for the tunnel environment, we address the RN placement problem with guaranteed levels of radio link performance. The simulation results show that the choice of appropriate path loss model and fading distribution model for a typical environment is vital in the determination of the number and the positions of RNs. Furthermore, we adapt a two-tier clustering multi-hop framework in which the first tier of the RN placement is modelled as the minimum set cover problem, and the second tier placement is solved using the search-and-find algorithm. The implementation of the proposed scheme is evaluated by simulation, and it lays the foundations for further work in WSN planning for underground tunnel applications. © 2010 IEEE.

Convective heat dissipation with lattice-frame materials

This paper presents experimental results on heat transfer and pressure drop for a compact heat sink made of fully triangulated, lightweight (porosity∼0.938), aluminum lattice-frame materials (LFMs). Due to the inherent structural anisotropy of the LFMs, two mutually perpendicular orientations were selected for the measurements. Constant heat flux was applied to the heat sink under steady state conditions, and dissipated by forced air convection. The experimental data were compared with those predicted from an analytical model based on fin analogy. The experimental results revealed that pressure drop is strongly dependent upon the orientation of the structure, due mainly to the flow blockage effect. For heat transfer measurements, typical local temperature distributions on the substrate under constant heat flux conditions were captured with infrared camera. The thermal behavior of LFMs was found to follow closely that of cylinder banks, with early transition Reynolds number (based on strut diameter) equal to about 300. The Nusselt number prediction from the fin-analogy correlates well with experimental measurements, except at low Reynolds numbers where a slightly underestimation is observed. Comparisons with empty channels and commonly used heat exchanger media show that the present LFM heat sink can remove heat approximately seven times more efficient than an empty channel and as efficient as a bank of cylinders at the same porosity level. The aluminum LFMs are extremely stiff and strong, making them ideal candidates for multifunctional structures requiring both heat dissipation and mechanical load carrying capabilities. © 2003 Elsevier Ltd. All rights reserved.

Size Effect and Geometrical Effect of Solids in Micro-Indentation Test

Micro-indentation tests at scales of the order of sub-micron show that the measured hardness increases strongly with decreasing indent depth or indent size, which is frequently referred to as the size effect. At the same time, at micron or sub-micron scale, another effect, which is referred to as the geometrical size effects such as crystal grain size effect, thin film thickness effect, etc., also influences the measured material hardness. However, the trends are at odds with the size-independence implied by the conventional elastic-plastic theory. In the present research, the strain gradient plasticity theory (Fleck and Hutchinson) is used to model the composition effects (size effect and geometrical effect) for polycrystal material and metal thin film/ceramic substrate systems when materials undergo micro-indenting. The phenomena of the "pile-up" and "sink-in" appeared in the indentation test for the polycrystal materials are also discussed. Meanwhile, the micro-indentation experiments for the polycrystal Al and for the Ti/Si_3N_4 thin film/substrate system are carried out. By comparing the theoretical predictions with experimental measurements, the values and the variation trends of the micro-scale parameter included in the strain gradient plasticity theory are predicted.

Nanoindentation of thin-film-substrate system: Determination of film hardness and Young's modulus

In the present paper, the hardness and Young's modulus of film-substrate systems are determined by means of nanoindentation experiments and modified models. Aluminum film and two kinds of substrates; i.e. glass and silicon, are studied. Nanoindentation XP II and continuous stiffness mode are used during the experiments. In order to avoid the influence of the Oliver and Pharr method used in the experiments, the experiment data are analyzed with the constant Young's modulus assumption and the equal hardness assumption. The volume fraction model (CZ model) proposed by Fabes et al. (1992) is used and modified to analyze the measured hardness. The method proposed by Doerner and Nix (DN formula) (1986) is modified to analyze the measured Young's modulus. Two kinds of modified empirical formula are used to predict the present experiment results and those in the literature, which include the results of two kinds of systems, i.e., a soft film on a hard substrate and a hard film on a soft substrate. In the modified CZ model, the indentation influence angle, phi, is considered as a relevant physical parameter, which embodies the effects of the indenter tip radius, pile-up or sink-in phenomena and deformation of film and substrate.

MD simulation of the effect of contact area and tip radius on nanoindentation

Molecular dynamics simulations of nanoindentation are performed on monocrystal copper. A new "contact atoms" method is presented for calculating the contact area. Compared with conventional methods, this method can provide the contact area more accurately not only for sink-in but also for pile-up situation. The effect of tip radius on indentation is investigated too. The results indicate that the measured hardness of the material will become higher as the tip radius increases.

La Iglesia Católica y la democracia : presupuestos históricos, teológicos y filosóficos

El autor reflexiona sobre las relaciones entre democracia y catolicismo, haciendo especial hincapié en las tensiones vividas en nuestro país. En tal dirección, el autor considera que tal relación ha estado atravesada por una desconfianza mutua, por lo cual desentrañar algunos de los nudos de esta complicada relación, afirma Bosca, más aún, diagnosticar la etiología de esas insalubridades puede arrojar alguna luz que permita comprender mejor una materia surcada de equívocos, confusiones y malentendidos, que más de una vez se han convertido en factores de tragedia. No obstante, el autor afirma que el análisis de lo religioso en su relación con lo político no debe prescindir de su naturaleza sobrenatural, a fin de que no quede reducido a un abordaje meramente sociológico, histórico o político.

Collapsed isoparametric element as a singular element for a crack normal to the bi-material interface

It is shown that the variable power singularity of the strain field at the crack tip can be obtained by the simple technique of collapsing quadrilateral isoparametric elements into triangular elements around the crack tip and adequately shifting the side-nodes adjacent to this crack tip. The collapsed isoparametric elements have the desired singularity at crack tip along any ray. The strain expressions for a single element have been derived and in addition to the desired power singularity, additional singularities are revealed. Numerical examples have shown that triangular elements formed by collapsing one side lead to excellent results.

The hydrography of Elkhorn Slough: a shallow California coastal Eebayment: Annual Report, Part 2, 1973

From October 1970 through February 1972, temperature, salinity, dissolved oxygen, secchi depth and five major nutrients were observed at approximately monthly intervals in Elkhorn Slough and Moss Landing Harbor. In addition, similar hourly observations were made during two tidal studies during the wet and dry seasons. From the salinity measurements during the summer, a salt balance for Elkhorn Slough is formulated and rnean eddy diffusion coefficients are determined. The diffusion nlodel applied to longitudinal phosphate distributions yielded a mean diffusive flux of 12 kg P04/day (140 pg-at/m^2/day) for the area above the mean tidal prism. Consistent differences, apparently due to differing regenerati on ra tes, were observed in the phosphate and nitrogen distributions. Bottom sediments are proposed as a possible source for phosphate and as a sink for fixed nitrogen. Dairy farms located along central Elkhorn Slough are apparently a source for reduced nitrogen. During summer, nitrogen was found to be the limiting nutrient for primary production in the upper slough. Tidal observations indicated fresh water of high nutrient concentration consistently entered the harbor from fresh water sources to the south. This source water had a probable phosphate concentration of 40 to 60 ug-at/l and seasonally varying P:N ratio of 1:16 and 1:5 during the winter and summer respectively. Net production and respiration rates are calculated from diurnal variations in dissolved oxygen levels observed in upper Elkhorn Slough. Changes in phosphate associated with the variations in oxygen was close to the accepted ratio of 1:276 by atoms. Document is 88 pages.

The Metabolic Core and Catalytic Switches Are Fundamental Elements in the Self-Regulation of the Systemic Metabolic Structure of Cells

19 p.

Numerical-Value Perturbation Method with Application of Solving Convective-Diffusion Integral Equation

The convective--diffusion equation is of primary importance in such fields as fluid dynamics and heat transfer hi the numerical methods solving the convective-diffusion equation, the finite volume method can use conveniently diversified grids (structured and unstructured grids) and is suitable for very complex geometry The disadvantage of FV methods compared to the finite difference method is that FV-methods of order higher than second are more difficult to develop in three-dimensional cases. The second-order central scheme (2cs) offers a good compromise among accuracy, simplicity and efficiency, however, it will produce oscillatory solutions when the grid Reynolds numbers are large and then very fine grids are required to obtain accurate solution. The simplest first-order upwind (IUW) scheme satisfies the convective boundedness criteria, however. Its numerical diffusion is large. The power-law scheme, QMCK and second-order upwind (2UW) schemes are also often used in some commercial codes. Their numerical accurate are roughly consistent with that of ZCS. Therefore, it is meaningful to offer higher-accurate three point FV scheme. In this paper, the numerical-value perturbational method suggested by Zhi Gao is used to develop an upwind and mixed FV scheme using any higher-order interpolation and second-order integration approximations, which is called perturbational finite volume (PFV) scheme. The PFV scheme uses the least nodes similar to the standard three-point schemes, namely, the number of the nodes needed equals to unity plus the face-number of the control volume. For instanc6, in the two-dimensional (2-D) case, only four nodes for the triangle grids and five nodes for the Cartesian grids are utilized, respectively. The PFV scheme is applied on a number of 1-D problems, 2~Dand 3-D flow model equations. Comparing with other standard three-point schemes, The PFV scheme has much smaller numerical diffusion than the first-order upwind (IUW) scheme, its numerical accuracy are also higher than the second-order central scheme (2CS), the power-law scheme (PLS), the QUICK scheme and the second-order upwind(ZUW) scheme.

Power analysis for detecting trends in juvenile spotted seatrout abundance in Florida Bay

The spotted seatrout (Cynoscion nebulosus) is considered a key species relative to the implementation of the Comprehensive Everglades Restoration Plan (CERP). One of the goals of the CERP is to increase freshwater flows to Florida Bay. Increased freshwater flows can have potential positive and negative impacts on spotted seatrout populations. At low salinities, the planktonic eggs of spotted seatrout sink to the bottom and are not viable (Alshuth and Gilmore, 1994; Holt and Holt, 2002). On the other hand, increased freshwater flows can alleviate hypersaline conditions that could result in an expansion of the distribution of the early life stages of spotted seatrout (Thayer et al., 1999; Florida Department of Environmental Protection1). Thus it would be useful to develop a monitoring program that can detect changes in seatrout abundance on time scales short enough to be useful to resource managers. The NOAA Center for Coastal Fisheries and Habitat Research (NOAA) has made sporadic collections of juvenile seatrout using otter trawls since 1984 (see Powell et al, 2004). The results suggest that it might be useful to sample for seatrout in as many as eight different areas or basins (Figure 1): Bradley Key, Sandy Key, Johnson Key, Palm Key, Snake Bight, Central, Whipray and Crocodile Dragover. Unfortunately, logistical constraints are likely to limit the number of tows to about 40 per month over a period of six months each year. Inasmuch as few seatrout are caught in any given tow and the proportion of tows with zero seatrout is often high, it is important to determine how best to allocate this limited sampling effort among the various basins so that any trends in abundance may be detected with sufficient statistical confidence. (PDF contains 16 pages)

Invariant-free deduction systems for temporal logic

In this thesis we propose a new approach to deduction methods for temporal logic. Our proposal is based on an inductive definition of eventualities that is different from the usual one. On the basis of this non-customary inductive definition for eventualities, we first provide dual systems of tableaux and sequents for Propositional Linear-time Temporal Logic (PLTL). Then, we adapt the deductive approach introduced by means of these dual tableau and sequent systems to the resolution framework and we present a clausal temporal resolution method for PLTL. Finally, we make use of this new clausal temporal resolution method for establishing logical foundations for declarative temporal logic programming languages. The key element in the deduction systems for temporal logic is to deal with eventualities and hidden invariants that may prevent the fulfillment of eventualities. Different ways of addressing this issue can be found in the works on deduction systems for temporal logic. Traditional tableau systems for temporal logic generate an auxiliary graph in a first pass.Then, in a second pass, unsatisfiable nodes are pruned. In particular, the second pass must check whether the eventualities are fulfilled. The one-pass tableau calculus introduced by S. Schwendimann requires an additional handling of information in order to detect cyclic branches that contain unfulfilled eventualities. Regarding traditional sequent calculi for temporal logic, the issue of eventualities and hidden invariants is tackled by making use of a kind of inference rules (mainly, invariant-based rules or infinitary rules) that complicates their automation. A remarkable consequence of using either a two-pass approach based on auxiliary graphs or aone-pass approach that requires an additional handling of information in the tableau framework, and either invariant-based rules or infinitary rules in the sequent framework, is that temporal logic fails to carry out the classical correspondence between tableaux and sequents. In this thesis, we first provide a one-pass tableau method TTM that instead of a graph obtains a cyclic tree to decide whether a set of PLTL-formulas is satisfiable. In TTM tableaux are classical-like. For unsatisfiable sets of formulas, TTM produces tableaux whose leaves contain a formula and its negation. In the case of satisfiable sets of formulas, TTM builds tableaux where each fully expanded open branch characterizes a collection of models for the set of formulas in the root. The tableau method TTM is complete and yields a decision procedure for PLTL. This tableau method is directly associated to a one-sided sequent calculus called TTC. Since TTM is free from all the structural rules that hinder the mechanization of deduction, e.g. weakening and contraction, then the resulting sequent calculus TTC is also free from this kind of structural rules. In particular, TTC is free of any kind of cut, including invariant-based cut. From the deduction system TTC, we obtain a two-sided sequent calculus GTC that preserves all these good freeness properties and is finitary, sound and complete for PLTL. Therefore, we show that the classical correspondence between tableaux and sequent calculi can be extended to temporal logic. The most fruitful approach in the literature on resolution methods for temporal logic, which was started with the seminal paper of M. Fisher, deals with PLTL and requires to generate invariants for performing resolution on eventualities. In this thesis, we present a new approach to resolution for PLTL. The main novelty of our approach is that we do not generate invariants for performing resolution on eventualities. Our method is based on the dual methods of tableaux and sequents for PLTL mentioned above. Our resolution method involves translation into a clausal normal form that is a direct extension of classical CNF. We first show that any PLTL-formula can be transformed into this clausal normal form. Then, we present our temporal resolution method, called TRS-resolution, that extends classical propositional resolution. Finally, we prove that TRS-resolution is sound and complete. In fact, it finishes for any input formula deciding its satisfiability, hence it gives rise to a new decision procedure for PLTL. In the field of temporal logic programming, the declarative proposals that provide a completeness result do not allow eventualities, whereas the proposals that follow the imperative future approach either restrict the use of eventualities or deal with them by calculating an upper bound based on the small model property for PLTL. In the latter, when the length of a derivation reaches the upper bound, the derivation is given up and backtracking is used to try another possible derivation. In this thesis we present a declarative propositional temporal logic programming language, called TeDiLog, that is a combination of the temporal and disjunctive paradigms in Logic Programming. We establish the logical foundations of our proposal by formally defining operational and logical semantics for TeDiLog and by proving their equivalence. Since TeDiLog is, syntactically, a sublanguage of PLTL, the logical semantics of TeDiLog is supported by PLTL logical consequence. The operational semantics of TeDiLog is based on TRS-resolution. TeDiLog allows both eventualities and always-formulas to occur in clause heads and also in clause bodies. To the best of our knowledge, TeDiLog is the first declarative temporal logic programming language that achieves this high degree of expressiveness. Since the tableau method presented in this thesis is able to detect that the fulfillment of an eventuality is prevented by a hidden invariant without checking for it by means of an extra process, since our finitary sequent calculi do not include invariant-based rules and since our resolution method dispenses with invariant generation, we say that our deduction methods are invariant-free.

Magnitude and extent of sediment toxicity in selected estuaries of South Carolina and Georgia

Toxic chemicals can enter the marine environment through numerous routes: stormwater runoff, industrial point source discharges, municipal wastewater discharges, atmospheric deposition, accidental spills, illegal dumping, pesticide applications and agricultural practices. Once they enter a receiving system, toxicants often become bound to suspended particles and increase in density sufficiently to sink to the bottom. Sediments are one of the major repositories of contaminants in aquatic envronments. Furthermore, if they become sufficiently contaminated sediments can act as sources of toxicants to important biota. Sediment quality data are direct indicators of the health of coastal aquatic habitats. Sediment quality investigations conducted by the National Oceanic and Atmospheric Administration (NOAA) and others have indicated that toxic chemicals are found in the sediments and biota of some estuaries in South Carolina and Georgia (NOAA, 1992). This report documents the toxicity of sediments collected within five selected estuaries: Savannah River, Winyah Bay, Charleston Harbor, St. Simons Sound, and Leadenwah Creek (Figure 1). (PDF contains 292 pages)