823 resultados para Boolean Computations


Relevância:

10.00% 10.00%

Publicador:

Resumo:

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Let M2n+1 be a C(CPn) -singular manifold. We study functions and vector fields with isolated singularities on M2n+1. A C(CPn) -singular manifold is obtained from a smooth manifold M2n+1 with boundary in the form of a disjoint union of complex projective spaces CPn boolean OR CPn boolean OR ... boolean OR CPn with subsequent capture of a cone over each component of the boundary. Let M2n+1 be a compact C(CPn) -singular manifold with k singular points. The Euler characteristic of M2n+1 is equal to chi(M2n+1) = k(1 - n)/2. Let M2n+1 be a C(CPn)-singular manifold with singular points m(1), ..., m(k). Suppose that, on M2n+1, there exists an almost smooth vector field V (x) with finite number of zeros m(1), ..., m(k), x(1), ..., x(1). Then chi(M2n+1) = Sigma(l)(i=1) ind(x(i)) + Sigma(k)(i=1) ind(m(i)).

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Purpose - The purpose of this paper is twofold: to analyze the computational complexity of the cogeneration design problem; to present an expert system to solve the proposed problem, comparing such an approach with the traditional searching methods available.Design/methodology/approach - The complexity of the cogeneration problem is analyzed through the transformation of the well-known knapsack problem. Both problems are formulated as decision problems and it is proven that the cogeneration problem is np-complete. Thus, several searching approaches, such as population heuristics and dynamic programming, could be used to solve the problem. Alternatively, a knowledge-based approach is proposed by presenting an expert system and its knowledge representation scheme.Findings - The expert system is executed considering two case-studies. First, a cogeneration plant should meet power, steam, chilled water and hot water demands. The expert system presented two different solutions based on high complexity thermodynamic cycles. In the second case-study the plant should meet just power and steam demands. The system presents three different solutions, and one of them was never considered before by our consultant expert.Originality/value - The expert system approach is not a "blind" method, i.e. it generates solutions based on actual engineering knowledge instead of the searching strategies from traditional methods. It means that the system is able to explain its choices, making available the design rationale for each solution. This is the main advantage of the expert system approach over the traditional search methods. On the other hand, the expert system quite likely does not provide an actual optimal solution. All it can provide is one or more acceptable solutions.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Due the differences between interaction physics process with matter for protons and photons, the proton beam tomography (pCT) has some vantages to comparison with conventional tomography. Also it is confirmed that usually pCT has better dose distribution and highest contrast resolution. The pCT allow not only view the internal structure of an object without destroying it, but also directly measure of volume density of electrons. Also it is confirmed that usually pCT has better dose distribution and highest contrast resolution. At the same time, there are many scientific and technical aspects to a detailed study: the capacity and limitations of the pCT methods are not well clarified. Through computations, based on Monte Carlo Method was carried out a detailed study of the contribution of non-elastic nuclear spreading, and together was compared with an analytical model for the deflection angle and the lateral deflection of protons in the target volume. The programs used were SRIM 2006 code and MCNPX v.2.50 code

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Beside aging process comes the incidence of dementia and, among them Alzheimer's disease (AD) accounts for approximately 60% of cases. This disease is characterized as a neuropathology with unknown etiology that causes cognitive deficits and behavioral disorders. Caring for patients with AD can cause an overload, both physical and psychological, which can cause high levels of stress on the primary caregiver. It is necessary that the caregiver also receives attention and develop activities that promote health benefits, while providing moments of distraction from the task of caring. Nonpharmacological interventions may be favorable for improving health with consequent decreased on the levels of stress. The objective of this study was to conduct a systematic review of scientific papers that aimed to verify the effect of nonpharmacological interventions on stress levels in caregivers of patients with AD. To contamplate this goal was accomplished a systematic search in the following databases: Biological Abstracts, PsycINFO, PubMed/Medline, Web of Science, LILACS and SciELO. The following keywords and Boolean operators was used: “caregivers” OR “family” and “nonpharmacological interventions” OR “support groups” OR “therapies” AND “Alzheimer's disease” OR “Alzheimer's dementia” OR “Alzheimer” OR “elderly” AND “stress”. There were found 3studies that met inclusion criteria adopted for the present work, and none showed significant results for the variable stress. It is not possible to affirm, according to the studies, that nonpharmacologial interventions programs for caregivers of patients with AD are effective to influence and to control the stress. However, studies show benefits for other variables such as self-efficacy and confidence in relation to care... (Complete abstract click electronic access below)

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Pós-graduação em Engenharia Elétrica - FEIS

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Pós-graduação em Física - IFT

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Nuclear magnetic resonance (NMR) is a tool used to probe the physical and chemical environments of specific atoms in molecules. This research explored small molecule analogues to biological materials to determine NMR parameters using ab initio computations, comparing the results with solid-state NMR measurements. Models, such as dimethyl phosphate (DMP) for oligonucleotides or CuCl for the active site of the protein azurin, represented computationally unwieldy macromolecules. 31P chemical shielding tensors were calculated for DMP as a function of torsion angles, as well as for the phosphate salts, ammonium dihydrogen phosphate (ADHP), diammonium hydrogen phosphate, and magnesium dihydrogen phosphate. The computational DMP work indicated a problem with the current standard 31P reference of 85% H3PO4(aq.). Comparison of the calculations and experimental spectra for the phosphate salts indicated ADHP might be a preferable alternative as a solid state NMR reference for 31P. Experimental work included magic angle spinning experiments on powder samples using the UNL chemistry department’s Bruker Avance 600 MHz NMR to collect data to determine chemical shielding anisotropies. For the quadrupolar nuclei of copper and scandium, the electric field gradient was calculated in diatomic univalent metal halides, allowing determination of the minimal level of theory necessary to compute NMR parameters for these nuclei.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This study presents the first archeointensity results from Northeast Brazil obtained from 14 groups of architectural brick fragments sampled in the city of Salvador, Bahia State (13 degrees S, 38.5 degrees W) and dated between the middle of the XVIth century and the beginning of the XIXth century. The dating is ascertained by historical documents complemented by archeological constraints, yielding in all cases age uncertainties of less than 50 years. Analyses were carried out using two experimental protocols: 1 the ""zero field-in field"" version of the classical Thellier and Thellier method as proposed by Coe (TT-ZI), including partial thermoremanent magnetization (pTRM) and pTRM-tail checks, and 2 the Triaxe procedure involving continuous high temperature magnetization measurements. Both TRM anisotropy and cooling rate effects were taken into account for the intensity determinations. The cooling rate effect was further explored for the TT-ZI protocol using three increasing slow cooling times (5 h, 10 h and 25 h) between 450 C and room temperature. Following archeological constraints, the slowest cooling time was retained in our study, yielding decreases of the raw intensity values by 4% to 14%. For each fragment, a mean intensity was computed and retained only when the data obtained from all specimens (between 2 and 6) satisfied a coherence test at similar to 5%. A total of 57 fragments (183 specimens) was considered for the computations of site-mean intensity values, with derived standard deviations of less than 8% of the corresponding means. When separately computed using the two experimental techniques, the site-mean intensity values always agree to within 5%. A good consistency is observed between intensity values of similar or close ages, which strengthen their reliability. Our data principally show a significant and continuous decrease in geomagnetic field intensity in Northeast Brazil between the first half of the XVIIth century and the XXth century. One result dated to the second half of the XVIth century further suggests that the geomagnetic field intensity reached a maximum around 1600 AD. This evolution is in good agreement with that expected in the city of Salvador from the available global geomagnetic field models. However, the accuracy of these models appears less well constrained between similar to 1550 AD and similar to 1650 AD. (C) 2010 Elsevier B.V. All rights reserved.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

