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

O presente trabalho intitula-se Valério Máximo, Roma e o outro: imagens da Grécia em Roma no século I d.C.. Tem por objetivo analisar, dentro da obra Feitos e Ditos Memoráveis de Valério Máximo, escritor romano do século I d.C., as diferentes formas de representação dos gregos e de sua influência cultural. Pretendemos apresentar duas visões axiais presentes no texto. Uma apresenta a Grécia sob uma imagem positiva, reconhecendo as numerosas contribuições da cultura grega aos romanos. A outra, negativa, vê os gregos como potencialmente corruptores, e procura rotulá-los com defeitos. Há uma utilização pragmática destes dois tropoi retóricos. Esses variam de acordo com a necessidade do autor de ilustrar um dado feito ou dito memorável sob um tema predeterminado, como "sobre os ingratos", por exemplo. Os Feitos e Ditos Memoráveis possuem grande variedade de assuntos e uma organização por temática, constituindo assim um importante registro dos temas relevantes na cultura romana na primeira metade do século I d.C.. O presente trabalho foi realizado com o apoio do CNPq - Conselho Nacional de Desenvolvimento Científico e Tecnológico - Brasil, sob a forma da concessão de Bolsa de Mestrado. / The following work is entitled Valerius Maximus, Rome and the other: images of Greece in Rome in the first century AD. It aims to analyse, in the work Memorable Doings and Sayings of Valerius Maximus, Roman writer of the first century AD, the different representations of the Greeks and their cultural influence. We intend to present two main approaches, as they appear depicted in the text. The first one presents Greece under a positive image, recognizing the many contributions of Greek culture to the Romans. The other, negative, sees Greeks as potential corruptors, and intends to criticize them. There is a pragmatic use of those two rhetorical tropoi. They vary according to the author´s need to illustrate a given memorable deed or saying under a predetermined theme, such as "on the ungrateful" for instance. The Memorable Doings and Sayings encompasses a large variety of matters, and a thematical organization, thus constituting an important record of relevant themes in Roman culture on the first half of the first century AD. This work was done with the support of the National Council for Scientifical and Technological Development - CNPq - Brazil, through the concession of a Mastery scholarship.

Objetivos: a) avaliar a contribuição de um novo coeficiente, o CEF50 (FEF50/0,5CVF), medido através da curva fluxo-volume, no diagnóstico dos distúrbios ventilatórios; b) testar o CEF50 na diferenciação dos grupos Normais, DVO, DVR; c) estabelecer pontos de corte para cada um dos diagnósticos funcionais e valores de probabilidade para cada diagnóstico a partir de valores individuais. Métodos: estudo transversal, prospectivo, com análise de testes de função pulmonar realizados no HCPA no período de janeiro a dezembro de 2003. Foram coletados dados demográficos e analisados CVF, VEF1, VEF1/CVF, VEF1/CV, CV, VR, CPT, FEF50, FEF75 e DCO. Os pacientes foram divididos conforme o diagnóstico funcional em Normais, DVO e DVR. Foi calculado o CEF50 (FEF50/0,5CVF) nos grupos e as médias foram comparadas. Para correlacionar o CEF50 com o CEF1, utilizou-se a correlação de Pearson. Os pacientes foram, então, redivididos em obstrutivos (Dobst) e não-obstrutivos (dnobst) e foram calculadas as razões de verossimilhança (RV) para diferentes pontos de corte. Resultados: Foram estudados 621 pacientes com idade média de 55,8  14,7 anos. O CEF50 foi diferente nos grupos Normal (2,100,82), DVR (2,551,47) e DVO (0,560,29) (p<0,001). O CEF50 mostrou uma correlação positiva com o CEF1 nos pacientes obstrutivos (r=0,83). O cálculo das RV mostrou que valores abaixo de 0,79 mostraram-se fortes indicadores de DVO e valores acima de 1,33 praticamente afastam esse diagnóstico. Conclusão: O CEF50 (FEF50 / 0,5CVF) é um parâmetro útil no diagnóstico diferencial dos distúrbios ventilatórios, correlacionando-se positivamente com o CEF1.

