Verhaltensmodelle sind für die Beschreibung digitaler Schaltungen besonders geeignet. Sie besitzen einen hohen Abstraktionsgrad, wodurch sich in Vergleich zu strukturellen Modellen die Anzahl der benötigten Elemente verkleinert, um eine Schaltung auf der Verhaltensebene zu beschreiben. In dieser Arbeit wird ein Testerzeugungsverfahren entwickelt, das auf der Verhaltensebene anwendbar ist. Damit soil ein Beitrag zur Beherrschung des zunehmenden Aufwands bei der Testerzeugung fur hochintegrierte Schaltungen geleistet werden. Ausgangspunkt far die Arbeit ist ein Verhaltensgraph, der sich aus einem Datengraphen und einem Ablaufgraphen zusammensetzt. Der Datengraph stellt den Datenfluß dar, wahrend der Ablaufgraph den Steuerfluß abbildet. Aus diesen Graphen werden Testwege abgeleitet, die es ermöglichen, parametrisierte Testmuster von den Eingangsanschlassen bis zum zu testenden Element weiterzuleiten und die Antwort dieses Elements bis zu den Ausgangsanschldssen fortzupflanzen. Durch die Anwendung von parametrisierten Testmustern wird erreicht, daß das Verfahren unabhängig von Fehlermodellen und Realisierungseinzelheiten wird. Die Aktivierung der Testwege wird anhand von Vorwärts- und Rückwärtsfortpflanzungen durchgeführt. Das vorgeschlagene Verfahren berücksichtigt sowohl die prozedurale (imperative) als auch die nichtprozedurale (applikative) Verhaltensbeschreibung einer Schaltung. Es wird an die Eigenschaften des jeweiligen Verhaltens angepaßt, außerdem werden die verschiedenen Sprachkonstrukte, die in den imperativen und applikativen Teilen der Beschreibung vorkommen können, durch entsprechende Verfahren einzeln berücksichtigt. Zur Beschreibung des Verhaltens wird in der vorliegenden Abhandlung die Sprache DSL (Digital Systems Specification Language) verwendet, was aber die Allgemeinheit der Anwendung des Verfahrens nicht einschränkt.

Verhaltensmodelle sind für die Beschreibung digitaler Schaltungen besonders geeignet. Sie besitzen einen hohen Abstraktionsgrad, wodurch sich in Vergleich zu strukturellen Modellen die Anzahl der benötigten Elemente verkleinert, um eine Schaltung auf der Verhaltensebene zu beschreiben. In dieser Arbeit wird ein Testerzeugungsverfahren entwickelt, das auf der Verhaltensebene anwendbar ist. Damit soil ein Beitrag zur Beherrschung des zunehmenden Aufwands bei der Testerzeugung fur hochintegrierte Schaltungen geleistet werden. Ausgangspunkt far die Arbeit ist ein Verhaltensgraph, der sich aus einem Datengraphen und einem Ablaufgraphen zusammensetzt. Der Datengraph stellt den Datenfluß dar, wahrend der Ablaufgraph den Steuerfluß abbildet. Aus diesen Graphen werden Testwege abgeleitet, die es ermöglichen, parametrisierte Testmuster von den Eingangsanschlassen bis zum zu testenden Element weiterzuleiten und die Antwort dieses Elements bis zu den Ausgangsanschldssen fortzupflanzen. Durch die Anwendung von parametrisierten Testmustern wird erreicht, daß das Verfahren unabhängig von Fehlermodellen und Realisierungseinzelheiten wird. Die Aktivierung der Testwege wird anhand von Vorwärts- und Rückwärtsfortpflanzungen durchgeführt. Das vorgeschlagene Verfahren berücksichtigt sowohl die prozedurale (imperative) als auch die nichtprozedurale (applikative) Verhaltensbeschreibung einer Schaltung. Es wird an die Eigenschaften des jeweiligen Verhaltens angepaßt, außerdem werden die verschiedenen Sprachkonstrukte, die in den imperativen und applikativen Teilen der Beschreibung vorkommen können, durch entsprechende Verfahren einzeln berücksichtigt. Zur Beschreibung des Verhaltens wird in der vorliegenden Abhandlung die Sprache DSL (Digital Systems Specification Language) verwendet, was aber die Allgemeinheit der Anwendung des Verfahrens nicht einschränkt.

