Orientador: Rodney Carlos Bassanezi / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-06T00:52:59Z (GMT). No. of bitstreams: 1 Cecconello_MoiseisdosSantos_M.pdf: 5857057 bytes, checksum: 8dbb12018838608241de19781b99d3c2 (MD5) Previous issue date: 2006 / Resumo: Neste trabalho utilizamos a teoria dos conjuntos fuzzy de duas maneiras distintas para a modelagem de dinâmica populacional como alternativa para a modelagem determinística: problema de valor inicial fuzzy e sistemas baseados em regras fuzzy. Apresentamos algumas das principais propriedades da solução de um problema de valor inicial fuzzy obtida por extensão de Zadeh do campo variacional determinístico ou do fluxo derterminístico. Elaboramos bases de regras para dinâmica populacional de espécies isoladas com crescimento inibido e espécies em interação do tipo competição, presa-predador e mutualismo. Além disso, estabelecemos alguns resultados sobre a existência e unicidade de estados de equilíbrio para sistemas p-fuzzy unidimensionais e bidimensionais. Experimentos computacionais são feitos para a validação dos resultados encontrados e modelos aqui propostos / Mestrado / Biomatematica / Mestre em Matemática Aplicada

Orientador: Luiz Antonio Barreira San Martin / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-08-08T04:52:24Z (GMT). No. of bitstreams: 1 Alves_LucianaAparecida_M.pdf: 720915 bytes, checksum: 31e0287aff59267244e774856c7d82af (MD5) Previous issue date: 2007 / Resumo: O principal objetivo desta dissertação é fornecer condições para garantirmos a existencia dos expoentes de Lyapunov. Inicialmente, introduzimos o conceito de expoente de Lyapunov associado a sistemas de equaçoes diferenciais lineares não autonomas e discutimos algumas propriedades que surgem com a introduçao deste conceito. Em seguida, damos duas versoes para a demonstraçao do Teorema Ergodico Multiplicativo de Oseledec para fluxos em tempo discreto associados a cociclos definidos sobre fibrados vetoriais triviais. A partir disto, estendemos este teorema para sistemas em tempo continuo, usando a extensao do Teorema Ergodico Subaditivo de Kingman. Finalmente, apresentamos uma noçao de fluxos em fibrados mais gerais do que fibrados triviais e obtemos, sob determinadas condiçoes, um caso particular do Teorema de Oseledec em cada fibra de um fibrado vetorial nao-trivial / Abstract: The main result of this work provides conditions to assure the existence of Lyapunov exponents. First of all, we introduce the concept of Lyapunov exponents associated to nonautonomous linear differential equations and we discuss some properties which appear with the introduction of this concept. We give two versions for the proof of Oseledec¿s Multiplicative Ergodic Theorem for discrete time flows associated to cocycles which are defined in trivial vector bundles. From this, we extend this theorem for continuos time systems, using an extension of Kingman¿s Subadditive Ergodic Theorem. Finally, we present a notion of flows in fiber bundles more general than the trivial vector bundles and we obtain, given some conditions, a particular case of the Oseledec¿s Theorem in each fiber of a non trivial vector bundle / Mestrado / Sistemas Dinamicos / Mestre em Matemática

Orientador: Luiz Antonio Barrera San Martin / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-08T09:09:07Z (GMT). No. of bitstreams: 1 Ferreira_LucasConqueSeco_D.pdf: 1131500 bytes, checksum: 66cc2aa6d04a5d822ddfaf164072cebd (MD5) Previous issue date: 2007 / Resumo: Essa tese estabelece um procedimento intrínseco que generaliza a decomposição esférica/radial clássica de semifluxos lineares para uma classe mais ampla de semifluxos de endomorfismos de fibrados G-principais, cujo grupo estrutural G é um grupo de Lie mais geral que o grupo linear geral G1(n,R). Nesse contexto mais geral essa tese estabelece uma relação estreita entre os comportamentos assintóticos esférico e radial generalizados do semifluxo de endomorfismos com respeito µa recorrência por cadeias por meio do conceito de expoentes de Morse vetoriais. / Abstract: This thesis establishes an intrinsic procedure which generalizes the classical spherical/radial decomposition of linear semiflows to a broader class of semiflows of endomorphisms of G- principal fiber bundles, whose structural group G is a Lie group that is more general than the general linear group G1 (n,R). In this more general context this thesis establishes an intimate relationship between the generalized spherical and radial asymptotic behavior of the semiflow of endomorphisms with respect to chain recurrence through the concept of vector valued Morse exponents. / Doutorado / Doutor em Matemática

