Nous nous intéressons dans cette thèse à l’optimisation conjointe de forme et d’anisotropie pour les structures surfaciques. Nous nous focalisons dans un premier temps sur l’analyse de ces structures minces modélisées par des coques. Le modèle utilisé pour décrire le comportement mécanique est celui de Naghdi communément utilisé pour les coques modérément épaisses et qui permet de prendre en compte l’effet transverse de déformation. La discrétisation par méthode éléments finis est réalisée avec des éléments Lagrange standards de classe C0. Nous considerons la simulation d’assemblage de coques en utilisant la méthode des éléments finis avec joint (mortier). Cette méthode est flexible, elle est adaptée à l’utilisation de maillages localement raffinés et/ou non-conformes, c'est-à-dire non coïncidents. La deuxième partie se consacre à la définition d’un paramétrage pour la conception optimale de champ d’anisotropie. Notre approche se base sur l’utilisation conjointe du formalisme polaire pour représenter le tenseur d’élasticité et le principe isogéométrique permettant de paramétrer les champs d’anisotropie par des fonctions de type B-splines. La dernière partie est dédiée à l’optimisation conjointe de forme et de propriétés matériaux. Le nombre de paramètres d’optimisation dans l’approche proposée est maîtrisée puisque les paramètres d’optimisation sontles coordonnées des points de contrôle. Nous considérons principalement pour l’optimisation un critère detype compliance. / This thesis tackles the problem of the shape and anisotropy optimization of shell structures. The first part of this work focuses on the analysis of the shell model. The mechanical behavior of the structure is described using the Naghdi’s shell model which allows to take into account the transverse shear deformation. This model is typically used for shallow shells. We use a standard Lagrange C0 finite elements discretization and we numerically simulate the shell assemblings by means of the mortar technique. This approach enables the application of local refinements and the use of nonconforming mesh discretizations. The second part of this thesis aims at defining an effective parameterization for the optimal design of the shell’s distributed elastic properties. The method adopted is based on the joint use of a polar formalism to represent the elastic tensor and an isogeometric technique for the parameterization of the elastic tensor fields by CAD-based functions such as B-splines. The number of design variables thus only depends on the control points coordinates making the approach numerically manageable. The last part is devoted to the joint optimization of both the material properties and shape of the shell using the structure compliance as objective function.

Pastilhas de nitrato de potássio foram irradiadas no núcleo do reator de pesquisas IEA-R1m do Instituto de Pesquisas Energéticas e Nucleares, IPEN/CNEN-SP, operando a 2 MW de potência, para determinar a secção de choque térmica e integral de ressonância da reação 41K(n,g)42K. O fluxo de nêutrons foi monitorado com folhas de liga ouro-alumínio. As atividades induzidas nos alvos foram determinadas por espectroscopia gama com detectores de germânio hiper puro. Os cálculos realizados se basearam no formalismo de Westcott. Foram realizadas simulações com o código MCNP (Monte Carlo N-Particle) para determinar a auto-blindagem e a depressão do fluxo de nêutrons nas pastilhas durante as irradiações e os fatores de correção da eficiência de detecção para fontes volumétricas, que leva em conta a absorção de raios gama nas mesmas. Foi efetuado um tratamento estatístico das incertezas envolvidas e determinadas as covariâncias entre os resultados, incluindo aquelas decorrentes das incertezas do padrão de referência (ouro). Os resultados obtidos foram comparados com os de outros autores. Foi testada a possibilidade de se observar o produto da reação 41K(n,g)42K(n,g)43K. / Pellets of potassium nitrate were irradiated in the IPEN/CNEN-SP (Instituto de Pesquisas Energeticas e Nucleares, Comissao de Energia Nuclear, Sao Paulo, SP) IEAR1m reactor core operating at 2 MW power in order to determine the 41K(n,g)42K reaction thermal cross-section and resonance integral. The neutron flux was monitored by Au-Al alloy foils, and the Westcott formalism was applied. Neutron self-shielding, flux depression and gamma-ray self-absorption in the relatively large samples, as well as the gamma-ray detection efficiency correction factor, were determined by simulation with MCNP code. The data reduction statistical methods included the determination of the covariances between the obtained results and the standard cross-sections used (Au). The results were compared to those already published. The observation of the consecutive neutron capture reaction leading to 43K was tried.

