A guerra civil é a forma de violência coletiva mais importante de nossa época. Embora pesquisas recentes tenham apontado alguns elementos como determinantes das guerras civis, a influência dos fatores políticos nos conflitos internos ainda é controversa. O presente estudo analisa, por meio de regressão estatística, a relação entre a competitividade do poder executivo e a incidência de guerras civis de 1976 a 2000. Os achados indicam que tanto eleições com candidatos únicos como votações multipartidárias reduzem a incidência de guerras civis. Ademais, os resultados dão apoio às hipóteses levantadas pela literatura recente de que terreno montanhoso, grande população, sistema políticos centralizados e a existência de conflitos anteriores aumentam significativamente o risco de incidência de guerras civis / Civil War is the most important form of collective violence of our time. Although recent research has yielded some determining elements to civil war, the influence of political factors on internal conflicts remains disputed. This study analyzes, by means of statistics regression, the correlation between the competitiveness in the Executive Branch and the incidence of civil war from 1976 to 2000. The findings indicate that both single-candidate and multi-party elections reduce the incidence of civil war. Furthermore, the results lend support to the hypotheses put forward by recent literature that mountainous terrain, large population, centralized political system, and the existence of former conflicts significantly heighten the risk of incidence of civil war

This study introduces an arrangement and description proposal for lawsuits of custody from the collection of the Archive of the Judicial Court of Rio Grande do Sul. This collection consists of documentary resources that enable social studies, cultural, legal and historical. For organizing and accessing information, the cases were arranged and described by applying the archival functions according to the needs and specificities of the court files. Considering the Brazilian Standard of Archival Description, were defined and described the description levels base, section, subsection, series and process, which were described as the evidence presented by the Standard. Contemplated, in the arrangement, the deep Judicial Power of Rio Grande do Sul, the 1st and 2nd degree sections, the subsections as document producer Counties all over the State and the series used in the classification procedure of the National Council of Justice. For the process level, was established a model considering the elements the Standard and basic procedural information to the monitoring and location of the files. The proposed description is being applied along the lawsuits representatives of the First Republic (1889- 1930). Among the processes initiated in this period, were randomly selected from statistical calculations, those being described. Analysis of the information described allows relations with facts and social, political and cultural aspects from the historical period considered, providing the scholars with numerous opportunities for research. The paper presents some of these possibilities of analysis, in addition to the proposed adoption of the model describing the processes in the computerized file from the Judicial Archive. In this regard, the objectives of defining and implementing the arrangement and description have been achieved, allowing access and research to relevant information contained in court documents. / Este trabalho apresenta uma proposta de arranjo e descrição para processos judiciais de guarda permanente do acervo do Arquivo Judicial do Tribunal de Justiça do Rio Grande do Sul. Este acervo é composto por fontes documentais que permitem estudos sociais, culturais, jurídicos e históricos. Para organização e acesso às informações, os processos foram arranjados e descritos, aplicando as funções arquivísticas de acordo com as necessidades e especificidades dos arquivos judiciais. Considerando a Norma Brasileira de Descrição Arquivística, definiu-se o arranjo dos documentos nos níveis fundo, seção, subseção, série e processo, os quais foram descritos conforme os elementos apresentados pela Norma. Contemplou-se, no arranjo, o fundo Poder Judiciário do Rio Grande do Sul, as seções 1º e 2º Graus, as subseções como Comarcas produtoras de documentos em todo o Estado, e as séries utilizadas na classificação processual do Conselho Nacional de Justiça. Para o nível processo, estabeleceu-se um modelo considerando os elementos da Norma e as informações processuais fundamentais ao acompanhamento e localização dos autos. A descrição proposta está sendo aplicada em conjunto de processos judiciais representativos da Primeira República (1889-1930). Entre os processos iniciados nesse período, foram selecionados aleatoriamente, a partir de cálculo estatístico, aqueles que estão sendo descritos. A análise das informações descritas permite relações com fatos e aspectos sociais, políticos e culturais do período histórico considerado, fornecendo aos estudiosos inúmeras possibilidades de pesquisas. O trabalho apresenta algumas dessas possibilidades de análises, além da proposta de adoção do modelo de descrição dos processos no sistema informatizado do Arquivo Judicial. Nesse sentido, os objetivos de definição e realização do arranjo e descrição foram alcançados, permitindo o acesso e pesquisa a relevantes informações constantes nos documentos judiciais.