Verhaltensmodelle sind für die Beschreibung digitaler Schaltungen besonders geeignet. Sie besitzen einen hohen Abstraktionsgrad, wodurch sich in Vergleich zu strukturellen Modellen die Anzahl der benötigten Elemente verkleinert, um eine Schaltung auf der Verhaltensebene zu beschreiben. In dieser Arbeit wird ein Testerzeugungsverfahren entwickelt, das auf der Verhaltensebene anwendbar ist. Damit soil ein Beitrag zur Beherrschung des zunehmenden Aufwands bei der Testerzeugung fur hochintegrierte Schaltungen geleistet werden. Ausgangspunkt far die Arbeit ist ein Verhaltensgraph, der sich aus einem Datengraphen und einem Ablaufgraphen zusammensetzt. Der Datengraph stellt den Datenfluß dar, wahrend der Ablaufgraph den Steuerfluß abbildet. Aus diesen Graphen werden Testwege abgeleitet, die es ermöglichen, parametrisierte Testmuster von den Eingangsanschlassen bis zum zu testenden Element weiterzuleiten und die Antwort dieses Elements bis zu den Ausgangsanschldssen fortzupflanzen. Durch die Anwendung von parametrisierten Testmustern wird erreicht, daß das Verfahren unabhängig von Fehlermodellen und Realisierungseinzelheiten wird. Die Aktivierung der Testwege wird anhand von Vorwärts- und Rückwärtsfortpflanzungen durchgeführt. Das vorgeschlagene Verfahren berücksichtigt sowohl die prozedurale (imperative) als auch die nichtprozedurale (applikative) Verhaltensbeschreibung einer Schaltung. Es wird an die Eigenschaften des jeweiligen Verhaltens angepaßt, außerdem werden die verschiedenen Sprachkonstrukte, die in den imperativen und applikativen Teilen der Beschreibung vorkommen können, durch entsprechende Verfahren einzeln berücksichtigt. Zur Beschreibung des Verhaltens wird in der vorliegenden Abhandlung die Sprache DSL (Digital Systems Specification Language) verwendet, was aber die Allgemeinheit der Anwendung des Verfahrens nicht einschränkt.

[pt] O trabalho toma a série de setenta e um desenhos, colagens, aquarelas e xilogravuras G.S.:V. - uma tradução em imagens do romance Grande sertão: veredas, de João Guimarães Rosa, feita pelo artista plástico mineiro Arlindo Daibert - como recriação de processos descritivos e descrição de processos criativos do romance. Parte-se do pressuposto de que, ao se esquivar do compromisso tradicional da ilustração com o encadeamento e o conteúdo narrativos, de modo coerente com sua concepção de desenho como forma de raciocínio e com seu próprio projeto artístico, Daibert consegue retomar e desdobrar algumas das questões estéticas, culturais e históricas mais importantes do romance, através do estabelecimento de uma cartografia que se caracteriza antes pela mescla de referências que pela fixação de limites entre elas. Buscou-se abordar essas questões de forma a estabelecer, adicionalmente, um estreito diálogo com a crítica especializada da obra de Guimarães Rosa, não a fim de legitimar as reflexões visuais através da crítica literária, mas ao contrário, a fim de mostrar o quanto ambas podem ganhar em mútua colaboração.

