Neste trabalho estudamos a controlabilidade e a estabilização de certos tipos de sistemas com retardo. Obtemos um resultado de estabilização para sistema com retardo periódicos e um resultado que nos permite concluir a controlabilidade do sistema com retardo baseado na controlabilidade do mesmo sistema porém, sem retardo. Apresentamos a equação do calor como exemplo / In this work we study controllability and stabilizability of a type of delayed systems. We get a stabilization result for delayed periodic systems and we get a result that allow us to conclude the controllability of the delayed system based on the controllability of the same system without delay. We present the heat equation like example

Estudos sobre imunização do desamparo aprendido apresentam resultados contraditórios quando utilizam estímulos apetitivos na fase de imunização. Uma análise dos procedimentos utilizados nesses estudos sugere que eles diferem no grau de controle e previsibilidade da liberação do estímulo apetitivo. Além disso, foi demonstrado que quando a previsibilidade do estímulo é manipulada ela produz efeitos dependentes do sexo do sujeito. O presente estudo teve por objetivos avaliar se: 1) a previsibilidade e a controlabilidade de estímulos apetitivos na fase de imunização são variáveis críticas para imunizar ratos contra o desamparo; 2) esses efeitos são dependentes do sexo. Em paralelo, buscou-se explorar alguns efeitos das variáveis hormonais nesses comportamentos. Um Estudo Piloto demonstrou não haver diferença quanto ao desamparo em fêmeas nas fases de estro e diestro do ciclo estral. Quanto à imunização (Experimento 1), foi utilizado reforçamento positivo combinando-se as variáveis de controle (VI e VT) e previsão (com ou sem sinal antecedendo a disponibilização do reforço), utilizando-se grupos (n=16) com ratos machos e fêmeas em igual proporção. Em seguida esses animais foram submetidos a choques incontroláveis e por fim a um teste de fuga. Outro grupo de machos e fêmeas passou apenas pelas duas últimas fases e um grupo apenas pela fase final. Os resultados mostraram que o sexo dos animais não é uma variável importante para o desamparo, mas que essa é uma variável que interfere na imunização do desamparo aprendido. Fêmeas expostas a estímulos previsíveis e controláveis na fase de imunização apresentam um comportamento muito semelhante as fêmeas e machos do Grupo não choque. Por outro lado, apenas metade dos machos expostos a estímulos apetitivos previsíveis e controláveis na fase de imunização aprenderam a resposta de fuga no teste. Esses resultados sugerem que o sexo é uma variável que precisa ser mais investigada em experimentos que estudam o comportamento. No Experimento 2 as fêmeas foram distribuídas em dois grupos (castradas e sham), foram retirados os ovários dos animais do primeiro grupo, responsáveis pela produção do estrógeno, hormônio que as diferencia dos machos. Após a recuperação da cirurgia os animais de ambos os grupos foram expostos ao mesmo procedimento de imunização do Grupo imprevisível e controlável do Experimento 1, o único em que foram obsevadas diferenças estatísticas entre machos e fêmeas. Os resultados mostraram aproximadamente metade das fêmeas, de ambos os grupos, aprenderam fuga apresentando latências semelhantes entre si, sugerindo que a presença ou ausência do hormônio sexual em fêmeas não foi, aparentemente, o fator determinante da diferença de gênero na imunização. Discute-se a relevância dos estudos comportamentais entre gêneros mostrando a interação de fatores ambientais com orgânicos / Studies on immunization against learned helplessness have different results when using appetitive stimuli during immunization. An analysis of these studies procedures suggests that they differ in the degree of control and predictability of the release of appetitive stimulus. Furthermore, it was shown that when the predictability of the stimulus is manipulated it produces effects that depend of the subjects sex. The objective of the present study was to evaluate : 1) if the appetitive stimuli predictability and controllability during immunization are critical variables to immunize rats against learned helplessness; and if 2) these effects are sex dependent. In parallel, we explored t some effects of hormonal variables on these behaviors. A pilot study showed no difference regarding learned helplessness in estrus and diestrus phases of the estrous cycle. Concerning immunization (Experiment 1), positive reinforcement was used combining the variables of control (VI and VT) and predictability (with or without signal preceding the availability of reinforcement), using groups (n = 16) with equal proportion of male and female rats. Then these animals were subjected to uncontrollable shock and finally to an escape test. Another group with males and females was submitted only to the last two phases and a last group only to the final phase. The results showed that sex is not an important variable concerning learned helplessness, but it interferes with the immunization against learned helplessness. Females exposed to predictable and controllable stimuli during immunization showed similar behavior with females and males of Non Shock Group. On the other hand, only half of the males exposed to predictable and controllable appetitive stimuli during immunization phase learned the escape response during the test. These results suggest that sex is a variable that needs to be better investigated in behavior experiments. In Experiment 2, females were distributed into two groups (castrated and sham), the ovaries of the animals of the first group were removed, they are responsible for the estrogen production, a hormone that differentiates males from females. After recovery from surgery, both groups were exposed to the same immunization procedure of the unpredictable and controllable group from Experiment 1, the only group that statistical differences between males and females were observed. Females in both groups showed similar escape latencies suggesting that the presence or absence of sex hormone in females was apparently not the determining factor of gender difference in immunization. It is discussed the relevance of behavioral sex differences studies showing the interaction of environmental with organic factors

