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

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