nÃo hà / Devido ao crescente uso de computadores e a forte dependÃncia dos mesmos em vÃrias aplicaÃÃes, as UPS (Uninterruptible Power Supplies) vÃm adquirindo cada vez mais importÃncia. Estes dispositivos encontram-se muitas vezes dentro de um contexto de um sistema distribuÃdo, o que fortalece a necessidade de gerenciamento dos mesmos. Devido à grande utilizaÃÃo das UPS em computadores, e devido ao fato destes, por sua vez, estarem inseridos em um ambiente de redes TCP/IP, torna-se bastante viÃvel a idÃia de se usar um sistema de gerenciamento que seja compatÃvel com esse ambiente, e que faÃa uso de suas potencialidades. No presente trabalho à apresentado a implementaÃÃo de um sistema de gerenciamento SNMP (Simple Network Management Protocol) para UPS que possibilita o gerenciamento de um nÃmero arbitrÃrio de UPS, e que permite a autenticaÃÃo remota para gerentes, facilitando o uso para um maior nÃmero de dispositivos. Detalha-se a implementaÃÃo do sistema bem como os testes realizados. No final do trabalho à apresentada uma proposta para trabalhos futuros na Ãrea. / The reliability of a computer system is based not only on the computer itself, but also on its related power system. For that reason, more and more critical systems are counting on UPSs (Uninterruptible Power Supplies) to account for a continuous supply of power. Although the task of managing an UPS for a standalone system be quite straightforward, when it comes to computer distributed systems that task has to follow an equally distributed approach. Depending on the strategy used to manage that distributed UPS network, this task may be very complex. However, keeping in mind that most computer systems in a distributed architecture make use of TCP/IP to be logically connected, one could profit from the facilities provided by this protocol and design a management strategy that makes use of it. In fact, TCP/IP is not the only suite of protocols used to interconnect computer systems. SNMP (Single Network Management Protocol) is also frequently used as a way of managing (hardware and/or software) devices associated with computers. This dissertation proposes and implements a way of managing distributed UPSs by using SNMP, taking advantage of all the facilities furnished by the protocol. This works describes how the use of SNMP makes it possible to manage an arbitrarily number of UPSs remotely. This makes the design of UPS management systems a relatively easy task, and contributes to introduce a high degree of flexibility on the task of managing distributed UPSs. Finally, it is described how the system and tests were implemented as well as proposals for future work is presented.

CoordenaÃÃo de AperfeÃoamento de Pessoal de NÃvel Superior / Este trabalho apresenta um estudo sobre as funÃÃes exponenciais, dando Ãnfase a funÃÃo exponencial de base e - tambÃm conhecida como funÃÃo exponencial natural- ,bem como as suas inÃmeras aplicaÃÃes, que permeiam diversas Ãreas de conhecimento como: Economia, Biologia, Arqueologia Demografia, Arquitetura, entre outras, fazendo dela, portanto, um objeto de interesse. O trabalho esta dividido em trÃs capÃtulos: Conceitos iniciais, A funÃÃo exponencial natural e AplicaÃÃes. No primeiro, apresentamos noÃÃes bÃsicas de sequÃncia de nÃmeros reais, como tambÃm as definiÃÃes de potÃncias de um expoente racional e das funÃÃes exponencial e logarÃtmica. No segundo, apresentamos aspectos histÃricos que cercam o nÃmero e e tambÃm sua definiÃÃo. Seguimos com estudo da funÃÃo exponencial natural, apresentando as suas principais propriedades, enfatizando aspectos relacionados a taxa instantÃnea de variaÃÃo (derivada) dessa funÃÃo. Neste, ainda, veremos que a funÃÃo do tipo f(x) = b. eαx, com base e, tem derivada proporcional à si mesma. Por fim, no terceiro capÃtulo, mostramos como as funÃÃes do tipo f(x) = b. eαx surgem espontaneamente em situaÃÃes de ordem prÃtica, como na capitalizaÃÃo contÃnua de juros e como, de modo geral, ela està intimamente ligada a inÃmeras situaÃÃes e fenÃmenos, em que a taxa de variaÃÃo de alguma grandeza à proporcional ao valor da prÃpria grandeza em um dado instante. / This paper presents a study of the exponential functions, emphasizing basic exponential function e - also known as natural exponential function -, and its many applications that involve several areas of knowledge such as economics, biology, archeology, demographics, architecture, among others, making it therefore an object of interest. The work is divided into three chapters: Initial concepts, Natural exponential function and Applications. In the first, we present some basic sequence of real numbers, as well as the definitions of powers of rational exponent and exponential and logarithmic functions. In the second, we present historical aspects surrounding the number e and also its definition. We continue to study the natural exponential function, with its main properties, emphasizing aspects of the instantaneous rate of change (derivative) of this function. In addition, we see that the type f(x)= b. eαx, based on e, is derived proportional to herself. Finally, in the third chapter, we show how the functions of the type f(x)= b. eαx arising spontaneously in practicalsituations, such as continuous interest capitalization. And how, in general, it is closely linked to numerous situations and phenomena, where the rate of change of any magnitude is proportional to the value of own greatness at a given instant.