Estudos sobre imunização do desamparo aprendido apresentam resultados contraditórios quando utilizam estímulos apetitivos na fase de imunização. Uma análise dos procedimentos utilizados nesses estudos sugere que eles diferem no grau de controle e previsibilidade da liberação do estímulo apetitivo. Além disso, foi demonstrado que quando a previsibilidade do estímulo é manipulada ela produz efeitos dependentes do sexo do sujeito. O presente estudo teve por objetivos avaliar se: 1) a previsibilidade e a controlabilidade de estímulos apetitivos na fase de imunização são variáveis críticas para imunizar ratos contra o desamparo; 2) esses efeitos são dependentes do sexo. Em paralelo, buscou-se explorar alguns efeitos das variáveis hormonais nesses comportamentos. Um Estudo Piloto demonstrou não haver diferença quanto ao desamparo em fêmeas nas fases de estro e diestro do ciclo estral. Quanto à imunização (Experimento 1), foi utilizado reforçamento positivo combinando-se as variáveis de controle (VI e VT) e previsão (com ou sem sinal antecedendo a disponibilização do reforço), utilizando-se grupos (n=16) com ratos machos e fêmeas em igual proporção. Em seguida esses animais foram submetidos a choques incontroláveis e por fim a um teste de fuga. Outro grupo de machos e fêmeas passou apenas pelas duas últimas fases e um grupo apenas pela fase final. Os resultados mostraram que o sexo dos animais não é uma variável importante para o desamparo, mas que essa é uma variável que interfere na imunização do desamparo aprendido. Fêmeas expostas a estímulos previsíveis e controláveis na fase de imunização apresentam um comportamento muito semelhante as fêmeas e machos do Grupo não choque. Por outro lado, apenas metade dos machos expostos a estímulos apetitivos previsíveis e controláveis na fase de imunização aprenderam a resposta de fuga no teste. Esses resultados sugerem que o sexo é uma variável que precisa ser mais investigada em experimentos que estudam o comportamento. No Experimento 2 as fêmeas foram distribuídas em dois grupos (castradas e sham), foram retirados os ovários dos animais do primeiro grupo, responsáveis pela produção do estrógeno, hormônio que as diferencia dos machos. Após a recuperação da cirurgia os animais de ambos os grupos foram expostos ao mesmo procedimento de imunização do Grupo imprevisível e controlável do Experimento 1, o único em que foram obsevadas diferenças estatísticas entre machos e fêmeas. Os resultados mostraram aproximadamente metade das fêmeas, de ambos os grupos, aprenderam fuga apresentando latências semelhantes entre si, sugerindo que a presença ou ausência do hormônio sexual em fêmeas não foi, aparentemente, o fator determinante da diferença de gênero na imunização. Discute-se a relevância dos estudos comportamentais entre gêneros mostrando a interação de fatores ambientais com orgânicos / Studies on immunization against learned helplessness have different results when using appetitive stimuli during immunization. An analysis of these studies procedures suggests that they differ in the degree of control and predictability of the release of appetitive stimulus. Furthermore, it was shown that when the predictability of the stimulus is manipulated it produces effects that depend of the subjects sex. The objective of the present study was to evaluate : 1) if the appetitive stimuli predictability and controllability during immunization are critical variables to immunize rats against learned helplessness; and if 2) these effects are sex dependent. In parallel, we explored t some effects of hormonal variables on these behaviors. A pilot study showed no difference regarding learned helplessness in estrus and diestrus phases of the estrous cycle. Concerning immunization (Experiment 1), positive reinforcement was used combining the variables of control (VI and VT) and predictability (with or without signal preceding the availability of reinforcement), using groups (n = 16) with equal proportion of male and female rats. Then these animals were subjected to uncontrollable shock and finally to an escape test. Another group with males and females was submitted only to the last two phases and a last group only to the final phase. The results showed that sex is not an important variable concerning learned helplessness, but it interferes with the immunization against learned helplessness. Females exposed to predictable and controllable stimuli during immunization showed similar behavior with females and males of Non Shock Group. On the other hand, only half of the males exposed to predictable and controllable appetitive stimuli during immunization phase learned the escape response during the test. These results suggest that sex is a variable that needs to be better investigated in behavior experiments. In Experiment 2, females were distributed into two groups (castrated and sham), the ovaries of the animals of the first group were removed, they are responsible for the estrogen production, a hormone that differentiates males from females. After recovery from surgery, both groups were exposed to the same immunization procedure of the unpredictable and controllable group from Experiment 1, the only group that statistical differences between males and females were observed. Females in both groups showed similar escape latencies suggesting that the presence or absence of sex hormone in females was apparently not the determining factor of gender difference in immunization. It is discussed the relevance of behavioral sex differences studies showing the interaction of environmental with organic factors

