934 resultados para Branch and bound algorithms


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Nos Estados republicanos modernos, o sistema de freios e contrapesos é um dos modelos institucionais responsável por assegurar o equilíbrio entre os Poderes e prevenir abusos por parte dos governantes. Dois questionamentos podem ser encontrados na literatura brasileira sobre o tema e fundamentam esta Dissertação: um geral sobre o suposto poder excessivo que o nosso sistema político confere ao Poder Executivo e outro, específico, de que nesse contexto, o veto teria um papel central na supremacia do presidente da república sobre o Congresso Nacional no âmbito do processo legislativo. Partindo dessas premissas, a pesquisa avalia se essas características estão condizentes com as expectativas e o desenho institucional proposto para o Estado brasileiro pela Assembleia Nacional Constituinte ANC de 1987. Com base nos anais da ANC e em referências históricas, conclui-se que, ao menos no tocante ao instituto do veto presidencial, o modelo de preponderância do Poder Executivo observado no processo legislativo decorreu de uma opção deliberada e reafirmada pela elite política em 1988, quando da promulgação da Constituição.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

O papel desempenhado pelo Poder Judiciário nos mais diversos Estados passa por sensível evolução ao longo do século XX, à medida que se desenvolveram os sistemas de controle de constitucionalidade. De um lado, os atores políticos assumem especial importância nesse processo. Os modelos de revisão judicial foram reforçados, no mais das vezes, em paralelo à positivação, em âmbito constitucional, de um amplo rol de direitos fundamentais e de princípios balizadores e limitadores do poder estatal. Com isso, os elementos cotejados no processo legislativo de tomada de decisões políticas são revestidos de status constitucional e transportados para o discurso argumentativo do Direito, o que leva a um processo de judicialização da Política que permite que a atividade legiferante seja passível de confronto perante instâncias judiciárias. Os instrumentos de controle de constitucionalidade assumem, assim, novos contornos, permitindo que o Judiciário interfira no conteúdo das escolhas políticas feitas pela maioria governante. De outro lado, o Poder Judiciário particularmente as Cortes Constitucionais passa a assumir a corresponsabilidade na efetivação das metas e compromissos estatais, com o que desenvolve uma política institucional mais proativa e comprometida com a concretização substancial de valores democráticos, interferindo, assim, de maneira mais incisiva e rígida no controle do processo político. A definição de políticas fundamentais e o processo legiferante passam a contar com constante participação do Judiciário. Na realidade brasileira, a Constituição de 1988 amplia as competência do Supremo Tribunal Federal em sede de controle de constitucionalidade, inserindo o órgão de maneira efetiva nesse contexto de intervenção judicial na Política. A última década, por sua vez, marcou uma perceptível mudança em sua atividade e em sua interferência no processo de tomada de decisões políticas pelos demais Poderes. Valendo-se dos diversos instrumentos de controle que lhe são disponibilizados, assumiu o compromisso de participar na efetivação dos preceitos constitucionais pátrios mediante a revisão do conteúdo normativo decorrente das escolhas políticas tomadas em outras instâncias. Desse modo, tornou-se verdadeiro copartícipe do processo de definição de políticas legislativas nacionais, seja rechaçando normas que repute inconstitucionais, seja proferindo decisões com claros efeitos normativos que buscam readequar e conformar as escolhas dos atores políticos. Nesse processo decisório, entra em jogo a intensidade com que a Corte busca impor sua visão e suas concepções no tocante à efetivação e concretização dos compromissos constitucionais. A sobreposição de ponderações judiciais e legislativas acarreta, a seu turno, importantes efeitos sistêmicos ao diálogo interinstitucional que se desenvolve entre os Poderes, em especial no que concerne à distribuição das funções estatais dentro das premissas democráticas e ao dimensionamento do papel que compete a cada um dos Poderes no processo de efetivação e proteção da Constituição.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Atualmente vêm sendo desenvolvidas e utilizadas várias técnicas de modelagem de distribuição geográfica de espécies com os mais variados objetivos. Algumas dessas técnicas envolvem modelagem baseada em análise ambiental, nas quais os algoritmos procuram por condições ambientais semelhantes àquelas onde as espécies foram encontradas, resultando em áreas potenciais onde as condições ambientais seriam propícias ao desenvolvimento dessas espécies. O presente estudo trata do uso da modelagem preditiva de distribuição geográfica, através da utilização de algoritmo genético e algoritmo de distância, de espécies como ferramenta para a conservação de espécies vegetais, em três situações distintas: modelagem da distribuição do bioma cerrado no estado de São Paulo; previsão da ocorrência de espécies arbóreas visando à restauração da cobertura vegetal na bacia do Médio Paranapanema e modelagem da distribuição de espécies ameaçadas de extinção (Byrsonima subterranea). A metodologia empregada e os resultados obtidos foram considerados satisfatórios para a geração de modelos de distribuição geográfica de espécies vegetais, baseados em dados abióticos, para as regiões de estudo. A eficácia do modelo em predizer a ocorrência de espécies do cerrado é maior se forem utilizados apenas pontos de amostragem com fisionomias de cerrado, excluindo-se áreas de transição. Para minimizar problemas decorrentes da falta de convergência do algoritmo utilizado GARP (Genetic Algorithm for Rule Set Production), foram gerados 100 modelos para cada espécie modelada. O uso de modelagem pode auxiliar no entendimento dos padrões de distribuição de um bioma ou ecossistema em uma análise regional e local.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Desenvolve-se um método para estimar os parâmetros de uma rede hidráulica a partir de dados observados de cargas hidráulicas transientes. Os parâmetros físicos da rede como fatores de atrito, rugosidades absolutas, diâmetros e a identificação e quantificação de vazamentos são as grandezas desconhecidas. O problema transiente inverso é resolvido utilizando uma abordagem indireta que compara os dados disponíveis de carga hidráulica transiente observados com os calculados através de um método matemático. O Método Transiente Inverso (MTI) com um Algoritmo Genético (AG) emprega o Método das Características (MOC) na solução das equações do movimento para escoamento transiente em redes de tubos. As condições de regime permanente são desconhecidas. Para avaliar a confiabilidade do MTI-AG desenvolvido aqui, uma rede-exemplo é usada para os vários problemas de calibração propostos. O comportamento transiente é imposto por duas manobras distintas de uma válvula de controle localizada em um dos nós da rede. Analisam-se, ainda, o desempenho do método proposto mediante a variabilidade do tamanho do registro transiente e de possíveis erros de leitura nas cargas hidráulicas. Ensaios numéricos realizados mostram que o método é viável e aplicável à solução de problema inverso em redes hidráulicas, sobretudo recorrendo-se a poucos dados observados e ao desconhecimento das condições iniciais de estado permanente. Nos diversos problemas de identificação, as informações transientes obtidas da manobra mais brusca produziu estimações mais eficientes.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