[pt] A tese investiga a trajetória intelectual da crítica de arte, historiadora e professora da Columbia University, Rosalind Krauss. Dividida em cinco capítulos, a pesquisa contempla as fases históricas de seu exercício analítico, da década de 1960 aos dias atuais. Para isso, elege como ponto de partida a hipótese de seu percurso intelectual ser abordado enquanto sobreposições de correntes formalistas distintas, com especial destaque para o formalismo greenbergiano, o formalismo russo e o estruturalismo francês. Pretende-se comprovar que Krauss, mesmo em um contexto notadamente pluralista das práticas artísticas contemporâneas, jamais descarta refletir a respeito das estruturas formais que engendram as obras, isto é, de seus mediums. A obra da ensaísta é aqui considerada enquanto um prisma através do qual é possível identificar distintas vozes que circunscrevem o seu campo discursivo: a apologia histórica da arte abstrata de Clement Greenberg e Michael Fried; a geração de pensadores em torno dos periódicos estadunidenses Artforum e October; a fenomenologia de Merleau-Ponty, a filosofia analítica do segundo Wittgenstein, o estruturalismo de Roland Barthes e Jacques Lacan; e, ainda, o pós-estruturalismo de Jacques Derrida. Deseja-se, com isso, oferecer ao leitor brasileiro uma leitura crítica da obra completa de uma das principais vozes da crítica de arte contemporânea estadunidense. / [en] This thesis looks at the work of the art critic, art historian and professor of Columbia University, Rosalind Krauss. Organized in five chapters, it contemplates the historical phases of her intellectual trajectory, from the 1960s to the present day. The hypothesis that guides this work runs as follows: Krauss essays should be organized as overlapping layers of distinct formalist currents, with special emphasis on Greenbergian Formalism, Russian Formalism and French Structuralism. This research intends to demonstrate that Krauss, even in a remarkably pluralistic context of contemporary artistic practices, has never discarded reflecting on the formal structures that engender the art works, that is, their mediums. The essayist s contribution is here considered as a prism through which it is possible to identify distinct voices that circumscribe her discursive field: the historical apology of abstract art by Clement Greenberg and Michael Fried; The generation of thinkers around the American periodicals Artforum and October; Merleau-Ponty s phenomenology; later Wittgenstein s philosophy; Roland Barthes and Jacques Lacan s structuralism; And Jacques Derrida s poststructuralism as well. In short, this project offers to Brazilian readers a critical reading of the work done by one of the dominant voices of contemporary art criticism.

O trabalho trata das situações de incerteza na técnica processual civil, analisando causas, efeitos e, principalmente, meios adequados para o tratamento dessas situações. Defende a idéia de que os litigantes não podem ter seus direitos processuais cerceados pela falta de objetividade na técnica processual, circunstância na qual deverá ser privilegiada a eficácia dos atos das partes. Nos três primeiros capítulos, é estudada a função do processo perante o direito material (aspecto positivo da instrumentalidade do processo), seu formalismo e sua flexibilidade, acentuando-se a aplicação da instrumentalidade das formas e do dever de saneamento das irregularidades processuais (aspecto negativo da instrumentalidade do processo). No capítulo quarto, são identificadas as crises de certeza no direito processual, suas fontes e os melhores meios de se evitá-las. No capítulo quinto, é justificada, à luz do direito processual vigente, a necessidade de manutenção da eficácia dos atos processuais realizados em zonas de incerteza. Por fim, nos capítulos seis e sete, o trabalho trata da fungibilidade recursal e da incerteza relativa aos pressupostos formais da ação rescisória, propondo meios de se permitir que os atos processuais realizados em zonas de incerteza produzam todos os seus efeitos, ainda que a opção dos litigantes divirja daquela adotada pelo juiz. / The present dissertation deals with the uncertainty about Brazilian civil procedure techniques, analyzing causes, effects and, chiefly, adequate means of treatment of such issues. It argues that the litigants may not have their procedural rights suppressed by the lack of objectivity on procedural law, situation in which the efficacy of their acts must be privileged. In the first three chapters, it studies the function of the procedural Law considering the substantive Law (positive aspect of procedural instrumentality), its formalism and its flexibility, enhancing the applicability of the norm of instrumentality of the forms and the judges obligation of remedying procedural irregularities (negative aspect of procedural instrumentality). In chapter four, crises of uncertainty of procedural law are identified, its sources as well as the best ways to avoid them. In chapter five, the needs of maintaining the efficacy of the parties acts in situations of uncertainty are justified considering the current procedural Law. At last, in chapters six and seven, the study addresses the rule of commingling remedies and the matter of uncertainty related to the procedural requisites of the termination action, proposing that the procedural acts performed in zones of uncertainty will produce all their effects, even if the option made by the litigants be different from that made by the judge.

