Orientador : Roberto de Alencar Lotufo / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-01T21:28:24Z (GMT). No. of bitstreams: 1 Machado_RubensCampos_M.pdf: 1182112 bytes, checksum: 42c9e5c67b6513e518d22bb44c433780 (MD5) Previous issue date: 2002 / Mestrado

Made available in DSpace on 2011-03-23T21:19:22Z (GMT). No. of bitstreams: 0 / Item created via OAI harvest from source: http://www.bdtd.ufpa.br/tde_oai/oai2.php on 2011-03-23T21:19:22Z (GMT). Item's OAI Record identifier: oai:bdtd.ufpa.br:152 / This work presents a new approach for automatic evaluation of SQL queries. This approach proposes a solution for a challenge to stimulate the student to improve his/her solution: searching, besides an answer that returns a correct result, a query with a complexity next to the optimum solution. This proposal can be used in e-learning environments or in presential education in laboratory activities, including the evaluations. The proposed solution has as advantages: (1) the student receives an instantaneous feedback during a practice programming activity, which allows the student to refactorize his/her solution in direction to a optimum solution; (2) complete integration between the programming concepts teaching with examples of fragments of on-line executable programs; (3) monitoring of students activities (how many examples were executed; in each exercise how many execution attempts were done, etc). This work is the first pass in direction to the construction of an environment, totally attended (for example with automatic evaluation) for teaching of SQL programming language, where the instructor is free of the hard work to correct SQL commands, being able to do more relevant pedagogic tasks. The method, based on statistics and Software Engineering metrics, can be adapted for other languages, such as Java and Pascal. In addition, the LabSQL serves as a laboratory for experimentation of two news techniques, one of evaluation and other of accompaniments that are being searched in several works at the same time: (a) automatic evaluation of discursive conceptual questions, besides to allow the traditional objective questions, (b) method of accompaniment through a montage of evaluation rubrics. / Este trabalho apresenta uma nova abordagem para avaliação automática de consultas SQL. Essa abordagem propõe uma solução para o desafio de estimular o aprendiz a aperfeiçoar a sua solução: buscando, além de uma resposta que retorna o resultado correto, uma consulta com complexidade próxima da solução ótima. Essa proposta pode ser utilizada em ambientes de educação a distancia ou na educação presencial em atividades de laboratório, incluindo as avaliações. A solução proposta tem como vantagens: (1) o aprendiz recebe um feedback instantâneo durante a atividade prática de programação, o qual permite ao aprendiz refatorar a sua solução em direção a uma solução ótima; (2) completa integração entre o ensino de conceitos de programação com exemplo de fragmentos de programas executáveis on-line; (3) monitoramento das atividades do aprendiz (quantos exemplos foram executados; em cada exercício quantas tentativas de execução foram feitas, etc). Este trabalho é um primeiro passo na direção de construção de um ambiente totalmente assistido (por exemplo com avaliação automática) para ensino da linguagem de programação SQL, onde o professor é liberado do árduo trabalho de correção de comandos SQL podendo realizar tarefas pedagógicas mais relevantes. O método, fundamentado em estatística e métricas da Engenharia de Software, pode ser adaptado para outras linguagens tais como Java e Pascal. Além disso, o LabSQL serve com um laboratório para experimentação de duas novas técnicas, uma de avaliação e outra de acompanhamento, que estão sendo pesquisadas em trabalhos em paralelos: (a) avaliação automática de questões conceituais discursivas, além de permitir as tradicionais perguntas objetivas, (b) método de acompanhamento através de montagem de uma rubrica de avaliação.

