Evolução top-hat hidrodinâmica em campos de velocidades peculiares primordiais

We investigate the cosmology of the vacuum energy decaying into cold dark matter according to thermodynamics description of Alcaniz & Lima. We apply this model to analyze the evolution of primordial density perturbations in the matter that gave rise to the first generation of structures bounded by gravity in the Universe, called Population III Objects. The analysis of the dynamics of those systems will involve the calculation of a differential equation system governing the evolution of perturbations to the case of two coupled fluids (dark matter and baryonic matter), modeled with a Top-Hat profile based in the perturbation of the hydrodynamics equations, an efficient analytical tool to study the properties of dark energy models such as the behavior of the linear growth factor and the linear growth index, physical quantities closely related to the fields of peculiar velocities at any time, for different models of dark energy. The properties and the dynamics of current Universe are analyzed through the exact analytical form of the linear growth factor of density fluctuations, taking into account the influence of several physical cooling mechanisms acting on the density fluctuations of the baryonic component of matter during the evolution of the clouds of matter, studied from the primordial hydrogen recombination. This study is naturally extended to more general models of dark energy with constant equation of state parameter in a flat Universe

Um framework conceitual para apoiar a instrumentação da avaliação formativa da aprendizagem em jogos digitais

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

Geração de processos WS-BPEL com base em um algoritmo de reescrita de regras

Web services are computational solutions designed according to the principles of Service Oriented Computing. Web services can be built upon pre-existing services available on the Internet by using composition languages. We propose a method to generate WS-BPEL processes from abstract specifications provided with high-level control-flow information. The proposed method allows the composition designer to concentrate on high-level specifi- cations, in order to increase productivity and generate specifications that are independent of specific web services. We consider service orchestrations, that is compositions where a central process coordinates all the operations of the application. The process of generating compositions is based on a rule rewriting algorithm, which has been extended to support basic control-flow information.We created a prototype of the extended refinement method and performed experiments over simple case studies

On rich modal logics

I thank to my advisor, João Marcos, for the intellectual support and patience that devoted me along graduate years. With his friendship, his ability to see problems of the better point of view and his love in to make Logic, he became a great inspiration for me. I thank to my committee members: Claudia Nalon, Elaine Pimentel and Benjamin Bedregal. These make a rigorous lecture of my work and give me valuable suggestions to make it better. I am grateful to the Post-Graduate Program in Systems and Computation that accepted me as student and provided to me the propitious environment to develop my research. I thank also to the CAPES for a 21 months fellowship. Thanks to my research group, LoLITA (Logic, Language, Information, Theory and Applications). In this group I have the opportunity to make some friends. Someone of them I knew in my early classes, they are: Sanderson, Haniel and Carol Blasio. Others I knew during the course, among them I’d like to cite: Patrick, Claudio, Flaulles and Ronildo. I thank to Severino Linhares and Maria Linhares who gently hosted me at your home in my first months in Natal. This couple jointly with my colleagues of student flat Fernado, Donátila and Aline are my nuclear family in Natal. I thank my fiancée Luclécia for her precious a ective support and to understand my absence at home during my master. I thank also my parents Manoel and Zenilda, my siblings Alexandre, Paulo and Paula.Without their confidence and encouragement I wouldn’t achieve success in this journey. If you want the hits, be prepared for the misses Carl Yastrzemski

Crítica ao fundacionismo cartesiano com base no argumento contra a linguagem privada

This assignment ains to prove the pertinency of using the wittgenstein´s argument against private language as a criticism to cartesian fundacionism. Therefore, I want to demonstrate in the first chaper the conceptual viability of facing the cartesian argument of cogito not as a simple silogism but as an exemple of a private experience (process of thinking). At the second chaper, the subordination of the argument against private language give us the idea that rules can only be followed by means of corrections givem by a linguistic community that is external to the private subject, in a way to be unviable the assumption that is possible to name an internal experience without searching external rules of the use of terms. At the chaper 3 the pertinency of the hypothesis raised by A. Kenny, about the overtaking of the argument against private language can be extended to the idea of epistemic and ontologic privacy that would lend validity to the fundacion present at the argument at the cartesian cogito. In oder to become evident the pertinency of use of Wittgenstein´s argument agaist Descartes´ fundation, it´s necessary, at the chaper 3, to demonstrate the impertinency of the objection to the A. Kenny´s hypothesis, based on the experiency of the thought of the brain at the recipient, to make clear the incompatibility existing between the cartesian idea of cogito and Wittgenstein´s notion that language is an activitie followed by rules, wich correction criterion may be external and intersubjective

Evolução termocronológica do sistema de falhas Senador Pompeu-CE