CoordenaÃÃo de AperfeÃoamento de Pessoal de NÃvel Superior / Este trabalho trata das propriedades e aplicaÃÃes dos determinantes reconhecendo-os como uma ferramenta importante para sintetizar a representaÃÃo e o cÃlculo de algumas funÃÃes e equaÃÃes na Ãrea de geometria analÃtica e Ãlgebra linear. Nos primeiros capÃtulos apresentam-se um pouco da histÃria dos determinantes, os matemÃticos que contribuÃram na sua evoluÃÃo e a necessidade que gerou o inÃcio do seu estudo. Prossegue-se entÃo, a definiÃÃo de determinante e o cÃlculo dos determinantes a partir do teorema de Laplace via recorrÃncia, bem como o dispositivo prÃtico de Sarrus para determinante de terceira ordem. No capÃtulo seguinte, sÃo apresentadas as propriedades, num total de doze, com suas demonstraÃÃes e exemplos, pois elas serÃo utilizadas nas aplicaÃÃes dos determinantes. Logo apÃs, apresenta-se uma sÃrie de aplicaÃÃes na Ãrea de Ãlgebra linear, por exemplo: dependÃncia e independÃncia linear, matriz inversa, soluÃÃo de sistemas lineares (Regra de Cramer) e produto vetorial; alÃm de aplicaÃÃes na Ãrea de geometria analÃtica, tais como: condiÃÃo de alinhamento de trÃs pontos, Ãrea do paralelogramo e volume do paralelepÃpedo. Por fim, conclui-se que à fundamental o professor da segunda sÃrie do ensino mÃdio abordar em suas aulas um pouco da histÃria, chamando a atenÃÃo dos alunos para os matemÃticos que se destacaram neste estudo; expor as aplicaÃÃes dos determinantes, despertando a curiosidade de seus alunos e o interesse pela Ãrea de Ãlgebra linear ou geometria analÃtica. / This paper deals with the properties and applications of determinants recognizing them as an important tool to synthesize the representation and calculation of some functions and equations in the field of analytical geometry and linear algebra. In the first chapters we present some of the history of determinants, the mathematicians who contributed in its evolution and the need that generated the beginning of their study. Then we proceed, the definition of determining and calculating the determinants from the theorem of Laplace via recurrence as well as the handy device for determining Sarrus third order. In the next chapter, we present the properties, a total of twelve, with their statements and examples, as they will be used in applications of determinants. Soon after, it presents a number of applications in linear algebra, eg, linear dependence and independence, inverse matrix, solution of linear systems (Cramer's Rule) and cross product; addition to applications in analytical geometry, such as alignment condition of three points of the parallelogram area and volume of the parallelepiped. Finally, it is concluded that it is essential the teacher of the second grade of high school address in their classes a little history, calling students' attention to mathematicians who have excelled in this study; expose the applications of determinants, arousing the curiosity of their students and interest in the area of linear algebra and analytic geometry.

CoordenaÃÃo de AperfeÃoamento de Pessoal de NÃvel Superior / O presente trabalho apresenta propriedades e problemas do ensino da matemÃtica que de alguma forma se demonstram ou podem ser resolvidas usando o princÃpio da induÃÃo matemÃtica. Com isso, buscamos despertar o aluno para a importÃncia da demonstraÃÃo em matemÃtica, saindo do conformismo de aceitar a qualquer fÃrmula de formataÃÃo intuitiva indexada ao nÃmeros naturais e partir para uma anÃlise matemÃtica mais refinada dos conceitos, propriedades e problemas que se apresentam na matemÃtica. / This paper presents properties and mathematics teaching issues that somehow show or can be resolved using the principle of mathematics induction. with this, we seek to awaken students to the importance of demonstration in mathematics , leaving the conformity to accept any intuitive formatting formula indexed to natural numbers and go for a more refined mathematical analysis of the concepts , properties and problems that arise in mathematics.

CoordenaÃÃo de AperfeiÃoamento de Pessoal de NÃvel Superior / AplicaÃÃes Web que possuem grande nÃmero de pÃginas, cujos conteÃdos sÃo dinamicamente extraÃdos de banco de dados, e que requerem intenso acesso e atualizaÃÃo dos dados, sÃo conhecidas como âdata-intensive Web applicationsâ (aplicaÃÃes DIWA). Neste trabalho, os requisitos de conteÃdo de cada pÃgina da aplicaÃÃo sÃo especificados atravÃs de uma visÃo XML, a qual denominamos VisÃo de NavegaÃÃo (VN). Consideramos que os dados das VNs estÃo armazenados em um banco de dados relacional ou XML. Nesse trabalho, propomos um enfoque para especificaÃÃo e geraÃÃo de VNs para aplicaÃÃes Web cujo conteÃdo à extraÃdo de uma ou mais fontes de dados. No enfoque proposto, uma VN à especificada conceitualmente com a ajuda de um conjunto de Assertivas de CorrespondÃncia, de forma que a definiÃÃo da VN pode ser gerada automaticamente a partir das assertivas da visÃo. / Web applications that have large number of pages, whose contents are dynamically extracted from one or more databases, and that requires data intensive access and update, are known as "data-intensive Web applications" (DIWA applications) [7]. In this work, the requirements for the content of each page of the application are specified by an XML view, which is called Navigation View (NV). We believe that the data of NVs are stored in a relational or XML database. In this work, we propose an approach to specify and generate NVs for Web applications whose content is extracted from one or more data sources. In the proposed approach, a NV is specified conceptually with the help of a set of Correspondence Assertions [44], so that the definition of NV can be generated automatically based on assertions of view.

nÃo hà / Os objetivos deste trabalho sÃo propor um conjunto de AplicaÃÃes MÃveis que possibilitem o suporte a atividades e interaÃÃes oriundas de um processo de EducaÃÃo a DistÃncia, e integrar tais aplicaÃÃes a um Ambiente Virtual de aprendizagem (AVA),possibilitando seu acesso atravÃs de Dispositivos MÃveis. Como contribuiÃÃo para a efetivaÃÃo dos propÃsitos deste trabalho, um modelo de integraÃÃo baseado em ServiÃos Web à apresentado, voltado para a interligaÃÃo de um AVA e trÃs aplicaÃÃes educacionais mÃveis, propostas com o intuito de permitirem uma ampliaÃÃo no que se refere aos mecanismos de notificaÃÃo e comunicaÃÃo, presentes nos atuais ambientes de aprendizagem baseados na Internet, bem como uma melhoria destes no que se refere ao suporte de atividades de campo ou laboratoriais. A justificativa deste esforÃo està centrada na necessidade pedagÃgica premente de flexibilizar cada vez mais o processo de interaÃÃo e comunicaÃÃo entre participantes de ambientes para aprendizagem a distÃncia. / This dissertation proposes an extension of the traditional concept of Learning Management System (LMS) â currently based on the Web technology â where it must act as an integration element for several media aiming the Distance Education process. As a first step heading to this purpose, a web service-based integration model is shown between the SOLAR environment of the web-based distance courses and a set of mobile education applications, which are developed with the intention of allowing an increase of the present resources in the used virtual environment. The model of integration is based in Web Services whom communicate with three educational mobile applications. This mobile applications extend a notify, communication and on field works services of a LMS. The justification of this effort is based on the pedagogic need of having more and more the interaction process.

CoordenaÃÃo de AperfeÃoamento de Pessoal de NÃvel Superior / O estudo realizado nesta dissertaÃÃo, busca apresentar as seccÃes cÃnicas, dando Ãnfase a uma abordagem por meio de uma geometria sintÃtica e elementar, onde o trabalho à desenvolvido da seguinte forma: inicia-se com uma abordagem histÃrica, assim como a sua relaÃÃo com o cone circular; em seguida, à feito um estudo sintÃtico sobre as cÃnicas, exclusivamente, no plano; apresenta-se algumas superfÃcies quÃdricas; a equaÃÃo geral do segundo grau à apresentada como uma representaÃÃo algÃbrica de uma cÃnica e sÃo mostradas diversas situaÃÃes, onde as cÃnicas surgem de forma, curiosamente, natural, alÃm das inÃmeras aplicaÃÃes prÃticas em diversas Ãreas do conhecimento. / The study in this dissertation, seeks to present the conic sections, emphasizing an approach by means of a synthetic and elementary geometry, where the work is carried out as follows: begins with a historical approach, as well as their relationship with the circular cone; then itâs done a synthetic study on the conical exclusively on the plan; It presents some quadric surfaces; the general equation of the second degree is presented as an algebraic representation of a conic and are shown several situations where the conical arise so, curiously, natural, in addition to numerous practical applications in various fields of knowledge.

CoordenaÃÃo de AperfeÃoamento de Pessoal de NÃvel Superior / O conteÃdo de Matrizes à comumente ministrado no EnsinoMÃdio de forma mecÃnica com Ãnfase apenas na teoria e em cÃlculos monÃtonos que desestimulam o processo de ensino aprendizagem. Sabemos, porÃm, que cada vez mais a dinÃmica da sala de aula exige que o conteÃdo ministrado desperte e, ao mesmo tempo satisfaÃa a curiosidade dos educandos. O bom à que o conteÃdo de matrizes nos proporciona estas possibilidades.Este, quando bem ministrado e usando ferramentas adequadas, fica muito mais atrativo e tem um melhor proveito. Nesse sentido, o objetivo dessa pesquisa foi mostrar que à possÃvel explorar bem o conteÃdo de matrizes atravÃs de exemplos aplicados e aliados ao uso do programa GeoGebra. Para tanto, realizou-se uma pesquisa bibliogrÃfica e de campo, mediante um estudo de caso em uma instituiÃÃo pÃblica de Ensino Fundamental e MÃdio no municÃpio de Juazeiro do Norte-CE. Em termos prÃticos, a pesquisa se realizou atravÃs de aplicaÃÃo de questionÃrios, em trÃs turmas do 2.ano do Ensino mÃdio e para professores de matemÃtica da instituiÃÃo observada. AtravÃs dos resultados obtidos pela aplicaÃÃo do questionÃrio foi identificado que professores e alunos nÃo conheciam a aplicaÃÃo do Software GeoGebra no ensino e na aprendizagem do conteÃdo de matrizes. / The content of Matrices is commonly taught mechanically in high school with emphasis only on theory and monotonous calculations that discourage the teaching-learning process. But we know that, more and more, classroom dynamics require that the content taught provoke and, at the same time, satisfy the students? curiosity. The good thing is that the content of matrices gives us these possibilities. When well taught, and using appropriate tools, the content becomes more attractive and is learned more easily. Thus, the objective of this research was to show that it is possible to explore well the content of matrices through applied examples, combined with the use of the GeoGebra program. For this, we carried out a bibliographical and field research, through a case study in a public institution of primary and secondary education in the municipality of Juazeiro do Norte, CearÃ. In practical terms, the research was accomplished through questionnaires applied in three tenth grade math classes, including their teachers, at the observed institution. Using the results obtained by the application of the questionnaire, it was identified that teachers and students do not know the application of the GeoGebra Software in teaching and learning the content of matrices.

CoordenaÃÃo de AperfeÃoamento de Pessoal de NÃvel Superior / O presente trabalho consiste numa abordagem didÃtico-pedagÃgica do estudo e do ensino da Teoria das Probabilidades na EducaÃÃo BÃsica, com Ãnfase no conceito de Probabilidade GeomÃtrica, sua importÃncia e relevÃncia para uma aprendizagem mais significativa, efetiva e atrativa. Inicia-se com a histÃria e evoluÃÃo deste singular ramo da MatemÃtica Aplicada, seguindo-se uma seÃÃo com teoria e prÃtica atravÃs da resoluÃÃo de exercÃcios. O conceito de probabilidade geomÃtrica à introduzido e desenvolvido a fim de mostrar quÃo mais abrangente pode ser a Teoria das Probabilidades (como apresentada nos livros didÃticos no Brasil), tanto em termos de conteÃdo quanto de aplicaÃÃes e relaÃÃes com outras Ãreas da prÃpria MatemÃtica. Algumas aplicaÃÃes interessantes e conhecidas na literatura sÃo apresentadas, resolvidas e analisadas de modo simples, algumas vezes fazendo uso de matemÃtica menos elementar, outras explorando apenas os aspectos intuitivos. Nesta seÃÃo voltada para as aplicaÃÃes do conceito de probabilidade geomÃtrica, trata-se da soluÃÃo de problemas como o Problema das Agulhas de Buffon, o Problema do MacarrÃo e o Problema do Encontro, dentre outros, encerrando com o problema do Paradoxo de Bertrand. Seguem-se as consideraÃÃes finais do autor e um apÃndice com algumas demonstraÃÃes de resultados de geometria plana que sÃo utilizados ao longo do texto. / This work is a didactic-pedagogical approach to the study and teaching of Probability Theory in Basic Education, with emphasis on the concept of Geometric Probability, its importance and relevance to a more meaningful, effective and attractive learning. It begins with the history and evolution of this unique branch of Applied Mathematics, followed by a section with theory and practice by means of problem solving. The concept of geometric probability is introduced and developed in order to show how broad the theory of probability can be (as presented in textbooks in Brazil), both in terms of content, as well as applications and relations with other areas of mathematics itself. Some interesting and well-know applications in the literature are presented, analyzed and solved in a simple fashion, sometimes by making use of less elementary mathematics, others times by exploring only intuitive aspects. In this section, focused on the application of the concept of geometric probability, we deal with the solving of problems, such as the Problem of Buffonâs Needles, the Pasta Problem and the Problem of the Encounter, among others, closing with the problem of Bertrandâs Paradox. On the sequence the author offers his final remarks and appendix with some demonstrations of results in plane geometry that are used throughout the text.

FundaÃÃo Cearense de Apoio ao Desenvolvimento Cientifico e TecnolÃgico / Os dispositivos mÃveis tÃm limitaÃÃes de recursos que restringem o uso de mecanismos de seguranÃa em aplicaÃÃes, tais como comÃrcio eletrÃnico, as quais exigem, por exemplo, o requisito de confidencialidade. Como à indispensÃvel a implementaÃÃo de mecanismos de seguranÃa nesse tipo de aplicaÃÃes, à fundamental auxiliar os desenvolvedores na escolha de um mecanismo que respeite limitaÃÃes, por exemplo, de desempenho, memÃria e bateria, dos dispositivos mÃveis. Esta dissertaÃÃo propÃe entÃo um modelo para medir o grau de confidencialidade e de desempenho necessÃrios para determinadas aplicaÃÃes que irÃo executar em dispositivos mÃveis. A fim de escolher o algoritmo criptogrÃfico e/ou o protocolo mais adequado a uma aplicaÃÃo mÃvel especÃfica, os cÃlculos da confidencialidade e desempenho sÃo realizados atravÃs de medidas jà definidas no modelo e de pesos definidos pelo desenvolvedor, de acordo com a relevÃncia de cada medida para aplicaÃÃo. Para especificar a proposta, as abordagens de Goal-Question-Metric (GQM), Goal-Driven Software Measurement (GDSM), variaÃÃes destas abordagens e o Security Measurement (SM) framework sÃo utilizados. Em seguida, para validar o modelo, à utilizada uma aplicaÃÃo mÃvel segura jà existente como estudo de caso, sendo feita a anÃlise e cÃlculo dos graus de confidencialidade e desempenho de algoritmos e protocolos / Mobile devices have resource restrictions that constrain the use of security mechanisms in applications, such as e-commerce, which demand, for example, confidentiality issues. There is then a need for a mechanism to help developers to choose the appropriate solution that provides security for a specific mobile device application, taking in consideration the limitation of performance, memory and battery, among others. Thus, this work proposes a security measurement model focused on confidentiality and performance for mobile applications. This model is defined in conformance with the cryptographic algorithm and/or protocol more adequate to the mobile application. Confidentiality and performance degrees are calculated according to the proposed model measurements and weights defined by the secure mobile application developer. . The following measurement approaches are used to specify the proposal: Goal-Question-Metric (GQM) and Goal-Driven Software Measurement (GDSM), variations of these approaches, and the Security Measurement (SM) framework. As a case study, a mobile application already existent is used for the analysis and calculation of the confidentiality and performance degrees of chosen algorithms and protocols