823 resultados para Boolean Computations
Resumo:
A presente Dissertação relata a síntese e o estudo conformacional das α-fenilseleno-α-dietóxifosforilacetofenonas para-substituídas p-X-Φ-C(O)CH[SeΦ][P(O)(OEt2] (X=OMe 1, Me 2, H 3, F 4, Cl 5, Br 6 e NO2 7) através da banda de estiramento da carbonila no infravermelho, em solventes de polaridade crescente apoiado por cálculos ab initio HF/6-3IG**. A comparação entre a freqüência e a intensidade relativa dos componentes do dubleto, para os derivados 6 e 7, e do singleto para os derivados 1-5, no solvente apolar tetracloreto de carbono, e dos componentes do dubleto, nos solventes de polaridade crescente (clorofórmio, diclorometano e acetonitrila), para os derivados 1-7, com os dados do cálculo ab initio de 3 (composto de referência), indicou que ambas as conformações estáveis (g1 e g2) apresentam a ligação C-Se na geometria anti-clinal (gauche) em relação à carbonila (C=O), enquanto que a ligação C-P assume uma geometria sin-periplanar (cis) em relação à carbonila. A análise dos contatos interatômicos de átomos relevante em comparação com a soma de seus raios de van der Waals, indicou que ambas as conformações g1 e g2 são fortemente estabilizadas pelo sinergismo das interações orbitalares e eletrostáticas π*(CO) / nSe e Oδ-[CO].....Pδ+[PO]. Analogamente, as interações mais fracas Oδ-[OR]..... Cδ+[CO], 0-Hδ+[SeΦ]....Oδ-[PO] e 0-Hδ+[ΦC(O)]....Oδ-[CO] estabilizam as conformações g1 e g2, aproximadamente na mesma extensão. No entanto, somente a conformação g1 é estabilizada pela interação eletrostática (ligação de hidrogênio) Hδ+[α-CH].....Oδ-[OR], enquanto que sómente a conformação g2 é desestabilizada pelo Efeito de Campo Repulsivo entre os dipolos Cδ+=.Oδ- e Pδ+-ORδ- Assim sendo, pode-se concluir que no dubleto de VCO no IV, o componente de maior freqüência e de menor intensidade corresponde à conformação menos estável g2 (do cálculo) enquanto que o componente de menor freqüência e mais intenso corresponde à conformação mais estável g1 (do cálculo). Estes dados estão de pleno acordo com os deslocamentos de freqüência mais negativos da carbonila (ΔVCO) do confôrmero mais estável g1 em relação ao menos estável g2.
Resumo:
Mapas simpléticos têm sido amplamente utilizados para modelar o transporte caótico em plasmas e fluidos. Neste trabalho, propomos três tipos de mapas simpléticos que descrevem o movimento de deriva elétrica em plasmas magnetizados. Efeitos de raio de Larmor finito são incluídos em cada um dos mapas. No limite do raio de Larmor tendendo a zero, o mapa com frequência monotônica se reduz ao mapa de Chirikov-Taylor, e, nos casos com frequência não-monotônica, os mapas se reduzem ao mapa padrão não-twist. Mostramos como o raio de Larmor finito pode levar à supressão de caos, modificar a topologia do espaço de fases e a robustez de barreiras de transporte. Um método baseado na contagem dos tempos de recorrência é proposto para analisar a influência do raio de Larmor sobre os parâmetros críticos que definem a quebra de barreiras de transporte. Também estudamos um modelo para um sistema de partículas onde a deriva elétrica é descrita pelo mapa de frequência monotônica, e o raio de Larmor é uma variável aleatória que assume valores específicos para cada partícula do sistema. A função densidade de probabilidade para o raio de Larmor é obtida a partir da distribuição de Maxwell-Boltzmann, que caracteriza plasmas na condição de equilíbrio térmico. Um importante parâmetro neste modelo é a variável aleatória gama, definida pelo valor da função de Bessel de ordem zero avaliada no raio de Larmor da partícula. Resultados analíticos e numéricos descrevendo as principais propriedades estatísticas do parâmetro gama são apresentados. Tais resultados são então aplicados no estudo de duas medidas de transporte: a taxa de escape e a taxa de aprisionamento por ilhas de período um.
Resumo:
Exercises of application of the systematic procedure to derive linear inequalities for logic expressions (Ejercicios de aplicación del método sistemático de obtención de restricciones lineales para expresiones lógicas).
Resumo:
Different non-Fourier models of heat conduction have been considered in recent years, in a growing area of applications, to model microscale and ultrafast, transient, nonequilibrium responses in heat and mass transfer. In this work, using Fourier transforms, we obtain exact solutions for different lagging models of heat conduction in a semi-infinite domain, which allow the construction of analytic-numerical solutions with prescribed accuracy. Examples of numerical computations, comparing the properties of the models considered, are presented.
Resumo:
Background: The harmonization of European health systems brings with it a need for tools to allow the standardized collection of information about medical care. A common coding system and standards for the description of services are needed to allow local data to be incorporated into evidence-informed policy, and to permit equity and mobility to be assessed. The aim of this project has been to design such a classification and a related tool for the coding of services for Long Term Care (DESDE-LTC), based on the European Service Mapping Schedule (ESMS). Methods: The development of DESDE-LTC followed an iterative process using nominal groups in 6 European countries. 54 researchers and stakeholders in health and social services contributed to this process. In order to classify services, we use the minimal organization unit or “Basic Stable Input of Care” (BSIC), coded by its principal function or “Main Type of Care” (MTC). The evaluation of the tool included an analysis of feasibility, consistency, ontology, inter-rater reliability, Boolean Factor Analysis, and a preliminary impact analysis (screening, scoping and appraisal). Results: DESDE-LTC includes an alpha-numerical coding system, a glossary and an assessment instrument for mapping and counting LTC. It shows high feasibility, consistency, inter-rater reliability and face, content and construct validity. DESDE-LTC is ontologically consistent. It is regarded by experts as useful and relevant for evidence-informed decision making. Conclusion: DESDE-LTC contributes to establishing a common terminology, taxonomy and coding of LTC services in a European context, and a standard procedure for data collection and international comparison.
Resumo:
Non-Fourier models of heat conduction are increasingly being considered in the modeling of microscale heat transfer in engineering and biomedical heat transfer problems. The dual-phase-lagging model, incorporating time lags in the heat flux and the temperature gradient, and some of its particular cases and approximations, result in heat conduction modeling equations in the form of delayed or hyperbolic partial differential equations. In this work, the application of difference schemes for the numerical solution of lagging models of heat conduction is considered. Numerical schemes for some DPL approximations are developed, characterizing their properties of convergence and stability. Examples of numerical computations are included.
Resumo:
Different non-Fourier models of heat conduction, that incorporate time lags in the heat flux and/or the temperature gradient, have been increasingly considered in the last years to model microscale heat transfer problems in engineering. Numerical schemes to obtain approximate solutions of constant coefficients lagging models of heat conduction have already been proposed. In this work, an explicit finite difference scheme for a model with coefficients variable in time is developed, and their properties of convergence and stability are studied. Numerical computations showing examples of applications of the scheme are presented.
Resumo:
Purpose – The purpose of this paper is to present a new geometric model based on the mathematical morphology paradigm, specialized to provide determinism to the classic morphological operations. The determinism is needed to model dynamic processes that require an order of application, as is the case for designing and manufacturing objects in CAD/CAM environments. Design/methodology/approach – The basic trajectory-based operation is the basis of the proposed morphological specialization. This operation allows the definition of morphological operators that obtain sequentially ordered sets of points from the boundary of the target objects, inexistent determinism in the classical morphological paradigm. From this basic operation, the complete set of morphological operators is redefined, incorporating the concept of boundary and determinism: trajectory-based erosion and dilation, and other morphological filtering operations. Findings – This new morphological framework allows the definition of complex three-dimensional objects, providing arithmetical support to generating machining trajectories, one of the most complex problems currently occurring in CAD/CAM. Originality/value – The model proposes the integration of the processes of design and manufacture, so that it avoids the problems of accuracy and integrity that present other classic geometric models that divide these processes in two phases. Furthermore, the morphological operative is based on points sets, so the geometric data structures and the operations are intrinsically simple and efficient. Another important value that no excessive computational resources are needed, because only the points in the boundary are processed.
Resumo:
The Iterative Closest Point algorithm (ICP) is commonly used in engineering applications to solve the rigid registration problem of partially overlapped point sets which are pre-aligned with a coarse estimate of their relative positions. This iterative algorithm is applied in many areas such as the medicine for volumetric reconstruction of tomography data, in robotics to reconstruct surfaces or scenes using range sensor information, in industrial systems for quality control of manufactured objects or even in biology to study the structure and folding of proteins. One of the algorithm’s main problems is its high computational complexity (quadratic in the number of points with the non-optimized original variant) in a context where high density point sets, acquired by high resolution scanners, are processed. Many variants have been proposed in the literature whose goal is the performance improvement either by reducing the number of points or the required iterations or even enhancing the complexity of the most expensive phase: the closest neighbor search. In spite of decreasing its complexity, some of the variants tend to have a negative impact on the final registration precision or the convergence domain thus limiting the possible application scenarios. The goal of this work is the improvement of the algorithm’s computational cost so that a wider range of computationally demanding problems from among the ones described before can be addressed. For that purpose, an experimental and mathematical convergence analysis and validation of point-to-point distance metrics has been performed taking into account those distances with lower computational cost than the Euclidean one, which is used as the de facto standard for the algorithm’s implementations in the literature. In that analysis, the functioning of the algorithm in diverse topological spaces, characterized by different metrics, has been studied to check the convergence, efficacy and cost of the method in order to determine the one which offers the best results. Given that the distance calculation represents a significant part of the whole set of computations performed by the algorithm, it is expected that any reduction of that operation affects significantly and positively the overall performance of the method. As a result, a performance improvement has been achieved by the application of those reduced cost metrics whose quality in terms of convergence and error has been analyzed and validated experimentally as comparable with respect to the Euclidean distance using a heterogeneous set of objects, scenarios and initial situations.
Resumo:
The Free Core Nutation (FCN) is a free mode of the Earth's rotation caused by the different material characteristics of the Earth's core and mantle. This causes the rotational axes of those layers to slightly diverge from each other, resulting in a wobble of the Earth's rotation axis comparable to nutations. In this paper we focus on estimating empirical FCN models using the observed nutations derived from the VLBI sessions between 1993 and 2013. Assuming a fixed value for the oscillation period, the time-variable amplitudes and phases are estimated by means of multiple sliding window analyses. The effects of using different a priori Earth Rotation Parameters (ERP) in the derivation of models are also addressed. The optimal choice of the fundamental parameters of the model, namely the window width and step-size of its shift, is searched by performing a thorough experimental analysis using real data. The former analyses lead to the derivation of a model with a temporal resolution higher than the one used in the models currently available, with a sliding window reduced to 400 days and a day-by-day shift. It is shown that this new model increases the accuracy of the modeling of the observed Earth's rotation. Besides, empirical models determined from USNO Finals as a priori ERP present a slightly lower Weighted Root Mean Square (WRMS) of residuals than IERS 08 C04 along the whole period of VLBI observations, according to our computations. The model is also validated through comparisons with other recognized models. The level of agreement among them is satisfactory. Let us remark that our estimates give rise to the lowest residuals and seem to reproduce the FCN signal in more detail.
Resumo:
Consists of lessons on various computations (ff. 1-4), geometry (5-10), and navigation (11-74), mostly in the form of problems and solutions.
Resumo:
Dissertação apresentada para a obtenção do grau de Mestre em Desporto com especialização em Condição Física e Saúde
Resumo:
Enquadramento: A parentalidade é um tema de saúde com muita relevância na sociedade atual, intervindo o seu exercício na promoção da saúde e bem-estar da criança. A parentalidade envolve acontecimentos stressantes, nomeadamente em situações de problemas de saúde e necessidades básicas e de resposta ao comportamento da criança, como é o caso do choro/birra e no momento de alimentação, procurando a maioria dos cuidadores responder ao problema de forma independente enquanto outros solicitam apoio dos profissionais de saúde. Objetivo: Identificar recomendações concretas, baseadas na evidência científica, de boas práticas e recomendações a transmitir aos pais para lidarem com o choro /birras e no momento da alimentação da criança. Métodos: Realizou-se uma revisão sistemática da literatura de estudos realizados nos idiomas português, inglês e espanhol, publicados entre 2009 e 2014, em bases de dados internacionais CINAHL® Plus with Full-Text, Nursing & Allied Health Collection, Cochrane Central Register of Controlled Trials; Cochrane Database of Systematic Reviews (CDSR) e Database of Abstracts of Reviews of Effects (DARE), MedicLatina , MEDLINE, com recurso a diversos descritores e operadores booleanos e recorrendo a dois revisores que avaliaram a qualidade dos estudos metodológicos. Resultados: Após avaliação crítica, foram excluídos 50 estudos e incluídos 7, sendo um de grau de evidência A, dois de evidência B e 4 de evidência D. Os outcomes evidenciaram que para gestão da parentalidade o aconselhamento deve feito pelo profissional de referência, que se necessário deverá acompanhar os pais através de contacto telefónico e visita domiciliária sobretudo se mães inexperientes. Os profissionais devem ampliar os seus conhecimentos sobre as dúvidas e preocupações que os pais têm sobre a educação dos seus filhos consultando os espaços de discussão online. A etnia e nacionalidade das mães tem forte impacto sobre os métodos usados para acalmar o bebé, pelo que os cuidados devem ser culturalmente congruentes. Na abordagem do choro/ birras torna-se necessário conhecer o normal desenvolvimento da criança e em que contextos surgem para minimizá-las, sendo importante que os pais dêem à criança atenção positiva, instituindo rotinas. Para melhorar o momento da alimentação os pais devem reconhecer que até aos dois anos decorre a janela de oportunidade de aprendizagem de rotinas e de novos sabores, salientando-se a importância do ambiente de atenção e reciprocidade durante as refeições. Conclusão: Os enfermeiros devem procurar orientar a sua prática com base nas evidências científicas e tendo como base o estudo efectuado, salienta-se a promoção da parentalidade positiva como central para a abordagem dos comportamentos de choro/birra e no momento da alimentação da criança. Palavras – chaves: educação parental, enfermeiro, aleitamento materno, alimentação, birra, choro, relação pais-filhos.
Resumo:
CODE, the Center for Orbit Determination in Europe, is a joint venture of the following four institutions:Astronomical Institute, University of Bern (AIUB), Bern, Switzerland; Federal Office of Topography swisstopo, Wabern, Switzerland; Federal Agency of Cartography and Geodesy (BKG), Frankfurt a. M., Germany; Institut für Astronomische und Physikalische Geodäsie, Technische Universität München (IAPG, TUM), Munich, Germany. It acts as a global analysis center of the International GNSS Service (IGS). The operational computations are performed at AIUB using the latest development version of the Bernese GNSS Software. In this context a final solution series is generated considering all active GPS and GLONASS satellites. It is published in daily files with a delay of about two weeks.
Resumo:
We investigate the mechanics of slope failures on the Nankai accretionary complex offshore Japan in the vicinity of a major out-of-sequence thrust fault (termed the "megasplay"). Incorporating laboratory-measured shear strength of slope sediments sampled during Integrated Ocean Drilling Project (IODP) Expeditions 315 and 316 with local seafloor slope angles from bathymetric data and constraints on in-situ effective stress conditions from drilling, we find that slopes in the study area are stable and submarine landslides are not expected to occur under static conditions. In order to assess the possibility of slope failure triggered by coseismic rupture of the megasplay fault, we use empirical relations for strong ground motion attenuation from earthquakes with Mw 6-9. We find that the slope sediments should be stable based on computations from one model, developed from a catalog of worldwide subduction zone earthquakes (Youngs et al., 1997, doi:10.1785/gssrl.68.1.58). However, using a different model developed primarily from a catalog of crustal earthquakes in Japan (Kanno et al., 2006, doi:10.1785/0120050138), we find that slopes should be unstable for earthquakes 8 <= Mw <= 9, and possibly unstable for events with 6 <= Mw < 8, depending on the proximity of rupture to the seafloor. Considering limitations of the models and geologic observations of slope failure recurrence, the true slope stability is likely to be in between the predictions of the two models, and we suggest that it may be modulated by long-term pore pressure fluctuations.