Projecto Vénus - Redefinir a máquina antropológica na era da reprodutibilidade. Técnica do corpo

Desenhado por Jacque Fresco, o Projecto Vénus é uma proposta de reconfiguração social, tendo como ferramenta de trabalho a cidade. A cidade projectada por Jacque Fresco responde de alguma forma a necessidade de encontrar programas de hibridização que ultrapassem os receios do determinismo em relação ao papel da tecnologia, e conferindo um cariz mais aproximado dos conceitos antropológicos de Leroi-Gourhan quando este apelida a técnica de utensílio colocado fora do corpo e que permitiu ao homem sobreviver num mundo hostil. A diferença é que a técnica já assumiu uma condição que transcende o mero instrumento, para ser já ela própria configuradora da realidade, como Kittler dizia em acerca dos media. Fresco coloca a cidade como paradigma de uma revolução cibernética, uma tecnotopia, em que a tecnologia servirá para libertar o humano de condições políticas, económicas e sociais que o autor considera obsoletas. Uma nova configuração multidimensional que se apoia numa nova esfera pública, ambicionando um ethos global com uma estrutura digital para comunicações em rede. Fresco atribui uma dimensão de extrema importância aos factos de a tecnologia, no Projecto Vénus, ficar paredes meias com a natureza sem que tenha uma relação intrusiva, mas antes uma relação de responsabilidade pela gestão eficaz dos sistemas circundantes que preconizam muitas das “expectativas messiânicas” de que Walter Benjamin nos falava acerca da tecnologia. O objectivo da presente dissertação será a partir da definição de técnica e da tecnologia e, mais tarde discutindo esta cidade cibernética chamada Projecto Vénus, tentar responder às seguintes perguntas: como Gourhan nos diz, a técnica foi colocada fora do corpo para permitir aos seres humanos sobreviver, podemos supor que, neste momento, com a emergência de novas áreas, como a biotecnologia, nanotecnologia e robótica, a tecnologia retorna ao corpo humano para resolver a falha que, de acordo com o mito de Epimeteu, lhe deu origem? Se assim for, este processo de incorporação dos aparelhos protéticos, pode significar que estamos a entrar na era de reprodutibilidade do corpo humano como um objecto? Além disso, será a crescente visibilidade do Projecto Vénus um sintoma de uma crescente sociedade tecnológica, uma tecnotopia cujo fim último é a reconfiguração da máquina antropológica tal como Agamben colocou em «The Open»?

Melhoramento e automatização de um sistema de revestimento com laser

O revestimento com laser permite criar revestimentos localizados pela adição de uma liga similar ou dissimilar. O revestimento visa melhorar as características da superfície metálica, tais como a dureza, a resistência ao desgaste por atrito, à corrosão e à fadiga térmica dos componentes sujeitos a condições adversas de trabalho por prolongados períodos de tempo. Esta dissertação tem como objetivo o melhoramento da configuração, a automatização do sistema de revestimento com laser do Laboratório de Laser do Instituto Superior Técnico (IST) da Universidade de Lisboa, utilizado pelo Centro de Física e Engenharia de Materiais Avançados do Instituto Superior Técnico – CeFEMA e a realização de ensaios de deposições com o fim de validação. Foram estudadas as configurações possíveis para o sistema de posicionamento da amostra, do laser e a configuração para o posicionamento com precisão do bocal de adição de pós ao banho de fusão. Após este estudo foram apresentadas e implementadas as propostas de melhoria do sistema inicial. Para tornar o sistema funcional, foi desenvolvido um controlador para comandar as três guias motorizadas de movimento linear OWIS, o laser IPG YLR e o alimentador de pós PLASMA-TECHNIK. Para simplificar a utilização aos investigadores do CeFEMA foi ainda desenvolvida uma interface gráfica que permite ao utilizador definir os principais parâmetros do processo Para a validação do trabalho desenvolvido foram realizados diversos ensaios de deposição da liga Ti52Ta num substrato de titânio. Através dos ensaios de deposição foi estudada a influência de alguns parâmetros do processo na geometria do revestimento obtido, como a altura, a profundidade, o ângulo do cordão, a diluição entre o material de adição e o substrato, tendo ainda sido estudada a influência dos parâmetros do processo na eficiência de deposição.

