MÉTODOS de geração de casos de teste visam a gerar um conjunto de casos de teste com uma boa relação custo/benefício. Critérios de cobertura de teste definem requisitos de teste, os quais um conjunto de teste adequado deve cobrir. Métodos e critérios visam a selecionar casos de teste baseados em especificações, que podem ser descritas por meio de modelos, tais como Máquinas de Estados Finitos (MEF). Existem diversos métodos de geração e critérios de cobertura, diferindo entre si em função das propriedades exigidas da MEF, do custo dos testes gerados e da eficácia na revelação de defeitos. Apesar de pesquisas intensas na definição desses métodos e critérios, são poucas as ferramentas de apoio disponíveis assim como são poucos os relatos de aplicação em termos de custo e eficácia para a definição de estratégias de teste efetivas. Dessa forma, é necessário obter dados reais das vantagens e desvantagens dos métodos e critérios para subsidiar a tomada de decisão no processo de desenvolvimento de software no que tange às atividades de teste e validação. Este trabalho apresenta resultados de experimentos para avaliar o custo e a eficácia de aplicação dos métodos e critérios mais relevantes para subsidiar a definição de estratégias de teste em diversos contextos, como por exemplo, no desenvolvimento de protocolos e de sistemas reativos. Utiliza-se um protótipo desenvolvido a partir de uma reengenharia da ferramenta Plavis/FSM para apoiar os experimentos / TEST case generation methods aim to generate a test suite that offers an acceptable trade-off between cost and avail. Test coverage criteria define testing requirements, which an adequate test suite must fulfill. Methods and criteria help to select test case from specifications, which can be describe as models, for example Finite State Machines (FSM). There are several generation methods and coverage criteria that differ depending on the required properties of the FSM, the cost of generated tests and the effectiveness in revealing faults. In spite of intense researches in the definition of those methods and criteria, there are few available tools to apply them as well as application reports about cost and effectiveness issues to define effective test strategies. Thus, it is necessary to obtain real data of the advantages and disadvantages of the methods and criteria to provide decision-making in the software development process as far in the validation and test activities. This work aimed to lead experiments to evaluate the cost and the effetiveness in applying the most relevant methods and criteria to subsidize test strategies definition in several contexts as the communication protocol development and the reactive systems development. A prototype was developed based on reengineering of the Plavis/FSM tool to support the experiments

Made available in DSpace on 2010-04-20T20:14:36Z (GMT). No. of bitstreams: 0 Previous issue date: 1998-03-31T00:00:00Z / O setor financeiro brasileiro vem passando por forte processo de reestruturação, em função da estabilização da economia e aumento da competição. Frente a este quadro, instituições financeiras têm revisto suas estratégias de negócios e sistemas de gestão. O trabalho procurou mostrar a adequação do custeio baseado em atividades na renovação das ferramentas tradicionais e novas aplicações que podem contribuir para a geração de informações importantes para a gestão das instituições financeiras. Foram consideradas as características operacionais típicas e feitas considerações aos vários tipos de negócios das instituições. Foram também apresentados os passos básicos da metodologia e comentadas dificuldades e cuidados na implantação, para garantir o sucesso do projeto. / The Brazilian financial section has been going through a severe restructuring process due to the stabilization of the economy and market Competition. So, financial institutions have been reviewing their business strategies and administration systems as well. This work has tried to show that the adjustment of Activity-Based Costing on new tools and applications can bring important information to the management of financial institutions. The typical operational characteristics and different types of business have been under scrutiny and consideration. The basic steps of methodology have been presented, and problems and difficulties that might prevent the project being successful have been commented on.

