Neste trabalho, apresenta-se o resultado da existência de soluções fracas em domínios não-limitados para as equações de Navier-Stokes, desde que a fronteira satisfaça uma certa condição de regularidade que é necessária para a obtenção de estimativas em domínios não-limitados semelhantes à desigualdade de Poincaré em domínios limitados. Apresenta-se o desenvolvimento detalhado do método de Galerkin para as equações de Navier-Stokes em domínios não-limitados com cálculo explícito de várias constantes e com forças externas não nulas. Apresenta-se dois teoremas fundamentais: um fornecendo condições para existência de soluções do problema estacionário e o outro fornecendo condições para existência de soluções do problema não-estacionário. / In the work it is presented results of existence of weak solutions in unbounded doroains for the Navier-Stokes equations. The roain condition to obtain similar results as those for bounded doroains; for e."'Carople the Poincaré inequality; is a certain condition of regularity at the boundary of the doroain. It is presented the detailed developroent of the Galerkin roethod for the t.he Navier-Stokes equations in unbounded doroains ~vith the explicit calculat ions of many constants and ''rith non null externai forces. It is presented two basic theorern: one presenting condition for the existence of solutions for the stationary problem and the other presenting conditions for existence of solution for the non stationary problem.

Este trabalho propõe o estudo dos espaços coerentes do ponto de vista da teoria dos topos, ou seja, consiste em uma análise, em termos de topos, das principais categorias de espaços coerentes. Os espaços coerentes constituem um tipo de domínio que apresenta algumas particularidades que o distinguem dos demais, por exemplo, considera admissíveis no conjunto de funções somente aquelas que, além de contínuas no sentido de Scott - preservam supremos de conjuntos dirigidos, também são estáveis e lineares. Um topos e uma categoria Cartesiana fechada com classificador de subobjetos. Isso faz com que todo topos se comporte como Set (conjuntos como objetos e funções como morfismos), ou seja, uma categoria na qual as interpretações de suas construções básicas seguem a Teoria dos Conjuntos. Entre as categorias de Espaços Coerentes, tem-se a categoria STAB, cujos objetos são os espaços coerentes e os morfismos são funções estáveis entre esses espaços, que é uma categoria cartesiana fechada. Isto significa que STAB é uma categoria especial no sentido computacional: além de possuir o produto binário para todos os seus objetos, STAB apresenta objeto exponencial e morfismo de avaliação, garantindo significado para processos computacionais. A subcategoria LIN da categoria STAB, cujos morfismos são as funções lineares, não é uma categoria cartesiana fechada. Entretanto, LIN é uma categoria monoidal simétrica que e fechada. Este, condição e suficiente para que em LIN também se tenha a garantia de se obter significado para processos computacionais. Apresenta-se então, uma interpretação computacional da estrutura destas categorias e uma análise das mesmas do ponto de vista de topos, isto é, da existência ou não de classificador de subobjetos. / This work proposes the study of coherent spaces from the point of view of the Topos Theory, that is, it consists of an analysis of the main categories of coherent spaces in terms of topos. The coherent spaces make up a kind of domain which presents some peculiarities that separate it from the rest, for example, in the complex whole of the functions it only considers permissible, those which, apart from being continuous in the sense of Scott - preserving supremo of directed sets, it is also stable and linear. A topos is a Cartesian closed with subobject classifier. This makes topos behaves like Set (sets as objects and functions as morphisms), that is, a category in which the interpretations of its basic constructions follow the Theory of Sets. Among the categories of Coherent Spaces, there is the STAB category, a closed Cartesian category, the objects of which are the coherent spaces, having morphisms as stable functions among these spaces. This means that STAB is a special category in the computational sense: apart from having a binary product for all its objects, STAB presents an exponential object and a morphism of evaluation, ensuring meaning for computational processes. The subcategory LIN of the STAB category, the morphisms of which are linear functions, is not a closed Cartesian category. However, LIN is a symmetrical monoidal category which is closed. This condition is sufficient to also have in LIN the guarantee of obtaining meaning for computational processes. Thus, a computational interpretation of the structure of these categories will be presented, as well as an analysis of them from the point of view of the Topos Theory, that is, if subobject classifier exists or not.

