Apresentamos neste trabalho algumas propriedades do transporte de cargas de heteroestruturas contendo pontos-quânticos. Três tópicos foram explorados: no primeiro, observamos um comportamento anômalo nos platôs do efeito Hall quântico, que atribuímos à existência de estados de borda contra-rotativos; no segundo, determinamos o tempo de decoerência do sistema bidimensional de elétrons em função do estágio evolutivo de pontos-quânticos de InAs autoformados nas suas proximidades. Concluímos que a tensão mecânica acumulada durante o crescimento epitaxial \"congela\" os elétrons, reduzindo a taxa de decoerência; finalmente, testamos algumas das possíveis configurações de heteroestruturas visando a construção de fotodetectores baseados em pontos-quânticos. Observamos que a repetição da região-ativa pode ser utilizada como um parâmetro no controle das mobilidades quânticas e, por conseguinte, das propriedades de operação desses detectores. / In this work we present transport properties of heterostructures with quantum-dots. Three subjects were exploited: on the first one, we observed anomalous quantum Hall plateaus, for wich we attributed to the existence of counter-rotating edge-states; on the second subject, we determined the decoherence time of the bidimensional electron system as a function of the evolutionary stage of nearby self-assembled quantum-dots. We concluded the mechanical stress accumulated during the epitaxial growth \"freezes\" the electrons, reducing the decoherence rate; finally, we tested some base-heterostructures of infrared photodetectors. We observed the stacking of active-regions can be used as a parameter to control quantum-mobilities and, as a consequence, the operation properties of such detectors.

High-level language virtual machines (HLL VMs) have been playing a key role as a mechanism for implementing programming languages. Languages that run on these execution environments have many advantages over languages that are compiled to native code. These advantages have led HLL VMs to gain broad acceptance in both academy and industry. However, much of the research in this area has been devoted to boosting the performance of these execution environments. Few eorts have attempted to introduce features that automate or facilitate some software engineering activities, including software testing. This research argues that HLL VMs provide a reasonable basis for building an integrated software testing environment. To this end, two software testing features that build on the characteristics of a Java virtual machine (JVM) were devised. The purpose of the rst feature is to automate weak mutation. Augmented with mutation support, the chosen JVM achieved speedups of as much as 95% in comparison to a strong mutation tool. To support the testing of concurrent programs, the second feature is concerned with enabling the deterministic re-execution of Java programs and exploration of new scheduling sequences / Máquinas virtuais de linguagens de programação têm desempenhado um papel importante como mecanismo para a implementação de linguagens de programação. Linguagens voltadas para esses ambientes de execução possuem várias vantagens em relação às linguagens compiladas. Essas vantagens fizeram com que tais ambientes de execução se tornassem amplamente utilizados pela indústria e academia. Entretanto, a maioria dos estudos nessa area têm se dedicado a aprimorar o desempenho desses ambientes de execução e poucos têm enfocado o desenvolvimento de funcionalidades que automatizem ou facilitem a condução de atividades de engenharia de software, incluindo atividades de teste de software. Este trabalho apresenta indícios de que máquinas virtuais de linguagens de programação podem apoiar a criação de ambientes de teste de software integrado. Para tal, duas funcionalidades que tiram proveito das características de uma máquina virtual Java foram desenvolvidas. O propósito da primeira funcionalidade e automatizar a condução de atividades de mutação fraca. Após a implementação de tal funcionalidade na máquina virtual Java selecionada, observou-se um desempenho até 95% melhor em relação a uma ferramenta de mutação forte. Afim de apoiar o teste de programas concorrentes, a segunda funcionalidade permite reexecutá-los de forma determinística além de automatizar a exploração de que novas sequências de escalonamento

