• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 22
  • 1
  • 1
  • 1
  • Tagged with
  • 25
  • 14
  • 7
  • 6
  • 6
  • 6
  • 5
  • 5
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
21

O poder judiciário e o controle do conteúdo das políticas públicas de saúde / Le Pouvoir Judiciaire et le contrôle du contenu des politiques de santé publique.

Santana, Izaias José de 06 February 2012 (has links)
É desafiador efetivar os direitos sociais declarados nos documentos internacionais e proclamados na Constituição, ante as transformações da sociedade brasileira nela projetadas. Os juristas defendem a aplicabilidade imediata, por decisão do Poder Judiciário, ante a omissão dos poderes políticos. Todavia, a efetividade dos direitos sociais exige muito mais que uma teoria jurídica de classificação das normas constitucionais. A discussão meramente teórica em torno da efetividade esconde os verdadeiros obstáculos para a efetividade de tais direitos. Esses direitos se efetivam e se efetivaram ao longo de um processo histórico de conquista, característica que os torna dependentes do fenômeno político. Uma abordagem correta das normas constitucionais veiculadoras dos direitos sociais e mais especificamente do direito à saúde, deve, em um primeiro plano, abordar como o Estado realiza o dever de prestar o serviço público de saúde. A Constituição estabelece que o serviço público de saúde terá duas características fundamentais: a universalização e a isonomia. A individualização da prestação precisa, necessariamente, atender ao critério da igualdade, considerando o universo de todos os beneficiários da política e a possibilidade de sua universalização, considerando, também, a estrutura administrativa necessária para a sua implementação e a disponibilidade orçamentária. Somente a partir desta equação, especifica-se o que cada cidadão tem direito, enquanto prestação de ação ou de serviço efetivo de saúde pública. Portanto, o direito individual ganha efetividade a partir e nos termos da política e não por ser um direito absoluto. A formulação da política pública de saúde é tarefa do Estado, com a participação da sociedade civil. Cabe, neste modelo, aos Poderes Legislativo e Judiciário o controle político e jurídico: político, tendo como parâmetro os interesses e as aspirações levadas aos agentes políticos pelos seus respectivos eleitores. Jurídico, ao analisar se há contemplação adequada das prioridades definidas na Constituição. A interferência do Poder Judiciário dar-se-á com recomendações com força moral e política indutora da iniciativa, viabilizando o diálogo institucional. Isto porque a iniciativa das leis é exclusiva do Chefe do Executivo. Ante a existência de uma política formulada, podem-se controlar as omissões, critérios seletivos à luz dos princípios da universalidade e da isonomia, com sentenças aditivas com efeito pró futuro. / Rendre effectifs les droits sociaux déclarés par les documents internationaux et proclamés par la Constitution, due à la projection des transformations éprouvées par la société brésilienne, presente un grand défi. Les juristes défendent leur applicabilité immédiate, par décision du Pouvoir Judiciaire, en vue de lomission des autres Pouvoirs politiques. Néanmoins, lefficacité des droits sociaux exige beaucoup plus quune théorie juridique sur la classification des norms constitutionnelles. La discussion simplement théorique sur lefficacité des normes occulte les vrais obstacles qui sopposent à lefficacité des droits sociaux. Les droits sociaux se sont accomplis et rendus effectifs au cours dun long procès historique de conquête, ce qui les rend entièrement dépendants du phénomène politique. Par conséquent, une approche correcte des normes constitutionnelles ayant par objet de droits sociaux, plus spécifiquement, le droit à la santé, doit soccuper, premièrement, des manières par lesquelles lÉtat accomplit son devoir dassurer le service public de santé. La Constitution brésilienne attribue au service public de santé deux caractères essentiels : luniversalisation et légalité. Il faut que lindividualisation de la prestation obéisse à un critère dégalité en considérant au même temps la structure administrative nécessaire à sa mise en place aussi que la disponibilité budgétaire. Seulement à partir de cette équation il est possible de délimiter le contenu du droit de chaque citoyen individuellement considéré, en termes daction ou de service de santé. De cette manière, les droits individuels se rendent effectifs, non par son caractère absolu, mais par conséquence de la réalisation de la propre politique de santé. La formulation de la politique de santé est une attribution de lÉtat, exercée avec la participation de la société civile. Dans ce modèle, il appartient aux Pouvoirs Législatif et Judiciaire lexercice du contrôle politique et juridique: contrôle politique, ayant pour paramètre les intérêts et les aspirations apportés aux agents politiques par ses respectifs électeurs; et contrôle juridique, par lanalyse de la persécution adéquate des priorités définies par la Constitution. Linterférence du Pouvoir Judiciaire doit se circonscrire à la formulation de recommandations à la force morale et à linduction des initiatives politiques, celles-ci à la compétence privative du Chef du Pouvoir Exécutif. En considérant lexistence dune politique formulée, il est possible de contrôler les omissions, de critères sélectifs selon les principes de luniversalité et de légalité, par moyen darrêts aditifs, valables pro futuro.
22