Made available in DSpace on 2015-04-22T22:16:09Z (GMT). No. of bitstreams: 1 Dissertacao Final Elzimar.pdf: 671791 bytes, checksum: b10524617f6d8ff31634733bb2038494 (MD5) Previous issue date: 2009-02-20 / FAPEAM - Fundação de Amparo à Pesquisa do Estado do Amazonas / This work mainly aims to demonstrate of the controllability at uniform time of a invariant system P in G, under the LARC condition, where G is a connected, compact and semisimple Lie group. This result was firtly proved by Jurdjevic and Sussmann. But the proof is given here with professor Ayala use another argument coming directly from the semisimple Lie group definition. / Este trabalho tem como objetivo principal dar uma demonstração da controlabilidade em tempo uniforme de um sistema de controle invariante P em G, satisfazendo a condição LARC, onde G é um grupo de Lie conexo, compacto e semisimples. Esse resultado é provado primeiramente por Jurdjevic e Sussmann. Porém a prova que será dada aqui (tenha como referência o tutor dessa dissertação) usa outro argumento que provém diretamente da definição de grupo de Lie semisimples.

Made available in DSpace on 2015-05-15T11:46:02Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 425597 bytes, checksum: 2cb5c42e376ba77764139fbc3fcdaf15 (MD5) Previous issue date: 2011-07-02 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / We consider the semilinear heat equation involving gradient terms in a bounded domain of Rn. It is assumed the non-linearity is globally Lipschitz. We prove that the system is approximately controllable when the control acts on a bounded subset of the domain. The proof uses a variant of a classical fixed point method and is a simpler alternative to the earlier proof existing in the literature by means of the penalization of an optimal control problem. We also prove that the control may be built so that, in addition to the approximate controllability requirement, it ensures that the state reaches exactly a finite number of constraints. / Consideremos a equação do calor semilinear envolvendo termos do gradiente em um domínio limitado do Rn. Assumimos que a não-linearidade é globalmente Lipschtz. Usando o método do ponto fixo, provamos que o sistema é finito-aproximadamente controlável e nulamente controlável, quando o controle age em um subconjunto não vazio do domínio.

