Rozprawy doktorskie na temat „E-modules”

Le sujet de cette thèse est une approche microlocale de la transformation de Radon. Il s’agit d’appliquer à la dualité projective complexe et réelle les techniques initiées dans l’article fondateur de Sato-Kashiwara-Kawai de 1972 et de retrouver, reformuler, améliorer des travaux d’analyse plus classiques sur ce sujet, en particulier ceux de G. Henkin ou S. Gindikin. La dualité projective vue sous l’angle microlocal et faisceautique est apparue pour la première fois dans un travail important de J-L. Brylinski sur les faisceaux pervers, travail repris ensuite par D’Agnolo et Schapira dans le cadre des D-modules. Notre travail est de reprendre systématiquement cette étude avec les nouveaux outils de la théorie microlocale des faisceaux (théorie qui n’existait pas à l’époque de SKK72). Ce travail se compose essentiellement de deux parties. Dans la première, nous commençons par rappeler dans un cadre général la construction des transformations canoniques quantifiées, sous l’hypothèse de l’existence d’une section simple non-dégénérée (introduite sous un autre nom par J. Leray). Cette construction n’avait jamais été faite dans un cadre global hors du cas projectif. Nous montrons alors que ces transformations commutent à l’action des opérateurs microdifferentiels. Il s’agit là d’un résultat fondamental sans qu’aucune preuve consistante n’existe dans la littérature, ce résultat étant plus ou moins sous-entendu dans SKK72. La deuxième partie de la thèse traite des applications à la transformation de Radon “clas-sique”. L’idée de base est que cette transformation échange support des hyperfonctions (modulo analyticité) et front d’onde analytique. Nous obtenons ainsi des théorèmes de prolongement ou d’unicité sur les ouverts linéellement concave. Nous obtenons aussi un théorème des résidus pour les valeurs au bord de classes de cohomologie définies sur les cônes de signatures (1, n − 1), clarifiant substantiellement des travaux de Cordaro-Gindikin-Trèves
The subject of this thesis is a microlocal approach to the transformation of Radon. It is a question of applying to real and complex projective duality the techniques initiated in the founding article of Sato-Kashiwara-Kawai of 1972 and to find, reformulate, improve more classic analytical work on this subject, in particular those of G. Henkin or S. Gindikin. Pro-jective duality seen from the microlocal and sheaf point of view appeared for the first time in an important work by J-L. Brylinski on perverse sheaves, work then taken up by D'Agnolo and Schapira in the framework of D-modules. Our work is to systematically resume this study with the new tools of the microlocal sheaf theory (theory which did not exist at the time of SKK72). This work essentially consists of two parts. In the first, we begin by recalling in a general framework the construction of quantized ca-nonical transformations, under the hypothesis of the existence of a simple non-degenerate section (introduced under another name by J. Leray). This construction had never been done in a global framework outside the projective case. We then show that these transfor-mations exchange the action of the microdifferential operators. This is a fundamental re-sult without any consistent proof existing in the literature, this result being more or less implied in SKK72. The second part of the thesis deals with the applications to the “classical” Radon trans-form. The basic idea is that this transform exchanges the support of hyperfunctions (modu-lo analyticity) and the analytic wavefront set. We thus obtain theorems of continuation or uniqueness on linearly concave domain. We also get a residue theorem for the boundary values of finite cohomology classes defined on cones with (1, n-1) signature, substantially clari-fying the work of Cordaro-Gindikin-Trèves

Designons respectivement par d et e le faisceau des operateurs differentiels sur une variete complexe et le faisceau des operateurs microdifferentiels formels sur le fibre projectif cotangent de la meme variete. Alors qu'en dimension superieure ou egale a trois la classification des e et d modules microlocalement libres de rang un est relativement simple, ainsi que l'ont montre d'agnolo et schapira, le cas de la dimension deux necessite a priori une etude speciale qui est l'objet de cette these. L'existence sur tout emodule microlocalement libre de rang un d'une filtration globale canonique permet de lui associer un amodule filtre d'un type bien defini, ou a est un faisceau d'algebres generalisant le faisceau d. Il est ensuite montre que cette correspondance est biunivoque grace a la construction explicite d'un foncteur inverse. Les resultats precedents sont ensuite appliques a la construction d'une equivalence de categories entre les dmodules microlocalement libres de rang un sans torsion et certains couples (f,l) ou f est un fibre vectoriel muni d'une connexion non integrable et l un sous fibre de rang un de f. De plus, par cette correspondance, un dmodule microlocalement libre de rang un sans torsion est localement stablement libre si et seulement f n'a pas de section horizontale non nulle.

Information and Communication Technology (ICT) projects are being initiated and deployed in marginalized areas to help improve the standard of living for community members. This has lead to a new field, which is responsible for information processing and knowledge development in rural areas, called Information and Communication Technology for Development (ICT4D). An ICT4D projects has been implemented in a marginalized area called Dwesa; this is a rural area situated in the wild coast of the former homelandof Transkei, in the Eastern Cape Province of South Africa. In this rural community there are e-Service projects which have been developed and deployed to support the already existent ICT infrastructure. Some of these projects include the e-Commerce platform, e-Judiciary service, e-Health and e-Government portal. Although these projects are deployed in this area, community members face a language and literacy barrier because these services are typically accessed through English textual interfaces. This becomes a challenge because their language of communication is isiXhosa and some of the community members are illiterate. Most of the rural areas consist of illiterate people who cannot read and write isiXhosa but can only speak the language. This problem of illiteracy in rural areas affects both the youth and the elderly. This research seeks to design, develop and implement software modules that can be used to convert isiXhosa text into natural sounding isiXhosa speech. Such an application is called a Text-to-Speech (TTS) system. The main objective of this research is to improve ICT4D eServices’ usability through the development of an isiXhosa Text-to-Speech system. This research is undertaken within the context of Siyakhula Living Lab (SLL), an ICT4D intervention towards improving the lives of rural communities of South Africa in an attempt to bridge the digital divide. Thedeveloped TTS modules were subsequently tested to determine their applicability to improve eServices usability. The results show acceptable levels of usability as having produced audio utterances for the isiXhosa Text-To-Speech system for marginalized areas.

Dans cette thèse nous rappelons la notion de L-algèbre, qui a pour objet d'être un modèle algébrique des types d'homotopie. L'objectif principal de cette thèse est la description d'une structure de E-infini-coalgèbre sur l'élément principal d'une L-algèbre. Ceci peut être vu comme une généralisation de la structure de E-infini-coalgèbre sur le complexe des chaînes d'un ensemble simplicial, telle que décrite par Smith dans Iterating the cobar construction, 1994. Nous construisons une E-infini-opérade, notée K, utilisée pour construire la E-infini-coalgèbre sur l'élément principal d'une L-algèbre. Cette structure de E-infini-coalgèbre montre que la L-algèbre canoniquement associée à un ensemble simplicial contient au moins autant d'information homotopique que la E-infini-coalgèbre couramment associée à un ensemble simplicial
In this thesis we recall the notion of L-algebra. L-algebras are intended as algebraic models for homotopy types. L-algebras were introduced by Alain Prouté in several talks since the eighties. The principal objective of this thesis is the description of an E-infinity-coalgebra structure on the main element of an L-algebra. This can be seen as a generalization of the E-infinity-coalgebra structure on the chain complex associated to a simplicial set given by Smith in Iterating the cobar construction, 1994. We construct an E-inifity-operad, denoted K, used to construct the E-inifity-coalgebra on the main element of a L-algebra. This E-inifity-coalgebra structure shows that the canonical L-algebra associated to a simplicial set contains at least as much homotopy information as the E-inifity-coalgebras usually associated to simplicial sets

The involvement of carers in oncology is important for the health of people diagnosed with cancer as well as carers themselves. To improve their involvement, three groups; patients, their carers, and  clinicians should maintain good communication. The e-learning interface, eTRIO, has a learning module for each of these three groups. The design of eTRIO is based on research from psycho- oncologists. This study aims to answer the question; What are the strengths and weaknesses of the eTRIO interfaces for clinicians, carers, and patients in terms of their usability? Heuristic evaluation and think-alouds have been conducted to answer this. The results of this study show that interactive activities, as well as neatly presented content, are engaging the user, buttons and content should have clear purposes. The eTRIO interface will enhance carers' involvement with good usability, making it easy for users to retain important information. Strengths and areas for improvement will be presented in this study.
Inkludera cancerpatienters närstående i onkologi är viktigt för både cancerpatienter och deras närstående. För att förbättra de närståendes inkludering måste tre grupper; patienter, deras närstående och läkare ha god kommunikation mellan varandra. E-lärande platformen, eTRIO, har en modul för varje ovannämnd grupp. Designen av eTRIO är baserad på forskning av psyko-onkologer. Denna studie har som syfte att besvara frågan; Vad är eTRIOs gränssnitts styrkor och svagheter för läkare, cancerpatienter och närstående med avseende på användarvänlighet? En heuristisk utvärdering och think-alouds har gjorts för att svara på denna fråga. Resultaten av denna studie visar att interaktiva aktiviteter och visuellt tilltalande presenterat innehåll engagerar användarna samt att knappar och innehåll behöver tydliga syften. Gränssnitten av eTRIO kommer att förbättra närståendes inkludering med bra användarvänlighet och gör det lätt för användare att komma ihåg viktig information. Styrkor och områden för förbättring kommer att presenteras i denna studie.

We give a thorough account of the various equivalent notions for \sheaf" on a locale, namely the separated and complete presheaves, the local home- omorphisms, and the local sets, and to provide a new approach based on quantale modules whereby we see that sheaves can be identi¯ed with certain Hilbert modules in the sense of Paseka. This formulation provides us with an interesting category that has immediate meaningful relations to those of sheaves, local homeomorphisms and local sets. The concept of B-set (local set over the locale B) present in [3] is seen as a simetric idempotent matrix with entries on B, and a map of B-sets as de¯ned in [8] is shown to be also a matrix satisfying some conditions. This gives us useful tools that permit the algebraic manipulation of B-sets. The main result is to show that the existing notions of \sheaf" on a locale B are also equivalent to a new concept what we call a Hilbert module with an Hilbert base. These modules are the projective modules since they are the image of a free module by a idempotent automorphism On the ¯rst chapter, we recall some well known results about partially ordered sets and lattices. On chapter two we introduce the category of Sup-lattices, and the cate- gory of locales, Loc. We describe the adjunction between this category and the category Top of topological spaces whose restriction to spacial locales give us a duality between this category and the category of sober spaces. We ¯nish this chapter with the de¯nitions of module over a quantale and Hilbert Module. Chapter three concerns with various equivalent notions namely: sheaves of sets, local homeomorphisms and local sets (projection matrices with entries on a locale). We ¯nish giving a direct algebraic proof that each local set is isomorphic to a complete local set, whose rows correspond to the singletons. On chapter four we de¯ne B-locale, study open maps and local homeo- morphims. The main new result is on the ¯fth chapter where we de¯ne the Hilbert modules and Hilbert modules with an Hilbert and show this latter concept is equivalent to the previous notions of sheaf over a locale.
Orientador: Pedro Manuel Agostinho Resende

Orientadores: Adriano Adrega de Moura, Daniel Ken Nakano
Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica
Made available in DSpace on 2018-08-22T17:19:06Z (GMT). No. of bitstreams: 1 Macedo_TiagoRodrigues_D.pdf: 1593692 bytes, checksum: 0f44184671f53844f40df83e883c05ea (MD5) Previous issue date: 2013
Resumo: Nesta tese nós estudamos dois problemas principais. O primeiro problema aborda extensões de módulos para álgebras de corrente associadas a álgebras de Lie simples, complexa e de dimensão finita. Primeiro nós calculamos 1-extensões entre módulos simples de dimensão finita dessas álgebras, recuperando parcialmente um resultado de Kodera. A seguir nós desenvolvemos uma técnica para calcular extensões mais altas entre módulos simples, com a qual nós calculamos certas 2-extensões. Por fim nós mostramos que os grupos de cohomologia da álgebra de corrente são isomorfos aos da álgebra de Lie simples associada a ela, confirmando uma afirmação de Feigin. Essa parte da tese foi desenvolvida em colaboração com B. Boe, C. Drupieski e D. Nakano. O segundo problema aborda certa classe de módulos para hiperálgebras de álgebras de corrente. Quando a álgebra de Lie a qual a álgebra de corrente é associada é de tipo ADE, nós mostramos que módulos de Weyl locais são isomorfos a certos módulos de Demazure, estendendo para característica positiva um resultado de Fourier-Littelmann. Em geral, nós estendemos um resultado de Naoi, provando que módulos de Weyl locais admitem uma bandeira de Demazure, i.e., uma filtração cujos fatores são isomorfos a módulos de Demazure. Usando esse resultado, nós provamos uma conjectura de Jakelic-Moura que afirma que o caracter dos módulos de Weyl locais para hiperálgebras de laços são independentes do corpo base, desde que este seja algebricamente fechado
Abstract: In this thesis we consider two main problems. The first problem concerns extensions between simple modules for current algebras associated to complex, simple, finite-dimensional Lie algebras. To begin, we compute 1-extensions between finite-dimensional simple modules, partially recovering a result due to Kodera. Then we develop a technique aimed to compute higher extensions, and which we use to compute 2-extensions between certain simple modules. Finally we prove that cohomology groups of current algebras are isomorphic to the cohomology groups of its underlying simple Lie algebra, a result stated by Feigin. This part of the thesis arises from collaboration with B. Boe, C. Drupieski and D. Nakano. The second problem is concerned with the study of certain classes of modules for hyper algebras of current algebras. In the case that the underlying Lie algebra is simply laced, we show that local Weyl modules are isomorphic to certain Demazure modules, extending to positive characteristic a result due to Fourier-Littelmann. More generally, we extend a result of Naoi by proving that local Weyl modules admit a Demazure flag, i.e., a filtration with factors isomorphic to Demazure modules. Using this, we prove a conjecture of Jakelic-Moura stating that the character of local Weyl modules for hyper loop algebras are independent of the (algebraically closed) ground field
Doutorado
Matematica
Doutor em Matemática