Análise do desempenho de alunos do ensino fundamental em jogos matemáticos: reflexões sobre o uso da calculadora nas aulas de matemática

Guinther, Ariovaldo 12 November 2009 (has links)
Made available in DSpace on 2016-04-27T16:59:02Z (GMT). No. of bitstreams: 1 Ariovaldo Guinther.pdf: 4387488 bytes, checksum: 00c33e26cf124a101cb7456b78e19eb7 (MD5) Previous issue date: 2009-11-12 / Secretaria da Educação do Estado de São Paulo / This research aims to investigate what teaching strategies, considering the use of a calculator in the classroom can become more efficient perception of mistakes in handling additive and multiplicative between students in a 7th grade of elementary school, in the afternoon shift of a State School in Osasco city S.P. (Brazil). This study consisted of a qualitative research as a tool with the use of two mathematical games: MAZE and HEX OF MULTIPLICATION. To achieve these games have used two hours/class of instruction for each one, the first without using the calculator. Thus, students enrolled in a sheet of paper paths (played) chosen using the additive and multiplicative. In our analysis, we point out that the mistakes made by most students when it comes to work with structures additive and multiplicative with decimal numbers were: a) adding or subtracting the decimal part of the whole, b) errors in the algorithm of division and multiplication c) errors in the positioning or absence of the comma d) subtracting tenths of hundredths. In the second hour of instruction, students played using the calculator, seeing their mistakes, beyond giving the results, providing opportunities for understanding the steps taken and opening new paths to knowledge. By assessing the strategies used in research on the foundations of Bianchini (2001) and Cunha (2002) and Bonanno (2007) and Rasi (2009) on the issue involving decimals, and additive and multiplicative, in the case of the use of games, we rely on research Grando (1995, 2000) and realize that such use involving the calculator, we allowed for greater efficiency in the perception of mistakes, and as our theoretical research by Penteado (2001) and Rubio (2003) and Borba ( 2005) and Schiffl (2006) and Borba et al (2008) and Sampaio and Leite (2008). Although these authors support the use of a mediator, there are various forms of resistance from many teachers in relation to such use. The argument used is that the student will not learn more mathematics, because no longer think, will do more calculations, nor shall the algorithms. Accordingly, we raised some discussions, which could help to illustrate the potential use of calculators and games in mathematics lessons. However, the analysis of collected data shows us that the practice of teaching mathematics gains new ground with the aid of games and calculator, which can facilitate teachers in their work to promote a more meaningful teaching of mathematics and the students a different view of use the calculator in the classroom / A presente pesquisa tem por objetivo investigar quais estratégias pedagógicas, considerando o uso da calculadora em sala de aula, podem tornar mais eficiente a percepção dos erros cometidos na manipulação de estruturas aditivas e multiplicativas entre alunos de um 7º ano do Ensino Fundamental, do período da tarde de uma Escola Estadual, na cidade de Osasco - São Paulo. Esse estudo se constituiu em uma pesquisa qualitativa tendo como instrumento a utilização de dois jogos matemáticos: MAZE e HEX DA MULTIPLICAÇÃO. Para a realização desses jogos foram utilizadas duas horas/aula para cada um, sendo a primeira sem o uso da calculadora. Dessa forma, os alunos registraram numa folha de papel que caminhos (jogadas) escolheram, utilizando as estruturas aditivas e multiplicativas. Em nossas análises, apontamos que os erros mais cometidos pelos alunos no que tange trabalhar com estruturas aditivas e multiplicativas com números decimais foram: a) somar ou subtrair a parte decimal da parte inteira; b) erros no algoritmo da divisão e multiplicação; c) erros no posicionamento ou ausência da vírgula; d) subtrair décimos de centésimos. Na segunda hora/aula, os alunos jogaram utilizando a calculadora, percebendo os erros cometidos, indo além de conferir os resultados obtidos, oferecendo possibilidades de compreensão das etapas realizadas e abrindo caminhos para novos saberes. Ao analizarmos as estratégias utilizadas, nos alicerçamos nas pesquisas de Bianchini (2001), Cunha (2002), Bonanno (2007) e Rasi (2009) quanto ao tema envolvendo números decimais e estruturas aditivas e multiplicativas; em se tratando do recurso aos jogos, nos baseamos nas pesquisas de Grando (1995, 2000) e percebemos que essa utilização envolvendo a calculadora, nos permitiu maior eficiência na percepção dos erros cometidos, tendo como nosso referencial teórico as pesquisas de Penteado (2001), Rubio (2003), Borba (2005), Schiffl (2006), Borba et al (2008) e Sampaio e Leite (2008). Embora esses autores apóiem o uso desse elemento mediador, ainda existem várias formas de resistências por parte de muitos professores em relação a tal uso. O argumento utilizado é de que o aluno não vai mais aprender Matemática, pois deixará de pensar, não fará mais cálculos e nem fixará os algoritmos. Nesse sentido, levantamos algumas discussões, que poderão contribuir para ilustrar as potencialidades da utilização das calculadoras e dos jogos nas aulas de Matemática. Contudo, a análise dos dados coletados nos aponta que, a prática docente da Matemática ganha novos horizontes com o auxílio dos jogos e da calculadora, podendo facilitar aos professores nas suas tarefas de promover um ensino mais significativo da Matemática e dos alunos uma visão diferente do uso da calculadora em sala de aula
23