[pt] O interesse desta tese recai sobre compreender como os falantes de língua portuguesa a utilizam para materializar a menção de emoção através de um trabalho, sobretudo, linguístico. O objetivo geral da pesquisa é criar recursos para aprimorar a anotação do campo semântico das emoções na língua portuguesa a partir do projeto AC/DC, projeto que reúne e disponibiliza publicamente corpora anotados e recursos para pesquisas na língua portuguesa, e do Emocionário, projeto de anotação semântica e léxico de emoções. Inicialmente, a pesquisa dá um panorama dos estudos de emoção; se alinha às perspectivas que refutam a universalidade das emoções e abordagens que postulam emoções básicas; e contrapõe seu interesse por menção de emoção à já consolidada área de Análise de Sentimento, contrastando cinco léxicos de sentimento e/ou polaridades em língua portuguesa e o Emocionário. A partir de uma ampla varredura nos corpora do AC/DC, três principais caminhos foram percorridos para investigar palavras de emoção: (i) uma análise dos vinte e quatro grupos de emoção que já existiam no léxico do Emocionário a fim de delinear características e desafios no estudo de emoção na língua portuguesa; (ii) a revisão completa um terço dos grupos do léxico do Emocionário; e (iii) buscas pelo padrão léxico-sintático sentimento de N e por expressões anotadas pelo projeto Esqueleto usadas para descrever emoção. A análise dos corpora à luz dos lemas previamente pertencentes aos grupos do léxico do Emocionário evidenciou, dentre outras características, a relevância de expressões lexicalizadas para a análise da descrição de emoção, dos tipos de argumentos de verbos e afixos que podem causar variação de sentido, e de variações de tempo e modo verbal que acarretam mudança de significado. Dentre os desafios estão palavras e expressões polissêmicas e a dificuldade na detecção de diferentes sentidos em palavras que compartilham da mesma classe gramatical, tendo como base somente informações morfossintáticas. Esta análise possibilitou a estruturação e documentação de uma metodologia de revisão que pode vir a ser aplicada nos demais grupos futuramente. As principais contribuições desta tese são decorrentes das análises e explorações em corpora: a limpeza de lemas com sentidos não-emocionais dos grupos do léxico do Emocionário; a criação dos grupos de emoção Ausência e Outra, enriquecendo o léxico; a detecção de mais de novecentos lemas e expressões provenientes das buscas pelo padrão sentimento de N e das conexões estabelecidas entre os campos semânticos de emoção e do corpo humano; além de descobertas de campos lexicais pouco mencionados na literatura sobre emoção, como coletividade, estranhamento, espiritualidade, parentesco e atos automotivados, que auxiliaram na investigação de como os falantes do português cristalizam emoções na língua. / [en] The interest of this thesis lies in understanding how Portuguese speakers use it to materialize the mention of emotion through a linguistic perspective. The general objective of the research is to create resources to improve the annotation of the semantic field of emotions in the Portuguese language based on the AC/DC project, which gathers and makes publicly available annotated corpora and tools for linguistic research on Portuguese language. and Emocionário, which is both a semantic annotation project and lexicon of emotions. Initially, the research gives an overview of emotion studies; aligning itself with perspectives that refute the universality of emotions and approaches that postulate basic emotions; and contrasts the interest in emotion description to the already consolidated area of Sentiment Analysis, comparing five lexicons of emotion and/or polarities in Portuguese to Emocionário. From a broad sweep of the AC/DC corpora, three main paths were taken towards investigating emotion words: (i) an analysis of the twenty-four emotion groups previously composing the Emocionário lexicon in order to delineate characteristics and challenges in the study of emotion description in the Portuguese language; (ii) a thorough revision of one-third of the Emocionário lexicon groups; and (iii) searches for the lexical-syntactic pattern sentimento de N and for expressions annotated by the Esqueleto project used to describe emotion. The corpora analysis in the light of the lemmas previously belonging to the Emocionário lexicon groups showed, amongst other characteristics, the relevance of lexicalized expressions for the analysis of the emotion description, the types of arguments of verbs and affixes that can cause variation in meaning, and variations in tense and verbal mode that lead to a change in meaning. Amongst the challenges are polysemous words and expressions and the difficulty in detecting different meanings in words that share the same grammatical class, based only on morphosyntactic information. This analysis enabled the structuring and documentation of a revision methodology that may be applied in other groups in the future. The main contributions of this thesis derive from the analyzes and explorations in corpora: the exclusion of lemmas with non-emotional meanings from the Emocionário lexicon groups; the creation of emotion groups Ausência and Outra, enriching the lexicon; the detection of more than nine hundred lemmas and expressions from the searches for the sentimento de N pattern and the connections established between the semantic fields of emotion and the human body; in addition to discoveries of lexical fields rarely mentioned in the literature on emotion, such as coletividade, estranhamento, espiritualidade, parentesco e atos automotivados, which helped in the investigation of how Portuguese speakers crystallize emotions in language.

