Cette thèse s'intéresse d'une part au problème de décomposition technologique orienté surface sur des réseaux programmables de type FPGAs (Field Programmable Gate Arrays) et d'autre part à la synthèse des macro-générateurs sur ASICs et plus précisément de la synthèse des additionneurs. La décomposition s'articule autour de deux axes essentiels: tout d'abord, il s'agit d'optimiser la taille de la représentation des fonctions booléennes. Les représentations de base choisies ici sont les ROBDDs (Reduced Ordered Binary Decision Diagrams) ainsi qu'une structure dérivée, les ITE (If Then Else). La deuxième étape concerne la décomposition proprement dite. Les technologies cibles sont ici des FPGAs à base de LUT-k (Look Up Table), en particulier les FPGAs XC5200 de Xilinx et Orca de AT&T. Les deux méthodes de décomposition technologique orienté surface proposées permettent une décomposition hétérogène en prenant en compte non pas une seule configuration mais un ensemble de configurations possibles de la cellule cible. La première méthode est fondée sur un parcours descendant et optimisé du ROBDD. La seconde méthode s'appuie sur une modélisation en recouvrement d'hypergraphe du problème de décomposition technologique. Dans les deux méthodes, le coût exact en terme de surface finale du circuit est pris en compte à chaque étape de la décomposition. L'étude menée dans la deuxième partie de la thèse sur la macro-génération conduit dans un premier temps à l'exploration de l'espace des solutions possibles puis à l'optimisation d'une solution sélectionnée par un algorithme de dérivation discrète. L'utilisation d'un filtre permet la restriction de l'espace des solutions à explorer et d'autre part guide le processus de dérivation en éliminant les solutions trivialement médiocres. La combinaison des processus d'exploration et de dérivations permet la génération de macros dont les caractéristiques physiques sont les plus proches possibles de celles fixées par un utilisateur potentiel. Ces méthodes ont été intégrées au sein d'un outil universitaire ASYL+ développé au laboratoire CSI

Cette thèse propose une architecture cellulaire pour la simulation logique. Une première partie présente la simulation logique. Les modélisations, algorithmes, structures des simulateurs classiques sont décrits. Un recensement et une étude sommaire des machines spécialisées existantes sont proposés ainsi qu'une classification des machines cellulaires. Une deuxième partie présente les spécifications d'une architecture cellulaire et propose des solutions aux problèmes d'affectation et d'acheminement soulevés. Une troisième partie décrit la cellule de base d'une manière détaillée dans un réseau 8×8 et évalue la complexité et les performances attendues. Une dernière partie expose les performances globales de simulation du réseau de base et cite quelques extensions dans et hors de la simulation logique

Nous présentons ici la réalisation d'une dynamique quantique conditionnelle et la préparation d'un état intriqué à trois systèmes quantiques dans une expérience d'électrodynamique quantique en cavité. Nous couplons des atomes, préparés dans un état de Rydberg circulaire, au mode d'une cavité de très haute surtension, préparé dans l'état vide. A résonance, un échange réversible et cohérent d'un quantum d'excitation entre l'atome et le champ a lieu : l'oscillation de Rabi quantique. En fixant le temps d'interaction à un cycle complet d'absorption et d'émission, nous obtenons une dynamique conditionnelle : la phase quantique de l'état atome--champ change si le mode contient un photon et si l'état atomique est couplé au mode. En revanche, si le mode ne contient pas de photon ou si l'état atomique n'est pas<br />couplé, la phase reste inchangée. Nous démontrons ce changement de phase et nous faisons varier sa valeur en désaccordant la fréquence du mode par rapport à la transition atomique. De plus, nous vérifions que la dynamique préserve la cohérence des sous-systèmes, menant ainsi à un état intriqué si les deux sont initialement préparés dans des superpositions d'états. Nous interprétons le processus en termes d'une porte logique quantique et nous analysons ses limitations. Dans une deuxième expérience, nous préparons et analysons un état intriqué entre deux atomes et le champ en effectuant des opérations successives et réversibles. Le premier atome est intriqué avec le champ en interagissant avec ce dernier pendant un quart d'oscillation de Rabi. Le deuxième atome effectue ensuite, comme dans la première expérience, une oscillation de Rabi complète. Etant préparé dans une superposition de l'état couplé et de l'état non-couplé, il s'intrique également avec le champ, et donc avec le premier atome. Des mesures dans deux bases orthogonales sont effectuées sur l'état intriqué à trois systèmes résultant. Une analyse des signaux expérimentaux est présentée, confirmant que l'état préparé n'est effectivement pas séparable. Nous discutons des perspectives ouvertes par ces expériences pour le traitement<br />quantique de l'information.

