Este trabalho contém os conceitos básicos da área da abstração de dados e descrição de várias técnicas para especificação de tipos abstratos, sendo que um enfoque especial dado para a técnica algébrica-axiomática. Um exemplo completo, a Grid, e apresentado desde a sua especificação até a prova da correção de sua implementação com o objetivo de tratar problemas decorrentes da abstração de tipos limitados e estáticos, bem como suas respectivas soluções, uma vez que estes problemas, devido a sua complexidade, não são comumente abordados. / This paper is concerned with the basic concepts of data abstraction and describes several techniques for specifying abstract data types; especially it focusses on the algebraic- axiomatic technique. A complete example; the Grid, is presented from its specification to the proof of correctness of its implementation. The main goal is to deal with problems stemming from abstracting limited and static data types. These problems, due to its complexity, are not commonly discussed in the available literature.

Este trabalho contém os conceitos básicos da área da abstração de dados e descrição de várias técnicas para especificação de tipos abstratos, sendo que um enfoque especial dado para a técnica algébrica-axiomática. Um exemplo completo, a Grid, e apresentado desde a sua especificação até a prova da correção de sua implementação com o objetivo de tratar problemas decorrentes da abstração de tipos limitados e estáticos, bem como suas respectivas soluções, uma vez que estes problemas, devido a sua complexidade, não são comumente abordados. / This paper is concerned with the basic concepts of data abstraction and describes several techniques for specifying abstract data types; especially it focusses on the algebraic- axiomatic technique. A complete example; the Grid, is presented from its specification to the proof of correctness of its implementation. The main goal is to deal with problems stemming from abstracting limited and static data types. These problems, due to its complexity, are not commonly discussed in the available literature.

Este trabalho contém os conceitos básicos da área da abstração de dados e descrição de várias técnicas para especificação de tipos abstratos, sendo que um enfoque especial dado para a técnica algébrica-axiomática. Um exemplo completo, a Grid, e apresentado desde a sua especificação até a prova da correção de sua implementação com o objetivo de tratar problemas decorrentes da abstração de tipos limitados e estáticos, bem como suas respectivas soluções, uma vez que estes problemas, devido a sua complexidade, não são comumente abordados. / This paper is concerned with the basic concepts of data abstraction and describes several techniques for specifying abstract data types; especially it focusses on the algebraic- axiomatic technique. A complete example; the Grid, is presented from its specification to the proof of correctness of its implementation. The main goal is to deal with problems stemming from abstracting limited and static data types. These problems, due to its complexity, are not commonly discussed in the available literature.

Orientador : Beatriz Mascia Daltrini / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-03T14:47:59Z (GMT). No. of bitstreams: 1 Engelbrecht_AngeladeMendonca_D.pdf: 824030 bytes, checksum: 75f82c4f43071fe095f9ae8d933e06f8 (MD5) Previous issue date: 2003 / Doutorado

This works presents a new model to the multiple protein alignment problem using genetic algorithm based on abstract data types - GAADT. This model uses a structure called chromosome, which is a set of gene that in turn is composed of basic units called bases. Each chromosome is a possible alignment of the input sequences and the chromosome fitness is calculated according with the bases order in alignment. This model is different from other paradigms of multiple alignment by aligning the input sequences as a whole instead of a progressive pairwise alignment approach. Some characteristics of this model concern to the data structure, well-defined genetic operations and the convergence to a solution close to that found in other tools. The validation was performed comparing reference alignments of protein families subset with the results of the model. / Fundação de Amparo a Pesquisa do Estado de Alagoas / Este trabalho apresenta um novo modelo capaz de realizar o alinhamento múltiplo de proteínas utilizando algoritmo genético baseado em tipos abstratos de dados, denominado GAADT, no qual o cromossomo se dispõe em genes que por sua vez é composto de unidades elementares denominadas bases. Cada cromossomo representa um possível alinhamento entre as seqüências de proteínas e a adaptação do cromossomo é calculada conforme as bases se dispõem no alinhamento. O modelo se difere de outros métodos de alinhamento múltiplo por alinhar as seqüências como um todo, avaliando as colunas (genes) que compõem o alinhamento (cromossomo), ao invés de alinhar seqüências duas a duas progressivamente ou hierarquicamente. As potenciais características do modelo dizem respeito a estrutura de dados organizada, operações genéticas bem definidas sobre os tipos modelados e a convergência para uma solução próxima às encontradas por outras ferramentas, apesar desse algoritmo usar uma quantidade menor de conhecimento frente aos algoritmos existentes. A justificativa de que o modelo é válido foi realizada analisando sua performance com alinhamentos referência, utilizando como estudo de caso um subgrupo de famílias de proteínas.