Submitted by Aline Flores Silveira null (fsaline@hotmail.com) on 2018-02-28T17:46:28Z No. of bitstreams: 1 Versão final_Aline Flores _Silveira_Mestrado.pdf: 1033383 bytes, checksum: 0348b6e859d4559a1fc2c3b3d311cc7c (MD5) / Approved for entry into archive by Ana Paula Santulo Custódio de Medeiros null (asantulo@rc.unesp.br) on 2018-03-01T11:49:57Z (GMT) No. of bitstreams: 1 silveira_af_me_rcla.pdf: 1031556 bytes, checksum: 27cd24178827289f17b4d42db2e285d4 (MD5) / Made available in DSpace on 2018-03-01T11:49:57Z (GMT). No. of bitstreams: 1 silveira_af_me_rcla.pdf: 1031556 bytes, checksum: 27cd24178827289f17b4d42db2e285d4 (MD5) Previous issue date: 2018-02-15 / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) / Uma forma de compreender e caracterizar a importância ecológica das macrófitas aquáticas é através do delineamento das diferenças morfológicas das plantas e da quantificação de sua complexidade. As macrófitas podem atuar como estruturas retentoras de partículas em suspensão controlando a quantidade de material em suspensão na água, além de servirem como substrato para a colonização e crescimento do perifíton. Neste estudo foram utilizadas duas macrófitas aquáticas: Cabomba furcata Schult. & Schult. e Egeria densa Planch, encontradas na Bacia Hidrográfica do Rio Itanhaém. O objetivo geral foi avaliar se a capacidade de retenção de material varia entre macrófitas aquáticas com arquitetura de ramo distintas e se há variação na capacidade de retenção de material de C. furcata em rios com características limnológicas distintas. A coleta foi realizada em duas áreas no Rio Branco (A e B) e uma área no Rio Preto (C). Amostras de água e sedimento foram coletadas para análises limnológicas. Ramos de C. furcata e E.densa no Rio Branco e ramos de C. furcata no rio Preto foram coletados para a descrição de sua arquitetura e para a quantificação do material aderido. Em laboratório foram realizadas análises das variáveis limnológicas e do conteúdo de nitrogênio e fósforo total na biomassa das macrófitas e no material aderido. Para a caracterização ambiental das áreas de coleta, foram comparados os resultados das variáveis limnológicas medidas em cada área estudada. Para testar a diferença significativa entre as áreas A e C, foi aplicado o teste-t (p<0,05) às variáveis limnológicas. O teste Mann-Whitney foi aplicado às variáveis de C. furcata, E. densa e às variáveis do material aderido coletadas no Rio Branco. O mesmo teste foi utilizado para a comparação entre C. furcata e material aderido em rios distintos. Os valores das variáveis limnológicas do Rio Branco foram similares nas áreas A e B. A quantidade de material em suspensão na água foi maior (p<0,001) no Rio Branco quando comparado ao Rio Preto. Porém, a matéria orgânica contida no sedimento do Rio Branco foi menor (p: 0,005) do que a contida no sedimento do Rio Preto. Por outro lado, os teores de nitrogênio e fósforo total da água e do sedimento não apresentaram diferença significativa. C. furcata e E.densa apresentaram diferenças na arquitetura do ramo (p<0,05), indicando uma maior complexidade do ramo para C. furcata. C. furcata de rios distintos apresentou pequenas variações na sua morfologia. Apesar da C. furcata apresentar maior área total do ramo do que E. densa, a quantidade de material aderido por ramo de C. furcata foi menor (p: 0,001). A quantidade de material aderido à C. furcata no Rio Branco foi menor (p:0,0251) do que à C. furcata no Rio Preto. De modo geral, a quantidade de material aderido às macrófitas em ambientes lóticos pode ser positiva, negativa ou neutra às macrófitas e pode estar associada à complexidade da arquitetura do ramo desses organismos. Todavia, neste estudo a relação entre as espécies de macrófitas aquáticas avaliadas e o material aderido é neutra. Desta maneira, essas espécies podem ser consideradas apenas como um substrato para o acúmulo de material aderido, pois não foram encontradas relações positivas ou negativas com esse material. / One way to understand and characterize the ecological importance of aquatic macrophytes is to delineate the morphological differences of plants and quantify its complexity. Aquatic macrophytes can act as suspended particulate retentive structures by controlling the amount of suspended material on the water and serve as a substrate for the colonization and growth of the periphyton. Two aquatic macrophytes were used in this study: Cabomba furcata Schult. & Schult. and Egeria densa Planch, bouth are found in the Itanhaém River Basin. The aim of this research was to evaluate if the retention capacity of material varies between aquatic macrophytes with different branch architecture and if there is variation in the material retention capacity of Cabomba furcata in rivers with different limnological characteristics. The sample were collected in two areas in Branco River (A and B) and one area in Preto River (C). Water and sediment samples were collected for limnological analysis. C. furcata and E. densa branches were collected in Branco River for the description of the branch architecture and for the quantification of the attached material. In the same way, branches of C. furcata were collected in Preto River for the same purpose. In laboratory, analyzes of the limnological variables, the nitrogen and total phosphorus content in the macrophytes biomass and the attached material were performed. For the environmental characterization of the study areas, the results of the limnological variables measured in each studied area were compared. To test the significant difference between areas A and C, the t-test (p <0.05) was applied to the limnological variables. The Mann-Witney test was used for the variables of C. furcata, E. densa and attached material collected in Rio Branco. The same test was applied for the comparison between C. furcata and attached material from different rivers. The values of the limnological variables of Branco River were similar in areas A and B. The amount of suspended material in water was higher (p <0.001) in Branco River when compared to Preto River. However, the organic matter contained in Branco River sediment was lower (p: 0.005) than the one contained in Preto River sediment. On the other hand, nitrogen and total phosphorus contents of water and sediment did not present a significant difference. C. furcata and E. densa presented differences in the branch architecture (p <0.05), indicating a greater branch complexity for C. furcata. C. furcata of distinct rivers showed small variations in its morphology. Although C. furcata had a larger branch total area than E. densa, the amount of attached material per branch of C. furcata was lower (p: 0.001). The amount of attached material to C. furcata in Branco River was lower. In general, the amount of attached material on the macrophytes in lotic environments may be positive, negative or neutral to the macrophytes and may be associated with the complexity of the macrophytes architecture. However, in this study, the relationship between the species of aquatic macrophytes evaluated and the attached material is neutral, so that these species can only be considered as a substrate for the accumulation of attached material, not having a positive or negative relation with this material. / CNPq: 130835/2016-1

