O SNRC e os novos instrumentos de financiamento do agronegócio: o mercado de crédito rural brasileiro entre dois modelos

Esta pesquisa mostra como o desenvolvimento do sistema jurídico institucional do mercado de crédito rural no Brasil se desenvolveu a ponto de permitir a convivência de dois modelos normalmente considerados antitéticos: o modelo de economia de mercado coordenado via bancos públicos e o modelo de economia de mercado liberal. O primeiro capítulo da dissertação reconstrói como a teoria do Law and Finance que permite identificar adequadamente esse resultado de pesquisa se desenvolve a partir da crise das postulações e premissas da teoria econômica neoclássica. O segundo capítulo narra o desenvolvimento e crise do modelo do Sistema Nacional de Crédito Rural entre as décadas de 1960 e 1980, partindo de uma análise sobre sua estrutura, regulação e institutos. Passando dos modelos de organização financeira para as modalidades de crédito rural, o capítulo narra a lógica, estrutura e evolução do modelo calcado na alocação de recursos por banco públicos, de modo que essa elucidação de contexto histórico permite que se verifique a grande ruptura que é introduzida no sistema de financiamento rural a partir dos anos 2000. O terceiro capítulo narra e descreve o surgimento da estrutura, regulação e institutos regidos pela lógica de mercado liberal, até então ausente no SNCR para, após, realizar uma apreciação do resultado alcançado. Ao final, a conclusão reúne os principais achados dessa pesquisa, destaca os principais pontos de sua narrativa e os problematiza para uma agenda de pesquisa futura.

Modelo de taxonomia baseada nas competências profissionais de cirurgiões-dentistas que atuam na estratégia da saúde da família: uma ferramenta para planejamento instrucional

A pesquisa visa desenvolver solução para facilitar o planejamento e elaboração de ações educacionais por meio de uma taxonomia das competências profissionais em saúde que tem como base dois conceitos-chave: competências profissionais para a saúde e objetivos educacionais. Esses conceitos são explorados na perspectiva do desenvolvimento de uma taxonomia para ser utilizada como referencial de planejamento e elaboração dos cursos por professores e profissionais de educação em geral, no âmbito de Instituições de Ensino Superior (IES). Na multiplicidade de profissionais de saúde que atuam na estratégia de Saúde da Família no âmbito da Atenção Primária, foi necessário escolher uma das profissões para a construção do modelo, sendo assim, foi escolhida a Odontologia. Entretanto, o modelo poderá ser aplicado para o desenvolvimento de taxonomias que contemplem as competências de outros profissionais, entre os quais os enfermeiros e os médicos. A questão no centro da pesquisa é: será que nas práticas das equipes multiprofissionais envolvidas no desenvolvimento de ações educacionais, limitadas pelos exíguos prazos que geralmente lhes são impostos, é possível potencializar a integração entre o estado da arte dos conhecimentos desenvolvidos no mundo acadêmico com as necessidades de aprendizagem dos profissionais de saúde? O resultado que se espera da pesquisa é uma taxonomia relacionando as competências profissionais dos cirurgiões dentistas com a Taxonomia dos objetivos educacionais de Bloom, (1).

A contribution on modeling methodologies for multibody systems.

Multibody System Dynamics has been responsible for revolutionizing Mechanical Engineering Design by using mathematical models to simulate and optimize the dynamic behavior of a wide range of mechanical systems. These mathematical models not only can provide valuable informations about a system that could otherwise be obtained only by experiments with prototypes, but also have been responsible for the development of many model-based control systems. This work represents a contribution for dynamic modeling of multibody mechanical systems by developing a novel recursive modular methodology that unifies the main contributions of several Classical Mechanics formalisms. The reason for proposing such a methodology is to motivate the implementation of computational routines for modeling complex multibody mechanical systems without being dependent on closed source software and, consequently, to contribute for the teaching of Multibody System Dynamics in undergraduate and graduate levels. All the theoretical developments are based on and motivated by a critical literature review, leading to a general matrix form of the dynamic equations of motion of a multibody mechanical system (that can be expressed in terms of any set of variables adopted for the description of motions performed by the system, even if such a set includes redundant variables) and to a general recursive methodology for obtaining mathematical models of complex systems given a set of equations describing the dynamics of each of its uncoupled subsystems and another set describing the constraints among these subsystems in the assembled system. This work also includes some discussions on the description of motion (using any possible set of motion variables and admitting any kind of constraint that can be expressed by an invariant), and on the conditions for solving forward and inverse dynamics problems given a mathematical model of a multibody system. Finally, some examples of computational packages based on the novel methodology, along with some case studies, are presented, highlighting the contributions that can be achieved by using the proposed methodology.

Sistemática de transformação: desenvolvimento teórico para o alinhamento entre estratégia e cultura organizacional nos projetos de Lean