Les objectifs ambitieux, fixés aux acteurs du secteur automobile par les pouvoirs publics, en matière d'émission de polluants et de gaz à effet de serre rendent aujourd'hui indispensable une compréhension plus fine de la combustion dans les moteurs. La simulation 3D aux grandes échelles (LES) représente une voie prometteuse pour répondre à ces enjeux. Elle permet l'étude de phénomènes transitoires complexes inaccessibles avec des moyens expérimentaux ou des méthodes de calculs traditionnelles de type RANS. Ce travail de thèse est une première étape vers la simulation LES de l'injection de carburant liquide dans les moteurs à piston. Il a consisté à adapter le code de calcul aux particularités physiques de l'injection directe, technologie qui se généralise actuellement à tous les types de moteurs à piston. Dans un premier temps, et afin de s'affranchir du calcul 3D complexe en sortie d'injecteur, une méthodologie originale, consistant à initier le calcul en aval de l'injecteur, est proposée et validée sur différents cas. Pour la simulation 3D, l'approche Eulérienne mésoscopique, à laquelle est ajouté un modèle d'interaction particules-particules, est utilisée pour simuler le spray. Les simulations ont été premièrement validées par comparaison expérimentale dans des conditions proches de l'injection Diesel. De plus, une étude sur la dynamique du spray a permis de mieux comprendre son évolution et de dégager des points communs avec un jet de gaz turbulent. Des simulations complémentaires ont également montré la prédictivité de la LES sur des injections Diesel réalistes. Enfin, un premier calcul moteur à injection directe a été réalisé et a permis de valider les développements réalisés dans le cadre de cette thèse. / Car manufacturers are facing increasingly severe regulations on pollutant emissions and fuel consumption. To respect these regulations, a better understanding of combustion processes is needed. Large Eddy Simulation (LES) is becoming a promising tool for such issues as it allows the study of complex unsteady phenomena which can not be analysed with RANS simulations or experiments. The present work is a step towards the LES of liquid injection in piston engines. The numerical code has been adapted to the specifications of Direct Injection which is more and more used in industry. Firstly, in order to avoid the difficulties linked to the 3D simulation of cavitation, primary break-up and turbulence in the near-nozzle region, an original methodology, based on an injector model, has been proposed. The idea is to initiate the spray physics downstream to the injector exit. Then LES 3D simulations of spray have been conducted using the Eulerian Mesoscopic approach extended to dense dispersed sprays by the addition of a particle-particle interactions model. The simulation results have been validated by comparison with experimental data in Diesel conditions with a low injection pressure. Furthermore a study on the spray dynamics has permitted to better understand its development and to find similarities with a turbulent gaseous jet. Additional simulations on realistic Diesel injection conditions have shown the good predictivity of LES in such cases. Finally, a first simulation of a Direct Injection Engine has been been carried out to assess the developments achieved in this work.

