Made available in DSpace on 2014-12-17T14:55:56Z (GMT). No. of bitstreams: 1 EmanuelGBF_DISSERT.pdf: 5309348 bytes, checksum: dac342ed8ab6114cd0046b442b6a126b (MD5) Previous issue date: 2011-12-09 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / This work presents the design and construction of an X-Y table of two degrees of freedom, as well as the development of a fuzzy system for its position and trajectory control. The table is composed of two bases that move perpendicularly to each other in the horizontal plane, and are driven by two DC motors. Base position is detected by position sensors attached to the motor axes. A data acquisition board performs the interface between a laptop and the plant. The fuzzy system algorithm was implemented in LabVIEW? programming environment that processes the sensors signals and determines the control variables values that drive the motors. Experimental results using position reference signals (step type signal) and straight and circular paths reference signals are presented to demonstrate the dynamic behavior of fuzzy system / Apresentam-se, neste trabalho, o projeto e a constru??o de uma mesa de coordenadas de dois graus de liberdade, bem como o desenvolvimento de um sistema fuzzy para o controle de posi??o e trajet?ria dessa mesa. A mesa ? composta de duas bases que se movimentam perpendicularmente entre si, no plano horizontal, e s?o acionadas por dois motores de corrente cont?nua. As posi??es das bases s?o detectadas por dois sensores de posi??o acoplados aos eixos dos motores. Uma placa de aquisi??o de dados realiza a interface entre um computador port?til e a planta. O algoritmo do sistema fuzzy foi implementado no ambiente de programa??o LabVIEW?, que processa os sinais provenientes dos sensores e determina as vari?veis de controle que acionam os motores. Resultados experimentais utilizando sinais de refer?ncia de posi??o (sinais tipo degrau) e sinais de refer?ncia de trajet?rias retil?neas e circulares s?o apresentados para mostrar o comportamento din?mico do sistema fuzzy

A presente dissertação objetiva analisar as orações relativas explicativas do português brasileiro, a partir de sentenças coletadas de textos de periódicos (jornais e revistas), verificando os possíveis usos e ‘comportamentos’ das orações explicativas, a fim de corroborar (ou não) o que a gramática tradicional diz sobre essas orações. Primeiramente, abordamos como as orações relativas são tratadas na gramática tradicional, ampliando essas definições logo em seguida. Depois, resenhamos um artigo de Loock (2007) sobre tipos de orações explicativas, que tomamos como base para nosso trabalho. Nos capítulos seguintes, elencamos os tipos de explicativas encontrados em nosso corpus, quais sejam: orações relativas explicativas continuativas, consecutivas, subjetivas, de relevância e informacionais. Ao tratar de cada um desses tipos de relativas, discutimos o emprego adequado da vírgula e a questão da supressibilidade da oração explicativa, pontos que são tidos como de importante distinção entre restritivas e explicativas na gramática tradicional. Concluímos, assim, que as orações explicativas são empregadas com diferentes funções, usos esses que se diferenciam das características tradicionalmente tidas como desse tipo de oração. / The present dissertation aims to analyze the appositive relative clauses of Brazilian Portuguese, based on sentences collected from newspapers (journals and magazines), verifying the possible uses and ‘behaviors’ of the appositive clauses, in order to corroborate or not what the traditional grammar says about these clauses. Firstly, we discuss how relative clauses are treated in traditional grammar, extending these definitions immediately. Then, we review an article by Loock (2007) on types of appositive clauses that we take as a basis for our work. In the following chapters, we list the types of appositives clauses found in our corpus, namely: continuative, consecutive, subjectivity, relevance and informative appositive relative clauses. In dealing with each of these types of relatives, we discuss the proper use of the comma and the question of the suppressibility of appositive relative clauses, points that are taken as an important distinction between restrictive and appositive clauses in standard grammar. We conclude, therefore, that appositive relative clauses are employed with different functions, which are different from the characteristics traditionally considered of this type of clause.