Dans le cadre de cette thèse, nous traitons le problème de flow-shop à deux machines avec temps de transport où l’objectif consiste à minimiser le temps de complétion maximal. Dans un premier temps, nous nous sommes intéressés à la modélisation de ce problème. Nous avons proposé plusieurs programmes linéaires en nombres entiers. En particulier, nous avons introduit une formulation linéaire basée sur une généralisation non triviale du modèle d’affectation pour le cas où les durées des opérations sur une même machine sont identiques. Dans un deuxième temps, nous avons élargi la portée de ces formulations mathématiques pour développer plusieurs bornes inférieures et un algorithme exact basé sur la méthode de coupe et branchement (Branch-and-Cut). En effet, un ensemble d’inégalités valides a été considéré afin d’améliorer la relaxation linéaire de ces programmes et d’accélérer leur convergence. Ces inégalités sont basées sur la proposition de nouvelles règles de dominance et l’identification de sous-instances faciles à résoudre. L’identification de ces sous-instances revient à déterminer les cliques maximales dans un graphe d’intervalles. En plus des inégalités valides, la méthode exacte proposée inclut la considération d’une méthode heuristique et d’une procédure visant à élaguer les nœuds. Enfin, nous avons proposé un algorithme par séparation et évaluation (Branch-and-Bound) pour lequel, nous avons introduit des règles de dominance et une méthode heuristique basée sur la recherche locale. Nos expérimentations montrent l’efficacité de nos approches qui dominent celles de la littérature. Ces expérimentations ont été conduites sur plusieurs classes d’instances qui incluent celles de la littérature, ainsi que des nouvelles classes d’instances où les algorithmes de la littérature se sont montrés peu efficaces. / In this thesis, we study the two-machine flow-shop problem with time delays in order to minimize the makespan. First, we propose a set of Mixed Integer Programming (MIP) formulations for the problem. In particular, we introduce a new compact mathematical formulation for the case where operations are identical per machine. The proposed mathematical formulations are then used to develop lower bounds and a branch-and-cut method. A set of valid inequalities is proposed in order to improve the linear relaxation of the MIPs. These inequalities are based on proposing new dominance rules and computing optimal solutions of polynomial-time-solvable sub-instances. These sub-instances are extracted by computing all maximal cliques on a particular Interval graph. In addition to the valid inequalities, the branch-and-cut method includes the consideration of a heuristic method and a node pruning procedure. Finally, we propose a branch-and-bound method. For which, we introduce a local search-based heuristic and dominance rules. Experiments were conducted on a variety of classes of instances including both literature and new proposed ones. These experiments show the efficiency of our approaches that outperform the leading methods published in the research literature.