Submitted by Renata Lopes (renatasil82@gmail.com) on 2016-12-19T18:27:28Z No. of bitstreams: 1 santiagomilerquispemamani.pdf: 952447 bytes, checksum: 6008ae3816024f866eea3c17d560372d (MD5)
Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-02-07T12:39:21Z (GMT) No. of bitstreams: 1 santiagomilerquispemamani.pdf: 952447 bytes, checksum: 6008ae3816024f866eea3c17d560372d (MD5)
Made available in DSpace on 2017-02-07T12:39:21Z (GMT). No. of bitstreams: 1 santiagomilerquispemamani.pdf: 952447 bytes, checksum: 6008ae3816024f866eea3c17d560372d (MD5) Previous issue date: 2016-04-25
O objetivo deste trabalho é apresentar o resultado dado por Bass em [4], que determina uma condição no domínio de integridade R para que todo módulo finitamente gerado e livre de torção seja escrito como soma direta de módulos de posto 1. Mostramos que uma condição necessária é que todo ideal em R seja gerado por dois elementos, ou seja, que esses domínios sejam quase domínios de Dedekind. Em seguida, aplicamos o resultado na descrição de módulos livres de torção e de posto finito sobre os anéis de coordenadas de curvas singulares, cujas singularidades são nós ou cúspides.
The aim of this paper is to present the result given by Bass in [4], which determines a condition on the integral domain R so that every finitely generated torsion free module is written as a direct sum of modules of rank 1. We show that a necessary condition is that all ideal in R is generated by two elements, in other words, that these domains are almost Dedekind domains. Then, we apply the result in the description of torsion free modules of finite rank over the coordinate rings of singular curves, whose singularities are nodal or cuspidal.

L’augmentation de la puissance électrique consommée à bord des avions a récemment conduit à introduire des convertisseurs électroniques de puissance à base d'interrupteurs à IGBT dans de nombreuses applications aéronautiques. L'utilisation de ces interrupteurs diffère de leurs emplois traditionnels dans les domaines du ferroviaire ou de l'automobile. En effet, les sollicitations environnementales ainsi que les cycles de commandes électriques sont différents de ceux rencontrés jusqu’alors, ce qui amène à remettre en cause les résultats actuels au sujet de la durée de vie et de la fiabilité de ces interrupteurs. Face à ces interrogations, les sociétés THALES et Hispano-Suiza se sont associées au sein du programme de l’avion plus électrique MODERNE (MODular ElectRical NEtwork) initié par Airbus, en vue de développer des solutions à haut niveau de fiabilité pour des applications aéronautiques sévères. C’est dans ce contexte que prennent place les présents travaux, dont les objectifs sont dans un premier temps de proposer de nouvelles architectures de modules susceptibles de présenter de meilleures performances d’intégration, et dans un second temps d’en étudier la fiabilité. Pour répondre à ces questions, un état de l'art des technologies utilisables a été mené. La confrontation de ses technologies aux contraintes et recommandations aéronautiques a conduit au choix de deux approches d'assemblage, proposées avec un jeu de matériaux sélectionnés pour leurs propriétés physiques et en conformité avec les réglementations sur l’utilisation de matériaux polluants. À l'issue d'une analyse de défaillances, différents développements ont été conduits afin de modéliser et caractériser le comportement thermique, mécanique puis à défaillance des modules. Des modèles Éléments Finis de structures représentatives des solutions proposées ont alors été mis au point et exploités pour l'élaboration de règles de conception, sur la base de plans d'expériences couplés à de la simulation numériques. Les informations générées ont servi à la conception de trois prototypes destinés à des applications différentes. Les performances de ces prototypes ont été évaluées, notamment leurs fiabilités obtenues par des calculs mécano-fiabilistes ayant permis l'optimisation de la conception des différents modules.

O presente trabalho consiste no desenvolvimento de um módulo electrónico de baixo custo, capaz de adquirir e traçar as curvas I-V (corrente versus tensão) de módulos fotovoltaicos, assim como medir outras grandezas utilizadas no diagnóstico de degradação, nomeadamente, tensão em circuito aberto, corrente de curto-circuito, radiação solar e temperatura. Numa primeira fase do trabalho decorrida no IPB, foram implementadas/testadas algumas montagens electrónicas com vista a verificar as possibilidades de implementação e validar a que melhor se coadunava para a implementação prática. De seguida, já no Ciemat, tomou-se conhecimento das distintas técnicas e procedimentos do Laboratório de Energia Solar Fotovoltaica para a realização de ensaios e medidas em módulos fotovoltaicos. Após a consolidação de conhecimentos, foi projectado, desenhado e construído um traçador de curvas I-V cumprindo os requisitos propostos, ou seja, de baixo custo e configuração simples. O módulo electrónico construído foi baseado na carga de um condensador de potência, uma carta de aquisição de dados e um comutador para duas opções de medida: módulos fotovoltaicos “convencionais” (10 A, 50 V) e módulos fotovoltaicos de lâmina delgada (2 A, 110 V). This work is based on the development of a low cost electronic module, able of acquiring and trace IV curves (current versus voltage) of photovoltaic modules, as well as measuring other quantities of the degradation diagnose, particularly open circuit voltage, current short circuit, radiation and temperature. On a former phase of this work, which took place at IPB, there were implemented/tested some electronic montages in order to verify the implementation possibilities and validate which suits better for the practical implementation. On a second phase, taking place at CIEMAT, there were acknowledged several techniques and procedures of the Photovoltaic Energy Laboratory for the execution of tests and measures on photovoltaic modules. After knowledge consolidation, it was projected, designed and built an IV tracer, according to the proposed requisites, as so, low cost and simple configuration. The electronic module built on his project, was based on the load of a power condenser, on data acquisition hardware and a two-measuring switch: conventional photovoltaic modules (10 A, 50 V), and thin-blade photovoltaic modules (2 A, 110 V).

Made available in DSpace on 2015-05-15T11:46:14Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 648337 bytes, checksum: 9279ff33168aa2d0061e31ea1b676587 (MD5) Previous issue date: 2013-04-19
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES
In this work we will study the definitions, examples and basic properties of Ore extensions. In particular, we will present a special case of Ore extensions, the Weyl algebras An(K) over a field K. We will see that An(K) is a simple noetherian domain. We will study also the dimension d(M) of a finitely generated An(K)-module and we will prove the Bernstein's inequality, n d(M) 2n. Finally we will study the holonomic An(K)- modules, that is, the finitely generated An(K)-modules such that d(M) = n:
Neste trabalho estudaremos as definições, exemplos e propriedades básicas das extens ões de Ore. Em particular, apresentaremos um tipo especial de extensões de Ore, as álgebras deWeyl An(K) sobre um corpo K. Veremos que An(K) é um domínio noetheriano simples. Estudaremos também a dimensão d(M) de um An-módulo finitamente gerado M e provaremos a desigualdade de Bernstein, n d(M) 2n. Finalmente estudaremos os An(K)-módulos holonômicos, isto é, os An(K)-módulos finitamente gerados tais que d(M) = n .

The main topic of this work is to investigate on nonlinear phenomena affecting high power systems and on the strategies adopted to model them. In the first chapter the attention is focused on two big areas of high power systems: power electronics and systems/devices used to sustain plasma fusion. Although it is common that System Engineers tend to associate high power systems with power electronics, it is worth noting that power systems related to nuclear fusion represent a challenging area rich in nonlinearities. Specifically, while nonlinear oscillations in power electronics are due to oscillations of electrical nature, the ones present in nuclear fusion can also refer to other physical quantities. We will refer to the latter taking into account macroscopic plasma instabilities affecting JET plasmas, and proposing both theoretical approaches and experimental ones to describe their dynamic. The former rely on nonlinear mathematical equations able to mimic the nonlinear behavior of the system under certain conditions while the latter are based on a physical realization of the system starting from its mathematical model. High power systems related to power electronics are investigated in Chapter 2 where the importance of thermal modeling for the power electronics modules is pointed out and a new modeling strategy which starts from a distributed parameter analysis to obtain a lumped parameter model is introduced. In this case, the proposed methodology is based on the assumption that the heat transfer problem can be assumed to be linear and the thermal impedances approaches can be therefore used. In this relevant case study nonlinearities in modeling high power systems can also be neglected under certain conditions. In particular, concerning high power modules, it is well-known how the geometry of the device and the proper choice of the cooling system can play a key role for these simplifications. A data-driven approach based on neural networks to model plasma instabilities is presented in Chapter 3. This approach is introduced because physical models often require a deep knowledge of the system parameters that sometimes is difficult to obtain. In Chapter 4 considerations and results on new identification methodologies based on parallel identification models for discrete-time systems are presented.

The need for recovery and concentrate a Volatile Fatty Acids (VFAs) effluent resulting from a biological fermentation step, has aimed a feasibility study on pressure-driven membrane separation processing. A previous experimental campaign, carried out at LABIC-DICAM for the NoAW (No-Agricultural Waste) EU project, involving total recirculation and concentration trials on RO and NF modules, was the starting point for subsequent elaboration, modelling, simulation and preliminary design. The presented mass transfer-solution modelling allowed the estimation of both VFAs and Na+ real rejections for all investigated total recirculation trials. The modelling ability to assess the system’s osmotic pressure and polarization magnitude was successfully tested accounting for the validity of the osmotic-pressure model. Total recirculation trials calculated real rejections trends were interpolated using the Mason&Lonsdale and solution-diffusion transport models, providing a set of adjustable parameters. The interpolated RReal (Jv) curves were used in the simulation of the experimental concentration trials, proving our capability to fairly faithfully reproduce the experimental trends. The accomplishment encouraged the simulation of further concentration trials whose experimental evidence was not available. The simulations aimed at investigating the modules performances for different applied pressures with the final objective of identifying a few design best cases. Two possible process alternatives were proposed: pure RO process and an integrated process RO + NF. Subsequent comparison of the alternatives’ preliminary design best-cases showed the two to be competitive.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES
The concept of module M on a ring A can be seen as a generalization of the concept of vector space V over a field K. In this work, we will present definitions, examples and results about modules, our main objective being to demonstrate the theorem of structures for Abelian groups that tells us that every finitely generated abelian group is the direct sum of cyclic subgroups.
O conceito de módulo M sobre um anel A pode ser visto como uma generalização do conceito de espaço vetorial V sobre um corpo K. Neste trabalho, apresentaremos definições, exemplos e resultados acerca de módulos, sendo o nosso objetivo principal demonstrar o teorema de estruturas para grupos abelianos que nos diz que todo grupo abeliano finitamente gerado é a soma direta de subgrupos cíclicos.

