34 resultados para Cook-Levin SAT SAT-solver


Relevância:

20.00% 20.00%

Publicador:

Resumo:

This study examines the kinetics of carbonation by CO 2 at temperatures of ca. 750°C of a synthetic sorbent composed of 15wt% mayenite (Ca 12Al 14O 33) and CaO, designated HA-85-850, and draws comparisons with the carbonation of a calcined limestone. In-situ XRD has verified the inertness of mayenite, which neither interacts with the active CaO nor does it significantly alter the CaO carbonation-calcination equilibrium. An overlapping grain model was developed to predict the rate and extent of carbonation of HA-85-850 and limestone. In the model, the initial microstructure of the sorbent was defined by a discretised grain size distribution, assuming spherical grains. The initial input to the model - the size distribution of grains - was a fitted parameter, which was in good agreement with measurements made with mercury porosimetry and by the analysis of SEM images of sectioned particles. It was found that the randomly overlapping spherical grain assumption offered great simplicity to the model, despite its approximation to the actual porous structure within a particle. The model was able to predict the performance of the materials well and, particularly, was able to account for changes in rate and extent of reaction as the structure evolved after various numbers of cycles of calcination and carbonation. © 2011 Elsevier Ltd.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In dynamic centrifuge modelling, fluids with enhanced viscosity are often used to correct for the discrepancy in time scaling. However, great care must be taken when using a high viscosity fluid that hydraulic gradients during saturation do not become high enough to cause excessive model disturbance. This paper introduces the CAM-Sat system which aims to improve the saturation process by continually controlling the fluid flow into the model, limiting it to rates low enough to avoid model disturbance. A new method for measuring the fluid flow rate is then described, and its implementation & improvement to the system is discussed. © 2010 Taylor & Francis Group, London.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In recent years we have been developing a meshing system which is aimed at eliminating the bottleneck represented by building meshes for real-world, complex turbomachinery configurations. This system is based on a rapid octree meshing technology which is then made conformal to the bodies present. The objective of this paper is to demonstrate that this class of mesh is not only very fast to produce but also fit-for-purpose in the sense that simulations generated with third-party commercial flow solvers like Fluent have the same accuracy as those performed on more conventional meshes. A range of standard examples and test cases will be presented. Copyright © 2011 by ASME.