Made available in DSpace on 2014-06-12T15:51:31Z (GMT). No. of bitstreams: 1 license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / Linguagens funcionais se destacam pelo seu alto poder de expressão e abstração, promovido por construções de alto nível como polimorfismo paramétrico, funções de alto nível e aplicações parciais. Embora estes recursos sejam bastante úteis, tradicionalmente, linguagens funcionais têm sido pouco empregadas fora do ambiente acadêmico. Esta situação é em parte explicada pela ausência de uma infra-estrutura de desenvolvimento que forneça ferramentas e APIs capazes de aumentar a produtividade e permita o uso das mais recentes tecnologias. Uma alternativa para fornecer esta infra-estrutura é integrar linguagens funcionais a plataformas que disponibilizem tais facilidades, como a .NET. Embora a plataforma .NET tenha sido projetada de forma a suportar múltiplas linguagens, seu foco foi dado ao suporte dos paradigmas imperativo e orientado a objeto, carecendo de estruturas que permitam um mapeamento direto de linguagens funcionais. Objetivando estudar novas técnicas de mapeamento de estruturas funcionais na plataforma .NET, neste trabalho foi desenvolvido um compilador funcional que gera código .NET, utilizando o framework Phoenix. O uso do framework Phoenix além de auxiliar na geração inicial do código permitiu que análises e otimizações fossem feitas, posteriormente, melhorando o desempenho dos programas gerados

The testability of integrated circuits becomes worse with transistor dimensions reaching nanometer scales. Testing, the process of ensuring that circuits are fabricated without defects, becomes inevitably part of the design process; a technique called design for test (DFT). Asynchronous circuits have a number of desirable properties making them suitable for the challenges posed by modern technologies, but are severely limited by the unavailability of EDA tools for DFT and automatic test-pattern generation (ATPG). This thesis is motivated towards developing test generation methodologies for asynchronous circuits. In total four methods were developed which are aimed at two different fault models: stuck-at faults at the basic logic gate level and transistor-level faults. The methods were evaluated using a set of benchmark circuits and compared favorably to previously published work. First, ABALLAST is a partial-scan DFT method adapting the well-known BALLAST technique for asynchronous circuits where balanced structures are used to guide the selection of the state-holding elements that will be scanned. The test inputs are automatically provided by a novel test pattern generator, which uses time frame unrolling to deal with the remaining, non-scanned sequential C-elements. The second method, called AGLOB, uses algorithms from strongly-connected components in graph graph theory as a method for finding the optimal position of breaking the loops in the asynchronous circuit and adding scan registers. The corresponding ATPG method converts cyclic circuits into acyclic for which standard tools can provide test patterns. These patterns are then automatically converted for use in the original cyclic circuits. The third method, ASCP, employs a new cycle enumeration method to find the loops present in a circuit. Enumerated cycles are then processed using an efficient set covering heuristic to select the scan elements for the circuit to be tested.Applying these methods to the benchmark circuits shows an improvement in fault coverage compared to previous work, which, for some circuits, was substantial. As no single method consistently outperforms the others in all benchmarks, they are all valuable as a designer’s suite of tools for testing. Moreover, since they are all scan-based, they are compatible and thus can be simultaneously used in different parts of a larger circuit. In the final method, ATRANTE, the main motivation of developing ATPG is supplemented by transistor level test generation. It is developed for asynchronous circuits designed using a State Transition Graph (STG) as their specification. The transistor-level circuit faults are efficiently mapped onto faults that modify the original STG. For each potential STG fault, the ATPG tool provides a sequence of test vectors that expose the difference in behavior to the output ports. The fault coverage obtained was 52-72 % higher than the coverage obtained using the gate level tests. Overall, four different design for test (DFT) methods for automatic test pattern generation (ATPG) for asynchronous circuits at both gate and transistor level were introduced in this thesis. A circuit extraction method for representing the asynchronous circuits at a higher level of abstraction was also implemented. Developing new methods for the test generation of asynchronous circuits in this thesis facilitates the test generation for asynchronous designs using the CAD tools available for testing the synchronous designs. Lessons learned and the research questions raised due to this work will impact the future work to probe the possibilities of developing robust CAD tools for testing the future asynchronous designs.

