Tese de mestrado. Tecnologia Multimédia. Faculdade de Engenharia. Universidade do Porto. 2009

Made available in DSpace on 2018-08-01T22:33:11Z (GMT). No. of bitstreams: 1 tese_9645_Rafael Ferraco de Campos.pdf: 3276227 bytes, checksum: 94003fa564b4b5d4937d51efd9e046d4 (MD5) Previous issue date: 2017-02-20 / As estimativas de precipitação do satélite TRMM (Tropical Rainfall Measuring Mission) podem ser informações valiosas para áreas sem quaisquer tipos de medições da pluviosidade ou regiões com uma rede pluviométrica escassa. O objetivo do estudo foi comparar as estimativas mensais de precipitação do satélite TRMM com dados de precipitação terrestre interpolados produzidos por Xavier et al. (2015) para o Brasil. Para quantificar a concordância e parecença entre os bancos de dados foi utilizado o índice de concordância refinado de Willmout e o índice de desempenho. Os resultados indicaram que o satélite capturou adequadamente os padrões espaciais de precipitação em todo o Brasil quando comparado com a estimativa interpolada. É importante ressaltar que o satélite TRMM tendeu a superestimar os valores de precipitação, entretanto em média o acordo entre as estimativas TRMM e os dados DPTI é alto (dr ≥0,8 e Pi ≥0,7), mas observa-se maior viés em épocas chuvosas. Com base nestes resultados, a região Norte apresentou resultados mais discordantes para o Brasil. Esta região foi escolhida para o cálculo do índice de erosividade com o objetivo de visualizar a diferença da entrada dos dados interpolados com os dados do satélite TRMM no cálculo da erosividade. Os dados do satélite TRMM apresentaram menor índice de erosividade para região Norte. Isto significa que a erosividade com dados interpolados pode superestimar o real valor da erosividade nesta região, devido a limitações, como a escassa rede pluviométrica, inerentes ao banco de dados de estações interpoladas para esta região. Palavras-chave: Sensoriamento Remoto, Estatística Descritiva, Análise de concordância.

Esta pesquisa teve como objetivo fundamentar e implementar um Ambiente Computacional de Suporte ao Aprendizado de Geometria Descritiva (GD) capaz de se adaptar às necessidades de aprendizagem do aluno. No sistema proposto, o aluno interage via Internet e desenvolve seu aprendizado por meio da resolução de exercícios. Este ambiente tem como suporte uma biblioteca de exercícios de GD e, seguindo uma estratégia pedagógica, sugere caminhos para conduzir o aprendiz a níveis cada vez mais aprofundados em seus estudos. A cada interação, são avaliados os conceitos que o aluno já conhece e, com base nestes dados, novos exercícios são sugeridos de modo gradual, bem como, quando for o caso, uma lista das teorias básicas que ele deverá estudar. O referido ambiente de aprendizagem, além de ser uma ferramenta de estudo, também pode apoiar os docentes e pesquisadores da área, oferecendo um repositório de exercícios de GD que pode ser acessado e incrementado por eles. Este módulo, chamado de Biblioteca de Exercícios, permite a busca de exercícios específicos por meio de filtros de seleção como conceitos envolvidos ou complexidade da solução, entre outros. Espera-se que o sistema desenvolvido se constitua numa ferramenta de grande valia para apoiar à aprendizagem de Geometria Descritiva, uma disciplina importante que tradicionalmente representa um desafio significativo aos estudantes. / This research aims to establish the basis for a Descriptive Geometry Computer Learning Environment able to adapt itself to the student’s learning needs as well as to implement it. The student interacts with the proposed system through the Internet and learns by solving exercises. This learning environment is supported by a Descriptive Geometry (DG) exercise library and, by following a pedagogical strategy, it suggests paths to conduct the student to mastering the target contents. The concepts learned by the student are evaluated at each iteration and, based on these data, the system gradually proposes new exercises to the learner, as well as, sometimes, offers a list of theory topics that should be studied. The proposed learning environment, besides being a learning tool, can support DG instructors and researchers by offering them a DG exercise repository that may be used and increased by them. This module, called Exercise Library, allows searching for an exercise through concept and level of complexity filters, among others. It is hoped that this developed system constitutes an expressive instrument to support DG learning, a content that traditionally represents a challenge to students.