SILVA, Márcio Henrique Bino da, também é conhecido em citações bibliográficas por: BINO, Márcio Henrique da Silva. / Submitted by Pedro Barros (pedro.silvabarros@ufpe.br) on 2018-07-13T22:15:55Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Márcio Henrique Bino da Silva.pdf: 2835140 bytes, checksum: 4df724bbb8d8a8e672f88cdd322e48c2 (MD5) / Approved for entry into archive by Alice Araujo (alice.caraujo@ufpe.br) on 2018-07-18T20:26:11Z (GMT) No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Márcio Henrique Bino da Silva.pdf: 2835140 bytes, checksum: 4df724bbb8d8a8e672f88cdd322e48c2 (MD5) / Made available in DSpace on 2018-07-18T20:26:11Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Márcio Henrique Bino da Silva.pdf: 2835140 bytes, checksum: 4df724bbb8d8a8e672f88cdd322e48c2 (MD5) Previous issue date: 2016-08-29 / CAPES / Neste trabalho é modelado, em MATLAB/Simulink, um aerogerador de pequeno porte que emprega uma máquina síncrona de imã permanente conectado à rede elétrica por meio de um conversor trifásico back-to-back. O objetivo deste trabalho é, com esse modelo, fazer uma comparação entre os métodos utilizados para a busca da máxima extração de potência em uma turbina eólica que emprega a topologia de uma máquina síncrona a imã permanente. É apresentado de forma estruturada os componentes do sistema de produção de energia eólica e é feita uma análise crítica em relação as diferentes soluções para o problema apresentado. O problema assenta na garantia de máxima extração de potência de uma turbina eólica de velocidade variável a cada instante. A solução está na construção de um sistema composto de diferentes blocos responsáveis pelo controle da máquina. Esses são estudados individualmente em termos de desempenho e confiabilidade. É feita a modelagem da máquina síncrona trifásica a imã permanente onde são apresentados os métodos de controle do conversor trifásico e diferentes algoritmos para a maximização da extração de potência do aerogerador. Em cada subsistema é feita uma escolha da solução que melhor satisfaz as necessidades do projeto do aerogerador, devidamente justificada. Uma vez concebido o modelo, são feitas várias simulações para avaliar e comparar os métodos de maximização da potência gerada. / In this work is modeled a small wind turbine in MATLAB / Simulink, which employs a permanent magnet synchronous machine connected to the grid through a back-to-back three-phase converter. The aim of this work is to compare, using the model, the methods used to get the maximum power extraction from a wind turbine that used the permanent magnet synchronous machine topology. It is presented the components of the wind energy system and it is made a critical analysis respecting to the different solutions to the related issue. The problem adjusts on ensuring maximum power extraction of a variable speed wind turbine at every moment. The solution is design a system composed by different blocks that are responsible for the machine control. These blocks are studied individually in terms of performance and reliability. It is made the model of the permanent magnet synchronous machine, where it is presented the control methods of the three-phase converter and the different algorithms to maximizing the wind turbine power extraction. In each subsystem is carried out a choice of the solution that best meets the wind turbine project needs, with justification. Once the model is done, some simulations are performed to evaluate and compare the methods to maximizing the generated power.

