nÃo hà / Apesar da relevÃncia do estudo de funÃÃo, devido à ampla aplicaÃÃo interdisciplinar a vÃrias Ãreas do conhecimento, tanto alunos quanto professores apresentam dificuldades em trabalhÃ-la para promover o desenvolvimento do processo de ensino e aprendizagem. A presente pesquisa investiga a facilitaÃÃo do desenvolvimento do processo de aprendizagem de FunÃÃo, utilizando-se uma metodologia educacional que valoriza a aprendizagem e a Modelagem MatemÃtica, articulando-se o uso operacional e pedagÃgico do Software Educativo Modellus. Assim, partiu-se para uma aÃÃo pedagÃgica, que foi concebida e desenvolvida junto a uma turma de alunos do Ensino MÃdio, numa escola municipal da cidade de Maranguape, Ce. Para efetivÃ-la, foi concebida uma proposta educativa, fundamentando-se em alguns pressupostos teÃricos: a aprendizagem significativa de Ausubel, o uso pedagÃgico do computador, segundo a proposta construtivista de Valente e o modelo de desenvolvimento da aprendizagem, construÃdo pelo aluno e auxiliado pelo uso interativo do computador, postulado por Almouloud. Para proceder o desenvolvimento da mesma, o presente pesquisador-educador adotou uma abordagem de pesquisa qualitativa e com caracterÃsticas de pesquisa-aÃÃo. Numa primeira aÃÃo em sala de aula, foi aplicada uma prova, como instrumento de avaliaÃÃo dos conhecimentos prÃvios dos alunos sobre o tema FunÃÃes. A anÃlise destes resultados ofereceu subsÃdios para se conceber o planejamento de 16 aulas, distribuÃdas em 07 etapas, com carga horÃria total prevista de 32 horas. Para facilitar aos alunos em sala de aula o desenvolvimento da Modelagem MatemÃtica e da aprendizagem significativa do tema FunÃÃes, articulou-se o uso pedagÃgico do software Modellus. Para tanto, foram realizadas algumas sessÃes didÃticas, mediadas pelo professor-pesquisador, onde se destaca que os alunos, interativamente, construÃram e analisaram grÃficos de maneira simples, prÃtica e agradÃvel. Tal estratÃgia favoreceu o estabelecimento do trabalho cooperativo entre alunos e professor, de modo a incentivar e promover o processo e interaÃÃo aluno-computador, segundo o estabelecimento de ciclos de aÃÃo, reflexÃo e depuraÃÃo. Os alunos tambÃm elaboraram Mapas Conceituais para organizar e estruturar conteÃdo e resoluÃÃo de problemas associados. Numa etapa seguinte, foi aplicado um questionÃrio visando à coleta de dados, para proceder à anÃlise do perfil de aprendizagem, alguns aspectos pedagÃgicos e o uso de recursos tecnolÃgicos em sala de aula. Constata-se um progresso na construÃÃo de conhecimentos elaborada pelos alunos, analisando-se certos resultados coletados no teste, para verificar seus conhecimentos prÃvios, e determinadas situaÃÃes de aprendizagem, consolidadas pelos mesmos durante o uso do Modellus. Conclui-se que o uso pedagÃgico do computador tornou a aula mais interessante e atrativa, levou os alunos a desenvolverem uma compreensÃo mais facilitadora e motivadora de conteÃdos de FunÃÃo, incentivou a reflexÃo e os encorajou para desenvolverem novas habilidades e atitudes, favorecendo assim um processo educacional mais contextualizado dentro da realidade do sÃculo XXI. / Despite the relevance of studying the subject function, due to the wide application to various interdisciplinary areas of knowledge, students and teachers have difficulties to promote the development of teaching and learning. This research investigates pedagogical strategies in order to facilitate the development of the learning process of function, using an educational methodology that values learning and Mathematical Modeling, articulating the operational and pedagogical use of the Educational Software named Modellus. So it was conceive a pedagogical action, which was designed and cooperatively worked with students of a high school, located at the city of Maranguape, in Cearà State. To induce the steps of the pedagogical action, it was conceived an educational proposal, basing on some theoretical assumptions: the Ausubel meaningful learning, the educational computer use, according to Valente constructivist approach and according the learning development model, constructed by the learner and aided by the interactive use of computer, postulated by Almouloud. To work the proposal, this teacher-researcher adopted a qualitative research approach and with characteristics of action research. In the first action in the classroom, it was applied a test, as a tool for student's assessing of prior knowledge on the subject functions. The analysis of these results offered informations to conceive the planning of 16 lessons, divided into 07 stages, with expected total workload of 32 hours. To facilitate students in the classroom the development of mathematical modeling and meaningful learning of the theme functions, it was correlated the educational use of the software Modellus. For this aim, some educational sessions were conceived, mediated by the teacher-researcher, where was emphasized that the students interactively built and analyzed charts according a simple, practical and enjoyable style. Such strategy favored the establishment of the cooperative work between students and teacher in order to encourage and promote the process and interaction student-computer, according the establishment of action, reflection and deputation cycles. Students also developed conceptual maps to organize and structure content and resolution of associated problems. In a following step, a questionnaire was aimed in order to collect data to analyze the learning profile, some pedagogical aspects and the use of technology resources in the classroom. It was observed a progress in the knowledge construction developed by the students, analyzing some results collected on the test, to verify their previous knowledge, and certain learning situations, consolidated by them, while using the Modellus. We conclude that the pedagogical use of computer made the lesson more interesting and attractive, led the students to develop a more facilitative and motivational comprehension of the functionâs contents, stimulated the reflection and encouraged them to develop new skills and attitudes, thereby generating an educational process more contextualized within the twenty-first century reality. Keywords: Education and Mathematical Modeling; Study of Functions; Technology Integration into the Curriculum; Ausubelian Meaningful Learning; Cooperative Learning. Educational Software Modellus

