Every normal logic program has a 2-valued semantics: theory, extensions, applications, implementations

Trabalho apresentado no âmbito do Doutoramento em Informática, como requisito parcial para obtenção do grau de Doutor em Informática

A Framework supporting collaboration on the distributed design of integrated systems

The work described in this thesis aims to support the distributed design of integrated systems and considers specifically the need for collaborative interaction among designers. Particular emphasis was given to issues which were only marginally considered in previous approaches, such as the abstraction of the distribution of design automation resources over the network, the possibility of both synchronous and asynchronous interaction among designers and the support for extensible design data models. Such issues demand a rather complex software infrastructure, as possible solutions must encompass a wide range of software modules: from user interfaces to middleware to databases. To build such structure, several engineering techniques were employed and some original solutions were devised. The core of the proposed solution is based in the joint application of two homonymic technologies: CAD Frameworks and object-oriented frameworks. The former concept was coined in the late 80's within the electronic design automation community and comprehends a layered software environment which aims to support CAD tool developers, CAD administrators/integrators and designers. The latter, developed during the last decade by the software engineering community, is a software architecture model to build extensible and reusable object-oriented software subsystems. In this work, we proposed to create an object-oriented framework which includes extensible sets of design data primitives and design tool building blocks. Such object-oriented framework is included within a CAD Framework, where it plays important roles on typical CAD Framework services such as design data representation and management, versioning, user interfaces, design management and tool integration. The implemented CAD Framework - named Cave2 - followed the classical layered architecture presented by Barnes, Harrison, Newton and Spickelmier, but the possibilities granted by the use of the object-oriented framework foundations allowed a series of improvements which were not available in previous approaches: - object-oriented frameworks are extensible by design, thus this should be also true regarding the implemented sets of design data primitives and design tool building blocks. This means that both the design representation model and the software modules dealing with it can be upgraded or adapted to a particular design methodology, and that such extensions and adaptations will still inherit the architectural and functional aspects implemented in the object-oriented framework foundation; - the design semantics and the design visualization are both part of the object-oriented framework, but in clearly separated models. This allows for different visualization strategies for a given design data set, which gives collaborating parties the flexibility to choose individual visualization settings; - the control of the consistency between semantics and visualization - a particularly important issue in a design environment with multiple views of a single design - is also included in the foundations of the object-oriented framework. Such mechanism is generic enough to be also used by further extensions of the design data model, as it is based on the inversion of control between view and semantics. The view receives the user input and propagates such event to the semantic model, which evaluates if a state change is possible. If positive, it triggers the change of state of both semantics and view. Our approach took advantage of such inversion of control and included an layer between semantics and view to take into account the possibility of multi-view consistency; - to optimize the consistency control mechanism between views and semantics, we propose an event-based approach that captures each discrete interaction of a designer with his/her respective design views. The information about each interaction is encapsulated inside an event object, which may be propagated to the design semantics - and thus to other possible views - according to the consistency policy which is being used. Furthermore, the use of event pools allows for a late synchronization between view and semantics in case of unavailability of a network connection between them; - the use of proxy objects raised significantly the abstraction of the integration of design automation resources, as either remote or local tools and services are accessed through method calls in a local object. The connection to remote tools and services using a look-up protocol also abstracted completely the network location of such resources, allowing for resource addition and removal during runtime; - the implemented CAD Framework is completely based on Java technology, so it relies on the Java Virtual Machine as the layer which grants the independence between the CAD Framework and the operating system. All such improvements contributed to a higher abstraction on the distribution of design automation resources and also introduced a new paradigm for the remote interaction between designers. The resulting CAD Framework is able to support fine-grained collaboration based on events, so every single design update performed by a designer can be propagated to the rest of the design team regardless of their location in the distributed environment. This can increase the group awareness and allow a richer transfer of experiences among them, improving significantly the collaboration potential when compared to previously proposed file-based or record-based approaches. Three different case studies were conducted to validate the proposed approach, each one focusing one a subset of the contributions of this thesis. The first one uses the proxy-based resource distribution architecture to implement a prototyping platform using reconfigurable hardware modules. The second one extends the foundations of the implemented object-oriented framework to support interface-based design. Such extensions - design representation primitives and tool blocks - are used to implement a design entry tool named IBlaDe, which allows the collaborative creation of functional and structural models of integrated systems. The third case study regards the possibility of integration of multimedia metadata to the design data model. Such possibility is explored in the frame of an online educational and training platform.