La fonction d'onde de deux particules après<br />une interaction mutuelle ne peut pas, en général, être exprimée<br />comme le produit d'états individuels des particules. Pour qu'une<br />collision atomique puisse produire une intrication<br />maximale, il faut cependant des conditions exceptionnelles. Ces<br />conditions sont réunies dans notre dispositif, où l'interaction<br />dipôle-dipôle entre atomes de Rydberg "à deux niveaux" peut être<br />stimulée par une cavité supraconductrice non-résonnante. En<br />exploitant cet effet, nous avons réalisé des états fortement<br />intriqués dans des collisions binaires avec des paramètres<br />d'impact de l'ordre du millimètre. L'angle de collision peut être<br />varié en modifiant le désaccord atomes-cavité, ce qui nous a<br />permis d'observer l'échange d'énergie réversible et cohérent<br />(oscillation de Rabi) entre deux atomes. Par un choix opportun des<br />valeurs des paramètres, nous avons en particulier réalisé et testé<br />une paire 'EPR' d'atomes. La relative insensibilité de cette<br />méthode d'intrication au facteur de qualité du résonateur rend sa<br />fidélité compatible avec des expériences de violation des<br />inégalités de Bell ainsi qu'avec la manipulation cohérente d'un<br />nombre plus important d'atomes. Nous présentons en outre une<br />nouvelle procédure de fabrication des cavités micro-ondes. Les<br />nouvelles cavités devraient en particulier permettre l'extension<br />des études sur l'intrication aux champs confinés dans deux<br />résonateurs séparés.

