Membranas hidrocarbônicas não fluoradas têm sido desenvolvidas para uso em substituição as membranas fluoradas (Nafion®) em células a combustível de eletrólito polimérico (PEMFC), ou em temperaturas superiores a 80 °C, ou em células com adição direta de álcool. Este trabalho teve como objetivo avaliar o desempenho de membranas hidrocarbônicas catiônicas, desenvolvidas para uso em célula a combustível alimentada com etanol (DEFC), e de camadas de difusão gasosa (GDL – Gas Difusion Layer) e eletrodos (GDE – Gas Difusion electrode) preparados para uso com as mesmas. Duas membranas hidrocarbônicas (E-750 e P-730) da empresa FuMATech®/GR foram avaliadas quanto à capacidade de troca iônica e grau de inchamento em água/etanol, quanto a composição química, morfologia, comportamento térmico e visoelástico e condutividade por impedância. As GDLs foram preparadas a partir de uma emulsão aquosa de Teflon® e pó de carbono Vulcan XC-72R®, com e sem agente emulsificante (resina sulfonada), dispersa em ambas as faces do tecido de carbono pelo método de aspersão. Os GDEs foram preparados pela deposição de emulsão catalítica de diferentes eletrocatalisadores sobre as respectivas GDLs do ânodo e catodo. Os GDEs anódico e catódico foram preparados com 1 mg.cm-2 do eletrocatalisador de PtSn/C 20% (75:15) e de Pt/C (20:80), respectivamente, e caracterizados por MEV-EDS. As características fisico-químicas das membranas hidrocarbônicas foram similares às apresentadas pela membrana Nafion®. O desempenho do protótipo de célula unitária DEFC com as membranas FuMATech® foi inferior ao obtido com a membrana Nafion® usando-se GDE comercial. Por outro lado, ensaios com a membrana Nafion® utilizando-se os eletrodos preparados neste trabalho e eletrodos comerciais apresentaram valores de potencial similares. / Non-fluorinated hydrocarbon cationic membranes have been developed for use instead of Nafion® in Polymer Electrolyte Membrane Fuel Cells (PEMFCs), or at higher temperatures than 80 ºC, or in fuel cells fed with alcohol. The aim of this work was to evaluate the performance of commercial non-fluorinated hydrocarbon cationic membranes with potential use in direct ethanol fuel cell (DEFC), and also evaluate the Gas Difusion Layer (GDL) and Gas Difusion electrode (GDE) prepared for use with them. Two hydrocarbon membranes (E-750 and P-730) produced by FuMATech®/GR were analyzed according to their ion exchange capacity, water uptake in water/alcohol solution, morphology, chemical composition, thermal and viscoelastic behaviour, and conductivity by impedance. The GDLs were prepared by spraying an aqueous emulsion of Vulcan carbon/Teflon®, with and without emulsifier agent (sulfonated hydrocarbon resin), in both sides of a carbon fabric. The electrodes were prepared by the respective deposition of the electrocatalysts emulsions on the cathode and anode GDLs. The anodic and cathodic GDEs were prepared with 1 mg.cm-2 of the electrocatalyst of PtSn/C 20% (75:15) and of Pt/C (20:80), respectively, which were characterized by SEM-EDS. The physicochemical properties of the hydrocarbon membranes were similar to the Nafion® membrane ones. The potential values obtained in a DEFC prototype unit cell with FuMATech® membranes were lower than those with Nafion-117 membrane. On the other hand, the performance of the DEFC prototype with Nafion-117 membrane was the same if used GDEs commercial or here prepared.