Este trabalho apresenta uma proposta didática desenvolvida em uma escola da Rede Adventista de Educação no município de Cachoeirinha, que utilizou a linguagem LOGO em aulas de Matemática. O experimento prático, realizado com estudantes do sétimo ano do Ensino Fundamental e respaldado pelas teorias de Seymour Papert e Gèrard Vergnaud, buscou responder à seguinte questão: Como a utilização do ambiente LOGO auxilia na aprendizagem dos conceitos de Ângulos e Coordenadas Cartesianas, estudados durante o Ensino Fundamental? Outras investigações envolvendo a utilização da linguagem LOGO são mencionadas, bem como suas influências para o trabalho. A partir dos dados analisados qualitativamente, observou-se um crescente interesse pelo estudo dos tópicos de Geometria e um avanço nas elaborações de estratégias de soluções de problemas. Ao final deste trabalho, encontra-se a sequência didática elaborada e aplicada, produto desta dissertação. / This dissertation presents a didactic proposal developed in a school of Adventist Education in the city of Cachoeirinha, which used the LOGO language in Mathematic classes. The practical experiment was conducted with students in the seventh grade of elementary school and supported by the theories of Seymour Papert and Gerard Vergnaud, and tried to answer the following question: How the use of the LOGO environment can help the learning of the concepts of angles and Cartesian Coordinates, which were studied during elementary school? Further investigations involving the use of LOGO language are mentioned, as well as their influences for this paper. From the qualitatively analyzed data, it was noticed a growing interest in the study of topics of Geometry and an improvement in the elaboration of strategies for problem solving. At the final of this work, we can find the didactic sequence, made and applied, product of this dissertation.

A fabricação de produtos cada vez melhores é fator imperativo, pois sob o ponto de vista dos fabricantes, maior fatia do mercado, maiores lucros, e para o consumidor produtos de melhor desempenho, maior vida útil, maior compacticidade, ou seja, qualidade. Por sua vez, garantir esta qualidade exige uma definição adequada das características do produto, obrigando o mundo tecnológico a investir na procura por melhores meios de controle dimensional. A tendência pelo aumento da qualidade dos produtos faz surgir a necessidade de se construir ou aperfeiçoar sistemas de medição que possam avaliar com grande rapidez e acuracidade as mais diversas características dimensionais. O objetivo deste trabalho é implementar um sistema informatizado que permita simular calibradores do tipo Passa-Não Passa em uma Máquina de Medir a Três Coordenadas (MM3C) do tipo Ponte Móvel. Cabe destacar que a grande vantagem do sistema proposto consiste na flexibilidade que se tem nas mudanças das características geométricas de cada calibrador. Com pequenas alterações no programa computacional pode-se modificar tolerâncias, diâmetros e qualidades de inspeção. Para tanto, o sistema deve possuir uma base de dados com informações da peça a ser avaliada. Com o auxílio destas informações, o sistema pode orientar o operador sobre os procedimentos a serem tomados durante o processo de inspeção. / The manufacturing of better products is an imperative factor, as it results, from the manufacturers point of view, in larger market share, high profit and, for the consumers, better performance and long life products, which means quality. On the other hand, providing quality demands a suitable definition of the product features, pushing the technology world into a search for better means of dimensional control. The tendency of increasing product quality raises the necessity of constructing or improving measurement systems which are able to evaluate a wide variety of dimensional characteristics with high accuracy and velocity. The aim of this work is to accomplish a computer system that simulates go-not-go gauges on a moving bridge coordinate measuring machine. The great advantage of the proposed system consists in the flexibility available to adapt into each gauge different geometric features. With small modifications in the computational program, tolerances, diameters and ISO tolerance can be altered. In order to perform these modifications, the system must hold a database regarding the article to be evaluated. With this information, the system can guide the operator about the procedure to be followed during the inspection process.