Made available in DSpace on 2015-05-15T11:46:03Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 876230 bytes, checksum: 3a204615891ef1a7232794e0c75afdc8 (MD5) Previous issue date: 2010-09-30 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This dissertation is devoted to prove the local exact controllability to the trajectories for a coupled system, of the Boussinesq kind. In the state system, the unknowns are the velocity field and pressure of the uid (y; p), the temperature (-) and an additional variable c that can be viewed as the concentration of a contaminant solute. We prove several results, that essentially show that it is sufficient to act locally in space on the equations satisfied by (-) and c. The controllability property of this system will be obtained by means of a Carleman inequality for apropriate system and of a inverse function theorem. / Esta dissertação é dedicada a provar a controlabilidade exata local ás trajetórias para um sistema acoplado do tipo Boussinesq. No sistema estado, as variáveis desconhecidas são o campo velocidade e pressão do fluido (y; p), a temperatura - e uma variável adicional c que pode ser vista como uma concentração de um soluto contaminante. A propriedade de controlabilidade nula desse sistema será obtida por meio de uma desigualdade de Carleman para um sistema apropriado e de um teorema de função inversa.

Neste trabalho estudamos a controlabilidade e a estabilização de certos tipos de sistemas com retardo. Obtemos um resultado de estabilização para sistema com retardo periódicos e um resultado que nos permite concluir a controlabilidade do sistema com retardo baseado na controlabilidade do mesmo sistema porém, sem retardo. Apresentamos a equação do calor como exemplo / In this work we study controllability and stabilizability of a type of delayed systems. We get a stabilization result for delayed periodic systems and we get a result that allow us to conclude the controllability of the delayed system based on the controllability of the same system without delay. We present the heat equation like example

Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2017-04-04T14:34:30Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Tese - Max Ferreira.pdf: 1193604 bytes, checksum: a48aea5d6fb5499cbffcb24e64dbc9f3 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2017-04-04T14:35:18Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Tese - Max Ferreira.pdf: 1193604 bytes, checksum: a48aea5d6fb5499cbffcb24e64dbc9f3 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2017-04-04T14:35:48Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Tese - Max Ferreira.pdf: 1193604 bytes, checksum: a48aea5d6fb5499cbffcb24e64dbc9f3 (MD5) / Made available in DSpace on 2017-04-04T14:35:48Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Tese - Max Ferreira.pdf: 1193604 bytes, checksum: a48aea5d6fb5499cbffcb24e64dbc9f3 (MD5) Previous issue date: 2017-02-25 / This thesis is composed of two parts. Initially we give some preliminary aspects about linear vector fields on Lie Groups. For the second one, we analyze the relationship between affine systems on Lie groups and their induced bilinear systems. We prove that the solutions of affine systems are given by left translation of the solutions of the induced bilinear system by the solution on the identity, which allow us to conclude some con-trollability results by using geometric properties. Moreover, we present a linear vector field on tree-dimensional sovable Lie group. This vector field is analytic on a Lie group, does not necessarily needs to be polinomial, in the sense that its expression depends on polinomial maps. It was an open problem the existence of a non-polinomial analytic linear vector field / Esta tese é composta de duas partes. Inicialmente apresentamos, como preliminares, a teoria dos campos afins e lineares em grupos de Lie. Posteriormente, analisamos a relação entre sistemas afins em grupos de Lie e seus sistemas bilineares induzidos. Nesta direção, demonstramos que as soluções de sistemas afins são dadas pela translação à esquerda das soluções do sistema bilinear induzido pela solução sobre a identidade, o que nos permite concluir alguns resultados de controlabilidade usando propriedades geométricas. Além disso, damos exemplo de um Campo Linear no grupo solúvel de dimensão 3. Tal campo mostra que a expressão de um campo linear, que é analítico em um grupo de Lie G, não precisa ser apenas polinomial. Até o presente momento não se conhecia um campo linear com uma expressão que não depende apenas de polinômios

