Função de distribuição generalizada aplicada à velocidade de rotação estelar

In the present work we use a Tsallis maximum entropy distribution law to fit the observations of projected rotational velocity measurements of stars in the Pleiades open cluster. This new distribution funtion which generalizes the Ma.xwel1-Boltzmann one is derived from the non-extensivity of the Boltzmann-Gibbs entropy. We also present a oomparison between results from the generalized distribution and the Ma.xwellia.n law, and show that the generalized distribution fits more closely the observational data. In addition, we present a oomparison between the q values of the generalized distribution determined for the V sin i distribution of the main sequence stars (Pleiades) and ones found for the observed distribution of evolved stars (subgiants). We then observe a correlation between the q values and the star evolution stage for a certain range of stel1ar mass

Análise de grafos aplicada a relatos de sonhos: ferramenta diagnóstica objetiva e diferencial para psicose esquizofrênica e bipolar

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

Metodologia para rastreamento com modificação dos zeros e rejeição de distúrbio aplicada a sistemas incertos

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

Considerações sobre metodologia interativa aplicada à disciplinas de química orgânica de alguns cursos da UFRN

The aiming of this work is linked to chemical education, focusing organic chemistry classes of Chemical Engineering, Pharmacy and Zootechny graduate courses of the Federal University of Rio Grande do Norte. For that, teaching-learning process related to basic chemical subjects which support the understanding of organic chemistry concepts was evaluated in a research period of two years. The education proposal linked to the theoretical content of the cited classes, pointed out the process of knowledge construction, in which educational commitment as well as dedication in the teaching-learning process was also valued. In that approach several didactic tools were applied, among them scientific articles were used as supplementary studies of the basic organic chemistry concepts and related. The acceptability of students, as well as their motivation, performance and learning process was justified by the data collection of the applied teaching methodology. The acceptability and commitment of the students facing this teaching interactive approach, which transversely contributed to the intellectual maturity growth of the students, as well their professional development, were evidenced by satisfactory obtained results that will be herein discussed

Prova automática de satisfatibilidade módulo teoria aplicada ao método B

Este trabalho apresenta uma extensão do provador haRVey destinada à verificação de obrigações de prova originadas de acordo com o método B. O método B de desenvolvimento de software abrange as fases de especificação, projeto e implementação do ciclo de vida do software. No contexto da verificação, destacam-se as ferramentas de prova Prioni, Z/EVES e Atelier-B/Click n Prove. Elas descrevem formalismos com suporte à checagem satisfatibilidade de fórmulas da teoria axiomática dos conjuntos, ou seja, podem ser aplicadas ao método B. A checagem de SMT consiste na checagem de satisfatibilidade de fórmulas da lógica de primeira-ordem livre de quantificadores dada uma teoria decidível. A abordagem de checagem de SMT implementada pelo provador automático de teoremas haRVey é apresentada, adotando-se a teoria dos vetores que não permite expressar todas as construções necessárias às especificações baseadas em conjuntos. Assim, para estender a checagem de SMT para teorias dos conjuntos destacam-se as teorias dos conjuntos de Zermelo-Frankel (ZFC) e de von Neumann-Bernays-Gödel (NBG). Tendo em vista que a abordagem de checagem de SMT implementada no haRVey requer uma teoria finita e pode ser estendida para as teorias nãodecidíveis, a teoria NBG apresenta-se como uma opção adequada para a expansão da capacidade dedutiva do haRVey à teoria dos conjuntos. Assim, através do mapeamento dos operadores de conjunto fornecidos pela linguagem B a classes da teoria NBG, obtem-se uma abordagem alternativa para a checagem de SMT aplicada ao método B

Física estatística aplicada a sistemas sociais através do estudo de redes complexas

In this work a study of social networks based on analysis of family names is presented. A basic approach to the mathematical formalism of graphs is developed and then main theoretical models for complex networks are presented aiming to support the analysis of surnames networks models. These, in turn, are worked so as to be drawn leading quantities, such as aggregation coefficient, minimum average path length and connectivity distribution. Based on these quantities, it can be stated that surnames networks are an example of complex network, showing important features such as preferential attachment and small-world character

A teoria da ruína aplicada em um modelo de empresa financeira com risco de crédito

In this work we study a new risk model for a firm which is sensitive to its credit quality, proposed by Yang(2003): Are obtained recursive equations for finite time ruin probability and distribution of ruin time and Volterra type integral equation systems for ultimate ruin probability, severity of ruin and distribution of surplus before and after ruin

Microscopia de força atômica aplicada em imunoensaios

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

Modelagem matemática aplicada ao controle biológico de Ceratitis capitata Wiedemann (Diptera: Tephritidae) por Diachasmimorpha longicaudata Ashmed (Hymenoptera: Braconidae) em Citrus

O modelo matemático apresentado tem como objetivos: (1) simular as dinâmicas populacionais de um sistema hospedeiro parasitóide de três níveis tróficos composto pelas populações de mosca-do-mediterrâneo Ceratitis capitata (Wiedemann), vespa braconídea parasitóide Diachasmimorpha longicaudata (Ashmed) e frutos cítricos; (2) auxiliar no melhor entendimento dos principais fatores biológicos e ecológicos que regem as interações populacionais e (3) colaborar com programas mais eficientes de controle biológico para o sistema em questão. A metodologia empregada baseou-se na formulação de sistemas de equações de diferenças que descrevessem os processos de interação do sistema trófico. Posteriormente, foram elaboradas resoluções numéricas desses sistemas de equações e sua representação gráfica, utilizando-se o programa computacional Matlab, versão 6.1. Os dados biológicos e ecológicos necessários para a formulação das equações matemáticas foram fornecidos por especialistas em controle de C. capitata e retirados da literatura referente ao controle biológico das moscas-das-frutas em plantações de citros no Brasil, principalmente através da utilização de vespas parasitóides, como D. longicaudata. Os resultados obtidos nas simulações sugerem que o modelo proposto descreve adequadamente o sistema ecológico em questão e permite entender melhor suas principais características biológicas e ecológicas. em conseqüência pode auxiliar na escolha do modo e momento para liberação da vespa parasitóide para o controle mais efetivo de C. capitata.

