Análise de variância WAVELET de séries temporais com dados faltantes: avaliação do índice de cintilação ionosférica S4 em sinais de satélite GPS

Pós-graduação em Matematica Aplicada e Computacional - FCT

O Raciocínio lógico-matemático: classificação e uso em concursos públicos

This study offers an analysis of classification of the main issues of logic and logical thinking found in competitive tendering and math tests, according to their concepts and characteristics, whether involving mathematics, or not. Moreover, a research on the evolutionary historic processes of logic according to three major crises of the foundations of mathematics was conducted. This research helped to define Logic as a science that is quite distinctive from Mathematics. In order to relate the logical and the mathematical thinking, three types of knowledge, according to Piaget, were presented, with the logical-mathematical one being among them. The study also includes an insight on the basic concepts of propositional and predicative logic, which aids in the classification of issues of logical thinking, formal logic or related to algebraic, and geometric or arithmetic knowledge, according to the Venn diagrams. Furthermore, the key problems - that are most frequently found in tests are resolved and classified, as it was previously described. As a result, the classification in question was created and exemplified with eighteen logic problems, duly solved and explained

Considerações históricas sobre o infinito e alguns de seus paradoxos

This research aims to elucidate some of the historical aspects of the idea of infinity during the creation of calculus and set theory. It also seeks to raise discussions about the nature of infinity: current infinite and potential infinite. For this, we conducted a survey with a qualitative approach in the form of exploratory study. This study was based on books of Mathematics' History and other scientific works such as articles, theses and dissertations on the subject. This work will bring the view of some philosophers and thinkers about the infinite, such as: Pythagoras, Plato, Aristotle, Galilei, Augustine, Cantor. The research will be presented according to chronological order. The objective of the research is to understand the infinite from ancient Greece with the paradoxes of Zeno, during the time which the conflict between the conceptions atomistic and continuity were dominant, and in this context that Zeno launches its paradoxes which contradict much a concept as another, until the theory Cantor set, bringing some paradoxes related to this theory, namely paradox of Russell and Hilbert's paradox. The study also presents these paradoxes mentioned under the mathematical point of view and the light of calculus and set theory

Programação por metas e análise envoltória de dados na avaliação de unidades de produção global: uma aplicação em uma empresa do segmento químico

Considering the high competitivity in the market, the application of quantitative methods can assist in analyzing the efficiency of production facilities of areas of export and import processes of the chemical industry sector. In this sense, this work aims to apply the model GPDEA-BCC optimization in order to develop an analysis of the production units of this chemical industry. So, were chosen variables relevant to the process and elaborated a final comparison between the results obtained by the optimization tool and performance indexes provided by the company. These results indicated that some production units should be monitored more carefully because some of them had a low efficiency when analyzed with multi criteria

Um Modelo de otimização inteira mista na programação de produção de mangueiras hidráulicas

This work deals with a problem of mixed integer optimization model applied to production planning of a real world factory that aims for hydraulic hose production. To optimize production planning, a mathematic model of MILP Mixed Integer Linear Programming, so that, along with the Analytic Hierarchy process method, would be possible to create a hierarchical structure of the most import criteria for production planning, thus finding through a solving software the optimum hose attribution to its respective machine. The hybrid modeling of Analytic Hierarchy Process along with Linear Programming is the focus of this work. The results show that using this method we could unite factory reality and quantitative analysis and had success on improving performance of production planning efficiency regarding product delivery and optimization of the production flow

Análise de variância WAVELET de séries temporais com dados faltantes: avaliação do índice de cintilação ionosférica S4 em sinais de satélite GPS

Pós-graduação em Matematica Aplicada e Computacional - FCT

O processo histórico de disciplinarização da Metodologia do Ensino de Matemática

Desde as primeiras décadas do século XX, foi constatada nos currículos dos cursos de formação de professores a existência de uma disciplina cuja constituição, funcionamento e objetivos têm como pressuposto ensinar a ensinar a matemática. Historicamente, a disciplina Metodologia do Ensino de Matemática tem aparecido nos cursos de Licenciatura em Matemática com distintas denominações. Ao longo dessas mudanças, os pressupostos e as características dessa disciplina foram se modificando. Tomando como metodologia de pesquisa a análise documental e a história oral, e como referencial teórico os estudos de André Chervel (1990), este trabalho teve como objetivo compreender o processo histórico de disciplinarização da Metodologia do Ensino de Matemática em cursos de licenciatura em Matemática de instituições públicas de ensino superior do estado de São Paulo (USP, UNICAMP e UNESP-Rio Claro), buscando conhecer a gênese e o desenvolvimento histórico da disciplina, identificando conteúdos e métodos propostos bem como as mudanças pelas quais passou a disciplina.

Alternative Tasks for the Teaching and the Learning of functions: analysis of an intervention in the High School