[pt] Este trabalho aborda problemas de projeto de ontologias tratando-as como teorias e definindo um conjunto de operações que mapeiam ontologias em ontologias, incluindo suas restrições. Inicialmente, o trabalho resume o conhecimento básico necessário para definir a classe de ontologias utilizada e propõe quatro operações para manipular ontologias. Em seguida, mostra o funcionamento destas operações e como elas podem ajudar na criação de novas ontologias. O cerne do trabalho mostra a implementação destas operações em um plug-in do Protégé, detalhando sua arquitetura e incluindo casos de uso. / [en] This work addresses ontology design problems by treating ontologies as theories and by defining a set of operations that map ontologies into ontologies, including their constraints. The work first summarizes the base knowledge needed to define the class of ontologies used and proposes four operations to manipulate them. It then shows how the operations work and how they may help design new ontologies. The core of this work is describing the implementation of the operations over a Protégé plug-in, detailing the architecture and including case-use examples.

[pt] Integração de dados refere-se ao problema de combinar dados que estão armazenados em diferentes fontes, fornecendo ao usuário uma visão unificada dos dados. As consultas são então expressas em um esquema global ou esquema mediado, que deve incluir restrições de integridade que contribuam para um entendimento correto sobre o que a semântica das fontes de dados do ambiente de mediação tem em comum. Esta tese endereça o problema de modelar as restrições de um esquema mediado a partir das restrições dos esquemas importados e dos mapeamentos de esquemas. Argumenta-se que as restrições devem ser modeladas como o ínfimo das restrições dos esquemas exportados, depois de traduzidos para um vocabulário comum. Desta forma, assegura-se que os usuários do esquema mediado interpretarão os resultados das consultas corretamente. Para uma família expressiva de restrições, esta tese mostra como computar eficientemente o ínfimo de conjuntos de restrições. / [en] Data integration refers to the problem of combining data stored in different sources, providing users with a unified view of the data. Queries are then expressed in terms of a global or mediated schema, which should include integrity constraints that contribute to a correct understanding of what the semantics of the data sources have in common. This thesis addresses the problem of modeling the constraints of a mediated schema from the imported schemas constraints and mappings. It argues that the constraints should be modeled as the greatest lower bound of the constraints of the export schemas, after appropriate translation to a common vocabulary. This assures that users of the mediated schema will correctly interpret query results. For a rich family of constraints, it shows how to efficiently compute the greatest lower bound of sets of constraints.