Orientador: Djairo Guedes de Fiqueiredo / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-07-21T23:20:10Z (GMT). No. of bitstreams: 1 Montenegro_MarcelodaSilva_D.pdf: 1506233 bytes, checksum: c74e526303ca8d8c20cb2ae35132081e (MD5) Previous issue date: 1996 / Resumo: Não informado / Abstract: Not informed / Doutorado / Doutor em Matemática

Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-02-20T14:22:00Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação_Cícero K. M. Pereira.pdf: 13494805 bytes, checksum: dec78fc54d9f514a09ab374d40872d52 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-02-20T14:22:12Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação_Cícero K. M. Pereira.pdf: 13494805 bytes, checksum: dec78fc54d9f514a09ab374d40872d52 (MD5) / Made available in DSpace on 2018-02-20T14:22:12Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação_Cícero K. M. Pereira.pdf: 13494805 bytes, checksum: dec78fc54d9f514a09ab374d40872d52 (MD5) Previous issue date: 2017-10-20 / FAPEAM - Fundação de Amparo à Pesquisa do Estado do Amazonas / We will present some height estimates for compact surfaces with positive constant extrinsic curvature (𝐾−surfaces) in ℳ2 × R, where ℳ2 is a surface with constant Gauss curvature. We will initially show a vertical height estimate for compact 𝐾−graphs in ℳ2 × R, with boundary in a slice and later horizontal height estimate for compact, embedded 𝐾−surfaces in H2 × R with boundary on a vertical plane. Such results have been proven by josé Espinar, José Galvez and Harold Rosenberg in the article entitled "Complete surfaces with positive extrinsic curvature in product spaces". The tools used to demonstrate these estimates are based on the Hopf Maximum Principle and the Alexandrov Reflection Method. / Neste trabalho apresentamos algumas estimativas de altura para superfícies compactas com curvatura extrínseca constante positiva (𝐾−superfícies) em ℳ2 × R, em que ℳ2 denota uma superfície com curvatura de Gauss constante. Mostraremos inicialmente uma estimativa de altura vertical para 𝐾−gráficos compactos em ℳ2 × R, com bordo em um plano horizontal e posteriormente uma estimativa de altura horizontal para 𝐾−superfícies compactas mergulhadas em H2 × R com bordo em um plano vertical. Tais resultados foram provados por José Espinar, José Galvez e Harold Rosenberg no artigo intitulado "Complete surfaces with positive extrinsic curvature in product spaces". As ferramentas utilizadas para demonstrar estas estimativas se baseiam no princípio do máximo de Hopf e no Método de Reflexão de Alexandrov.

Nesta tese, estudamos o problema de Empacotamento de Bicliques. Um biclique é um grafo bipartido completo. No problema de Empacotamento de Bicliques são dados um inteiro k e um grafo bipartido G e deseja-se encontrar um conjunto de k bicliques, subgrafos de G, dois a dois disjuntos nos vértices, tal que a quantidade total de arestas dos bicliques escolhidos seja máxima. No caso em que k=1, temos o problema de Biclique máximo. Esses dois problemas possuem aplicações na área de Bioinformática. Mantemos neste trabalho um enfoque prático, no sentido de que nosso interesse é resolver instâncias desses dois problemas com tamanho razoavelmente grande. Para isso, utilizamos técnicas de Programação Linear Inteira. Para avaliar os métodos propostos aqui, mostramos resultados de experimentos computacionais feitos com instâncias vindas de aplicações e também com instâncias geradas aleatoriamente. / In this thesis, we study the Biclique Packing problem. A biclique is a complete bipartite graph. In the Biclique Packing problem we are given an integer k and a bipartite graph G and we want to find a set of k vertex disjoint bicliques of G, such that the total number of biclique\'s edges is maximum. When k=1, we have the Maximum Biclique problem. These two problems have applications in Bioinformatics. In this work we keep a practical focus, in the sense that we are interested in solving large size instances of these problems. To tackle these problems, we use Integer Linear Programming techniques. In order to evaluate the methods proposed here, we show results of computational experiments carried out with practical application\'s instances and also with randomly generated ones.