Várias pesquisas têm sido conduzidas no contexto de ensino e treinamento, sendo o desenvolvimento de módulos educacionais uma das atividades relevantes investigada. Neste trabalho são discutidos e estabelecidos mecanismos de apoio à atividade de modelagem de conteúdos e ao processo de desenvolvimento de tais módulos. Requisitos e perspectivas para a modelagem conceitual, instrucional e didática são identificadas. Uma abordagem integrada (AIM-CID) envolvendo diferentes aspectos associados à modelagem de conteúdos também é proposta. No nível conceitual, mapas conceituais estendidos são utilizados. No nível instrucional, é estabelecido o modelo HMBS/Instrucional. No nível didático, propõe-se o modelo HMBS/Didático. Quanto ao processo de desenvolvimento, atividades e tarefas sistemáticas são estabelecidas no contexto de um processo padrão para a elaboração de módulos educacionais. Investigam-se ainda aspectos associados às atividades de especialização e instanciação do processo padrão definido. Um modelo de maturidade de processos - CMM/Educacional - é proposto. Além disso, uma instância do processo padrão definido é aplicada no desenvolvimento de um módulo educacional no domínio de Teste de Software
Many research have been conducted regarding to education and learning. In this context, one of the relevant activities is the development of educational modules. In this work, we have discussed and investigated mechanisms to support the content modelling activity and the development process of such modules. Requirements and perspectives for conceptual, instructional and didactic modelling are identified. An integrated approach (IMA-CID) dealing with different perspectives related to the modelling content activity is also proposed. In the conceptual level, extended conceptual maps are applied. In the instructional level, the HMBS/Instructional model is established. In the didactic level, the HMBS/Didactic model is proposed. Regarding to the development process, systematic activities and tasks are established in the context of a standard process for the development of educational modules. Specialization and instantiation activities are also investigated. A maturity model - CMM/Educational - is proposed. Also, an instance of the defined standard process is applied on the development of an educational module for Software Testing knowledge domain

Submitted by Jéssica Ventura da Silva null (ventura_jessica24@hotmail.com) on 2018-03-12T21:07:06Z No. of bitstreams: 1 Jessica_Ventura Dissertaçao.pdf: 1678176 bytes, checksum: df62ed33ac2d6f5dcd5513fb137e1125 (MD5)
Approved for entry into archive by Claudia Adriana Spindola null (claudia@fct.unesp.br) on 2018-03-13T11:48:39Z (GMT) No. of bitstreams: 1 silva_jv_me_prud.pdf: 1678176 bytes, checksum: df62ed33ac2d6f5dcd5513fb137e1125 (MD5)
Made available in DSpace on 2018-03-13T11:48:39Z (GMT). No. of bitstreams: 1 silva_jv_me_prud.pdf: 1678176 bytes, checksum: df62ed33ac2d6f5dcd5513fb137e1125 (MD5) Previous issue date: 2018-02-23
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Com o objetivo de determinar o comportamento das raízes de alguns tipos de equações trinomiais, que aparecem em determinados problemas relacionados à Matemática Financeira, esta dissertação apresenta o estudo de resultados clássicos que determinam regiões do plano complexo onde os zeros de um determinado polinômio estão localizados, bem como o estudo de resultados específicos sobre a distribuição das raízes de equações trinomiais no plano complexo, de acordo com seus argumentos e módulos. Uma vez que, a grande aplicação dos resultados sobre trinômios está relacionada à determinação da taxa de juros I de séries uniformes de pagamentos antecipadas, postecipadas e diferidas, este trabalho também apresenta o estudo das funções financeiras que envolvem juros compostos. Assim, por meio de toda teoria apresentada, determinamos uma região anelar do plano complexo onde estão localizadas as raízes das equações trinomiais e quadrinomiais relacionadas a determinação da taxa de juros I. Além disso mostramos, sob certas condições, que as raízes das equações trinomiais são simples e determinamos setores do plano complexo que contém exatamente uma raiz destas equações trinomiais.
In order to determine the behavior of the roots of some kinds of trinomial equations, which appear in certain problems related to Financial Mathematics, this work presents the study of classical results that determine regions of the complex plane where the zeros of a given polynomial are located, as well as the study of specific results on the distribution of the roots of trinomial equations in the complex plane, according to their arguments and modules. Since the large application of the results on trinomials is related to the determination of the interest rate I of a uniform series of payments, this work also presents the study of financial functions involving compound interest. Then using all presented theory, we determine an annular region of the complex plane where are located the roots of the trinomial and quadrinomial equations related to the determination of the interest rate I. Furthermore we show, under certain conditions, that the roots of the trinomial equations are simple and we determine the sectors of the complex plane that contain exactly one root of these trinomial equations.
FAPESP: 2015/23752-3

The study about bi-Lipschitz equisingularity has been a very important subject in Singularity Theory in last decades. Many different approach have cooperated for a better understanding about. One can see that the bi-Lipschitz geometry is able to detect large local changes in curvature more accurately than other kinds of equisingularity. The aim of this thesis is to investigate the bi-Lipschitz geometry in an algebraic viewpoint. We define some algebraic tools developing classical properties. From these tools, we obtain algebraic criterions for the bi-Lipschitz equisingularity of some families of analytic varieties. We present a categorical and homological viewpoints of these algebraic structure developed before. Finally, we approach algebraically the bi-Lipschitz equisingularity of a family of Essentially Isolated Determinantal Singularities.
O estudo da equisingularidade bi-Lipschitz tem sido amplamente investigado nas últimas décadas. Diversas abordagens têm contribuído para uma melhor compreensão a respeito. Observa-se que a geometria bi-Lipschitz é capaz de detectar grandes alterações locais de curvatura com maior precisão quando comparada a outros padrões de equisingularidade. O objetivo desta tese é investigar a geometria bi-Lipschitz do ponto de vista algébrico. Definimos algumas estruturas algébricas desenvolvendo algumas propriedades clássicas. A partir de tais estruturas obtemos critérios algébricos para a equisingularidade bi-Lipschitz de algumas classes de famílias de variedades analíticas. Apresentamos uma visão categórica e homológica dos elementos desenvol- vidos. Finalmente abordamos algebricamente a equisingularidade de famílias de Singularidades Determinantais Essencialmente Isoladas.

Made available in DSpace on 2018-06-27T19:13:09Z (GMT). No. of bitstreams: 2 Mateus de Almeida Granada.pdf: 3764222 bytes, checksum: 6aa5fc982c1f166860f45a32bb6f402d (MD5) Mateus de Almeida Granada.pdf.jpg: 3341 bytes, checksum: d570d20438df18fb39c6c7dbb8cab3b3 (MD5) Previous issue date: 2011-12-12
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
The present work consists of an insertion proposal of current issues as Nanoscience and Nanotechnology in high school through the Modern and Contemporary Physics. In order to meet this purpose didactic modules were developed and applied that adapt to the school curricula and guidelines suggested by the National Curriculum Guidelines and also, at the same time, discuss topics of optical properties of materials. Thus, the material contributed to the presentation of valid and clear treatments about the interaction of radiation with the matter (subject), studying quantum aspects that relate to physical and chemical properties of nanomaterials. The didactic modules were implemented for a target public of seventy-three (73) senior High School students of the Military School in Santa Maria, Rio Grande do Sul. The material has its structure organized in the form of an electronic site, containing five virtual modules which include, mainly, dissertative-argumentative texts and media resources. The development of the didactic modules is anchored in learning meaningful of Ausubel, in which, the information must interact and anchor on the relevant concepts already existing in the cognitive structure of the student. For this purpose the construction of the material, as well as its application, had as basic structure of a initial problematization, organization of knowledge and application of knowledge, proposed by Delizoicov and Angotti. The evaluation of new acquired concepts in relation to the interaction of radiation with the matter (subject), by part of the students, allowed satisfactory results in teaching and learning of the proposed objectives. This evaluation was performed by the comparative method of conceptual maps. The conceptual maps showed that the material has established itself as an efficient methodology in the insertion of the optical properties of materials through Nanoscience.
O presente trabalho consiste em uma proposta de inserção de temas atuais como Nanociência e Nanotecnologia no Ensino Médio por meio da Física Moderna e Contemporânea. Para atender a esse propósito foram desenvolvidos e aplicados módulos didáticos que se adaptam aos currículos escolares e orientações sugeridas pelos Parâmetros Curriculares Nacionais e também, ao mesmo tempo, abordam tópicos de propriedades ópticas de materiais. Dessa forma, o material contribuiu para a apresentação de tratamentos válidos e claros a respeito da interação da radiação com a matéria, estudando aspectos quânticos que se relacionam com propriedades físicas e químicas de nanomateriais. Os módulos didáticos foram implementados para um público alvo de 73 alunos do terceiro ano do Ensino Médio do Colégio Militar da cidade de Santa Maria, no Rio Grande do Sul. O material tem sua estrutura organizada em forma de um sítio eletrônico, contendo cinco módulos virtuais que contemplam, principalmente, textos dissertativo-argumentativos e recursos de mídia. O desenvolvimento dos módulos didáticos esta ancorado na aprendizagem com significado de Ausubel, em que, a informação deve interagir e ancorar-se nos conceitos relevantes já existentes na estrutura cognitiva do aluno. Para tal intento a construção do material, bem como sua aplicação, teve como estrutura básica uma problematização inicial, organização do conhecimento e aplicação do conhecimento, propostos por Delizoicov e Angotti. A avaliação dos novos conceitos adquiridos em relação a interação da radiação com a matéria, por parte dos alunos, permitiram resultados satisfatórios no ensino e aprendizagem dos objetivos propostos. A referida avaliação foi realizada por método comparativo de mapas conceituais. Os mapas conceituais mostraram que o material firmou-se como uma metodologia eficiente na inserção de propriedades ópticas de materiais por meio da Nanociência.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES
This dissertation aims to study the quiver of r-tilting modules over an algebra of Artin A to obtain information about the Hasse diagram of the partially ordered set ( A; ) of r-tilting modules, as done in [8], and on certain vertices and paths, as found in [9]. For this, we start by studying the inclination theory where we look generalizations of the de nition of tilting modules and some important theorems, given by Miyashita in [15]. Done that, following Riedtmann and Scho eld in [14], we will de ne a quiver of r-tilting modules ~KA and a partially ordered set ( A; ), where we will verify that the underlying graph KA of ~KA is the Hasse diagram of ( A; ). Finally, we will study the local structure of ~KA, according [9]. Keywords:
Esta dissertação tem por objetivo o estudo da aljava de módulos r-inclinantes sobre uma álgebra de Artin A para se obter informações sobre o diagrama de Hasse do conjunto parcialmente ordenado de módulos r-inclinantes como feito em [8], e sobre determinados vértices e caminhos, como encontrado em [9]. Para isso, começamos estudando a teoria de inclinação onde buscamos generalizações da definição de módulos inclinantes e de alguns teoremas importantes, dadas por Miyashita em [15]. Feito isso, seguindo Riedtmann e Schofield em [14], definiremos uma aljava de médulos r-inclinantes ~KA e um conjunto parcialmente ordenado ( A; ), onde verificaremos que o grafo subjacente KA de ~KA e o diagrama de Hasse de ( A; ). Por fim, faremos um estudo da estrutura local de ~KA, de acordo com [9].

Submitted by Leonardo Cavalcante (leo.ocavalcante@gmail.com) on 2018-05-02T14:33:48Z No. of bitstreams: 1 Arquivototal.pdf: 975275 bytes, checksum: 795ee7a9e899067064c0ca78e6eb14d3 (MD5)
Made available in DSpace on 2018-05-02T14:33:48Z (GMT). No. of bitstreams: 1 Arquivototal.pdf: 975275 bytes, checksum: 795ee7a9e899067064c0ca78e6eb14d3 (MD5) Previous issue date: 2017-07-27
Conselho Nacional de Pesquisa e Desenvolvimento Científico e Tecnológico - CNPq
In the present work we will study a generalization of the classical theorems of Serre and Swan. We will determine the class of ringed spaces (X;OX), so that the category of locally free sheaves of bounded rank over a topological space X is equivalent to the category of (X;OX)-modules nitely generated projective.
No presente trabalho estudaremos uma generalização dos teoremas clássicos de Serre e de Swan. Determinaremos a classe dos espaços anelados (X;OX), de modo que a categoria dos feixes localmente livres de posto limitado sobre um espaço topológico X seja equivalente a categoria dos (X;OX)-módulos projetivos nitamente gerados.

Submitted by ANA KARLA PEREIRA RODRIGUES (anakarla_@hotmail.com) on 2017-08-16T11:59:48Z No. of bitstreams: 1 arquivototal.pdf: 1814472 bytes, checksum: 50307319d745b002230f3dadb2039246 (MD5)
Made available in DSpace on 2017-08-16T11:59:48Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 1814472 bytes, checksum: 50307319d745b002230f3dadb2039246 (MD5) Previous issue date: 2016-08-09
Conselho Nacional de Pesquisa e Desenvolvimento Científico e Tecnológico - CNPq
In this dissertation, we study the so-called totally re°exive modules and the notion of Goren-stein dimension over Noetherian commutative rings. The main purpose is to prove the important Auslander-Bridger formula and the Gorenstein theorem, which will allow us to characterize Goren-stein local rings through total re°exivity, as well as to provide su±cient conditions for the property of G-regularity. We furnish, moreover, interesting examples and counterexamples.
Nesta disserta»c~ao, estudamos os chamados m¶odulos totalmente re°exivos e a no»c~ao de dimens~ao de Gorenstein sobre an¶eis comutativos Noetherianos. A principal ¯nalidade ¶e demonstrar a impor- tante f¶ormula de Auslander-Bridger e o Teorema de Gorenstein, o que permitir¶a caracterizar an¶eis locais Gorenstein atrav¶es de re°exividade total, bem como apresentar condi»c~oes su¯cientes para a propriedade de G-regularidade. Fornecemos, tamb¶em, exemplos e contra-exemplos interessantes.

