MACIEL. D. L. Sherlock N-Overlap: normalização invasiva e coeficiente de sobreposição para análise de similaridade entre códigos-fonte em disciplinas de programação. 2014. 105 f. Dissertação (Mestrado em Engenharia de Teleinformática) - Centro de Tecnologia, Universidade Federal do Ceará, Fortaleza, 2014. / Submitted by Marlene Sousa (mmarlene@ufc.br) on 2015-02-27T18:39:59Z No. of bitstreams: 1 2014_dis_dlmaciel.pdf: 3409582 bytes, checksum: 8d85d508f02fe688e23c17dd70679cb4 (MD5) / Approved for entry into archive by Marlene Sousa(mmarlene@ufc.br) on 2015-03-04T16:07:48Z (GMT) No. of bitstreams: 1 2014_dis_dlmaciel.pdf: 3409582 bytes, checksum: 8d85d508f02fe688e23c17dd70679cb4 (MD5) / Made available in DSpace on 2015-03-04T16:07:48Z (GMT). No. of bitstreams: 1 2014_dis_dlmaciel.pdf: 3409582 bytes, checksum: 8d85d508f02fe688e23c17dd70679cb4 (MD5) Previous issue date: 2014-07-07 / This work is contextualized in the problem of plagiarism detection among source codes in programming classes. Despite the wide set of tools available for the detection of plagiarism, only few tools are able to effectively identify all lexical and semantic similarities between pairs of codes, because of the complexity inherent to this type of analysis. Therefore to the problem and the scenario in question, it was made a study about the main approaches discussed in the literature on detecting plagiarism in source code and as a main contribution, conceived to be a relevant tool in the field of laboratory practices. The tool is based on Sherlock algorithm, which has been enhanced as of two perspectives: firstly, with changes in the similarity coefficient used by the algorithm in order to improve its sensitivity for comparison of signatures; secondly, proposing intrusive techniques preprocessing that, besides eliminating irrelevant information, are also able to overemphasize structural aspects of the programming language, or gathering separating strings whose meaning is more significant for the comparison or even eliminating sequences less relevant to highlight other enabling better inference about the degree of similarity. The tool, called Sherlock N-Overlap was subjected to rigorous evaluation methodology, both in simulated scenarios as classes in programming, with results exceeding tools currently highlighted in the literature on plagiarism detection. / Este trabalho se contextualiza no problema da detecção de plágio entre códigos-fonte em turmas de programação. Apesar da ampla quantidade de ferramentas disponíveis para a detecção de plágio, poucas são capazes de identificar, de maneira eficaz, todas as semelhanças léxicas e semânticas entre pares de códigos, o que se deve à complexidade inerente a esse tipo de análise. Fez-se, portanto, para o problema e o cenário em questão, um estudo das principais abordagens discutidas na literatura sobre detecção de plágio em código-fonte e, como principal contribuição, concebeu-se uma ferramenta aplicável no domínio de práticas laboratoriais. A ferramenta tem por base o algoritmo Sherlock, que foi aprimorado sob duas perspectivas: a primeira, com modificações no coeficiente de similaridade usado pelo algoritmo, de maneira a melhorar a sua sensibilidade para comparação de assinaturas; a segunda, propondo técnicas de pré-processamento invasivas que, além de eliminar informação irrelevante, sejam também capazes de sobrevalorizar aspectos estruturais da linguagem de programação, reunindo ou separando sequências de caracteres cujo significado seja mais expressivo para a comparação ou, ainda, eliminando sequências menos relevantes para destacar outras que permitam melhor inferência sobre o grau de similaridade. A ferramenta, denominada Sherlock N-Overlap, foi submetida a rigorosa metodologia de avaliação, tanto em cenários simulados como em turmas de programação, apresentando resultados superiores a ferramentas atualmente em destaque na literatura sobre detecção de plágio.

Made available in DSpace on 2016-08-29T15:33:21Z (GMT). No. of bitstreams: 1 tese_8366_Dissertação_Lucinéia.pdf: 3063022 bytes, checksum: 0b12b9e3e308a5c0d87f6be879f3eef4 (MD5) Previous issue date: 2014-12-04 / A aprendizagem de programação de computadores tem sido objeto de estudo de vários grupos de pesquisa em todo o mundo. Os fatores que contribuem para que a aprendizagem de programação continue a ser um problema complexo estão relacionados às múltiplas habilidades e às múltiplas etapas do processo de programação. No ponto de vista de muitos estudantes, os cursos introdutórios de programação são considerados difíceis, no que resulta em baixo desempenho e muitas reprovações. Nesta pesquisa, interessamo-nos pela criação de um ambiente de apoio à aprendizagem de programação, em suas várias etapas. Desse modo definimos um ambiente computacional composto de recursos computacionais para suporte a implementação de várias Arquiteturas Pedagógicas úteis para a aprendizagem de programação. Apresentamos essas arquiteturas, com seus objetivos, estratégias e a modelagem dos recursos digitais, bem como, as validações delas com aprendizes de programação.

