Orientador: Marcio Luiz de Andrade Netto / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-16T12:40:17Z (GMT). No. of bitstreams: 1 OliveiraNeto_JoseDutrade_M.pdf: 7494556 bytes, checksum: b48500c1d6c57f03ae38b474494259e6 (MD5) Previous issue date: 1988 / Resumo: O objetivo principal deste trabalho é mostrar a viabilidade de um sistema de manipulação algébrica em ambientes computacionais de pequeno porte. O mesmo foi desenvolvido em Prolog, acrescido de funções especialmente desenvolvidas para manipulação de derivadas, matrizes e integrais / Abstract: The main objectlve of this work is to show the viabililty of an algebraic manipulation system In microcomputers. The system was written in PROLOG language extended with statements especially developed to deal with differentiation, matrices, symbolic integration and algebric manlpulation / Mestrado / Mestre em Engenharia Elétrica

Orientador: Jose Armando Valente / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-18T05:06:57Z (GMT). No. of bitstreams: 1 Baranauskas_MariaCeciliaCalani_D.pdf: 17533192 bytes, checksum: 75acf1785ebdc0ff37c188cfb76d937a (MD5) Previous issue date: 1993 / Résumé: Cette these a comme theme principal le design des outils computationales constituent un ambiant de programmation Prolog et l'étude de l'interaction du novice en cet ambiant. La proposition de l'ensemble des outils est expliciter le paradigme sousjacent et enrichir le feedback formé par l'ambiant Prolog facilitant au novice l'acces au programme pas seulement dans la signification operationale, mais aussi dans la signification logique. Les outils insérés dans l'ambiant de programmation Prolog constituent um Module Operationale et un Module Declaratif. Dans le Module Operationale, la machine virtuelle du langue est executé à travers d'une base des donnés que nous appelons Arbre du Espace de Cherche. Dans le Module DecIaratif le formalisme clausal du programme est exprimé d'une manihe picturale à travres d'un modele basé en diagrammes des reseaux sémantiques, que nous appelons Diagrammes Sémantiques. II a été fait une étude experimentale pour l'analyse de l'interaction du novice dans l'ambiant proposé, avec deux types de novices: (A) novices dans leur premiere experience avec une langue de programmation (et aussi avec les ordinateurs) et (B) novices en Prolog, mais avec un bon connaissance des langues de procedures. Notre objectif a été étuder les états initials du procés de acquisition de la langue Prolog et les effets des outils dans ce procés. Les études des observations faites on montré que les deux types de novice ont modéles conceptuelles initiales de Ia machine virtuelle, qui sont les responsables de leur interpretation du programme Prolog e de la conduite de la machine virtuelle de la langue. Les situations d erreur peuvent être interprétés a partir de ces modeles conceptuelles courant, qui evoluent dans le procés d'interaction avec l'ambiant. L'activité de programmer s'est montré comme un proces d'incrémentation que comprend une cyc1e realimenté par reponds donés par l'ambiant de programation. Ainsi, la dépuration est une partie du procés de acquisition de la langue et non une phase que doit être traité isolément. Le feedback formé par les outils a été l'origin d'une transformation de la perspective des éleves en relation a la conaissance etant représenté (programme) et en relation au interlocuteur dans le procés de programmation (machine virtuelle), lequel a rend possible la modification de leurs modéles conceptuelles de la langue / Resumo: Esta tese tem como tema principal o design de ferramentas computacionais que constituem um ambiente de programação Prolog e o estudo da interação do novato nesse ambiente. A proposta do conjunto de ferramentas é explicitar o paradigma de programação subjacente e enriquecer o feedback gerado pelo ambiente Prolog, possibilitando ao novato acesso ao programa não apenas em seu significado operacional, mas também em seu significado lógico. As ferramentas, inseridas no ambiente de programação Prolog, constituem um Módulo Operacional e um Módulo Declarativo. No Módulo Operacional, a máquina virtual da linguagem é explicitada através de uma representação gráfica da ,árvore de busca de determinada meta em uma base de dados, que denominamos Arvore de Espaços de Busca. No Módulo Declarativo o formalismo clausal do programa é expresso de forma pictórica através de um modelo baseado em diagramas de redes semânticas, que denominamos Diagramas Semânticos. Foi feito um estudo experimental para análise da interação do novato no ambiente proposto, que envolveu dois tipos de novatos: (A) novatos em sua primeira experiência com linguagem de programação (e mesmo com computadores) e (B) novatos em Prolog, mas com bom conhecimento de linguagens procedurais. Nosso objetivo foi investigar os estágios iniciais do processo de aquisição da linguagem Prolog e os efeitos das ferramentas propostas, nesse processo. Os estudos realizados mostraram que ambos os tipos de novato têm modelos conceituais iniciais da máquina virtual, responsáveis pela sua interpretação a respeito do programa Prolog e do comportamento da máquina virtual da linguagem. As situações de erro podem ser interpretadas a partir desses modelos conceituais correntes, que evoluem ao longo do processo de interação com o ambiente. A atividade de programar mostrou-se como um processo incremental que envolve um ciclo realimentado por respostas forneci das pelo ambiente de programação. Dessa maneira, depuração é parte do processo de aquisição da linguagem e não uma fase a ser tratada isoladamente. O feedback gerado pelas ferramentas provocou uma mudança de perspectiva dos estudantes em relação ao conhecimento sendo representado (programa) e em relação ao interlocutor no processo de programação (máquina virtual), o que possibilitou a modificação nos seus modelos conceituais da linguagem / Abstract: This thesis concerns the design of computational tools which constitute a Prolog programming environment and the study of novices' interaction in this environment. The purpose of the tool package is to make explicit the underlying programming paradigm and to reinforce the feedback provided by the Prolog environment, opening to the novice access to the program, not only in its operational meaning but also in its logical meaning. The tools are integrated in the Prolog environment through an Operational Module and a Declarative Module. In the Operational Module, the language virtual machine is shown through a graphical representation of the search tree of a goal within a database, which I named Search-Spaces Tree. In the Declarative Module, the clausal form of the program is represented in a pictorial way, by means of a model based on network diagrams, which I named Semantic Diagrams. The study of the novice's interaction within the proposed environment was conducted experimentally with two types of novices: (A) novices in their first experience with a programming language (and even with computers) and (B) novices with good practice of procedural programming. Our aim was to investigate the early stages of Prolog programming and the effects of the proposed tools in this process. The observational studies undertaken showed that both types of novices had an initial conceptual model of the virtual machine. Such models guided their interpretation of the Prolog program and of the behavior of the machine. Their misunderstandings may be understood as resulting from their current models, which evolve as long as they interact in the environment. The programming activity can be interpreted, from the results, as an incremental process which envolves a cyclic process fed by responses of the programming environment. By this way, debugging is part of the language learning process and not an activity to be treated in isolation. The feedback created by the tools provided changes in the students' perspective related to the knowledge being represented (program) and the interlocutor in the process (virtual machine), which lead them to the understanding of the conceptual model of the language / Doutorado / Doutor em Engenharia Elétrica