Sensores “em movimento"

A domótica e a Internet das Coisas (Internet of Things – IoT) são dois conceitos que estão a ter bastante impacto na sociedade e a mudar o seu quotidiano, pelo que o utilizador é mais exigente na utilização dos seus equipamentos, pretendendo, que sejam mais simples e eficazes. A IoT é também muito utilizada na vertente da qualidade de vida (verificação da qualidade do ar, temperatura etc.) pelo que é necessário a utilização de uma rede de sensores de forma que toda a informação recolhida seja disponibilizada ao utilizador. Os sensores estão ligados a nós da rede de forma a recolherem informação. Essa rede pode ser constituída por diferentes topologias, sendo que a mais usual é a rede em Malha, pois no caso de um dos nós deixar de funcionar, a mensagem é enviada através de outros nós até chegar ao nó principal. O passo seguinte consiste em enviar toda essa informação para a Cloud, sendo que, nas soluções existentes, é necessário que o utilizador tenha um ponto fixo (gateway) com acesso à internet. Quando não é possível internet por cabo, a solução é a utilização de redes sem fios ou a utilização de, por exemplo, um cartão 3G/4G que implica o pagamento de taxas às operadoras móveis. Estas soluções implicam, na sua grande maioria uma instalação elétrica para alimentação dos nós dos sensores. O grande problema surge quando o utilizador não possui nenhum acesso à Internet (no local onde são instalados os sensores), ou no caso de não existência de nenhuma instalação elétrica para alimentação dos nós dos sensores. A solução proposta nesta dissertação consiste na utilização de um telemóvel, de um utilizador aleatório, como gateway. Assim, um utilizador comum pode ligar os seus sensores onde for necessário. Esses sensores são configurados Over-The-Air através de uma camada de aplicação do dispositivo de comunicação, como por exemplo, o Synapse. Após configuração, os sensores estão prontos a recolher toda a informação e enviá-la através da rede até ao nó principal. O nó principal é constituído pelo dispositivo de comunicação referido anteriormente, ligado a um microcontrolador (Arduino, por exemplo) que tem agregado um leitor de cartões SD e um dispositivo Bluetooth (BLE). Toda a informação recolhida pelos sensores é guardada no cartão SD até que um utilizador, com um telemóvel (Smartphone Android com a aplicação desenvolvida instalada) com o Bluetooth ligado, se aproxime do nó principal. Assim que a ligação é aceite e estabelecida, a aplicação envia a data mais recente de um sensor específico presente na sua base de dados na Cloud para o Arduino, permitindo que este apague os dados mais antigos presentes no cartão e envie, como resposta para o telemóvel, a informação mais antiga recolhida pelo sensor, atualizando assim a informação. A aplicação deste conceito pode ser útil quando não existe nenhuma ligação à internet ou quando um utilizador, por exemplo uma entidade responsável pelo meio ambiente e que seja necessário inserir sensores numa floresta, para prevenção de fogos. Assim os nós vão enviar toda a informação recolhida através da sua rede. Posteriormente, cabe ao utilizador escolher um sítio estratégico, onde saiba que irão passar indivíduos com alguma frequência, de modo a que estes recebam essa informação para o seu telemóvel.

Fluorescência de raios-X aplicada ao estudo de ossadas humanas