A concretiza??o do princ?pio da igualdade em mat?ria tribut?ria por meio de senten?as aditivas

Zaranza Filho, Jos? Evandro Lacerda 15 December 2009 (has links)
Made available in DSpace on 2014-12-17T14:27:14Z (GMT). No. of bitstreams: 1 JoseELZF_DISSERT.pdf: 1704976 bytes, checksum: 475a7889d4b023d1c6cbb4272ad6770b (MD5) Previous issue date: 2009-12-15 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / This work aims to study the additive decisions, a type of juridical interpretation developed in foreign legal systems and which are known in Italy as adittive sentences. Thefore, this dissertation is based on theorical studies developed around the subject in Italy and Brazil. Considering the fact that the fundamental rights face a problem of implementation, being decreased its normative force when there are legislative partial omissions lacking constitutional justification creating privileges to certain individuals or social/economical groups over others, the method of additive interpretation according to the Constitution can be used in order to realize the principle of equality. In tax matters the subject is even more relevant in the way that it represents an important role in the economy. Partial legislative omissions can generate inequalities, favoring certain taxpayers in relation to others in similar legal situation. In these cases the privilege may have a negative impact on economic order restricting values related to the basis of market competition. On those occasions, Brazilian Judges and Courts must exercise their constitutional jurisdiction in order to expand the effects of the legislative omissions, based on the principle of equality by extending the standard to equal tax situations in order to maintain neutrality in taxation / A presente disserta??o tem como objeto o estudo das decis?es aditivas, esp?cies de decis?es interpretativas desenvolvidas no controle de constitucionalidade de sistemas jur?dicos estrangeiros e que na It?lia recebe a denomina??o de senten?as aditivas. Portanto, a presente disserta??o tem como pressupostos te?ricos, os estudos desenvolvidos em torno do tema na It?lia e no Brasil. Dada a constata??o que os direitos fundamentais sofrem quanto a sua concretiza??o, tendo sua for?a normativa diminu?da quando se observa a exist?ncia de omiss?es legislativas parciais desprovidas de justificativa constitucional, na medida em que criam-se privil?gios a determinadas pessoas ou grupos de pessoas em detrimento de outras, busca-se com as decis?es aditivas por meio do m?todo de interpreta??o conforme a Constitui??o, suprir a omiss?o legislativa parcial estendendo os efeitos da norma jur?dica ?queles que n?o foram contemplados, concretizando o princ?pio da igualdade. Em mat?ria tributaria o tema ganha relev?ncia na medida em que o tributo desempenha papel importante na economia. Omiss?es legislativas parciais podem gerar regimes jur?dicos tribut?rios privilegiando determinados contribuintes em rela??o a outros em situa??o jur?dica similar. Nestas hip?teses o privil?gio pode gerar impacto negativo na ordem econ?mica restringindo ? livre concorr?ncia e ? livre iniciativa. Nessas oportunidades, o Poder Judici?rio brasileiro deve exercer a jurisdi??o constitucional e garantir a for?a normativa da Constitui??o, atribuindo efeito positivo ao Princ?pio da Igualdade, estendendo a norma tribut?ria aos casos, situa??es ou pessoas n?o expressamente previstos de modo a manter a neutralidade na tributa??o
24