Made available in DSpace on 2010-04-20T20:14:37Z (GMT). No. of bitstreams: 0 Previous issue date: 1997-03-06T00:00:00Z / This dissertation presents the conventional cost accounting systems described in specialized literature. It also discusses three costing methods used by healthcare provider organizations in United States. It presents the basic contents about activitybased costing (ABC) anda framework for its implementation . It concludes with an ABC model for hospitais. / Esta dissertação de mestrado apresenta os métodos convencionais de custeio descritos na literatura. Também discute os método de custeio mais utilizados pelos serviços de saúde norte-americanos. Apresenta a fundamentação teórica e descreve um método de aplicação do Sistema de Custos Baseado em Atividades (ABC - Activity-Based Costing). Conclui mostrando um exemplo prático da aplicação do Activity-Based Costing em um hospital

Made available in DSpace on 2010-04-20T20:20:07Z (GMT). No. of bitstreams: 1 68060200611.pdf: 3035067 bytes, checksum: 838a323483eb79feab506a0547dc9b7b (MD5) Previous issue date: 2009-05-25T00:00:00Z / The present dissertation is a case study that aims to map the contribution margin, expenses and profits on the distribution chain of domestic LP Gas in Brazil. The study focus on the mapping ofthe value chain starting at one ofthe 21 distributors ofLP Gas and their retails in a specific sales area. For the fixed costs and expenses mapping ofthe distributor and their retails the Activiy Based Costs -ABC were used. For the profit map the earnings before interest, taxes, depreciation and amortization -Ebitda were used. After the mapping the maio variables that explain the Ebitda ofthe distributor and their retails were identified. Furthermore, to identify the variables two regressions were made to explain the unitary profit (R$/cylinders) ofthe distributor and their more than 500 retails in a specific sales area. The results show an estimate of how the contribution margin, expenses and profits in the distribution chain of the domestic LP Gas in Brazil were divided between the distributors and retail in the year of 2007. Moreover, the variables that impact in the Ebitda formation were explained for the distributor and the retails in the case study. Furthermore, the dissertation discusses the potential of the profit pool map in the value chain during the text and conclusion. / A dissertação é um estudo de caso que tem como objetivo mapear a margem de contribuição, gastos e lucros na cadeia de distribuição do gás de cozinhas no Brasil. O trabalho focaliza o mapeamento da cadeia de valor a partir de uma das 21 distribuidoras de Gás LP e suas revendas em uma de suas áreas de atuação. Para o mapeamento dos custos e despesas fixos da distribuidora e de seus revendores foi utilizado o custeio baseado em atividade - ABC. Para o mapeamento do lucro foi utilizado o lucro antes dos juros, impostos, depreciação e amortização - Ebitda. Após o mapeamento buscou-se identificar as principais variáveis que explicam a atual configuração Ebitda da distribuidora e de suas revendas. Para isso foram geradas regressões de dados para entender o lucro unitário (reais por botijão de gás) da distribuidora e de suas mais de 500 revendas em uma das áreas de atuação. O resultado mostra uma estimativa de como a margem de contribuição, gastos e lucros na cadeia de distribuição do gás de cozinha no Brasil para o ano de 2007 se dividem entre as distribuidoras e revendedores de Gás LP domiciliar em termos percentual e unitário. Também foram explicadas quais as variáveis que mais impactam no Ebitda da distribuidora e revendas do estudo de caso. Por fim, o trabalho discute o potencial da metodologia de análise de mapeamento através do profit pool na cadeia de valor da indústria ao longo do texto e na conclusão do trabalho.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The steady advance of digital technology and its strong presence in school settings point to a new way of using technology in this environment. Traditionally, digital technology is used by teachers and students as a source of researches and, moreover, by the teacher as an alternative methodology that helps in the classroom. This dissertation aims about digital technology as a basic tool in conducting evaluations and performance, especially in the discipline of Mathematics. Thus, its research question is: there are differences in Mathematics performance when activities are performed on the computer? From this, the overall aim of this work is to compare the performance of students in the discipline of Mathematics, when conducting tests based on paper (PPT) and computer-based (CBT). To support the discussion, we will also address issues related to large-scale assessments, which indicate the performance of students, schools and systems. For this, we divide the dissertation into three articles, in order to address in more detail the different subjects that make up this work. The first paper investigated if previous studies have found differences in performance in Mathematics in digital and printed tests in materials published in journals Portal CAPES. The second article provides an overview of the different evaluations that occur in Brazil and focuses on the National Assessment System (SAEB). The text analyzes the mean performance in Mathematics, systems obtained in Rio Grande do Sul, in the editions 2005, 2007, 2009 and 2011 of SAEB, to try to understand possible trends and fluctuations in average. The third and final article presents the construction and application of a Mathematics test performance, confronted the results between the digital version and the printed version. In addition, also compared performance on the test paper with the results of the national assessment, since the instrument constructed was based on evaluations SAEB. The set of three articles showed us that although the research in this field are recent, it is possible to think about large-scale assessments performed on the computer. Both performances, PPT and CBT, were different: the strategies for resolution of the issues are modified according to the means of achievement. Furthermore, the use of technology can be a more effective way to school gets its results, so that modifications can be made within the same school year. Finally, using computer for this new purpose, it is possible explore different abilities of students, motivate the use of this tool in the school environment and streamline the process of national evaluation. / O contínuo avanço das tecnologias digitais e a sua forte presença nos contextos escolares sinalizam para um novo modo de uso da tecnologia neste ambiente. Tradicionalmente, a tecnologia digital é utilizada por professores e alunos como uma fonte de buscas e pesquisas e, além disso, pelo docente como uma metodologia alternativa que o auxilia em sala de aula. Nesta dissertação de mestrado veremos a tecnologia digital como uma ferramenta base na realização de avaliações e testes de desempenho, em especial na disciplina de matemática. Dessa maneira, nossa questão de pesquisa é: há diferenças no desempenho em matemática quando as atividades são realizadas no computador? A partir disso, o objetivo geral da dissertação é comparar o desempenho de alunos, na disciplina de matemática, quando realizam testes baseado em papel (PPT) e baseado em computador (CBT). Para embasar a discussão, abordaremos também questões relacionadas às avaliações em larga escala, voltadas a diagnosticar o desempenho dos estudantes, escolas e sistemas. Para isso, dividimos a dissertação em três artigos, com o objetivo de abordar de maneira mais detalhada os diferentes assuntos que compõem este trabalho. O primeiro artigo investigou, junto a materiais publicados no Portal de periódicos da CAPES, se pesquisas já realizadas encontraram diferença de desempenho, em matemática, em testes digitais e impressos. O segundo artigo apresenta um panorama das diferentes avaliações que ocorrem no Brasil e foca no Sistema Nacional de Avaliação da Educação Básica (SAEB). O texto analisa as médias de desempenho em matemática, obtidas pelos sistemas do Rio Grande do Sul, nas edições 2005, 2007, 2009 e 2011 do SAEB, para tentar compreender possíveis oscilações e tendências nas médias. O terceiro e último artigo apresenta a construção e aplicação de um teste de desempenho de matemática, confrontado os resultados entre a versão digital e a versão impressa. Além deste viés, também comparamos os desempenhos do teste em papel com os resultados da avaliação nacional, uma vez que o instrumento construído se baseou nas avaliações do SAEB. O conjunto dos três artigos nos mostrou que, embora as pesquisas neste campo sejam recentes, é possível pensar em avaliações em larga escala realizadas no computador. Isto porque, além dos desempenhos em PPT e CBT serem diferentes, as estratégias de resolução das questões se modificam de acordo com o meio de realização. Além disso, o uso da tecnologia pode ser uma maneira mais eficaz de retornar às escolas seus resultados, de modo que modificações possam ser feitas dentro de um mesmo ano letivo. Por fim, trazendo o computador para esta nova finalidade, é possível explorar diferentes habilidades dos alunos, motivar o uso desta ferramenta no ambiente escolar e agilizar o processo de avaliação nacional.