Orientador: Jose C. Geromel / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação / Made available in DSpace on 2018-08-09T14:56:40Z (GMT). No. of bitstreams: 1 Martins_RafaeldeCastroDuarte_M.pdf: 331846 bytes, checksum: 23104cfddf85c27b47361e2f3ba52327 (MD5) Previous issue date: 2007 / Resumo: Neste trabalho, é proposto um novo método para o projeto de filtros robustos em norma H2, que consiste na utilização de uma combinação linear dos filtros de Kalman obtidos para os vértices do politopo de incertezas. Para esta classe de filtros, são obtidos problemas, expressos na forma de LMIs, para a determinação dos coeficientes que produzem o melhor filtro robusto. Inicialmente, uma sub-classe de sistemas politópicos é considerada e, em seguida, os resultados são generalizados para sistemas a tempo contínuo e discreto com incertezas paramétricas politópicas. São definidos limitantes inferior e superior para a norma do erro de estimação que permitem avaliar a qualidade do filtro proposto. Sua ordem é geralmente maior que a do sistema em estudo, o que contribui para melhorar o seu desempenho / Abstract: In this work, a new method to H2robust filtrer design is proposed. A convex combination of Kalman filters, calculated in each vertex of the uncertainty polytope, is used to synthesize the robust filter. For this model, the best one is calculated through a convex programming problem, expressed in terms of LMIs. Inicially a sub-class of polytopic systems is considerated and later it is widened to cope with both continuous and discrete time systems subject to polytopic parameter uncertainty. Lower and upper bounds of the estimation error norm are defined in order to evaluate the quality of the proposed filter. Its order generally is greater than the order of the plant, which contributes to reduce conservatism / Mestrado / Automação / Mestre em Engenharia Elétrica

Orientador: Orlando Fontes Lima Junior / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Civil, Arquitetura e Urbanismo / Made available in DSpace on 2018-08-11T22:02:07Z (GMT). No. of bitstreams: 1 Pinto_JanainaAntonino_M.pdf: 1177906 bytes, checksum: 001c546a8dc43c107f8f3c0bdaae25ca (MD5) Previous issue date: 2007 / Resumo: Este estudo teve como objetivo desenvolver um modelo de simulação, utilizando sistemas dinâmicos, para a análise de diferentes políticas de logística hospitalar. O modelo permite analisar de forma integrada como a gestão de diferentes políticas de estoque e de capacidades influenciam o custo do atendimento no hospital. Na modelagem consideraram-se como principais fatores a gestão de estoque de medicamentos e a capacidade de atendimento, que é definida pela disponibilidade de mão-de-obra especializada (médicos). Dois outros importantes fatores foram considerados como restrições de capacidade: a disponibilidade de macas e de equipamentos. Para demonstrar a aplicabilidade do modelo, um estudo de caso foi desenvolvido no pronto socorro do Hospital de Clínicas da Unicamp (Universidade Estadual de Campinas), onde foi realizada a análise dos diferentes cenários, integrando as políticas de estoque, capacidade e seus custos. Após análise destes cenários, estratégias integradas de políticas de estoque e capacidades que reduzissem o custo de atendimento foram propostas. / Abstract: The main objective of this dissertation is to develop a simulation model, using systems dynamics, to analyze different hospital logistic policies. The model allows an integrated analysis of how the management of different stock and capacities policies impacts the hospital attendance costs. The main factors of this process considered in the modeling are the medicine stock management and attendance capacity, defined as the specialized work source availability (physicians). Other important factors in this process were considered as capacity restrictions: hammock and equipments availability. In order to show the model suitability, the Emergency Room of Unicamp Clínicas Hospital case was studied. Different scenarios analyses were done combining stock policies, capacities and their costs. Using these results, integrated strategies of stock policies and capacities were proposed in order to reduce costs. / Mestrado / Transportes / Mestre em Engenharia Civil