Conjuntos que determinan la acotación uniforme

López Alfonso, Salvador 16 December 2016 (has links)
The classical Nykodym theorem (1933) asserts that a set H of countably additive complex measures defined on a sigma-algebra S which is bounded for each element of S, then H is uniformly bounded on S. It is well known that this theorem fails if we replace the sigma-algebra S simply by an algebra. Let A be the algebra of subsets of a nonempty set, and consider the Banach space ba(A) of all real (or complex) finitely additive measures of bounded variation defined on A. A subset B of A is said to have the N-property (Nikodym property) if every B-pointwise bounded subset M of ba(A) is uniformly bounded on A. Recall the classical Nikodym-Dieudonné-Grothendieck's theorem which says that each sigma-algebra has the N-property. Moreover B is said to have the strong N-property if for each increasing countable covering (B_{m})_{m} of B there exists B_{n} which has the N-property. Valdivia proved in 1979 that each sigma-algebra has the strong N-property. The aforementioned Valdivia's theorem motivated to prove that each sigma-algebra S of subsets of a set has web-N-property, that is, if (B_{m_1})_{m_1} is an increasing countable covering of S and if (B_{m_1},_{m_2},....,_{m_p},_{m_{p+1}})_{m_{p+1}} is an increasing countably covering of B_{m_1},_{m_2},....,_{m_p}, for each natural numbers p, mi, with i = 1, 2,..., p, then there exists a sequence (n_{r})_{r} such thatB_{n_1},_{n_2},....,_{n_r} has the N-property for every r = 1, 2, 3, ...... . In this thesis it is proved that nearly all infinite chains in the increasing web (B_{m_1},_{m_2},....,_{m_p}: m_i=1,2,... , i=1,2,...,p, and p=1,2,.....} are composed of sets that have web-N-property. In the main result in this thesis it is proved that the algebra J(K) of Jordan measurables subsets of a compact k-dimensional interval K contained in R^k has the web-N-property. This result imporves the 2013 Valdivia's theorem stating that J(K) has the strong Nikodym property, which in turns was a grest improvement of Schachermayer's result of N property of J([0; 1]). The analysis of the demonstration of this result has allowed us give a sufficient condition in an algebra of subsets of a set that implies the property **wN. This sufficient condition is verified by each sigma-algebra as well as by the algebra J(K), whence the properties wN of any sigma-algebra and of J(*K) could have been presented like corollaries of this sufficient condition. It has seemed more natural to follow the chronological order, such as it has done in the Thesis. In the chapter 5 the problem proposed by Valdivia in 2013 is considered, i.e., to prove if it is true or not that when an algebra A of subsets have the property N then it has the property sN. In the section 5.2 this problem is considered in the most general context of normed spaces, because a subset B of an algebra A has the property N if each subset M of finitely additive bounded measures pointwise bounded in the sets of B verifies that M is a bounded subset of the Banach space of bounded finitely additive measures in the algebra A endowed with the supreme norm, what carries to the study of the sets DAU that determine the uniform boundedness of a normed space. Several applications of the obtained results to problems of location of vectorial averages and of convergence of sequences as well as several open problems are presented. The limitation of number of characters prevents to comment other results. We finish this summary indicating that we have proved that the properties wN, w(sN) and w(wN) are equivalents. / El clásico teorema de Nykodym (1933) afirma que si un subconjunto H de medias complejas numerablemente aditivas definidas en una sigma-algebra S está acotado en cada elemento de S, entonces H está uniformente acotado en S. Es bien conocido que este teorema no es cierto en general si se sustituye la sigma-álgebra S por un álgebra. Sea A un álgebra de subconjuntos de un conjunto no vacío, y consideremos el espacio de Banach ba(A) de las medias reales (o complejas) finitamente aditivas de variación acotada definidas en A. Un subconjunto B of A se dice que tiene la propiedad N (propiedad de Nikodym) si para cada subconjunto M of ba(A) que sea B-puntualmente acotado se tiene que M es uniformemente acotado en A. Recordemos que el clásico teorema de Nikodym-Dieudonné-Grothendieck's dice que cada sigma-algebra tiene la propiedad N. Además se dice que B tiene la propiedad N-fuerte si cada para cada cubrimiento numerable creciente (B_{m})_{m} de B existe B_{n} que tiene la propiedad N. Valdivia demmostró en 1979 que cada sigma-algebra tiene la propiedad N-property. Este teorema de Valdivia motivó demostrar que cada sigma-algebra S de subconjuntos de un conjunto tiene la propiedad N para mallas crecientes, es decir, si (B_{m_1})_{m_1} es un cubrimiento numerable creciente de S y si (B_{m_1},_{m_2},....,_{m_p},_{m_{p+1}})_{m_{p+1}} es un cubrimiento numerable creciente de B_{m_1},_{m_2},....,_{m_p}, para cada números naturales p, mi, con i=1, 2,..., p, entonces existe una sucesión (n_{r})_{r} tal que B_{n_1},_{n_2},....,_{n_r} tiene la propiedad N para cada r = 1, 2, 3, ...... . En la tesis se prueba que casi todas las cadenas infinitas en una malla creciente (B_{m_1},_{m_2},....,_{m_p}: m_i=1,2,... , i=1,2,...,p, and p=1,2,.....} están compuestas de conjuntos que tienen la propiedad N para mallas crecientes. El resultado principal de la tesis prueba que el algebra J(K) de los subconjuntos Jordan medibles de un intervalo compacto k-dimensional K contenido en R^k tiene la propiedad N para mallas crecientes. Este resultado mejora el resultado de Valdivia de 2013 de que J (K) tiene la propiedad fuerte de Nikodym, que a su vez mejoraba un resultado anterior de Schachermayer, quien probó que J ([0; 1]) tiene la propiedad N. El análisis de la demostración de este resultado nos ha permitido dar una condición suficiente en un álgebra de subconjuntos de un conjunto que implica la propiedad wN. Esta condición suficiente la verifican tanto las sigma-álgebras como el álgebra J (K), por lo que las propiedades wN de cualquier sigma-álgebra y de J(K) se podían haber presentado como corolarios de dicha condición suficiente. Ha parecido más natural seguir el orden cronológico, tal como se ha hecho en la Tesis. En el capítulo 5 se considera el problema planteado por Valdivia en 2013. Consiste en averiguar si el que un álgebra A de conjuntos tenga la propiedad N implica o no el tener la propiedad sN. En la sección 5.2 se considera este problema en el contexto más general de los espacios normados, pues un subconjunto B de un álgebra A tiene la propiedad N si cada subconjunto M de medidas acotadas, finitamente aditivas y puntualmente acotadas en el conjunto de funciones características de los conjuntos de B verifica que M es un subconjunto acotado del espacio de Banach de dichas medias finitamente aditivas y acotadas definidas en A con la norma supremo, lo que lleva al estudio de los conjuntos DAU que determinan la acotación uniforme en un espacio normado. Se presentan varias aplicaciones de los resultados obtenidos a problemas de localización de medias vectoriales y de convergencia de sucesioens de medias y varios problemas abiertos. La limitación de número de caracteres impide comentar otros resultados. Terminamos este resumen indicando que hemos probado que las propiedades wN, w(sN) y w(wN) son equivalentes. / El clàssic teorema de Nykodym (1933) afirma que si un subconjunt H de mesures complexes numerablement aditives defiides en una sigma-àlgebra S és acotat en cada element de S, aleshores H és uniforment acotat en S. És ben conegut que aquest teorema no és cert en general si es sustitueix la sigma-àlgebra S simplement per una àlgebra. Siga A una àlgebra de subconjunts d'un conjunt no buit, i considerem l'espai de Banach ba(A) de les mesures reals (o complexes) finitament aditives de variació acotada definides en A. Un subconjunt B de A es diu que té la propietat N (propietat de Nikodym) si cada subconjunt M de ba(A) que siga B-puntualment acotat es té que M és uniformement acotat en A. Recordem que el clàssic teorema de Nikodym-Dieudonné-Grothendieck's diu que cada sigma-àlgebra té la propietat N. A més a més es diu que B té la propietat forta N si per a cada cubrimient numerable creixent (B_{m})_{m} de B existeix B_{n} que té la propietat N. Valdivia va provar en 1979 que cada sigma-àlgebra té la propietat N. L'esmentat teorema de Valdivia va motivar demostrar que cada sigma-àlgebra S de subconjunts de un conjunt té la propietat N per a malles creixents, és dir, si (B_{m_1})_{m_1} és un cubrimient numerable creixent de S i si (B_{m_1},_{m_2},....,_{m_p},_{m_{p+1}})_{m_{p+1}} és un cubrimient numerable creixent de B_{m_1},_{m_2},....,_{m_p}, per a cada nombres naturals p, mi, amb i = 1, 2,..., p, aleshores existeix una successió (n_{r})_{r} tal que B_{n_1},_{n_2},....,_{n_r} té la propietat N per a cada r = 1, 2, 3, ...... . En la tesi es prova que gairebé totes les cadenes infinites en una malla creixent (B_{m_1},_{m_2},....,_{m_p}: m_i=1,2,... , i=1,2,...,p, and p=1,2,.....} estan composades de conjunts que tenen la propietat N per a malles creixents. El resultat principal de la tesi prova que l'àlgebra J(K) dels subconjunts Jordan mesurables d'un interval compacte k-dimensional K contingut en R^k té la propietat N per a malles creixents. Aquest resultat millora el resultat de Valdivia de 2013 de que J (K) té la propietat forta de Nikodym, que alhora millorava un resultat anterior de Schachermayer, qui va provar que J([0; 1]) té la propietat N. L'anàlisi de la demostració d'aquest resultat ens ha permès donar una condició suficient en un àlgebra de subconjunts d'un conjunt que implica la propietat wN. Aquesta condició suficient la verifiquen tant les sigma-àlgebres com l'àlgebra J(K), per la qual cosa les propietats wN de qualsevol sigma-àlgebra i de J(K) es podien haver presentat com a corol·laris d'aquesta condició suficient. Ha semblat més natural seguir l'ordre cronològic, tal com s'ha fet en la Tesi. En el capítol 5 es considera el problema plantejat per Valdivia en 2013. Consisteix a esbrinar si el que un àlgebra A de conjunts tinga la propietat N implica o no el tenir la propietat sN. En la secció 5.2 es considera aquest problema en el context més general dels espais normados, doncs un subconjunt B d'un àlgebra A té la propietat N si cada subconjunt M de mesures acotades, finitament additives i puntualment acotades en el conjunt de funcions característiques dels conjunts de B verifica que M és un subconjunt acotat de l'espai de Banach d'aquestes mesure finitament additives i acotades definides en A amb la norma suprem, la qual cosa porta a l'estudi dels conjunts DAU que determinen l'acotació uniforme en un espai normat. Es presenten diverses aplicacions dels resultats obtinguts a problemes de localització de mitjanes vectorials i de convergència de **sucesioens de mitjanes i diversos problemes oberts. La limitació de nombre de caràcters impedeix comentar altres resultats. Acabem aquest resum indicant que hem provat que les propietats wN, w(sN) i w(wN) són equivalents. / López Alfonso, S. (2016). Conjuntos que determinan la acotación uniforme [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/75266 / TESIS
25