A economia mundial, cada vez mais competitiva, impulsiona o acelerado desenvolvimento tecnológico e conseqüentemente promove o crescente uso de Máquinas de Medir a Três Coordenadas (MM3Cs). A preferência por essas máquinas pode ser justificada pela sua grande flexibiÍidade e produtividade e é uma tentativa de melhorar a área de inspeção dimensional do processo produtivo. Um grande esforço no desenvolvimento de novas metodologias se realiza para se obter e modelar os erros de MM3Cs. Padrões para calibração de MM3Cs foram sugeridos e colocados em uso através dos diferentes anos, com a finalidade de utilizá-los em testes de aceitação e verificação periódica da incerteza de medição de MM3Cs. Novos artefatos para a calibração indireta de MM3Cs visam melhorar os procedimentos de calibração para uso em sistemas de compensação de erros. Diante do exposto acima, este trabalho tem como objetivo desenvolver um Procedimento de Calibração Indireta de MM3Cs com o Esquadro Mecânico de Esferas aliado a um Modelo Reduzido de Sintetização de Erros (MRSE) para uso em um Sistema de Compensação de Erros. O procedimento possibilita maior rapidez na obtenção dos valores e comportamentos dos erros quando comparado com outros procedimentos de calibração indireta. Aliado a um MRSE, o procedimento proposto tem como vantagem o uso de um único artefato para medir todos os termos das componentes do erro volumétrico, nas direções X, Y e Z de uma MM3C. / The increasingly competitive world economy promotes the technological development and, as a consequence, the growing use of Coordinate Measuring Machines (CMMs). The predilection for CMMs can be justified by their great flexibility and productivity and is also an attempt to improve the dimerisional inspection quality of the productive process. Considerable effort was made on the development of new methodologies to obtain and model CMMs errors. Calibration standards were suggested and employed for years aiming at acceptance tests and periodic verification of measurement uncertainty of CMMs. The development of new artefacts for CMM indirect calibration seeks to enhance calibration procedures for error compensation systems. Therefore, this work aims at the development of an indirect CMM calibration procedure using a mechanical ball square and the Error Synthesization Reduced Model (ESRM) for an error compensation system. The procedure allows faster obtaining of error values and behaviour if compared with other indirect calibration procedures. The proposed procedure, along with the ESRM, is advantageous since only one artefact is employed to measure all the terms of the volumetric error components m directions X, Y and Z of the CMM.

Este trabalho apresenta uma proposta didática desenvolvida em uma escola da Rede Adventista de Educação no município de Cachoeirinha, que utilizou a linguagem LOGO em aulas de Matemática. O experimento prático, realizado com estudantes do sétimo ano do Ensino Fundamental e respaldado pelas teorias de Seymour Papert e Gèrard Vergnaud, buscou responder à seguinte questão: Como a utilização do ambiente LOGO auxilia na aprendizagem dos conceitos de Ângulos e Coordenadas Cartesianas, estudados durante o Ensino Fundamental? Outras investigações envolvendo a utilização da linguagem LOGO são mencionadas, bem como suas influências para o trabalho. A partir dos dados analisados qualitativamente, observou-se um crescente interesse pelo estudo dos tópicos de Geometria e um avanço nas elaborações de estratégias de soluções de problemas. Ao final deste trabalho, encontra-se a sequência didática elaborada e aplicada, produto desta dissertação. / This dissertation presents a didactic proposal developed in a school of Adventist Education in the city of Cachoeirinha, which used the LOGO language in Mathematic classes. The practical experiment was conducted with students in the seventh grade of elementary school and supported by the theories of Seymour Papert and Gerard Vergnaud, and tried to answer the following question: How the use of the LOGO environment can help the learning of the concepts of angles and Cartesian Coordinates, which were studied during elementary school? Further investigations involving the use of LOGO language are mentioned, as well as their influences for this paper. From the qualitatively analyzed data, it was noticed a growing interest in the study of topics of Geometry and an improvement in the elaboration of strategies for problem solving. At the final of this work, we can find the didactic sequence, made and applied, product of this dissertation.