Cette étude intéresse la partie savoyarde de la " zone subbriançonnaise " comprise entre Arc et Isère et correspond globalement aux massifs du Perron des Encombres et de la Grande Moendaz, regroupés sous le nom de " Nappe du Pas du Roc " Cette nappe, faite de 3 écailles tectoniques qui sont, de l'Est à l'Ouest, l'unité de la Croix des Têtes, l'unité de Saint-Martin-de-la-Porte et l'unité de la Grande Moendaz, est limitée : - À l'Est, par l'accident gypseux frontal du Briançonnais externe (Zone Houillère) - À l'Ouest, par un cisaillement redressé qui la fait reposer sur des unités composites à flysch priabonien correspondant anciennement aux " Ecailles externes " subbriançonnaises et à la zone ultradauphinoise ou du flysch des Aiguilles d'Arves et qui appartiennent, en réalité, à des unités avancées à substratum anteflysch d'affinités briançonnaise. La nappe du Pas du Roc ne comprend que des terrains allant du trias supérieur au Malm inférieur ; la série malm supérieur à nummulitique, qui ici a disparu par érosions et/ou diverticulations, est cependant conservée au Sud de l'Arc dans la haute vallée de la Valloirette. Les études stratigraphiques, tectoniques et bibliographiques de ce mémoire permettent la reconstitution géodynamique suivante : - Du Trias supérieur au Lias inférieur, le Subbriançonnais appartient à une plate-forme lagunaire à nérétique se développant du Delphino-hélvétique au Briançonnais. - A partir du Lias moyen, concomitamment à l'ouverture téthysienne par fracturation, le Subbriançonnais apparaît comme une marge faillée entre le sillon delphino-helvétiques à vocontien et le haut-fond briançonnais et provençal en position méridionale. Plus précisément, dans le secteur entre Arc et Isère, il est possible de distinguer du Lias moyen à l'Oxfordien deux domaines, le domaine externe de la Grande Moendaz aux sédiments pélagiques et argileux faisant transition au sillon delphino-helvétique interne et le domaine interne du Perron des Encombres, en position haute et aux sédiments à dominante carbonatée se raccordant au Briançonnais. L'instabilité tectonique de cette marge se manifeste, en particulier au Callovo-Oxfordien, par la présence de brèches sur le domaine interne, d'olistilites sur le talus et de turbidites donnant naissance à un véritable flysch " oxfordien " dont les éléments lithiques se fondent progressivement dans la sédimentation pélagique du sillon externe. - L'histoire postérieure est reconstituée à partir des secteurs environnants (Sud de l'Arc, klippe de Sulens, Chablais,...) Toujours en position de marge, le Subbriançonnais correspond à un domaine de mer ouverte à sédimentation pélagique affectée par des apports détritiques épisodiques internes et se terminant par le " flysch noir " de l'Eocène inférieur à moyen. Au cours du Crétacé supérieur et du Paléogène, cette marge découpée par de grands coulissages sénestres, est dilacérée en blocs qui remontent avec le Briançonnais vers le Nord, mettant donc en place finalement, selon une transversale ouest-est, les zones isopiques apparentes suivantes delphino-helvétique, subbriançonnaise à lignes de faciès cependant en biais (NE-SW), briançonnaise. A ces mouvements transcurrents correspondant à une contrainte compressive générale N-S sont associées des érosions, des structures de transpression et l'individualisation et le fonctionnement d'un bassin de flysch Priabonien-Oligocène inférieur qui cachète définitivement la tectonique décrochante antérieure. De l'Oligocène au Miocène, se mettent en place les nappes à vergence globale ouest. Cette tectonique alpine est polyphasée. Dans le temps, se succèdent, en particulier : - une phase généralisée de charriage des zones isopiques vers l'Ouest, le Briançonnais externe dépassant le Subbriançonnais ; - une phase de cisaillement responsable des écaillages les plus visibles et du pincement des unités briançonnaises avancées, au front de la nappe du Pas du Roc ; - une phase de blocage avec des manifestations de rétrodéversements. Postérieurement à cette technique nappée E-W, une reprise des contraintes N-S, donnerait naissance à des coulissages senestres méridiens. Ceux-ci sont peu exprimés entre Arc et Isère. Enfin, les bombements de Belledonne et de la zone Houillère donnent à la région son cachet structural actuel.

Basés sur les outils théoriques et algorithmiques de la programmation DC et DCA, les travaux de recherche dans cette thèse portent sur les approches locales et globales pour l'optimisation non convexe et l'optimisation globale en variables mixtes entières. La thèse comporte 5 chapitres. Le premier chapitre présente les fondements de la programmation DC et DCA, et techniques de Séparation et Evaluation (B&B) (utilisant la technique de relaxation DC pour le calcul des bornes inférieures de la valeur optimale) pour l'optimisation globale. Y figure aussi des résultats concernant la pénalisation exacte pour la programmation en variables mixtes entières. Le deuxième chapitre est consacré au développement d'une méthode DCA pour la résolution d'une classe NP-difficile des programmes non convexes non linéaires en variables mixtes entières. Ces problèmes d'optimisation non convexe sont tout d'abord reformulées comme des programmes DC via les techniques de pénalisation en programmation DC de manière que les programmes DC résultants soient efficacement résolus par DCA et B&B bien adaptés. Comme première application en optimisation financière, nous avons modélisé le problème de gestion de portefeuille sous le coût de transaction concave et appliqué DCA et B&B à sa résolution. Dans le chapitre suivant nous étudions la modélisation du problème de minimisation du coût de transaction non convexe discontinu en gestion de portefeuille sous deux formes : la première est un programme DC obtenu en approximant la fonction objectif du problème original par une fonction DC polyèdrale et la deuxième est un programme DC mixte 0-1 équivalent. Et nous présentons DCA, B&B, et l'algorithme combiné DCA-B&B pour leur résolution. Le chapitre 4 étudie la résolution exacte du problème multi-objectif en variables mixtes binaires et présente deux applications concrètes de la méthode proposée. Nous nous intéressons dans le dernier chapitre à ces deux problématiques challenging : le problème de moindres carrés linéaires en variables entières bornées et celui de factorisation en matrices non négatives (Nonnegative Matrix Factorization (NMF)). La méthode NMF est particulièrement importante de par ses nombreuses et diverses applications tandis que les applications importantes du premier se trouvent en télécommunication. Les simulations numériques montrent la robustesse, rapidité (donc scalabilité), performance et la globalité de DCA par rapport aux méthodes existantes.

O crescimento do uso dos aerogeradores de pequeno porte em áreas urbanas em todo o mundo aponta para um mercado em expansão e extremamente promissor, principalmente no brasil, onde o potencial eólico é grande. tratando-se de máquinas pequenas existe interesse dos consumidores residenciais na sua utilização, seja para economia de energia ou por adesão às fontes alternativas. existe uma grande quantidade de fabricantes no mundo incluindo aerogeradores de alta, média e baixa qualidade. com isso surge a necessidade de criar métodos que avaliem estes produtos quanto ao seu rendimento energético, como ocorrem com as geladeiras, lâmpadas, fogões e outros, a fim de resguardar a qualidade deste equipamento ao consumidor. a proposta é criar um ciclo de teste (ou ciclo de ventos) baseado nos perfis de comportamentos diários de ventos urbano obtidos através de medições reais feitos pelo projeto sonda. esse perfil será usado para testar os aerogeradores de até 1 kw em laboratório, com auxílio de um túnel de vento a fim de determinar o rendimento energético do conjunto gerador, servindo como método para o aprimoramento desses aparelhos. outra possibilidade é o uso desta metodologia no programa brasileiro de etiquetagem, que classifica os produtos em função de sua eficiência energética. este trabalho também pode ser usado para acreditação de laboratórios de certificação que avaliam produtos em função de sua eficiência e/ou rendimento, visto que a acreditação é uma ferramenta estabelecida em escala internacional para gerar confiança na atuação de organizações que executam atividades de avaliação da conformidade. / The growing use of small wind turbines in urban areas around the world points to an expanding market and extremely promising, especially in Brazil, where the wind potential is great. In the case of small machines there is consumer interest in residential use, either for energy efficiency or adherence to alternative sources. There is a lot of wind turbines manufacturers in the world including high, medium and low quality. With this comes the need to classify these products as their energy efficiency, as with refrigerators, lamps, stoves and other in order to safeguard the quality of the equipment to the customer. The proposal is to create a test cycle (or cycle of winds) based on daily behavior profiles of urban winds obtained through actual measurements made by the SONDA project. This profile will be used to test wind turbines of up to 1 kW in the laboratory, with the aid of a wind tunnel in order to determine the energy efficiency of the generator set, serving as a method for the improvement of these devices. Another possibility is the use of this methodology in the Brazilian labeling Program, which ranks the products according to their energy efficiency. This job can also be used for certification laboratory accreditation which assesses products on the basis of its efficiency and/or income, since accreditation is a tool established on an international scale to generate confidence in the activities of organizations that perform conformity assessment activities.

Made available in DSpace on 2014-12-17T15:54:49Z (GMT). No. of bitstreams: 1 RafaellaIAA.pdf: 452615 bytes, checksum: 392df5e1a0bd4b7758c95218a74fc0d0 (MD5) Previous issue date: 2008-02-28 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / The panorama of Urban Solid Waste (USW) in Brazil, in general lacks information, given the immensity of the country. However, it is from available data that the public executives should define the USW management. To contribute to the choice of a model for the management of USW in small municipalities, this study reviews the related literature, showing an overview of the final disposal of USW in small municipalities. Several data and researches are discussed, concluding that the available data, despite being provided by the public managers, who often attenuate the problem, should be considered for the proposition of policies to encourage the waste treatment / O panorama dos Res?duos S?lidos Urbanos (RSU) no Brasil, de maneira geral deixa a desejar face ? imensid?o do pa?s. No entanto, ? a partir dos dados existentes que o gestor p?blico deve embasar a gest?o dos RSU. Visando contribuir para a escolha do modelo de gest?o dos RSU em munic?pios de pequeno porte, o presente estudo revisa a literatura relacionada, mostrando como se d? a disposi??o final dos RSU em munic?pios de pequeno porte. S?o discutidas v?rias pesquisas, concluindo-se que os dados apresentados, muito embora sejam fornecidos pelos gestores, que muitas vezes minoram o problema, h?o de ser considerados para a proposi??o de pol?ticas de incentivo ao tratamento de res?duos

Une des principales solutions technologiques liées à la réduction d’échelle de la technologie CMOS est aujourd’hui clairement orientée vers les transistors MOSFET faiblement dopés à multiples grilles. Ceux-ci proposent une meilleure immunité contre les effets canaux courts comparés aux transistors MOSFET bulk planaires (cf. ITRS 2011). Parmi les MOSFETs à multiples grilles, le transistor FinFET SOI est un candidat intéressant de par la similarité de son processus de fabrication avec la technologie des transistors planaires. En parallèle, il existe une réelle attente de la part des concepteurs et des fonderies à disposer de modèles compacts efficaces numériquement, précis et proches de la physique, insérés dans les « design tools » permettant alors d’étudier et d’élaborer des circuits ambitieux en technologie FinFET. Cette thèse porte sur l’élaboration d’un modèle compact orienté conception du transistor FinFET valide aux dimensions nanométriques. Ce modèle prend en compte les effets canaux courts, la modulation de longueur de canal, la dégradation de la mobilité, leseffets de mécanique quantique et les transcapacités. Une validation de ce modèle est réalisée par des comparaisons avec des simulations TCAD 3D. Le modèle compact est implémenté en langage Verilog-A afin de simuler des circuits innovants à base de transistors FinFET. Une modélisation niveau-porte est développée pour la simulation de circuits numériques complexes. Cette thèse présente également un modèle compact générique de transistors MOSFET SOI canaux long faiblement dopés à multiple grilles. La dépendance à la température est prise en compte. Selon un concept de transformation géométrique, notre modèle compact du transistor MOSFET double grille planaire est étendu pour s’appliquer à tout autre type de transistor MOSFET à multiple grille (MuGFET). Une validation expérimentale du modèle MuGFET sur un transistor triple grille est proposée. Cette thèse apporte enfin des solutions pour la modélisation des transistors MOSFET double grille sans jonction. / One of the main technological solutions related to downscaling of CMOS technology is now clearly oriented to lightly doped multigate MOSFETs. They offer better immunity against short channel effects compared to planar bulk MOSFETs (see ITRS 2011). Among the multigate MOSFETs, the SOI FinFET transistor is an interesting candidate because of the similarity of its manufacturing process with the planar transistor technology. In parallel, there is a real expectation on the part of designers and foundries to have compact models numerically efficient, accurate and close to the physics, and then inserted in to the design tools in order to study and develop ambitious circuits in FinFET technology. This thesis focuses on the development of a design-oriented compact model of FinFET transistor valid to nanoscale dimensions. This model takes into account the short channel effects, the channel length modulation, the mobility degradation, the quantum mechanic effects and the transcapacitances. A validation of this model is carried out by comparisons with 3DTCAD simulations. The compact model is implemented in Verilog-A to simulate innovative FinFET-based circuits. A gate-level modeling is developed for the simulation of complex digital circuits. This thesis also presents a generic compact modeling of multigate SOI MOSFETs with lightly doped channels and temperature dependent. According to a concept of geometric transformation, our compact model of the planar double-gate MOSFET is extended to be applied to any other type of multigate MOSFETs (MuGFET). An experimental validation of the MuGFET compact model with a triple gate transistor is proposed. This thesis finally brings solutions for the modeling of junction less double-gate MOSFET.

Submitted by Carlos Henrique Batista (cahenba@gmail.com) on 2018-03-09T17:51:13Z No. of bitstreams: 1 Carlos Henrique Batista - Mestrado.pdf: 1912590 bytes, checksum: a572105a128fb45cfc55c68d02b86faf (MD5) / Approved for entry into archive by Katia Menezes de Souza (katia.menezes@fgv.br) on 2018-03-09T18:29:46Z (GMT) No. of bitstreams: 1 Carlos Henrique Batista - Mestrado.pdf: 1912590 bytes, checksum: a572105a128fb45cfc55c68d02b86faf (MD5) / Made available in DSpace on 2018-03-09T20:32:09Z (GMT). No. of bitstreams: 1 Carlos Henrique Batista - Mestrado.pdf: 1912590 bytes, checksum: a572105a128fb45cfc55c68d02b86faf (MD5) Previous issue date: 2018-02-16 / This work is about the controversy over mandatory disclosure of financial statements by large Brazilian limited liability companies. The research reveals an unclear regulatory framework on this issue and empirically assesses the effectiveness of disclosure rules contained in Federal Law No. 11,638 of 2007 and in São Paulo State’s Board of Trade Resolution No. 2 of 2015. The results indicate a significant level of compliance with these rules by the referred companies and at the same time their considerable resistance to disclose financial information to the public. It is also observed that the current regulation of corporate transparency is not enough to overcome the opacity of the majority of large limited liability companies, specially the biggest ones. The study points out shortcomings in the analyzed rules and also in the corresponding enforcement system. Moreover, it carries out a reflection on European legal solutions and national legislative proposals related to the matter. / O presente trabalho trata da polêmica a respeito da obrigatoriedade da publicação de demonstrações financeiras pelas sociedades limitadas de grande porte no Brasil. A pesquisa revela a incerteza do cenário regulatório atual relativo ao tema e avalia empiricamente a efetividade das normas de disclosure contidas na Lei n. 11.638/2007 e na Deliberação Jucesp n. 2/2015. Os resultados obtidos indicam a efetividade parcial, mas não desprezível, das referidas normas, bem como a considerável resistência das empresas à divulgação de seus balanços. Verifica-se também que o atual modelo regulatório acaba possibilitando que a maioria das sociedades visadas – notadamente as maiores entre elas – permaneçam na opacidade. Identificam-se deficiências na formulação das regras de transparência e no sistema de enforcement das mesmas. Além disso, apresentam-se soluções do direito europeu e propostas legislativas nacionais sobre o tema.