Desde o final do Século XX e início do Século XXI, estudos analisam a elevada taxa de insucesso ou insatisfação com os Programas de Lean. Esta taxa tem se demonstrado demasiadamente elevada, variando entre 66% e 90%. Como efeito deste insucesso, tem-se o desperdício de tempo, dinheiro, recursos e, talvez o pior, tem-se a propagação do medo nos agentes de mudança em empreitar novas iniciativas de mudança. Estudos apontam a falta de alinhamento de tais projetos com a Cultura Organizacional como uma das questões fundamentais deste insucesso. Partindo desta temática de pesquisa, este ensaio teórico pode ser caracterizado como uma abordagem qualitativa de análise do problema, de natureza básica de pesquisa buscando gerar conhecimentos novos e úteis às organizações, sem aplicação prática prevista neste primeiro estágio de pesquisa. A fonte de evidências para sustentar o modelo proposto foi revisão dos estudos de caso encontrados na literatura, sendo utilizadas tanto uma Revisão Bibliográfica Sistemática (RBS) quanto Exploratória, de tal maneira a buscar o \"estado da arte\" no campo de estudo. A Fundamentação Teórica do trabalho é baseada na literatura de quatro grandes campos de estudo: (i) Estratégia, (ii) Lean, (iii) Cultura Organizacional e (iv) Gestão de Mudanças. A RBS tem foco nas interseções destes grandes campos, agregando 190 trabalhos internacionais. Por sua vez, a Revisão Exploratória traz algumas das principais referências dos três campos de estudo, como: Edgar Schein, John Kotter, Kim Cameron, Robert Quinn, David Mann, dentre outros. Desta maneira, este trabalho estudou a influência da cultura organizacional nos projetos de transformação e, a partir da ruptura com a teoria atual, construiu e propôs uma sistemática teórica, intitulada de \"Sistemática de Transformação\" (ou simplesmente \"Sistemática T\"), a qual propõe o alinhamento entre três dimensões: Estratégia, Projeto de Transformação e Cultura Organizacional. Fazendo uso desta sistemática, é esperado que os agentes de mudança consigam ter um planejamento mais eficaz do processo de diagnóstico, avaliação e gestão da cultura organizacional alinhado à Estratégia e também ao Projeto de Transformação da organização, com ênfase nos Programas de Lean. A proposição e uso desta sistemática pode favorecer tanto a discussão acadêmica na área de Gestão de Operações sobre o tema, quanto fornecer subsídios para aplicações práticas mais eficazes.

Desenvolvimento de algoritmo de controle de tração para regeneração de energia metroviária - ACTREM: melhoria da eficiência energética de sistemas de tração metroviária.

Esta tese propõe um modelo de regeneração de energia metroviária, baseado no controle de paradas e partidas do trem ao longo de sua viagem, com o aproveitamento da energia proveniente da frenagem regenerativa no sistema de tração. O objetivo é otimizar o consumo de energia, promover maior eficiência, na perspectiva de uma gestão sustentável. Aplicando o Algoritmo Genético (GA) para obter a melhor configuração de tráfego dos trens, a pesquisa desenvolve e testa o Algoritmo de Controle de Tração para Regeneração de Energia Metroviária (ACTREM), usando a Linguagem de programação C++. Para analisar o desempenho do algoritmo de controle ACTREM no aumento da eficiência energética, foram realizadas quinze simulações da aplicação do ACTREM na linha 4 - Amarela do metrô da cidade de São Paulo. Essas simulações demonstraram a eficiência do ACTREM para gerar, automaticamente, os diagramas horários otimizados para uma economia de energia nos sistemas metroviários, levando em consideração as restrições operacionais do sistema, como capacidade máxima de cada trem, tempo total de espera, tempo total de viagem e intervalo entre trens. Os resultados mostram que o algoritmo proposto pode economizar 9,5% da energia e não provocar impactos relevantes na capacidade de transporte de passageiros do sistema. Ainda sugerem possíveis continuidades de estudos.

Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída

O Teste Baseado em Modelos (TBM) emergiu como uma estratégia promissora para minimizar problemas relacionados à falta de tempo e recursos em teste de software e visa verificar se a implementação sob teste está em conformidade com sua especificação. Casos de teste são gerados automaticamente a partir de modelos comportamentais produzidos durante o ciclo de desenvolvimento de software. Entre as técnicas de modelagem existentes, Sistemas de Transição com Entrada/Saída (do inglês, Input/Output Transition Systems - IOTSs), são modelos amplamente utilizados no TBM por serem mais expressivos do que Máquinas de Estado Finito (MEFs). Apesar dos métodos existentes para geração de testes a partir de IOTSs, o problema da seleção de casos de testes é um tópico difícil e importante. Os métodos existentes para IOTS são não-determinísticos, ao contrário da teoria existente para MEFs, que fornece garantia de cobertura completa com base em um modelo de defeitos. Esta tese investiga a aplicação de modelos de defeitos em métodos determinísticos de geração de testes a partir de IOTSs. Foi proposto um método para geração de conjuntos de teste com base no método W para MEFs. O método gera conjuntos de teste de forma determinística além de satisfazer condições de suficiência de cobertura da especificação e de todos os defeitos do domínio de defeitos definido. Estudos empíricos avaliaram a aplicabilidade e eficácia do método proposto: resultados experimentais para analisar o custo de geração de conjuntos de teste utilizando IOTSs gerados aleatoriamente e um estudo de caso com especificações da indústria mostram a efetividade dos conjuntos gerados em relação ao método tradicional de Tretmans.