Submitted by Marco Antônio de Ramos Chagas (mchagas@ufv.br) on 2018-07-09T14:48:05Z No. of bitstreams: 1 textocompleto.pdf: 4690363 bytes, checksum: b632e5c9c6b2e8dc83bbe74085927bcc (MD5) / Made available in DSpace on 2018-07-09T14:48:05Z (GMT). No. of bitstreams: 1 textocompleto.pdf: 4690363 bytes, checksum: b632e5c9c6b2e8dc83bbe74085927bcc (MD5) Previous issue date: 2018-02-23 / As indústrias petrolíferas possuem a necessidade e obrigação de inspecionar as instalações submarinas associadas ao transporte de óleo e gás periodicamente para evitar acidentes ambientais. Os veículos autônomos subaquáticos (AUV) têm-se tornado uma opção viável em Levantamento Hidrográfico (LH) devido à excelente estabilidade da plataforma e aos sensores de alta resolução acoplados no veículo e utilizados no mapeamento submarino. Esses sensores geram grandes quantidades de dados para serem analisados, assim torna-se necessário automatizar os processos no intuito de otimizar o tempo de processamento com a melhor exatidão posicional. Dessa forma essa pesquisa tem o objetivo de determinar a qualidade posicional de levantamento com AUV, avaliar quantitativamente e qualitativamente a redução do ruído speckle em imagem do SAS, desenvolver metodologia semi-automática para mapeamentos de dutos submarinos e detecção de condição de vão livre. A qualidade posicional foi verificada pela aplicação da propagação das incertezas no modelo matemático de determinação das coordenadas no LH com AUV. Na imagem do SAS foram utilizados filtros morfológicos, filtros adaptativos e Stretchlim para reduzir os efeitos do ruído. Os dutos submarinos foram mapeados de forma semi-automática pela metodologia de pré-processamento, redução de ruídos e realce dos alvos, extração de feições e pós-processamento. A classificação de condição de vão livre foi realizada por rede neural e random forest a partir da imagem SAS e dos perfis gerados do modelo digital de superfície obtido pelo ecobatímetro. Os resultados mostraram que a incerteza posicional do LH com o AUV é compatível com as especificações de todas as ordens da IHO (2010), porém o ponto crítico está no método de posicionamento acústico realizado com o Ultra-Short Baseline. A utilização de técnicas de processamento digital de imagem é uma poderosa ferramenta na redução dos ruídos speckle e na imagem do SAS, assim permitindo mapeamento com mais de mais de 80% dos dutos submarinos de forma semi-automatizado. Os métodos de rede neural e random forest tiveram resultados similares e satisfatórias para a classificação de condição de vão livre com exatidões globais de 86,8% e 89,9% respectivamente. / The oil industries have the necessity and obligation to inspect the submarine installations associated with the transport of oil and gas periodically to avoid environmental accidents. Underwater autonomous vehicles (AUV) have become a viable hydrographic survey option due to the excellent stability of the platform and the high-resolution (Synthetic Aperture Sonar - SAS, echo sounder multibeam, high definition cameras) submarine mapping. These hydrographic survey sensors generate large amounts of data to be analyzed, so it becomes necessary to automate the processes in order to optimize the processing time with the best positional accuracy. Thus, the goal of this research is to determine the positional quality of the AUV survey, to evaluate quantitatively and qualitatively the reduction of speckle noise in SAS image, to develop semi-automatic methodology for underwater pipeline mapping and free-span detection. The positional quality was verified by the application of the propagation of the uncertainties in the mathematical model of determination of the coordinates in the hydrographic survey with AUV. Morphological filters, adaptive filters and histogram contrast were used to reduce the effects of speckle noise on the SAS image. The submarine pipelines were semi- automatically mapped by the methodology of pre-processing, noise reduction and target enhancement, feature extraction and post-processing. The classification of free span condition was performed by neural network and random forest from the SAS image and the profiles generated from the digital surface model obtained by the echo sounder multibeam. The results showed that the positional uncertainty of the hydrographic survey with the AUV is compatible with the specifications of all orders of the IHO (2010) and critical point is the acoustic positioning performed with the Ultra-Short Baseline. The use of digital image processing techniques is a powerful tool in reducing speckle noise and restoring spatial resolution in the SAS image, thus enabling more efficient and faster automated processing. More than 80% of the subsea pipelines were mapped semi- automated. The methods of neural network and random forest had similar and satisfactory results for the classification of free-span condition with global accuracy of 86,8% and 89,9%, respectively. / o autor nao possui curriculo lattes, bem como agencia de fomento