Most of the microelectronic circuits fabricated today are synchronous, i.e. they are driven by one or several clock signals. Synchronous circuit design faces several fundamental challenges such as high-speed clock distribution, integration of multiple cores operating at different clock rates, reduction of power consumption and dealing with voltage, temperature, manufacturing and runtime variations. Asynchronous or clockless design plays a key role in alleviating these challenges, however the design and test of asynchronous circuits is much more difficult in comparison to their synchronous counterparts. A driving force for a widespread use of asynchronous technology is the availability of mature EDA (Electronic Design Automation) tools which provide an entire automated design flow starting from an HDL (Hardware Description Language) specification yielding the final circuit layout. Even though there was much progress in developing such EDA tools for asynchronous circuit design during the last two decades, the maturity level as well as the acceptance of them is still not comparable with tools for synchronous circuit design. In particular, logic synthesis (which implies the application of Boolean minimisation techniques) for the entire system's control path can significantly improve the efficiency of the resulting asynchronous implementation, e.g. in terms of chip area and performance. However, logic synthesis, in particular for asynchronous circuits, suffers from complexity problems. Signal Transitions Graphs (STGs) are labelled Petri nets which are a widely used to specify the interface behaviour of speed independent (SI) circuits - a robust subclass of asynchronous circuits. STG decomposition is a promising approach to tackle complexity problems like state space explosion in logic synthesis of SI circuits. The (structural) decomposition of STGs is guided by a partition of the output signals and generates a usually much smaller component STG for each partition member, i.e. a component STG with a much smaller state space than the initial specification. However, decomposition can result in component STGs that in isolation have so-called irreducible CSC conflicts (i.e. these components are not SI synthesisable anymore) even if the specification has none of them. A new approach is presented to avoid such conflicts by introducing internal communication between the components. So far, STG decompositions are guided by the finest output partitions, i.e. one output per component. However, this might not yield optimal circuit implementations. Efficient heuristics are presented to determine coarser partitions leading to improved circuits in terms of chip area. For the new algorithms correctness proofs are given and their implementations are incorporated into the decomposition tool DESIJ. The presented techniques are successfully applied to some benchmarks - including 'real-life' specifications arising in the context of control resynthesis - which delivered promising results. / Moderner Schaltungsentwurf fokussiert hauptsächlich synchrone Schaltungstechnik mit allen inhärenten Problemen. Asynchone (d.h. ungetaktete) Schaltungen zeichnen sich jedoch nicht nur durch das Fehlen der Taktversatzproblematik gegenüber ihren synchronen Pendents aus, sondern auch insbesondere durch geringeren Energieverbrauch, günstigere EMV-Eigenschaften, hohe Performance, Modularität und Robustheit gegenüber Schwankungen in der Spannungsversorgung, im Herstellungsprozess sowie Temperaturunterschieden. Diese Vorteile werden mit höherer Integration sowie höheren Taktraten signifikanter. Jedoch ist der Entwurf und auch der Test asynchroner Schaltungen erheblich schwieriger verglichen mit synchronen Schaltungen. Entwurfswerkzeuge zur Synthese asynchroner Schaltungen aus Hochsprachen-Spezifikationen sind zwar inzwischen verfügbar, sie sind jedoch noch nicht so ausgereift und bei weitem noch nicht so akzeptiert in der Industrie, wie ihre Äquivalente für den synchronen Schaltungsentwurf. Insbesondere fehlt es an Werkzeugunterstützung im Bereich der Logiksynthese komplexer Steuerungen („Controller“), welche kritisch für die Effizienz – z.B. in Bezug auf Chipfläche und Geschwindigkeit – der resultierenden Schaltungen oder Systeme ist. Zur Spezifikation von Steuerungen haben sich Signalflankengraphen („signal transition graphs“, STGs) bewährt, die auch als Entwurfseinstieg für eine Logiksynthese von SI-Schaltungen („speed independent“) verwendet werden. (SI-Schaltungen gelten als sehr robuste asynchrone Schaltungen.) Aus den STGs werden zwecks Logiksynthese Automaten abgeleitet werden, deren Zustandszahl aber oft prohibitiv groß werden kann. Durch sogenannte STG-Dekomposition wird die Logiksynthese einer komplexen Schaltung ermöglicht, was bislang aufgrund von Zustandsexplosion oft nicht möglich war. Dabei wird der Spezifikations-STG laut einer gegebenen Partition von Ausgangssignalen in viele kleinere Teilnetze dekomponiert, wobei zu jedem Partitionsblock ein Teilnetz – mit normalerweise signifikant kleinerem Zustandsraum im Vergleich zur Spezifikation – erzeugt wird. Zu jedem Teilnetz wird dann eine Teilschaltung (Komponente) mittels Logiksynthese generiert. Durch die Anwendung von STG-Dekomposition können jedoch Teilnetze erzeugt werden, die sogenannte irreduzible CSC-Konflikte aufweisen (d.h. zu diesen Teilnetzen kann keine SI-Schaltung erzeugt werden), obwohl die Spezifikation keine solchen Konflikte hatte. Diese Arbeit präsentiert einen neuen Ansatz, welcher die Entstehung solcher irreduziblen Konflikte vermeidet, und zwar durch die Einführung interner Kommunikation zwischen den (zu den Teilnetzen gehörenden) Schaltungskomponenten. Bisher werden STG-Dekompositionen total durchgeführt, d.h. pro resultierender Komponente wird ein Ausgangssignal erzeugt. Das führt gewöhnlich nicht zu optimalen Schaltungsimplementierungen. In dieser Arbeit werden Heuristiken zur Bestimmung gröberer Ausgabepartitionen (d.h. Partitionsblöcke mit mehreren Ausgangssignalen) vorgestellt, die zu kleineren Schaltungen führen. Die vorgestellten Algorithmen werden formal abgesichert und wurden in das bereits vorhandene Dekompositionswerkzeug DESIJ integriert. An praxisrelevanten Beispielen konnten die vorgestellten Verfahren erfolgreich erprobt werden.

