917 resultados para Funções Proposicionais
Resumo:
We present indefinite integration algorithms for rational functions over subfields of the complex numbers, through an algebraic approach. We study the local algorithm of Bernoulli and rational algorithms for the class of functions in concern, namely, the algorithms of Hermite; Horowitz-Ostrogradsky; Rothstein-Trager and Lazard-Rioboo-Trager. We also study the algorithm of Rioboo for conversion of logarithms involving complex extensions into real arctangent functions, when these logarithms arise from the integration of rational functions with real coefficients. We conclude presenting pseudocodes and codes for implementation in the software Maxima concerning the algorithms studied in this work, as well as to algorithms for polynomial gcd computation; partial fraction decomposition; squarefree factorization; subresultant computation, among other side algorithms for the work. We also present the algorithm of Zeilberger-Almkvist for integration of hyperexpontential functions, as well as its pseudocode and code for Maxima. As an alternative for the algorithms of Rothstein-Trager and Lazard-Rioboo-Trager, we yet present a code for Benoulli’s algorithm for square-free denominators; and another for Czichowski’s algorithm, although this one is not studied in detail in the present work, due to the theoretical basis necessary to understand it, which is beyond this work’s scope. Several examples are provided in order to illustrate the working of the integration algorithms in this text
Resumo:
The Borborema Province, located in northeastern Brazil, has a basement of Precambrian age and a tectonic framework structured at the Neoproterozoic (740-560 Ma). After separation between South America and Africa during the Mesozoic, a rift system was formed, giving rise to a number of marginal and inland basins in the Province. After continental breakup, episodes of volcanism and uplift characterized the evolution of the Province. Plateau uplift was initially related to magmatic underplating of mafic material at the base of the crust, perhaps related to the generation of young continental plugs (45-7 Ma) along the Macau-Queimadas Alignment (MQA), due to a small-scale convection at the continental edge. The goal of this study is to investigate the causes of intra-plate uplift and its relationship to MQA volcanism, by using broadband seismology and integrating our results with independent geophysical and geological studies in the Borborema Province. The investigation of the deep structure of the Province with broadband seismic data includes receiver functions and surface-wave dispersion tomography. Both the receiver functions and surface-wave dispersion tomography are methods that use teleseismic events and allow to develop estimates of crustal parameters such as crustal thickness, Vp/Vs ratio, and S-velocity structure. The seismograms used for the receiver function work were obtained from 52 stations in Northeast Brazil: 16 broadband stations from the RSISNE network (Rede Sismográfica do Nordeste do Brasil), and 21 short-period and 6 broadband stations from the INCT-ET network (Instituto Nacional de Ciência e Tecnologia – Estudos Tectônicos). These results add signifi- cantly to previous datasets collected at individual stations in the Province, which include station RCBR (GSN - Global Seismic Network), stations CAUB and AGBL (Brazilian Lithosphere Seismic Project IAG/USP), and 6 other broadband stations that were part of the Projeto Milênio - Estudos geofísicos e tectônicos na Província Borborema/CNPq. For the surface-wave vii tomography, seismograms recorde at 22 broadband stations were utilized: 16 broadband stations from the RSISNE network and 6 broadband stations from the Milênio project. The new constraints developed in this work include: (i) estimates of crustal thickness and bulk Vp/Vs ratio for each station using receiver functions; (ii) new measurements of surfassewave group velocity, which were integrated to existing measurementes from a continental-scale tomography for South America, and (iii) S-wave velocity models (1D) at various locations in the Borborema Province, developed through the simultaneous inversion of receiver functions and surface-wave dispersion velocities. The results display S-wave velocity structure down to the base of the crust that are consistent with the presence of a 5-7.5 km thick mafic layer. The mafic layer was observed only in the southern portion of the Plateau and absent in its northern portion. Another important observation is that our models divide the plateau into a region of thin crust (northern Plateau) and a region of thick crust (southern Plateau), confirming results from independent refraction surveys and receiver function analyses. Existing models of plateau uplift, nonetheless, cannot explain all the new observations. It is proposed that during the Brazilian orogeny a layer of preexisting mafic material was delaminated, as a whole or in part, from the original Brasiliano crust. Partial delamination would have happened in the southern portion of the plateau, where independent studies found evidence of a more resistant rheology. During Mesozoic rifting, thinning of the crust around the southern Plateau would have formed the marginal basins and the Sertaneja depression, which would have included the northern part of the Plateau. In the Cenozoic, uplift of the northern Plateau would have occurred, resulting in a northern Plateau without mafic material at the base of the crust and a southern Plateau with partially delaminated mafic layer.
Resumo:
In this TCC the deal with a underlying but essential topic of Mathematics, namely: Functions. Many students start their course in the University asking: Why do we need functions? With that in mind we try to antecipate to this question and we try to show that functions come up so naturally that a name was needed to express that association which exists between the elements of two sets. After this definition was established, we present and formalize some other concepts that functions might have, as: an interview of ascendence/descendence, 1-1, etc.
Resumo:
The aging process causes changes in the elderly’s sleep/awake standard impairing their cognitive abilities, particularly executive functioning, which already suffers loss by aging. The literature suggests that executive function and preserved sleep quality are key to maintaining good quality of life and independence of older people, requiring interventions to minimize the impact of losses incurred by the aging process. This study evaluated the effect of a cognitive training program and sleep hygiene techniques for executive functions and sleep quality in healthy older people. The participants were 41 healthy older adults, of both sexes, who were randomly divided into four groups: control group [GC], cognitive training group [GTC], sleep hygiene group [GHS] and training group + hygiene [GTH]. The research was developed in three stages: 1st - initial assessment of cognition and sleep; 2nd - specific intervention to each group; 3rd - post-intervention revaluation. The results showed that GTC had significant improvements in cognitive tasks flexibility, planning, verbal fluency and some aspects of episodic memory, besides gains in sleep quality and decrease on daytime hypersomnolence. The GHS improved sleep quality and daytime sleepiness as well and had significant improvements in insights capacity, planning, attention and in all evaluated aspects of episodic memory. The GTH had significant gains in cognitive flexibility, problem solving, verbal fluency, attention and episodic memory. The CG showed significant worsening in excessive daytime sleepiness in capacity planning. Thus, we conclude that cognitive training interventions and sleep hygiene strategies are useful in improving cognitive performance and quality of healthy elderly sleep.
Resumo:
Information extraction is a frequent and relevant problem in digital signal processing. In the past few years, different methods have been utilized for the parameterization of signals and the achievement of efficient descriptors. When the signals possess statistical cyclostationary properties, the Cyclic Autocorrelation Function (CAF) and the Spectral Cyclic Density (SCD) can be used to extract second-order cyclostationary information. However, second-order cyclostationary information is poor in nongaussian signals, as the cyclostationary analysis in this case should comprise higher-order statistical information. This paper proposes a new mathematical tool for the higher-order cyclostationary analysis based on the correntropy function. Specifically, the cyclostationary analysis is revisited focusing on the information theory, while the Cyclic Correntropy Function (CCF) and Cyclic Correntropy Spectral Density (CCSD) are also defined. Besides, it is analytically proven that the CCF contains information regarding second- and higher-order cyclostationary moments, being a generalization of the CAF. The performance of the aforementioned new functions in the extraction of higher-order cyclostationary characteristics is analyzed in a wireless communication system where nongaussian noise exists.
Resumo:
The aim of this study was to investigate possible alterations in attentive functions and mental flexibility in individuals diagnosed with Addiction. The sample (n=40) was located for convenience, and included 20 individuals with addiction behaviors (G1), and 20 individuals who do not use harmfully psychoactive substances (G2). Assessment instruments used were: Experimental and Computerized Test of Continuous Performance, and the Wisconsin Card Sorting Test. It was concluded that individuals in the G1 group had a poorer performance in all categories analyzed on the Wisconsin Card Sorting Test and in reaction time on the Experimental and Computerized Test (p<0,05), showing a deficit in mental flexibility and attentive functions, which may have direct implications on addictive behaviors and treatment.
Resumo:
Introdução: As funções executivas (FE) têm sido sistematicamente associadas ao funcionamento dos lobos frontais e sabemos que o declínio cognitivo se associa a piores resultados em provas que avaliam estas funções. Para além de pretendermos analisar se um teste que avalia as FE (Frontal Assessment Battery/FAB) discrimina idosos com/sem declínio cognitivo, avaliado através do Montreal Cognitive Assessment (MoCA) e se existem associações entre os resultados obtidos com a Figura Complexa de Rey-Osterreith/FCR-O (qualidade da cópia, memória de 3 e de 20 minutos) e a presença/ausência de declínio cognitivo, queremos sobretudo analisar se a qualidade e exactidão da cópia (capacidade visuo construtiva) e a memória de 3 minutos na FCR-O se associam ao resultado obtido com a FAB, dado que as duas provas estão supostamente associadas às FE e ao funcionamento dos lobos frontais avaliados com o FAB, por oposição à memória de 20 minutos (supostamente associada à área temporal, não avaliada pela FAB). Não deixámos de considerar, ainda, a associação entre as variáveis sociodemográficas e os resultados na FAB, na FCR-O e no MoCA. Metodologia: A amostra total incluiu 556 idosos (média de idades, M = 80,2; Desvio-padrão, DP = 5,23; variação = 60-100) sob resposta social em diferentes instituições do Concelho de Coimbra que aceitou responder voluntariamente (ou cujos familiares/cuidadores concederam consentimento) a uma bateria de testes (incluindo questões sociodemográficas, a FCR-O, o MoCA e a FAB). Estas variáveis foram estratificadas de acordo com a idade e escolaridade dos idosos e dicotomizadas. Para testar os nossos objetivos recorremos a diferentes sub amostras compostas pelos sujeitos que tinham resultados nas provas cujas associações queríamos testar. Resultados: De acordo com o MoCA, 59,7% dos idosos apresentavam declínio cognitivo, com 73,9% a apresentar défice executivo ligeiro, de acordo com a FAB. Quanto à FCR-O, 24,0% dos idosos apresentavam défice práxico ligeiro a moderado, 73,9% défice mnésico visual a curto prazo leve (3 minutos) e 60.9% défice mnésico visual a longo prazo leve a moderado (20 minutos). Não se verificaram associações estatisticamente significativas entre o género, estado civil e tipo de resposta social e as três variáveis centrais do estudo (MoCA, FAB e FCR-O). Quer a FAB, quer a FCR-O (as três provas: qualidade e exatidão da cópia, memória de 3 e 20 minutos) revelaram associações com a ausência/presença de declínio cognitivo. Considerando as variáveis estratificadas pela idade e escolaridade dos idosos e dicotomizadas, um teste do qui quadrado para a independência mostrou que a prova qualidade da FCR-O não estava associada ao resultado na FAB (com/sem défice executivo), ao contrário da prova memória de 3 minutos da FCR-O, que se mostrou associada a este resultado. A prova memória de 20 minutos da FCR-O voltou a não estar associada à ausência/presença de défice executivo (usando o mesmo teste). Analisando as diferentes provas da FCR-O e a FAB, sem estratificação, correlações de Spearman confirmaram as associações encontradas, mas também entre a prova qualidade da cópia da FCR-O e a FAB. Conclusão/Discussão: Os resultados seguem a literatura quanto à associação entre a prova da FCR-O memória a curto prazo/3 minutos e as funções executivas (associadas aos lobos frontais e testadas através da FAB), por oposição com a memória a longo prazo que aparece, na literatura, como mais associada/ou envolvendo à/a área temporal e que, de facto, não se mostrou associada ao resultado na FAB. Os resultados não são tão claros/consensuais no que toca à prova qualidade da cópia da FCR-O.
Resumo:
Enquadramento: O envelhecimento abarca muitas transformações, desencadeando variadas mudanças do organismo, nomeadamente problemas cognitivos. A intervenção através da Arteterapia tem-se revelado eficaz na conservação do funcionamento das funções cognitivas dos idosos, sendo este um tema de extrema importância na manutenção da sua qualidade de vida. Objectivos: Identificar características sócio-demográficas da amostra; verificar se a Intervenção de arteterapia produz efeitos nas funções cognitivas dos idosos; verificar se estes efeitos correspondem a melhorias nas funções cognitivas. Métodos: A investigação adoptada é do tipo qualitativo, quase-experimental, (ensaio de Campo) sem grupo de controlo, que decorreu durante 3 meses (de Fevereiro a Abril de 2011), com sessões de 2 horas, três vezes por semana. Participaram no estudo 6 idosos institucionalizados, do sexo feminino com uma média de idades de 85 anos. Foi aplicado um questionário caracterizador da amostra, o Mini-Mental State Examination (MMSE) (adaptado à população portuguesa) para a avaliação das funções cognitivas gerais, assim como o Teste da Figura Complexa de Rey, para avaliação da percepção visual e memória. Resultados: Existe uma melhoria em todos os itens avaliados, quando comparados os resultados pré-teste e pós-teste. Em suma, verificamos que a média de respostas correctas em todos os testes aplicados, antes da intervenção foi de 52,9% e após a intervenção foi de 69,8%. Desta forma apuramos um aumento global de 16,9% de respostas correctas, após a intervenção Arteterapeutica. O item onde os participantes demonstraram maiores dificuldades no momento anterior à intervenção, foi no exercício de reprodução de memória na Figura complexa de Rey, e na Atenção e Calculo e na Habilidade Construtiva (MMSE). No entanto, após a intervenção, as maiores subidas verificadas foram precisamente nestes dois últimos itens mencionados (30% e 33,3%, respectivamente). / Background: The aging encompasses many changes, triggering the body's various changes, including cognitive problems. Intervention through Art Therapy has proved effective in preserving the functioning of the cognitive functions of elderly people, and this is an issue of utmost importance in maintaining their quality of life. Objectives: To identify socio-demographic characteristics of the sample, verify that the art therapy intervention effect on cognitive function of older persons; verify that these effects correspond to improvements in cognitive functions. Methods: The research adopted is a qualitative, quasi-experimental (test field) with no control group, which ran for three months (February to April 2011), with sessions of two hours, three times a week. This study analyzed six institutionalized elderly female with a mean age of 85 years. A questionnaire was given characterization of the sample, the Mini-Mental State Examination (MMSE) (adapted to the Portuguese population) for the assessment of general cognitive function, as well as the Test of Rey Complex Figure, for evaluation of visual perception and memory. Results: The analysis of the results allows us to verify that there is an improvement in all evaluated items, when comparing pretest and posttest. In summary, we found that the average of correct answers in all tests, before the intervention was 52.9% and after the intervention was 69.8%, verifying an overall increase of 16.9% of correct answers, after the intervention. The item where participants demonstrated greater difficulties at the moment before the intervention was playing in the exercise of memory in the Rey Complex Figure, and attention and calculation ability and Constructive (MMSE). However, after the intervention, the highest increases were observed especially in these last two items mentioned (30% and 33.3% respectively).
Resumo:
Este projeto tem como objetivo apresentar uma maneira diferente de abordar os conceitos de funções quadráticas, propondo exercícios de motivação e de fixação de conteúdos, com questões contextualizadas e voltadas para o dia-a-dia do educando. Pretende-se auxiliar os docentes e tornar, assim, a aprendizagem de seus discentes mais prazerosa, desmistificando a Matemática, oportunizando aos alunos a utilização dos conceitos matemáticos em seu cotidiano. Utilizando as ferramentas tecnológicas já disponíveis na maioria das escolas de Educação Básica, apresentarse-ão atividades usando pelo menos um software livre para inspirar os professores na elaboração de suas aulas e consequentemente ajudar os discentes na construção do seu conhecimento.
Resumo:
Dissertação de Mestrado em Ciências da Educação - Especialização em Supervisão Pedagógica, apresentada à Escola Superior de Educação de Paula Frassinetti
Resumo:
Actividades do Departamento de Alimentação e Nutrição no âmbito da vigilância e segurança alimentar. Acreditação de ensaios segundo a NP/EN ISO 17025. Requisitos da Norma ISO 7218, Amd 1:2013. Colheita de amostras de alimentos prontos a comer, para avaliação do nível de qualidade microbiológica. Colheita de amostras de superfícies higienizadas para avaliação do estado higiénico. Valores Guia, INSA. Actividades de controlo analítico no âmbito da investigação de surtos de toxinfecção alimentar.
Resumo:
Analisa o comportamento informacional dos profissionais de jornalismo da TV Câmara e as funções dos parlamentares na cobertura jornalística diária da emissora legislativa.
Resumo:
Organizadores Maria Assunção Flores Clara Coutinho José Alberto Lencastre