Plagiarism among students of introductory programming courses has been increasing over time. The ease of exchange of information brought by the Internet can be the factor responsible for this increase. In many cases, students try to disguise the plagiarism making some modifications to the source code. However, some masking techniques are extremely complex to be detected and may not be seen with the naked eye. In this dissertation, detection techniques were analyzed and, on this basis, was developed a system able to detect plagiarism in source code. This system is based on the representation code as an abstract syntax tree and Karp-Rabin Greedy String Tiling algorithm. The system was evaluated using a source-code base of students of programming disciplines. Oracle based comparison was performed to compare the system with others. The oracle was created from the manual analysis of the teacher of the subject, which was marked if there was plagiarism or not in each pair of source code. To represent the results, ROC curves and confusion matrices were used. The same procedure was applied to existing systems, allowing direct comparison of results. More specifically, we use the value of the area under the curve and the minimum distance to point (0, 1) of the ROC space, since these figures represent the classification performance. The analysis of results shows that, for the sample used, the developed system obtained higher area under the curve and also the shortest distance to the point (0, 1) of the space ROC. However, we find that the choice of similarity detection tool in source code will depend on conservative or liberal profile of teaching. / O plágio entre alunos de disciplinas introdutórias de programação vem aumentando ao longo do tempo. A facilidade na troca de informações trazida pela Internet pode ser um dos fatores responsáveis por esse aumento. Em muitos casos, os alunos tentam disfarçar o plágio fazendo algumas modificações no código-fonte. Porém, algumas técnicas de disfarce são extremamente complexas e podem não ser detectadas a olho nu. Neste trabalho, foram analisadas as técnicas de detecção e, com base nelas, foi desenvolvido um sistema capaz de detectar plágio em código-fonte. Este sistema é baseado na representação do código como uma árvore sintática abstrata e no algoritmo Karp-Rabin Greedy String Tiling. O sistema foi avaliado utilizando uma base de códigos-fonte de alunos de disciplinas programação. Foi realizada uma comparação baseada em oráculo para comparar o sistema com os demais. O oráculo foi criado a partir da análise do docente da disciplina, onde foi marcado se havia plágio ou não em cada par de código-fonte. Para representar os resultados, foram utilizadas curvas ROC e matrizes de confusão. O mesmo procedimento foi aplicado aos sistemas já existentes, o que permitiu a comparação direta entre os resultados. Mais especificamente, utilizamos o valor da área sob a curva e a distância mínima para o ponto (0, 1) do espaço ROC, uma vez que esses valores representam o desempenho de classificação. A análise dos resultados indica que, para a amostra utilizada, o sistema desenvolvido obteve o maior valor da área sob a curva e também a menor distância para o ponto (0, 1) do espaço ROC. No entanto, concluímos que a escolha de uma ferramenta de detecção de similaridade em código-fonte dependerá bastante do perfil conservador ou liberal do docente.

Submitted by Marco Antônio de Ramos Chagas (mchagas@ufv.br) on 2017-03-24T14:25:47Z No. of bitstreams: 1 texto completo.pdf: 2448440 bytes, checksum: 7d2b03e708fe8f14a1d9290a6c09aeda (MD5) / Made available in DSpace on 2017-03-24T14:25:47Z (GMT). No. of bitstreams: 1 texto completo.pdf: 2448440 bytes, checksum: 7d2b03e708fe8f14a1d9290a6c09aeda (MD5) Previous issue date: 2017-01-25 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Estradas desempenham diversas funções para a sociedade. No setor florestal esse meio de transporte é fundamental, pois é utilizado em praticamente todas as atividades do empreendimento. Dentre essas atividades, o transporte de madeira merece destaque pois, juntamente com a colheita, é a operação mais onerosa do processo produtivo. Diversos elementos podem influenciar o custo do transporte; no entanto, a estrada pode ser considerada como um dos mais importantes, pois possui forte relação com os demais elementos, estando associada a impactos ambientais, além de ter elevados custo de construção e manutenção. O principal desafio dos gestores é determinar o local ideal de construção de estrada, de forma a permitir o tráfego com eficiência e segurança. Neste estudo é proposto um método desenvolvido para otimização do traçado geométrico de estradas florestais, implementado em ambiente de sistema de informações geográficas (SIG). A metaheurística simulated annealing foi utilizada para implementar um algoritmo com o objetivo de minimizar o custo total da estrada, atendendo restrições técnicas dos alinhamentos horizontal e vertical. O custo total incluiu: construção, manutenção, utilização e fatores ambientais e sociais. O método desenvolvido é apropriado para a otimização do traçado geométrico de estradas, por atender as condições necessárias: considera todos os custos dominantes e sensíveis, respeitando as restrições técnicas; otimiza as atribuições horizontais e verticais de modo simultâneo; é capaz de retornar uma boa solução para um problema de grande porte em um tempo aceitável; e é compatível com um SIG, o que favorece o processo de tomada de decisão, permitindo lidar com bases de dados extensas e complexas. / Roads perform many functions for society. In the forestry sector, it is a key factor, because it is used in practically all the activities of the enterprise. Among these activities, timber transportation deserves special mention because, together with harvesting, it is the most costly operation of the production process. Several elements can influence the cost of transport; however, the road can be considered as one of the most important because it has a strong relationship with other elements, for instance, being associated with environmental impacts, and also having high construction and maintenance costs. The main challenge for managers is to determine the ideal local for road construction in order to allow efficient and safe traffic. In this study, a method developed for optimization of the geometric alignment of forest roads, implemented in a geographic information system (GIS) environment, is proposed. The simulated annealing metaheuristic was used to implement an algorithm with the objective of minimizing the total cost of the road, addressing technical restrictions of the horizontal and vertical alignment. The total cost included: construction, maintenance, use and environmental and social factors. The developed method is suitable for optimization of the geometric alignment of roads, considering the needed conditions: it considers all the dominant and sensitive costs, respecting the technical restrictions; it optimizes horizontal and vertical assignments simultaneously; it is able to return a good solution to a large problem in an acceptable time; and it is compatible with a GIS, which favors the decision- making process, allowing to deal with extensive and complex databases.