Motivated by many financial insights, we provide dual representation theorems for quasiconvex conditional maps defined on vector space or modules and taking values in sets of random variables. These results match the standard dual representation for quasiconvex real valued maps provided by Penot and Volle. As a financial byproduct, we apply this theory to the case of dynamic certainty equivalents and conditional risk measures.

A concepção arquitetônica dos templos dóricos gregos é estudada na perspectiva da Arqueologia da Arquitetura stricto sensu. Verificamos a relevância e o papel que teve a aplicação da geometria e da aritmética como recursos técnicos e metodológicos para o desenvolvimento do projeto do templo dórico grego no século V a.C., visando esclarecer e estabelecer vínculos entre tais ramos da matemática e a lógica subjacente que norteou os arquitetos, tanto em projeto como nas aplicações precisas em obra. Para isso, abordarmos os fundamentos científicos da arquitetura grega a partir da análise de 10 templos clássicos hexastilos (configuração canônica da ordem dórica) fazendo um balanço crítico sobre o alcance e o limite das teorias modernas que desenvolveram modelos de interpretação para o projeto do templo dórico grego. Adotamos como ponto de partida, e referência fundamental, os artigos publicados por J. J. Coulton em meados da década de setenta, no periódico The Annual of the British School at Athens, e vamos sistemáticamente atualizando o debate apoiado nas discussões mais recentes.
The Architectural conception of the Greek Doricos temples has been studied in the perspective of the Archaeology of the Architecture stricto sensu. We had verified the role and the relevance that the geometry and arithmetic applications such as the technical and methodology resources for the design development of the Greek Doric temple in V century B.C., in order to clarify and to establish links between mathematics branches and the underlying logic that had been guiding the architects, as much in projects as in the accuracy applications for the building constructions. In a way to approach the Greek architecture scientific fundamentals from the analysis of 10 hexastilos classic temples (canonic configuration of the Doric order) making a critical balance on the limit and the reach of the modern theories that had developed interpretation models for the design of the Greek Doric temple. We adopt as basic reference and starting point, the articles published for J.J. Coulton in middle of the seventy decade, in the periodic The Annual of the British School at Athens, and systematically go bringing up to date the debate supported in the most recent discussions.

Made available in DSpace on 2018-06-27T19:12:53Z (GMT). No. of bitstreams: 3 Raquel Izaguirre de Oliveira.pdf.txt: 303641 bytes, checksum: 8a11df047b47ac40f103c9816fb87311 (MD5) Raquel Izaguirre de Oliveira.pdf.jpg: 3530 bytes, checksum: e038faa4d558093038938b0774e9137a (MD5) Raquel Izaguirre de Oliveira.pdf: 4247642 bytes, checksum: fa0cd36c36a3017e38c8bdef57970664 (MD5) Previous issue date: 2013-03-25
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
O presente trabalho consiste na elaboração de uma proposta para o ensino de Eletrodinâmica em um curso Técnico em Agropecuária integrado ao Ensino Médio, através de módulos didáticos que seguem orientações sugeridas pelos Parâmetros Curriculares Nacionais. Com uma metodologia que visa preparar o aluno para uma vida ativa, onde ele possa ser criativo e reflexivo, fazendo a ligação entre a sua profissão e o ensino, de forma que possa realmente interferir e transformar a realidade socioeconômica da sua região, vinculando a aprendizagem à sua realidade. Os módulos didáticos foram elaborados de acordo com a metodologia dos Três Momentos Pedagógicos (TMP), propostos por Delizoicov e Angotti (1991). Como referência de ensino, bem como a aplicabilidade da proposta, esse trabalho foi baseado no currículo integrado do Instituto Federal de Educação, Ciência e Tecnologia Farroupilha (IF Farroupilha), câmpus de São Vicente do Sul. A implementação de algumas das atividades propostas ocorreu em uma turma de 31 alunos do terceiro ano do referido instituto. O desenvolvimento do material está ancorado na aprendizagem com significado de David Ausubel, em que, a informação deve interagir e ancorar-se nos conceitos relevantes já existentes na estrutura cognitiva do aluno, ou seja, os conhecimentos prévios, adquiridos durante sua relação cotidiana com o mundo e a interação destes com os conhecimentos novos. Assim, o material foi construído visando facilitar a articulação entre esses conhecimentos. A avaliação da proposta se deu através de um questionário que serviu como pré-teste para sondagem dos conhecimentos prévios dos alunos e foi aplicado no final como pós-teste, a fim de detectar se houve uma aprendizagem significativa nos alunos. Também houve relatos, comentários e sugestões de forma livre e anônima por parte dos alunos, sobre o método proposto. Os resultados obtidos mostraram que houve uma evolução conceitual em relação aos conceitos físicos estudados e que os alunos aprovam esse tipo de método de ensino-aprendizagem que relaciona os conteúdos estudados em sala com a sua formação profissional.

Submitted by Leonardo Cavalcante (leo.ocavalcante@gmail.com) on 2018-05-02T14:09:22Z No. of bitstreams: 1 Arquivototal.pdf: 978771 bytes, checksum: bf0c05c8da5e986a77b6215a2235ab5e (MD5)
Made available in DSpace on 2018-05-02T14:09:22Z (GMT). No. of bitstreams: 1 Arquivototal.pdf: 978771 bytes, checksum: bf0c05c8da5e986a77b6215a2235ab5e (MD5) Previous issue date: 2017-04-27
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES
At the end of the 60s, Andr e and Quillen introduced a cohomology theory for commutative algebras, which today is called Andr e-Quillen's cohomology. In this work, we will study K ahler di erential functor, which is here seen as a derived functor (in a nonabelian context), which connects the categories: simpli ed R-algebras and simpli ed R-modules. In the rst, through simplicial resolutions, we will notice that they characterize certain objects and diagrams of this model category, which in turn, are preserved by K ahler di erential functor. In addition, we will approach the complex cotangent of a R-algebra, and through it, de ne the homology and cohomology of Andr e-Quilen, and of course, expose some properties of these.
No nal da década de 60, André e Quillen introduziram uma teoria de cohomologia para álgebras comutativas, que hoje recebe o nome de cohomologia de André-Quillen. Neste trabalho, estudaremos o funtor de diferenciais de K ahler, que aqui é visto como funtor derivado (em um contexto não abeliano), que conecta as categorias: R-álgebras simpliciais e R-m odulos simpliciais. Na primeira, atrav es das resolu c~oes simpliciais, notaremos que estas caracterizam certos objetos e diagramas desta categoria modelo, que por sua vez, s~ao preservados pelo funtor de diferenciais de K ahler. Al em disso, abordaremos o complexo cotangente de uma R- algebra, e atrav es dele, de nir a homologia e cohomologia de André-Quillen, e naturalmente, expor algumas propriedades destas.

Mestrado em Engenharia Eletrónica e Telecomunicações
Nos últimos anos tem-se verificado uma clara evolução na implementação e desenvolvimento da fibra ótica até ao consumidor final. As redes Fiber-tothe- Home (FTTH) foram desenvolvidas e normalizadas em todo o mundo, no entanto, a necessidade de largura de banda pelos utilizadores e pelos novos servi cos obrigou esta tecnologia a evoluir, desde as Gigabitcapable Passive Optical Networks (GPON) e 10 Gigabit-capable Passive Optical Network (XG-PON) para a Next Generation Passive Optical Network 2 (NG-PON2), que vai começar agora a sua implantação. Para garantir a interoperabilidade entre operadores dentro da mesma tecnologia, foram desenvolvidas normas para os componentes optoelectrónicos onde as suas interfaces e mecanismos de comunicação são transparentes aos aparelhos que estão distribuídos ao longo da rede permitindo assim a um operador utilizar produtos de diversos vendedores sem ter que adaptar a sua solução. Para as redes de acesso Passive Optical Networks (PON) de futura geração estes componentes têm que ser desenvolvidos, desde os componentes óticos incluídos nos transrecetores optoelectrónicos até os sistemas eletrónicos de controlo dos mesmos. O aumento da procura de optoelectrónica para tecnologias futuras cria uma necessidade de soluções eletrónicas que possibilitem testar a sua operação e validar resultados e conformidades com as normas estabelecidas. Para transrecetores de nova geração é relevante a criação de soluções que permitam testar a sua emissão e receção a altos ritmos de dados, bem como a reprogramação manual ou automática dos seus paramentos eletrónicos, para otimização dos pontos de operação, durante o seu processo de fabrico. Neste trabalho, apresentam-se componentes óticos de nova geração e introduz-se módulos inovadores no mercado que permitam de forma rápida e comoda programar, testar e caracterizar componentes óticos. Através dos módulos desenvolvidos, procede-se à caracterização de componentes para redes de acesso de próxima geração em arquitetura NG-PON2.
Over the recent past, there has been a clear evolution in the development and implementation of ber optics to the end user. FTTH networks were developed and normalized across the world, but the bandwidth requirements by users and services demanded that this technology evolved, from GPON to XG-PON, and now to NG-PON2, which is now starting its implementation. To ensure the functionality of a technology across di erent operators, standards for optoelectronic components were developed, where their interfaces and communication mechanisms are transparent to the devices distributed in the networks, allowing an operator to use products from di erent vendors without the need to change the solution. For next generation PON access networks, these components need to be developed, from the optical components in the transceivers to their electrical control systems. The rising demand for optoelectronics in future technologies creates a need for electronic solutions in testing operation performance, results validation, and compliance with established standards. For next generation transceivers, it is relevant to create solutions that allow to test both transmission and reception ate high data rates, allow manual or automatic reprogramming of electronic parameters, for operation point optimization, during the manufacturing process. On this work, next generation optical components are presented and innovative modules that allow quick and easy programing, testing and characterization of optical components are introduced. Using the developed modules, a characterization is made on state of the art access network components for the NG-PON2 architecture.

Nas linhas de montagens industriais, a fim de atender os requisitos de mercado e de ciclo de vida dos produtos, os requisitos de manufatura e as novas tecnologias presentes nos equipamentos indicam a necessidade de reconfiguração e reprogramação do fluxo de processos de forma cada vez mais frequente. Atualmente, uma das opções para implantar um sistema de manufatura flexível, capaz de reagir às mudanças que ocorrem no processo de fabricação, consiste na utilização de tecnologias que forneçam maior flexibilidade, capacidade de reutilização e menor custo. Neste contexto, os robôs baseados em módulos mecatrônicos podem ser uma alternativa em relação aos manipuladores convencionais, pois apresentam uma estrutura cinemática flexível, podendo se adaptar às mudanças das linhas de produção, nas indústrias de manufatura. O presente trabalho apresenta uma proposta para o desenvolvimento de módulos mecatrônicos para a montagem de robôs manipuladores modulares, baseada em um procedimento sequencial composto das seguintes etapas: (a) elaboração do projeto mecânico modular; (b) projeto dos sistemas eletrônicos e de atuação para cada módulo; (c) definição dos agentes mecatrônicos; e (d) descrição dos modelos matemáticos e os algoritmos de comunicação entre módulos mecatrônicos. Nesta pesquisa apresenta-se um estudo no qual os módulos mecatrônicos utilizam energia de origem pneumática e são constituídos por unidades independentes utilizadas na formação de estruturas robotizadas as quais permitem a montagem de diferentes arquiteturas. Um estudo de caso é apresentado para ilustrar a construção de um robô modular cartesiano. Este robô é construído por meio de acoplamentos de módulos mecatrônicos e gerenciado pela associação dos agentes mecatrônicos presentes no sistema, os quais equacionam a cinemática da estrutura formada, planejam a trajetória a ser executada e disponibilizam informações que podem ser utilizadas para o controle, supervisão e proteção do sistema por exemplo. A arquitetura proposta permite a reconfiguração dos recursos de hardware e software, de forma que todos os módulos do robô podem ser reorganizados e/ou substituídos, dependendo da função, aplicação para as quais se destinam.
In industrial manufacturing lines, in order to meet the market requirements and life cycle of manufactured products, the manufacturing requirements and the present of new technologies in equipment, indicate the need for reconfiguration and reprogramming processes, which are becoming more frequent. Currently, one of the options to deploy a flexible manufacturing system that is capable of reacting to changes in the manufacturing process is the use of technologies that provide greater flexibility, reusability and lower cost. In this context, the robots based on mechatronic modules can be an alternative to conventional manipulators, since they have a flexible kinematic structure, which can adapt to the changes in production lines in manufacturing industries. This paper presents a proposal for the development of mechatronic modules for assembly robots modular manipulators, based on a sequential procedure consists of the following steps: (a) Develop a modular mechanical design; (b) design electronic systems and operations for each module; (c) definition of mechatronic agents; and (d) a description of mathematical models and algorithms of the communication between mechatronic modules. This research presents a study where the mechatronic modules use pneumatic energy and consist of independents units used in the formation of robotic structures, thus allowing the assembly of different architectures. In a case study, the construction of a modular Cartesian robot is presented. This robot is built by mounting the mechatronic modules and is managed by mechatronic agents present in the system (Multi-Agent System). This system obtains the kinematic equations of the formed structure, realize the path planning, and provide information that can be used for the control, like supervision and protection system for example. The proposed architecture allows reconfiguration of hardware and software resources, so that all robot modules can be rearranged and/or replaced, depending on the function or, the final application.