Made available in DSpace on 2016-06-02T20:27:37Z (GMT). No. of bitstreams: 1 2301.pdf: 713998 bytes, checksum: 2baba1cd3305100cc67f3aa41ede2aed (MD5) Previous issue date: 2009-03-20 / Financiadora de Estudos e Projetos / The aim of this work is to give some suficient conditions for the existence and multiplicity of the solutions for a class of elliptic problems with sign-changing weight function in unbounded domains, using for this variational techniques. Specifically, in the semilinear case we use the minimization arguments on the Nehari manifold. For the quasilinear case, as in the scalar case as in the system, we use the minimization arguments and a variant of the mountain pass Theorem without the Palais-Smale condition. / O objetivo deste trabalho é apresentar condições suficientes para a existência e multiplicidade de soluções para uma classe de problemas elípticos com função peso mudando de sinal em domínios ilimitados, utilizando para isso argumentos variacionais. Especificamente, no caso semilinear utilizamos argumentos de minimização sobre a variedade de Nehari. Para o caso quase linear, tanto para o caso escalar bem como para o sistema, utilizamos argumentos de minimização e uma variante do Teorema do passo da montanha sem a condição de Palais-Smale.

Este trabalho propõe o estudo dos espaços coerentes do ponto de vista da teoria dos topos, ou seja, consiste em uma análise, em termos de topos, das principais categorias de espaços coerentes. Os espaços coerentes constituem um tipo de domínio que apresenta algumas particularidades que o distinguem dos demais, por exemplo, considera admissíveis no conjunto de funções somente aquelas que, além de contínuas no sentido de Scott - preservam supremos de conjuntos dirigidos, também são estáveis e lineares. Um topos e uma categoria Cartesiana fechada com classificador de subobjetos. Isso faz com que todo topos se comporte como Set (conjuntos como objetos e funções como morfismos), ou seja, uma categoria na qual as interpretações de suas construções básicas seguem a Teoria dos Conjuntos. Entre as categorias de Espaços Coerentes, tem-se a categoria STAB, cujos objetos são os espaços coerentes e os morfismos são funções estáveis entre esses espaços, que é uma categoria cartesiana fechada. Isto significa que STAB é uma categoria especial no sentido computacional: além de possuir o produto binário para todos os seus objetos, STAB apresenta objeto exponencial e morfismo de avaliação, garantindo significado para processos computacionais. A subcategoria LIN da categoria STAB, cujos morfismos são as funções lineares, não é uma categoria cartesiana fechada. Entretanto, LIN é uma categoria monoidal simétrica que e fechada. Este, condição e suficiente para que em LIN também se tenha a garantia de se obter significado para processos computacionais. Apresenta-se então, uma interpretação computacional da estrutura destas categorias e uma análise das mesmas do ponto de vista de topos, isto é, da existência ou não de classificador de subobjetos. / This work proposes the study of coherent spaces from the point of view of the Topos Theory, that is, it consists of an analysis of the main categories of coherent spaces in terms of topos. The coherent spaces make up a kind of domain which presents some peculiarities that separate it from the rest, for example, in the complex whole of the functions it only considers permissible, those which, apart from being continuous in the sense of Scott - preserving supremo of directed sets, it is also stable and linear. A topos is a Cartesian closed with subobject classifier. This makes topos behaves like Set (sets as objects and functions as morphisms), that is, a category in which the interpretations of its basic constructions follow the Theory of Sets. Among the categories of Coherent Spaces, there is the STAB category, a closed Cartesian category, the objects of which are the coherent spaces, having morphisms as stable functions among these spaces. This means that STAB is a special category in the computational sense: apart from having a binary product for all its objects, STAB presents an exponential object and a morphism of evaluation, ensuring meaning for computational processes. The subcategory LIN of the STAB category, the morphisms of which are linear functions, is not a closed Cartesian category. However, LIN is a symmetrical monoidal category which is closed. This condition is sufficient to also have in LIN the guarantee of obtaining meaning for computational processes. Thus, a computational interpretation of the structure of these categories will be presented, as well as an analysis of them from the point of view of the Topos Theory, that is, if subobject classifier exists or not.