Submitted by Algacilda Conceição (algacilda@sibi.ufrj.br) on 2018-03-06T15:33:32Z No. of bitstreams: 1 118625.pdf: 794533 bytes, checksum: 021214b7e5bb569ee318429cd6dd7e37 (MD5) / Made available in DSpace on 2018-03-06T15:33:32Z (GMT). No. of bitstreams: 1 118625.pdf: 794533 bytes, checksum: 021214b7e5bb569ee318429cd6dd7e37 (MD5) Previous issue date: 1967-12-07 / No capítulo I estão expostos os conceitos fundamentais relativos ao método direto de Liapunov, bem como estão enunciados os principais teoremas referentes ao mesmo. No capítulo II é feita a correspondência "conjunto de matrizes 2 x 2, reais simétricas -> espaço euclidiano tridimensional" que permitirá, no capítulo III, a definição do "cone das formas quadráticas de Liapunov associadas a um sistema linear", com o qual enunciaremos os teoremas do capítulo I em uma linguagem geométrica. O capítulo IV contém algumas aplicações desta linguagem à exposição e solução de algumas questões particulares. Os apêndices ao corpo do trabalho são dois: Apêndice I - em que estão reproduzidos e discutidos os programas do computador IBM 1130 usados para o estudo da "flexibilidade na escolha de uma forma quadrática de Liapunov". Apêndice II - em que é demonstrado um teorema de geometria, correspondente a um dos teoremas de Liapunov.

A análise de mapas temáticos, no contexto da agricultura de precisão (AP), é um recurso utilizado para compreender a variabilidade espacial dos atributos do solo em áreas de cultivo, podendo trazer importantes subsídios para a realização de um manejo racional, promovendo aumento da produtividade e redução do impacto ambiental. Neste contexto, o objetivo desse trabalho foi desenvolver e disponibilizar uma ferramenta computacional em ambiente web, que permite a geração de mapas temáticos fazendo uso de métodos tradicionais de interpolação de dados sugeridos na literatura (inverso da distância elevado à uma potência, média móvel e vizinho mais próximo). O software foi testado com dados provenientes de pesquisas de AP (atributos físicos e químicos do solo e produtividade do milho) desenvolvidas em uma área agrícola de 19,8 ha localizada na região oeste do estado do Paraná. Os resultados obtidos mostraram que o uso do software permitiu que fossem gerados mapas temáticos de variáveis normalmente utilizadas em agricultura de precisão, possibilitando avaliar a distribuição de cada atributo na área a ser trabalhada e identificar possíveis causas de variação na produtividade. Por estar instalado em servidor com recursos sob demanda, o software possui desempenho satisfatório do ponto de vista funcional e pode ser acessado de qualquer ambiente web (browser). / The analysis of thematic maps, in the precision agriculture (AP) context, is a resource used to understand the spatial variability of soil attributes in cultivated areas, witch can bring important subsidies for rational handling, improving yield and reducing environmental impact. Thus, the main goal of this research was to develop and make available a web-based software, which provides the ability to draw thematic maps according to well-known methods of data interpolation (inverse of distance weighted, moving average, nearest-neighbor). The software was tested with AP research data (physical and chemical soil attributes and corn yield) developed in a 19.8 ha agricultural area located in the western region of Parana state. The use of the software made possible generating thematic maps of variables usually used in precision agriculture, allowing to evaluate the distribution of each attribute in the area and identify possible causes of variations in yield. As the software is installed in a on-demand server, it provides good performance from a functional point of view and can be accessed from any web environment (browser).