Nas linhas de montagens industriais, a fim de atender os requisitos de mercado e de ciclo de vida dos produtos, os requisitos de manufatura e as novas tecnologias presentes nos equipamentos indicam a necessidade de reconfiguração e reprogramação do fluxo de processos de forma cada vez mais frequente. Atualmente, uma das opções para implantar um sistema de manufatura flexível, capaz de reagir às mudanças que ocorrem no processo de fabricação, consiste na utilização de tecnologias que forneçam maior flexibilidade, capacidade de reutilização e menor custo. Neste contexto, os robôs baseados em módulos mecatrônicos podem ser uma alternativa em relação aos manipuladores convencionais, pois apresentam uma estrutura cinemática flexível, podendo se adaptar às mudanças das linhas de produção, nas indústrias de manufatura. O presente trabalho apresenta uma proposta para o desenvolvimento de módulos mecatrônicos para a montagem de robôs manipuladores modulares, baseada em um procedimento sequencial composto das seguintes etapas: (a) elaboração do projeto mecânico modular; (b) projeto dos sistemas eletrônicos e de atuação para cada módulo; (c) definição dos agentes mecatrônicos; e (d) descrição dos modelos matemáticos e os algoritmos de comunicação entre módulos mecatrônicos. Nesta pesquisa apresenta-se um estudo no qual os módulos mecatrônicos utilizam energia de origem pneumática e são constituídos por unidades independentes utilizadas na formação de estruturas robotizadas as quais permitem a montagem de diferentes arquiteturas. Um estudo de caso é apresentado para ilustrar a construção de um robô modular cartesiano. Este robô é construído por meio de acoplamentos de módulos mecatrônicos e gerenciado pela associação dos agentes mecatrônicos presentes no sistema, os quais equacionam a cinemática da estrutura formada, planejam a trajetória a ser executada e disponibilizam informações que podem ser utilizadas para o controle, supervisão e proteção do sistema por exemplo. A arquitetura proposta permite a reconfiguração dos recursos de hardware e software, de forma que todos os módulos do robô podem ser reorganizados e/ou substituídos, dependendo da função, aplicação para as quais se destinam.
In industrial manufacturing lines, in order to meet the market requirements and life cycle of manufactured products, the manufacturing requirements and the present of new technologies in equipment, indicate the need for reconfiguration and reprogramming processes, which are becoming more frequent. Currently, one of the options to deploy a flexible manufacturing system that is capable of reacting to changes in the manufacturing process is the use of technologies that provide greater flexibility, reusability and lower cost. In this context, the robots based on mechatronic modules can be an alternative to conventional manipulators, since they have a flexible kinematic structure, which can adapt to the changes in production lines in manufacturing industries. This paper presents a proposal for the development of mechatronic modules for assembly robots modular manipulators, based on a sequential procedure consists of the following steps: (a) Develop a modular mechanical design; (b) design electronic systems and operations for each module; (c) definition of mechatronic agents; and (d) a description of mathematical models and algorithms of the communication between mechatronic modules. This research presents a study where the mechatronic modules use pneumatic energy and consist of independents units used in the formation of robotic structures, thus allowing the assembly of different architectures. In a case study, the construction of a modular Cartesian robot is presented. This robot is built by mounting the mechatronic modules and is managed by mechatronic agents present in the system (Multi-Agent System). This system obtains the kinematic equations of the formed structure, realize the path planning, and provide information that can be used for the control, like supervision and protection system for example. The proposed architecture allows reconfiguration of hardware and software resources, so that all robot modules can be rearranged and/or replaced, depending on the function or, the final application.

The purpose of this work is to study in deep the transition phenomena of IGBTs in order to evaluate different optimization strategies for losses reduction and propose a novel technique. In power applications a particular attention must be taken to such phenomena as commutation losses, overcurrents during the turn-ON and overvoltage at the turn-OFF of the devices. These phenomena are connected to non ideal behavior of real devices and stray circuit parameters. Steep profiles of current lead to large ElectroMagnetic Interference (EMI) and overvoltages, while rapid variations of the voltage can produce phenomena of "latch-up" in single IGBT or unwanted commutations. On the other hand, slow commutations are characterized by low values of dv/dt and di/dt, causing excessive losses in those power application during commutations. Therefore, it is essential to face the issue with opposite requirements at the design stage obtaining optimal tradeoff.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
The purpose of this work is to study the relationships between admissible pairs, systems admissible and bialgebras in the category of Yetter-Drinfeld modules, as well as some properties of the Hopf algebra associated (via bosonization) to an admissible pair. We end this dissertation with a family of examples of admissible pairs.
O objetivo deste trabalho é estudar as relações entre pares admissíveis, sistemas admissíveis e biálgebras na categoria dos módulos de Yetter-Drinfeld, bem como algumas propriedades da álgebra de Hopf associada (via bosonização) a um par admissível. Finalizamos esta dissertação com uma família de exemplos de pares admissíveis.

A concepção arquitetônica dos templos dóricos gregos é abordada na interface da análise entre as fontes textuais e a cultura material. Verificamos a relevância e o papel que tiveram a \"elegância\" e a \"sutileza\", segundo Vitrúvio, no modus operandi dos arquitetos gregos, como recursos técnicos e metodológicos para o desenvolvimento do projeto do templo dórico grego entre o século V-II a.C. Visamos esclarecer e estabelecer vínculos entre esses conceitos relativamente subjetivos e a lógica subjacente que norteou os arquitetos, tanto em projeto como nas aplicações precisas em obra, verificando assim a Hipótese Modular proposta por Mark Wilson Jones, para a concepção dos templos dóricos gregos. Para isso, abordarmos os fundamentos científicos da arquitetura grega a partir da análise de dois grupos de templos: o Grupo 1, composto de oito templos hexastilos, 6 x 13, do século V a.C. e o Grupo 2, composto de nove templos hexastilos perípteros de configuração de colunata lateral variada, datados entre o IV-II século a.C. Adotamos como ponto de partida da pesquisa, e referência fundamental, os artigos publicados por Mark Wilson Jones em 2001 e 2006, respectivamente, nos periódicos: American Journal of Archaeology e Nexus. Procuramos sistematicamente atualizar o debate apoiados nas discussões mais recentes e em nossas próprias análises e conclusões.
This thesis addresses the conception of Greek Doric Temple Design and architecture found in the analysis of and interface between textual sources and material culture. This thesis notes the importance of and the role that \"elegance\" and \"subtlety\" played, according to Vitruvius, in the modus operandi of Greek architects, including technical and methodological resources in the development of Greek Doric temples between the fifth and second centuries BC. This work aims to clarify and establish links between these relatively subjective concepts and the subjacent logic that guided these architects, both in design as well as in their precise application in construction, thus verifying the Modular hypothesis proposed by Mark Wilson Jones. Towards this end, this thesis addresses the scientific foundations of Greek architecture by analyzing two groups of temples: Group 1, comprised of eight 6 x 13 hexastyle temples from the fifth century BC and Group 2, comprised of nine hexastyle peripteral temples in varied peristyle lateral configuration, dated between the fourth and second centuries BC. The starting point of and the fundamental reference for the research are scholarly articles published by Mark Wilson Jones in 2001 and 2006 in The American Journal of Archaeology and Nexus, respectively. This work seeks to systematically update the latest debates and discussions surrounding this topic via the author\'s own analysis and subsequent conclusions.

The phenomena causing the production and spreading of unwanted electromagnetic emissions arising from electrical or electronic devices, apparatuses and systems have been widely investigated over the last decades and reported in the relevant scientific literature. As a consequence of this, nowadays, the electromagnetic compatibility techniques, which limit the undesirable effects of these emissions, are very popular and of ever-increasing importance both in environmental and industrial contexts. The present thesis focuses on conducted electromagnetic emissions generated by power electronic modules making use of active devices operating with high switching frequency, which today are commonly utilized in a lot of sectors: aerospace, commercial, industrial, residential, telecommunication, transportation, utility systems. The onerous operating conditions of such modules, caused by high values of voltages and electric currents and very short switching times of active devices, make essential, in order to reach an efficient and economic use of materials and components, as well as a reliable and durable use of devices themselves, to carry out an accurate preliminary analysis of the mechanisms resulting in unwanted electromagnetic couplings between the various module components. Indeed, due to the unavoidable presence of parasitic inductances and capacitances and of extremely steep waveforms, electrical signals frequently originate inside the modules with high peak values and exasperated temporal dynamics, which strongly restrict the field of application of the modules themselves. For the sake of concreteness, the analysis of above described phenomena has been worked out on a power electronic module prototype made kindly available by STMicroelectronics, one of the world-leading companies in such field. After a first phase during of which have been individuated and computed the values of the most critical parasitic elements, by means of a theoretical investigation supported by suitable software tools, attention has been paid to how to reduce such values and improve the overall performance of the module. In this connection, some useful techniques to reduce significantly the undesirable emissions have been individuate and successfully applied to the prototype, so obtaining an optimized module from the electromagnetic emission point of view.