[pt] Nesse trabalho, calcula-se a dinâmica de sistemas contínuos unidimensionais. Problemas de barras e vigas com diferentes condições de contorno e condições intermediárias são tratados no contexto da formulação fraca para que seja aplicado o Método de Elementos Finitos; e então seja possível calcular as aproximações das freqüências naturais e dos modos de vibração do sistema. Uma vez conhecidos os modos (exata ou aproximadamente), constrói-se um modelo reduzido de equações diferenciais ordinárias e, então, calcula-se a dinâmica do sistema. Essa dissertação propõe um material didático a ser utilizado no curso de Vibrações, com o intuito de auxiliar os alunos de graduação no estudo de sistemas contínuos, através do desenvolvimento da formulação fraca e aplicação do MEF. / [en] In this work, the dynamic of one-dimensional continuum systems is calculated. Problems of bars and beams with different boundary and intermediate conditions are treated in the context of weak formulation, so the Finite Element Method (FEM) can be applied; and it is possible to calculate the approximation of natural frequencies and vibration modes of the system. Once the modes are known (exactly or approximately), a reduced-model of ordinary differential equations is constructed and the dynamic of the system is calculated. This essay proposes a didactic material to be used at the Vibration course, with the purpose to help undergraduate students in the studies of continuum systems, through the development of the weak formulation and the application of the FEM.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-09T16:42:35Z No. of bitstreams: 1 EMANUELA RÉGIA DE SOUSA COELHO - DISSERTAÇÃO PPGMAT 2014..pdf: 722841 bytes, checksum: 35c227da51e1da58846c5d7bdb22cd7f (MD5) / Made available in DSpace on 2018-08-09T16:42:35Z (GMT). No. of bitstreams: 1 EMANUELA RÉGIA DE SOUSA COELHO - DISSERTAÇÃO PPGMAT 2014..pdf: 722841 bytes, checksum: 35c227da51e1da58846c5d7bdb22cd7f (MD5) Previous issue date: 2014-02 / Capes / Para ler o reumo deste trabalho recomendamos o download do arquivo, pois o mesmo possui fórmulas e caracteres matemáticos que não foram possíveis transcreve-los. / To read the progress of this work we recommend downloading the file, as it has formulas and mathematical characters that could not be transcribed.

Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-16T18:48:37Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-22T14:06:59Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-22T18:09:13Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-22T18:12:23Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-22T19:44:21Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-23T11:57:14Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-23T12:57:56Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-23T13:16:32Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-23T13:34:44Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-23T17:24:54Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-23T17:29:02Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-24T12:05:25Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-24T12:39:44Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-24T16:47:38Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-24T17:31:21Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-27T11:40:49Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-27T12:31:50Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-27T13:03:16Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-27T18:08:08Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-28T12:13:07Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-28T14:22:46Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-28T14:31:57Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-28T14:37:46Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-28T19:04:28Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Approved for entry into archive by Elza Mitiko Sato null (elzasato@ibilce.unesp.br) on 2017-11-30T17:48:32Z (GMT) No. of bitstreams: 1 marini_mc_me_sjrp.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Made available in DSpace on 2017-11-30T17:48:32Z (GMT). No. of bitstreams: 1 marini_mc_me_sjrp.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) Previous issue date: 2017-09-25 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / O Teorema de Borsuk-Ulam clássico afirma que: “Se f : Sn → IRn é uma aplicação contínua, entãoexisteumponto x em Sn talque f(x) = f(−x), ouequivalentemente f(x) = f(A(x)), onde Sn indica a esfera unitária n-dimensional e A : Sn → Sn é a aplicação antipodal”. Se pensamos na superfície terrestre como uma esfera, o caso n = 2 pode ser ilustrado dizendo-se que em cada instante, existe sempre um par de pontos antipodais na superfície da Terra com mesma temperatura e pressão barométrica (supondo que a temperatura e a pressão variam continuamente na superfície). Este trabalho é baseado no artigo “Some generalizations of the Borsuk-Ulam Theorem” de Vendrúsculo, Desideri e Pergher (2011), [8], e tem como principal objetivo apresentar um estudo de uma versão fraca do Teorema de Borsuk-Ulam associada a grupos topológicos. Diz-se que {(X,T);G}, onde X é um espaço topológico equipado por uma involução livre T e G é um grupo topológico, “satisfaz uma versão fraca do Teorema de Borsuk-Ulam”, abreviadamente, “satisfaz WBUT”, se, para cada aplicação contínua f : X → G, temos que o conjunto {x ∈ X; f(x) · f(T(x))−1 ∈ 2G} é diferente do vazio, onde f(T(x))−1 é o simétrico de f(T(x)) em G e 2G = {g ∈ G; g = g−1}. Neste trabalho, relacionamos essa condição fraca com a condição geral de “satisfazer o Teorema de Borsuk-Ulam” (ou “satisfazer BUT”) dada também pelos autores; apresentamos alguns exemplos; considerando G = T2 (toro), detalhamos a demonstração de um resultado que estabelece um critério algébrico para que {(X,T);T2} satisfaça a condição WBUT e de um resultado que dá uma equivalência entre a versão fraca WBUT para triplas {(S,T);T2} e a condição BUT para {(S,T);IR2}, sendo S uma superfície fechada. Por fim, apresentamos um invariante topológico obtido da versão WBUT. Tal invariante, por nós definido, é similar ao obtido da condição BUT e apresentado pelos autores citados. / The classical Borsuk-Ulam Theorem states that: “If f : Sn → IRn is any continuous map, then there exists a point x in Sn such that f(x) = f(−x), or equivalently f(x) = f(A(x)), where Sn denotes the n-dimensional unit sphere and A : Sn → Sn is the antipodal map”. If we think of the Earth’s surface as a sphere, the case n = 2 can be illustrated by saying that at every instant there is always a pair of antipodal points on the Earth’s surface with the same temperature and barometric pressure (assuming that the temperature and pressure vary continuously in the surface). This work is based on the article “Some generalizations of Borsuk-Ulam Theorem” by Ven drúsculo, Desideri and Pergher (2011), [8], and has the main purpose of presenting a study of a weak version of the Borsuk-Ulam Theorem associated with topolog ical groups. It is said that {(X,T);G}, where X is a topological space equipped with a free involution T and G is a topological group “satisfies a Weak version of the Borsuk-Ulam Theorem”, abbreviatedly, “satisfies WBUT” if, given any continuous map f : X → Y , the set {x ∈ X; f(x) · f(T(x))−1 ∈ 2G} is non empty, where f(T(x))−1 is the symmetric of f(T(x)) in G and 2G = {g ∈ G; g = g−1}. In this work, we relate this weak condition with the more general condition of “satisfying the Borsuk-Ulam Theorem” (or “satisfying BUT”) also given by the authors; we present some examples; considering G = T2 (torus), we detail the proof of a result that establishes an algebraic criterion for {(X,T);T2} satisfy the condition WBUT, and of a result that gives an equivalence between the weak version WBUT for triples {(S,T);T2} and the condition BUT for {(S,T);IR2}, where S is a closed surface and T is a free involution on S. Finally, we present a topological invariant obtained from the WBUT version. Such invariant, defined by us, is similar to that obtained from the BUT condition and presented by the cited authors.