O trabalho desenvolvido nesta dissertação visa o estudo da composição elementar de restos humanos (séculos XVIII-XIX) por fluorescência de raios-X dispersiva em energia (EDXRF). Os tecidos analisados, ossos, dentes, cabelos e massa encefálica, pertenciam a um conjunto de corpos exumadosda Ermida do Espírito Santo, em Almada (Portugal). Os resultados foram obtidos pela análise complementar de duas montagens experimentais: EDXRF com geometria triaxial e -EDXRF com geometria convencional. A primeira técnica permite obter melhores limites de deteção para matrizes de baixo Z. A configuração com um micro feixe e a análise em condições de vácuo permite melhorar os limites de deteção para os elementos mais leves. Os resultados obtidos para os indivíduos analisados puderam ser correlacionados, em alguns casos, com os hábitos alimentares e com o habitat, nomeadamente a exposição a elementos tóxicos. Adicionalmente, foi também avaliada a possibilidade de contaminação post-mortem dos corpos, a partir do local de inumação. Os elementos detetados em ambas as técnicas foram Ca, Fe, Cu, Zn, Br, Sr e Pb. Observaram-se níveis elevados de Zn e Sr para os ossos, que são indicativos de uma dieta rica em carne e peixe, respetivamente. Alguns indivíduos revelaram concentrações elevadas de Pb e Zn na polpa do dente. Estes elementos poder~ao ter sido resultado de uma da acumulação o ante-mortem e indicar o hábito do tabaco. Os resultados mostram um indivíduo que apresenta concentrações bastante elevadas de Pb, especialmente na massa encefálica, polpa do dente e ossos esponjosos. A contaminação poderá ter sido resultado da exposição ante-mortem de Pb, eventualmente devida ao trabalho efetuado numa fundição. Ademais, outro indivíduo apresentou uma concentração elevadíssima de Hg no cabelo. Neste caso, a hipótese proposta mais provável é a aplicação de um composto à base de Hg, para fins medicinais, possivelmente para a desinfestação de piolhos.

Relatório de estágio curricular no Centro de Arbitragem Comercial da Câmara de Comércio e Indústria portuguesa

This report is the outcome of an internship that took place in Centro de Arbitragem Comercial da Câmara de Comércio e Indústria Portuguesa and its completion is an essential part of the path towards obtaining the Master’s Degree in Faculdade de Direito da Universidade Nova de Lisboa. This report has been structured in two stages – firstly, the presentation of the Centro de Arbitragem Comercial, focusing on its field of expertise, organic structure, principles and advantages. Then, the description of the activities developed within the Secretariat over the several stages of the arbitration procedure – since the reception of the arbitration requirement in institutional proceedings, terms of reference in ad hoc procedures, through the monitoring of the arbitral tribunal sessions (preliminary hearings, submission of evidence and final allegations) and the notification of the arbitration award. The second stage of this report is related to the description of the functions and powers of the President of Centro de Arbitragem Comercial. Firstly, it defines those powers by analyzing the statutes and rules of proceedings of the Centro de Arbitragem, drawing comparisons between the above mention and the rules of proceedings of others arbitral institutional centres, some of them are international references. The report assesses and describes the presidential powers, such as: configuration and composition of the arbitral tribunal (including arbitrator’s replacements, excuses and refusals); deadline extensions; determination of procedural rules and decision-making on any procedural incidents which arise before the constitution of the arbitral tribunal; definition of arbitration costs and fees; joinder of parties and consolidation of proceedings admission; and appointment of an emergency arbitrator. Lastly, this report analyzes some decisions delivered by the President in the respective institutional procedures which took place in the Centre.

The role of α2,3- and α2,6-sialylation