Orientador: Manuel de Jesus Mendes / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação / Made available in DSpace on 2018-08-18T21:31:47Z (GMT). No. of bitstreams: 1 RestovicValderrama_MariaInes_M.pdf: 1435363 bytes, checksum: 073357e2857410d0a58e683b2837ca3e (MD5) Previous issue date: 1992 / Resumo: Neste trabalho apresenta-se uma ferramenta chamada Compilador ASN.1, cujo objetivo é fornecer uma representação concreta para a sintaxe abstrata ASN.1, de forma que, as especificações das PDU's dos protocolos de aplicação, geralmente escritas em ASN.1, possam ser utilizadas computacionalmente. Uma das funções prioritárias da camada de apresentação de um protocolo de comunicação é produzir uma codificação dos valores destas PDU's, baseando-se nas regras definidas pela norma BER. Assim, o compilador deve fornecer numa segunda tarefa, as rotinas de codificação e decodificação específicas para cada PDU compilada, utilizando um conjunto de funções que se encontram em duas bibliotecas auxiliares que realizam estas conversões / Abstract: This work presents a tool called "Compilador ASN.1", which main objective is to provide a concrete representation for the abstract syntax ASN.1, in order to translate the application protocol PDU's specification, written in ASN.1, to the C language. One of the main functions of the presentation layer is produce an encode-decode for the PDU's data values, based on the BER norm. Therefore, a second compiler task is to provide the specific encode-decode routines for each compiled PDU, using a function set available in two complementary libraries that carry out these conversions / Mestrado / Automação / Mestre em Engenharia Elétrica

Submitted by Josimara Dias Brumatti (bcgdigital@ndc.uff.br) on 2017-04-03T17:34:30Z No. of bitstreams: 1 Tese_Joao Alt.pdf: 13032903 bytes, checksum: a88b473b5819e948ca36ca147db3950a (MD5) / Approved for entry into archive by Josimara Dias Brumatti (bcgdigital@ndc.uff.br) on 2017-04-03T17:35:25Z (GMT) No. of bitstreams: 1 Tese_Joao Alt.pdf: 13032903 bytes, checksum: a88b473b5819e948ca36ca147db3950a (MD5) / Made available in DSpace on 2017-04-03T17:35:25Z (GMT). No. of bitstreams: 1 Tese_Joao Alt.pdf: 13032903 bytes, checksum: a88b473b5819e948ca36ca147db3950a (MD5) / Em meados do Século XIX as histórias em quadrinhos despontaram na cultura ocidental como uma forma de linguagem fundada no sincretismo verbo/imagem, que propiciou uma nova experiência de leitura. Recentemente, surgiram as chamadas histórias em quadrinhos abstratas que trouxeram consigo novas possibilidades de interação com as HQs, promoveram rearranjos no equilíbrio entre os planos da função semiótica e configuraram um novo campo para os estudos da significação. Esta tese, que opera na interface dos estudos de comunicação e semiótica, investiga os mecanismos de produção de sentido nas HQs tradicionais e abstratas, compara procedimentos enunciativos das duas correntes, e analisa, com enfoque na narratividade do conteúdo e na narratividade da expressão, a dinâmica da relação entre os dois planos da linguagem, à medida que o olhar analítico se desloca do domínio dos quadrinhos canônicos para o dos quadrinhos abstratos. Para isso, dá prioridade aos conceitos e ferramentas de análise das vertentes plástica e tensiva da semiótica, mas recorre também a fundamentos da psicologia da percepção e da história da arte, e a exemplos ilustrativos e noções pertinentes aos campos da pintura, da literatura e das artes gráficas. / During the nineteenth century, comics emerged amongst western culture as a form of language grounded on the word/picture syncretism, which provided a new reading experience. Recently, the so-called abstract comics have brought new possibilities of interaction with comics, reorganizing the balance between the plans of semiotic function and setting a new field of the study of meaning. This thesis, which operates amidst the studies of communication and semiotics, looks into the mechanics of meaning construction in traditional and abstract comics, compares discursive procedures of both courses, and analyses, concerning mainly content and expression narrativities, the dynamics between the two plans of language as the analytical eye places itself further from canonical comics towards abstract comics. Thereto, it prioritizes the concepts and tools of analysis of both plastic semiotics and the tensive model, but also calls upon grounds of psychology of art, gestalt theory and art history, and illustrative examples and notions concerning the fields of painting, literature and graphic arts.