As expectativas da Organização Mundial de Saúde para o ano de 2030 são que o número de mortes por câncer seja de aproximadamente 13,2 milhões, evidenciando a elevada parcela desta doença no problema de saúde mundial. Com relação ao câncer de próstata, de acordo com o Instituto Nacional do Câncer, o número de casos diagnosticados no mundo em 2012 foi de aproximadamente 1,1 milhão, enquanto que no Brasil os dados indicam a incidência de 68 mil novos casos. O tratamento deste tipo de neoplasia pode ser realizado com cirurgia (prostatectomia) ou radioterapia. Dentre a radioterapia, podemos destacar a técnica de braquiterapia, a qual consiste na introdução (implante) de pequenas fontes radioativas (sementes) no interior da próstata, onde será entregue um valor elevado de dose no volume de tratamento e baixa dose nos tecidos ao redor. No Brasil, a classe médica estima uma demanda de aproximadamente 8000 sementes/mês, sendo o custo unitário de cada semente de pelo menos U$ 26,00. A Associação Americana de Físicos na Medicina publicou alguns documentos descrevendo quais parâmetros e análises devem ser realizadas para avaliações da distribuição de dose, como por exemplo, os parâmetros Constante de taxa de dose, Função radial e Função de anisotropia. Estes parâmetros podem ser obtidos através de medidas experimentais da distribuição de dose ou por simulações computacionais. Neste trabalho foram determinados os parâmetros dosimétricos da semente OncoSeed-6711 da empresa Oncura-GEHealthcare e da semente desenvolvida pelo Grupo de Dosimetria de Fontes de Braquiterapia do Centro de Tecnologia das Radiações (CTR IPEN-CNEN/SP) por simulação computacional da distribuição de dose utilizando o código MCNP5, baseado no Método de Monte Carlo. A semente 6711 foi modelada, assim como um sistema dosimétrico constituído por um objeto simulador cúbico de 30x30x30 cm3 preenchido com água. Os valores obtidos da semente 6711 foram comparados com alguns apresentados na literatura, onde o parâmetro Constante de taxa de dose apresentou erro relativo em relação ao valor publicado no TG- 43 de 0,1%, sendo que os outros parâmetros analisados também apresentaram boa concordância com os valores publicados na literatura. Deste modo, pode-se considerar que os parâmetros utilizados nas simulações (espectro, modelagem geométrica e avaliação de resultados) estão compatíveis com outros estudos, sendo estes parâmetros também utilizados nas simulações da semente do IPEN. Considerando as análises de incerteza estatística, os valores obtidos da semente do IPEN são semelhantes aos valores da semente 6711. / Expectations of the World Health Organization for the year 2030 are that the number of cancer deaths is approximately 13.2 million, reflecting the high proportion of this disease in global health issue. With respect to prostate cancer, according to the National Cancer Institute, the number of cases diagnosed worldwide in 2012 was approximately 1.1 million, while in Brazil the data demonstrated the incidence of 68,000 new cases. The treatment of cancer can be performed with surgery (prostatectomy) or radiation therapy. Among radiotherapy, we can highlight the brachytherapy technique, which consists in the introduction of small radioactive sources (seeds) within the prostate, which is delivered a high dose value in the treatment volume and low dose in the surrounding tissues. In Brazil, the medical profession estimates a demand of approximately 8000 seeds / month, and the unit cost of each seed at least US $ 26.00. The AAPM protocol TG-43 recommend the dose-rate constant, radial dose function and anisotropy function for dosimetric analysis LDR brachytherapy seeds. In this work, Monte Carlo simulations were performed in order to assess the dosimetric parameters of the OncoSeed-6711, manufactured by Oncura-GEHealthcare, and a seed developed by Radiation Technology Center, using the MCNP5 code. A 6711 seed, anIPEN seed and the 30x30x30cm3phantom filled with water were modeled to simulatethe dose distribution. The 6711 seed parameters were compared with literature, and the results presented relative error less than 0.1% for Λ. In comparison with the 6711 seed, the IPEN model seed dosimetric parameters were similar, account the statistical uncertainty.