A análise de mapas temáticos, no contexto da agricultura de precisão (AP), é um recurso utilizado para compreender a variabilidade espacial dos atributos do solo em áreas de cultivo, podendo trazer importantes subsídios para a realização de um manejo racional, promovendo aumento da produtividade e redução do impacto ambiental. Neste contexto, o objetivo desse trabalho foi desenvolver e disponibilizar uma ferramenta computacional em ambiente web, que permite a geração de mapas temáticos fazendo uso de métodos tradicionais de interpolação de dados sugeridos na literatura (inverso da distância elevado à uma potência, média móvel e vizinho mais próximo). O software foi testado com dados provenientes de pesquisas de AP (atributos físicos e químicos do solo e produtividade do milho) desenvolvidas em uma área agrícola de 19,8 ha localizada na região oeste do estado do Paraná. Os resultados obtidos mostraram que o uso do software permitiu que fossem gerados mapas temáticos de variáveis normalmente utilizadas em agricultura de precisão, possibilitando avaliar a distribuição de cada atributo na área a ser trabalhada e identificar possíveis causas de variação na produtividade. Por estar instalado em servidor com recursos sob demanda, o software possui desempenho satisfatório do ponto de vista funcional e pode ser acessado de qualquer ambiente web (browser). / The analysis of thematic maps, in the precision agriculture (AP) context, is a resource used to understand the spatial variability of soil attributes in cultivated areas, witch can bring important subsidies for rational handling, improving yield and reducing environmental impact. Thus, the main goal of this research was to develop and make available a web-based software, which provides the ability to draw thematic maps according to well-known methods of data interpolation (inverse of distance weighted, moving average, nearest-neighbor). The software was tested with AP research data (physical and chemical soil attributes and corn yield) developed in a 19.8 ha agricultural area located in the western region of Parana state. The use of the software made possible generating thematic maps of variables usually used in precision agriculture, allowing to evaluate the distribution of each attribute in the area and identify possible causes of variations in yield. As the software is installed in a on-demand server, it provides good performance from a functional point of view and can be accessed from any web environment (browser).

Made available in DSpace on 2016-08-17T14:53:13Z (GMT). No. of bitstreams: 1 Jose Flavio Gomes Barros.pdf: 2563906 bytes, checksum: 5ae457bf3263e1397fdee83f8bd6aaaa (MD5) Previous issue date: 2010-12-10 / This work is related to the modeling and development of agent "DICA" and the ONTOGRAM Ontology used in an Educational Assessment Environment that is integrated to the Virtual-TANEB software, having as main goal the availability of relevant and reliable information about student performance when solving math questions (quantities and measures) in the fifth year of elementary school (previous fourth grade), providing a more accurate diagnosis of the situation of students in this area. / Este trabalho visa a modelagem e desenvolvimento do agente DICA e da Ontologia ONTOGRAM usada no Ambiente de Avaliação Educacional integrado ao software Virtual-TANEB, tendo como objetivo a disponibilização de informações relevantes e confiáveis sobre o desempenho dos alunos na resolução de questões de matemática (grandezas e medidas) no quinto ano do ensino fundamental (antiga quarta série), proporcionando um diagnóstico mais preciso da situação do aluno nesta área de conhecimento.