Submitted by Valquíria Barbieri (kikibarbi@hotmail.com) on 2018-04-10T21:44:47Z No. of bitstreams: 1 DISS_2014_Jacqueline Pimentel Silva.pdf: 1365400 bytes, checksum: 1a0ffd3d25f1c3cfdaabce2bbac7217b (MD5) / Approved for entry into archive by Jordan (jordanbiblio@gmail.com) on 2018-04-26T17:29:48Z (GMT) No. of bitstreams: 1 DISS_2014_Jacqueline Pimentel Silva.pdf: 1365400 bytes, checksum: 1a0ffd3d25f1c3cfdaabce2bbac7217b (MD5) / Made available in DSpace on 2018-04-26T17:29:48Z (GMT). No. of bitstreams: 1 DISS_2014_Jacqueline Pimentel Silva.pdf: 1365400 bytes, checksum: 1a0ffd3d25f1c3cfdaabce2bbac7217b (MD5) Previous issue date: 2014-04-10 / CNPq / Objetivo: Identificar unidades biogeográficas naturais na bacia do rio Paraguai, através dos padrões de distribuição geográfica de serpentes. Localidade: Bacia do Rio Paraguai, centro da América do Sul. Métodos: Os registros de serpentes usados nas análises foram obtidos por meio de consulta à literatura, a coleções científicas e a bases de dados não publicados, cedidos por pesquisadores. A determinação dos padrões de distribuição das espécies foi obtida com a aplicação da Análise de Elementos Bióticos, utilizando-se o coeficiente geco de distância. Os agrupamentos foram delimitados através do modelo baseado no agrupamento gaussiano (MBGC). Resultados: Foram registradas 163 espécies de serpentes, das quais 9 se comportaram como componente ruído e 154 foram agrupadas em três elementos bióticos (EB). O EB1 foi composto por 108 espécies oriundas dos quatro biomas adjacentes e apresentou centros de riqueza na bacia do Alto Paraguai (BAP). O EB2 foi composto por 28 espécies, sendo a maioria com distribuição conhecida para o Chaco onde também se localizaram os centros de riqueza deste agrupamento e o EB3 abrangeu 18 espécies, todas amazônicas, com centros de riqueza nos planaltos ao norte da bacia, área de influencia amazônica. Principais conclusões: Os elementos bióticos encontrados constituem unidades biogeográficas presentes na bacia do Rio Paraguai, sendo o EB1 parte do domínio do Cerrado, o EB2 pertencente ao domínio do Chaco e o EB3 representante da presença de elementos amazônicos na porção norte da bacia. Apesar da análise de elementos bióticos ter sido descrita para testar as predições do modelo de vicariância, consideramos que as predições do modelo só podem ser testadas por meio de análises filogenéticas, não abordadas neste estudo. Contudo, embora não seja possível a atribuição das predições do modelo para justificar a formação dos agrupamentos, a análise é eficiente na determinação de padrões de distribuição de espécies, os quais são fonte básica de informação para determinação de unidades de conservação. / .

Made available in DSpace on 2014-06-11T19:22:52Z (GMT). No. of bitstreams: 0 Previous issue date: 2009-09-18Bitstream added on 2014-06-13T19:28:20Z : No. of bitstreams: 1 sebastiao_e_me_rcla.pdf: 850355 bytes, checksum: 0a3a1b32205d0f64f1852f6a77cca09b (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / A prática regular de atividade física (AF) está associada a melhor saúde e maior longevidade, porém mais de 60% da população adulta brasileira não incorpora tal prática no seu estilo de vida. Diversos fatores podem estar associados para facilitar, dificultar ou impedir a prática de AF e, quando impedem ou dificultam, são chamados de barreiras. O presente estudo teve por objetivo analisar o nível de AF e as principais barreiras percebidas por indivíduos adultos moradores na zona urbana do município de Rio Claro - SP. Para a seleção da amostra utilizou-se a técnica de amostragem aleatória e estratificada por conglomerado, sendo a amostra final composta por 1596 indivíduos, com 20 anos ou mais de idade, selecionados dentre os 100 setores censitários sorteados para o estudo. Os indivíduos responderam a quatro questionários, a saber: domiciliar; Internacional de atividade física (IPAQ – versão longa); Barreiras à Prática de Atividade Física (QBPAFI) e; Classificação Sócio-Econômica (ANEP). Os dados foram analisados por meio de análise descritiva (média, desvio-padrão, porcentagem) e posteriormente análises de comparação (Qui-quadrado; Mann-Whitney; Kruskall Wallis) e associação (regressão logística). Os resultados mostraram alta prevalência de inatividade física em todos os domínios abrangidos pelo IPAQ, com exceção do domínio atividades domésticas, no qual a prevalência foi abaixo de 45%. Observou-se também que nos domínios trabalho, lazer e locomoção as mulheres, bem como os idosos e os de menor poder aquisitivo são mais inativos. Na análise associativa, as variáveis sociodemográficas que se relacionaram positivamente à inatividade física no tempo livre foram: sexo feminino, escolaridade abaixo de 11 anos e pertencer às classes de menor poder aquisitivo. Em relação às barreiras, as mais relatadas pela foram: já sou... / Engagement in physical activity (PA) on a regular basis is associated with a better health and longevity. However, more than 60% of Brazilian adults do not incorporate such habit on their lifestyle. Several factors can be crucial to facilitate or to prevent engagement in PA. When these factors prevent or difficulty, they are called barriers. Thus, the aim of the study is to analyze PA level and main-perceived barriers of adults living at urban zone of Rio Claro-SP city. The sample was composed by 1596 subjects (20 year-old and over) selected by means of randomized and stratified by conglomerates technique within a 100 census sections. The subjects were asked to answer four questionnaires (Identification and Social Demographic; International Physical Activity (IPAQ – Long version); Barriers to Physical Activity Practice and; d) Social Economic Classification). The data were analyzed by means of descriptive statistics (means, standard deviations, percentage) in addition to comparative analyses (Chi-square; Mann-Whitney; Kruskall Wallis) and logistic regression. The results showed high prevalence of physical inactivity in all domains comprised by IPAQ, with exception to household domain, for which the prevalence was less than 45%. Regarding the work, leisure and locomotion domains, the women, elderly people or those included in low-income groups were more inactive. The sociodemographics variables that presented positive association with leisure-time physical inactivity were: female gender; schooling less than 11 years and lowincome. Regarding the barriers, the most reported ones were: already enough active, lack of company, lack of money, no suitable place near my home, need to relax, no time and too lazy. However, lack of energy, no time, need to relax, too lazy, do not enjoy exercise and quit soon were the barriers which presented positive association with physical inactivity during... (Complete abstract click electronic access abaixo)