Orientador: Cecilia Mary Fischer Rubira / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-15T17:42:34Z (GMT). No. of bitstreams: 1 Santos_PetersonPeixotodos_M.pdf: 1073315 bytes, checksum: 7071b3cca814f678b2dae606f78f6eff (MD5) Previous issue date: 2010 / Resumo: À medida que os sistemas de software evoluem, precisam garantir requisitos funcionais e de qualidade cada vez mais complexos e com maior rigor de qualidade. Nos _últimos anos, várias abordagens e ferramentas t^em sido propostas para guiar o processo de desenvolvimento de software visando atingir altos níveis de qualidade. O Desenvolvimento Baseado em Componentes (DBC) _e uma das técnicas mais bem aceitas tanto na indústria quanto no meio acadêmico e se propõe a compor sistemas de software a partir de componentes reutilizáveis já prontos e, se possível, de uma relativamente pequena quantidade de linhas de código específicas para a aplicação. Existem diversas plataformas para DBC, das quais Java Enterprise Edition (Java EE) _e uma das mais populares. Por outro lado, tolerância a falhas _e uma das abordagens mais empregadas para construir sistemas que consigam prover seus serviços especificados mesmo na presença de diferentes tipos de falhas de forma a atingir os níveis desejados de confiabilidade. O conceito de Ação Atômica Coordenada (CA Action) foi proposto para prover tolerância a falhas em sistemas concorrentes orientados a objetos, integrando os conceitos complementares de conversação (concorrência cooperativa) e transação atômica (concorrência competitiva) e estabelecendo uma semântica para tratamento de exceções concorrentes (exceções lançadas simultaneamente por threads concorrentes) além de dar suporte ao uso conjunto de recuperação de erro por avanço e por retrocesso. A proposta deste trabalho _e acrescentar _a plataforma de desenvolvimento baseado em componentes Java Enterprise Edition (Java EE) alguns mecanismos de tolerância a falhas propostos pelo conceito de CA Action. A implementação da solução proposta foi baseada em Java, programação orientada a aspectos e no conceito de comunicação assíncrona implementada pelos componentes message-driven beans da plataforma Java Enterprise Edition. A solução foi avaliada através da construção de 2 estudos de caso: (i) uma aplicação JBoss baseada em message-driven beans e (ii) um sistema real de faturamento de energia elétrica. Desta forma, procuramos demonstrar a factibilidade de proporcionar mecanismos simples para adaptações permitindo que aplicações desta plataforma possam usufruir de mais benefícios de tolerância a falhas sem grandes modificações em seu código fonte já previamente implementado e implantado / Abstract: As software systems evolve, they should provide stronger functional and quality requirements. In the last years, many diferent approaches and tools have been proposed to guide software development process aiming to achieve higher quality levels. Component-Based Development (CBD) is one of the most accepted techniques in the academy as well as in the industry and proposes to build software systems from pre-existing reusable components and, if possible, a relative low quantity of application specific glue code. There are many CBD platforms and Java Enterprise Edition (Java EE) is one of the most popular. Fault tolerance is one of the most adopted means to build up systems that are capable of providing their intended service, even if only partially, when faults occur, so as the desired reliability levels be achieved. The Coordinated Atomic Action (CA Action) concept was proposed to provide fault tolerance in concurrent object-oriented software systems and to integrate two complementary concepts, conversations (cooperative concurrency) and transactions (competitive concurrency). It establishes a semantic for concurrent exception handling and also supports the combined use of forward and backward error recovery. This work proposes to extend the component-based development platform Java Enterprise Edition (Java EE) with some of the fault tolerance means proposed by CA Action's concept by incorporating a concurrent exception handling mechanism to the platform. The proposed solution implementation was based on Java, aspect oriented programming and on the asynchronous communication concept implemented by Java EE message-driven bean components. The solution was assessed by two case studies: (i) a JBoss application based on message-driven beans and (ii) a real billing system for electric power companies by which we try to demonstrate the feasibility of providing simple means for adapting Java Enterprise Edition applications in a way that they could appropriate more fault tolerance benefits without big changes in their previously implemented and deployed source code / Mestrado / Engenharia de Software / Mestre em Ciência da Computação