Submitted by Cleide Dantas (cleidedantas@ufpa.br) on 2014-07-31T14:26:52Z No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_IpsflowFrameworkSistema.pdf: 5908429 bytes, checksum: 790a3383734a6d24cf5e9a14636bca8b (MD5) / Approved for entry into archive by Ana Rosa Silva (arosa@ufpa.br) on 2014-09-05T13:54:37Z (GMT) No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_IpsflowFrameworkSistema.pdf: 5908429 bytes, checksum: 790a3383734a6d24cf5e9a14636bca8b (MD5) / Made available in DSpace on 2014-09-05T13:54:37Z (GMT). No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_IpsflowFrameworkSistema.pdf: 5908429 bytes, checksum: 790a3383734a6d24cf5e9a14636bca8b (MD5) Previous issue date: 2013 / Os Sistemas de Detecção e Prevenção de Intrusão (Intrusion Detection Systems – IDS e Intrusion Prevention Systems - IPS) são ferramentas bastante conhecidas e bem consagradas no mundo da segurança da informação. Porém, a falta de integração com os equipamentos de rede como switches e roteadores acaba limitando a atuação destas ferramentas e exige um bom dimensionamento de recursos de hardware como processamento, memória e interfaces de rede de alta velocidade, utilizados para implementá-las. Diante de diversas limitações deparadas por pesquisadores e administradores de redes, surgiu o conceito de Rede Definida por Software (Software Defined Network – SDN), que ao separar os planos de controle e de dados, permite adaptar o funcionamento da rede de acordo com as necessidades de cada um. Desta forma, devido à padronização e flexibilidade propostas pelas SDNs, e das limitações apresentadas dos IPSs, esta dissertação de mestrado propõe o IPSFlow, um framework que utiliza uma rede baseada na arquitetura SDN e o protocolo OpenFlow para a criação de um IPS com ampla cobertura e que permite bloquear um tráfego caracterizado pelos IDS(s) como malicioso no equipamento mais próximo da origem. Para validar o framework, experimentos no ambiente virtual Mininet foram realizados utilizando-se o Snort como IDS para analisar tráfego de varredura (scan) gerado pelo Nmap de um host ao outro. Os resultados coletados apresentam que o IPSFlow funcionou conforme planejado ao efetuar o bloqueio de 85% do tráfego de varredura. / Intrusion Detection and Prevention Systems (IDSs/IPSs) are well known tools and well enshrined in the world of information security. However, the lack of integration with network equipment, such as switches and routers, tends to limit the performance of these tools leads to require a proper dimensioning of hardware resources such as processor, memory and high-speed network interfaces used to implement them. Faced with several limitations encountered by researchers and network administrators, the concept of Software Defined Network (SDN), that separates the data and control planes, emerged allowing to adapt the operation of the network according to their needs. Thus, due to standardization and flexibility offered by SDNs, and the limitations presented by IDSs, this dissertation proposes IPSFlow, a framework that uses a network based on the SDN architecture, and the OpenFlow protocol, to create an IPS with wide coverage that blocks a malicious traffic in the equipment closer to the origin. To validate the framework, experiments in the virtual Mininet environment were conducted using Snort as IDS to analyze scanning traffic generated by Nmap from a host to another. The results show that the IPSFlow worked as planned by blocking almost 85% of scanning traffic.

Submitted by Edisangela Bastos (edisangela@ufpa.br) on 2013-03-20T20:30:43Z No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_FerramentaComputacionalDimensionamento.pdf: 5505026 bytes, checksum: 5878a24a559a954e57075b4ec934afc7 (MD5) / Approved for entry into archive by Ana Rosa Silva(arosa@ufpa.br) on 2013-03-27T14:26:31Z (GMT) No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_FerramentaComputacionalDimensionamento.pdf: 5505026 bytes, checksum: 5878a24a559a954e57075b4ec934afc7 (MD5) / Made available in DSpace on 2013-03-27T14:26:31Z (GMT). No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_FerramentaComputacionalDimensionamento.pdf: 5505026 bytes, checksum: 5878a24a559a954e57075b4ec934afc7 (MD5) Previous issue date: 2012 / Esta dissertação apresenta a utilização alguns modelos matemáticos disponíveis na literatura para representar as etapas de processamento da energia em um Sistema Fotovoltaico Conectado à Rede Elétrica (SFCR). Além disso, propõem-se dois modelos representativos do comportamento da potência elétrica em situações de limitação de potência do inversor e das perdas elétricas em função do carregamento. Todas as modelagens estão implementadas computacionalmente no ambiente GUIDE do MATLAB, o que permite a análise, auxilia no dimensionamento e viabiliza a simulação da operacionalidade e consequente contribuição energética de SFCRs com diferentes tamanhos relativos. No trabalho ainda é mostrada a interface da ferramenta computacional desenvolvida e a validação dos dados gerados pelo programa com dados medidos experimentalmente de SFCRs, a qual evidencia a eficácia dos modelos utilizados e a melhora na precisão. Ao final são mostradas estimativas energéticas para cinco cidades brasileiras, além de exemplos de análise dos dados gerados pela ferramenta computacional. / This dissertation presents the utilization of some mathematical models present on literature which represent the energy processing steps on Grid-Connected Photovoltaic Systems (GCPV). Besides, two models regarding the power limitation due to inverter’s temperature and the electric losses are proposed. All models are implemented at MATLAB GUIDE enviroment which allows the analysis, helps on the design and makes possible the operacionality simulation and and energy contribution of GCPV with diferent sizes. The work presents the program interface developed and its data validation by comparing it with experimental data. Some energy forecasting for five Brazilian cities are shown at the end of the work with examples on how analyze the data generated by the program.