RESUMO: Os glicoconjugados que decoram a superfície celular e os lípidos e proteínas secretados ocupam o ponto de encontro onde normalmente ocorrem interacções críticas homólogas (hospedeiro-hospedeiro) e heterólogas (hospedeiro-patogénio). Apesar de ser largamente aceite que os glicanos são parte integrante do processo de imunidade, continua a não ser claro qual o papel que os glicanos, em toda a sua diversidade, tomam no quadro geral da imunidade. Os glicanos, que são frequentemente terminados por resíduos de ácido siálico, podem ser alterados por factores externos, tais como patogénios, ou por acontecimentos fisiológicos celulares específicos. Normalmente em posição terminal, as glico-estruturas que contêm ácido siálico assumem um papel fundamental numa quantidade substancial de receptores imunes envolvidos na adesividade e tráfico celular, tal como as Selectinas e as Siglecs, das quais se sabe apresentarem uma relevante função imune. À altura do início desta tese, era sabido que os ácidos siálicos expressos à superfície das células poderiam modular mecanismos importantes nas respostas imunes adaptativas. Considerando a posição de charneira que as células dendríticas (DCs) ocupam na transição da resposta imune inata para a adaptativa, antecipámos que os ácidos siálicos poderiam também modular mecanismos relevantes nas DCs humanas. As DCs têm uma função muito relevante na verificação e captura antigénica, migração para os gânglios linfáticos e apresentação antigénica aos linfócitos, uma sequência de funções que conduz, em ultima instância, à indução da resposta inata adaptativa. Considerando estas premissas, a nossa hipótese principal foi que os ácidos siálicos podem influenciar funções relevantes das DCs, tais como captura de antigénios, maturação, migração para os gânglios linfáticos e apresentação antigénica às células Para testar esta hipótese, dividimos o trabalho em quatro partes: 1) Analisámos os glicanos sialilados de superfície, expressos durante a diferenciação de monócitos humanos em DCs (moDCs). Os nossos dados mostraram que a expressão dos glicanos com ligações em O (O-glicanos) e sialilados em α2,3, assim como glicanos com ligações em N (N-glicanos) sialilados em α2,6 e α2,3 aumentou durante o processo de diferenciação das moDCs. Contribuindo para esta nova configuração glicosídica, três sialiltransferases (STs) poderão estar envolvidas: a ST6Gal-1 correlaciona-se com a expressão aumentada de N-glicanos sialilados em α2,6; a ST3Gal-1 contribui para a sialilação em α2,3 de O-glicanos, em especial de antigénios T; e a ST3Gal-4 poderá ser responsável pelo aumento de N-glicanos sialilados em α2,3. Após estímulo e consequente maturação das moDCs, ambos os níveis de expressão génica de ST6Gal-1 e ST3Gal-4 são negativamente modificados sendo, também, que a expressão de ST3Gal-1 varia consoante o estímulo. 2) Estudámos posteriormente as consequências da modulação dos ácidos siálicos de superfície nas funções das DCs. Observámos que a remoção dos ácidos siálicos de superfície diminui significativamente a capacidade de macropinocitose e endocitose mediada por receptores nas moDCs. Em contrapartida, o tratamento com sialidase aumentou significativamente a capacidade das moDCs para fagocitar Escherichia coli. Determinou-se também que este mecanismo requer a existência de ácido siálico presente nas E. coli indicando um mecanismo de interacção hospedeiro-patogénio dependente de ácido siálico em ambas as partes envolvidas. As moDCs tratadas com sialidase também apresentam um nível superior de expressão de moléculas de MHC e moléculas co-estimulatórias, sugerindo um fenótipo celular mais maduro. Recorrendo ao modelo de ratinho, utilizaram-se DCs derivadas de células da medula (BMDCs) de ratinhos deficientes em ST3Gal-1 e ST6Gal-1. Estes ensaios revelaram que quer a endocitose quer a maturação são influenciadas por modificações 37 nos glicanos sialilados em α2,3 ou α2,6. A detecção e quantificação de proteínas Nglicosiladas e sialiladas em α2,6 apontou para um potencial envolvimento de integrinas β2 nestes mecanismos. 3) O efeito da sialilação em α2,6 na migração das DCs para os gânglios linfáticos foi também analisado. Observámos que BMDCs deficientes para ST6Gal-1 apresentam uma redução de cerca de 50% nos níveis de migração das DCs para os gânglios linfáticos, tal como aferido em ensaios de inflamação in situ e estudos de transferência adoptiva de células. Uma redução dos níveis deste tipo de migração foi também observada quando BMDCs nativas foram transferidas para ratinhos receptores deficientes em ST6Gal-1. São, contudo, necessários mais ensaios de forma a identificar as moléculas envolvidas neste processo. 4) Por último, analisámos o impacto da sialilação na estimulação antigénica das DCs às células T. Assim, concluiu-se que moDCs tratadas com sialidase apresentam um nível de expressão superior de IL-12, TNF-ɑ, IL-6 e IL-10, e activação do factor de transcrição nuclear kappa B (NF-κB). As DCs tratadas com sialidase induziram uma maior proliferação nas células T, com expressão correspondente de interferão-γ. Este dado sugere que a remoção de ácidos siálicos de superfície contribui para o desenvolvimento de uma resposta pro-inflamatória do tipo 1 por células T auxiliares (resposta Th1). Considerando estes dados no seu todo, concluímos que o ácido siálico tem um papel marcante nas funções imunes das DCs. Alterações à concentração de ácido siálico à superfície das células podem alterar a endocitose/fagocitose, maturação, migração para os tecidos e gânglios linfáticos e capacidade estimulatória para com as células T. Complementando estes dados, as ligações glicosídicas de ácidos siálicos criados por ST6Gal-1 e ST3Gal-1 são funcionalmente relevantes. A modulação programada da sialilação do glicocálice, mediada por sialidases individuais ou sialiltransferases é uma possibilidade aceitável para a melhoria da fagocitose por DCs e da sua potência imunológica. Este facto tem um significado particular para imunoterapias baseadas em DCs, podendo provar-se decisivo para a sua eficiência e aplicabilidade num futuro muito próximo.-------------------------------ABSTRACT: Glycans decorating cell surface and secreted proteins and lipids occupy the junction where critical host–host and host-pathogen interactions occur. In spite of the wide acceptance that glycans are centrally implicated in immunity, exactly how glycans and their variety and variability contribute to the overall immune response remains poorly defined. Glycans, frequently terminated by sialic acid residues, may be modified by external factors such as pathogens or upon specific physiological cellular events. The terminal, privileged positions of sialic acid-modified structures makes them key, fundamental determinants for a number of immune receptors with known involvement in cellular adhesiveness and cell trafficking, such as Selectins and Siglecs, with known relevant immune functions. At the time this thesis was initiated, it was established that sialic acids expressed at cell surface could modulate important mechanisms of the adaptive immune responses. Given the key role of dendritic cells (DCs) in the transition from innate to the adaptive immune responses, we anticipated that sialic acids could also modulate important mechanisms of human DCs. DCs have a relevant role in antigen screening and uptake, migration to lymph nodes and antigen presentation to lymphocytes, ultimately triggering the adaptive immune response. Therefore, our primary hypothesis was that sialic acids may modulate DC functions, such as antigen uptake, maturation, homing to lymph nodes and antigen presentation to T cells. To test this hypothesis, we divided our work in four parts. 1) Surface sialylated glycans expressed during differentiation from human monocytes to DCs (moDCs) were analyzed. Our data showed that α2,3-sialylated O-glycans and α2,6- and α2,3-sialylated N-glycans expression increased during moDC differentiation. Three main sialyltransferases (STs) are committed with this new glycan configuration: ST6Gal- 1 correlates with the increased expression of α2,6-sialylated N-glycans; ST3Gal-1 32 contributes for the α2,3-sialylation of O-glycans, especially T antigens; and ST3Gal-4 may contribute for the increased α2,3-sialylated N-glycans. Upon moDC maturation, ST6Gal-1 and ST3Gal-4 are downregulated and ST3Gal-1 is altered in a stimulus dependent manner. 2) We subsequently analyzed the consequences of the modulation of cell surface sialic acids in DC functions. We observed that removing surface sialic acid by sialidase significantly decreased the capacity of moDCs to micropinocytose and receptormediated endocytose. In contrast, treatment with a sialidase significantly improved the capacity of moDCs to phagocytose Escherichia coli. The improved phagocytosis mechanism required E. coli sialic acids, indicating a mechanism of host–pathogen interaction dependent on sialic acid moieties. Sialidase-treated moDCs have increased expression of MHC and co-stimulatory molecules, suggesting a more mature phenotype. Experiments using mouse bone marrow-derived DCs (BMDCs) from ST3Gal-1-/- and ST6Gal-1-/- strains indicated that endocytosis and maturation are influenced by changes in either α2,3 or α2,6-sialylated glycans. The analysis of α2,6-sialylated, N-glycosylated proteins, strongly suggested the potential involvement of β2 integrins, underlying these mechanisms. 3) The effect of α2,6-sialylation in DC homing to lymph nodes was also analyzed. We observed that BMDCs deficient for ST6Gal-1 have an almost 50% reduction in DC homing, as assayed by in situ inflammation and adoptive transfer studies. A reduction in DC homing was also observed when wild type BMDCs were transferred into ST6Gal-1-/- recipient mice. Further investigations are necessary to identify the molecules involved in this process. 4) Finally, we also analyzed the impact of sialylation on DCs ability to prime T cells. Sialidase-treated moDCs show increased gene expression of IL-12, TNF-α, IL-6 and IL- 10 cytokines, and activation of the transcription factor nuclear factor-κB. Sialidase33 treated DCs induced a higher proliferative response of T cells with concomitant higher expression of interferon-γ, suggesting that the clearance of cell surface sialic acids contributes to the development of a T helper type 1 proinflammatory response. Together, our data strongly support sialic acid’s relevance in DC immune functions. Alterations of cell surface sialic acid content can alter the endocytosis/phagocytosis, maturation, migration/homing and the ability for T cell priming in human DCs. Moreover, sialic acid linkages created by ST6Gal-1 and ST3Gal-1 are functionally relevant. The engineering of cell surface sialylation, mediated by individual sialidases or sialyltransferases is a likely possibility to fine tune DC phagocytosis and immunological potency, with particular significance to DC-based therapies.