Diversos sistemas computacionais transmitem informação em fluxos contínuos de dados estruturados e, por vezes, hierarquizados. Este modelo de transmissão de dados tem como uma de suas características a grande densidade de informação, o que exige de um receptor o tratamento imediato das unidades extraídas deste canal de comunicação. Muitas vezes o volume de transmissão não permite, também, que a informação recebida seja armazenada permanentemente no receptor, o que torna a análise do conteúdo desses fluxos de dados um desafio. Este trabalho apresenta uma arquitetura para a análise de fluxo de dados estruturados aplicado à hierarquia lógica definida pelo Sistema Brasileiro de TV Digital para a transmissão de programas de televisão, validada por meio de uma implementação de referência completamente funcional. / Various computing systems transfer data in structured data streams which also happen to be, sometimes, hierarchically organized. Such data stream model is characterized by the dense amount of information transmitted, which requires the receiver to immediately manipulate the elements extracted from that communication channel. The high rate in which data flows also makes it hard, if not impossible, for the receiver to store the desired information in its memory, which makes data flow analysis especially challenging. This work presents a novel structured data flow analysis architecture applied to the logical hierarchy defined by the Brazilian Digital TV System for the transmission of television programs, validated by means of a fully functional reference implementation.

Diversos sistemas computacionais transmitem informação em fluxos contínuos de dados estruturados e, por vezes, hierarquizados. Este modelo de transmissão de dados tem como uma de suas características a grande densidade de informação, o que exige de um receptor o tratamento imediato das unidades extraídas deste canal de comunicação. Muitas vezes o volume de transmissão não permite, também, que a informação recebida seja armazenada permanentemente no receptor, o que torna a análise do conteúdo desses fluxos de dados um desafio. Este trabalho apresenta uma arquitetura para a análise de fluxo de dados estruturados aplicado à hierarquia lógica definida pelo Sistema Brasileiro de TV Digital para a transmissão de programas de televisão, validada por meio de uma implementação de referência completamente funcional. / Various computing systems transfer data in structured data streams which also happen to be, sometimes, hierarchically organized. Such data stream model is characterized by the dense amount of information transmitted, which requires the receiver to immediately manipulate the elements extracted from that communication channel. The high rate in which data flows also makes it hard, if not impossible, for the receiver to store the desired information in its memory, which makes data flow analysis especially challenging. This work presents a novel structured data flow analysis architecture applied to the logical hierarchy defined by the Brazilian Digital TV System for the transmission of television programs, validated by means of a fully functional reference implementation.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-06-10T17:35:13Z No. of bitstreams: 1 ARTHUR THIAGO THAMAY MEDEIROS - DISSERTAÇÃO PPGDsign 2018..pdf: 119262402 bytes, checksum: 2bbca76fb01ef0bbd2554ccff0da302d (MD5) / Made available in DSpace on 2018-06-10T17:35:13Z (GMT). No. of bitstreams: 1 ARTHUR THIAGO THAMAY MEDEIROS - DISSERTAÇÃO PPGDsign 2018..pdf: 119262402 bytes, checksum: 2bbca76fb01ef0bbd2554ccff0da302d (MD5) Previous issue date: 2018-02-27 / A presente pesquisa apresenta uma análise visual dp ladrilho hidráulico de Campina Grande, abrangendo os exemplares da Fábrica Metro Materiais, a antiga "Fábrica de Mosaicos Resistência", inaugurada em 1947. Popularmente conhecido como mosaicos, essa tipologia de revestimento foi um elemento construtivo importante na constituição histórica da arquitetura de Campina. A cidade foi palco de grande desenvolvimento em diversos setores industriais e, por isso, torna-se importante a investigação da trajetória das fábricas de ladrilhos hidráulicos que funcionaram no município. A pesquisa investiga os padrões e demais aspectos iconográficos dos ladrilhos produzidos pela Fábrica Metro, com o objetivo de analisar, registrar e compreender os desenhos de maneira técnico-construtiva. Justifica-se a pesquisa, conforme o seu valor científico e académico, devido à escassez de literatura sobre o tema de análises visuais a respeito desses artefatos, resultando na preservação dos modelos, através do registro do patrimônio industrial campinense abordado na pesquisa. Assim, a contribuição dos resultados, bem como os conceitos apresentados sobre as técnicas de composição dos ladrilhos hidráulicos, abre caminhos para conhecimentos que podem ser aplicados em demais projetos distintos na área do design de superfície. / The present research presents a visual analysis of the hydraulic tile of Campina Grande, covering the examples of the Metro Materiais Factory, the former "Fábrica de Mosaicos Resistência", inaugurated in 1947. Popularly known as mosaics, this type of tile coating was an important constructive element in the historical constitution of the Campina architecture. The city was a stage of great development in several industrial sectors and, therefore, it becomes important to investigate the trajectory of the hydraulic tile factories that worked in the municipality. The research investigates the patterns and other iconographic aspects of the tiles produced by Metro Materiais, with the purpose of analyzing, registering and understanding the drawings in a technical-constructive manner. The research, according to its scientific and academic value, is justified due to the scarcity of literature on the subject of visual analysis regarding these artrfacts, resulting in the preservation of the models, through the record of the Campina Grande's industrial patrimony studied in the research. Thus, the contribution of the results, as well as the concepts presented on the techniques of composition of the hydraulic tiles, opens paths for knowledge that can be applied in other projects in the area of surface design