Por mais de uma década, discutiu-se nas ciências sociais comparadas a efetiva influência da atuação do Poder Judiciário na participação democrática dos cidadãos nas decisões e na conformação das políticas públicas. A esse fenômeno, que se denominou "judicialização da política", atribui-se toda a operacionalidade de uma constituição democrática, cidadã, aberta, capaz de concretizar os anseios de liberdade, às vezes apenas condizentes com valores de um liberalismo conservador. Nossa tese procura, com ajuda de pesquisa empírica, demonstrar a persistente influência dos ranços tradicionalistas de uma classe que, ao longo da curta vida emancipada de nosso país, construiu e permeou, com sua visão de mundo, as instituições políticas nacionais. A atuação corporativa e institucionalizada dessa classe de juristas adaptou-se bem às exigências da ampliação infraestrutural do Estado moderno e burocrático, em virtude de seu legado autoritário, e logrou restringir o alcance das liberdades e direitos civis de um Estado recém democratizado, apesar do discurso apologético às instituições da democracia participativa. É nesse contexto que tentamos narrar a evolução contínua e silenciosa da dejudicialização da política democrática de massas e a politização gradual da corporação dos juristas, que carregaram consigo as expectativas de ampliação da cidadania constitucional. / The effective influence of the Judiciary Branch on citizen participation in political decisions and policy making has been discussed in social sciences for more than a decade. To this phenomenon, entitled judicialization of politics, was attributed the operability of a democratic constitution, open and capable of achieving the aspirations of freedom, nonetheless only consistent with the values of a conservative liberalism. With the aid of empirical research, our thesis aims at demonstrating the persistent influence of traditionalist inheritance of a social class which, throughout the country short existence, constructed and permeated national political institutions with its worldview. The corporative and institutionalized behavior of this class of jurists from the highest court was well adapted with demands of the modern states institutions expansion, due to its authoritarian legacy and aimed at restricting the reach for freedom and for civil rights of a newly democratic country, despite the constant allusions to participatory democracy. In this context we will try to narrate the continuous and silent evolution of the desjudicialization of mass democratic politics and the gradual politization of jurists corporation, which carry alongside the expectations of an expansion of constitutional citizenship.

This diploma work is focused on the Controlling in the bank sector. The first teoretical part describes Controlling in a common form and displaces frequent and wrong replacements of Controlling with a control and describing function of Controlling in a company and describing also its benefits. The other part deals with bank sector and is focused on evidence of costs and revenues in a bank business. It describes differences between findings profit on the basis of financial accounting and findings profit on the basis of managerial accounting, where deals with the fundamental method of Controlling {--} financial contribution. Practical part is focused on the comparison of profitability of the branches stores in the českobudějovický region. Comparison is executed just on the basis of financial contribution. Česká spořitelna divides these contributions into 1-7a. Individual branches are compared in the tables always according to the concrete contribution. For comparing e.g consulting centre and service centre is important to divide every contribution with FTE (full time equivalent).

The target of this diploma work is to show the establishment of a bank branch from the stage of planning to the day when it is open for clients. To do so I have used both fictitious data (in view of the ČSOB strategy) and methods and procedures used in practice.

O presente trabalho realiza o estudo e aplicação de um algoritmo de branch-and-price para a resolução de um problema de escalonamento de compressores. O problema é ligado à produção petrolífera, o qual consiste em definir um conjunto de compressores a serem ativados para fornecer gas de elevação a um conjunto de poços, atendendo toda demanda e minimizando os custos envolvidos. O problema é caracterizado por uma função objetivo não-convexa que é linearizada por partes de forma a ser formulada como um problema de programação inteira mista. A abordagem de geração de colunas é baseada na decomposição de Dantzig-Wolfe e apresenta melhores limitantes inferiores em relação à relaxação linear da formulação compacta. O branch-and-price é comparado ao solver CPLEX, sendo capaz de encontrar a solução ótima em menor tempo para um conjunto de instâncias, bem como melhores soluções factíveis para instâncias maiores em um período de tempo limitado. / This work presents the study and application of a branch-and-price algorithm for solving a compressor scheduling problem. The problem is related to oil production and consists of defining a set of compressors to be activated, supplying the gas-lift demand of a set of wells and minimizing the associated costs. The problem has a non-convex objective function, to which a piecewise-linear formulation has been proposed. This dissertation proposes a column generation approach based on the Dantzig-Wolfe decomposition, which achieves tighter lower bounds than the straightforward linear relaxation of the piecewise-linear formulation. The column generation was embedded in a branch-and-price algorithm and further compared with CPLEX, obtaining optimal solutions in lesser time for a set of instances. Further, the branch-and-price algorithm can find better feasible solutions for large instances under a limited processing time.