The IFMIF (International Fusion Material Irradiation Facility) project aim is to build a facility for the mechanical characterization of material that will constitute the wall of the nuclear reactor for DEMO (DEMOnstration power plant). The complexity of this facility, containing numerous components with peculiar specifications, requires the development of a preliminary stage for the engineeristic evaluation that will led to outline the framework of the activities, the so called EVEDA (Engineering Validation Engineering Design Activities) phase, including the LIPAc prototype construction that involve many research institutes around the world each one has in charge the realization of a line components. The description of the IFMIF project and also each contribution of the participating research institutes are briefly reported on chapter 1. Such facility require the realization of a RFQ four-vane particle accelerator, composed of 18 modules, whose part of mechanical design and construction has been entrusted respectively to mechanical design office and workshop of the I.N.F.N. Padova Unit (Istituto Nazionale di Fisica Nucleare). Since the mechanical design of the accelerator ha almost completed, we faced on the production covering over all metrological quality control phases. Metrologic control and qualification stages are strictly related to the cavity behaviour therefore we focus our attention to its working principle. Thus, in the second chapter it has been summarised the basics to understand the basic working principles of such machines, the main parameter affecting their performances and finally the main geometrical parameter of the accelerator concerned. The most critical issues arise from the production concerning the brazing process which does not permit adjustment except with re-brazing causing a strong deterioration of the mechanical properties of the copper components. It should be mentioned that brazing turned out to be an uncertainty source for the quality of the pieces , therefore, part of the activities have been carried out on the resolution of such problems. The possible causes of defect on brazed geometries have been found and one-dimensional considerations about thermal expansion as well as 3d thermo-structural simulation confirm all the statements. Such problematics has been reported on third chapter which, moreover, consists on their resolutions: the design of a new brazing cycle with an intermediate plateau. All the remaining modules are then brazed with this new cycle that permitted the disappearance of the brazing distortion. This confirms the reliability of the production phases and methods for the obtainments of modules respecting the project specifications. The quality control of the modules include: vacuum tightening test of the cavity, the coolant circuits seal test, Ultrasonic Test (UT) of the brazed joints, dimensional inspection using a CMM (Coordinate Measuring Machine) and Radio-Frequency (RF) test that identifies the electromagnetic behaviour of the single modules. These two last quality controls are strictly correlated each other in such a way that the deviations from the nominal dimensions could be used to predict the electromagnetic ones. Therefore in the last chapter, along with descriptions of the production phases and their metrological controls, it exposes a method for predicting the frequency deviation based on the deviations of measurements. The method validation is done thank to the comparison between metrological control results and those of the RF test. To sum up, the first chapter talks about the IFMIF project, its purpose and its main components; the second summarizes the principle of operation of the four-vane RFQ and describes the main parameters of the one used for the project IFMIF / EVEDA; the third introduces the basic concepts of the brazing process, the identification of defects and determining causes by means of a thermal-structural simulation and finally outlines a new brazing cycle; the last chapter describes the main stages of production, the metrological control between them, culminating in an metrological characterization method to predict the electromagnetic behaviour of the cavity.
Il progetto IFMIF (International Fusion Material Irradiation Facility) prevede la costruzione di un impianto per la caratterizzazione meccanica dei materiali candidati a costituire la parete del reattore a fusione nucleare per il progetto DEMO. La complessità di questo impianto, con numerosi con peculiari specifiche, richiede lo sviluppo di una fase preliminare di validazione ingegneristica e che porterà a delineare il quadro delle attività, la cosiddetta fase EVEDA (Engineering Validation Engineering Design Activities) , che include la costruzione di un prototipo di linea acceleratrice LIPAc che coinvolge più enti di ricerca sparsi nel mondo e ad ognuno è affidato il compito della realizzazione di un componente della linea. La descrizione del progetto IFMIF nonché ciascun contributo degli istituti di ricerca partecipanti vengono riportati brevemente nel capitolo 1. Tale impianto richiede la realizzazione di un acceleratore di tipo RFQ four-vane, composto da 18 moduli, la cui progettazione meccanica e parte della produzione è affidata rispettivamente all’ufficio tecnico di progettazione e all’officina meccanica presso la Sezione di Padova dell’ I.N.F.N.. Siccome la progettazione meccanica dell’acceleratore era quasi finita, ci si è affacciati alla produzione e le relative fasi di controllo e qualifica metrologica dei componenti. I controlli e le qualifiche di tipo metrologico sono strettamente correlati al comportamento della cavità pertanto si è data particolare attenzione ai principi di funzionamento della stessa. Nel secondo capitolo quindi si riassumono le nozioni necessarie per comprendere il principio di funzionamento di tali macchine, i parametri che più influiscono sulle prestazioni ed infine le fondamentali caratteristiche geometriche della cavità. La criticità maggiore nella produzione si ha col processo di brasatura che non permette correzioni se non con ri-brasatura e forte deterioramento delle caratteristiche meccaniche dei componenti in rame. Va detto che tale processo si è rilevato fonte di incertezza per la qualità di manufatti per cui parte delle attività sono state spese nella risoluzioni di tali problematiche. Osservando i difetti dei componenti brasati se ne sono individuate le cause, la cui conferma vien data da considerazioni basate sui coefficienti di espansione termica ed infine da una simulazione termo-strutturale. Tali problematiche si sono riportate nel capitolo 3 che peraltro contiene la loro risoluzione: la progettazione di un nuovo ciclo di brasatura con plateau intermedio. Tutti i moduli restanti quindi si sono brasati con tale ciclo permettendo la scomparsa dei difetti. Questo conferma l’affidabilità delle fasi di produzione e dei metodi per l’ottenimento di manufatti che rispettano le specifiche di progetto. I controlli di qualità dei moduli comprendono: tenuta a vuoto della cavità, tenuta in pressione dei canali di raffreddamento, controlli ultrasuoni (UT) dei giunti brasati, misure metrologiche con l’uso di una CMM (Coordinate Measuring Machine) e test di Radio-Frequenza (RF) che identifica il comportamento elettromagnetico del singoli moduli. Questi ultimi due controlli sono strettamente legati tra loro a tal punto che le deviazioni della geometria nominale possono predirne con il comportamento elettromagnetico. Per tanto nell’ultimo capitolo, insieme alla descrizione delle fasi di produzione e ai relativi controlli metrologici, espone un metodo per la predizione della deviazione in frequenza basato sulle deviazione delle misure. La conferma del metodo viene dal confronto dei risultati metrologici e quelli ottenuti mediante test in Radio Frequenza. Ricapitolando, il primo capitolo parla del progetto IFMIF, del suo scopo è dei suoi componenti; il secondo riassume il principio di funzionamento degli RFQ four-vane e descrive le principali parametri di quello usato per il progetto IFMIF/EVEDA;il terzo introduce i concetti fondamentali del processo di brasatura, l’identificazione dei difetti e delle loro cause mediante una simulazione termo-strutturale e infine delinea un nuovo ciclo di brasatura; l'ultimo capitolo descrive le principali fasi della produzione, il controllo metrologico tra di esse e si conclude con un metodo di caratterizzazione metrologica per prevedere il comportamento elettromagnetico della cavità.

This master work was focused on modelling and investigation of a photovoltaic module which operates in non-uniform solar irradiance and temperature changes which is typical to Lithuanian climate. 60 polycrystalline silicon cells were used to model photovoltaic module. Matlab®/Simulink® was used for modelling and calculating the whole system. To generate solar insolation curve, the latitude, longitude of the geographic place and a number of days in a year have to be selected. Buck-boost DC-DC converter and hill-climbing maximum power point tracking algorithm was used to produce maximum power point of the photovoltaic module. Modeled system has reached 93.95 % of maximum power from the photovoltaic module. Structure: introduction, review of maximum power point algorithms, system modelling, research results, conclusions, references. The thesis consists of: 60 pages, 41 figures, 16 tables, 37 references. Appendixes included.
Šiame magistro darbe buvo sumodeliuotas ir ištirtas fotovoltinio modulio veikimas, veikiant Lietuvoje būdingiems saulės apšvietos ir temperatūros pokyčiams. Fotovoltinį modulį sudaro 60 polikristalinių silicio celių sujungtų nuosekliai sistema. Modeliavimui ir skaičiavimas atlikti buvo naudojamas Matlab®/Simulink® programinės įrangos paketas. Įvedus vietos ilgumą, platumą ir pasirinkus metų dieną sugeneruojama saulės apšvietos kreivė paros bėgyje. Išgauti maksimalią galią iš fotovoltinio elemento buvo pasirinkta „buck-boost“ tipo įtampos keitiklis ir „Kalno-kilimo“ didžiausios galios taško algoritmas. Naudojant pasirinkto tipo įtampos keitiklį ir algoritmą galima pasiekti iki 93,95 % maksimalios galios. Darbą sudaro 7 dalys: įvadas, maksimalios galios algoritmų literatūros apžvalga, sistemos modeliavimas, maksimalios galios algoritmo sudarymas, rezultatai, išvados, literatūros sąrašas. Darbo apimtis 60 puslapiai, 2 priedai, 41 iliustracijų 16 lentelių, 37 bibliografiniai šaltiniai.

Submitted by FERNANDO GASPAROTTO DA SILVA null (fernando.gaspt@hotmail.com) on 2017-09-13T20:17:28Z No. of bitstreams: 1 Gasparotto da Silva, F. - Estrutura e estabilidade de módulos de persistência.pdf: 1909578 bytes, checksum: 4ee1ae3d4306638fe4afbf721614e688 (MD5)
Approved for entry into archive by Luiz Galeffi (luizgaleffi@gmail.com) on 2017-09-15T13:38:44Z (GMT) No. of bitstreams: 1 silva_fg_me_sjrp.pdf: 1909578 bytes, checksum: 4ee1ae3d4306638fe4afbf721614e688 (MD5)
Made available in DSpace on 2017-09-15T13:38:44Z (GMT). No. of bitstreams: 1 silva_fg_me_sjrp.pdf: 1909578 bytes, checksum: 4ee1ae3d4306638fe4afbf721614e688 (MD5) Previous issue date: 2017-08-14
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
O intuito deste trabalho é de integrar os aspectos aplicado e teórico da Homologia Persistente, uma ferramenta popular da Topological Data Analysis (TDA). Para isso, são apresentados e demonstrados os resultados fundamentais da teoria embasada na topologia algébrica que permitem o desenvolvimento de algoritmos e paradigmas computacionais para obter diagramas de persistência. Dessa forma, iniciaremos explorando como decodificar as informações contidas em um módulo de persistência, entendendo os conceitos de multiconjuntos, módulos de persistência e cálculos Quiver. Em seguida, o caminho contrário será explorado, onde os dados são codificados em diagramas de persistência a fim de extrair suas características topológicas, aprofundando os conceitos de funções de Morse, Homologia Persistente, diagramas de persistência, dualidade e simetria, bem como estabilidade. Por último, encerramos demonstrando duas possíveis aplicações da teoria no âmbito computacional no campo da Biologia.
The goal of this work is to integrate applied and theoretical aspects of Persistence Homology, a popular tool in Topological Data Analysis (TDA). For this, we present and prove fundamental theoretical results based on algebraic topology, which allow us to develop algorithms and computational paradigms to obtain persistence diagrams. In this way, we start exploring how to decode the information contained in a persistence module, understanding the concepts of multiset, persistence modules and Quiver alculations. Then, the opposite path will be explored, where the data are encoded in persistence diagrams in order to extract their topological characteristics, going deep into the concepts of Morse functions, persistent homology, persistence diagrams, duality and symmetry, as well as stability. Finally, we conclude with two possible applications, one from computational theory, and the second one in the field of biology.
CNPq: 135622/2015-8

Submitted by ANA KARLA PEREIRA RODRIGUES (anakarla_@hotmail.com) on 2017-08-11T16:01:13Z No. of bitstreams: 1 arquivototal.pdf: 1341956 bytes, checksum: 725d00067ec252af7f139395f2803b1b (MD5)
Made available in DSpace on 2017-08-11T16:01:13Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 1341956 bytes, checksum: 725d00067ec252af7f139395f2803b1b (MD5) Previous issue date: 2015-12-15
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES
This work develops the theories of local cohomology and local homology with respect to an arbitrary set of ideals and generalises most of the important results from the classical theories. It also introduces the category of quasi-holonomic D-modules and proves some finiteness properties of local cohomology modules which generalise Lyubeznik's results in some sense.
Este trabalho desenvolve as teorias de cohomologia e homologia locais com respeito a um conjunto arbitrário de ideais e generaliza vários dos resultados importantes das teorias clássicas. Também, introduz a categoria dos D-módulos quase-holônomos e prova alguns resultados de finitude de cohomologia local que generalizam, em algum sentido, os resultados de G. Lyubeznik.