Esse trabalho propõe a implementação de um sistema Prolog eficiente no espaço, o mesmo é baseado nos trabalhos de David H. D. Warren e Hassan Aït-Kaci. A Common Lisp é a estrutura usada para a construção do sistema Prolog, ela foi escolhida tanto por fornecer um ambiente eficiente no espaço quando por ser uma linguagem de programação rica no sentido de que fornece ao usuário abstrações e novas maneiras de pensar. O sistema resultante consiste em uma nova sintaxe aplicada à linguagem inicial que funciona sobre a implementanção Common Lisp chamada SBCL e é capaz de abstrair ou explorar o sistema subjacente. / This thesis proposes the implementation of a space efficient Prolog implementation based on the work of David H. D. Warren and Hassan Aït-Kaci. The Common Lisp is the framework used to the construction of the Prolog system, it was chosen both to provide a space efficient environment and a rich programming language in the sense that it supply the user with abstractions and new ways of thinking. The resulting system is a new syntax to the initial language that runs on top of the SBCL Common Lisp implementation and can abstract away or exploit the underlying system. / Tese (Doutorado)

Orientador : Walter da Cunha Borelli / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-31T15:19:09Z (GMT). No. of bitstreams: 1 Guimaraes_RafaelPaoliello_M.pdf: 1024865 bytes, checksum: 71e403fc82a4651fb1f0d61fa6da36be (MD5) Previous issue date: 2001 / Mestrado

Orientador: Walter da Cunha Borelli / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-14T06:48:35Z (GMT). No. of bitstreams: 1 Rezende_DanielCesarFelisberto_M.pdf: 1288199 bytes, checksum: f1529cd12e6f799944821614b3c9750c (MD5) Previous issue date: 2009 / Resumo: Este trabalho apresenta uma proposta de especificação formal em SDL de uma rede de comunicação intraveicular baseada no protocolo de comunicação FlexRay com geração automática de código Java. O modelo proposto se baseia naquele apresentado na especificação padrão do protocolo FlexRay, porém algumas contribuições foram feitas a fim de gerar uma rede FlexRay funcional e executável. O modelo SDL gerado confere uma formalização comportamental ao sistema, permitindo a sua validação e a simulação de suas principais funcionalidades e casos críticos através da ferramenta SDL TAU Suite. Depois de o sistema ser modelado, simulado e validado é gerado código Java para execução do sistema criado. Para isso, foi desenvolvida uma ferramenta geradora de código Java que recebe como entrada um arquivo com as especificações em SDL e tem-se como resultado um sistema descrito em Java que faz uso de sockets para comunicação entre os processos. / Abstract: This work presents a proposal of formal specification using SDL for an in-vehicle network based on the FlexRay protocol with automatic generation of Java code. The proposed model is based on that presented in the standard specification of the FlexRay protocol, although some contributions were made in order to generate a functional and executable FlexRay network. The SDL model generated provides the system a behavioural formalization, making it possible to validate and simulate its key features and critical cases by the use of the tool TAU SDL Suite. After the system is modeled, simulated and validated is generated Java code for implementing the system created. For this reason it was developed a tool for generating Java code that receives as input a file with the specifications in SDL, and delivers as result a system written in Java that makes use of sockets for communication between processes. / Mestrado / Telecomunicações e Telemática / Mestre em Engenharia Elétrica