The region of the Senador Pompeu Shear Zone (SPSZ), in the North Tectonic Domain of the Borborema Province (BP), has its recent history associated with to South Atlantic Ocean formation event at the Jurassic. A lot of geologics models have discussed about crustal axis elevation in local scale and large scale (Borborema Province), relative to importants regionals tectonics directions of it. The identification and the relationship among this surfaces, stepped in many topographyc levels by tectonics mecanisms, is dificult because of the erosion process on it. Over there, sedimentary deposits is complex and it has not biostratigraphyc record in continental deposits. The analysis metodology on apatita fission-track, in the region of the SPSZ, purpose the more knowledge about morphotectonics mecanisms of the area and the impruvement of its morphotectonics models. For this, it was moleled the age and thermal history of the 11 apatites samples collected on both sides of this shear zone, taking relationships among other results of the thermochronology studies in the BP. Based on the thermal studies in this search, the region of the BP developed on two distint cooling events, separated for one period of relative stabilited. The first episode occur between 130 and 90 M.y., has been began when the samples cross the 120°C isoterm for last time and fineshed at 70°C. The second moment of the cooling process was began about 30 M.y., when the temperature was 90°C, from this to the equlibrium with present surface temperature at 30°C. Some evidences indicated a relacionship between thermal episodes and uplift events of the regional relief. The fundaments of the interpretation was based mainly on comparatives studies among results of the thermochronology analysis and geologics studies about BP. Nóbrega et al.(2005), e.g., on studies about the Portalegre Shear Zone, got similar results on SPSZ, with some details relative to local tectonic activity. Morais Neto et al. (2000) interpreted two importants cooling events in the BP based on their regional studies, that can be associated to regional uplift events. When Assine (1992) studied the stratigraphyc sequences of the Araripe Basin, in the south of Ceará state, conclude that the abrupt return to continentals condictions from the last sedimentar sequency (albiano-cenomaniane) indicate a regional uplift of the NE region of the Brazil at the 100 M.y., in the Albiano Intermediate/Superior. This ages are compatible to termal model of the SPSZ. This two periods of the thermal history of the BP are completely registered in the apatites samples just one age groups of the fission-track, that it is the most ancient age groups. This one suggest it has happened in response to heating before 75 M.y and it has erased the last report of the first moment relief evolution of the BP. The NNE-SSW and E-W structure reativation can have created ideal condictions for heating and local elevations of the geothermal gradients. The equilibrium between the apatites temperatures of this groups and the regionais temperatures took place about 50 M.y., when the samples of the two ages groups had a simillar evolution to present surfaces temperatures

Contribuição do contraste negativo na artrografia tomográfica do joelho normal de cães

A ruptura do ligamento cruzado cranial é uma das causas mais comuns de claudicação do membro pélvico de cães. A radiografia e a ultrassonografia são métodos de diagnóstico frequentemente utilizados na rotina clínica de pequenos animais, porém a tomografia computadorizada é uma modalidade de imagem ainda pouco estudada para avaliar a articulação do joelho de cães. O presente trabalho teve por objetivo avaliar a contribuição do contraste negativo na artrografia tomográfica do joelho normal de cães, para visibilizar as estruturas intra-articulares e padronizar o uso desse contraste na articulação. Foram utilizados 24 membros pélvicos de cães de raças variadas, selecionados pela ausência de histórico de doença articular prévia do joelho e por apresentarem exames radiográficos, ultrassonográficos e macroscópicos normais. O experimento foi delineado em dois grupos, sendo o grupo I constituído de animais com peso até 20 kg e grupo II acima de 20 kg. Foram feitos cortes tomográficos com o membro flexionado e estendido. A quantidade média de ar empregada para a distensão da cápsula articular foi de 49 ml para o Grupo I e de 81 ml para o Grupo II. Utilizou-se um tubo de látex na porção distal à articulação do joelho para reduzir o escape de ar pelo tendão extensor digital profundo, que possui comunicação intra-articular. Foi possível visibilizar pela imagem tomográfica, em todas as articulações, as seguintes estruturas: ligamento cruzado cranial e caudal, meniscos medial e lateral, ligamento patelar, ligamentos colaterais e cápsula articular. Desta forma, o contraste negativo se mostrou uma alternativa eficaz para auxiliar a identificação das estruturas anatômicas do joelho na artrografia tomográfica.

Avaliação econômica de sistemas agroflorestais implantados para recuperação de reserva legal no Pontal do Paranapanema, São Paulo

O Pontal do Paranapanema, extremo oeste do Estado de São Paulo, é conhecido em todo o Brasil devido aos conflitos pela posse da terra, protagonizados pelo Movimento dos Trabalhadores Rurais Sem Terra (MST), que transformou significativamente a paisagem da região, onde atualmente se observam pequenas ilhas de assentamentos rurais imersos numa matriz de grandes pastagens. O Código Florestal prevê que esses assentamentos, assim como qualquer propriedade rural, deve manter 20% de sua área com cobertura vegetal arbórea. Essa área, conhecida como Reserva Florestal Legal, deve ser restaurada, caso não exista. Assim, esta pesquisa se desenvolveu no assentamento Santa Zélia, Município de Teodoro Sampaio, São Paulo, numa área de 15 ha de Reserva Legal. Seis famílias desse assentamento foram responsáveis pela restauração da área, através de módulos agroflorestais (Taungya) temporários. Dois indicadores foram utilizados para avaliação econômica da produção agrícola na área: Valor Presente Líquido (VLP) e Relação Benefício-Custo (RB/C). Os resultados indicaram valores positivos em todas as famílias analisadas, levando à conclusão de que sistemas agroflorestais podem ser adotados na recuperação de áreas de reserva legal em propriedades rurais. Sua maior ou menor viabilidade econômica irá depender de um manejo mais intenso na área para produção agrícola e de preços satisfatórios para venda no mercado.

The Chemical Percolation Devolatilization Model Applied to the Devolatilization of Coal in High Intensity Acoustic Fields

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

A validação do Teste de Juízo Moral (MJT) para diferentes culturas: o caso brasileiro

The present article deals with the adaptation of the Moral Judgment Test (MJT) for the Portuguese language. The principles of the test, its format and the process of content, construct and criterion validation are presented. In the same way, reliability is discussed using Brazilian research results that produced the necessity of elaborating another dilemma to compose the MJT-xt (extended).

Investimentos na indústria brasileira depois da abertura e do real: o mini-ciclo de modernizações, 1995-1997

Incluye Bibliografía

Análise da produtividade e viabilidade econômica de quatro sistemas de berçários do camarão-da-Amazônia, Macrobrachium amazonicum

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

Posicionamento por ponto preciso estático e cinemático: implementação e análise

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

Controle robusto h-infinito chaveado para sistemas lineares

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

Navegação de robôs em ambientes internos usando slam

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