977 resultados para Cook-Levin SAT SAT-solver
Resumo:
131 p.: graf.
Resumo:
It has long been recognized that many direct parallel tridiagonal solvers are only efficient for solving a single tridiagonal equation of large sizes, and they become inefficient when naively used in a three-dimensional ADI solver. In order to improve the parallel efficiency of an ADI solver using a direct parallel solver, we implement the single parallel partition (SPP) algorithm in conjunction with message vectorization, which aggregates several communication messages into one to reduce the communication costs. The measured performances show that the longest allowable message vector length (MVL) is not necessarily the best choice. To understand this observation and optimize the performance, we propose an improved model that takes the cache effect into consideration. The optimal MVL for achieving the best performance is shown to depend on number of processors and grid sizes. Similar dependence of the optimal MVL is also found for the popular block pipelined method.
Resumo:
329 p.
Resumo:
This thesis presents a new approach for the numerical solution of three-dimensional problems in elastodynamics. The new methodology, which is based on a recently introduced Fourier continuation (FC) algorithm for the solution of Partial Differential Equations on the basis of accurate Fourier expansions of possibly non-periodic functions, enables fast, high-order solutions of the time-dependent elastic wave equation in a nearly dispersionless manner, and it requires use of CFL constraints that scale only linearly with spatial discretizations. A new FC operator is introduced to treat Neumann and traction boundary conditions, and a block-decomposed (sub-patch) overset strategy is presented for implementation of general, complex geometries in distributed-memory parallel computing environments. Our treatment of the elastic wave equation, which is formulated as a complex system of variable-coefficient PDEs that includes possibly heterogeneous and spatially varying material constants, represents the first fully-realized three-dimensional extension of FC-based solvers to date. Challenges for three-dimensional elastodynamics simulations such as treatment of corners and edges in three-dimensional geometries, the existence of variable coefficients arising from physical configurations and/or use of curvilinear coordinate systems and treatment of boundary conditions, are all addressed. The broad applicability of our new FC elasticity solver is demonstrated through application to realistic problems concerning seismic wave motion on three-dimensional topographies as well as applications to non-destructive evaluation where, for the first time, we present three-dimensional simulations for comparison to experimental studies of guided-wave scattering by through-thickness holes in thin plates.
Resumo:
The initial probabilities of activated, dissociative chemisorption of methane and ethane on Pt(110)-(1 x 2) have been measured. The surface temperature was varied from 450 to 900 K with the reactant gas temperature constant at 300 K. Under these conditions, we probe the kinetics of dissociation via trapping-mediated (as opposed to 'direct') mechanism. It was found that the probabilities of dissociation of both methane and ethane were strong functions of the surface temperature with an apparent activation energies of 14.4 kcal/mol for methane and 2.8 kcal/mol for ethane, which implys that the methane and ethane molecules have fully accommodated to the surface temperature. Kinetic isotope effects were observed for both reactions, indicating that the C-H bond cleavage was involved in the rate-limiting step. A mechanistic model based on the trapping-mediated mechanism is used to explain the observed kinetic behavior. The activation energies for C-H bond dissociation of the thermally accommodated methane and ethane on the surface extracted from the model are 18.4 and 10.3 kcal/mol, respectively.
The studies of the catalytic decomposition of formic acid on the Ru(001) surface with thermal desorption mass spectrometry following the adsorption of DCOOH and HCOOH on the surface at 130 and 310 K are described. Formic acid (DCOOH) chemisorbs dissociatively on the surface via both the cleavage of its O-H bond to form a formate and a hydrogen adatom, and the cleavage of its C-O bond to form a carbon monoxide, a deuterium adatom and an hydroxyl (OH). The former is the predominant reaction. The rate of desorption of carbon dioxide is a direct measure of the kinetics of decomposition of the surface formate. It is characterized by a kinetic isotope effect, an increasingly narrow FWHM, and an upward shift in peak temperature with Ɵ_T, the coverage of the dissociatively adsorbed formic acid. The FWHM and the peak temperature change from 18 K and 326 K at Ɵ_T = 0.04 to 8 K and 395 K at Ɵ_T = 0.89. The increase in the apparent activation energy of the C-D bond cleavage is largely a result of self-poisoning by the formate, the presence of which on the surface alters the electronic properties of the surface such that the activation energy of the decomposition of formate is increased. The variation of the activation energy for carbon dioxide formation with Ɵ_T accounts for the observed sharp carbon dioxide peak. The coverage of surface formate can be adjusted over a relatively wide range so that the activation energy for C-D bond cleavage in the case of DCOOH can be adjusted to be below, approximately equal to, or well above the activation energy for the recombinative desorption of the deuterium adatoms. Accordingly, the desorption of deuterium was observed to be governed completely by the desorption kinetics of the deuterium adatoms at low Ɵ_T, jointly by the kinetics of deuterium desorption and C-D bond cleavage at intermediate Ɵ_T, and solely by the kinetics of C-D bond cleavage at high Ɵ_T. The overall branching ratio of the formate to carbon dioxide and carbon monoxide is approximately unity, regardless the initial coverage Ɵ_T, even though the activation energy for the production of carbon dioxide varies with Ɵ_T. The desorption of water, which implies C-O bond cleavage of the formate, appears at approximately the same temperature as that of carbon dioxide. These observations suggest that the cleavage of the C-D bond and that of the C-O bond of two surface formates are coupled, possibly via the formation of a short-lived surface complex that is the precursor to to the decomposition.
The measurement of steady-state rate is demonstrated here to be valuable in determining kinetics associated with short-lived, molecularly adsorbed precursor to further reactions on the surface, by determining the kinetic parameters of the molecular precursor of formaldehyde to its dissociation on the Pt(110)-(1 x 2) surface.
Overlayers of nitrogen adatoms on Ru(001) have been characterized both by thermal desorption mass spectrometry and low-energy electron diffraction, as well as chemically via the postadsorption and desorption of ammonia and carbon monoxide.
The nitrogen-adatom overlayer was prepared by decomposing ammonia thermally on the surface at a pressure of 2.8 x 10^(-6) Torr and a temperature of 480 K. The saturated overlayer prepared under these conditions has associated with it a (√247/10 x √247/10)R22.7° LEED pattern, has two peaks in its thermal desorption spectrum, and has a fractional surface coverage of 0.40. Annealing the overlayer to approximately 535 K results in a rather sharp (√3 x √3)R30° LEED pattern with an associated fractional surface coverage of one-third. Annealing the overlayer further to 620 K results in the disappearance of the low-temperature thermal desorption peak and the appearance of a rather fuzzy p(2x2) LEED pattern with an associated fractional surface coverage of approximately one-fourth. In the low coverage limit, the presence of the (√3 x √3)R30° N overlayer alters the surface in such a way that the binding energy of ammonia is increased by 20% relative to the clean surface, whereas that of carbon monoxide is reduced by 15%.
A general methodology for the indirect relative determination of the absolute fractional surface coverages has been developed and was utilized to determine the saturation fractional coverage of hydrogen on Ru(001). Formaldehyde was employed as a bridge to lead us from the known reference point of the saturation fractional coverage of carbon monoxide to unknown reference point of the fractional coverage of hydrogen on Ru(001), which is then used to determine accurately the saturation fractional coverage of hydrogen. We find that ƟSAT/H = 1.02 (±0.05), i.e., the surface stoichiometry is Ru : H = 1 : 1. The relative nature of the method, which cancels systematic errors, together with the utilization of a glass envelope around the mass spectrometer, which reduces spurious contributions in the thermal desorption spectra, results in high accuracy in the determination of absolute fractional coverages.
Resumo:
Alterações nutricionais, hormonais e ambientais nos períodos críticos do desenvolvimento como a gestação e/ou lactação podem influenciar a estrutura e a fisiologia de órgãos e tecidos, predispondo ao aparecimento de doenças na vida adulta. Esse fenômeno é conhecido como programação metabólica. O fumo materno na gestação/lactação tem sido associado ao sobrepeso/obesidade na infância e na vida adulta em ambos os sexos. Porém, estudos evidenciam diferenças entre os gêneros em resposta a exposição à nicotina. Já foi demonstrado que muitas mulheres param de fumar na gestação, mas a maioria destas volta a fumar na lactação. Anteriormente, mostramos que machos adultos cujas mães foram expostas à nicotina na lactação, desenvolveram obesidade central, hiperleptinemia e hipotireoidismo. Como a nicotina afeta a função adrenal e como catecolaminas e glicocorticóides têm efeitos bem conhecidos sobre o tecido adiposo, avaliamos a função da medula adrenal e o conteúdo de leptina no tecido adiposo e músculo de machos e fêmeas cujas mães foram expostas à nicotina na lactação. Dois dias pós-parto, implantamos minibombas osmóticas nas ratas lactantes dividas em: NIC infusão de nicotina (6mg/Kg/dia s.c.) por 14 dias, e C infusão de salina pelo mesmo período. Estas lactantes foram divididas de acordo com o sexo das proles. O sacrifício das proles de ambos os sexos ocorreu aos 15 (fim da exposição à nicotina) e 180 dias de vida. Aos 15 dias, os machos da prole NIC apresentaram aumento de MGV absoluta e relativa ao peso corporal (+72% e +73% respectivamente), hiperleptinemia (+35%), hipercorticosteronemia (+67%), maior peso adrenal (+39%), conteúdo de catecolaminas totais (absoluto: +69% e relativo: +41%), embora diminuição da enzima TH (-33%). Quando adultos, os machos programados exibiram maior massa corporal (+10%), MGV absoluta (+47%) e relativa (+33%), além de hiperleptinemia (+41%) e maior conteúdo de leptina no TAV (+23%). Esses animais também apresentaram hipercorticosteronemia (+77%), maior conteúdo de catecolaminas totais absoluto e relativo (+79% e +89% respectivamente) e de TH (+38%) embora tenham menor secreção de catecolaminas in vitro estimulada por cafeína (-19%) e maior expressão do ADRB3 no TAV (+59%). Em relação as fêmeas da prole NIC aos 15 dias de vida, estas apresentaram menor massa corporal (-6%) e hiperleptinemia (+41%) embora sem alteração da MGV. Aos 180 dias, as fêmeas da prole NIC apresentaram menor conteúdo de leptina no TAS (-46%) e maior conteúdo de leptina no músculo solear (+22%) e diminuição da expressão do ADRB3 no TAV (-39%). Concluímos que a nicotina materna afeta ambos, medula adrenal e tecido adiposo de forma gênero dependente, tanto em curto prazo (quando a nicotina está presente no leite materno), quanto em longo prazo (repercussões na vida adulta). De forma geral, as fêmeas da prole NIC apresentam alterações mais discretas do que os machos em ambos os períodos estudados.