Análise configuracional dos grandes conjuntos urbanos na Região de Lisboa (1945-1974) : contributos da sintaxe espacial para a história de arte como história da cidade

A presente investigação debruça-se sobre o estudo dos grandes conjuntos urbanos, tendo como referência a área de Lisboa no período entre 1945 e 1974. O seu objetivo principal é compreender o padrão espacial e respetivas variantes destas formas urbanas relativamente recentes bem como avaliar o seu impato na estrutura global da cidade e da sociedade. Tomando como ponto de partida a história de arte como história da cidade, a tese toma como objeto o grande conjunto urbano e aponta a hipótese do estudo da relação forma-fundo como meio de obter informações relevantes que relacionem o uso e função com respeito ao desenho do espaço aberto. Como diferentes arranjos entre espaços abertos e fechados implicam tipos espaciais distintos (Medeiros 2013), o estudo da relação entre a forma (cheio) e o fundo (vazio) dos grandes conjuntos urbanos e respetivas variações, pode fornecer-nos informação espacial relevante, que nos permitem compreender melhor estas formas urbanas recentes. Usando a abordagem própria da teoria da sintaxe espacial (Hillier e Hanson 1984), do tipo configuracional, determinam-se as relações entre os vários elementos constituintes dos sistemas espaciais formados nestas urbanizações. Essas relações são depois analisadas através de medidas e variáveis topológicas que nos permitem identificar qualidades e valores espaciais para a sociedade. Os resultados obtidos a partir dessas variáveis e medidas permitem-nos, depois, avaliar os graus de ‘formalidade’ e ‘urbanidade’ em cada sistema (Holanda 2002). Consequentemente, a avaliação qualitativa das características espaciais que se pretendem obter nesta investigação, tem como base a avaliação quantitativa, permitindo assim comparar mais facilmente os diversos casos de estudo. De entre o conjunto de casos analisados, o estudo revela uma série de características comuns, que nos permitem identificar um padrão específico de urbanismo modernista que reflete claramente um conjunto de ideologias associadas a uma visão reformista da sociedade através do espaço. Mas por outro lado, existem também um conjunto de características particulares de cada caso, que reportam para a estrutura morfológica da cidade tradicional. No que reporta à hipótese de estudo levantada nesta investigação sobre a relação forma-fundo, verifica-se através da amostra que esta relação aparece invertida. Esta diferenciação deve-se ao abandono dos tradicionais sistemas de rua e de quarteirão, ainda presentes nas urbanizações de Alvalade e do Areeiro e a sua substituição pelo bloco livre em espaço aberto como nos casos de Alfragide, Portela e Olivais. Tal facto, como prova a teoria da Sintaxe Espacial ou Lógica Social do Espaço, traduziu-se necessariamente em diferentes modos de vida pública e privada e consequentemente de vida espacial e social. Assim concluímos, através da análise dos casos de estudo apresentados, que embora fazendo parte duma mesma ideologia urbana com características comuns (genótipo modernista), os mesmos apresentam resultados espaciais totalmente diferenciados o que justifica a dificuldade da sua análise comparativa.