Este trabalho apresenta uma proposta para implementação de um subconjunto de instruções e comandos de uma linguagem Pascal Padrão ISSO, aplicada a arquitetura RISC, tendo como base a arquitetura RISC-LIE [Vale91], proposta e desenvolvida no IFQSC. Para definição e construção de parte do código gerado foi utilizada a ferramenta de desenvolvimento de compiladores YACC, que definiu toda estrutura gramatical da linguagem, sendo que as demais estruturas foram desenvolvidas usando interfaces em linguagem C. O código gerado pelo computador utilizou trinta instruções de máquina que compõe o simulador da arquitetura RISC-LIE, gerando assim códigos compatíveis que podem ser interpretados por esse simulador. / This work presents a proposal for an implementation of a subset of instructions and commands of Standard Pascal ISO applied to RISC architectures. The work was developed using the RISC-LIE architecture as our target [Vale91]. The RISC-LIE has been proposed and developed at IFQSC. Part of the code was defined and constructed using YACC, a tool for compilers development which defined the grammatical structure of language. The remainder routines were developed using the C language. The code produced by the compiler used the thirty instructions of the RISC-LIE instruction set. These instructions are implemented in the RISC-LIE architecture simulator. Therefore, generates codes that can be interpreted by this simulator.

Um dispositivo adaptativo e constituído por um dispositivo subjacente (geralmente não adaptativo), por exemplo, um autômato, uma gramática, etc., no qual se adiciona um mecanismo adaptativo que e responsável pela automodificação autônoma que caracteriza os dispositivos adaptativos. As linguagens adaptativas são instancias de dispositivos adaptativos, cujo formalismo subjacente e uma linguagem de programação. A tese tem como objetivo conceituar linguagens adaptativas de programação, descrever seus pontos essenciais e considerar os aspectos e particularidades que afetem seu desenvolvimento. A concepção de linguagens adaptativas motiva um novo estilo de programação, uma vez que a aplicação da tecnologia adaptativa sugere uma nova forma de pensar. O estilo adaptativo de programação poderá tornar-se uma alternativa viável para se obter códigos aderentes às aplicações de códigos automodificáveis. / Adaptive devices comprehend a subjacent (usually non-adaptive) device, e.g. an automaton, a grammar, etc., to which an adaptive mechanism is added which performs the self-modification operations usual in adaptive devices. Adaptive languages are special adaptive devices whose subjacent formalism is a programming language. This work defines adaptive programming languages, describes their main concepts and discusses their particular development issues. Adaptive programming languages suggest a new programming style, since applying adaptive technology induces a somewhat new way to think about programs. Such adaptive style may become an alternate way to obtain adequate code in self-modifying applications.

Este trabalho apresenta um conjunto de contribuiçõoes teóricas e metodológicas para o projeto e a implementação de linguagens de programação, utilizando o autômato adaptativo como dispositivo formal para sua definição. A especificação completa de uma linguagem de programação envolve desde a compreensão adequada de princípios e fundamentos comuns entre todas as linguagens de programação, transparentes ao programador, até as suas formas e características externas. Embora muitos modelos e notações possam ser utilizados na formalização de diferentes aspectos envolvidos no projeto e na implementação das linguagens de programação, o autômato adaptativo demonstra alta aplicabilidade e adequação para uma definição completa da linguagem, sem a necessidade do uso de diferentes notações. Demonstra-se como os autômatos adaptativos podem ser utilizados como uma metalinguagem unificada para especificar todas as componentes relevantes da definição formal da linguagem de programação, tais como: análise léxica, reconhecimento da sintaxe livre de contexto e manipulação de alguns aspectos dependentes de contexto da linguagem - declaração e uso de nomes simb´olicos, semântica estática, declaração e expansão de macros, entre outros. São apresentados os conceitos relacionados, e descrito os aspectos mais importantes da formalização proposta. Para isso, utiliza-se uma linguagem imperativa simplificada, sobre a qual é acoplado um mecanismo de extensão para torná-la extensÍvel. / This work presents a set of theoretical and methodological contributions to the design and implementation of programming languages, using the adaptive automaton as device for its formal definition. The complete specification of a programming language involves proper understanding of principles and common ground between all the programming languages, transparent to the programmer, and forms and external characteristics. Although many models and notations can be used to formalize different aspects involved in the design and implementation of programming languages, the adaptive automaton shows high applicability and suitability to full definition of the language, without the need to use distincts notations. It is shown how the adaptive automata can be used as a unified metalanguage to specify all the relevant components of the formal definition of programming language, such as lexical analysis, sintax contextfree recognition and handling of context-dependent aspects of language - declaration and use of symbolic names, static semantics, definition and expansion of macros, and others. Concepts are shown and the most important aspects are described of the this formal proposal. A simple imperative language is used, on which is attached an extension mechanism to make it extensible.