The aftertreatment techniques introduced to follow the emission legislations require a constant improvement process to comply with the gradually more stringent demands. SCR is the system used nowadays to deal with NOx emissions in most heavy-duty vehicles. An aqueous-urea solution, AdBlue, is sprayed into the evaporation unit, where urea should decompose to ammonia, the reducing agent. This is a critical step because the NH3 amount available heavily affects the final nitrous oxides reduction to nitrogen. Moreover the urea decomposition’s sides reactions are likely to occur, forming deposits that increase the pressure drop and in a certain time period could even foul the system. The evaporation module used in the silencer for Scania trucks equipped with V8 engines consists of a pipe in pipe configuration made in stainless steel 1.4509, where the exhaust gases flow heating up the inner pipe finned on its outer surface. The AdBlue is sprayed on the inner pipe’s inner surface, creating a wall film and cooling down the tube. The production of the evaporation pipe however involves a costly manufacturing process, being made of 144 flanges laser welded on a 0.355 m length, for a total of more than 52 m of welding. The goal of this thesis is to analyse the heat transfer from the exhaust gases to the pipe and how to improve it, in order to achieve a lower temperature drop on the pipe due to the AdBlue dosing, reducing at the same time the risk of building up deposits. The application of different materials for the evaporation unit is also considered. Furthermore many manufacturing processes are evaluated as a cost-effective alternative to the current one. Although the operating points have a wide range of variation, the analysis is focused on the worst conditions for urea evaporation which are low mass flow and low flow temperature. Stainless steel is the best trade-off between cost, thermal conductivity and corrosion resistance but the much higher conductivity of copper alloys would justify the investigation of a copper evaporation pipe coated with stainless steel. Different designs of the heat flanges are assessed, first with correlations and FEA and then through a CFD analysis, where 62 different solutions are compared. The fins height results to be the most influencing parameter, requiring an increment from 7.5 mm to 11 mm to improve the heat transfer performances of the evaporation unit. The gap between each fin is also important, leading to a flanges quantity reduction suggestion. With the current fin design and half of the number of flanges, 11 mm high, the performances would improve by almost 40% (at 800 kg/h and 300℃). Furthermore both the Abstract pipe thickness and thermal conductivity are affecting the temperature drop, with different weight depending on the design and the operating point. It is however always advantageous to use a thicker wall and a material with a higher thermal conductivity. Lastly the tests performed on the specifically developed test rig show a good accordance with the simulations in comparing different materials but are not suitable to compare finned designs.
Avgasefterbehandlingssystem har utvecklats för att reducera utsläppen ifrån lastbilar, och det är ett lagkrav att en lastbil ska ha ett efterbehandlingssystem. Lagkraven för avgasemissioner skärps gradvis, vilket resulterar i att efterbehandlingssystemet ständigt måste förbättras och utvecklas för att möta de nya lagkraven. I de flesta heavy-duty-lastbilar som säljs på Euro 6 marknader är ett SCR-system installerat ihop med ljuddämparen för att hantera NOx-utsläppen. En vätska kallad AdBlue, det vill säga Urea, sprayas in i efterbehandlingssystemet där det förångas. Urea är en vätska baserad på bl.a. urinämne som utsöndras till ammoniak, vilket sedan fungerar som reduceringsmedel. Ett viktigt steg i reduktionsprocessen av kväveoxiden är när ammoniak reagerar med NOx och omvandlas till kväve och vatten. Det är mängden ammoniak som bestämmer det slutliga resultatet av kväveoxidreduktionen. Om urean inte är tillräckligt uppblandad med avgaserna bildas avlagringar utmed flödeskanalen. Detta ökar tryckfallet, vilket i sin tur leder till ökad bränsleförbrukning, avlagringarna kan över tid även skada efterbehandlingssystemet. Förångningsmodulen som används i Scanias ljuddämpare (kallad large), utvecklad för V8-motorer, består av en rör-i-rör konfiguration. Rören tillverkas i rostfritt stål 1.4509 och när AdBlue sprayas på insidan av innerröret bildas en film av urea som förångas när den möter rörets varma väggyta. För att uppnå en varm förångningsyta leds en delmängd av avgaserna om på utsidan av innerröret för att bibehålla hög temperatur på röret och undvika nedkylning av urean. Förångningsrörets nuvarande design består av 144 utvändiga värmeflänsar (med längden 0,355 m) som lasersvetsas fast på röret. Designen medför en dyr och komplicerad tillverkningsprocess. Den totala längden svets uppgår till 52 m. Syftet med examensarbetet är att analysera och förbättra värmeöverföringen från avgaserna till röret för largeljuddämparen. En förbättrad värmeöverföring skulle leda till att temperaturfallet som uppkommer på grund av AdBlue-doseringen blir lägre. Ett lägre temperaturfall skulle då leda till en minskad risk för avlagringar. I studien undersöks olika material och tillverkningsmetoder för att eventuellt reducera tillverkningskostnaden av förångningsenheten med bibehållen eller förbättrad prestanda. Driftfallen har ett brett spektrum där mängden energi (överförd värme) varierar och studien är inriktad på de värsta förhållandena för urea-utsöndring, dvs. ett lågt massflöde och låga flödestemperaturer. Rostfritt stål har bra korrosionsbeständighet och tämligen bra värmeledningsförmåga i kombination med ett rimligt pris. Kopparlegeringar har en mycket högre värmeledningsförmåga än rostfritt stål, vilket motiverar en undersökning av förångringsrör tillverkade i kopparlegering belagda med rostfritt stål. I studien undersöks olika utformning av värmeflänsar, både genom FEA och CFD-analyser, där 62 olika utformningar har tagits fram och jämförs. Flänsarnas höjd visade sig vara den parametern som påverkar temperaturfallet mest. En ökning från 7,5 mm till 11 mm av flänstoppens höjd gav en kraftig förbättring av förångningsenhetens värmeöverföringsförmåga. En annan viktig faktor visade sig vara avståndet mellan flänsarna. Med dagens flänsutformning, men med en utökad höjd till 11 mm, skulle man uppnå en förbättrad prestanda med nästan 40 % (vid 300℃ och 800 kg/h) om man dessutom minskade antalet flänsar med hälften. Beroende på design och driftspunkt är rörtjockleken och materialets värmeledningsförmåga andra faktorer som påverkar temperaturfallet. Det är dock oftast fördelaktigt med en tjockare rörvägg och ett material med högre värmeledningsförmåga. Flera prototyper med olika utformning har testats fysiskt i en specialtillverkad testrigg. Slutresultatet påvisade en bra korrelation med simuleringarna vid jämförelse av olika materialval, men det fysiska testet hade svårare att hantera geometrisk utformning på flänsarna.

Definição, classificação, propriedades e exemplos básicos da teoria de superálgebras conformes e módulos conformes.
Definition, classification, properties and basic examples about conformal superalgebras and conformal modules.

Information and Communication Technologies (ICTs) have been widely deployed in developmental programs and this has lead to the creation of a new field – ICT for Development (ICT4D). Within the context of ICT4D, various e-services are being developed, including e-Commerce, e-Government, e-Health and e-Judiciary. ICT4D projects allow Small, Medium and Micro Enterprises (SMMEs) in rural areas to increase sales and gain a market share in the global market. However, many of these ICT4D projects do not succeed, because they fail to bring enough financial value to SMMEs due to the form they currently have. An obvious example is e-Commerce, which should be a source of revenue for business organizations, but most often is not. This thesis presents the design and implementation of a rewarding and negotiation application for a shopping portal to improve the marketing of products for rural entrepreneurs. The shopping portal has been set up for the Dwesa community, a marginalized area in the Eastern Cape province of South Africa. The proposed system, called the Dwesa Rewarding Program (DRP) enables customers buying online to get points for some of the activities carried out on the shopping portal. It also allows customers to negotiate and make offers whilst purchasing and get rewarded for buying online. The novelty of the system is in its flexibility and adaptability. One achievement of this system is the establishment of negotiation rules which allows fairness in rewarding customers. This should in turn lead to increased sales on the e-Commerce platform in marginalized areas and subsequently increased effectiveness of ICT4D for socio-economic development

O objetivo desta dissertação é estudar a caracterização dos módulos injetivos sobre anéis noetherianos e comutativos, dada por Eben Matlis em [16], como soma direta de módulos da forma E(A P ). Assim, discutimos algumas propriedades dos mó- dulos injetivos indecomponíveis sobre esses tipos de anéis. Em particular, mostramos que o completamento do anel local Ap é isomorfo ao anel HomA(E(A P );E(A P )). A partir disso, mostramos que, quando o anel for comutativo, noetheriano, local e completo, então a categoria dos módulos noetherianos e a categoria dual dos módulos artinianos são equivalentes.
The goal of this work is to study the characterization of injective modules over Noetherian and commutative rings, given by Eben Matlis in [16], as a direct sum of modules of the form E(A P ). Thus, we discuss some properties of injective indecomposable modules over these types of rings. In particular, we show that the completion of the local ring Ap is isomorphic to the ring HomA(E(A P );E(A P )). From this, we show that, when a ring is commutative, noetherian, local and complete, the category of the Noetherian modules and the dual category of Artinian modules are equivalent.

A geração de energia fotovoltaica continua em crescimento e por isso estudos relacionados à aplicação de diferentes tecnologias fotovoltaicas se tornam muito importantes. A tecnologia de células fotovoltaicas de silício cristalino representa a maior parte da aplicação de energia solar fotovoltaica atualmente. Os módulos com tecnologias de filmes finos foram apresentados ao mercado como uma nova geração de módulos e atualmente são referenciados como módulos fotovoltaicos de segunda geração. As tecnologias de filmes finos possuem algumas vantagens em relação ao silício cristalino, como por exemplo: menor quantidade de material, menor custo de produção e possibilidade de se produzir células e módulos flexíveis, embora em geral apresentem eficiências menores. Existem tecnologias de filmes finos aplicadas à geração fotovoltaica que apresentam instabilidade quando expostas à radiação solar, variando a potência gerada do módulo nas primeiras horas de exposição. Esses efeitos motivaram a padronização de um ensaio de exposição solar, do inglês light-soaking, que atualmente é previsto por uma norma internacional de qualificação de módulos fotovoltaicos (IEC 61646). Neste trabalho, desenvolveu-se uma metodologia para realizar o ensaio lightsoaking e construiu-se uma bancada de testes para obter resultados experimentais a partir de módulos expostos na cobertura do prédio anexo do LABSOL. Para isso, foi realizada uma análise de área livre de sombra disponível, bem como montada a estrutura metálica de sustentação para os módulos. Também foram instaladas resistências elétricas para dissipação de potência dos módulos e montado painel elétrico dentro do prédio centralizando as conexões necessárias. O experimento também contou com o desenvolvimento de um programa em linguagem Visual Basic® para interagir com os instrumentos de medição e realizar o monitoramento do ensaio. Neste trabalho foram ensaiados quatro módulos com diferentes tecnologias de filmes finos, as quais: silício amorfo com tripla junção, silício amorfo com uma junção, CIGS (Disseleneto de Cobre, Índio e Gálio) e por último dupla junção de silício amorfo com silício microcristalino. O experimento foi conduzido por 55 dias, sendo que a cada minuto o programa registrou dados de irradiância, irradiação acumulada e temperatura dos módulos. Ao final do experimento, os módulos receberam no total 347 kWh/m2 de irradiação e, durante o ensaio, foram realizadas ao todo 8 medições de curva característica corrente versus tensão para verificar o desempenho dos módulos. Antes e após a exposição, também foram realizadas medições em um simulador solar a fim de se obter medidas em condições controladas de temperatura e irradiância. Ao aplicar o critério de estabilização previsto na norma IEC 61646, verificou-se que todos os módulos o atenderam. Contudo, os módulos com tecnologia de uma junção de silício amorfo e com tecnologia de tripla junção de silício amorfo voltaram a apresentar degradação acima do máximo estabelecido pela norma IEC 61646 após continuarem expostos à radiação solar. Sendo assim, pode ser necessário alterar o critério para um maior valor de irradiação acumulada entre cada avaliação de degradação destes módulos, principalmente quando o ensaio é realizado com temperatura externa elevada. A metodologia mostrou que esse ensaio pode ser realizado em ambiente externo com luz natural de maneira prática e econômica, porém realizar as medições de curva característica com luz natural e temperatura não controlada implica em adicionar algumas incertezas ao ensaio.
The photovoltaic (PV) power generation continues to grow and so studies related to the application of different photovoltaic technologies become very important. The crystalline silicon solar cells technology is the most current application of PV power generation. The photovoltaic modules with thin film technologies were presented to the market as a new generation of modules and are currently referred to as second generation PV modules. The thin film technologies have some advantages compared to crystalline silicon, for example, less material, lower cost of production and ability to produce flexible cells and modules, although generally have lower efficiencies. There are thin film technologies for photovoltaic conversion that show instability when exposed to the sun, varying the power generated in the early hours of sun exposure. These effects led to the standardization of a sun exposure test, the light-soaking test, which is currently standardized by an international standard of qualification of photovoltaic modules (IEC 61646). In this study, we developed a methodology to perform the light-soaking test and built a workbench to obtain experimental results from PV modules set out in the LABSOL building. For this purpose, a shadow analysis was performed as well as the metal structure mounted to support the photovoltaic modules. Resistive loads were also installed in order to dissipate the power of the modules. An electrical panel was mounted inside the building to centralize the necessary connections. The workbench also included the development of a program in Visual Basic® to interact with the measuring instruments and carry out the monitoring of the experiment. In this work we tested four modules with different thin film technologies, including: triple junction amorphous silicon, single junction amorphous silicon, CIGS (Copper Indium Gallium Diselenide) and tandem junction of amorphous silicon and microcrystalline silicon. The experiment was conducted over 55 days, and every minute the program recorded irradiance data, accumulated irradiation and module temperature. At the end of the experiment, the modules received 347 kWh/m2 of irradiation. During the test, there were a total of 8 characteristic curve (I x V) measurements to verify the performance of the modules. Before and after exposure, were also performed measurements in a solar simulator. By applying the stabilization criteria presented in IEC 61646 it was found that all the modules have been considered stabilized. However, after being exposed to more hours of sunlight, the single junction amorphous silicon module and the triple junction amorphous silicon module presented degradation above the maximum established by IEC 61646 standard. Thus, it may be necessary to change the criteria for a higher value of accumulated irradiation between assessments of degradation of these modules, especially when the test is performed with high external temperature. The methodology showed that this test may be performed outdoors under natural light in a practical and economical way, but the characteristic curve measurements with natural light and uncontrolled temperature add some uncertainty to the test.

Sejam K um corpo algebricamente fechado, A uma K-álgebra básica conexa de dimensão finita sobre K e ê=(e_1,e_2,... ,e_n) um conjunto completo de idempotentes ortogonais, primitivos e ordenados de A. O conjunto dos módulos estandares é o conjunto Delta ={ D_1, ..., D_n }, onde D_i é o quociente maximal do A-módulo projetivo P_i com fatores de composição simples S_j, com j\\leq i, F(Delta) é a subcategoria plena de mod A dos módulos têm uma Delta-filtração. Se A_A esta em F(Delta) diz-se que A é uma álgebra estandarmente estratificada. Se, além disso, para cada elemento em Delta vale que End_A(D_i) é isomorfo a K diz-se que A é uma álgebra álgebra quase-hereditária. Nesta dissertação estudamos as propriedades de F(Delta), especialmente quando A é estandarmente estratificada, e algumas condições necessárias e suficientes para que A seja quase-hereditária.
Let K be an algebraically closed field, A a basic, connected, finite dimensional K-algebra and ê=(e_1,e_2,...,e_n) a complete set of ordered primitive orthogonal idempotents of A. The set of standard modules is the set Delta={D_1, ..., D_n}, where D_i is the maximal factor submodule of P_i whose composition factors are isomorphic to S_j, for j\\leq i. We denote by F(Delta) the full subcategory of mod A containing the modules which are filtered by modules in Delta. If iA_A is in F(Delta) we say that A is standardly stratified. Moreover, if End_A(D_i) is isomorphic with K, for each element in Delta we say that A is quasi hereditary. In this work we study the properties of the category F(Delta), especially when A is stardardly stratified, and some necessary and sufficient conditions to A be quasi hereditary.