O consumo máximo de oxigênio (VO2máx), o limiar ventilatório (LV), ponto de compensação respiratória (PCR) e a economia de corrida (EC) são importantes variáveis fisiológicas associadas com a aptidão aeróbia em corrida. Acredita-se que o polimorfismo da enzima conversora de angiotensina (ECA) possa estar influenciando nos valores dessas variáveis. Contudo, essa relação causal não tem sido amplamente estudada durante a corrida. Dessa forma, o objetivo do presente trabalho foi investigar a associação entre os genótipos da ECA e o VO2máx, LV, PCR e EC mensuradas durante a corrida em esteira. Cento e cinquenta (n = 150) voluntários fisicamente ativos realizaram os seguintes testes: a) teste incremental máximo para determinação do VO2máx, LV e PCR; b) dois testes de velocidade constante (10 km/h e 12 km/h) em esteira para determinação da EC. Os genótipos apresentaram a frequência de: II = 21% ; ID = 52% e DD = 27%. Os resultados apresentaram uma tendência dos indivíduos com o genótipo II apresentarem maiores valores do VO2máx (p = 0.08), bem como a análise do efeito prático apresentou um possível efeito benéfico desse genótipo. No entanto, não foi constatada diferença entre os valores do LV, PCR, e EC entre os indivíduos. Esses resultados sugerem que o genótipo II da ECA pode estar influenciando nos valores da variável máxima relacionada com o consumo de oxigênio / The maximal oxygen uptake (VO2máx), ventilatory threshold (VT), respiratory compensation point (RCP), and running economy (RE) are important variables associated with running aerobic fitness. However, the influence of Angiotensin Converting Enzyme (ACE) polymorphism on these variables determined in running has not been largely investigated. Therefore, the present study aimed to investigate the relationship between ACE genotypes and maximal oxygen uptake, respiratory compensation point, and running economy measured in running. One hundred and fifty (n = 150) physically active young men performed the following tests: a) a maximal incremental treadmill test to determine VO2máx and RCP, b) two constant-speed running test (10 km.h-1 and 12 km.h-1) to determine the RE. The genotype frequency were II = 21 %; ID = 52 %; DD = 27 %. There were a likely beneficial effect and a tendency for the participants with ACE II genotype to have higher VO2max values than DD or ID genotypes (p = 0.08) and the smallest worthwhile effects show a beneficial effect. There were not associations between the genotypes for RCP and RE. These findings suggest that II ACE genotype would influence in maximal variable correlated with oxygen consumption

Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-04-24T17:47:05Z No. of bitstreams: 1 jaquelinelindoloresderesende.pdf: 763365 bytes, checksum: 4b56a18a805fcfd95a929bb21bc511d6 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-04-24T17:59:58Z (GMT) No. of bitstreams: 1 jaquelinelindoloresderesende.pdf: 763365 bytes, checksum: 4b56a18a805fcfd95a929bb21bc511d6 (MD5) / Made available in DSpace on 2017-04-24T17:59:58Z (GMT). No. of bitstreams: 1 jaquelinelindoloresderesende.pdf: 763365 bytes, checksum: 4b56a18a805fcfd95a929bb21bc511d6 (MD5) Previous issue date: 2007-07-09 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O aumento constante da complexidade dos sistemas elétricos de potência exige um contínuo aprimoramento das técnicas de operação e controle. Os atuais centros de supervisão e controle caracterizam-se por funções que processam informações recolhidas dos sistemas em tempo real, de modo a controlá-los de forma adequada visando mantê-los operando de acordo com a programação estabelecida. A função específica a ser abordada neste trabalho é a análise de contingências, que tem por objetivo verificar o grau de segurança do sistema, fornecendo ao operador condições de prever a reação do sistema frente a determinadas perturbações. Em geral, os métodos de análise de contingências solucionam apenas os casos onde ocorre a convergência do processo iterativo associado ao problema de fluxo de potência, ficando os demais casos sem nenhuma solução ou previsão. Portanto, o objetivo deste trabalho é propor uma formulação matemática para a análise estática de contingências, na qual a margem de carregamento pós-contingência é calculada a partir do ponto de máximo carregamento pré-contingência. Para isto, utiliza-se o método do ponto de colapso que fornece diretamente o ponto de máximo carregamento. Além disto, o ramo selecionado para avaliação da contingência é parametrizado por um fator de escalonamento, possibilitando a sua remoção gradual e assegurando a convergência nos casos em que o método tradicional de análise diverge para a retirada total do ramo. Desta forma, a metodologia proposta fornece uma previsão do comportamento do sistema frente a uma perturbação, mesmo para os casos nos quais a retirada completa do ramo causa a divergência dos métodos tradicionais de análise. / The constant complexity increase of the electrical power systems demands a continuous improvement of operation and control techniques. The current supervision and control centers are characterized by functions that process collected real-time information, in order to effectively control the systems and to keep them operating in accordance with a specified schedule. The specific function to be dealt with in this work is the static contingency analysis whose objective is to provide the operator with conditions to foresee the reaction of the system to some disturbances. In general, the static contingency methods solve only the cases where the power flow problem converges, being the remainder cases with no solution or forecast. Therefore, the objective of this work is to propose a mathematical formulation for the static contingency analysis, in which the post-contingency loading margin is calculated from the base case loading margin. For this purpose, the point of collapse method that directly provides the maximum loading point is used. Moreover, the branch selected for evaluation of the contingency is parameterized by a scaling factor, allowing its gradual removal and assuring the convergence in situations where the conventional methods diverge for the complete branch removal. Thus, the proposed methodology yields a forecast of the system behavior due to a disturbance, even for the cases in which the complete branch removal causes the divergence of the conventional methods.