Este trabalho trata da relação entre a teoria formalista do direito elaborada por Ernest Weinrib e sua teoria de fundamentação da responsabilidade civil derivada do formalismo. O objetivo do trabalho é mostrar que, apesar de o formalismo apresentar uma formulação distintiva e inovadora de racionalidade jurídica, que enfatiza a relação entre forma e conteúdo do direito, o modelo de racionalidade jurídica do formalismo não fornece uma explicação adequada para algumas áreas do direito e, especificamente no caso da responsabilidade civil, da responsabilidade objetiva, que, nessa visão, é considerada um erro jurídico. O formalismo jurídico weinribiano é um projeto teórico ambicioso que a um só tempo procura rechaçar posições céticas como os estudos críticos do direito (critical legal studies) e posições instrumentalistas, especialmente a análise econômica do direito e o positivismo jurídico. Ele apresenta uma teoria geral que mostra o direito como um lócus de racionalidade moral imanente e um método, fundado na inteligibilidade imanente, para compreender essa racionalidade e ver o direito como um fenômeno autônomo em relação à política e a outras esferas de racionalidade. O método formalista permite a intelecção do direito como um fenômeno imanentemente coerente por meio da apreensão das estruturas organizadoras e justificadoras implícitas nos arranjos jurídicos, isto é, as formas da justiça corretiva e da justiça distributiva. Com base nisso, o formalismo sustenta que a forma imanente ao direito privado e, consequentemente, à responsabilidade civil é a justiça corretiva. Este trabalho reconstrói criticamente as principais teses que integram o formalismo e que são fundamentais para entender a rejeição à responsabilidade objetiva, considerada uma monstruosidade conceitual, com especial ênfase na premissa epistemológica formalista da inteligibilidade imanente como a melhor maneira de se compreender o direito e na premissa da coerência estrutural que os arranjos jurídicos devem apresentar. A tese discute o modo como o formalismo jurídico se insere no debate metodológico contemporâneo, definindo o formalismo jurídico como uma teoria de avaliação e justificação jurídica e, portanto, dotada de uma dimensão prescritiva, e apresentando o impacto dessa definição na postura que o formalismo assume em relação à responsabilidade objetiva. A tese ainda analisa a relação entre essa dimensão prescritiva e o posicionamento do formalismo em relação à responsabilidade objetiva, rotulando-a de erro jurídico, e conclui com uma discussão sobre as razões desse posicionamento que, argumentase, é equivocado , que se baseiam na assunção das premissas da inteligibilidade imanente e do critério de coerência estrita que marcam o método de conhecimento formalista. / This dissertation focuses on the relationship between juridical formalism as elaborated by Ernest Weinrib and his theory of the foundation of tort law. The dissertation argues that despite formalisms distinctive and innovative account of legal rationality that emphasizes the relationship between laws form and substance, this account does not provide an adequate explanation for specific areas of law. Particularly in the case of tort law it does not adequately explain strict liability, which is deemed a juridical error. Weinribs juridical formalism is an ambitious theoretical project that challenges: skeptical accounts of law, such as critical legal studies; instrumentalists account of law exemplified by economical analysis of law; and juridical positivism. Weinribs theory attempts to explain law as a locus of immanent moral rationality. The theory is based on a methodology that adopts the premise of immanent intelligibility as a way to comprehend this rationality. This approach allows the theorist to grasp law as a phenomenon autonomous from politics and other spheres of rationality. The formalist method allows the intelligibility of law as an immanently coherent phenomenon through the apprehension of the organizing and justifying structures implicit in juridical arrangements, i.e., the forms of corrective justice and distributive justice with which formalism argues that the immanent form of private law and, therefore, of tort law is corrective justice. This dissertation reconstructs critically the main theses that support formalism, which are essential to understanding its rejection of strict liability considered a conceptual monstrosity. This dissertation focuses on the formalist epistemological assumption of immanent intelligibility as the best way of comprehending law and on the premise of internal structural coherence that juridical arrangements should display. This thesis discusses the way in which juridical formalism can be located within the contemporary methodological debate, and defines formalism as an evaluative and justificatory juridical theory. As such, formalism encompasses a prescriptive dimension. This dissertation also identifies how the definition of formalism as a prescriptive theory impacts on its analysis of strict liability. The dissertation then analyses the relationship between this prescriptive dimension and the formalist position regarding strict liability. It concludes that formalisms mistake regarding strict liability can be traced back to its epistemological assumptions regarding immanent intelligibility and coherence.