Apresentamos neste trabalho algumas propriedades do transporte de cargas de heteroestruturas contendo pontos-quânticos. Três tópicos foram explorados: no primeiro, observamos um comportamento anômalo nos platôs do efeito Hall quântico, que atribuímos à existência de estados de borda contra-rotativos; no segundo, determinamos o tempo de decoerência do sistema bidimensional de elétrons em função do estágio evolutivo de pontos-quânticos de InAs autoformados nas suas proximidades. Concluímos que a tensão mecânica acumulada durante o crescimento epitaxial \"congela\" os elétrons, reduzindo a taxa de decoerência; finalmente, testamos algumas das possíveis configurações de heteroestruturas visando a construção de fotodetectores baseados em pontos-quânticos. Observamos que a repetição da região-ativa pode ser utilizada como um parâmetro no controle das mobilidades quânticas e, por conseguinte, das propriedades de operação desses detectores. / In this work we present transport properties of heterostructures with quantum-dots. Three subjects were exploited: on the first one, we observed anomalous quantum Hall plateaus, for wich we attributed to the existence of counter-rotating edge-states; on the second subject, we determined the decoherence time of the bidimensional electron system as a function of the evolutionary stage of nearby self-assembled quantum-dots. We concluded the mechanical stress accumulated during the epitaxial growth \"freezes\" the electrons, reducing the decoherence rate; finally, we tested some base-heterostructures of infrared photodetectors. We observed the stacking of active-regions can be used as a parameter to control quantum-mobilities and, as a consequence, the operation properties of such detectors.

High-level language virtual machines (HLL VMs) have been playing a key role as a mechanism for implementing programming languages. Languages that run on these execution environments have many advantages over languages that are compiled to native code. These advantages have led HLL VMs to gain broad acceptance in both academy and industry. However, much of the research in this area has been devoted to boosting the performance of these execution environments. Few eorts have attempted to introduce features that automate or facilitate some software engineering activities, including software testing. This research argues that HLL VMs provide a reasonable basis for building an integrated software testing environment. To this end, two software testing features that build on the characteristics of a Java virtual machine (JVM) were devised. The purpose of the rst feature is to automate weak mutation. Augmented with mutation support, the chosen JVM achieved speedups of as much as 95% in comparison to a strong mutation tool. To support the testing of concurrent programs, the second feature is concerned with enabling the deterministic re-execution of Java programs and exploration of new scheduling sequences / Máquinas virtuais de linguagens de programação têm desempenhado um papel importante como mecanismo para a implementação de linguagens de programação. Linguagens voltadas para esses ambientes de execução possuem várias vantagens em relação às linguagens compiladas. Essas vantagens fizeram com que tais ambientes de execução se tornassem amplamente utilizados pela indústria e academia. Entretanto, a maioria dos estudos nessa area têm se dedicado a aprimorar o desempenho desses ambientes de execução e poucos têm enfocado o desenvolvimento de funcionalidades que automatizem ou facilitem a condução de atividades de engenharia de software, incluindo atividades de teste de software. Este trabalho apresenta indícios de que máquinas virtuais de linguagens de programação podem apoiar a criação de ambientes de teste de software integrado. Para tal, duas funcionalidades que tiram proveito das características de uma máquina virtual Java foram desenvolvidas. O propósito da primeira funcionalidade e automatizar a condução de atividades de mutação fraca. Após a implementação de tal funcionalidade na máquina virtual Java selecionada, observou-se um desempenho até 95% melhor em relação a uma ferramenta de mutação forte. Afim de apoiar o teste de programas concorrentes, a segunda funcionalidade permite reexecutá-los de forma determinística além de automatizar a exploração de que novas sequências de escalonamento