In the current Information Age, data production and processing demands are ever increasing. This has motivated the appearance of large-scale distributed information. This phenomenon also applies to Pattern Recognition so that classic and common algorithms, such as the k-Nearest Neighbour, are unable to be used. To improve the efficiency of this classifier, Prototype Selection (PS) strategies can be used. Nevertheless, current PS algorithms were not designed to deal with distributed data, and their performance is therefore unknown under these conditions. This work is devoted to carrying out an experimental study on a simulated framework in which PS strategies can be compared under classical conditions as well as those expected in distributed scenarios. Our results report a general behaviour that is degraded as conditions approach to more realistic scenarios. However, our experiments also show that some methods are able to achieve a fairly similar performance to that of the non-distributed scenario. Thus, although there is a clear need for developing specific PS methodologies and algorithms for tackling these situations, those that reported a higher robustness against such conditions may be good candidates from which to start.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This volume, containing chronologically arranged papers mounted and bound around 1840, provides comprehensive documentation of the College commons around the turn of the 19th century. In particular, the volume documents the role the Steward played in overseeing the Commons. The records chiefly consist of the quarter reports of the Committee assigned to review the Steward’s accounts. Other documents include lists of utensils, bills for dinners for the Corporation, Overseers, and Commencement, regulations, lists of abatements for students’ quarterly bills, and information on kitchen staff.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This hardcover modern binding contains a twenty-page manuscript copy of the salutatory address given by Elisha Cooke at the 1697 Harvard College Commencement. The text includes edits and struck-through words. A one-page copy of the first page of the oration signed by Thomas Banister and William Phips is at the end of the volume.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Electrical energy storage is a really important issue nowadays. As electricity is not easy to be directly stored, it can be stored in other forms and converted back to electricity when needed. As a consequence, storage technologies for electricity can be classified by the form of storage, and in particular we focus on electrochemical energy storage systems, better known as electrochemical batteries. Largely the more widespread batteries are the Lead-Acid ones, in the two main types known as flooded and valve-regulated. Batteries need to be present in many important applications such as in renewable energy systems and in motor vehicles. Consequently, in order to simulate these complex electrical systems, reliable battery models are needed. Although there exist some models developed by experts of chemistry, they are too complex and not expressed in terms of electrical networks. Thus, they are not convenient for a practical use by electrical engineers, who need to interface these models with other electrical systems models, usually described by means of electrical circuits. There are many techniques available in literature by which a battery can be modeled. Starting from the Thevenin based electrical model, it can be adapted to be more reliable for Lead-Acid battery type, with the addition of a parasitic reaction branch and a parallel network. The third-order formulation of this model can be chosen, being a trustworthy general-purpose model, characterized by a good ratio between accuracy and complexity. Considering the equivalent circuit network, all the useful equations describing the battery model are discussed, and then implemented one by one in Matlab/Simulink. The model has been finally validated, and then used to simulate the battery behaviour in different typical conditions.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Panktonic foraminiferal tests of the spinose species Orbulina universa, of the non-spinose Globorotalia tumida-menardii complex, and of a mixed species assemblage (grain size fraction 200-400 µm) were isolated from Sierra Leone Rise core GIK13519-2 and analyzed for free, total, and bound (by difference) amino acids to study the isoleucine epimerization mechanism in fossil foraminiferal tests and to define empirical calibration curves for dating deep-sea sediments over the past 900,000 years. Total isoleucine epimerization curves typically separate into three "linear" segments of decreasing apparents rates with increasing time and exhibit a pronounced "species effect". The degree of epimerization attained at time is considerably lower in O. universa than in G. tumida-menardii while the mixed species results scatter between the limits delineated by the two monospecific curves. Total allo/iso ratios are closely related to the proportion of free to total isoleucine accumulating in the tests indicating that the rate of hydrolysis of matrix proteins and peptides controls the overall epimerization reaction. The results are consistent with experimental evidenve where upon isoleucine epimerizes at a rapid rate in terminal positions but at slow rates in interior positions as well as in the free state. Notwithstanding free isoleucine exhibits the highest degree of epimerized terminal isoleucine. Species-specific hydrolysis and epimerization rates are maintained until about 50 % of bound isoleucine have been hydrolyzed to the free state corresponding to a total allo/iso ratio of about 0.5. Remaining peptide units appear to be more resistent against hydrolysis and separate species then show the same apparent epimerization rate dominantly controlled by the slow conversion rate in the free state until equilibrium is achieved in Miocene samples under deep-ocean temperature conditions. The degree of epimerization attained at comparable time in separate species will, however, remain different due to different initial rates of hydrolysis.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