Esta pesquisa teve como objetivo fundamentar e implementar um Ambiente Computacional de Suporte ao Aprendizado de Geometria Descritiva (GD) capaz de se adaptar às necessidades de aprendizagem do aluno. No sistema proposto, o aluno interage via Internet e desenvolve seu aprendizado por meio da resolução de exercícios. Este ambiente tem como suporte uma biblioteca de exercícios de GD e, seguindo uma estratégia pedagógica, sugere caminhos para conduzir o aprendiz a níveis cada vez mais aprofundados em seus estudos. A cada interação, são avaliados os conceitos que o aluno já conhece e, com base nestes dados, novos exercícios são sugeridos de modo gradual, bem como, quando for o caso, uma lista das teorias básicas que ele deverá estudar. O referido ambiente de aprendizagem, além de ser uma ferramenta de estudo, também pode apoiar os docentes e pesquisadores da área, oferecendo um repositório de exercícios de GD que pode ser acessado e incrementado por eles. Este módulo, chamado de Biblioteca de Exercícios, permite a busca de exercícios específicos por meio de filtros de seleção como conceitos envolvidos ou complexidade da solução, entre outros. Espera-se que o sistema desenvolvido se constitua numa ferramenta de grande valia para apoiar à aprendizagem de Geometria Descritiva, uma disciplina importante que tradicionalmente representa um desafio significativo aos estudantes. / This research aims to establish the basis for a Descriptive Geometry Computer Learning Environment able to adapt itself to the student’s learning needs as well as to implement it. The student interacts with the proposed system through the Internet and learns by solving exercises. This learning environment is supported by a Descriptive Geometry (DG) exercise library and, by following a pedagogical strategy, it suggests paths to conduct the student to mastering the target contents. The concepts learned by the student are evaluated at each iteration and, based on these data, the system gradually proposes new exercises to the learner, as well as, sometimes, offers a list of theory topics that should be studied. The proposed learning environment, besides being a learning tool, can support DG instructors and researchers by offering them a DG exercise repository that may be used and increased by them. This module, called Exercise Library, allows searching for an exercise through concept and level of complexity filters, among others. It is hoped that this developed system constitutes an expressive instrument to support DG learning, a content that traditionally represents a challenge to students.

Submitted by Alexandra Feitosa (alexandra.feitosa@ufpe.br) on 2017-07-20T14:06:26Z No. of bitstreams: 1 2012- dissertacao- AmaliaRolim.pdf: 6901894 bytes, checksum: 0f111e890501ae35a53ae4a4a4f7bde9 (MD5) / Made available in DSpace on 2017-07-20T14:06:26Z (GMT). No. of bitstreams: 1 2012- dissertacao- AmaliaRolim.pdf: 6901894 bytes, checksum: 0f111e890501ae35a53ae4a4a4f7bde9 (MD5) Previous issue date: 2012-08-31 / A linguagem visual está presente em nossas vidas desde as primeiras civilizações humanas. Ao longo dos séculos, desenvolvemos várias maneiras de representação para transmitir informações, por meio de artefatos variados, porém nem sempre de forma eficaz. Dentre estes artefatos, o livro didático pode não apresentar o conteúdo informativo suficientemente claro para satisfazer as necessidades de compreensão do seu leitor. Portanto, neste estudo, analisaremos os aspectos gráficos das imagens impressas nos livros de geometria gráfica, com o objetivo de propor parâmetros de design da informação que permitam a compreensão do conteúdo impresso neste artefato e o esclarecimento das dúvidas de seus usuários. O trabalho foi dividido em três seções, como modo de facilitar a visualização dos dados. A Seção I: Referencial Teórico -contempla dois capítulos que abordam o uso do livro didático no Brasil e seus aspectos gráficos, dentro do campo do design da informação. A Seção II: Referencial Analítico -descreve a análise de cinco livros elencados dentre os demais, utilizados no ensino da geometria gráfica, baseadas em teorias da linguagem visual, desenvolvidas por Bertin, Twyman e Mijksenaar. Na Seção III: Referencial Experimental -apresenta o resultado de um estudo exploratório, realizado com alunos do curso de Arquitetura & Urbanismo de uma IES de Caruaru, Pernambuco, Brasil. O resultado deste experimento foi satisfatório, visto que conseguimos demonstrar de maneira objetiva, que existem questões a serem revisadas, referentes ao aspecto das representações gráficas impressas nos livros analisados. Por fim, alcançamos o nosso objetivo, sugerindo parâmetros para elaboração de livros ou apostilas de Geometria Gráfica, com base nas análises e no experimento realizado. / The visual language is within our lives since the first human civilizations. Over the centuries, we have developed many ways of representing to convey information through a variety of artifacts, but sometimes it is not effective. Among these artifacts, the textbook may not provide the information content sufficiently clear to satisfy the needs of your reader's comprehension. Therefore, in this work we analyze the graphical aspects of the images printed in books of graphics geometry, aiming to propose parameters of information design to the understanding of printed content on this artifact and to clarify the doubts of its users. The work was divided into three sections, in order to facilitate the visualization of data. The Section I: Theoretical Reference -includes two chapters that discuss the use of textbooks in Brazil and its graphical aspects, within the information design. Section II: Analytical Reference -describes an analysis, based on theories of visual languages, developed by Bertin, Twyman and Mijksenaar, of five bookslisted among others, used in the teaching of graphics geometry. Section III: Experimental Reference -we show the results of an exploratory study undertaken with undergraduate students of Architecture & Urban Planning from a college in Caruaru, Pernambuco, Brazil. The result of this experiment was satisfactory, considering that we can show objectively that there are issues to be reviewed in the representation of graphics aspects printed in the books analyzed. Finally, we reached our goal, based on the analysis and experiment, suggesting parameters, to improve design aspects of books or handouts of Graphical Geometry.