Dissertação (mestrado) - Universidade Federal de Santa Catarina. Centro Tecnologico / Made available in DSpace on 2016-01-08T16:14:09Z (GMT). No. of bitstreams: 1 83701.pdf: 1884301 bytes, checksum: e03d547fdf2f74be3aa8266c4d26f22f (MD5) Previous issue date: 1989 / A programação dinâmica é uma técnica de pesquisa operacional muito utilizada para resolver problemas de economia, engenharia, planejamento e controle da produção, entre outros, que sejam modelados de forma precisa. Com o surgimento da teoria dos conjuntos difusos, foi possível proporcionar ferramentas matemáticas mais adequadas ao tratamento dos problemas que envolvessem incertezas e/ou conceitos imprecisos. O presente trabalho apresenta uma técnica que concatena a teoria dos conjuntos difusos e programação dinâmica, com o objetivo de resolver problemas de programação dinâmica definidos a partir de parâmetros imprecisos e/ou subjetivos. após o desenvolvimento da técnica, faz-se uma aplicação da mesma, para um problema de expansão de linhas de produção, e para um problema de marketing, caracterizando os casos de programação dinâmica determinística difusa e programação dinâmica estocástica difusa, respectivamente.

Dissertação (mestrado) - Universidade Federal de Santa Catarina. Centro Tecnologico / Made available in DSpace on 2016-01-08T17:50:45Z (GMT). No. of bitstreams: 1 88936.pdf: 1343568 bytes, checksum: 96e039d07c37cc4152a33fcdd6005779 (MD5) Previous issue date: 1992 / Este trabalho apresenta uma proposta de solucionador de problemas de programação linear difusos com múltiplos objetivos. O solucionador é composto basicamente por um módulo editor que capta as informações sobre o problema a ser resolvido. O mesmo determina quantos problemas de programação linear são necessários para a modelagem do problema difuso. Após a obtenção de todas as informações é feita a montagem do modelo principal que representa o problema difuso. Terminada a fase de modelagem, a solução é obtida e os resultados são apresentados através de outros módulos do solucionador. O solucionador foi implementado na forma de protótipo e os resultados obtidos foram apresentados e analisados neste trabalho.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnologico / Made available in DSpace on 2016-01-08T22:12:41Z (GMT). No. of bitstreams: 1 107336.pdf: 3622415 bytes, checksum: 953f1623eaa5c472c4fa60df73f7c69d (MD5) Previous issue date: 1997 / Procedimentos de busca local (ex. busca tabu) e algoritmos genéticos têm apresentado excelentes resultados em problemas clássicos de programação da produção em ambientes job shop. No entanto, estas abordagens apresentam pobres habilidades de modelamento e poucas aplicações com restrições de ambientes reais de produção têm sido publicadas. Além disto, os espaços de busca considerados nestas aplicações são nomlalmente incompletos e as restrições reais são poucas e dependentes do problema em questão. Este trabalho apresenta uma abordagem genética híbrida para resolver problemas de programação em ambientes job shop com grande número de restrições reais, tais como produtos com vários níveis de submontagem, planos de processamento altemativos para componentes e recursos alternativos para operações, exigência de vários recursos para executar uma operação (ex., máquina, ferramentas, operadores), calendários para todos os recursos, sobreposição de operações, restrições de disponibilidade de matéria-prima e componentes comprados de terceiros, e tempo de setup dependente da sequência de operações. A abordagem também considera funções de avaliação multiobjetivas. O sistema usa algoritmos modificados de geração de programação, que incorporam várias heurísticas de apoio à decisão, para obter um conjunto de soluções iniciais. Cada solução inicial é melhorada por um algoritmo de subida de encosta. Então, um algoritmo genético híbrido com procedimentos de busca local é aplicado ao conjunto inicial de soluções localmente ótimas. Ao utilizar técnicas de programação de alta perfomlance (heurísticas construtivas, procedimentos de busca local e algoritmos genéticos) em problemas reais de programação da produção, este trabalho reduziu o abismo existente entre a teoria e a prática da programação da produção.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico / Made available in DSpace on 2016-01-08T22:28:04Z (GMT). No. of bitstreams: 1 108878.pdf: 2304607 bytes, checksum: 9e7404e6e48b5ebbcb49740813a04ab7 (MD5) Previous issue date: 1997 / Esta dissertação descreve uma ferramenta de simulação para sistemas dependentes de tempo descritos com a técnica de descrição formal (TDF) RT-LOTOS. Discute-se a verificação e validação de especificações de sistemas dependentes de tempo, bem como os principais aspectos da TDF utilizada. A arquitetura da ferramenta é descrita e também são apresentados os algoritmos utilizados no processo de simulação. As funcionalidades da ferramenta são descritas, demonstrando a sua utilidade na validação de especificações RT-LOTOS. Ao final, são apresentados alguns estudos de caso para ilustrar o uso da ferramenta.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Florianópolis, 1992. / Made available in DSpace on 2013-12-05T20:13:29Z (GMT). No. of bitstreams: 1 91269.pdf: 2221642 bytes, checksum: 73800a5b8e4780ce43db3acec6a252b6 (MD5) Previous issue date: 1992 / O objetivo do trabalho é fazer uma avaliação comparativa dos seguintes métodos de programação linear multi-objetivo: Zionts e Wallenius (1976), Zimmermann (1984) e as propostas apresentadas no XI CNMAC em 1988 por Stange. Os critérios escolhidos para comparação são: 1. Facilidade de uso do método; 2. Facilidade de entendimento da lógica do método; 3. Confiança do tomador de decisão com respeito à solução final; 4. Tempo de execução; 5. Soma dos valores das funções objetivo. Os propósitos do trabalho são: testar se estes métodos de solução de programação linear multi-objetivo são significativamente diferentes entre si. Testar a validade das propostas apresentadas por stange e com relação aos critérios acima mostrar as vantagens e desvantagens de cada método.