Configurador de sistemas distribuídos de controlo especificados através de redes de Petri IOPT

O objetivo principal deste trabalho é desenvolver um protótipo de ferramenta que permita a geração de ficheiros de configuração de sistemas distribuídos de controlo em plataformas específicas permitindo a integração de um conjunto de componentes previamente definidos. Cada componente é caracterizado como um módulo, identificando-se o conjunto de sinais e eventos de entrada e saída, bem como o seu comportamento, normalmente especificado através de um modelo em redes de Petri IOPT – RdP-IOPT (Input-Output Place-Transitions). O formato PNML (Petri Net Markup Language) será utilizado para a representação de cada componente. Os componentes referidos poderão ser obtidos através de vários métodos, nomeadamente através de ferramentas em desenvolvimento, que se encontram disponíveis em http://gres.uninova.pt/IOPT-Tools/ e também através da sua edição no editor de IOPT, como resultado da partição de um modelo expresso em IOPT, utilizando o editor Snoopy-IOPT em conjugação com a ferramenta SPLIT. Serão considerados várias formas para interligação dos componentes, incluindo-se ligações diretas e wrappers assíncronos num contexto de sistemas Globalmente Assíncronos Localmente Síncronos - GALS bem como diferentes tipos de barramentos e ligações série, incluindo Network-On-Chip específicos. A descrição da interligação entre componentes é gerada automaticamente pela ferramenta desenvolvida, tendo em conta resultados de dissertações de mestrado anteriores. As plataformas especificas de suporte à implementação incluem FPGA’s da serie Xilinx Spartan3,3E e Xilinx Virtex, e várias placas de desenvolvimento.

Cláusulas de garantia e segurança

Contractual provisions directed towards the fulfillment of the contract itself or concerning the promisor’s conduct are nowadays widespread (both geographically and regarding the situations in which they are used), posing interpretative problems that demand the consideration of private autonomy’s extent and its limits on their application. A number of such clauses or covenants proliferate on all sectors of juridical activity, although with different configurations in each particular situation, whereby the study of negative pledge, pari passu, cross-default and ownership clauses merely constitutes a conceptual framework for considerations concerning the virtues and challenges of this type of contractual arrangements, particularly in relation to the precepts of the legal system as a whole. This study also aims to display the special characteristics that justify their prevalence in banking and financial law. We intend to analyze their, mostly preventive, function, typifying the main problems that arise, as well as their limitations and advantages.