Scenario-Based Model Predictive Control for Systems with Correlated Uncertainties

González Querubín, Edwin Alonso 26 April 2024 (has links)
[ES] La gran mayoría de procesos del mundo real tienen incertidumbres inherentes, las cuales, al ser consideradas en el proceso de modelado, se puede obtener una representación que describa con la mayor precisión posible el comportamiento del proceso real. En la mayoría de casos prácticos, se considera que éstas tienen un comportamiento estocástico y sus descripciones como distribuciones de probabilidades son conocidas. Las estrategias de MPC estocástico están desarrolladas para el control de procesos con incertidumbres de naturaleza estocástica, donde el conocimiento de las propiedades estadísticas de las incertidumbres es aprovechado al incluirlo en el planteamiento de un problema de control óptimo (OCP). En éste, y contrario a otros esquemas de MPC, las restricciones duras son relajadas al reformularlas como restricciones de tipo probabilísticas con el fin de reducir el conservadurismo. Esto es, se permiten las violaciones de las restricciones duras originales, pero tales violaciones no deben exceder un nivel de riesgo permitido. La no-convexidad de tales restricciones probabilísticas hacen que el problema de optimización sea prohibitivo, por lo que la mayoría de las estrategias de MPC estocástico en la literatura se diferencian en la forma en que abordan tales restricciones y las incertidumbres, para volver el problema computacionalmente manejable. Por un lado, están las estrategias deterministas que, fuera de línea, convierten las restricciones probabilísticas en unas nuevas de tipo deterministas, usando la propagación de las incertidumbres a lo largo del horizonte de predicción para ajustar las restricciones duras originales. Por otra parte, las estrategias basadas en escenarios usan la información de las incertidumbres para, en cada instante de muestreo, generar de forma aleatoria un conjunto de posibles evoluciones de éstas a lo largo del horizonte de predicción. De esta manera, convierten las restricciones probabilísticas en un conjunto de restricciones deterministas que deben cumplirse para todos los escenarios generados. Estas estrategias se destacan por su capacidad de incluir en tiempo real información actualizada de las incertidumbres. No obstante, esta ventaja genera inconvenientes como su gasto computacional, el cual aumenta conforme lo hace el número de escenarios y; por otra parte, el efecto no deseado en el problema de optimización, causado por los escenarios con baja probabilidad de ocurrencia, cuando se usa un conjunto de escenarios pequeño. Los retos mencionados anteriormente orientaron esta tesis hacia los enfoques de MPC estocástico basado en escenarios, produciendo tres contribuciones principales. La primera consiste en un estudio comparativo de un algoritmo del grupo determinista con otro del grupo basado en escenarios; se hace un especial énfasis en cómo cada uno de estos aborda las incertidumbres, transforma las restricciones probabilísticas y en la estructura de su OCP, además de señalar sus aspectos más destacados y desafíos. La segunda contribución es una nueva propuesta de algoritmo MPC, el cual se basa en escenarios condicionales, diseñado para sistemas lineales con incertidumbres correlacionadas. Este esquema aprovecha la existencia de tal correlación para convertir un conjunto de escenarios inicial de gran tamaño en un conjunto de escenarios más pequeño con sus probabilidades de ocurrencia, el cual conserva las características del conjunto inicial. El conjunto reducido es usado en un OCP en el que las predicciones de los estados y entradas del sistema son penalizadas de acuerdo con las probabilidades de los escenarios que las componen, dando menor importancia a los escenarios con menores probabilidades de ocurrencia. La tercera contribución consiste en un procedimiento para la implementación del nuevo algoritmo MPC como gestor de la energía en una microrred en la que las previsiones de las energías renovables y las cargas están correlacionadas. / [CA] La gran majoria de processos del món real tenen incerteses inherents, les quals, en ser considerades en el procés de modelatge, es pot obtenir una representació que descriga amb la major precisió possible el comportament del procés real. En la majoria de casos pràctics, es considera que aquestes tenen un comportament estocàstic i les seues descripcions com a distribucions de probabilitats són conegudes. Les estratègies de MPC estocàstic estan desenvolupades per al control de processos amb incerteses de naturalesa estocàstica, on el coneixement de les propietats estadístiques de les incerteses és aprofitat en incloure'l en el plantejament d'un problema de control òptim (OCP). En aquest, i contrari a altres esquemes de MPC, les restriccions dures són relaxades en reformulades com a restriccions de tipus probabilístiques amb la finalitat de reduir el conservadorisme. Això és, es permeten les violacions de les restriccions dures originals, però tals violacions no han d'excedir un nivell de risc permès. La no-convexitat de tals restriccions probabilístiques fan que el problema d'optimització siga computacionalment immanejable, per la qual cosa la majoria de les estratègies de MPC estocàstic en la literatura es diferencien en la forma en què aborden tals restriccions i les incerteses, per a tornar el problema computacionalment manejable. D'una banda, estan les estratègies deterministes que, fora de línia, converteixen les restriccions probabilístiques en unes noves de tipus deterministes, usant la propagació de les incerteses al llarg de l'horitzó de predicció per a ajustar les restriccions dures originals. D'altra banda, les estratègies basades en escenaris usen la informació de les incerteses per a, en cada instant de mostreig, generar de manera aleatòria un conjunt de possibles evolucions d'aquestes al llarg de l'horitzó de predicció. D'aquesta manera, converteixen les restriccions probabilístiques en un conjunt de restriccions deterministes que s'han de complir per a tots els escenaris generats. Aquestes estratègies es destaquen per la seua capacitat d'incloure en temps real informació actualitzada de les incerteses. No obstant això, aquest avantatge genera inconvenients com la seua despesa computacional, el qual augmenta conforme ho fa el nombre d'escenaris i; d'altra banda, l'efecte no desitjat en el problema d'optimització, causat pels escenaris amb baixa probabilitat d'ocurrència, quan s'usa un conjunt d'escenaris xicotet. Els reptes esmentats anteriorment van orientar aquesta tesi cap als enfocaments de MPC estocàstic basat en escenaris, produint tres contribucions principals. La primera consisteix en un estudi comparatiu d'un algorisme del grup determinista amb un altre del grup basat en escenaris; on es fa un especial èmfasi en com cadascun d'aquests aborda les incerteses, transforma les restriccions probabilístiques i en l'estructura del seu problema d'optimització, a més d'assenyalar els seus aspectes més destacats i desafiaments. La segona contribució és una nova proposta d'algorisme MPC, el qual es basa en escenaris condicionals, dissenyat per a sistemes lineals amb incerteses correlacionades. Aquest esquema aprofita l'existència de tal correlació per a convertir un conjunt d'escenaris inicial de gran grandària en un conjunt d'escenaris més xicotet amb les seues probabilitats d'ocurrència, el qual conserva les característiques del conjunt inicial. El conjunt reduït és usat en un OCP en el qual les prediccions dels estats i entrades del sistema són penalitzades d'acord amb les probabilitats dels escenaris que les componen, donant menor importància als escenaris amb menors probabilitats d'ocurrència. La tercera contribució consisteix en un procediment per a la implementació del nou algorisme MPC com a gestor de l'energia en una microxarxa en la qual les previsions de les energies renovables i les càrregues estan correlacionades. / [EN] The vast majority of real-world processes have inherent uncertainties, which, when considered in the modelling process, can provide a representation that most accurately describes the behaviour of the real process. In most practical cases, these are considered to have stochastic behaviour and their descriptions as probability distributions are known. Stochastic model predictive control algorithms are developed to control processes with uncertainties of a stochastic nature, where the knowledge of the statistical properties of the uncertainties is exploited by including it in the optimal control problem (OCP) statement. Contrary to other model predictive control (MPC) schemes, hard constraints are relaxed by reformulating them as probabilistic constraints to reduce conservatism. That is, violations of the original hard constraints are allowed, but such violations must not exceed a permitted level of risk. The non-convexity of such probabilistic constraints renders the optimisation problem computationally unmanageable, thus most stochastic MPC strategies in the literature differ in how they deal with such constraints and uncertainties to turn the problem computationally tractable. On the one hand, there are deterministic strategies that, offline, convert probabilistic constraints into new deterministic ones, using the propagation of uncertainties along the prediction horizon to tighten the original hard constraints. Scenario-based approaches, on the other hand, use the uncertainty information to randomly generate, at each sampling instant, a set of possible evolutions of uncertainties over the prediction horizon. In this fashion, they convert the probabilistic constraints into a set of deterministic constraints that must be fulfilled for all the scenarios generated. These strategies stand out for their ability to include real-time updated uncertainty information. However, this advantage comes with inconveniences such as computational effort, which grows as the number of scenarios does, and the undesired effect on the optimisation problem caused by scenarios with a low probability of occurrence when a small set of scenarios is used. The aforementioned challenges steered this thesis toward stochastic scenario-based MPC approaches, and yielded three main contributions. The first one consists of a comparative study of an algorithm from the deterministic group with another one from the scenario-based group, where a special emphasis is made on how each of them deals with uncertainties, transforms the probabilistic constraints and on the structure of the optimisation problem, as well as pointing out their most outstanding aspects and challenges. The second contribution is a new proposal for a MPC algorithm, which is based on conditional scenarios, developed for linear systems with correlated uncertainties. This scheme exploits the existence of such correlation to convert a large initial set of scenarios into a smaller one with their probabilities of occurrence, which preserves the characteristics of the initial set. The reduced set is used in an OCP in which the predictions of the system states and inputs are penalised according to the probabilities of the scenarios that compose them, giving less importance to the scenarios with lower probabilities of occurrence. The third contribution consists of a procedure for the implementation of the new MPC algorithm as an energy manager in a microgrid in which the forecasts of renewables and loads are correlated. / González Querubín, EA. (2024). Scenario-Based Model Predictive Control for Systems with Correlated Uncertainties [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/203887

Page generated in 0.0568 seconds