IMB (Irvine, Michigan, Brookline), a collaboration between the University of Michigan, the University of California at Irvine, and the U.S. Department of Energy, was an experiment designed to determine the ultimate stability of matter. Computer display of PMT [photomultiplier tubes] hits from simulated event based on neutrino interatction seen in Gargamelle bubble chamber.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

IMB (Irvine, Michigan, Brookline), a collaboration between the University of Michigan, the University of California at Irvine, and the U.S. Department of Energy, was an experiment designed to determine the ultimate stability of matter. Computer display of simulated proton decay info (...) mode

Relevância:

100.00% 100.00%

Publicador:

Resumo:

IMB (Irvine, Michigan, Brookline), a collaboration between the University of Michigan, the University of California at Irvine, and the U.S. Department of Energy, was an experiment designed to determine the ultimate stability of matter. Computer display of simulated event based on Gargamelle (...) event produced by neutrino interaction.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

IMB (Irvine, Michigan, Brookline), a collaboration between the University of Michigan, the University of California at Irvine, and the U.S. Department of Energy, was an experiment designed to determine the ultimate stability of matter. One of nine interesting events from the IMB detector in its first 204 live days of running. Similar to proton decay but rejected.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

IMB (Irvine, Michigan, Brookline), a collaboration between the University of Michigan, the University of California at Irvine, and the U.S. Department of Energy, was an experiment designed to determine the ultimate stability of matter. One of nine interesting events from the IMB detector in its first 204 live days of running. Similar to proton decay but rejected.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

IMB (Irvine, Michigan, Brookline), a collaboration between the University of Michigan, the University of California at Irvine, and the U.S. Department of Energy, was an experiment designed to determine the ultimate stability of matter. One of nine interesting events from the IMB detector in its first 204 live days of running. Similar to proton decay but rejected.