Submitted by Marlene Santos (marlene.bc.ufg@gmail.com) on 2017-10-05T20:06:57Z No. of bitstreams: 2 Dissertacao- Welder Batista de Oliveira - 2017.pdf: 2420889 bytes, checksum: c26aee2605e42f2a9aecb9ec2523464f (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2017-10-06T11:09:11Z (GMT) No. of bitstreams: 2 Dissertacao- Welder Batista de Oliveira - 2017.pdf: 2420889 bytes, checksum: c26aee2605e42f2a9aecb9ec2523464f (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2017-10-06T11:09:11Z (GMT). No. of bitstreams: 2 Dissertacao- Welder Batista de Oliveira - 2017.pdf: 2420889 bytes, checksum: c26aee2605e42f2a9aecb9ec2523464f (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2017-08-21 / Fundação de Amparo à Pesquisa do Estado de Goiás - FAPEG / Geographic Information Systems have revolutionized geographic research over the past three decades. These systems commonly provide a number of features for processing andanalyzing spatial data, such as spatial join and skyline. Although relevant, the effectiveness of such functionalities is affected by the imprecision of the geographic coordinates obtained by the georeferencing method employed. Moreover, the error contained in the coordinates may present several distributional patterns, which demands the development of solutions that are generalist concerning the error pattern that they can handle properly. Finally, spatial operations are already computationally expensive in their deterministic version, which is aggravated by the introduction of the stochastic component. The pre-sent work presents a general structure of spatial operations solutions robust to imprecise coordinates based on the use of simulations and probabilistic adaptations of heuristics in the literature. In addition, to deal with the problems mentioned, the proposed structure is designed to contemplate the requirements of generality, accuracy and efficiency at levels that enable its practical application. The overall solution structure is composed of the combination of probabilistic versions of heuristics of the deterministic versions of the spatial operations and by Monte Carlo simulations. From that structure, specific solutions - as case studies - are developed for the spatial join and skyline. Theoretical and experimental results demonstrated the potential of the developed solutions to meet the threerequirements established in this work. / Os Sistemas de Informação Geográfica revolucionaram a pesquisa geográfica nas últimas três décadas. Esses sistemas comumente disponibilizam uma série de funcionalidades para processar e analisar dados espaciais, como, por exemplo, a junção espacial e a consulta skyline. Embora relevantes, a eficácia dessas funcionalidades é impactada pela imprecisão das coordenadas geográficas obtidas pelo método de georreferenciamento empregado. Além disso, o erro contido nas coordenadas pode apresentar diversos padrões distribucionais, o que demanda o desenvolvimento de soluções que sejam generalistas quanto ao padrão de erro que conseguem tratar adequadamente. Por fim, operações espaciais já são computacionalmente caras em sua versão determinística, o que se agrava com a introdução do componente estocástico. O presente trabalho apresenta uma estrutura geral para o desenvolvimento de soluções para operações espaciais robustas a coordenadas imprecisas. Além disso, para lidar com os problemas mencionados, a estrutura proposta é projetada para contemplar os requisitos de generalidade, eficácia e eficiência em patamares que viabilizem sua aplicação prática. A estrutura geral de solução é composta pela combinação de versões probabilísticas de heurísticas das versões determinísticas das operações espaciais e por simulações de Monte Carlo. A partir dela, são desenvolvidas as soluções específicas – como estudo de caso - para a skyline espacial e da junção espacial. Resultados teóricos e experimentais demonstraram o potencial das soluções desenvolvidas em atender aos três requisitos estabelecidos nesse trabalho.

Nesta disertação estudamos algumas ferramentas básicas relacionadas aos espaços de Teichmüller. Introduzimos o espaço de Teichmüller de gênero g ≥ 1, denotado por Tg. O objetivo principal é construir as coordenadas de Fenchel-Nielsen ωG : Tg → R3g-3+ × R3g-3 para cada grafo trivalente marcado G. / In this dissertation we study some basic tools related to Teichmüller space. We introduce the Teichmüller space of genus g ≥ 1, denoted by Tg. The main goal is to construct the Fenchel-Nielsen coordinates ωG : Tg → R3g-3+ × R3g-3 to each marked cubic graph G.