MÉTODOS de geração de casos de teste visam a gerar um conjunto de casos de teste com uma boa relação custo/benefício. Critérios de cobertura de teste definem requisitos de teste, os quais um conjunto de teste adequado deve cobrir. Métodos e critérios visam a selecionar casos de teste baseados em especificações, que podem ser descritas por meio de modelos, tais como Máquinas de Estados Finitos (MEF). Existem diversos métodos de geração e critérios de cobertura, diferindo entre si em função das propriedades exigidas da MEF, do custo dos testes gerados e da eficácia na revelação de defeitos. Apesar de pesquisas intensas na definição desses métodos e critérios, são poucas as ferramentas de apoio disponíveis assim como são poucos os relatos de aplicação em termos de custo e eficácia para a definição de estratégias de teste efetivas. Dessa forma, é necessário obter dados reais das vantagens e desvantagens dos métodos e critérios para subsidiar a tomada de decisão no processo de desenvolvimento de software no que tange às atividades de teste e validação. Este trabalho apresenta resultados de experimentos para avaliar o custo e a eficácia de aplicação dos métodos e critérios mais relevantes para subsidiar a definição de estratégias de teste em diversos contextos, como por exemplo, no desenvolvimento de protocolos e de sistemas reativos. Utiliza-se um protótipo desenvolvido a partir de uma reengenharia da ferramenta Plavis/FSM para apoiar os experimentos / TEST case generation methods aim to generate a test suite that offers an acceptable trade-off between cost and avail. Test coverage criteria define testing requirements, which an adequate test suite must fulfill. Methods and criteria help to select test case from specifications, which can be describe as models, for example Finite State Machines (FSM). There are several generation methods and coverage criteria that differ depending on the required properties of the FSM, the cost of generated tests and the effectiveness in revealing faults. In spite of intense researches in the definition of those methods and criteria, there are few available tools to apply them as well as application reports about cost and effectiveness issues to define effective test strategies. Thus, it is necessary to obtain real data of the advantages and disadvantages of the methods and criteria to provide decision-making in the software development process as far in the validation and test activities. This work aimed to lead experiments to evaluate the cost and the effetiveness in applying the most relevant methods and criteria to subsidize test strategies definition in several contexts as the communication protocol development and the reactive systems development. A prototype was developed based on reengineering of the Plavis/FSM tool to support the experiments