Resumo: Diversos critérios e ferramentas de teste têm sido propostos ultimamente com o objetivo de auxiliar a seleção e a avaliação de um conjunto de dados de teste. Dentre esses critérios, destacam-se os critérios baseados em análise de mutantes, que têm se mostrado um dos mais eficazes em revelar defeitos. Entretanto, esses trabalhos tratam do teste de programas escritos em linguagens procédurals e/ou orientadas a objeto. São poucos os trabalhos da literatura que abordam o teste de programas lógicos, tais como os escritos em Prolog, e a maioria deles não tem como objetivo a quantificação da atividade de teste e o estabelecimento de medidas de cobertura. Este trabalho trata da aplicação do critério Análise de Mutantes no teste de programas Prolog. Um conjunto de operadores de mutação para essa linguagem é proposto. O conjunto está baseado nas principais características do Prolog e em erros comuns que os programadores podem cometer nesse paradigma. Uma ferramenta de teste chamada MutProlog é descrita e resultados de experimentos com essa ferramenta mostram a aplicabilidade dos operadores propostos e permitem a comparação com a abordagem estrutural.

Orientador: Eliane Martins / Dissertação (mestrado) - Universidade Estadual de Campinas. Instituto de Computação / Made available in DSpace on 2018-07-27T07:08:28Z (GMT). No. of bitstreams: 1 Toyota_CristinaMaria_M.pdf: 3854909 bytes, checksum: 874b3dd3b8d9d802380a4a4fcec2d0b1 (MD5) Previous issue date: 2000 / Resumo: O esforço e custo adicionais exigidos pelo processo de teste de um software ou componente depende em geral de quão fácil é testá-Io. No caso de componentes reutilizáveis essa habilidade se toma mais importante ainda, pois eles devem ser testados durante seu desenvolvimento, toda vez que forem reutilizados em um novo contexto, e a cada vez que sofram alguma alteração. Uma proposta para construir classes com maior testabilidade foi feita fazendo-se uma analogia entre circuitos integrados e classes. Foi proposta a construção de classes autotestáveis e tal como em circuitos integrados, estas classes teriam mecanismos embutidos específicos para teste. Outro fator importante para testabilidade do software é a possibilidade de reutilização de testes. Por esta razão foi empregada nesse estudo a técnica incremental hierárquica, que leva em conta a hierarquia de herança permitindo que, em alguns casos, seja possível reutilizar casos de testes gerados para a classe base nos testes de suas classes derivadas. Este trabalho apresenta a metodologia definida para construir uma classe autotestável, bem como o protótipo construído para automatizar parte desta metodologia, mostrando assim a sua viabilidade / Abstract: In general the additional effort and cost required by the testing process depends on the testability of the software or component being tested. Testability is more important for reusable components because they need testing during their development and afier each change (either in the class or in the environrnent). An approach comparing classes and integrated circuits of hardware had been proposed for constructing classes with higher testability. The resulting class is called builtin self-testing class, because it contains built-in testing mechanisms. Class testability will be increased if reuse could be extended to the test cases too. The incremental hierarchical technique considers the inheritance relationship to test classes by reusing test cases of a parent class when testing a subclass. This work presentes: a methodology to construct built-in self-testing classes and a prototyping tool, ConCAT, that automates part of this methodology, by showing its feasibility / Mestrado / Mestre em Ciência da Computação