It has surely happened sometimes to look at the night sky and catch sight of a small, brighting spot moving like an airplane, but without ashing as usually airplane lights do: it was a satellite. It is always amazing to think that there are objects that continously orbit around Earth, so far from us. Maybe, it is not well-known that they are a lot...thousands...more or less 17,000 those closer to the Earth, to be precise. It is difficult to imagine how so much objects can orbit without touching or colliding each other. From the beginning of the space activities in 1957, an enormous number of objects have been sent or released in space, and thinking that space is so limitless that it could contain everything, all these objects have been abandoned in orbit. The result has been the creation of a great quantity of debris that have began to represent a serious threat for future space missions. Recent studies revealed that if no countermeasures are going to be adopted to reduce the generation of debris in orbit, like for example spent spacecraft and orbital stages, the space population could remain stable only for the next 20 - 30 years. Beyond that, collisional cascade events between objects already in orbit will cause a rapidly increase of debris, even in case of a complete hault of launches. This self-sustained phenomenon, known as Kessler Syndrome, would prevent any other human access to space. Although from '90s, mitigation measures have been proposed to limit the generation of debris in orbit, they appeared to be insufficient to guarantee a long term stability of the space environment. The only way to intervene would be the implementation, in parallel, of active debris removal (ADR) missions. The effectiveness of such kind of missions has been demonstrated, but there are numerous aspects that have to be solved yet in order to make them feasible in the near future. On one hand new mission studies and analyses are required to identify the most efficient ADR scenarios. On the other hand, there are several technological issues that are particuarly critical, espacially as regards the capture of space debris, that are essentially un-cooperative objects and so, not-specially-prepared to be grasped. The research developed in this thesis deals with two of the main aspects related to active debris removal: I) ADR mission analysis, II) developement of an enabling technology for ADR; in the specific case, the development of a morphing adhesive interface to capture uncooperative ojects. A multiple vehicles scenario, where orbital transfers and de-orbiting operations are accomplished by distinct vehicles (a space tug for the former, proper de-orbiting kits for the latter), is selected for the analysis. The innovative solution proposed is the employemnt of modular structures as de-orbiting kits, constructed by assembling a certain number of microsatellite elementary units, equipped with proper de-orbiting devices; the number of assembled units depends on the characteristics of the debris, in terms of mass and initial orbit, as well as to the specic de-orbiting technology selected. An increased mission efficiency, reliablity and exibility are expected from the adoption of such approach. Costs and mass savings can be also expected, as well as economy of scale, thanks to the standarization of the units employed. Four de-orbiting solutions are implemented in the analysis: drag sails, electric propulsion, electrodynamic tethers, hybrid propulsion. Different mission scenarios are analysed, to determine the performances of each solution, in terms of de-orbiting kit mass and total de-orbiting time. For each de-orbiting technlogy, a proper base unit is determined. An optimization procedure to perform multiple orbital transfers and, hence, minimize the mass of the propulsion system of the space tug, is also performed. Five orbital bands are identified as priority regions, where debris have mass between 800 kg and 11 tons and orbits between 800 km and 1000 km. The analyses revealed that, although drag sails are low-cost and simple solutions, they are not suitable to de-orbit massive debris from high altitudes since very large sails could be required, with consequent high risk of collisions during the de-orbiting phase. Electric propulsion and electrodynamic tethers are both promising solutions for ADR: for debris with mass 2000 kg they are comparable, both in terms of de-orbiting kit mass and total de-orbiting time. For more massive debris, mass 2000 kg, electrodynamic tethers performes better from the remover mass point of view, but higher de-orbiting time is required compared to electric propulsion. Risks assessment evaluation revealed that in this case the probability for the electrodynamic tethers to be damaged in consequence of collisional events with debris up to 10 cm exceeded the limit of 0.001 indicated in the NASA-STD-8719.14. The risk analyses conducted for electric propulsion, on the other hand, did not reveal any risk of catastrophic collision during the deorbiting manoeuvre. Hybrid propulsion resulted the most massive solution among those implemented, but it represents the fastest solution in terms of de-orbiting time. The second part of the research activity is focused on the development of a morphing adhesive interface to be integrated as end effect of a robotic mechanisms to allow the capture of uncooperative objects. Two technologies are investigated in the realization of the interface: shape memory polymers, for the morphing behaviour, and electroadhesion for the adhesion capabilities. Two prototypes are then developed and tested. It is observed that mechanical pre-load as well as electrostatic force increase the normal adhesion performances of the realised interface. Normal adhesion pressures can vary between 0.55 and 1.4 kPa without the contribution of electrostatic forces, as the mechanical pre-load is varied between 1.5 N and 10 N. The adhesion pressure increases in presence of electrostatic forces, varying between 1.40 kPa and 1.80 kPa for different mechanical pre-load and voltage conditions. The forces achievable range between 3.5 N and 11.5 N. Morphing tests are also performed to verify the morphing-adhesive capabilities of the developed interface. The tests demonstrates taht the presence of a foam substrate could be advantageous as regards the capture of uncooperative objects, allowing a good compliance between two contact surfaces even in presence of macroscopical irregularities, enhancing the adhesion between them. The effectivness of the proposed morphing-adhesive interface is then demonstrated.
Sarà sicuramente capitato qualche volta di guardare il cielo stellato e di scorgere un piccolo puntino luminoso che si muoveva come un aeroplano, ma senza lampeggiare come di solito fanno le luci degli aerei: si trattava di un satellite. E' sempre affascinante pensare che ci sono oggetti che orbitano continuamente attorno alla Terra, così distanti da noi. Forse, non è così noto che ce ne sono davvero tanti...migliaia...17,000 quelli più vicini alla Terra, per la precisione. E' diffcile immaginare come così tanti oggetti possano orbitare senza toccarsi o scontrarsi tra loro. Fin dall'inizio delle attività spaziali nel 1957, un'enorme quantità di oggetti è stata lanciata o rilasciata in orbita, e pensando che lo spazio sia così illimitato da poter contenere ogni cosa, tutti questi oggetti sono stati abbandonati in orbita. Il risultato è stato la creazione di un gran numero di detriti che hanno iniziato a rappresentare una minaccia per le future missione spaziali. Recenti studi hanno rivelato che se proprie contromisure non saranno adottate per ridurre la creazione di ulteriori detriti in orbita, come per esempio satelliti non operativi e stadi orbitali, l'ambiente spaziale potrebbe rimanere stabile solo per i prossimi 20 o 30 anni. Oltre tale termine, potrebbero verificarsi eventi di collisioni in cascata tra gli oggetti attualmente in orbita causando un rapido aumento del numero di detriti, anche nel caso irrealistico di un completo arresto dei lanci. Questo fenomeno autosostenuto, noto come Sindrome di Kessler, potrebbe impedire qualsiasi altra missione nello spazio. Nonostante a partire dagli anni '90 siano state proposte misure di mitigazione per limitare la generazione di detriti in orbita, esse si sono rivelate insufficienti per garantire una stabilità a lungo termine dell'ambiente spaziale. L'unico modo di intervenire è l'implementazione, in parallelo, di missioni di rimozione attive dei detriti spaziali (in inglese Active Debris Removal - ADR). L'efficacia di tali missioni è stata dimostrata, ma ci sono ancora numerose questioni che devono essere affrontate per poterle applicare nella realtà. Da un lato, l'efficienza dei possibili scenari di missione deve essere investigata in modo da individuare le soluzioni migliori. Dall'altro lato ci sono ancora diverse questioni tecnologiche particolarmente critiche, specialmente riguardo la cattura dei detriti, che sono essenzialmente oggetti non cooperativi e quindi non predisposti per essere catturati. La ricerca sviluppata nel presente lavoro di tesi è stata focalizzata su due degli aspetti principali legati all'ADR: I) analisi di missione di ADR e II) sviluppo di una tecnologia chiave per l'ADR; nel caso specifico, di un'interfaccia deformabile adesiva per la cattura di oggetti non-cooperativi. E stato considerato uno scenario di missione basato sull'impiego di veicoli distinti per l'esecuzione dei trasferimenti orbitali e delle manovre di de-orbiting. In particolare, un veicolo di grandi dimensioni per i primi e propri kits di de-orbiting per le seconde. La soluzione innovativa sviluppata è stata l'adozione di strutture modulari per la realizzazione dei kits di de-orbiting: esse consistono nell'assemblare un certo numero di unità base di microsatelliti, equipaggiate con specifici sistemi di de-orbiting; il numero di unità assemblate dipende dalle caratteristiche del detrito, in termini di massa e altezza iniziale, e dalla particolare tecnologia di de-orbiting. Uno scenario di questo tipo comporta una maggiore efficienza, adattabilità e flessibilità. Sono inoltre previsti vantaggi in termini di costo e di massa, con la possibilità di impiegare economie di scala grazie alla standardizzazione delle unità impiegate. Nello studio sono state considerate quattro soluzioni di de-orbiting: vele per l'aumento del drag, propulsione elettrica, filo elettrodinamico (electrodynamic tether) e propulsione ibrida. Diversi scenari di missione sono stati analizzati per determinare le caratteristiche delle soluzioni adottate, in termini di massa del sistema di de-orbiting e di tempo totale di manovra. Per ogni tecnologia è stata dimensionata una unità microsatellite elementare. Inoltre, è stata anche implementata una procedure di ottimizzazione di trasferimenti orbitali multipli per minimizzare la massa del sistema propulsive richiesto. Sono state poi individuate cinque bande orbitali in cui attuare l'ADR, caratterizzate da detriti con masse tra 800 kg e 11 tonnellate, e altezze tra gli 800 km e i 1000 km. Le analisi hanno rivelato che le vele per incrementare il drag atmosferico, pur essendo soluzioni a basso costo e semplici, non sono adeguate per la rimozione di detriti massivi in orbite elevate perchè richiederebbero dimensioni troppo elevate con un aumento della possibilità di collisioni durante la fase di de-orbiting. La propulsione elettrica e il filo elettrodinamico sono entrambe soluzioni promettenti per l'ADR: per detriti con massa minore di 2000 kg le due tecnologie sono comparabili, sia in termini di massa del sistema di rimozione, sia di tempo di de-orbiting. Per detriti più massivi, con massa maggiore di 2000 kg, il filo elettrodinamico è più vantaggioso in termini di massa, ma richiede tempi di de-orbiting molto maggiori rispetto alla propulsione elettrica. La probabilità di avere impatti con detriti fino a 10 cm di diametro è risultata maggiore del limite suggerito nel NASA-STD-8719.14 di 0.001. Nel caso della propulsione elettrica invece, si è ottenuto un rischio di collisioni catastrofiche trascurabile. La propulsione ibrida è risultata la soluzione più svantaggiosa in termini di massa, ma è quella che consente il de-orbiting in tempi più ridotti. La seconda parte dell'attività di ricerca è focalizzata sullo sviluppo di un'interfaccia deformabile adesive che potrebbe essere impiegata come end-effector di un meccanismo robotico per la cattura di oggetti non-cooperativi. Due diverse tecnologie sono state considerate per lo studio: polimeri a memorie di forma, per la capacità di adattarsi a forme differenti, e l'elettroadesione per l'adesione mediante forze elettrostatiche. Due prototipi sono stati realizzati e testati. Dai test è emerso che sia un precarico meccanico che le forze elettrostatiche contribuiscono ad aumentare l'adesione. Si sono ottenuti livelli di pressione normale di adesione dell'ordine di 0.55 kPa - 1.4 kPa senza forze elettrostatiche, con variazione del precarico meccanico tra 1.5N e 10 N. L'adesione aumenta in presenza di forze elettrostatiche, variando tra 1.4 kPa e 1.8 kPa per diverse condizioni di precarico meccanico e voltaggio applicato per generare le forze elettrostatiche. Le forze di adesione ottenute variano tra 3.5 N e 11.5 N. Sono stati eseguiti anche dei test che prevedevano la deformazione del supporto per vericare la capacità di deformazione e adesione in presenza di irregolarità macroscopiche sulla superficie dell'oggetto da catturare. Tali test hanno dimostrato che la presenza di un supporto polimerico tipo schiuma può essere vantaggioso nel caso di cattura di oggetti irregolari, in quanto consente di adeguarsi alla forma della superficie dell'oggetto e aderire anche in presenza di irregolarità. In questo modo l'efficacia della soluzione proposta è stata confermata.