A Methodology for GUI Layer Redefinition Through Virtualization and Computer Vision

Nowadays despite improvements in usability and intuitiveness users have to adapt to the proposed systems to satisfy their needs. For instance, they must learn how to achieve tasks, how to interact with the system, and fulfill system's specifications. This paper proposes an approach to improve this situation enabling graphical user interface redefinition through virtualization and computer vision with the aim of increasing the system's usability. To achieve this goal the approach is based on enriched task models, virtualization and picture-driven computing.

Intermetallic layer formation and influence in solder joints reliability

Dissertação de mestrado integrado em Materials Engineering

Titanium oxide adhesion layer for high temperature annealed Si/Si3N4/TiOx/Pt/LiCoO2 battery structures

This work describes the influence of a high annealing temperature of about 700C on the Si(substrate)/Si3N4/TiOx/Pt/LiCoO2 multilayer system for the fabrication of all-solid-state lithium ion thin film microbatteries. Such microbatteries typically utilize lithium cobalt oxide (LiCoO2) as cathode material with a platinum (Pt) current collector. Silicon nitride (Si3N4) is used to act as a barrier against Li diffusion into the substrate. For a good adherence between Si3N4 and Pt, commonly titanium (Ti) is used as intermediate layer. However, to achieve crystalline LiCoO2 the multilayer system has to be annealed at high temperature. This post-treatment initiates Ti diffusion into the Pt-collector and an oxidation to TiOx, leading to volume expansion and adhesion failures. To solve this adhesion problem, we introduce titanium oxide (TiOx) as an adhesion layer, avoiding the diffusion during the annealing process. LiCoO2, Pt and Si3N4 layers were deposited by magnetron sputtering and the TiOx layer by thermal oxidation of Ti layers deposited by e-beam technique. Asdeposited and annealed multilayer systems using various TiOx layer thicknesses were studied by scanning electron microscopy (SEM) and time-of-flight secondary ion mass spectrometry (ToF-SIMS) and x-ray photoelectron spectroscopy (XPS). The results revealed that an annealing process at temperature of 700C leads to different interactions of Ti atoms between the layers, for various TiOx layer thicknesses (25–45 nm).

Flexible organic–inorganic hybrid layer encapsulation for organic opto-electronic devices

In this work we produce and study the flexible organic–inorganic hybrid moisture barrier layers for the protection of air sensitive organic opto-electronic devices. The inorganic amorphous silicon nitride layer (SiNx:H) and the organic PMMA [poly (methyl methacrylate)] layer are deposited alternatingly by using hot wire chemical vapor deposition (HW-CVD) and spin-coating techniques, respectively. The effect of organic–inorganic hybrid interfaces is analyzed for increasing number of interfaces. We produce highly transparent (∼80% in the visible region) hybrid structures. The morphological properties are analysed providing a good basis for understanding the variation of the water vapor transmission rate (WVTR) values. A minimum WVTR of 4.5 × 10−5g/m2day is reported at the ambient atmospheric conditions for 7 organic/inorganic interfaces. The hybrid barriers show superb mechanical flexibility which confirms their high potential for flexible applications.

Layer-by-layer technique to developing functional nanolaminate films with antifungal activity