Orientador: Eliane Martins / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-25T09:01:19Z (GMT). No. of bitstreams: 1 Sabiao_SelmaBassiga_M.pdf: 17266722 bytes, checksum: db5c06b5aed90b0f3a35b3277e7444f4 (MD5) Previous issue date: 1999 / Resumo: Com o aumento da demanda por sistemas confiáveis, cresce a necessidade de métodos e ferramentas que possibilitem a validação desses sistemas. Uma forma de validação desses sistemas é através de técnicas de teste. Nesta dissertação é proposto um método para geração de testes a partir de Máquinas Finitas de Estados Estendidas (MFEE). Este método tem por objetivo a geração de testes englobando aspectos de controle e dados de protocolos de comunicação. Para isso, diversas técnicas de teste caixa preta são combinadas, possibilitando a geração de testes para cobrir todos os aspectos do protocolo. Este método parte da especificação em MFEE e a transforma em uma especificação de teste. A partir dessa especificação, e de um conjunto de restrições especificadas pelo usuário, seqüências de teste são geradas através de técnicas de teste caixa preta. Para validar o método proposto, foi implementada uma ferramenta denominada CONDADO. Essa ferramenta implementa três técnicas de teste caixa preta: testes de transição de estados, testes de sintaxe e testes de domínio. Além disso, a CONDADO implementa mecanismos que possibilitam a geração de testes seletivos para cobrir funcionalidades específicas do protocolo através do uso de restrições. Um experimento foi realizado usando uma implementação do protocolo de solo bordo do satélite SACI-l do Instituto Nacional de Pesquisas Espaciais (INPE). / Abstract: The demand for reliable systems is increasing and because of that the construction of methods and tools have became more and more important. Specially for the validation through testing techniques. In this work, a test generation method based on Extend Finite State Machine (EFSM) has been developed. The goal of this method is to generate tests which combine both control and data in the field of communication protocols. Several black box testing techniques are combined by allowing test generation to cover all the protocol aspects. The method transforms the EFSM into a test specification. From this specification and a set of restrictions supplied by the user, tests sequences are generated through black box testing techniques. The method was validate by implementing a tool called CONDADO. This tool implements three black box testing techniques: state transition tests, syntax tests and domain tests. CONDADO also implements a mechanism that makes possible the use of restrictions to test specific protocol functionalities. The tool is intend to be used in the tests of communication systems developed by National Institute for Space Research of Brazil. / Mestrado / Mestre em Ciência da Computação

Orientador: Marcio Luiz de Andrade Netto / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-13T21:53:33Z (GMT). No. of bitstreams: 1 Guilherme_IvanRizzo_M.pdf: 6763599 bytes, checksum: f5f8dc36b79c661e0593fc1328a26b21 (MD5) Previous issue date: 1990 / Resumo: Este trabalho consiste da discussão e implementação de ferramentas de programação que operem Conjuntos Nebulosos e a Lógica Nebulosa. É demonstrado e discutido um sistema composto de um conjunto de rotinas voltadas para a Manipulação de Conjuntos e Relações Nebulosas. Alguns sistemas de programação baseados em 16glca nebulosa, denominados de PROLOG-nebulosos, são analisados. Finalmente descreve-se a implementação de um PROLOG-nebuloso que possui as mesmas características da linguagem PROLOG / Abstract: This work consists of a discussion and implementation of programming tools that operate the Fuzzy Sets Theory. A system composed of a set of routines specialized on manipulating of Fuzzy Sets and Fuzzy Relations is shown and discussed. Some system for Fuzzy Logic Programming, known as Fuzzy PROLOG, are analysed. Finally, an implementation of a Fuzzy PROLOG is describe that has the same characteristic of the PROLOG language / Mestrado / Mestre em Engenharia Elétrica