Este trabalho descreve um método para a construção de programas concorrentes no sistema DEC-10, utilizando os conceitos de processos, monitores e classes. Alem do método em si, são apresentados uma linguagem de programação, especificada para facilitar a aplicação do método, e o programa tradutor correspondente. A linguagem e um meio termo entre Pascal Concorrente e MACRO-10. O tradutor gera código na linguagem MACRO-10. / This paper presents a method for the concurrent programming of DEC-system 10 using process, monitor and class concepts. In order to ease its application, a programming language and the corresponding translation program were developed. The language is a composition of concurrent Pascal and MACRO-10. The translator generates code for the MACRO-10 language.

A linguagem síncrona RS é destinada ao desenvolvimento de sistemas reativos. O presente trabalho tem como objetivo criar meios que facilitem o uso da linguagem RS no projeto e implementação desses sistemas, permitindo que, à partir da especificação de um sistema reativo, seja realizada a sua implementação de forma automática. Deste modo, a linguagem RS é utilizada para a descrição do comportamento de um sistema em um alto nível de abstração, antes de serfeitas a decomposição do sistema em componentes de software ou hardware. A implmentação do protótipo do sistema computacional dedicado é obtida através de uma síntese automática desse modelo de alto nível. Foram implementados geradores de código que utilizam o código objeto fornecido pelo compilador da linguagem RS. Os geradores fazem a tradução para a linguagem C, para a linguagem JAVA, ou para a linguagem de descrição de hardware VHDL. A partir da síntese desses códigos poderá ser obtida a implementação do sistema em um micrcoomputador comercial, em um microcomputador Java de dedicado (ASIP Java), ou em um hardware de aplicação específica (ASIC). Foram realizados estudos de caso representativos dos sistemas reativos embaraçados e de tempo rel. Estes estudos de caso serviram para validar os geradores de código bem como para analisar o uso da linguagem RS no projeto e implementação desses sistemas.

Este trabalho descreve um método para a construção de programas concorrentes no sistema DEC-10, utilizando os conceitos de processos, monitores e classes. Alem do método em si, são apresentados uma linguagem de programação, especificada para facilitar a aplicação do método, e o programa tradutor correspondente. A linguagem e um meio termo entre Pascal Concorrente e MACRO-10. O tradutor gera código na linguagem MACRO-10. / This paper presents a method for the concurrent programming of DEC-system 10 using process, monitor and class concepts. In order to ease its application, a programming language and the corresponding translation program were developed. The language is a composition of concurrent Pascal and MACRO-10. The translator generates code for the MACRO-10 language.