Made available in DSpace on 2016-03-15T19:34:06Z (GMT). No. of bitstreams: 1 Gabriel Barreira Bressan.pdf: 1154120 bytes, checksum: a7375b6d9effc4d63b25e4ea2e3832ce (MD5) Previous issue date: 2014-02-04 / This paper discusses the changes highlighted in the New Civil Code project in your text , however, before entering in specific situations was seeking what had changed , so that a new procedural law was necessary. Plan, the first response was found to promulgation of the Federal Constitution of 1988, which brought profound sociological, philosophical and theoretical amendments to the Constitutional Law, allowing for a period called neoconstitutionalism. Due to neoconstitutionalism and its change of historical, philosophical and theoretical framework, the modification of the feature of the process, which also happened to be new, because it was guided by the Constitution, because of the constitutionalization process as well as the obligation to have occurred effect of the centrality of the constitutional text, ie to ensure the fundamental rights. Thus, this period became known as neoprocessualismo, at what stage would have appeared different methodological step of procedural law , known as formalism - evaluative , because the process beyond the way that safeguards the legal certainty is represented by values. In this intellection , it is for the magistrate to decide the deal fairly , arriving at a fair , qualified results , through a procedure that is fair, with effectiveness , ie , within a reasonable time , however, with respect to all guarantees established instrumental in the constitution , this is in regard to legal certainty. / O presente trabalho discute as mudanças apontadas no projeto do Novo Código Civil, em seu texto, porém, antes de adentrar nas situações específicas foi buscar o que havia mudado, para que fosse necessário um novo diploma processual. De plano, a primeira resposta encontrada foi a promulgação da Constituição Federal de 1988, que trouxe profundas alterações sociológicas, filosóficas e teóricas para o Direito Constitucional, ensejando um período denominado de neoconstitucionalismo. Em decorrência do Neoconstitucionalismo e sua mudança de marco histórico, filosófico e teórico, ocorreu a modificação da feição do processo, que passava a ser novo também, pois pautava-se na Constituição, em razão da constitucionalização do processo, bem como por ter a obrigação de efetivar a centralidade do texto constitucional, ou seja, de assegurar os direitos fundamentais. Deste modo, esse período ficou conhecido como neoprocessualismo, fase na qual teria surgido outra etapa metodológica do direito processual, conhecida por formalismo-valorativo, pois o processo para além da forma que salvaguarda a segurança jurídica é representado por valores. Nessa intelecção, cabe ao magistrado decidir a lide de forma justa, chegando à um resultado justo, qualificado, por meio de um procedimento que seja justo, com efetividade, ou seja, em tempo razoável, porém, com respeito a todas as garantias instrumentais fixadas na Constituição, isto é, em respeito a segurança jurídica.

A condutância de fios quânticos definidos em uma geometria de \"split gate\" varia em platôs quantizados de 2e2/h em relação à ocupação dos seus modos transversais [van Wees et al. Phys. Rev. Lett. 60, 848 (1988) & Wharam et al. J. Phys. C: solid state phys. 21, L209 (1988)]. Em gráficos da condutância esta ocupação é dada pelo potencial aplicado aos eletrodos que formam o fio. Em 1996 observou-se experimentalmente nestes gráficos [Thomas et al. Phys. Rev. Lett. 77, 135 (1996)] que quando apenas um modo transversal é ocupado a condutância exibe um platô anômalo adicional em 0.7X2e2/h. Desde então, a origem desta anomalia 0.7 é associada a fenômenos dependentes de spin, porém sua descrição teórica permanece como importante objeto de pesquisa. Recentemente, observou-se que na presença de altos campos magnéticos, cruzamentos de modos transversais de spins opostos também geram estruturas anômalas no gráfico da condutância [Graham etal. Phys. Rev. Lett. 91, 136404 (2003)]. Os análogos 0.7, assim chamados devido à semelhança com a anomalia 0.7, são usualmente relacionados ou como anti-crossings ou como transições de fase magnética. Motivado pela concordância quantitativa com experimentos de um trabalho anterior em magnetotransporte em 2DEGs e transições de fase de ferromagnetismo de efeito Hall quântico via teoria do funcional da densidade dependente de spin (SDFT) [Freire e Egues, Phys. Rev. Lett. 99, 026801 (2007) & Ferreira et al. Phys. Stat. Sol. (c) 3, 4364 (2006)], propomos aqui um modelo similar para estudar na magnetocondutância de fios quânticos. Utilizamos (i) a SDFT resolvendo as equações de Kohn-Sham autoconsistentemente dentro da aproximação de densidade local de spin para obter a estrutura eletrônica do fio quântico e (ii) o formalismo de Landauer-Büttiker para calcular a condutância do fio no regime de resposta linear. Em nosso modelo, a anomalia e os análogos 0.7 aparecem devido a transições ferromagnéticas que rearranjam de forma abrupta os modos transversais do fio quântico próximos ao nível de Fermi. Nossos resultados teóricos apresentam boa concordância com os dados de Graham et al. / At low temperatures the conductance of a quantum wires exhibits plateaus at integer multiples of 2e2/h due to the quantization of the transverse modes [van Wees et al. Phys. Rev. Lett. 60, 848 (1988) & Wharam et al. J. Phys. C: solid state phys. 21, L209 (1988)]. This conductance behavior is understood within an independent particles model. In 1996 Thomas et al.[Phys. Rev. Lett. 77, 135 (1996)] showed experimentally that when only one transverse mode is occupied, the conductance displays an additional plateau at 0.7 X 2e2/h the so-called 0.7 anomaly. Further experiments have shown that in the presence of high in-plane magnetic fields, similar structures also appear in the conductance near the crossings of spin-split transverse modes [Graham et al. Phys. Rev. Lett. 91, 136404 (2003)]. These so-called 0.7 analogs, due to their similarity to the 0.7 anomaly, are usually related to either anti-crossings or magnetic phase transitions. Motivated by the quantitative agreement with experiments of a previous theoretical work on magnetotransport in 2DEGs and quantum Hall ferromagnetic phase transitions via the Spin Density Functional Theory (SDFT) [Freire and Egues, Phys. Rev. Lett. 99, 026801 (2007) & Ferreira et al. Phys. Stat. Sol. (c) 3, 4364 (2006)], here we propose a similar model to investigate the magnetoconductance of interacting quantum wires. We use (i) the SDFT via the Kohn-Sham self-consistent scheme within the local spin density approximation to obtain the quantum wire electronic structure and (ii) the Landauer-Büttiker formalism to calculate the conductance of a quantum wire in the linear response regime. Our results show good agreement with the data of Graham et al.