[pt] Na etapa de testes de software, as falhas podem ser reveladas e em seguida diagnosticadas a fim de identificar os defeitos que a causaram. Os testes devem idealmente ser aplicados desde o nível da unidade até o nível mais elevado do software, como o teste de sistema. Em um destes níveis está o teste da interface gráfica, ou Graphical User Interface (GUI). Garantir o correto funcionamento da GUI quanto ao estado de seus elementos após diversos eventos de usuário, é tão importante quanto o teste de outras camadas, pois a GUI é um meio direto de interação com a aplicação, sendo o recurso que mais influencia em como será qualificada a experiência pelo usuário final. Este trabalho propõe uma abordagem de teste baseado em modelo, ou Model-Based Testing (MBT), utilizando Redes de Petri (RP) de alto nível para representar a interface gráfica. A Rede de Petri é uma ferramenta de modelagem e uma linguagem de especificação de base matemática que define graficamente a estrutura de sistemas especialmente concorrentes. Uma característica importante das RPs é que elas podem ser simuladas, permitindo que se observe o comportamento do sistema e que se obtenha a geração de casos de teste a partir dos caminhos executados na simulação. Foi investigada a geração de suítes de teste para interface gráfica a partir do modelo Rede de Petri. Para isso, considerou-se a relação entre as ações do usuário e os estados resultantes na GUI, percebendo como uma RP pode modelá-los. Uma ferramenta de apoio foi desenvolvida para que, a partir das simulações realizadas na Rede de Petri, suítes de teste fossem geradas na linguagem C mais mais, tornando possível a execução automática em um software de estudo. Por fim, o critério de teste Análise de Mutantes, que mede a eficácia da suíte gerada a partir da RP, foi empregado como um dos meios de validação deste trabalho. / [en] In software testing stage, faults can be revealed and then diagnosed to identify defects that caused it. Tests should ideally be applied from the unit level to the higher level of software, such as system testing. In one of these levels resides GUI (Graphical User Interface) testing. Ensuring the correct operation of the GUI on the state of its elements after various user events is as important as the other layers tests, since GUI is a direct way to interact with the application, being the feature that most influences how the experience will be qualified by the end user. This paper proposes a Model-Based Testing (MBT) approach using high-level Petri Nets (RP) to represent graphical user interface. Petri Net is a modeling tool and a mathematical specification language that graphically defines the structure of systems, specially the concurrent ones. An important feature of RPs is that they can be simulated, allowing one to observe the behavior of the system and to obtain the generation of test cases from the paths executed in the simulation. The generation of test suites for GUI from the Petri Net model was investigated. For this, we considered the relationship between user actions and resulting states in the GUI, realizing how an RP can model them. A support tool was developed so that, from the simulations of Petri Net, test suites were generated in C plus plus language, making it possible to auto-run them on a study software. Finally, the Mutation Analysis test criterion, which measures the effectiveness of the suite generated from RP, was employed as a means of validation of this work.

