Numerical representation of internal waves propagation

Similar to surface waves propagating at the interface of two fluid of different densities (like air and water), internal waves in the oceanic interior travel along surfaces separating waters of different densities (e.g. at the thermocline). Due to their key role in the global distribution of (physical) diapycnal mixing and mass transport, proper representation of internal wave dynamics in numerical models should be considered a priority since global climate models are now configured with increasingly higher horizontal/vertical resolution. However, in most state-of-the-art oceanic models, important terms involved in the propagation of internal waves (namely the horizontal pressure gradient and horizontal divergence in the continuity equation) are generally discretized using very basic numerics (i.e. second-order approximations) in space and time. In this paper, we investigate the benefits of higher-order approximations in terms of the discrete dispersion relation (in the linear theory) on staggered and nonstaggered computational grids. A fourth-order scheme discretized on a C-grid to approximate both pressure gradient and horizontal divergence terms provides clear improvements but, unlike nonstaggered grids, prevents the use of monotonic or non- oscillatory schemes. Since our study suggests that better numerics is required, second and fourth order direct space-time algorithms are designed, thus paving the way toward the use of efficient high-order discretizations of internal gravity waves in oceanic models, while maintaining good sta- bility properties (those schemes are stable for Courant numbers smaller than 1). Finally, important results obtained at a theoretical level are illustrated at a discrete level using two-dimensional (x,z) idealized experiments

Desastres, responsabilidade civil e áreas de preservação permanente: paradoxo do progresso nômade

- Divulgação dos SUMÁRIOS das obras recentemente incorporadas ao acervo da Biblioteca Ministro Oscar Saraiva do STJ. Em respeito à Lei de Direitos Autorais, não disponibilizamos a obra na íntegra.- Localização na estante: 34:504(81) D371

Group Strategyproof Pareto-Stable Marriage with Indifferences via the Generalized Assignment Game

We study the variant of the stable marriage problem in which the preferences of the agents are allowed to include indifferences. We present a mechanism for producing Pareto-stable matchings in stable marriage markets with indifferences that is group strategyproof for one side of the market. Our key technique involves modeling the stable marriage market as a generalized assignment game. We also show that our mechanism can be implemented efficiently. These results can be extended to the college admissions problem with indifferences

Strategy-Proofness and Efficiency with Nonquasi-Linear Preferences: A Characterization of Minimum Price Walrasian Rule

We consider the problems of allocating several heterogeneous objects owned by governments to a group of agents and how much agents should pay. Each agent receives at most one object and has nonquasi-linear preferences. Nonquasi-linear preferences describe environments in which large-scale payments influence agents' abilities to utilize objects or derive benefits from them. The minimum price Walrasian (MPW) rule is the rule that assigns a minimum price Walrasian equilibrium allocation to each preference profile. We establish that the MPW rule is the unique rule that satisfies the desirable properties of strategy-proofness, Pareto-efficiency, individual rationality, and nonnegative payment on the domain that includes nonquasi-linear preferences. This result does not only recommend the MPW rule based on those desirable properties, but also suggest that governments cannot improve upon the MPW rule once they consider them essential. Since the outcome of the MPW rule coincides with that of the simultaneous ascending (SA) auction, our result explains the pervasive use of the SA auction

Modeling of dendrite growth from undercooled nickel melt: sharp interface model versus enthalpy method

The dendritic growth of pure materials in undercooled melts is critical to understanding the fundamentals of solidification. This work investigates two new insights, the first is an advanced definition for the two-dimensional stability criterion of dendritic growth and the second is the viability of the enthalpy method as a numerical model. In both cases, the aim is to accurately predict dendritic growth behavior over a wide range of undercooling. An adaptive cell size method is introduced into the enthalpy method to mitigate against `narrow-band features' that can introduce significant error. By using this technique an excellent agreement is found between the enthalpy method and the analytic theory for solidification of pure nickel

A stable dendritic growth with forced convection: A test of theory using enthalpy-based modeling methods

The theory of stable dendritic growth within a forced convective flow field is tested against the enthalpy method for a single-component nickel melt. The growth rate of dendritic tips and their tip diameter are plotted as functions of the melt undercooling using the theoretical model (stability criterion and undercooling balance condition) and computer simulations. The theory and computations are in good agreement for a broad range of fluid velocities. In addition, the dendrite tip diameter decreases, and its tip velocity increases with increasing fluid velocity