Orientador : Wagner C. Amaral / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-16T01:51:41Z (GMT). No. of bitstreams: 1 Ludwig_Artemio_D.pdf: 9026847 bytes, checksum: bf0003b28c02857c43931feb4b9729d1 (MD5) Previous issue date: 1992 / Resumo: A implementação de interpretadores para a linguagem da Lógica de Ordem Superior (LOS) constitui-se num desafio ainda não vencido. Pode-se dividi-Io em duas partes: (a) tornar a linguagem mais amigável permitindo estimular sua adoção e (b) dotar as implementações com um desempenho que não sacrifique sua usabilidade. A linguagem de programação para a LOS utiliza os conceitos do À-cálculo e os recursos de tipificação de Russel. Sua sintaxe é portanto mais complexa do que aquela da Lógica de Primeira Ordem (LPO). A técnica de derivação de algum conhecimento em uma base de conhecimento, formalizada conforme suas regras, assemelha-se com aquela da LPO que é chamada de resolução. Qualquer sistema de provas em LOS deve atender a restrições de uma linguagem fortemente tipada e a unificação, que apresenta problemas de incompletude, pode gerar mais do que um unificador. Isto torna a pesquisa nâ.o-determinística e faz com que a derivação contenha mais uma fonte de retroencadeamento, quando comparada com modelo de programação em LPO. Este trabalho expõe e analisa a implementação de um interpretador para a LOS sujeita a sentenças definidas positivas as quais contêm propriedades adequadas à mecanização semelhantes àquelas das cláusulas de HORN da LPO. Problemas de indecidibilidade são contornados e os vários aspectos computacionais são descritos como a formação da base de conhecimento, sua gramática e a P-derivação, que é o método de obtenção de provas sobre a base. Central a estes procedimentos encontra-se a unificação que apresenta complexidade elevada e cujo processamento é razão de depauperação na qualidade do sistema. Uma proposta de enfoque alternativa é oferecida com o propósito de atenuar os efeitos sobre a lentidão do sistema. O algoritmo resultante indica ganhos no desempenho e apresenta uma interpretação mais facilitada do mecanismo da unificação / Abstract: Efficient Interpreter implementations for Righer Order Logic (ROL) programming language still remain as a challenge that can be splitted into two classes: (a) to make the language friendlier in order to stimulate the user to adopt it, and (b) to provi de the interpreter with a performance that does not damage its usability. This paper resulted from an ROL interpreter prototypation, called À-PROLOG. Only the positive definite sentençes are used in the language. They are similar to those of the First Order Logic (FOL) programing language and present some apropriate mechanization properties. One kind of implementation is discribed and its computational aspects are analysed. They include the knowledgernent base formation, the grarnrnar of the sentences and the P-derivation, which is the method of deriving proofs over the base. The unification is the most important interpreter procedure and has high complexity. Its processing is one of the reazons for the depaupering of system quality. In this paper the analisies of the MATCR and SIMPL algorithms that were developed for this purpose are used to supply a new unification algorithm which, in contrast to MATCR, shows initial performance gains and an easier procedural interpretation oí the unification mechanism / Doutorado / Automação / Doutor em Engenharia Elétrica

É apresentada a implementação de um sistema de prova automática de teoremas baseado no Método de Eliminação de Modelos Fraca com participação dinâmica de problemas a fim de permitir o processamento em paralelo. O sistema, em sua versão seqüencial, pode ser executado em qualquer equipamento compatível com IBM-PC XT/AT. A versão paralela foi implementada para ser executada no processador preferencial de Telebrás, onde a comunicação entre os processos é efetuada por troca de mensagens. O sistema permite a execução de uma dedução com um número qualquer de processadores sem que seja necessária uma hierarquização rígida dos processos, ou seja, não existe o conceito de "produtor"e "consumidor".A troca de mensagens é efetuada através da utilização de procedimentos de comunicação especialmente desenvolvidas para máquina a ser utilizada.