Made available in DSpace on 2014-06-11T19:24:21Z (GMT). No. of bitstreams: 0 Previous issue date: 2006-08-14Bitstream added on 2014-06-13T19:31:08Z : No. of bitstreams: 1 cruz_lan_me_mar.pdf: 788723 bytes, checksum: 72d7e77e9a9ba4235044bcdf04e8992b (MD5) / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) / A pesquisa constou de duas etapas. Na primeira, realizou-se o levantamento inicial (screening), no qual investigou-se o padrão de consumo de álcool, com o Alcohol Use Disorders Identification Test - AUDIT, o nível socioeconômico, religião e uso de álcool problemático na família. Na segunda etapa, a entrevista, investigou-se a quantidade e a freqüência de uso de álcool, o julgamento sócio-moral, a fim de avaliar-se em que domínios sociais os adolescentes colocam certas condutas, e quinze questões foram elaboradas objetivando-se conhecer o contexto de uso de álcool. O AUDIT identificou 22,3% de alunos como positivos (pontuaram oito ou mais no teste). Os resultados mostram que ser do sexo masculino, freqüentar as aulas no período noturno, não pertencer a uma religião e ter familiar que faz uso problemático de álcool são fatores de risco para o uso excessivo de bebida. Conclui-se que tanto o hábito de beber quanto o julgamento dos adolescentes com relação ao uso de drogas apresenta características distintas dos adultos e são essas peculiaridades que possibilitam realizar trabalhos de prevenção e/ou intervenção de maior eficácia / The research took place in two instances: Firstly, on the screening stage, investigations on patterns of alcohol consumption using AUDIT (Alcohol Use Disorders Indetification Test) took place, as well as on their income level, religion and family problems related to alcohol consumption. Secondly, on the interview stage, matters such as how much and how often they drink alcohol, as well as their moral evaluation to understand which social domains these students relate their conduct to. Furthermore, 15 questions were applied to know the context in which alcohol consumption takes place. AUDIT identified 22.3% of the students as positive (score 8 or more in the test). Results showed that aspects such as male gender, attending school in the evening, non religion adepts, and having any family member who keeps unhealthy consumption of alcohol, increases the risk of extreme use of drinks. Either students who overdo on alcohol and those who do not drink or those who do it moderately put the consumption of legal or illegal drugs into personal domains. As a conclusion, both alcohol consumption habits and moral evaluations of it differ between teenagers and adults. And these specificities makes it easier to lead prevention and intervention works in a more successful way

