Estudo da organização funcional do sistema circadiano por meio de ferramentas computacionais e matemáticas

Circadian rhythms are variations in physiological processes that help living beings to adapt to environmental cycles. These rhythms are generated and are synchronized to the dark light cycle through the suprachiasmatic nucleus. The integrity of circadian rhythmicity has great implication on human health. Currently it is known that disturbances in circadian rhythms are related to some problems of today such as obesity, propensity for certain types of cancer and mental disorders for example. The circadian rhythmicity can be studied through experiments with animal models and in humans directly. In this work we use computational models to gather experimental results from the literature and explain the results of our laboratory. Another focus of this study was to analyze data rhythms of activity and rest obtained experimentally. Here we made a review on the use of variables used to analyze these data and finally propose an update on how to calculate these variables. Our models were able to reproduce the main experimental results in the literature and provided explanations for the results of experiments performed in our laboratory. The new variables used to analyze the rhythm of activity and rest in humans were more efficient to describe the fragmentation and synchronization of this rhythm. Therefore, the work contributed improving existing tools for the study of circadian rhythms in mammals

Sinalização cromática da condição reprodutiva de fêmeas de segui comum (Callithrix jacchus)

As social animals, primates use different sensory modalities (acoustic, chemical, tactile and visual) to convey information about social and sexual status to conspecifics. Among these modalities, visual signals are widely used, especially color signals, since primates are the mammalian group that displays the greatest variety of colors in their skin and fur. Studies with Old World primate species suggest that hormonal variations are related to variations in the colors of individual faces and genitals. Therefore, chromatic cues can be used by conspecifics to identify the reproductive condition of an individual. To date, studies with the same approach are unknown for New World species. However, behavioral and physiological studies suggest that different New World primate species seem to perceive reproductive conditions such as the timing of female conception and gestation. Thus, in this study, our aim was to: i) identify whether there are chromatic cues on the skin of female common marmosets, (Callithrix jacchus) that indicate their reproductive condition; ii) define whether this chromatic variation can be perceived by all visual phenotypes known in this species; iii) identify if these chromatic cues can be perceived under different light intensity levels (dim, intermediate and high). For this, we selected 13 female common marmosets in four distinct reproductive conditions: pregnant female preceding parturition, postpartum mothers, noncycling and cycling females. The coloration of the skin in genital and thigh areas in females was measured using a spectrophotometer. Using mathematical models of visual perception, we calculated the values of quantum catch for each photoreceptor type known in this species, the visual opponency channels and color contrast between those body spots. Our results indicate the occurance of chromatic variations in the genital area during the weeks that precede and follow parturition, forming a U-pattern of variation perceptible to males and females in natural conditions of low and high luminosity. Furthermore, we observed distinct color patterns in the genital skin of pregnant and cycling females that indicate their reproductive conditions. Finally, we present evidence of color contrast in noncycling females that is higher than that of pregnant ones. This study suggests that there is a chromatic xii variation in the genital skin of females that can be perceived by conspecifics and that may be related to hormonal changes typical of pregnancy and the ovarian cycle

Especificação do tipo intervalar parametrizado em CASL

The interval datatype applications in several areas is important to construct a interval type reusable, i.e., a interval constructor can be applied to any datatype and get intervals this datatype. Since the interval is, of certain form, a set of elements limited for two bounds, left and right, with a order notions, then it s reasonable that interval constructor enclose datatypes with partial order. On the order hand, what we want is work with interval of any datatype like this we work with this datatype then. it s important to guarantee the properties of the datatype when maps to interval of this datatype. Thus, the interval constructor get a theory to parametrized interval type, i.e., a interval with generics parameters (for example rational, real, complex). Sometimes, the interval application in some algebras doesn t guarantee the mainutenance of their properties, for example, when we use interval of real, that satisfies the field properties, it doesn t guarantee the distributivity propertie. A form to surpass this problem Santiago introduced the local equality theory that weakened the notion of strong equality, and thus, allowing some properties are local keeped, what can be discard before. The interval arithmetic generalization aim to apply the interval constructor on ordered algebras weakened for local equality with the purpose of the keep their properties. How the intervals are important in applications with continuous data, it s interesting specify that theory using a specification language that supply a system development using intervals of form disciplined, trustworth and safe. Currently, the algebraic specification language, based in math models, have been use to that intention often. We choose CASL (Common Algebraic Specification Language) among others languages because CASL has several characteristics excellent to parametrized interval type, such as, provide parcialiy and parametrization

Métodos estatísticos recursivos aplicados ao problema de estimação de vazão de gás em plantas de Plunger-lift

This work has as main objective to find mathematical models based on linear parametric estimation techniques applied to the problem of calculating the grow of gas in oil wells. In particular we focus on achieving grow models applied to the case of wells that produce by plunger-lift technique on oil rigs, in which case, there are high peaks in the grow values that hinder their direct measurement by instruments. For this, we have developed estimators based on recursive least squares and make an analysis of statistical measures such as autocorrelation, cross-correlation, variogram and the cumulative periodogram, which are calculated recursively as data are obtained in real time from the plant in operation; the values obtained for these measures tell us how accurate the used model is and how it can be changed to better fit the measured values. The models have been tested in a pilot plant which emulates the process gas production in oil wells