The layer-by-layer (LbL) deposition method was used to build up alternating layers (five) of different polyelectrolyte solutions (alginate, zein-carvacrol nanocapsules, chitosan and chitosan-carvacrol emulsions) on an aminolysed/charged polyethylene terephthalate (A/C PET) film. These nanolaminated films were characterised by contact angle measurements and through the determination of water vapour (WVTR) and oxygen (O2TR) transmission rates. The effect of active nanolaminated films against the Alternaria sp. and Rhizopus stolonifer was also evaluated. This procedure allowed developing optically transparent nanolaminated films with tuneable water vapour and gas properties and antifungal activity. The water and oxygen transmission rate values for the multilayer films were lower than those previously reported for the neat alginate or chitosan films. The presence of carvacrol and zein nanocapsules significantly decreased the water transmission rate (up to 40 %) of the nanolaminated films. However, the O2TR behaved differently and was only improved (up to 45 %) when carvacrol was encapsulated, i.e. nanolaminated films prepared by alternating alginate with nanocapsules of zein-carvacrol layers showed better oxygen barrier properties than those prepared as an emulsion of chitosan and carvacrol. These films containing zein-carvacrol nanocapsules also showed the highest antifungal activity (30 %), which did not significantly differ from those obtained with the highest amount of carvacrol, probably due to the controlled release of the active agent (carvacrol) from the zein-carvacrol nanocapsules. Thus, this work shows that nanolaminated films prepared with alternating layers of alginate and zein-carvacrol nanocapsules can be considered to improve the shelf-life of foodstuffs.

An approximate solution method for boundary layer flow of a power law fluid over a flat plate

The work in this paper deals with the development of momentum and thermal boundary layers when a power law fluid flows over a flat plate. At the plate we impose either constant temperature, constant flux or a Newton cooling condition. The problem is analysed using similarity solutions, integral momentum and energy equations and an approximation technique which is a form of the Heat Balance Integral Method. The fluid properties are assumed to be independent of temperature, hence the momentum equation uncouples from the thermal problem. We first derive the similarity equations for the velocity and present exact solutions for the case where the power law index n = 2. The similarity solutions are used to validate the new approximation method. This new technique is then applied to the thermal boundary layer, where a similarity solution can only be obtained for the case n = 1.

Decomposable approximations of nuclear C*-algebras

We show that nuclear C*-algebras have a re ned version of the completely positive approximation property, in which the maps that approximately factorize through finite dimensional algebras are convex combinations of order zero maps. We use this to show that a separable nuclear C*-algebra A which is closely contained in a C*-algebra B embeds into B.

Intracortical connectivity of layer VI pyramidal cells in the barrel cortex of mice