Submitted by Marta Toyoda (1144061@mackenzie.br) on 2018-10-09T18:48:03Z No. of bitstreams: 2 Andre Luiz Garcia Pereira.pdf: 3744578 bytes, checksum: a771cb04ee2c242cc6b35d79cfdc34ff (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Paola Damato (repositorio@mackenzie.br) on 2018-10-17T18:19:38Z (GMT) No. of bitstreams: 2 Andre Luiz Garcia Pereira.pdf: 3744578 bytes, checksum: a771cb04ee2c242cc6b35d79cfdc34ff (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2018-10-17T18:19:38Z (GMT). No. of bitstreams: 2 Andre Luiz Garcia Pereira.pdf: 3744578 bytes, checksum: a771cb04ee2c242cc6b35d79cfdc34ff (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2018-08-20 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The Submillimeter Solar Telescope (SST) operates simultaneously and independently with a multibeam focal array at 212 and 405 GHz. Since 1999, the SST daily monitors in different modes of observation the solar activity generating binary files from which solar maps can be extracted. The identification of Active Regions in these maps is affected by the strong atmospheric attenuation and inaccuracies of the telescope's pointing, therefore, maps are visually inspected to manually extract the Active Regions. This is a lengthy process for performing a statistical analysis over the 20-year data set already recorded. To automatize the process artificial intelligence techniques of machine learning and computer vision were proposed. A Convolutional Neural Network was created within the Keras framework for the classification of the SST maps and then, a computer vision algorithm in the OpenCV framework was used for the automatic detection of ARs. This hybrid approach allowed the identification of more than 400 active regions between January 2002 and December 2017 and their physical properties were statistically analysed. The results were validated comparing with previous works which were carried out with a visual identification and manual extraction procedure, and a good agreement was found. Moreover, we present for the first time, evidence of a positive correlation between the brightness temperature at 212 GHz and the flux density at 2.8 GHz (the S component) along the solar cycle. / O Telescópio Solar Submilimétrico (SST) opera simultaneamente e de forma independente, com uma matriz focal multifeixe em 212 e 405 GHz. Desde 1999, o SST monitora diariamente em diferentes modos de observação a atividade solar gerando arquivos binários dos quais mapas solares podem ser extraídos. A identificação de Regiões Ativas nesses mapas é afetada pela forte atenuação atmosférica e imprecisões dos apontamentos do telescópio, portanto, os mapas são visualmente inspecionados para extração manual as Regiões Ativas. Este é um processo demorado para a realização de uma análise estatística ao longo do conjunto de dados de 20 anos já registrado. Para automatizar o processo, foram propostas técnicas de inteligência artificial de aprendizado de máquina e de visão computacional. Uma Rede Neural Convolucional foi criada dentro do framework Keras para a classificação dos mapas SST e, em seguida, um algoritmo de visão computacional no framework OpenCV para a detecção automática das Regiões Ativas. Esta abordagem híbrida permitiu a identificação de mais de 400 Regiões Ativas entre janeiro de 2002 e dezembro de 2017 e a análise estatística de suas propriedades físicas. Os resultados foram validados a partir da comparação com trabalhos anteriores, que foram realizados com um procedimento de identificação visual e extração manual, e foi encontrada boa concordância. Além destes resultados, mostramos pela primeira vez evidências de uma correlação positiva entre a temperatura de brilho em 212 GHz e o fluxo em 2.8 GHz (componente S).