STG decomposition is a promising approach to tackle the complexity problems arising in logic synthesis of speed independent circuits, a robust asynchronous (i.e. clockless) circuit type. Unfortunately, STG decomposition can result in components that in isolation have irreducible CSC conflicts. Generalising earlier work, it is shown how to resolve such conflicts by introducing internal communication between the components via structural techniques only. / STG-Dekomposition ist ein bewährter Ansatz zur Bewältigung der Komplexitätsprobleme bei der Logiksynthese von SI (speed independent) Schaltungen – ein robuster asynchroner (d.h. ohne Taktsignal arbeitender digitaler) Schaltungstyp. Allerdings können dabei Komponenten mit irreduziblen CSC-Konflikten entstehen. Durch Verallgemeinerung früherer Arbeiten wird gezeigt, wie solche Konflikte durch Einführung interner Kommunikation zwischen den Komponenten gelöst werden können, und zwar ausschließlich durch Verwendung an der Graphenstruktur ansetzender Verfahren.

The simulation program GTperform is used to estimate the machine settings from performance measurements for the gas turbine model STG-800 at Siemens Industrial Turbomachinery in Finspång, Sweden. By evaluating different settings within the program, the engineers try to estimate the one that generatesthe performance measurement. This procedure is done manually at Siemens and is very time-consuming. This project aims to establish an algorithm that automatically establishes the correct machine setting from the performance measurements. Two algorithms were implemented in Python: Simulated Annealing and Gradient Descent. The algorithms analyzed two possible objective functions, and objective were tested on three gas turbines located at different locations. The first estimated the machine setting that generated the best fit to the performance measurements, while the second established the most likely solution for the machine setting from probability distributions. Multiple simulations have been run for the two algorithms and objective functions to evaluate the performances. Both algorithms successfully established satisfactory results for the second objective function. The Simulated Annealing, in particular, established solutions with a lower spread compared to Gradient Descent. The algorithms give a possibility to automatically establish the machine settings for the simulation program, reducing the work for the engineers.

No description available.