O CD-ROM acompanhante do exemplar que se encontra no piso, encontra-se no armário do piso -1 / Tese de Mestrado. Mestrado em Tecnologia Multimédia. Faculdade de Engenharia. Universidade do Porto. 2007

Tese de mestrado. Multimédia. Faculdade de Engenharia. Universidade do Porto, Instituto de Educação e Psicologia. Universidade do Porto. 2009

O presente estudo aborda o tema orientação para o mercado, operacionalizado via abordagem da disseminação do conceito de marketing. Seus objetivos estão centrados na verificação do grau de disseminação do conceito de marketing nas maiores empresas privadas industriais do Estado do Rio Grande do Sul, a partir do pessoal do nível operacional, a fim de determinar até que ponto as informações geradas na alta administração, que contribuem para a prática do conceito de marketing, atingem a baixa administração, responsável pela operacionalização das atividades que refletirão na satisfação dos clientes quanto aos produtos e serviços dessas organizações. Para a consecução dos objetivos do trabalho, utilizou-se um método baseado em pesquisa descritiva e quantitativa, aplicando um modelo testado anteriormente por autores norte-americanos em seu território e com público exclusivamente pertencente à alta administração. A Escala MARKOR, como é conhecida, determina o grau de orientação para o mercado das empresas pesquisadas. Porém, para o presente trabalho, foram utilizados os dois primeiros grupos do modelo, Geração e Disseminação da Inteligência de Marketing, os quais se adequam aos objetivos já apresentados. A referida Escala foi dirigida para um universo de 30 (trinta) empresas, representando as maiores empresas privadas industriais do Rio Grande do Sul, segundo o critério de faturamento, publicado pela Revista Exame -Melhores e Maiores- , no ano de 1995. A coleta de dados foi realizada através de entrevistas pessoais em 17 (dezessete) dessas empresas, perfazendo um total de 352 (trezentas e cinqüenta e duas) entrevistas, 50 (cinqüenta) para diretores, os quais responderam pela geração de marketing, e 302 (trezentas e duas) para chefias do nível operacional, as quais responderam pela disseminação de marketing. O período da coleta de dados compreendeu três meses: de abril a junho de 1996. vii Os resultados da pesquisa conduziram à determinação do grau de disseminação do conceito de marketing, indicando que, de maneira geral, as 17 (dezessete) maiores empresas privadas industriais do Rio Grande do Sul possuem uma alta geração da inteligência de marketing, mas a disseminam medianamente pela organização. Isto significa dizer que o conceito de marketing é devidamente compreendido e executado pela alta administração das empresas pesquisadas, porém ele não atinge com a mesma intensidade o pessoal operacional, ou seja, aqueles que são os responsáveis pelas ações das empresas em prol do seu mercado. Segundo os autores do Modelo utilizado, uma disseminação de marketing não tão intensa, provavelmente, resultará em respostas ao público-alvo, através da produção de bens e serviços menos eficientes, refletindo de maneira prejudicial no atendimento de suas necessidades e desejos, bem como nos resultados das empresas. Por fim, o trabalho contribuiu para a verificação do quanto as maiores empresas privadas industriais do Rio Grande do Sul disseminam internamente o conceito de marketing, fornecendo os principais elementos que elas têm possibilidade de aperfeiçoar para propiciar uma correta orientação para o mercado. E, além disso, este estudo representou o primeiro passo para a futura validação da Escala MARKOR no âmbito nacional e com o público utilizado, pois trata-se da primeira pesquisa realizada no País, até o presente momento, com essa finalidade.