Este trabalho tem como objetivo principal apresentar o estudo comparativo de diversas arquiteturas para a implementação de partes de controle de sistemas digitais, propondo um método de concepção orientado para a etapa de síntese no domínio estrutural. E apresentada uma descrição geral dos sistemas digitais que aborda os seguintes aspectos: a classificação, as formas de implementação, as metodologias de projeto e o use de níveis de interpretação. As arquiteturas de controladores são desenvolvidas através de diversos componentes combinacionais, associados a elementos de memorização, que permitem a realização de maquinas de estados finitos. 0 conhecimento das características destes componentes digitais, bem como das ferramentas que os geram de forma automática, pode levar a escolha da arquitetura de controle que melhor se adéqua a implementação do circuito integrado. A divisão de um circuito em unidade controladora e unidade operativa é uma decisão do projetista. Esta escolha pode ser orientada de acordo com certos parâmetros, geralmente ligados a complexidade dos sistemas. A classificação quanto a complexidade, tamanho da palavra de instrução, número de comandos que irão atuar na parte operativa, entre outros parâmetros, permite agrupar os algoritmos em conjuntos. Os algoritmos pertencentes a um determinado conjunto, utilizando a mesma arquitetura para a implementação da unidade de controle, apresentarão resultados semelhantes em termos de área, desempenho elétrico, flexibilidade, etc., se forem implementados pelo mesmo sistema de PAC. De forma que torna-se possível selecionar arquiteturas que se adequem melhor para realizar os circuitos que apresentam características comuns. Diversas propostas de arquiteturas para a implementação de unidades de controle são apresentadas, citando os pontos positivos e negativos de cada implementação. Dois circuitos digitais, no caso microprocessadores, são utilizados, como exemplo, para ilustrar a realização destas arquiteturas. A comparação entre as arquiteturas deve ser efetuada através de ferramentas que permitam avaliar os métodos de implementação e, também, verificar a correção dos circuitos implementados. Para os exemplos utilizou-se SHC (Simulador para HDC) com esta finalidade. O SHC é um simulador que tem como entrada uma linguagem de descrição de hardware HDC, e que permite a simulação de diversas arquiteturas, a partir de descrições tão próximas da implementação física dos circuitos quanto necessário (dentro dos níveis de descrição permitidos pela linguagem HDC). / The main subject of this work is the comparative study of several architectures for control unit implementation. Meanwhile a structural domain synthesis strategy is proposed. A general description of digital systems is presented, which focuses the followings aspects: classification, implementation, design methodologies and the use of interpretation levels. Controllers' architectures are developed with several combinatorial components, associated to memory elements, which realize a finite state machine. The knowledge of digital circuits characteristics, as well as the automatic generation tools available, can help to choose the best control architecture iJ use in integrated circuits implementation. Control unit and execution unit circuits division is a designer's decision. This choice can be oriented according to some parameters, usually related to systems' complexity. Algorithms can be classified by their complexity, length of instruction word, number of commands that will act in the execution unit and other parameters. This classification allows to group algorithms in sets. When some implementation of control unit architecture is selected, any algorithm of a given set will present similar results in terms of area, performance, flexibility and so on. Then it becomes possible to select architectures that are more suited to implement circuits showing common characteristics. Several architectures for control unit implementation are presented, demonstrating advantages and drawbacks of each one. Two digital circuits are used (in this case microprocessors) as examples, illustrating these architectures implementation. The comparison between architectures has to be done with tools that allow the evaluation of each implementation method and circuit verification. Each example was simulated by SHC (HDC Simulator). SHC is a simulator which has, as an input, the HDC hardware description language. This simulator allows architecture simulation by descriptions as close to physical circuit implementation as needed (inside the available HDC description levels).