Membranas hidrocarbônicas não fluoradas têm sido desenvolvidas para uso em substituição as membranas fluoradas (Nafion®) em células a combustível de eletrólito polimérico (PEMFC), ou em temperaturas superiores a 80 °C, ou em células com adição direta de álcool. Este trabalho teve como objetivo avaliar o desempenho de membranas hidrocarbônicas catiônicas, desenvolvidas para uso em célula a combustível alimentada com etanol (DEFC), e de camadas de difusão gasosa (GDL – Gas Difusion Layer) e eletrodos (GDE – Gas Difusion electrode) preparados para uso com as mesmas. Duas membranas hidrocarbônicas (E-750 e P-730) da empresa FuMATech®/GR foram avaliadas quanto à capacidade de troca iônica e grau de inchamento em água/etanol, quanto a composição química, morfologia, comportamento térmico e visoelástico e condutividade por impedância. As GDLs foram preparadas a partir de uma emulsão aquosa de Teflon® e pó de carbono Vulcan XC-72R®, com e sem agente emulsificante (resina sulfonada), dispersa em ambas as faces do tecido de carbono pelo método de aspersão. Os GDEs foram preparados pela deposição de emulsão catalítica de diferentes eletrocatalisadores sobre as respectivas GDLs do ânodo e catodo. Os GDEs anódico e catódico foram preparados com 1 mg.cm-2 do eletrocatalisador de PtSn/C 20% (75:15) e de Pt/C (20:80), respectivamente, e caracterizados por MEV-EDS. As características fisico-químicas das membranas hidrocarbônicas foram similares às apresentadas pela membrana Nafion®. O desempenho do protótipo de célula unitária DEFC com as membranas FuMATech® foi inferior ao obtido com a membrana Nafion® usando-se GDE comercial. Por outro lado, ensaios com a membrana Nafion® utilizando-se os eletrodos preparados neste trabalho e eletrodos comerciais apresentaram valores de potencial similares. / Non-fluorinated hydrocarbon cationic membranes have been developed for use instead of Nafion® in Polymer Electrolyte Membrane Fuel Cells (PEMFCs), or at higher temperatures than 80 ºC, or in fuel cells fed with alcohol. The aim of this work was to evaluate the performance of commercial non-fluorinated hydrocarbon cationic membranes with potential use in direct ethanol fuel cell (DEFC), and also evaluate the Gas Difusion Layer (GDL) and Gas Difusion electrode (GDE) prepared for use with them. Two hydrocarbon membranes (E-750 and P-730) produced by FuMATech®/GR were analyzed according to their ion exchange capacity, water uptake in water/alcohol solution, morphology, chemical composition, thermal and viscoelastic behaviour, and conductivity by impedance. The GDLs were prepared by spraying an aqueous emulsion of Vulcan carbon/Teflon®, with and without emulsifier agent (sulfonated hydrocarbon resin), in both sides of a carbon fabric. The electrodes were prepared by the respective deposition of the electrocatalysts emulsions on the cathode and anode GDLs. The anodic and cathodic GDEs were prepared with 1 mg.cm-2 of the electrocatalyst of PtSn/C 20% (75:15) and of Pt/C (20:80), respectively, which were characterized by SEM-EDS. The physicochemical properties of the hydrocarbon membranes were similar to the Nafion® membrane ones. The potential values obtained in a DEFC prototype unit cell with FuMATech® membranes were lower than those with Nafion-117 membrane. On the other hand, the performance of the DEFC prototype with Nafion-117 membrane was the same if used GDEs commercial or here prepared.

This research first identifies some of the key concerns about the techniques and algorithms developed for distributed and parallel model checking; specifically, the inherent problem with load balancing and large queue sizes resultant in a static partition algorithm. This research then presents a load balancing algorithm to improve the run time performance in distributed model checking, reduce maximum queue size, and reduce the number of states expanded before error discovery. The load balancing algorithm is based on Generalized Dimension Exchange (GDE). This research presents an empirical analysis of the GDE based load balancing algorithm on three different supercomputing architectures---distributed memory clusters, Networks of Workstations (NOW) and shared memory machines. The analysis shows increased speedup, lower maximum queue sizes and fewer total states explored before error discovery on each of the architectures. Finally, this research presents a study of the communication overhead incurred by using the load balancing algorithm, which although significant, does not offset performance gains.

O objetivo desta tese foi investigar as possíveis influências do curso semipresencial Gênero e Diversidade na Escola (GDE) na compreensão de seis professoras de Ensino Fundamental da rede municipal de São José do Rio Preto (SP) sobre os significados do que pode está associado às diferentes formas de ser mulher e ser professora, sob a ótica das relações de gênero. Com ênfase na formação docente e na promoção de uma política de educação para a diversidade, o referido curso foi ofertado em 2009 pela Universidade Estadual Paulista Júlio de Mesquita Filho (UNESP), campus de Rio Claro. De abordagem qualitativa, a pesquisa utilizou os seguintes instrumentos metodológicos: 1) análise do registro das atividades efetuadas pelas professoras durante o curso; 2) realização e análise de entrevistas semiestruturadas, aplicadas em junho de 2014, com as professoras. A partir do exame do material obtido e tendo em vista as teorizações de Michel Foucault e dos Estudos Feministas, foi possível notar um movimento de reprodução e, ao mesmo tempo, de resistência a regras e discursos engendrados pela sociedade patriarcal a respeito das diferentes formas de ser mulher e ser professora. De modo geral, para essas professoras, o GDE se apresentou como um curso inovador, pois as fez estranhar, questionar e confrontar a visão essencialista que possuíam sobre a sexualidade e as relações de gênero. Todavia, as participantes relatam vários obstáculos tanto em suas vidas pessoais quanto no âmbito escolar que dificultam a efetivação do que aprenderam durante o curso. Tais obstáculos demonstram a força dos processos de socialização, bem como alguns aspectos que ainda precisam ser pensados e revisados em relação aos cursos que visam auxiliar o(a) professor(a) ao longo de seu desenvolvimento profissional docente. / The purpose of this thesis was to investigate possible influences of the blended learning course Gender and Diversity at School on the understanding of six Elementary School teachers of São José do Rio Preto (SP) about what it means to be woman and to be teacher, under the perspective of gender relations. By focusing on teacher formation and the promotion of a policy of education for diversity, the above mentioned course was held on 2009 by Universidade Estadual Paulista Júlio de Mesquita Filho (UNESP), Rio Claro campus. Based on qualitative approach, the research used the following methodological tools: 1) analysis of the activities undertaken by the teachers during the course; 2) conducting and analyzing semistructured interviews with the teachers. Based on the material collected, and according to Michel Foucaults theorizations as well as Feminist Studies, it was possible to notice a movement of reproduction and, at the same time, of resistance to rules and discourses engendered by patriarchal society about what is to be woman and to be teacher. Broadly speaking, for these teachers, the course presented itself as an innovative opportunity, stimulating them to deconstruct, question and confront their own essentialist views on sexuality and gender relations. Nonetheless, the course participants report several barriers both in their personal lives and in the school scope that make it difficult to put into practice what they learned during the course. Such barriers demonstrate the power of socialization processes, as well as some aspects that still need to be analyzed and reconsidered in relation to the courses which aim to assist teachers along their professional development.