Este trabalho estuda o tema Genocídio a partir do estudo comparativo dos sete casos do século XX, como oficialmente definidos pelas Nações Unidas: Armênios, Holodomor, Nanking, Holocausto, Cambódia, Bósnia-Herzegovina, e Ruanda. O mapeamento de suas similaridades é contraposto aos modelos de (i) Stanton (Genocide Watch); (ii) Albert Bandura (Desengajamento Moral); bem como (iii) Conceitos desenvolvidos a partir de estudos em Psicologia Social, oportunamente identificados. Chegou-se, então, a um Modelo Teórico Ajustado, sistêmico, que potencialmente ajuda a identificar as causas e consequências de Genocídios. / This work studies Genocide from comparing the seven ocurrences in the twentieth century, as oficially defined as Genocides by the United Nations: Armenians, Holodomor, Nanking, Holocaust, Cambodia, Bosnia-Herzegovina, Rwanda. The similarities among these cases are then compared with (i) The Stanton Model (Genocide Watch); (ii) The Moral Desengagement Framework, as proposed by Albert Bandura; as well as (iii) Social Psychology concepts, identified and conveniently presented. A theoretical adjusted model, systemic, is then presented, aiming to potentially help identifying causes and consequences of Genocides.

A Universidade de São Paulo é a principal instituição de ensino e pesquisa do Brasil e está entre as principais na América Latina. A USP é responsável por cerca de 23% de toda a produção científica brasileira (USP, 2014). É a instituição brasileira com melhores colocações e uma das líderes na América Latina nos rankings internacionais de universidades. A partir de 2014, a USP passou a registrar um desequilíbrio orçamentário, dispendendo mais de 100% dos repasses do Tesouro do Estado de São Paulo apenas para o pagamento de salários de seus servidores, prejudicando os investimentos e gastos com custeio, e obrigando a Universidade a utilizar reservas financeiras. O presente trabalho tem por objetivo identificar as causas e efeitos desse desequilíbrio financeiro da USP no período de 2010 a 2014. O referencial teórico se respalda nos estudos de governança universitária, compliance e teoria de sistemas. A coleta de dados foi realizada a partir de documentos oficiais e públicos disponibilizados pela USP: atas das reuniões do Conselho Universitário (CO), Comissão de Orçamento e Patrimônio (COP) e Comissão de Legislação e Recursos (CLR); relatórios apresentados pela Coordenadoria de Administração Geral (CODAGE); informes da Reitoria e Anuário Estatístico. Além destes documentos foram visitadas fontes secundárias com ênfase no noticiário e artigos publicados em periódicos como o diário Folha de São Paulo. A análise de dados revelou que: (i) o desequilíbrio financeiro foi causado pela ampliação de gastos promovida no período de 2010 a 2013, especialmente relativos a pagamento de folha de pagamento e benefícios; (ii) foram promovidas mudanças com forte impacto financeiro plurianual e de difícil reversão - especialmente a implantação do plano de carreiras dos servidores técnico-administrativos e duas movimentações de carreira; (iii) foi ampliada a base de beneficiários do auxílio alimentação e vale refeição, além de corrigir os valores dos benefícios acima da inflação acumulada do período. Com isso, observou-se que o desequilíbrio financeiro foi causado pela implantação combinada das ampliações de gastos em curto período de tempo, sem a devida avaliação dos impactos cruzados das decisões e sem os devidos estudos dos efeitos financeiros das decisões a médio e longo prazos. O trabalho, além de registrar uma análise de um período crítico para a Universidade de São Paulo, também apresenta, a partir das conclusões da pesquisa e do referencial teórico, um conjunto de sugestões e recomendações no sentido de aperfeiçoar os processos de governança universitária. / The University of São Paulo is the leading teaching and research institution in Brazil and is among the best in Latin America. USP is responsible for about 23% of all Brazilian scientific production (USP, 2014). It is the Brazilian institution with the best positions and one of the leaders in Latin America in the international rankings of universities. From 2014, USP started to record a budget imbalance, spending more than 100% of its annual income from the São Paulo State Treasury for the payment of the salaries of its employees alone, harming investments and compelling the University to deplete its financial reserves. This study aims to identify the causes and effects of the USP\'s financial imbalance in the period from 2010 to 2014. The theoretical framework is supported in university governance, compliance and systems theory studies. Data collection was conducted from official and public documents provided by the USP: minutes of meetings of the University Council (CO), the Budget and Assets Committee (COP) and the Legislation and Rules Committee (CLR); reports submitted by the General Administration Coordination Office (CODAGE); reports from the Rector´s Office and the Statistical Yearbook. In addition to these documents, secondary sources were visited with emphasis on the news and articles published in periodicals such as the daily newspaper, Folha de São Paulo. The analysis of data revealed that: (i) the financial imbalance was caused by expenses expanded promoted in the period from 2010 to 2013, especially concerning the payroll and benefits; (ii) changes were prompted with a high multi-annual financial impact and which are difficult to reverse - especially the implementation of the technical and administrative staff career plan and two career upgrades; (iii) the base of beneficiaries of food aid and food stamps was vastly expanded, in addition to increasing the amount of the benefits above of accumulated inflation for the same period. Thus, the financial imbalance was caused by a combined implementation of increase in spending within a short period of time, without proper assessment of the cross-impact of those decisions and without risk analysis assessment of the financial effects of these decisions in the medium and long term. The present study in addition to recording an analysis of a critical period for the University of São Paulo, includes in the conclusions of the research and the theoretical framework, a set of suggestions and recommendations to improve the processes of university governance.