Orientador: Geraldo Nunes Silva / Banca: Maria Soledad Aronna / Banca: Peter Robert Wolenski / Banca: Valeriano Antunes de Oliveira / Banca: Waldemar Donizete Bastos / Resumo: Consideramos dois tipos de problemas de controle ótimo: a) Problemas de controle impulsivo e b) problemas de controle ótimo sobre domínios estratificados. Organizamos o trabalho em duas partes distintas. A primeira parte é dedicada ao estudo de um problema de controle impulsivo onde a técnica de reparametrização usual do problema impulsivo é usada para obter um problema regular. Então nós damos resultados de aproximações consistentes via discretização de Euler em que uma sequência de problemas aproximados é obtida com a propriedade que se existe uma subsequência de processos que são ótimos para o correspondente problema discreto que converge para algum processo limite, então o último é ótimo para o problema reparametrizado original. A partir da solução ótima reparametrizada somos capazes de fornecer a solução do problema impulsivo original. A segunda parte considera o problema de tempo mínimo definido sobre domínios estratificados. Definimos o problema e estabelecemos desigualdades de Hamilton Jacobi. Então, damos alguma motivações via Lei de Snell e o problema do Elvis e finalmente fornecemos condições de otimalidade necessárias e suficientes / Abstract: We consider two types of optimal control problems: a) Impulsive control problems and b) optimal control problems in stratified domains. So we organize this work in two distinct parts. The first part is dedicated to the study of an impulsive optimal control problem where the usual reparametrization technique of the impulsive problem is used to obtain a regular problem. Then we provide consistent approximation results via Euler discretization in which a sequence of related approximated problems is obtained with the property that if there is a subsequence of processes which are optimal for the corresponding discrete problems which converge to some limit process, then the latter is optimal to the original reparametrized problem. From the reparametrized optimal solution we are able to provide the solution to the original impulsive problem. The second part is regarding the minimal time problem de ned on stratified domains. We sate the problem and establish Hamilton-Jacobi inequalities. Then we give some motivation via Snell's law and the Elvis problem and finally we provide necessary and suficient conditions of optimality / Doutor

Made available in DSpace on 2015-05-15T11:46:17Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 1816441 bytes, checksum: 97d911fa4449e54f12d9f203b8b50c90 (MD5) Previous issue date: 2013-03-08 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In this work, we study qualitative properties of solutions of the semilinear elliptic equation class 8<: u + f(u) = 0, em , u = 0, em @ , defined in different kinds of unbounded domains of Rn, among them, infinite cylinders, half spaces and Lipschitz domains. We analyze properties like convergence, monotonocity and symmetry of solutions of the problem (1), when f satisfy certain conditions suitable. For this purpose, we will use various kinds of maximum principles, the moving planes method,elliptic estimates and compacity theorems. We also studied some results about Schrödinger operators and we prove the De Giorge conjecture in dimension n = 2. / Neste trabalho, estudamos propriedades qualitativas de soluções da seguinte classe de equações elípticas semilineares 8<:u + f(u) = 0, em u = 0, em @ , (1) definidas em vários tipos de domínios não limitados do Rn, dentre eles, cilíndros infinitos, semi espaços e domínios Lipschitzianos. Analisamos propriedades de convergência, monotonicidade e simetria de soluções de (1), quando f satisfaz certas condições adequadas. Para tanto, utilizaremos várias versões do princípio do máximo, o método dos planos móveis (moving planes), estimativas elípticas e teoremas de compacidade. Estudamos ainda resultados sobre operadores de Schrödinger e, como consequência, provamos a conjectura de De Giorgi em dimensão n = 2.

Neste trabalho, apresenta-se o resultado da existência de soluções fracas em domínios não-limitados para as equações de Navier-Stokes, desde que a fronteira satisfaça uma certa condição de regularidade que é necessária para a obtenção de estimativas em domínios não-limitados semelhantes à desigualdade de Poincaré em domínios limitados. Apresenta-se o desenvolvimento detalhado do método de Galerkin para as equações de Navier-Stokes em domínios não-limitados com cálculo explícito de várias constantes e com forças externas não nulas. Apresenta-se dois teoremas fundamentais: um fornecendo condições para existência de soluções do problema estacionário e o outro fornecendo condições para existência de soluções do problema não-estacionário. / In the work it is presented results of existence of weak solutions in unbounded doroains for the Navier-Stokes equations. The roain condition to obtain similar results as those for bounded doroains; for e."'Carople the Poincaré inequality; is a certain condition of regularity at the boundary of the doroain. It is presented the detailed developroent of the Galerkin roethod for the t.he Navier-Stokes equations in unbounded doroains ~vith the explicit calculat ions of many constants and ''rith non null externai forces. It is presented two basic theorern: one presenting condition for the existence of solutions for the stationary problem and the other presenting conditions for existence of solution for the non stationary problem.