La bactérie Salmonella enterica sérovar Typhi (S. Typhi) provoque la fièvre typhoïde chez les humains et constitue un problème de santé publique important. La majorité de nos connaissances sur la pathogenèse de cette bactérie provient du modèle de fièvre entérique chez la souris causée par le sérovar Typhimurium. Peu d’études se sont penchées sur les facteurs de virulence uniques au sérovar Typhi, ni sur la possibilité que les pseudogènes retrouvés dans son génome puissent être fonctionnels. Le fimbria stg, unique au sérovar Typhi, renferme un codon d’arrêt TAA prématuré dans le gène stgC qui code pour le placier responsable de l’assemblage des sous-unités fimbriaires à la surface de la bactérie. Ainsi, le fimbria stg a été classifié dans la liste des pseudogènes non-fonctionnels. Les objectifs de cette étude étaient d’évaluer l’implication du fimbria stg lors de l’interaction avec les cellules humaines, puis de vérifier l’importance du pseudogène stgC lors de la biogenèse fimbriaire. Dans une première partie, la transcription de stg a été évaluée à l’aide d’une fusion lacZ. Malgré des niveaux d’expression observés généralement faibles en milieu riche, la croissance en milieu minimal a favorisé la transcription de l’opéron. La délétion complète de l’opéron fimbriaire stgABCD du génome de S. Typhi a été réalisée par échange allélique, puis a été complémentée sur un plasmide. Il a été démontré que la présence de stg chez S. Typhi, S. Typhimurium et E. coli contribue à une adhérence accrue sur les cellules épithéliales humaines. De plus, ce fimbria semble agir comme une structure anti-phagocytaire lors de l’interaction avec des macrophages humains. Ainsi, l’opéron stg semble fonctionnel, malgré son codon d’arrêt prématuré, puisque des phénotypes ont été observés. La seconde partie de cette étude consistait à vérifier le rôle joué par le pseudogène stgC dans la biogenèse du fimbria. Différentes variantes de l’opéron ont été générées, clonées dans un vecteur inductible à l’arabinose, puis transformées dans la souche afimbriaire d’E. coli ORN172. La translocation de la sous-unité fimbriaire StgD à la surface de la bactérie a été évaluée chez ces différents mutants par immunobuvardage de type Western. Cette expérience a permis de démontrer que le pseudogène stgC est essentiel pour l’exportation de la sous-unité StgD à la surface. L’ajout d’une étiquette de 6-histidines en C-terminal de StgC a permis de confirmer la traduction complète du gène, malgré le codon d’arrêt TAA prématuré. Le séquençage peptidique a révélé l’insertion d’une tyrosine à ce codon. Une fusion traductionnelle avec la protéine verte fluorescente a révélé qu’environ 0.8% de l’ARNm peut être traduit et permet la production complète du placier. Ce projet a permis la caractérisation d’un facteur de virulence unique à S. Typhi et constitue une étape de plus vers la compréhension de ses mécanismes de pathogenèse. Il s’agit de la première démonstration chez les bactéries de la fonctionnalité d’un gène interrompu prématurément par un codon d’arrêt TAA. / Salmonella enterica serovar Typhi (S. Typhi) causes typhoid fever in humans and is considered as an important health problem. Most of our knowledge on the pathogenesis of this bacterium comes from an enteric fever model in mice caused by serovar Typhimurium. Few studies have examined the virulence factors unique to serovar Typhi or the possibility that pseudogenes harbored in its genome may be functional. stg fimbriae are found only within the serovar Typhi genome and contain a premature TAA stop codon in the stgC gene encoding the usher responsible for the assembly of fimbrial subunits at the bacterial surface. Thus, the stg fimbria has been classified among the list of non-functional pseudogenes. The objectives of this study were to assess the involvement of stg fimbriae during interaction with human cells, and then to evaluate the importance of the stgC pseudogene in fimbrial biogenesis. First, stg transcription was evaluated using a lacZ fusion. Despite low expression levels generally observed in rich medium, growth in minimal medium promoted transcription of the operon. Complete deletion of the stgABCD fimbrial operon from S. Typhi was performed by allelic exchange and was complemented on a plasmid. It has been shown that the presence of stg in S. Typhi, S. Typhimurium and E. coli contributes to increased adherence to human epithelial cells. In addition, the fimbriae seem to act as an anti-phagocytic structure during the interaction with macrophages. Thus, the stg operon appears to be functional despite its premature codon, as phenotypes were observed. The second part of this study involved testing the role of the stgC pseudogene in fimbrial biogenesis. Different variants of the operon were generated, cloned into an arabinose inducible vector, and then transformed into afimbriated E. coli strain ORN172. Translocation of the StgD subunit to the cell surface of the different mutants was evaluated using Western blot. This experiment demonstrated that stgC is essential for export of the StgD subunit to the cell surface. The addition of a 6-histidine tag at the C-terminal end of StgC confirmed the complete translation of the gene, despite the premature TAA stop codon. Peptide sequencing revealed the insertion of a tyrosine at this codon. A translational fusion with the green fluorescent protein demonstrated that approximately 0.8% of the mRNA can be translated to allow full production of the usher. This project allowed characterization of a virulence factor unique to S. Typhi and is a step closer towards better understanding of its pathogenesis mechanisms. This is the first demonstration in bacteria of the functionality of a gene which is interrupted by a premature TAA stop codon.