Made available in DSpace on 2012-11-08T16:22:31Z (GMT). No. of bitstreams: 1 1198301150.pdf: 6856298 bytes, checksum: 5339ffec4a6606c2bdfc1c0fe70ccfe2 (MD5) Previous issue date: 1982-08-27 / A teoria geral dos sistemas, aplicada às organizações, ao enfatizar a importância do ambiente e ao fornecer um arcabouço metodológico simples, facilitou o desenvolvimento das referidas pesquisas e teorias. O presente trabalho analisa o problema de adaptação do setor de transportes no Brasil á partir especialmente da segunda metade da década de 70 e da adaptação organizacional da área de transportes de uma empresa de energia elétrica.

Submitted by BKAB Setor Proc. Técnicos FGV-SP (biblioteca.sp.cat@fgv.br) on 2013-04-11T20:22:44Z No. of bitstreams: 1 1199100398.pdf: 3271128 bytes, checksum: 1d7be681a9991279f31d7d2d0c8dd318 (MD5) / Trata da postura de equipes de desenvolvimento de sistemas, no ambiente de planejamento organizacional onde o objetivo a ser seguido é definido pelo negócio em si, independente das diversas variáveis de influência.

Orientador: Rafael Santos Mendes / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-03T20:57:03Z (GMT). No. of bitstreams: 1 Pessanha_ChristianoPereira_M.pdf: 4407160 bytes, checksum: 0d35dfe9b59f63e7ff8b6a0bdbac52f2 (MD5) Previous issue date: 2004 / Resumo: Este trabalho objetiva o estudo da verificação de especificações em sistemas dinâmicos a eventos mscretos via lógica modal.Um grafo de eventos temporizado (ou GET) é utilizado para modelar o sistema dinâmicoque se deseja analisar. Asrelações entre as transições do GET e a especificaçãoque se deseja verificar são expressasatravés de fórmulas da lógica modal NK. Um tableau analítico é utilizado para verificar se a especificaçãoé conseqüência lógica do conjuntode fórmulas que representaa rede. Os ramos abertos retomados pelo tableau estão associados a modelos que falseiam a especificação.Introduz..seo conceitode terminaçãode um ramo e prova-seque a solução retomada por um ramo terminado está associada às caracteristicas de minimalidade, causalidade,unicidadee impulsividade.Com base nesses teoremas propoo-seum algoritmo para o tableau. Descreve-se a implementaçãocomputacionaldo algoritmo.Exemplos de sua utilizaçãosão apresentados / Abstract: This works is a study on the verification of specification in discrete event dynamicsystemsthroughthe use of modallogic. TimedEvent Graphs(TEG)describedby its eqmtions in dioids are used to model the systemwhose propertiesshouldbe verified. NK modallogic formulasexpressthe dynamicsof the systemas well as the specificationto be verified. An Analytic Tableau is used to verify if the formula correspondingto the specificationis a logica1consequenceof the formulasdescribingthe system.The tableau will retum open branchesassociatedto modelsthat falsifythe specification.The conceptof branch termination is introduced and proved to be associatedto featores as minimality, causality,unicity and impulsivity. A new algorithm, based on these conceptsis proposed and its computational implementation is described. Examples are presented. / Mestrado / Automação / Mestre em Engenharia Elétrica