[pt] Neste trabalho a Análise de Vibrações é tratada no contexto da formulação fraca. Um sistema contínuo é formulado abstratamente em um espaço de Hilbert e uma base de projeção é escolhida para a dinâmica. Um esquema de convergência para a aproximação é garantido à medida em que se aumenta o número de funções da base usada para representar a resposta do problema. Esta é a idéia por traz de métodos como o Método dos Elementos Finitos e o Método dos Modos Supostos, que derivam do Método de Galerkin. Esta estratégia é diferente do que comumente é ensinado nos cursos de vibrações, onde um sistema massa-mola é analisado, e sistemas discretos formados por massas, molas e amortecedores são discutidos. Nestes casos não se sabe qual é o erro cometido na análise numérica. A Análise de Vibrações é muito usada na manutenção preditiva de máquinas rotativas. Alguns fenômenos observados nesses equipamentos motivaram o desenvolvimento de um modelo numérico que pudesse reproduzir tais fenômenos para melhor entendê-los. Um sistema rotor-mancal é modelado e sua resposta dinâmica comparada qualitativamente com a resposta dinâmica captada através de acelerômetros fixados nos mancais de um exaustor da Companhia Siderúrgica de Tubarão (CST). Durante o trabalho diversos programas foram desenvolvidos através da plataforma MATLAB. / [en] Vibration Analysis is treated in the context of weak formulation. A continuous system is formulated in the Hilbert space and one base is selected to project the dynamics. An approximation scheme is guaranteed by increasing the number of functions in the base used to represent the response. This is the idea behind methods like the Finite Element Method and Assumed Modes Method, which derive from Galerkin Method. This strategy is different from what is commonly taught in vibration courses, where a mass-spring system is analyzed and discrete systems composed by masses, springs and dashpots are discussed. In those cases the error of the numerical analysis is not known. Vibration Analysis is very used in predictive maintenance of rotating machines. Some phenomenons observed in those machines motivated the development of a numerical model that could reproduce such phenomenons to better understand them. A rotor-bearing system is modelled and its dynamic response is qualitative compared to the dynamic response captured by accelerometers fixed on the bearings of a blower of the steel company Companhia Siderúrgica de Tubarão (CST). During this work several programs were developed using MATLAB software.

Este trabalho tem como foco principal estabelecer condições gerais suficientes para que uma expansão do corpo ordenado dos reais por funções com domínio em Rn seja modelo completa e o-minimal. Para tanto, faremos uma abordagem sob o ponto de vista de estruturas fracas o-minimais, conforme o trabalho de Charbonnel e Wilkie. Além disso, ao analisar condições adicionais, podemos obter a seguinte generalização de um trabalho de Gabrielov: uma expansão o-minimal do corpo ordenado dos reais por funções C infinito restritas, que é polinomialmente limitada e fechada sob diferenciação parcial, é modelo completa. / The main focus of this dissertation lies in establishing some general sufficient conditions for an expansion of the real ordered field by functions with domains Rn to be model complete and o-minimal. We approach this subject from the point of view of the o-minimal weak structures, by following the work of Charbonnel and Wilkie. Furthermore, when considering additional conditions, we are able to obtain the following generalization of a Gabrielovs result: an expansion of the real ordered field by restricted smooth functions, which is polynomially bounded and closed under partial differentiation, is model complete.

Este trabalho tem como foco principal estabelecer condições gerais suficientes para que uma expansão do corpo ordenado dos reais por funções com domínio em Rn seja modelo completa e o-minimal. Para tanto, faremos uma abordagem sob o ponto de vista de estruturas fracas o-minimais, conforme o trabalho de Charbonnel e Wilkie. Além disso, ao analisar condições adicionais, podemos obter a seguinte generalização de um trabalho de Gabrielov: uma expansão o-minimal do corpo ordenado dos reais por funções C infinito restritas, que é polinomialmente limitada e fechada sob diferenciação parcial, é modelo completa. / The main focus of this dissertation lies in establishing some general sufficient conditions for an expansion of the real ordered field by functions with domains Rn to be model complete and o-minimal. We approach this subject from the point of view of the o-minimal weak structures, by following the work of Charbonnel and Wilkie. Furthermore, when considering additional conditions, we are able to obtain the following generalization of a Gabrielovs result: an expansion of the real ordered field by restricted smooth functions, which is polynomially bounded and closed under partial differentiation, is model complete.