La bactérie Salmonella enterica sérovar Typhi (S. Typhi) provoque la fièvre typhoïde chez les humains et constitue un problème de santé publique important. La majorité de nos connaissances sur la pathogenèse de cette bactérie provient du modèle de fièvre entérique chez la souris causée par le sérovar Typhimurium. Peu d’études se sont penchées sur les facteurs de virulence uniques au sérovar Typhi, ni sur la possibilité que les pseudogènes retrouvés dans son génome puissent être fonctionnels. Le fimbria stg, unique au sérovar Typhi, renferme un codon d’arrêt TAA prématuré dans le gène stgC qui code pour le placier responsable de l’assemblage des sous-unités fimbriaires à la surface de la bactérie. Ainsi, le fimbria stg a été classifié dans la liste des pseudogènes non-fonctionnels. Les objectifs de cette étude étaient d’évaluer l’implication du fimbria stg lors de l’interaction avec les cellules humaines, puis de vérifier l’importance du pseudogène stgC lors de la biogenèse fimbriaire. Dans une première partie, la transcription de stg a été évaluée à l’aide d’une fusion lacZ. Malgré des niveaux d’expression observés généralement faibles en milieu riche, la croissance en milieu minimal a favorisé la transcription de l’opéron. La délétion complète de l’opéron fimbriaire stgABCD du génome de S. Typhi a été réalisée par échange allélique, puis a été complémentée sur un plasmide. Il a été démontré que la présence de stg chez S. Typhi, S. Typhimurium et E. coli contribue à une adhérence accrue sur les cellules épithéliales humaines. De plus, ce fimbria semble agir comme une structure anti-phagocytaire lors de l’interaction avec des macrophages humains. Ainsi, l’opéron stg semble fonctionnel, malgré son codon d’arrêt prématuré, puisque des phénotypes ont été observés. La seconde partie de cette étude consistait à vérifier le rôle joué par le pseudogène stgC dans la biogenèse du fimbria. Différentes variantes de l’opéron ont été générées, clonées dans un vecteur inductible à l’arabinose, puis transformées dans la souche afimbriaire d’E. coli ORN172. La translocation de la sous-unité fimbriaire StgD à la surface de la bactérie a été évaluée chez ces différents mutants par immunobuvardage de type Western. Cette expérience a permis de démontrer que le pseudogène stgC est essentiel pour l’exportation de la sous-unité StgD à la surface. L’ajout d’une étiquette de 6-histidines en C-terminal de StgC a permis de confirmer la traduction complète du gène, malgré le codon d’arrêt TAA prématuré. Le séquençage peptidique a révélé l’insertion d’une tyrosine à ce codon. Une fusion traductionnelle avec la protéine verte fluorescente a révélé qu’environ 0.8% de l’ARNm peut être traduit et permet la production complète du placier. Ce projet a permis la caractérisation d’un facteur de virulence unique à S. Typhi et constitue une étape de plus vers la compréhension de ses mécanismes de pathogenèse. Il s’agit de la première démonstration chez les bactéries de la fonctionnalité d’un gène interrompu prématurément par un codon d’arrêt TAA. / Salmonella enterica serovar Typhi (S. Typhi) causes typhoid fever in humans and is considered as an important health problem. Most of our knowledge on the pathogenesis of this bacterium comes from an enteric fever model in mice caused by serovar Typhimurium. Few studies have examined the virulence factors unique to serovar Typhi or the possibility that pseudogenes harbored in its genome may be functional. stg fimbriae are found only within the serovar Typhi genome and contain a premature TAA stop codon in the stgC gene encoding the usher responsible for the assembly of fimbrial subunits at the bacterial surface. Thus, the stg fimbria has been classified among the list of non-functional pseudogenes. The objectives of this study were to assess the involvement of stg fimbriae during interaction with human cells, and then to evaluate the importance of the stgC pseudogene in fimbrial biogenesis. First, stg transcription was evaluated using a lacZ fusion. Despite low expression levels generally observed in rich medium, growth in minimal medium promoted transcription of the operon. Complete deletion of the stgABCD fimbrial operon from S. Typhi was performed by allelic exchange and was complemented on a plasmid. It has been shown that the presence of stg in S. Typhi, S. Typhimurium and E. coli contributes to increased adherence to human epithelial cells. In addition, the fimbriae seem to act as an anti-phagocytic structure during the interaction with macrophages. Thus, the stg operon appears to be functional despite its premature codon, as phenotypes were observed. The second part of this study involved testing the role of the stgC pseudogene in fimbrial biogenesis. Different variants of the operon were generated, cloned into an arabinose inducible vector, and then transformed into afimbriated E. coli strain ORN172. Translocation of the StgD subunit to the cell surface of the different mutants was evaluated using Western blot. This experiment demonstrated that stgC is essential for export of the StgD subunit to the cell surface. The addition of a 6-histidine tag at the C-terminal end of StgC confirmed the complete translation of the gene, despite the premature TAA stop codon. Peptide sequencing revealed the insertion of a tyrosine at this codon. A translational fusion with the green fluorescent protein demonstrated that approximately 0.8% of the mRNA can be translated to allow full production of the usher. This project allowed characterization of a virulence factor unique to S. Typhi and is a step closer towards better understanding of its pathogenesis mechanisms. This is the first demonstration in bacteria of the functionality of a gene which is interrupted by a premature TAA stop codon.