Orientador: João Bosco Ribeiro do Val / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação / Made available in DSpace on 2018-08-20T16:10:11Z (GMT). No. of bitstreams: 1 Madeira_DiegodeSousa_M.pdf: 382775 bytes, checksum: d75575b4a57a5bb98739210edef9b5c7 (MD5) Previous issue date: 2012 / Resumo: As principais contribuições deste trabalho são a obtenção de condições necessárias e suficientes de otimalidade para o problema de controle de sistemas lineares determinísticos discretos e para certas classes de sistemas lineares estocásticos. Adotamos o método de controle por realimentação de saída, um horizonte de controle finito e um funcional de custo quadrático nas variáveis de estado e de controle. O problema determinístico é solucionado por completo, ou seja, provamos que para qualquer sistema MIMO as condições necessárias de otimalidade são também suficientes. Para tanto, uma versão do Princípio do Máximo Discreto é utilizada. Além disso, analisamos o caso estocástico com ruído aditivo e provamos que o princípio do máximo discreto fornece as condições necessárias de otimalidade para o problema, embora não garanta suficiência. Por fim, em um cenário particular com apenas dois estágios, empregamos uma técnica de parametrização do funcional de custo associado ao sistema linear estocástico com ruído aditivo e provamos que, no caso dos sistemas SISO com matrizes C (saída) e B (entrada) tais que CB = 0, as condições necessárias de otimalidade são também suficientes. Provamos que o mesmo também é válido para a classe dos Sistemas Lineares com Saltos Markovianos (SLSM), no contexto especificado. Com o objetivo de ilustrar numericamente os resultados teóricos obtidos, alguns exemplos numéricos são fornecidos / Abstract: The main contributions of this work are that the necessary and sufficient optimality conditions for the control problem of discrete linear deterministic systems and some classes of linear stochastic systems are obtained. We adopted the output feedback control method, a finite horizon control and a cost function that is quadratic in the state and control vectors. The deterministic problem is completely solved, that is, we prove that for any MIMO system the necessary optimality conditions are also sufficient. To do so, a formulation of the Discrete Maximum Principle is used. Furthermore, we analyze the stochastic case with additive noise and prove that the discrete maximum principle provides the necessary optimality conditions, though they are not sufficient. Finally, in a particular two-stage scenario, we apply a parametrization technique of the cost function associated with the linear stochastic system with additive noise and prove that, for SISO systems with orthogonal matrices C (output) and B (input) so that CB = 0, the necessary optimality conditions are sufficient too. We prove that under the underlined context the previous statement is also valid in the case of the Markov Jump Linear Systems (MJLS). In order to illustrate the theoretical results obtained, some numerical examples are given / Mestrado / Automação / Mestre em Engenharia Elétrica