We apply Kolesnikov's algorithm to obtain a variety of nonassociative algebras defined by right anticommutativity and a "noncommutative" version of the Malcev identity. We use computer algebra to verify that these identities are equivalent to the identities of degree up to 4 satisfied by the dicommutator in every alternative dialgebra. We extend these computations to show that any special identity for Malcev dialgebras must have degree at least 7. Finally, we introduce a trilinear operation which makes any Malcev dialgebra into a Leibniz triple system.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The numerical simulation of flows of highly elastic fluids has been the subject of intense research over the past decades with important industrial applications. Therefore, many efforts have been made to improve the convergence capabilities of the numerical methods employed to simulate viscoelastic fluid flows. An important contribution for the solution of the High-Weissenberg Number Problem has been presented by Fattal and Kupferman [J. Non-Newton. Fluid. Mech. 123 (2004) 281-285] who developed the matrix-logarithm of the conformation tensor technique, henceforth called log-conformation tensor. Its advantage is a better approximation of the large growth of the stress tensor that occur in some regions of the flow and it is doubly beneficial in that it ensures physically correct stress fields, allowing converged computations at high Weissenberg number flows. In this work we investigate the application of the log-conformation tensor to three-dimensional unsteady free surface flows. The log-conformation tensor formulation was applied to solve the Upper-Convected Maxwell (UCM) constitutive equation while the momentum equation was solved using a finite difference Marker-and-Cell type method. The resulting developed code is validated by comparing the log-conformation results with the analytic solution for fully developed pipe flows. To illustrate the stability of the log-conformation tensor approach in solving three-dimensional free surface flows, results from the simulation of the extrudate swell and jet buckling phenomena of UCM fluids at high Weissenberg numbers are presented. (C) 2012 Elsevier B.V. All rights reserved.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

We characterize finite determinacy of map germs f : (C-2, 0) -> (C-3, 0) in terms of the Milnor number mu(D(f)) of the double point curve D(f) in (C-2, 0) and we provide an explicit description of the double point scheme in terms of elementary symmetric functions. Also we prove that the Whitney equisingularity of 1-parameter families of map germs f(t) : (C-2, 0) -> (C-3, 0) is equivalent to the constancy of both mu(D(f(t))) and mu(f(t)(C-2)boolean AND H) with respect to t, where H subset of C-3 is a generic plane. (C) 2011 Elsevier B.V. All rights reserved.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A set of predictor variables is said to be intrinsically multivariate predictive (IMP) for a target variable if all properly contained subsets of the predictor set are poor predictors of the. target but the full set predicts the target with great accuracy. In a previous article, the main properties of IMP Boolean variables have been analytically described, including the introduction of the IMP score, a metric based on the coefficient of determination (CoD) as a measure of predictiveness with respect to the target variable. It was shown that the IMP score depends on four main properties: logic of connection, predictive power, covariance between predictors and marginal predictor probabilities (biases). This paper extends that work to a broader context, in an attempt to characterize properties of discrete Bayesian networks that contribute to the presence of variables (network nodes) with high IMP scores. We have found that there is a relationship between the IMP score of a node and its territory size, i.e., its position along a pathway with one source: nodes far from the source display larger IMP scores than those closer to the source, and longer pathways display larger maximum IMP scores. This appears to be a consequence of the fact that nodes with small territory have larger probability of having highly covariate predictors, which leads to smaller IMP scores. In addition, a larger number of XOR and NXOR predictive logic relationships has positive influence over the maximum IMP score found in the pathway. This work presents analytical results based on a simple structure network and an analysis involving random networks constructed by computational simulations. Finally, results from a real Bayesian network application are provided. (C) 2012 Elsevier Inc. All rights reserved.