Rhythmic neural activity is thought to underlie many high-level functions of the nervous system. Our goals are to understand rhythmic activity starting with small networks, using theoretical and experimental tools. Phase resetting theory describes essential properties that cause and destroy rhythms. We validate and extend one branch of this theory, testing it in bursting neurons coupled by excitation and then extending the theory to account for temporal variability found in our experimental data. We show that the theory makes good predictions of rhythmic activity in heterogeneous networks. We also note differences in mathematical structure between inhibition- and excitation-coupling that cause them to behave differently in noisy contexts and may explain why all central pattern generators (CPGs) found in nature are dominated by inhibition. Our extension of the theory gives a method that is useful to compare experimental and model data and shows that noise may either create or destroy a rhythm. Finally, we described the cellular mechanisms in Aplysia that switch the feeding CPG from arrhythmic to rhythmic behavior in response to reward stimuli. Previous studies showed that a Dopamine reward signal is correlated to changes in electrical coupling and excitability in several important neurons in the CPG. Using the dynamic clamp and an in vitro analog of the full behavioral system, we were able to determine that electrical coupling alone controls rhythmicity, while excitability independently controls the rate of activity. These results beg for further study, including new theory to explain them fully.

This Diploma thesis is aimed at various ways of connecting electrical parts in car locks. This part of the thesis includes technologies of electric cables, printed circuit boards, lead frames, 3D-MID technology and technology of electroconductive plastics materials. Listed technologies are compared. The aim of the practical thesis portion is the application of electroconductive plastic materials on the given part. For this purpose necessary changes were designed in the provided small series injection mold. The thesis also includes drawing documentation of the designed construction changes in the injection mold, as well as economic appraisal of the prototype manufacturing fees.