A Doença de Chagas, endêmica na América Latina, é causada pelo parasito tripanossomatídeo Trypanosoma cruzi e atualmente já se espalha para o restante do mundo devido à migração humana. Os dois medicamentos disponíveis para o tratamento dessa doença, o Nifurtimox, (banido do Brasil), e o Benzonidazol, são eficazes somente na etapa aguda da doença e possuem efeitos colaterais severos. Recentemente, três novas substâncias para o tratamento chegaram à fase clínica de testes contra essa doença, mas ainda é necessária a pesquisa de novas moléculas contra esse parasito. A enzima Gliceraldeído-3-fosfato Desidrogenase (GAPDH) foi selecionada como alvo para busca de moléculas potencialmente tripanossomicidas. De forma a inibir essa enzima, a busca de moléculas baseou-se na abordagem de fragmentos moleculares para encontrar substâncias com elevada eficiência de ligante. A partir de um banco de dados comercial de 500 mil moléculas, filtros moleculares de solubilidade e da Regra dos Três foram aplicados para montar uma biblioteca focalizada de moléculas. Essa biblioteca foi submetida a estudos integrados baseados na estrutura do alvo macromolecular (docagem) e do substrato da enzima (similaridade química e eletrostática) e a inspeção visual dos fragmentos bem classificados em ambas técnicas foi realizada de modo a selecionar cinco compostos de classes químicas diversas. Essas substâncias foram submetidas a ensaios enzimáticos in vitro por meio de espectroscopia de fluorescência, sendo encontrado então um fragmento com Ki de (425 ± 53) μM e eficiência de ligante de 0,33, valor bastante promissor para abordagem baseada em fragmentos moleculares. Estudos de simulação por Dinâmica Molecular (MD) foram feitos para as cinco moléculas adquiridas, com energia de interação ligante-enzima calculada usando o método MM-GB/SA. A classificação das moléculas por essa energia foi idêntica à obtida experimentalmente. Além disso, a MD possibilitou a predição de modo de interação dos fragmentos no sítio ativo da TcGAPDH e a identificação de uma nova cavidade passível de modulação de sua atividade. Uma segunda série de fragmentos foi selecionada baseada no fragmento ativo de modo a construir uma relação estrutura-atividade (SAR) teórica por MD. A SAR sugere que a presença de um átomo nitrogênio capaz de doar ligações de hidrogênio é importante para a interação, com o resíduo de aminoácido Asp210. Este resíduo de aminoácido desponta como um possível ponto de seletividade para a enzima humana, que possui uma leucina nessa posição. Além disso, a posição na substituição do anel central também está diretamente relacionada à interação da molécula com a enzima, com uma substituição 2,3 em um anel de cinco membros a mais favorável. Este trabalho identificou pela primeira vez um fragmento molecular com alta eficiência de ligante para a enzima TcGAPDH, com o auxílio do uso conjunto de técnicas baseadas na estrutura do ligante e do alvo, para seleção de moléculas, e espectroscopia de fluorescência para identificação de atividade inibitória frente à enzima. Método de simulação por MD conseguiu reproduzir os resultados experimentais e prover informações teóricas de SAR para o composto ativo. / Chagas disease is a parasitic illness endemic in Latin America caused by the trypanosomatid parasite Trypanosoma cruzi that spreads around the world due to people migration. Nowadays, Benznidazole and Nifurtimox (banned in Brazil), are used for the treatment of this disease but causes severe side effects to patients. Recently, three new molecules have reached clínical trials phase in the development of drugs against Chagas disease but it is still necessary to develop new drugs. In this studies, the enzyme Glyceraldehyde-3-phosphate Dehydrogenase (GAPDH) was used as a target for the search of new antitrypanosomatid molecules. It belongs to the glycolytic pathway, the major one for parasite\'s energy generation. With the aim searching a new molecule that inhibits this enzyme, the fragment-based approach guided the search of molecules with high ligand efficiency. A focused compound library was assembled from a database of 500,000 molecules using molecular and solubility filters and the Rule of Three. The integrated use of ligand (chemical and electrostatic similarity) and target (molecular docking) based drug design was carried out to rank the molecular fragments by a consensual score. Through visual inspection of the top 500 molecules five diverse fragments were selected for the in vitro enzymatic assays using fluorescence spectroscopy. One of these molecules shows a Ki equals to (425 ± 53) μM and ligand efficiency equals to 0,33, a promising value for the fragment-based approach. Additionally, Molecular Dynamics simulations (MD) were carried out with these fragments and the predicted energy of interaction for fragment-enzyme complex was able to rank the molecules as using the experimental results. Furthermore, the MD was useful to predict the mode of interaction of the fragments in the active site of enzyme and to reveal a new cavity close to the substrate binding site. A second generation of compounds was selected based on the structure of the active fragment to construct theoretical structure-activity relationship (SAR) using MD. SAR indicates that the presence of a nitrogen with hydrogen-bond donor property is important to the interaction, making hydrogen-bonding with the amino acid residue Asp210. In addition, MD shows the influence of different substituent posítion in the central ring in the energy of the interaction, with a 2,3 substitution at five-atom ring the most favorable. This study identifies the first molecular fragment with high ligand efficiency for the enzyme TcGAPDH, with the combined use of ligand and target-based tools and fluorescence spectroscopy, for selection and identification of active compounds against the enzyme. MD was able to reproduce experimental results and generate theoretical information of SAR to the active molecular fragment.