De manière générale, en informatique, les vulnérabilités logicielles sont définies comme des cas particuliers de fonctionnements non attendus du système menant à la dégradation des propriétés de sécurité ou à la violation de la politique de sécurité. Ces vulnérabilités peuvent être exploitées par des utilisateurs malveillants comme brèches de sécurité. Comme la documentation sur les vulnérabilités n'est pas toujours disponible pour les développeurs et que les outils qu'ils utilisent ne leur permettent pas de les détecter et les éviter, l'industrie du logiciel continue à être paralysée par des failles de sécurité. Nos travaux de recherche s'inscrivent dans le cadre du projet Européen SHIELDS et portent sur les techniques de modélisation et de détection formelles de vulnérabilités. Dans ce domaine, les approches existantes sont peu nombreuses et ne se basent pas toujours sur une modélisation formelle précise des vulnérabilités qu'elles traitent. De plus, les outils de détection sous-jacents produisent un nombre conséquent de faux positifs/négatifs. Notons également qu'il est assez difficile pour un développeur de savoir quelles vulnérabilités sont détectées par chaque outil vu que ces derniers sont très peu documentés. En résumé, les contributions réalisées dans le cadre de cette thèse sont les suivantes: Définition d'un formalisme tabulaire de description de vulnérabilités appelé template. Définition d'un langage formel, appelé Condition de Détection de Vulnérabilité (VDC). Une approche de génération de VDCs à partir des templates. Définition d'une approche de détection de vulnérabilités combinant le model checking et l'injection de fautes. Évaluation des deux approches / In general, computer software vulnerabilities are defined as special cases where an unexpected behavior of the system leads to the degradation of security properties or the violation of security policies. These vulnerabilities can be exploited by malicious users or systems impacting the security and/or operation of the attacked system. Since the literature on vulnerabilities is not always available to developers and the used tools do not allow detecting and avoiding them; the software industry continues to be affected by security breaches. Therefore, the detection of vulnerabilities in software has become a major concern and research area. Our research was done under the scope of the SHIELDS European project and focuses specifically on modeling techniques and formal detection of vulnerabilities. In this area, existing approaches are limited and do not always rely on a precise formal modeling of the vulnerabilities they target. Additionally detection tools produce a significant number of false positives/negatives. Note also that it is quite difficult for a developer to know what vulnerabilities are detected by each tool because they are not well documented. Under this context the contributions made in this thesis are: Definition of a formalism called template. Definition of a formal language, called Vulnerability Detection Condition (VDC), which can accurately model the occurrence of a vulnerability. Also a method to generate VDCs from templates has been defined. Defining a second approach for detecting vulnerabilities which combines model checking and fault injection techniques. Experiments on both approaches