Submitted by Silvana Teresinha Dornelles Studzinski (sstudzinski) on 2017-04-19T13:31:55Z No. of bitstreams: 1 JULIANA FATIMA SERRAGLIO PASINI_.pdf: 2321629 bytes, checksum: 991ec935f9ab785e766e00af290db5aa (MD5) / Made available in DSpace on 2017-04-19T13:31:56Z (GMT). No. of bitstreams: 1 JULIANA FATIMA SERRAGLIO PASINI_.pdf: 2321629 bytes, checksum: 991ec935f9ab785e766e00af290db5aa (MD5) Previous issue date: 2016-12-19 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O foco dessa pesquisa é o modo como as avaliações em larga escala repercutem no contexto da prática, tomando como espaço empírico cinco municípios de pequeno porte (com até 10 mil habitantes) do estado do Paraná. A abordagem teórico-metodológica considera que as políticas se desenvolvem em contextos de disputas contemplando arenas, lugares e grupos de interesses. Nessa tese o contexto de influência caracteriza-se pelo histórico da implementação das políticas de avaliação em âmbito federal e estadual e o contexto da prática, pela pesquisa com foco em ações desenvolvidas em âmbito escolar. A investigação teve como objetivo geral analisar a relação entre as políticas de avaliação em larga escala e as desenvolvidas em municípios de pequeno porte, a fim de identificar como repercutem no contexto da prática escolar, e, como objetivos específicos: (a) levantar os indicadores sociais e educacionais de cada município da pesquisa, no período de 2005 a 2013; (b) descrever as estratégias da gestão escolar e as implicações para o contexto da prática; (c) identificar as políticas educacionais desenvolvidas em âmbito municipal, a fim de promover melhorias no IDEB no período de 2005 a 2013; e (d) compreender como as políticas em nível federal e estadual repercutem nas políticas municipais. A coleta de dados desenvolveu-se com foco em ações desenvolvidas em âmbito escolar, mediante entrevistas (25) com diretores, coordenadores pedagógicos e professores, de escolas que participaram de, pelo menos, um dos ciclos da Prova Brasil, no período de 2005 a 2013. Utilizou-se o NVivo 11 para análise e organização do material obtido nas entrevistas. Como resultados, a pesquisa aponta fragilidades nas estatísticas quando apresentadas como fotografia da realidade educacional, o que acontece quando as redes e a sociedade tratam o IDEB como único ou principal instrumento para indicar a qualidade da educação, desconsiderando as especificidades de cada local e homogeneizando as características socioeconômicas, culturais e educacionais. Também revela que, mesmo em municípios de pequeno porte, a performatividade e o gerencialismo permeiam o contexto da prática, envolvendo ações relacionadas ao atendimento das especificidades das avaliações em larga escala. Entretanto, há resistência dos profissionais para que esses princípios não sejam determinantes da prática pedagógica escolar. Verifica-se grande preocupação com a aprendizagem dos alunos, desenvolvimento de projetos e atividades de contra turno, embora os resultados das avaliações em larga escala não sejam ignorados. / This research focuses on the way large-scale evaluations reverberate in the context of practice, taking as empirical space five small cities (with up to 10 thousand inhabitants) of the state of Paraná. Its theoretical-methodological approach considers that policies develop in contexts of dispute, contemplating arenas, places and groups of interest. In this thesis, the context of influence is characterized by the history of implementation of evaluation policies in federal and state spheres and by the context of practice; it focuses on actions developed in school settings. The main goal of this thesis was to analyze the relation between large-scale evaluation policies and the policies developed in small cities, in order to verify how they reverberate in the context of school practice; the specific objectives were: (a) to verify the social and educational indicators of each city in which the research was carried, in the period between 2005 and 2013; (b) to describe the school management strategies and its implications for the context of practice; (c) to identify the educational policies developed in municipal level, in order to promote improvements in IDEB in the period between 2005 and 2013; and (d) to understand how policies in federal and state levels reverberate in municipal policies. The collection of data focused in actions developed in school environments, by means of 25 interviews with directors, pedagogical coordinators and teachers from schools that participated in, at least, one of the cycles of Prova Brasil, in the period between 2005 and 2013. NVivo 11 was used to analyze and organize the material obtained during these interviews. As results, the research points the fragilities of the statistics when they are presented as a reflection of educational reality, which happens when educational networks and society take IDEB as the only or main tool for indicating education quality, disregarding the specificities of each place and homogenizing social and educational characteristics. It also shows that, even in small cities, performativity and managerialism permeate the context of practice, involving actions related to the meeting of large-scale evaluations' specificities. However, there is opposition from professionals so that these principles are not decisive in school pedagogical practice. Great concern with the learning of students is verified, as well as the development of projects and after-school activities, although the large-scale evaluation results are not ignored.

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.