Propriedades eletrônicas e estruturais do PbTiO3: teoria do funcional de densidade aplicada a modelos periódicos

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

Espectroscopia de impedância eletroquímica aplicada ao estudo das reações heterogêneas em ânodos dimensionalmente estáveis

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

Efeitos colaterais da ranitidina aplicada em dose terapêutica em cães saudáveis

O objetivo deste trabalho foi verificar se a dose de ranitidina 2mg kg-1, aplicada via intravenosa, causa êmese ou hipotensão em cães saudáveis. Foram selecionados 10 cães da raça Retriever do Labrador, 10 da raça Beagle e 10 cães sem raça definida, sendo cinco animais de cada sexo. Os animais foram submetidos ao exame clínico e à avaliação da pressão sanguínea antes da aplicação do fármaco e também 10 minutos e quatro horas após a administração deste. Após a aplicação, observou-se que 13,3% dos animais apresentaram-se normais; 6,7% dos cães apresentaram apatia; 50% dos animais apresentaram salivação e 30% apresentaram apatia, salivação, mímica de vômito ou êmese. Não houve diminuição significativa da pressão arterial após a administração do fármaco. Conclui-se que o uso de ranitidina na dose terapêutica, aplicada via intravenosa, pode provocar apatia, salivação, mímica de vômito e êmese.

Inferência bayesiana aplicada à estimação de herdabilidades dos parâmetros da curva de crescimento de fêmeas da raça Nelore

Objetivou-se estimar parâmetros genéticos, utilizando inferência Bayesiana, para as estimativas dos parâmetros individuais de peso à maturidade (Â) e taxa de crescimento, obtidos pela função de crescimento Brody. O arquivo estava constituído de 14.563 registros de pesos e idades referentes a 1.158 fêmeas da raça Nelore, participantes do Programa de Melhoramento Genético da Raça Nelore. Para a análise das estimativas dos parâmetros da curva, via inferência bayesiana, foi proposto um modelo animal unicaráter, que incluiu como fixo o efeito de grupo contemporâneo (animais nascidos no mesmo estado, no mesmo trimestre do ano, mesmo ano e mesmo regime alimentar) e como aleatórios os efeitos genético direto e residual. Nessa análise, foram utilizados dois diferentes tamanhos para as cadeias geradas pelo algoritmo de amostragem de Gibbs, de 550 e 1.100 mil ciclos, com períodos de descarte amostral de 50 e 100 mil ciclos, respectivamente, e amostragens a cada 500 e 1.000 ciclos, respectivamente. As médias posteriores da variância genética aditiva e residual foram próximas, tanto para  quanto para a, mesmo quando implementados diferentes tamanhos para as cadeias geradas pelo algoritmo de amostragem de Gibbs. Os coeficientes de herdabilidade estimados para Â, variaram de 0,44 a 0,46, amplitude semelhante aos 0,46 a 0,48 obtidos para as estimativas de. Essas magnitudes indicam que a seleção pode ser usada como instrumento para alterar a forma da curva de crescimento desses animais. Entretanto, o uso das informações obtidas, visando à alteração da curva de crescimento dos animais, deve ser feito com grande cautela, uma vez que as características a serem trabalhadas na modificação do formato da curva de crescimento, de acordo com resultados da literatura especializada, são negativamente correlacionadas.

Análise de risco aplicada ao manejo precaucionário das pescarias artesanais na região do reservatório da UHE-Tucuruí (Pará, Brasil)

As pescarias no reservatório da UHE-Tucuruí no rio Tocantins, Pará, envolvem cerca de 6.000 pescadores e movimentam cerca de R$ 4,2 milhões/ano. A atividade se concentra em três espécies principais: tucunaré Cichla monoculus (capturado com anzol), pescada Plagioscion squamosissimus (capturado com rede e/ou anzol) e mapará Hypophthalmus marginatus (capturado com rede). Com o objetivo de caracterizar os pescadores e as pescarias do reservatório, criar cenários de aumento do esforço pesqueiro e prever os momentos de conflito pela escassez de recursos, foram levantadas informações da literatura e realizadas duas campanhas de coleta de dados nos anos de 1999 e 2000, envolvendo entrevistas com líderes comunitários e pescadores. As seguintes variáveis foram consideradas: desembarque por espécie-alvo (de acordo com os registros fornecidos pelas colônias de pescadores), artes de pesca, estratégias dos pescadores, conflitos e formas de apropriação do espaço e rendimentos da atividade. Estas variáveis foram inseridas em um modelo dinâmico, simulado no software Vensim PLE para um período de 10 anos a partir de 1999. Os resultados indicam que a pesca de anzol é a estratégia mais rentável, e que possíveis momentos de conflito devido à escassez de recursos podem acontecer em curto prazo (2005). A metodologia utilizada para as simulações e análises de risco também se revelou adequada à realidade local e ao conjunto de dados disponíveis.