In this paper we focus on the application of two mathematical alternative tasks to the teaching and learning of functions with high school students. The tasks were elaborated according to the following methodological approach: (i) Problem Solving and/or mathematics investigation and (ii) a pedagogical proposal, which defends that mathematical knowledge is developed by means of a balance between logic and intuition. We employed a qualitative research approach (characterized as a case study) aimed at analyzing the didactic pedagogical potential of this type of methodology in high school. We found that tasks such as those presented and discussed in this paper provide a more significant learning for the students, allowing a better conceptual understanding, becoming still more powerful when one considers the social-cultural context of the students.

The Poisson-exponential regression model under different latent activation schemes

In this paper, a new family of survival distributions is presented. It is derived by considering that the latent number of failure causes follows a Poisson distribution and the time for these causes to be activated follows an exponential distribution. Three different activation schemes are also considered. Moreover, we propose the inclusion of covariates in the model formulation in order to study their effect on the expected value of the number of causes and on the failure rate function. Inferential procedure based on the maximum likelihood method is discussed and evaluated via simulation. The developed methodology is illustrated on a real data set on ovarian cancer.

EXTENSION OF AUTOMORPHISMS OF SUBGROUPS

Let G be a group such that, for any subgroup H of G, every automorphism of H can be extended to an automorphism of G. Such a group G is said to be of injective type. The finite abelian groups of injective type are precisely the quasi-injective groups. We prove that a finite non-abelian group G of injective type has even order. If, furthermore, G is also quasi-injective, then we prove that G = K x B, with B a quasi-injective abelian group of odd order and either K = Q(8) (the quaternion group of order 8) or K = Dih(A), a dihedral group on a quasi-injective abelian group A of odd order coprime with the order of B. We give a description of the supersoluble finite groups of injective type whose Sylow 2-subgroup are abelian showing that these groups are, in general, not quasi-injective. In particular, the characterisation of such groups is reduced to that of finite 2-groups that are of injective type. We give several restrictions on the latter. We also show that the alternating group A(5) is of injective type but that the binary icosahedral group SL(2, 5) is not.

Evaluación higiénico sanitaria en queserías industriales y artesanales de Canarias

[ES] El objetivo general de realizar una evaluación higiénico-sanitaria en queserías industriales y artesanales de Canarias, se consideró de gran interés realizar un estudio de los principales establecimientos lácteos en los que a través de diversas encuestas (APPCC, LD, producción, HAS, test de manipuladores) y mediante la aplicación de controles microbiológicos (de superficies y productos), se permitiera valorar a través de la identificación de los principales riesgos y/o peligros, la calidad higio-sanitaria de estos productos.

Ecology of marine bacteroidetes: a genomics approach

Institut de Ciències del Mar (ICM-CSIC). Doctorado en oceanografía. Con mención de Calidad de la ANECA

Las terrazas del rio Miño en el tramo Chantada-As Neves (límite de Galicia Portugal)

[ES] La cartografía geomorfológica es especialmente difícil en áreas con depósitos escasos, poco significativos y de cronología incierta,con formas multiedad y multiorigen. Tal es el caso de Galicia. Este trabajo es un intento de reconstruir la historia geomorfológica de Galicia durante el Cenozoico en un área especialmente relevante por su situación geodinámica. Se ha hecho un inventario exhaustivo de los niveles de terrazas erosivas y de acumulación en un tramo específico, por sus características morfológicas del curso principal del río Miño. Se presentan aquí los sistemas de terrazas entre Chantada y As Neves y se relacionan con las tres superficies de corrosión química (etched surfaces) más relevantes en la zona: R800, R600 y R400. Se analiza también su relación con el perfil longitudinal del río. Utilizando los únicos criterios existentes (continuidad topográfica y altitud), se propone para el sector estudiado un modelo evolutivo esencialmente determinado por la incisión fluvial asociada a la colisión entre la Placa Euroasiática y la Ibérica durante el Paleógeno y que geomorfológicamente se inicia a partir de la formación del aplanamiento R600, equivalente en Galicia a la Superficie Fundamental Peninsular.

Las terrazas del río Sil en el tramo Carucedo-Os Peares, SE de Galicia

[ES] Se describen los sistemas de terrazas del Río Sil desde el Bierzo hasta la confluencia con el Miño. En este tramo el río se encaja profundamente sobre las principales superficies de erosión del SE gallego (R400, R600, R800, RlOOO y R1200). Junto a los niveles de terraza con depósitos se observa la presencia de superficies terraza y aplanamientos de mayor extensión, siempre asociados al encajamiento fluvial. Se analiza la morfometría y los perfiles longitudinales de la red; así como la distribución de las terrazas y aplanamientos incluidos en el encajamiento. Se reconocen algunos cambios en la evolución de la red simultáneos a la sedimentación de las fosas terciarias (Monforte de Lemos, Quiroga, A Rúa-O Barco). La antigüedad de la red y un descenso generalizado en el nivel de base del Sistema Miño-Sil, podría justificar estos acontecimientos. Sin embargo, existen indicios de cierto control tectónico. Por último se propone un modelo evolutivo del tramo estudiado, para la etapa posterior a la formación del aplanamiento RlOOO.