Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2016. / Submitted by Fernanda Percia França (fernandafranca@bce.unb.br) on 2017-02-01T15:08:06Z No. of bitstreams: 1 2016_AnaCristinaRochaOliveiraValverde.pdf: 879616 bytes, checksum: b64378498855c30cf60d6faa9518461c (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2017-02-01T19:13:19Z (GMT) No. of bitstreams: 1 2016_AnaCristinaRochaOliveiraValverde.pdf: 879616 bytes, checksum: b64378498855c30cf60d6faa9518461c (MD5) / Made available in DSpace on 2017-02-01T19:13:19Z (GMT). No. of bitstreams: 1 2016_AnaCristinaRochaOliveiraValverde.pdf: 879616 bytes, checksum: b64378498855c30cf60d6faa9518461c (MD5) / Sistemas nominais são uma abordagem alternativa para o tratamento de variáveis em sistemas computacionais, onde a reescrita de primeira ordem é generalizada através do suporte para especificação de ligação de variáveis e de _-equivalência, fazendo uso do conceito de freshness e da troca bijetiva de nomes (swapping). Teoremas bem conhecidos em reescrita de primeira ordem podem ser adaptados a fim de serem adicionalmente válidos em reescrita nominal. Nesta tese, nós analisamos sob que condições a confluência de sistemas de reescrita e o Critério dos Pares Críticos são válidos para a reescrita nominal, assim como para a reescrita nominal fechada (que é uma noção de reescrita mais eficiente nesse contexto). As condições definidas aqui são de fácil checagem através de um algoritmo de unificação nominal. A unificação nominal foi inicialmente estudada por Urban, Pitts e Gabbay e formalizada por Urban no assistente de prova Isabelle/HOL. Neste trabalho, são também apresentadas uma especificação nova de unificação nominal na linguagem do PVS e uma formalização da sua terminação, correção e completude. Em nossa especificação, ao invés de aplicar regras de simplificação a condições restritivas de unificação e freshness, soluções para um problema de unificação são construídas recursivamente através de uma especificação funcional direta, obtendo uma formalização que é mais próxima a implementações algorítmicas. Esta formalização é o passo inicial com vistas a ter mais resultados formalizados sobre reescrita nominal em PVS, onde um forte arcabouço de sistemas de reescrita de termos já é disponibilizado. Ademais, um sistema de tipos com interseção para termos nominais é apresentado. O sistema de tipos presente possui a importante propriedade de redução do sujeito para uma noção especializada de reescrita nominal tipada, o que significa que a tipabilidade no sistema é coerente com execuções computacionais. / Nominal systems are an alternative approach for the treatment of variables in computational systems where first-order rewriting is generalised by providing support for the specification of binding operators and α-equivalence using the notions of freshness and name swapping. Famous theorems in the context of first-order rewriting can be adapted for nominal rewriting as well. In this thesis, we analyse the conditions under which confluence of orthogonal rewrite systems and the Critical Pair Criterion hold for nominal rewriting as well as for closed nominal rewriting (an efficient notion of rewriting in this context). The conditions we define are easy to check using a nominal unification algorithm. Nominal unification was initially studied by Urban, Pitts and Gabbay and then first formalised by Urban in the proof assistant Isabelle/HOL. In this work, we also present a new specification of nominal unification in the language of PVS and a formalisation of its termination, soundness and completeness. In our specification, instead of applying simplification rules to unification and freshness constraints, we recursively build solutions for the original problem through a straightforward functional specification, obtaining a formalisation that is closer to algorithmic implementations. This formalisation is a first step in order to have more formalised results about nominal rewriting in PVS, where a huge background for term rewriting system is already available. Additionally, an inter- section type system is presented for nominal terms. The present type system possesses the important property of subject reduction for a specialised notion of typed nominal rewriting, that means the soundness of typability under computational execution.

Neste trabalho apresentamos o desenvolvimento e a implementação de diversas técnicas de segmentação de imagens em termos de detecção de bordas, com um destaque especial para a segmentação não-linear. Os métodos considerados foram: o Gradiente, o Laplaciano da Gaussiana, a Regularização linear, e a segmentação não-linear usando o algoritmo Graduated Non Convexity, baseado na minimização de um funcional de energia associado à imagem. O tratamento matemático do funcional foi realizada segundo o paradigma do cálculo variacional. A sua principal vantagem é evidenciada durante o tratamento de bordas e descontinuidades, pois como a segmentação atua de forma não uniforme na imagem, apenas as regiões mais uniformes são suavizadas, preservando as descontinuidades, o que possibilita a conservação mais precisa dos contornos. Nos capítulos destinados a introdução das técnicas computacionais, apresentamos alguns exemplos das segmentações obtidas, possibilitando uma avaliação comparativa e qualitativa dos resultados. Aplicações em micrografias de cristais de KBr e de minerais serviram como um ensaio para a investigação da validação da segmentação através do algoritmo graduated Non Convexity. / In this work we describe the development and implementation of several image segmentation techniques, with special attention focused on non linear segmentation. The considered edge detection methods are: Gradient, Laplacian of Gaussian, linear regularization, and the non-linear Graduate Non Convexity segmentation algorithm based on the minimization of the energy functional associated with the image contour. The mathematical treatment was done according to the variational calculus paradigm. The major advantage of such an approach is noted during the treatment of borders and discontinuities, since this method causes the segmentation to act non-uniformelly on the image, in such a way that just the homogeneus regions are smoothed, while preserving discontinuities and enabling more exact localization of the contours. Along the charpters dedicated to introducing the techniques, we present some examples of segmented images, enabling the qualitative and quantitative evaluation of the results. Applications to micrographies of KB4 crystals and minerals in soil provide a possibility to investigate and validate the Graduate Non Convexity segmentation methods.

Orientadores: Jose Armando Valente, Beatriz Mascia Daltrini / Anexo um CD-ROM / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-09-11T20:56:14Z (GMT). No. of bitstreams: 1 Maltempi_MarcusVinicius_D.pdf: 1826460 bytes, checksum: 00f3ff9590881c50e7ec61ff018dd2ae (MD5) Previous issue date: 2000 / Resumo: Esta tese tem como temas principais a depuração de páginas Web em um ambiente de ensino-aprendizagem e a proposta de uma ferramenta computacional de apoio à atividade de construção de páginas Web. Baseado nas abordagens pedagógicas do Construcionismo e da Aprendizagem Via Design foi feito um estudo experimental com alunos de 5a e 6a séries do Ensino Fundamental para a análise do processo de construção de páginas Web. Neste estudo foram avaliadas diversas atividades idealizadas para fomentar a depuração das páginas construídas. Estas foram realizadas com a participação dos alunos, investigador e toda comunidade escolar. A atividade de depurar páginas Web mostrou-se necessária e complexa, uma vez que os alunos tendiam a desenvolver suas páginas de maneira linear, sem revisar o que já haviam feito (layout e/ou conteúdo). A complexidade se deve à subjetividade inerente à tarefa, que requer bom senso na organização das informações apresentadas. O estudo realizado mostrou a importância da participação do aluno na escolha do tema do projeto a ser desenvolvido e a importância das atividades de depuração criadas, ambas para fomentar o engajamento do aluno na realização do projeto. As atividades de depuração mais eficientes foram aquelas que exigiam dos alunos uma apresentação de suas idéias e trabalho, possibilitando um feedback externo dado por outros alunos, pais, professores e pessoas desconhecidas. Este feedback foi feito tanto de forma presencial como não presencial, com resultados positivos em ambos os casos, dependendo do aluno. Os resultados obtidos com o estudo permitiram a especificação de uma ferramenta computacional que, utilizada em conjunto com as atividades de depuração avaliadas, poderão auxiliar os alunos no complexo processo de criar e depurar páginas Web. Esta ferramenta é um sistema especialista acionado pelo aluno, que tem como objetivo fomentar a reflexão e a depuração de idéias. As teorias que deverão nortear todo o desenvolvimento do sistema são as do Construcionismo e do Design Centrado no Aprendiz / Abstract: This thesis analyses the debugging of Web pages in a teaching-learning environment and proposes a computational tool to support the Web page design activity. Based on the pedagogic theories of Constructionism and of Learning Through Design the Web page design process was analyzed in an experimental study with sixth and seventh grade students. In this study several activities idealized to foment the debugging of the designed pages were evaluated. These activities involved the students, the primary investigator and the entire school community. The Web page debugging activity was shown to be necessary and complex, because the students tended to develop their pages in a linear fashion, instead of branched, and failed to revise what they had already done (layout and/or content). The complexity is due to the inherent subjectivity of the task, which requires sensitivity in the organization of the presented information. The study shows the importance of the participation of the student in the choice of the theme of the project to be developed and the importance of the debugging activities created, in order to encourage the student's engagement in the project. The most efficient debugging activities were those that required the students to present their ideas and work, in order to receive external feedback from other students, parents, teachers and anonymous evaluators. This feedback was provided face-to-face and online, with positive results in both cases, depending on the student. The results obtained in the study allowed the specification of a computational tool that, used together with the evaluated debugging activities, can aid students in the complex process of Web pages debugging. This tool is an expert system used by the student, which aims to stimulate reflection and the debugging of ideas. The development of the system is based upon the theories of Constructionism and Learner-Centered Design / Doutorado / Engenharia de Computação / Doutor em Engenharia Elétrica

Submitted by Maria Aparecida (cidazen@gmail.com) on 2017-08-16T12:47:03Z No. of bitstreams: 1 Sadick.pdf: 2266912 bytes, checksum: f7c0795c47de171be894492b7a3698c6 (MD5) / Made available in DSpace on 2017-08-16T12:47:03Z (GMT). No. of bitstreams: 1 Sadick.pdf: 2266912 bytes, checksum: f7c0795c47de171be894492b7a3698c6 (MD5) Previous issue date: 2008-02-14 / The Internet has experienced a considerable increase in the use of audio and video applications, which provoke a large consumption of the resources available in the network and servers. Therefore, the monitoring and analysis of those resources becomes an essential task in order to enhance the service delivered to users. This work depicts a monitoring module implemented in a video server architecture, which is used to track the transmission of some popular video formats. Our experiments have demonstrated that one of the formats delivers a performance considerably better than the other, regarding the bandwidth allocated to each user session, what only reassures the importance of having such a monitoring module available in a server architecture. / A Internet tem experimentado, nos últimos anos, um considerável aumento no uso de aplicações de áudio e vídeo, as quais promovem um acentuado consumo dos recursos disponíveis na rede e nos servidores. Desta forma, torna-se essencial o monitoramento e análise da utilização desses recursos, a fim de melhorar os serviços prestados aos usuários. Este trabalho descreve um módulo de monitoramento implementado em um servidor de vídeo, o qual é utilizado para acompanhar a transmissão de diferentes formatos populares de vídeo via streaming. Observou-se, por meio de experimentos, que um dos formatos apresenta um desempenho consideravelmente melhor que o outro, no que se refere à largura de banda alocada a cada sessão de usuário, o que corrobora a importância de módulos de monitoramento, tal como o desenvolvido nesta dissertação.

Orientador: Nelson Hein. / Dissertação (mestrado) - Universidade Regional de Blumenau, Centro de Ciências Sociais Aplicadas, Programa de Pós-Graduação em Ciências Contábeis.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. / Made available in DSpace on 2012-10-17T17:57:37Z (GMT). No. of bitstreams: 0Bitstream added on 2013-07-16T17:57:13Z : No. of bitstreams: 1 171132.pdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / A metodologia desenvolvida neste trabalho tem o objetivo de capacitar uma equipe de engenharia simultânea a construir o conhecimento de projeto de um produto para orientar o desenvolvimento de um sistema especialista que dê suporte à fase de concepção de projetos. Este trabalho descreve o modo como a equipe de engenharia simultânea deve organizar-se para extrair e correlacionar todo o conhecimento sobre mercado, produto e processos necessárias na fase de concepção para o desenvolvimento e análise de uma alternativa de projeto de produto. A utilização dos conceitos de engenharia simultânea e de método de solução de problemas (PDCA) para a aquisição do conhecimento é um dos fatores fundamentais deste trabalho. Também é descrito, no presente trabalho, como estruturar um sistema especialista, a partir da decomposição do conhecimento, que reproduza o processo de projeto. Este sistema especialista, baseado em programação orientada a objeto, deve especificar os componentes da alternativa de projeto de produto simulada. Para validar a metodologia, realizou-se um estudo de caso em uma empresa da indústria de eletrodomésticos, em que todas as etapas da metodologia foram aplicadas. Os resultados foram avaliados de forma qualitativa e quantitativa. Verificou-se a grande contribuição da metodologia para construir o conhecimento e melhorar a produtividade do processo de projeto, transformando conhecimento tácito (conhecimento empresarial) em explícito (que pode ser gerenciado).

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia de Produção. / Made available in DSpace on 2012-10-18T03:42:09Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-26T00:31:06Z : No. of bitstreams: 1 186115.pdf: 21358541 bytes, checksum: cd55e5ce7a4c9c30f864d78470fbef8e (MD5) / Em Inteligência Artificial, o desenvolvimento de sistemas que simulam o comportamento dos seres humanos na solução de problemas em domínios específicos, são denominados de Sistemas Especialistas. Estes sistemas são classificados em Sistemas Especialistas com Raciocínio baseado em Regras, quando o conhecimento especialista é representado em regras, e Sistemas Especialistas com Raciocínio baseado em Casos, quando o conhecimento é representado em casos. A perspectiva do uso de modelos de Sistemas Especialistas baseados em Raciocínio em domínios específicos é o objetivo dessa dissertação. Para evidenciar a pesquisa, é realizada uma revisão bibliográfica dos principais aspectos teóricos que fundamentam os Sistemas Especialistas e as técnicas de Raciocínio baseado em Regras e Casos e, por fim, é proposto um modelo de sistema para atender o Instituto de Defesa do Consumidor do Distrito Federal, Procon-DF, Órgão responsável pelo atendimento das reclamações dos consumidores.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico, Programa de Pós-Graduação em Engenharia de Produção, Florianópolis, 1995 / Made available in DSpace on 2012-10-16T09:00:10Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T19:41:15Z : No. of bitstreams: 1 100744.pdf: 1708306 bytes, checksum: 61f0dce6375f2b3274896e16dc23f5b9 (MD5) / Os Sistemas Especialistas (SE) representam, atualmente, uma das aplicações mais difundidas da Inteligência Artificial, seja nos laboratórios de pesquisa das universidades ou em quaisquer outros tipos de instituições. Os SEs, através de "softwares" geradores existentes no mercado, estão ao alcance de uma grande parte das empresas. Estes sistemas podem ser caracterizados como sistemas que reproduzem e exploram os conhecimentos de especialistas humanos. Como se sabe, os especialistas são raros nas empresas e, muitas vezes, têm dificuldade em explicitar seu conhecimento. Entidades de Previdência Social, encontram dificuldades nos serviços de atendimento aos participantes, quando se refere a explicações sobre beneficios de aposentadorias (custeio, concessões, pagamentos, comparações, previsões, etc) e legislação vigente (múltiplas interpretações das normas). Portanto, necessitam da inteligência de especialistas para auxiliarem nessas tarefas. Propõe-se um sistema especialista para previdência privada, que auxilie nos serviços de atendimento a usuários de uma entidade. Esses serviços vão desde cálculos de beneficios até comparações e interpretações de situações.

Tese (Doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. / Made available in DSpace on 2012-10-17T05:54:38Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T22:51:18Z : No. of bitstreams: 1 147026.pdf: 21659949 bytes, checksum: 799b69620a72a7cc01308cdbfa381859 (MD5)

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-23T04:11:35Z (GMT). No. of bitstreams: 1 241992.pdf: 947224 bytes, checksum: 44c6ee182bfc9c0ca61422264262ba13 (MD5)