Nebenläufigkeit (die gleichzeitige Aktivität mehrerer Operationen in einem digitalen System) ist eine Möglichkeit, ohne Anstieg der Technologiekosten hohe Arbeitsgeschwindigkeiten zu erzielen. Die vorliegende Arbeit soil einen Beitrag zur Lösung des Problems der Erhöhung des Nebenlaufigkeitsgrades in komplexeren digitalen Systemen durch automatischen Entwurf leisten. Ausgangspunkt dieser Arbeit ist die bisher unbefriedigende Situation bei der Beschreibung und automatischen Synthese nebenlaufiger Schaltungen im Vergleich zur verbreiteten Ausnutzung von Nebenläufigkeit in den Bereichen der Rechnerarchitektur, Betriebssysteme und Programmiersprachen. Im allgemeinen wird Nebenläufigkeit erst in den letzten Phasen des automatischen Entwurfsprozesses einbezogen, was die Komplexität des Syntheseverfahrens beträchtlich erhöht. Dagegen verfolgt diese Arbeit die Idee, daß ein hoher Nebenläufigkeitsgrad mit geringer Synthesekomplexität erreicht wird, wenn Nebenläufigkeit schon in den frühesten Entwurfsphasen, nämlich der Problemanalyse und der Verhaltensbeschreibung, berücksichtigt wird. Zur Beschreibung des Verhaltens eines Systems wird die Sprache BABEL (Beschreibungssprache für nebenläufige digitale Schaltungen) eingeführt, die eine hierarchische und strukturierte Beschreibung der Nebenläufigkeit unterstützt. Mit dem Ziel, die Zunahme der Komplexität des von der BABEL-Beschreibung ausgehenden automatischen Syntheseprozesses gering zu halten, wurden Verfahren zur Realisierung von Nebenläufigkeit durch mehrere kooperative Steuerwerke und Verfahren zur Erhöhung des Parallelitätsgrades durch Kompaktierung von Zuständen entwickelt. Um den Entwurfsprozeß zu vervollstandigen, wurden die Sprache und das Syntheseverfahren an das automatische Entwurfssystem CADDY (Carlsruhe Digital Design System) angeschlossen. Die am Ende des automatischen Entwurfsvorgangs erzeugte Schaltung nutzt die im beschriebenen System vorliegende Nebenläufigkeit dann voll aus.

Nebenläufigkeit (die gleichzeitige Aktivität mehrerer Operationen in einem digitalen System) ist eine Möglichkeit, ohne Anstieg der Technologiekosten hohe Arbeitsgeschwindigkeiten zu erzielen. Die vorliegende Arbeit soil einen Beitrag zur Lösung des Problems der Erhöhung des Nebenlaufigkeitsgrades in komplexeren digitalen Systemen durch automatischen Entwurf leisten. Ausgangspunkt dieser Arbeit ist die bisher unbefriedigende Situation bei der Beschreibung und automatischen Synthese nebenlaufiger Schaltungen im Vergleich zur verbreiteten Ausnutzung von Nebenläufigkeit in den Bereichen der Rechnerarchitektur, Betriebssysteme und Programmiersprachen. Im allgemeinen wird Nebenläufigkeit erst in den letzten Phasen des automatischen Entwurfsprozesses einbezogen, was die Komplexität des Syntheseverfahrens beträchtlich erhöht. Dagegen verfolgt diese Arbeit die Idee, daß ein hoher Nebenläufigkeitsgrad mit geringer Synthesekomplexität erreicht wird, wenn Nebenläufigkeit schon in den frühesten Entwurfsphasen, nämlich der Problemanalyse und der Verhaltensbeschreibung, berücksichtigt wird. Zur Beschreibung des Verhaltens eines Systems wird die Sprache BABEL (Beschreibungssprache für nebenläufige digitale Schaltungen) eingeführt, die eine hierarchische und strukturierte Beschreibung der Nebenläufigkeit unterstützt. Mit dem Ziel, die Zunahme der Komplexität des von der BABEL-Beschreibung ausgehenden automatischen Syntheseprozesses gering zu halten, wurden Verfahren zur Realisierung von Nebenläufigkeit durch mehrere kooperative Steuerwerke und Verfahren zur Erhöhung des Parallelitätsgrades durch Kompaktierung von Zuständen entwickelt. Um den Entwurfsprozeß zu vervollstandigen, wurden die Sprache und das Syntheseverfahren an das automatische Entwurfssystem CADDY (Carlsruhe Digital Design System) angeschlossen. Die am Ende des automatischen Entwurfsvorgangs erzeugte Schaltung nutzt die im beschriebenen System vorliegende Nebenläufigkeit dann voll aus.