Submitted by Patricia Barros (patricia.barros@ufes.br) on 2016-04-18T12:53:26Z No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) DISSERTAÇÃO DE MESTRADO_Gláucia Perini Zouain Figueiredo__2012.pdf: 1315184 bytes, checksum: 698af066e17e9a25836fdaad59c40428 (MD5) / Approved for entry into archive by Patricia Barros (patricia.barros@ufes.br) on 2016-04-18T12:53:41Z (GMT) No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) DISSERTAÇÃO DE MESTRADO_Gláucia Perini Zouain Figueiredo__2012.pdf: 1315184 bytes, checksum: 698af066e17e9a25836fdaad59c40428 (MD5) / Made available in DSpace on 2016-04-18T12:53:41Z (GMT). No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) DISSERTAÇÃO DE MESTRADO_Gláucia Perini Zouain Figueiredo__2012.pdf: 1315184 bytes, checksum: 698af066e17e9a25836fdaad59c40428 (MD5) / Introdução: O câncer em menores de 19 anos apresenta grande potencial de cura, com mais de 80% de sobrevida acima de cinco anos em países ricos. Entretanto, emerge como uma das principais causas de morte nessa faixa etária. Dados populacionais do câncer infanto-juvenil são precários no estado do Espírito Santo, e os hospitalares inexistem. Objetivos: A pesquisa visa a conhecer as características dos portadores de câncer em menores de 19 anos admitidos entre 1986 e 2010 no centro de referência do Espírito Santo e relacionar as variáveis demográficas com o tipo e extensão da doença; analisar a sobrevida geral e por categorias em pelo menos cinco anos, em relação a variáveis demográficas, grupos das doenças, subgrupos mais frequentes e estadiamento daqueles admitidos entre janeiro de 2000 e dezembro de 2005. Métodos: A metodologia compreende o cálculo de frequências absolutas e percentuais, o cruzamento entre as variáveis do estudo por meio dos testes qui-quadrado de associação; a determinação da sobrevida pelo método Kaplan-Meier; a verificação do efeito independente das variáveis pelo modelo multivariado de riscos proporcionais de Cox e testes de significância estatística pelo método log-rank. Resultados: A análise de 25 anos apresenta 2.012 casos novos, prevalência das idades de 2, 3 e 4 anos e de meninos (56%). As leucemias predominam (32%), seguidas pelos linfomas (20%) e pelos tumores do sistema nervoso central (14%). A doença avançada prevalece com 66% dos casos. A análise de sobrevida constitui-se de 571 casos com 57% de sobrevida em cinco anos. Os fatores de risco para morte constituem-se em sexo masculino, idades acima de 4 anos e menores de 1 ano, tumores de sistema nervoso central e doença avançada. Conclusões: O perfil de distribuição dos grupos e subgrupos e as características de seus portadores são semelhantes aos de estudos populacionais de regiões em desenvolvimento. Possivelmente as altas taxas de linfomas se devam ao alto nível de anticorpos antivírus de Epstein-Barr. Atenta para a possibilidade de subdiagnóstico de tumores de sistema nervoso central. A prevalência de tumores em estadio avançado apresenta-se superior aos achados de outros estudos nacionais e estrangeiros. As taxas de sobrevida mostram-se inferiores às estatísticas populacionais dos países desenvolvidos. Os resultados desfavoráveis podem ser atribuídos principalmente ao atraso no diagnóstico. Os resultados são desafiadores e apontam para a necessidade de ações imediatas que objetivem uma mudança do panorama da Oncologia Pediátrica no estado do Espírito Santo e no Brasil.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2016. / Made available in DSpace on 2016-09-20T05:06:37Z (GMT). No. of bitstreams: 1 340508.pdf: 1748559 bytes, checksum: 4657b6761e65d66a2334a312d9f91477 (MD5) Previous issue date: 2016 / Essa dissertação foi elaborada em uma companhia que desenvolve equipamentos para proteção e automação de subestações, sendo que a maior parte deles possui um FPGA programado em VHDL como unidade principal de processamento. O código VHDL sintetizável e validado através de simulação e testes em equipamento, método bastante comum mas que não e suficiente para garantir a satisfação de propriedades tanto gerais quanto orientadas a aplicação, devido ao fato de não ser exaustivo. Na direção de aumentar a confiabilidade do circuito projetado para o FPGA, o objetivo principal da dissertação e apresentar uma metodologia de desenvolvimento de codigo VHDL sintetizável que aprimore as atuais técnicas utilizadas, ao incorporar métodos formais para verificação de propriedades, sendo que o método formal utilizado e o model checking. A metodologia e construída de um modo que o uso do model checking seja transparente ao desenvolvedor VHDL, mantendo a interface com o processo de verificação formal em linguagem de usuário,evitando a necessidade de aprendizado de novas linguagens. Para atingir esse objetivo específico, e proposto que as propriedades sejam representadas através de padrões orientados a VHDL que são baseados na biblioteca OVL. Alem disso, os contraexemplos gerados no processo de model checking retornam como test bench VHDL, permitindo ao usuário identificar o comportamento indesejado através de simulação. O ambiente de verificação adotado utiliza modelos em linguagem intermediaria FIACRE como front-end e por isso são propostas regras de tradução VHDL-FIACRE para que a transformação possa ocorrer no contexto de engenharia dirigida a modelos e assim evitar erros no processo de tradução. O uso da linguagem intermediaria e vantajoso, pois permite a utilização das ferramentas de verificação, as quais são de código aberto,sem que seja necessária a tradução direta do VHDL para os formalismos matemáticos em que essas ferramentas se baseiam. A metodologia e validada com a aplicação em quatro exemplos de código VHDL, sendo dois deles utilizados em projetos desenvolvidos na empresa: uma função de proteção e um controlador de acesso a um barramento de transferência de dados. Os resultados da aplicação indicam que a proposta e viável,pois foi possível fazer a verificação dos exemplos, sendo que em um deles foi identificado um erro que havia passado despercebido por simulação, sinalizando que a proposta contribui no aumento da confiabilidade do código desenvolvido.<br> / Abstract: This dissertation was elaborated in a company that develops equipment for substation protection and automation, most of them having an FPGA programmed in VHDL as the main processing unit. The synthesizable VHDL code is validated through simulation and tests on equipment, a fairly common method that is not enough to ensure the satisfaction of both general and application-oriented properties, due tothe fact of being non exhaustive. In the direction of increasing the reliability of the designed FPGA circuit, the main objective of thiswork is to present a synthesizable VHDL code development methodology that enhances the current techniques by incorporating formal methods for verication of properties, with model checking being theselected method. The methodology is constructed in such a way thatthe use of model checking procedure should be transparent to VHDL designers, keeping the interface with the formal verication process inuser language, avoiding the need to learn new languages. To achievethis specic objective, it is proposed that the properties are represented by VHDL oriented patterns based on OVL library. In addition, the counter examples generated in the model checking process for properties that failed, return as VHDL test bench, allowing the user to identify theundesired behavior through simulation. The verication environment used in the methodology requires models described with the intermediatelanguage FIACRE as front-end and so VHDL-FIACRE translation rules are proposed to allow the transformation to occur in the context of model driven engineering, and thus prevent errors in the translation process. The use of an intermediate language is advantageous because it allows the use of the verication tools, which are open source, withoutthe need of translating VHDL directly to the mathematical formalismin which these tools are based. The methodology is validated by the application in four examples of VHDL code, two of them are used in designs developed by the company: a protection function and a controller to access a data transfer bus. The application results indicate that the proposal is viable because it was possible to verify the examples,and for one of them was identied an error that had passed unnoticed by simulation, showing that the proposal contributes to increase the reliability of the created code.