Orientador: Roger Josef Zemp / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Química / Made available in DSpace on 2018-08-24T10:53:42Z (GMT). No. of bitstreams: 1 Coelho_FilipeAlves_M.pdf: 2399383 bytes, checksum: b85757c1658e9d740e40d955ddc36d5e (MD5) Previous issue date: 2014 / Resumo: Com o desenvolvimento da análise pinch, foi possível estabelecer metas de consumo de utilidades em processos químicos e posteriormente sintetizar a rede capaz de atender as metas estabelecidas. Em contrapartida, os processos energeticamente integrados atendendo essas metas podem ser difíceis de se controlar e isso motiva estudar a controlabilidade e a dinâmica desses processos. Porém, a literatura vem tratando esses estudos desacoplando a rede do restante do processo e isso pode introduzir erros nos resultados, pois dinâmicas importantes associadas aos reciclos são perdidas. Assim, neste trabalho foi levantada a hipótese de que a análise da controlabilidade de redes de trocadores de calor, assim como o projeto de seus controladores, desprezando-se outros equipamentos de processo como colunas, reatores etc., pode induzir a uma falsa compreensão da dinâmica do processo e levar à síntese de uma rede fora do ótimo entre objetivos econômicos e controlabilidade. Para a execução das simulações, foi construída uma ferramenta computacional em Matlab onde foram implementados os modelos dos trocadores de calor e dos outros equipamentos de processo. Foi proposto um estudo de caso para um processo fictício com cinco topologias de redes de trocadores onde a controlabilidade foi avaliada utilizando-se dois índices em estado estacionário e um índice dinâmico. Observou-se que existe uma tendência de redução na controlabilidade conforme a integração energética aumenta e por isso a topologia que atendia às metas da análise pinch foi indicada por todos os índices como tendo a pior controlabilidade. Também foi testada a influência do atraso de transporte e da diferença entre as velocidades das dinâmicas dos equipamentos. A hipótese levantada neste trabalho foi comprovada / Abstract: The development of pinch analysis gave a powerful tool for engineers to establish energy targets for chemical processes and, with some extra work, synthesize a heat exchanger network to attain those targets. On the other hand, these heat integrated networks are generally hard to control, motivating several studies on their controllability and dynamics. However, most scientific studies decouples the network from the rest of the process and it can introduce errors in the results, because important dynamics related to recycles are lost. Therefore, it was raised the hypothesis that the controllability analysis of a heat exchanger network, as the design of their controllers, disregarding the other process equipments such as columns, reactors etc., may lead to false comprehension of the process dynamics and make the network synthesis out of the optimum between economic and controllability objectives. To simulate the systems, a computational tool was developed in Matlab, where the models of the heat exchangers and the other equipments were implemented. A case study of a fictitious process was proposed and five heat exchanger topologies were synthesized, with controllability assessed by two steady state indexes and a dynamic one. It was observed that controllability decreases as heat integration increases, therefore, the pinch network was pointed as having the worst controllability. The effects of dead time and difference between dynamic velocities in the equipments were also tested. The hypothesis was proven / Mestrado / Engenharia Química / Mestre em Engenharia Química

Orientador: Waldemar Donizete Bastos / Banca: Andrea Cristina Prokopczyk Arita / Banca: Juliana Conceição Precioso Pereira / Banca: Carlos Alberto Raposo da Cunha / Banca: Valéria Neves Domingos Cavalcanti / Resumo: Neste trabalho estudamos o problema de controlabilidade exata na fronteira para um sistema de equações de onda acopladas em paralelo, em domínios suave por partes do plano, sob ação de controle do tipo Neuman. Utilizando o método empregado por D. L. Russell em [33] obtemos controlabilidade em tempo suficientemente grande para dados iniciais de energia finita e controle de quadrado integrável. A fim de obter tempo de controle próximo a valores ótimos, procedemos como em [21]: estendemos a solução do problema de Cauchy para tempo complexo e provamos que o operador solução associado ao problema de Cauchy é compacto e depende analiticamente do tempo num setor adequado do plano complexo. Utilizando decaimento local de energia, analiticidade e compacidade do operador solução obtemos o resultado desejado. / Abstract: In this work we study the problem of exact controllability on the boundary for a system of wave equations coupled in parallel, in piecewise smooth domains of the plane, under the action of control of Neuman type. Using the method employed by D. L. Russell in [33] we obtain controllability in time sufficiently large for initial data of finite energy and square integrable control. In order to obtain control time close to optimal values, we proceed as in [21]: we extend the solution of the Cauchy problem to complex time and we prove that the solution operator associated with the Cauchy problem is compact and depends analytically of the time in an appropriate sector of the complex plane. Using local decay of energy, analyticity and compactness of the solution operator we obtain the desired result. / Doutor