ABSTRACT : The whisker-to-barrel pathway of rodents is formed by a series of somatotopic projections from the mystacial whisker follicles to the layer IV of the primary somatosensory cortex such that each follicle corresponds to a cluster of cortical neurons called barrel. Barrels are present in layer IV but form part of functional columns that comprise the entire depth of the somatosensory cortex. Interestingly, the cortex of the barrelless mouse strain (BRL) is organized such a manner that thalamocortical afferents do not remodel their projections in layer IV and barrels fail to appear. Nevertheless, functionally, a columnar organization persists, indicating that functional columns are not only provided by thalamocortical projections and layer IV cells. Since in the visual cortex of cats, layer VI cells contribute to the response properties of layer IV neurons, we wonder whether layer VI pyramidal cells could contribute to the columnar organization of the primary somatosensory cortex of mice. To address -this question, we morphologically analyzed the distribution of intracortical axon collaterals of layer VI neurons after in-vivo juxtacellular injections of biocytin in the C2 barrel column. Injected hemispheres were tangentially serial cut and intracortical collaterals of individual layer VI neurons were reconstructed at the light microscopic level. The position of axonal boutons was recorded to evaluate the distribution of presumed synaptic contacts. In normal (NOR) mice, cluster analysis shows that layer VI pyramidal cells can be classified in four statistically different clusters of neurons. Moreover, we assume that two classes are formed by cortico-cortical neurons and two classes are formed by cortico-thalamic neurons. Looking at the direction of the main axon in the white matter, we noticed that its orientation correlates perfectly with the type of neuron: cortico-cortical neurons send main axon medially whereas cortico-thalamic neurons send main axon laterally. Performing the same study in the BRL strain, we showed that the BRL mutation affects layer VI pyramidal cells tangentially and radially: the effects of the mutation are illustrated by a significant decrease of the index of colurnnarization and a significant decrease of percentage of boutons in granular and supragranular layers comparing to NOR neurons. In spite of these differences, the same four classes of layer VI neurons have been found in BRL mice. Using a tangential analysis of the boutons distribution, we showed that putative synapses are distributed mainly in the C2 barrel column. This was observed for each layer, type of neuron, cluster or strain, indicating that layer VI pyramidal cells could participate to the functional columnar organization of the barrel cortex. To determine post-synaptic partners of layer VI neurons in layer IV, we conducted an ultrastructural analysis of layer VI-to-IV contacts. We showed that synapses principally occur on spines and spiny dendritic shafts, supposed to belong to excitatory neurons. We furthermore showed that pre-synaptic elements are significantly different between en passant and terminaux contacts, which support hypothesis that terminaux boutons should show longer duration of facilitation than en passant boutons. RÉSUMÉ : Le «whisker-to-barrel pathway» des rongeurs est caractérisé par une série de projections somatotopiques depuis les follicules des moustaches ('whiskers') jusqu'à la couche IV de l'aire somatosensorielle primaire, de telle façon que chaque follicule corresponde à un groupe de neurones corticaux appelés tonneaux (`barrels'). Les tonneaux sont seulement présents en couche IV mais font partie de colonnes fonctionnelles qui s'étendent sur toute la profondeur du cortex somatosensoriel. Chez les souris mutantes barrelless (BRL), le cortex somatosensoriel est organisé de façon telle que lés afférences thalamocorticales ne remodellent pas leurs projections en couche IV et que les tonneaux n'apparaissent pas. Fonctionnellement, pourtant, une organisation en colonnes persiste, ce qui indique que les colonnes fonctionnelles ne sont pas uniquement produites par les projections thalamocorticales et par les cellules de la couche IV. Puisque les cellules de la couche VI contribuent à influencer les réponses des cellules de la couche IV dans le cortex visuel du chat, nous nous sommes demandé si ces cellules ne pourraient pas aussi contribuer à l'organisation en colonnes du cortex somatosensoriel primaire de la souris. Pour répondre à cette question, nous avons analysé de façon morphologique la distribution intracorticale des collatéraux axonaux de neurones de la couche VI. Suite à des injections juxtacellulaires de biocytine in-vivo dans la colonne C2, les hémisphères cérébraux ont été tangentiellement coupés en série et les collatéraux intracorticaux des neurones de la couche VI ont été reconstruits en microscopie optique. La position des boutons axonaux a aussi été enregistrée pour évaluer la distribution des contacts synpptiques potentiels. Chez les souris NOR, une analyse multivariée montre que les cellules pyramidales de la couche VI sont distribuées en quatre classes. Deux de ces classes sont probablement formées de neurons cortico-corticaux, alors que les deux autres sont probablement formées de neurones corticothalamiques. En observant la direction de l'axone principal dans la matière blanche, nous avons noté que son orientation est parfaitement corrélée avec le type supposé de neurone : les neurones corticocorticaux envoient leurs axones principaux médiallement, alors que les neurons cortico-thalamiques envoient leurs axones principaux latéralement. En menant la même étude chez les souris BRL, nous avons montré que la mutation affecte les cellules pyramidales de la couche VI de façon tangentielle, mais aussi radiaire : les effets de 1a mutation se traduisent par une diminution significative de l'index de « columnarization » et de la connectivité en couches granulaire et supragranulaire. Malgré ces différences, les quatre mêmes classes de neurones ont été retrouvées. En utilisant une analyse tangentielle de la distribution des boutons, nous avons montré que les synapses potentielles sont distribuées principalement dans la colonne C2. Cette observation a été faite dans chaque couche, chaque type de neurones, chaque classe de neurones et chaque souche de souris, indicant que les cellules de la couche VI participent certainement à l'organisation en colonne du cortex somatosensoriel. Pour déterminer les partenaires post-synaptiques des cellules de la couche VI en couche IV, nous avons conduit une analyse ultrastructurelle de ces contacts. Nous avons montré que les synapses interviennent principalement sur les épines et sur les dendrites supposés appartenir à des cellules excitatrices. Nous avons aussi montré que les éléments pré-synaptiques de ces synapses sont significativement differents selon le type de bouton, en passant ou terminal, ce qui supporte l'hypothèse que les boutons terminaux seraient capables d'une plus longue facilitation.

Forensic examination of ink by high-performance thin layer chromatography - The United States Secret Service Digital Ink Library

Forensic examinations of ink have been performed since the beginning of the 20th century. Since the 1960s, the International Ink Library, maintained by the United States Secret Service, has supported those analyses. Until 2009, the search and identification of inks were essentially performed manually. This paper describes the results of a project designed to improve ink samples' analytical and search processes. The project focused on the development of improved standardization procedures to ensure the best possible reproducibility between analyses run on different HPTLC plates. The successful implementation of this new calibration method enabled the development of mathematical algorithms and of a software package to complement the existing ink library.

Obtenció de capes primes d'alúmina mitjançant "Atomic Layer Deposition"

En aquest projecte s'ha estudiat la posada a punt d’un equip comercial ALD per a l’obtenció de capes primes d'alúmina a escala nanomètrica utilitzant vapor d’aigua i TMA com a precursors. Per tal de comprovar a bondat de les receptes experimentals aportades pel fabricant així com comprovar alguns aspectes de la teoria ALD s’han realitzat una sèrie de mostres variant els diferents paràmetres experimentals, principalment la temperatura de deposició, el nombre de cicles, la durada del cicle i el tipus de substrat. Per a la determinació dels gruixos nanomètrics de les capes i per tant dels ritmes de creixement s’ha utilitzat la el·lipsometria, una de les poques tècniques no destructives capaç de mesurar amb gran precisió gruixos de capes o interfases de pocs àngstroms o nanòmetres. En una primera etapa s'han utilitzat els valors experimentals donats pel fabricant del sistema ALD per determinar el ritme de creixement en funció de la temperatura de dipòsit i del numero de cicles, en ambdós casos sobre diversos substrats. S'ha demostrat que el ritme de creixement augmenta lleugerament en augmentar la temperatura de dipòsit, tot i que amb una variació petita, de l'ordre del 12% en variar 70ºC la temperatura de deposició. Així mateix s'ha demostrat la linealitat del gruix amb el número de cicles, tot i que no s’observa una proporcionalitat exacta. En una segona etapa s'han optimitzat els paràmetres experimentals, bàsicament els temps de purga entre pols i pols per tal de reduir considerablement les durades dels experiments realitzats a relativament baixes temperatures. En aquest cas s’ha comprovat que es mantenien els ritmes de creixement amb una diferencia del 3,6%, 4,8% i 5,5% en optimitzar el cicles en 6,65h, 8,31h, o 8,33h, respectivament. A més, per una d'aquestes condicions s’ha demostrat que es mantenia l’alta conformitat de les capes d’alúmina. A més, s'ha realitzat un estudi de l'homogeneïtat del gruix de les capes en tota la zona de dipòsit del reactor ALD. S’ha demostrat que la variació en gruix de les capes dipositades a 120ºC és com a màxim del 6,2% en una superfície de 110 cm2. Confirmant l’excepcional control de gruixos de la tècnica ALD.

Partial disjoint path for multi-layer protection in GMPLS networks

In this paper, different recovery methods applied at different network layers and time scales are used in order to enhance the network reliability. Each layer deploys its own fault management methods. However, current recovery methods are applied to only a specific layer. New protection schemes, based on the proposed partial disjoint path algorithm, are defined in order to avoid protection duplications in a multi-layer scenario. The new protection schemes also encompass shared segment backup computation and shared risk link group identification. A complete set of experiments proves the efficiency of the proposed methods in relation with previous ones, in terms of resources used to protect the network, the failure recovery time and the request rejection ratio