34 resultados para Cook-Levin SAT SAT-solver


Relevância:

20.00% 20.00%

Publicador:

Resumo:

The paper is devoted to extending the new efficient frequency-domain method of adjoint Green's function calculation to curvilinear multi-block RANS domains for middle and farfield sound computations. Numerical details of the method such as grids, boundary conditions and convergence acceleration are discussed. Two acoustic source models are considered in conjunction with the method and acoustic modelling results are presented for a benchmark low-Reynolds-number jet case.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A new three-dimensional Navier-Stokes solver for flows in turbomachines has been developed. The new solver is based on the latest version of the Denton codes, but has been implemented to run on Graphics Processing Units (GPUs) instead of the traditional Central Processing Unit (CPU). The change in processor enables an order-of-magnitude reduction in run-time due to the higher performance of the GPU. Scaling results for a 16 node GPU cluster are also presented, showing almost linear scaling for typical turbomachinery cases. For validation purposes, a test case consisting of a three-stage turbine with complete hub and casing leakage paths is described. Good agreement is obtained with previously published experimental results. The simulation runs in less than 10 minutes on a cluster with four GPUs. Copyright © 2009 by ASME.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The modern CFD process consists of mesh generation, flow solving and post-processing integrated into an automated workflow. During the last several years we have developed and published research aimed at producing a meshing and geometry editing system, implemented in an end-to-end parallel, scalable manner and capable of automatic handling of large scale, real world applications. The particular focus of this paper is the associated unstructured mesh RANS flow solver and the porting of it to GPU architectures. After briefly describing the solver itself, the special issues associated with porting codes using unstructured data structures are discussed - followed by some application examples. Copyright © 2011 by W.N. Dawes.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This study examines the kinetics of carbonation by CO2 at temperatures of ca. 750 °C of a synthetic sorbent composed of 15 wt% mayenite (Ca12Al14O33) 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.