Virtualização permite o compartilhamento de uma rede física entre uma ou mais redes virtuais. O Problema de Mapeamento de Redes Virtuais é um dos principais desafios na virtualização de redes. Esse problema consiste em mapear uma rede virtual em uma rede física, respeitando restrições de capacidade. O presente trabalho mostra que encontrar uma solução factível para esse problema é NP-Difícil. Mesmo assim, muitas instâncias podem ser pode ser resolvidas na prática através da exploração de sua estrutura. Nós apresentamos um algoritmo de Branch & Price aplicado a instâncias de diferentes topologias e tamanhos. Os experimentos realizados sugerem que o algoritmo proposto é superior ao modelo de programação linear resolvido com CPLEX. / Virtualization allows one or more virtual networks to share physical infrastructures. The Virtual Network Embedding problem (VNEP) is one of the main challenges in the virtualization of physical networks. This problem consists in mapping a virtual network into a physical network while respecting capacity constraints. This work shows that finding a feasible solution for this problem is NP-Hard. However, many instances can be solved up to optimality in practice by exploiting the problem structure. We present a Branch & Price algorithm applied to instances of different topologies and sizes. The experimental results suggest that the proposed algorithm is superior to the Integer Linear Programming model solved by CPLEX.

O objetivo desse trabalho é o de estudar o problema de programação de tarefas num ambiente produtivo com uma única máquina com data comum de entrega. Nesse caso, as tarefas, depois de processadas uma única vez na máquina, devem ser entregues em uma data comum e sofrem penalidades de adiantamento e de atraso conforme o instante em que são completadas. Na prática, esse problema é encontrado em casos de pedidos de lotes de produtos com data de entrega comum préespecificada, embarques para exportação e material químico ou misturas que têm vida média de curta duração. Problemas desse tipo são NP-hard (Hall, Kubiak & Sethi, 1991; Hoogeven & van de Velde, 1991), sendo comumente tratados na literatura através de heurísticas e meta-heurísticas. Visto não ser de nosso conhecimento a existência na literatura de tratamento desse problema através de métodos exatos, propôs-se a utilização de um algoritmo do tipo branch-and-bound para obtenção da solução ótima do problema que minimize a soma das penalidades de adiantamento e de atraso. No desenvolvimento do algoritmo, a utilização de propriedades do problema foi importante na elaboração de limitantes inferiores e regras de dominância que melhoraram a eficiência do modelo. Os experimentos realizados avaliaram o desempenho de diferentes critérios elaborados, como escolha do nó pai, limitante inferior, ordem de execução das estratégias e ordem de construção da seqüência. Os resultados obtidos mostraram-se robustos quando comparados com o benchmark da literatura e revelaram o bom desempenho do modelo para problemas de pequeno porte, superando o desempenho de programas de otimização comerciais. / The objective of this work is to study the single-machine scheduling problem with a common due date. In this case, jobs, after be processed only once in the machine, must be delivered in a common due date and they are penalized of earliness or tardiness according to their completion time. This problem is found in cases of batch production with prespecified common due date, exportation shipping and chemical material that has short half-life period. This kind of problem is NP-hard (Hall, Kubiak & Sethi, 1991; Hoogeven & van de Velde, 1991) and it has been treated in the literature by heuristics and meta-heuristics. Not having knowledge about previous treatment by exact methods in the literature, it was proposed the implementation of a branch-and-bound algorithm to obtain the optimal solution that minimizes the total weighted earliness and tardiness penalties. In the development of the algorithm, the utilization of problem properties was important to the elaboration of lower bounds and pruning rules that have enhanced the efficiency of the model. The realized tests have evaluated the performance of different criteria, like the choice of father node, lower bound, strategy execution order and sequence construction order. The obtained results have demonstrated robustness comparing to benchmark and they have revealed the good working of the model for small problems, overcoming optimization software performance.