Adaptações da estrutura urbana visando incentivar as viagens por modos sustentáveis, bem como a seleção e a implantação de ações e políticas com o mesmo propósito, são ainda desafios para técnicos e gestores. O Índice de Mobilidade Urbana Sustentável (IMUS) foi aqui adotado como base de uma estratégia para contornar esses problemas. Cada um de seus 87 indicadores foi avaliado por especialistas, os quais apontaram potenciais dificuldades para a implementação de melhorias. Com base nestas avaliações foi possível desenvolver, aplicar e analisar os resultados de um método de planejamento através de cenários, com a finalidade de obter alternativas para adaptar cidades ao conceito de mobilidade sustentável. Os resultados obtidos com a aplicação na cidade de São Carlos apontam o método como uma estratégia promissora de planejamento urbano, pois se mostrou capaz de indicar diversos possíveis conjuntos de ações práticas com grande potencial para conduzir a cidade à meta de mobilidade urbana sustentável. Estas ações puderam ser escolhidas com base em critérios claros, tais como: custo de execução, períodos de tempo (múltiplos de 4 anos, de forma a coincidir com o período de gestão dos prefeitos) ou ainda, o risco político decorrente da execução das ações. A análise dos resultados conduziu à conclusão de que o método é adequado para fins de planejamento urbano, uma vez que foi consistente não apenas com os problemas observados, mas também com as soluções previstas para muitos dos desafios da mobilidade urbana. Além disso, os indicadores que influenciam indiretamente na Geração de Viagens Sustentáveis (GVS), e que estavam associados a ações classificadas como viáveis em todos os quesitos, foram os que apresentaram maior potencial para alterar o valor geral do índice. Adicionalmente, embora alguns domínios tenham tido vários indicadores com avaliações ruins (por exemplo, os domínios \"Modos Não-motorizados\" e Sistemas de Transporte Urbano\"), eles também concentraram um grande número de indicadores associados a ações viáveis. Isso parece indicar que esses indicadores podem ser facilmente melhorados, se estimulados por políticas adequadas. / Adaptations of the urban structure for encouraging trips by sustainable modes, as well as the selection and implementation of actions and policies with the same objective, are still challenges to technicians and urban managers. The Index of Sustainable Urban Mobility (I_SUM) was adopted here as the basis of a strategy to deal with those problems. Each one of the 87 indicators of I_SUM was evaluated by experts, who pointed out potential difficulties for the implementation of improvements. The evaluations provided elements for the development, application and analysis of the results of a scenario-based planning method. The goal of the method is the search of alternatives to adapt cities to the concept of sustainable urban mobility. The results obtained with the application in the city of São Carlos suggest that the method is a promising urban planning strategy, given that it can indicate several sets of practical actions with clear potential to conduct the city to the goal of sustainable mobility. That selection of actions was based on clear criteria, such as: implementation costs, time (in multiples of four years, in order to match the time available to the elected mayors), and the political risk of the proposed actions. The analyses of the outcomes led to the conclusion that the method is appropriate for urban planning purposes, given that it was consistent not only with the observed problems but also with the anticipated solutions to many of the urban mobility challenges. Also, indicators that simultaneously have an indirect influence on the generation of sustainable trips, and were associated to actions meeting all feasibility criteria, have shown a clear potential to change the overall index value. Furthermore, although some Domains have had several indicators with poor evaluations (e.g., the Domains Non-Motorized Modes and Urban Transport Systems), they also have concentrated a large number of indicators associated to feasible actions. It seems to indicate that these indicators could be easily improved, if stimulated by adequate policies.

Nesta tese, com a ambição de desenvolver um pacote de controle que poderia ser implementado a baixo custo nas indústrias brasileiras, é estudado o controle preditivo (MPC) de sistemas estáveis e instáveis com modelos incertos, baseado em um modelo de realinhamento e o uso de técnicas de desigualdades matriciais lineares (LMI), para resolução de problemas de controle robusto. Na primeira parte da tese, a aplicabilidade de um controlador baseado em um modelo de realinhamento é considerada. Como o controlador preditivo baseado em um modelo de realinhamento não requer o uso de um observador de estados, espera-se que seja mais eficiente e mais robusto a distúrbios não medidos que um controlador que precise de um observador de estados. Essa hipótese é testada comparando-se o desempenho e a robustez a distúrbios não medidos deste controlador com um controlador que requer o uso de um observador de estados, através da simulação do controle de um separador polipropileno/propano (PP) industrial. Por outro lado, a desvantagem de um controlador baseado em um modelo de realinhamento é a sensibilidade da construção do modelo e das matrizes do controlador a erros numéricos que aumentam com o tamanho do sistema. As etapas do algoritmo de controle mais sensíveis a erros numéricos são então destacadas com o objetivo de discutir a aplicabilidade de um controlador baseado em um modelo de realinhamento a sistemas de grande porte. Além disso, sempre que possível, os métodos utilizados para reduzir a sensibilidade das etapas problemáticas a erros numéricos são apresentados. A segunda parte da tese trata da solução do problema de controle robusto preditivo baseado em um modelo de sistema incerto. Este problema é usualmente abordado através da inclusão de restrições não lineares sobre os custos associados aos modelos da planta no problema de controle, de tal modo que a ação de controle é obtida a cada instante de tempo através da resolução de um problema de otimização não linear, cujo custo computacional pode ser proibitivo para sistemas de grande porte. Nesta parte da tese, o problema de MPC robusto é então reformulado como um problema baseado em LMIs, que pode ser resolvido com uma fração do esforço computacional. A abordagem proposta é comparada com o MPC robusto convencional e testada através da simulação do controle de um reator e de um separador C3/C4 industriais. Finalmente, na terceira parte da tese, o MPC de sistemas estáveis e instáveis com incertezas no modelo que permite a saturação das entradas manipuladas é abordado. Um subconjunto das entradas manipuladas é alocado ao controle das saídas instáveis através de uma lei de realimentação de estados, enquanto as outras entradas são deixadas livres para controlar as saídas estáveis restantes. Assume-se que as saídas são controladas dentro de faixas e que os setpoints das saídas são tratados como entradas manipuladas adicionais. Os controladores desenvolvidos nesta parte da tese permitem a saturação das entradas associadas às saídas instáveis através da manipulação das entradas livres e dos setpoints das saídas instáveis. A viabilidade recursiva dos controladores desenvolvidos é garantida, permitindo-se que os setpoints das saídas instáveis deixem temporariamente suas faixas. O desempenho dos controladores desenvolvidos é testado através da simulação do controle de dois processos integradores da indústria química. / In this thesis, with the ambition of developing a homemade control package that could be implemented at a low cost in Brazilian industries, the model predictive control (MPC) of uncertain stable and unstable systems based on a realigned state space representation and on the use of the Linear Matrix Inequality (LMI) techniques is addressed. In the first part of this thesis, the practical implementability of a controller based on a realigned model is considered. Since a Model Predictive Controller based on a realigned model does not require the use of a state observer, it is expected to be more efficient and more robust to unmeasured disturbances than a controller requiring the use of a state observer. This assumption is tested by comparing the performance and the robustness to unmeasured disturbances of a controller based on a realigned model with a controller requiring the use of a state observer through the simulation of the control of a nonlinear industrial propylene/propane (PP) splitter. On the other hand, a disadvantage of a controller based on a realigned model is that the construction of the model and controller matrices is very sensitive to numerical errors. The steps of the control algorithm that are more sensitive to numerical errors are then highlighted in order to discuss the practical applicability of an MPC based on the realigned model to large-scale systems. Also, wherever possible, some ways of decreasing the sensitiveness of the problematic steps to numerical errors are presented. The second part of this thesis addresses the solution to the problem of robust MPC of systems with model uncertainty. The usual approach of dealing with this kind of problem is through the inclusion of nonlinear cost constraints in the control problem so that the control action is obtained at each sampling time as the solution to a nonlinear programming (NLP) problem that, for high order systems, can be computationally expensive. In this part of the thesis, the robust MPC problem is then recast as an LMI problem that can be solved in real time with a fraction of the computer effort. The proposed approach is compared with the conventional robust MPC and tested through the simulation of the control of a reactor system and a C3/C4 splitter of the process industry. Finally, in the third part of the thesis, the model predictive control of uncertain process systems with stable and unstable outputs that allows input saturation is addressed. A subset of the manipulated inputs is allocated to the control of the unstable outputs through a state feedback control law while the other inputs are left free to control the remaining stable outputs. It is assumed that the outputs are controlled inside zones and that the output setpoints are treated as additional free manipulated inputs. The proposed controllers allow the saturation of the inputs related to the unstable outputs by manipulating the free inputs and the setpoints of the unstable outputs. The recursive feasibility of the controllers is guaranteed by allowing the setpoints of the unstable outputs to temporarily leave their bounds. The performance of the proposed approach is tested through the simulation of the control of two integrating chemical process systems.