O objetivo desta tese foi investigar as possíveis influências do curso semipresencial Gênero e Diversidade na Escola (GDE) na compreensão de seis professoras de Ensino Fundamental da rede municipal de São José do Rio Preto (SP) sobre os significados do que pode está associado às diferentes formas de ser mulher e ser professora, sob a ótica das relações de gênero. Com ênfase na formação docente e na promoção de uma política de educação para a diversidade, o referido curso foi ofertado em 2009 pela Universidade Estadual Paulista Júlio de Mesquita Filho (UNESP), campus de Rio Claro. De abordagem qualitativa, a pesquisa utilizou os seguintes instrumentos metodológicos: 1) análise do registro das atividades efetuadas pelas professoras durante o curso; 2) realização e análise de entrevistas semiestruturadas, aplicadas em junho de 2014, com as professoras. A partir do exame do material obtido e tendo em vista as teorizações de Michel Foucault e dos Estudos Feministas, foi possível notar um movimento de reprodução e, ao mesmo tempo, de resistência a regras e discursos engendrados pela sociedade patriarcal a respeito das diferentes formas de ser mulher e ser professora. De modo geral, para essas professoras, o GDE se apresentou como um curso inovador, pois as fez estranhar, questionar e confrontar a visão essencialista que possuíam sobre a sexualidade e as relações de gênero. Todavia, as participantes relatam vários obstáculos tanto em suas vidas pessoais quanto no âmbito escolar que dificultam a efetivação do que aprenderam durante o curso. Tais obstáculos demonstram a força dos processos de socialização, bem como alguns aspectos que ainda precisam ser pensados e revisados em relação aos cursos que visam auxiliar o(a) professor(a) ao longo de seu desenvolvimento profissional docente. / The purpose of this thesis was to investigate possible influences of the blended learning course Gender and Diversity at School on the understanding of six Elementary School teachers of São José do Rio Preto (SP) about what it means to be woman and to be teacher, under the perspective of gender relations. By focusing on teacher formation and the promotion of a policy of education for diversity, the above mentioned course was held on 2009 by Universidade Estadual Paulista Júlio de Mesquita Filho (UNESP), Rio Claro campus. Based on qualitative approach, the research used the following methodological tools: 1) analysis of the activities undertaken by the teachers during the course; 2) conducting and analyzing semistructured interviews with the teachers. Based on the material collected, and according to Michel Foucaults theorizations as well as Feminist Studies, it was possible to notice a movement of reproduction and, at the same time, of resistance to rules and discourses engendered by patriarchal society about what is to be woman and to be teacher. Broadly speaking, for these teachers, the course presented itself as an innovative opportunity, stimulating them to deconstruct, question and confront their own essentialist views on sexuality and gender relations. Nonetheless, the course participants report several barriers both in their personal lives and in the school scope that make it difficult to put into practice what they learned during the course. Such barriers demonstrate the power of socialization processes, as well as some aspects that still need to be analyzed and reconsidered in relation to the courses which aim to assist teachers along their professional development.

Des modèles de chimie transport permettent le suivi réaliste des polluants en phase gazeuse dans l'atmosphère. Cependant, lapollution atmosphérique se trouve aussi sous forme de fines particules en suspension, les aérosols, qui interagissent avec la phase gazeuse, le rayonnement solaire, et possèdent une dynamique propre. Cette thèse a pour objet la modélisation et la simulation numérique de l'Equation Générale de la Dynamique des aérosols (GDE). La partie I traite de quelques points théoriques de la modélisation des aérosols. La partie II est consacrée à l'élaboration du module d'aérosols résolu en taille (SIREAM). dans la partie III, on effectue la réduction du modèle en vue de son utilisation dans un modèle de dispersion tel que POLAIR3D. Plusieurs points de modélisation restent encore largement ouverts: la partie organique des aérosols, le mélange externe, le couplage à la turbulence, et les nano-particules.