Submitted by Maykon Nascimento (maykon.albani@hotmail.com) on 2015-08-17T20:51:11Z No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) iMAP um mecanismo de interferência para mapas conceituais.pdf: 3592832 bytes, checksum: 74228f1a39062e8403f7bc245d88e1dc (MD5) / Approved for entry into archive by Patricia Barros (patricia.barros@ufes.br) on 2015-08-18T16:17:52Z (GMT) No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) iMAP um mecanismo de interferência para mapas conceituais.pdf: 3592832 bytes, checksum: 74228f1a39062e8403f7bc245d88e1dc (MD5) / Made available in DSpace on 2015-08-18T16:17:52Z (GMT). No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) iMAP um mecanismo de interferência para mapas conceituais.pdf: 3592832 bytes, checksum: 74228f1a39062e8403f7bc245d88e1dc (MD5) Previous issue date: 2014 / Mapas Conceituais são representações gráficas do conhecimento de uma pessoa num dado momento e área de conhecimento. Por sua natureza investigativa, são utilizados como ferramentas de apoio em abordagens pedagógicas que objetivam promover a aprendizagem significativa. No entanto, o processo de avaliação de um mapa tende a ser custoso pois acarreta uma pesada carga de processamento cognitivo por parte do avaliador, já que este precisa mapear os conceitos e relações em busca de nuances de conhecimento alí presentes. Essa pesquisa tem por objetivo aumentar o nível de abstração nas interações entre o avaliador e os mapas conceituais fornecendo uma camada intermediária de inteligência computacional que favoreça a comunicação por meio de perguntas e respostas em linguagem natural, fornecendo ao avaliador ferramentas que lhe permita examinar o conteúdo do mapa conceitual sem exigir deste o mapeamento visual dos conceitos e relações presentes nos mapas avaliados. Uma ferramenta é prototipada e uma prova de conceito apresentada. A análise da arquitetura proposta permitiu definir uma arquitetura final com características que permitem potencializar o uso de mapas conceituais e facilitar diversas operações pedagógicas com estes. Essa pesquisa situa-se na área de investigação de sistemas de perguntas e resposta, aplicando técnicas de processamento de linguagem natural para análise da pergunta e interpretação do mapa conceitual e aplica técnica de inteligência artificial para inferir respostas às perguntas. / Concept maps are graphical representations of a person’s knowledge at a given time and area of expertise. For his investigative nature, they are used as tools to support pedagogical approaches that aim to promote meaningful learning. However, the maps evaluation process tends to be costly because it causes a heavy load of cognitive processing on the part of the evaluator, since it needs to map out the concepts and relations in order to find nuances of knowledge present there. This research aims to increase the level of abstraction in the interactions between the evaluator and the concept maps by providing an intermediate layer of computational intelligence that favors the communication through questions and answers in natural language, producing tools that allow the evaluator to examine the content of the concept map without requiring the visual mapping of concepts and relations present in the evaluated maps. A tool is prototyped and a proof of concept is presented. The analysis of the proposed architecture has led to the definition of a final architecture with features that allow enhancing the use of concept maps and facilitating various pedagogical applications. This research is dedicated to the investigation of Question Answering Systems, by applying natural language processing techniques to analyze the question and interprete the concept map, as well as applying techniques of artificial intelligence to infer answers to the questions.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico / Made available in DSpace on 2016-01-08T20:06:40Z (GMT). No. of bitstreams: 1 104270.pdf: 2084538 bytes, checksum: 634e443e7c93d5e37f809792a13add61 (MD5) Previous issue date: 1995 / O crescente desenvolvimento tecnológico na área da eletrônica, tem revolucionado as técnicas e táticas utilizadas na exploração do espectro eletromagnético, como meio de promover a identificação de alvos. Em contra partida, a pesquisa de sistemas que buscam imitar performances humanas, em tarefas que exijam processamentos simbólicos ou classificação de padrões, têm apresentado um notável aumento de interesses por parte da comunidade científica. O desenvolvimento de sistemas que realizam diagnósticos de doenças ou sistemas capazes de promover a identificação de padrões de sons e imagens, dão uma boa idéia do quão é amplo o espectro de problemas solucionáveis por estas abordagens. Uma breve concepção de uma abordagem heurística para a solução deste problema será realizada, de forma que obtenhamos um paralelo conceitual, sobre o qual possamos ressaltar algumas características de um modelo conexionista. Os paradigmas da abordagem conexionista serão conceituados, de forma que, tenhamos o suporte teórico para que um modelo conexionista possa ser concebido. Algumas funções utilizáveis por estes modelos serão simuladas e um circuito capaz de implementá-las analogicamente será sugerido.