916 resultados para heuristic
Resumo:
Economic dispatch (ED) problems often exhibit non-linear, non-convex characteristics due to the valve point effects. Further, various constraints and factors, such as prohibited operation zones, ramp rate limits and security constraints imposed by the generating units, and power loss in transmission make it even more challenging to obtain the global optimum using conventional mathematical methods. Meta-heuristic approaches are capable of solving non-linear, non-continuous and non-convex problems effectively as they impose no requirements on the optimization problems. However, most methods reported so far mainly focus on a specific type of ED problems, such as static or dynamic ED problems. This paper proposes a hybrid harmony search with arithmetic crossover operation, namely ACHS, for solving five different types of ED problems, including static ED with valve point effects, ED with prohibited operating zones, ED considering multiple fuel cells, combined heat and power ED, and dynamic ED. In this proposed ACHS, the global best information and arithmetic crossover are used to update the newly generated solution and speed up the convergence, which contributes to the algorithm exploitation capability. To balance the exploitation and exploration capabilities, the opposition based learning (OBL) strategy is employed to enhance the diversity of solutions. Further, four commonly used crossover operators are also investigated, and the arithmetic crossover shows its efficiency than the others when they are incorporated into HS. To make a comprehensive study on its scalability, ACHS is first tested on a group of benchmark functions with a 100 dimensions and compared with several state-of-the-art methods. Then it is used to solve seven different ED cases and compared with the results reported in literatures. All the results confirm the superiority of the ACHS for different optimization problems.
Resumo:
The growth of wind power in some power systems is hampered by the system requirement for emergency reserve to cover loss of the biggest infeed. The study demonstrates that reserve provision from the wind sector itself has economic and operational benefits. A heuristic algorithm has been developed that can model the relevant aspects of emergency reserve provision in a system with both thermal and wind generations. The proposed algorithm is first validated by comparing its performance with established economic scheduling methods applied to a representative power system. The algorithm is then used to demonstrate the economic benefit of reserve provision from the wind sector. It is shown that such provision reduces wind energy curtailment and thermal unit ramping. Finally, it is shown that a wind sector capable of providing emergency reserve can expand economically beyond the capacity limit that would otherwise apply.
Resumo:
The preferences of users are important in route search and planning. For example, when a user plans a trip within a city, their preferences can be expressed as keywords shopping mall, restaurant, and museum, with weights 0.5, 0.4, and 0.1, respectively. The resulting route should best satisfy their weighted preferences. In this paper, we take into account the weighted user preferences in route search, and present a keyword coverage problem, which finds an optimal route from a source location to a target location such that the keyword coverage is optimized and that the budget score satisfies a specified constraint. We prove that this problem is NP-hard. To solve this complex problem, we pro- pose an optimal route search based on an A* variant for which we have defined an admissible heuristic function. The experiments conducted on real-world datasets demonstrate both the efficiency and accu- racy of our proposed algorithms.
Resumo:
Bag of Distributed Tasks (BoDT) can benefit from decentralised execution on the Cloud. However, there is a trade-off between the performance that can be achieved by employing a large number of Cloud VMs for the tasks and the monetary constraints that are often placed by a user. The research reported in this paper is motivated towards investigating this trade-off so that an optimal plan for deploying BoDT applications on the cloud can be generated. A heuristic algorithm, which considers the user's preference of performance and cost is proposed and implemented. The feasibility of the algorithm is demonstrated by generating execution plans for a sample application. The key result is that the algorithm generates optimal execution plans for the application over 91% of the time.
Resumo:
Reasoning that is deliberative and reflective often requires the inhibition of intuitive responses. The Cognitive Reflection Test (CRT) is designed to assess people’s ability to suppress incorrect heuristic responses in favour of deliberation. Correct responding on the CRT predicts performance on a range of tasks in which intuitive processes lead to incorrect responses, suggesting indirectly that CRT performance is related to cognitive control. Yet little is known about the cognitive processes underlying performance on the CRT. In the current research, we employed a novel mouse tracking mjavascript:void(0);ethodology to capture the time-course of reasoning on the CRT. Analysis of mouse cursor trajectories revealed that participants were initially drawn towards the incorrect (i.e., intuitive) option even when the correct (deliberative) option was ultimately chosen. Conversely, participants were not attracted to the correct option when they ultimately chose the incorrect intuitive one. We conclude that intuitive processes are activated automatically on the CRT and must be inhibited in order to respond correctly. When participants responded intuitively, there was no evidence that deliberative reasoning had become engaged.
Resumo:
The increasing scale of Multiple-Input Multiple- Output (MIMO) topologies employed in forthcoming wireless communications standards presents a substantial implementation challenge to designers of embedded baseband signal processing architectures for MIMO transceivers. Specifically the increased scale of such systems has a substantial impact on the perfor- mance/cost balance of detection algorithms for these systems. Whilst in small-scale systems Sphere Decoding (SD) algorithms offer the best quasi-ML performance/cost balance, in larger systems heuristic detectors, such Tabu-Search (TS) detectors are superior. This paper addresses a dearth of research in architectures for TS-based MIMO detection, presenting the first known realisations of TS detectors for 4 × 4 and 10 × 10 MIMO systems. To the best of the authors’ knowledge, these are the largest single-chip detectors on record.
Resumo:
Generating timetables for an institution is a challenging and time consuming task due to different demands on the overall structure of the timetable. In this paper, a new hybrid method which is a combination of a great deluge and artificial bee colony algorithm (INMGD-ABC) is proposed to address the university timetabling problem. Artificial bee colony algorithm (ABC) is a population based method that has been introduced in recent years and has proven successful in solving various optimization problems effectively. However, as with many search based approaches, there exist weaknesses in the exploration and exploitation abilities which tend to induce slow convergence of the overall search process. Therefore, hybridization is proposed to compensate for the identified weaknesses of the ABC. Also, inspired from imperialist competitive algorithms, an assimilation policy is implemented in order to improve the global exploration ability of the ABC algorithm. In addition, Nelder–Mead simplex search method is incorporated within the great deluge algorithm (NMGD) with the aim of enhancing the exploitation ability of the hybrid method in fine-tuning the problem search region. The proposed method is tested on two differing benchmark datasets i.e. examination and course timetabling datasets. A statistical analysis t-test has been conducted and shows the performance of the proposed approach as significantly better than basic ABC algorithm. Finally, the experimental results are compared against state-of-the art methods in the literature, with results obtained that are competitive and in certain cases achieving some of the current best results to those in the literature.
Resumo:
Os sistemas familiares multigeracionais (três ou mais gerações vivas) passaram de raros no passado a uma realidade social cada vez mais comum na actualidade, devido ao fenómeno demográfico de envelhecimento populacional. Este estudo pretende contribuir para o conhecimento deste sistema social, situado entre a família nuclear e a comunidade, procurando descrever a sua estrutura, funções e padrões relacionais dos seus membros com outros familiares e com os sistemas sociais envolventes. Para tal, foi organizada uma amostra de 25 famílias multigeracionais (contendo quatro gerações), à qual foi aplicada uma entrevista de genograma a um elemento das gerações intermédias e quatro entrevistas de análise da rede social pessoal (uma por geração), perfazendo um total de 25 entrevistas de genograma e 92 de avaliação da rede social (menos 8 do que o esperado devido a mortalidade experimental). A análise dos dados possibilitou: 1) a aplicação do princípio de totalidade sistémica à família multigeracional, a sua definição como um sistema social de complexidade idiossincrática, a identificação dos subsistemas que compõem o objecto de estudo (indivíduo, núcleo familiar, composição familiar, geração, linhagem), e a definição de uma tipologia familiar multigeracional (família unificada, dispersa e fragmentada); 2) a identificação e análise de papéis sociais desempenhados pelos indivíduos no contexto familiar multigeracional especificamente relevantes neste nível sistémico (guardião das memórias familiares, elo de ligação familiar, pronto-socorro familiar); 3) a descrição das redes sociais pessoais e a identificação das diferenças estruturais e funcionais entre indivíduos pertencentes a diferentes subsistemas geracionais, que permitem reflectir sobre a evolução da rede social ao longo das várias fases de desenvolvimento individual e familiar; 4) um conhecimento mais aprofundado das redes sociais dos indivíduos mais idosos que pertencem a famílias multigeracionais, da composição da matriz relacional percepcionada como significativa e apoios disponibilizados. Em suma, os dois primeiros capítulos reflectem o esforço de desenvolvimento de um modelo heurístico para o sistema familiar multigeracional, numa perspectiva estruturalista, enquanto os dois capítulos subsequentes, apoiandose conceptualmente nos anteriores, facultam um quadro das relações entre subsistemas geracionais na actualidade, através de uma metodologia de análise das redes sociais. ABSTRACT: Multigenerational family systems comprising four generations are increasingly common nowadays due to the demographic phenomenon of population aging. This study aims at a deeper understanding of this social system, placed between the nuclear family and the community, in particular by describing its structure, functions and relational patterns of its members with other members in the family and surrounding social systems. A sample of 25 multigenerational families (comprising four generations) was selected. A genogram interview was applied to a member of the middle generations, and four personal social network questionnaires were administered to one element of each generation. A total of 25 genograms and 92 social network inventories were collected (minus 8 than expected due to experimental mortality). Main findings were: 1) the application of systemic principles to the multigenerational family, which allowed us to define it as a social system of idiosyncratic complexity, involving specific subsystems (individual, family nucleus, family composition, generation, lineage), and also to define a multigenerational family typology (unified, dispersed and fragmented family); 2) the identification and analysis of social roles assumed by individuals in the multigenerational family context, that are specifically relevant in this systemic level (keeper of family memories, connecting link in the family, family first aider); 3) the description of the personal social networks and the identification of structural and functional differences among individuals belonging to different generational subsystems, which allowed for a reflection on the evolution of social networks through the various stages of individual and family development; 4) a deeper knowledge of the eldest family members social networks, i.e. the relational matrix of significant individuals and supports in oldold age. In summary, the first two chapters reflect the development of a heuristic model directed at the multigenerational family, whereas the two subsequent chapters provide a view of contemporaneous relationships between generational subsystems, through a social network analysis methodology.
Resumo:
This thesis analyses the concept of Political Will, suggests its operationalization and establishes a typological theory that provides the necessary support for the diverse strategies of action of a leader. It claims that political leadership styles articulate a choice of action that results from the Political Will of a leader, which is determined by his intention and his discerned possibilities to act. One main research question guided our research: How does a political leader select and change his leadership style? The most illustrative literature on political leadership is reviewed and the characteristics of democratic governance are analyzed. This is followed by an overview of the most noteworthy theories on the theme and a claim for the need of concept coherence, given the multiplicity of the existent standpoints. After that, we concentrate on leadership styles, with a focus on the local governance context. Human action and intentionality are addressed with particular attention, as well as the motivational drivers for action, in order to advance a conceptualization of Political Will through two dimensions: intention and possibility. This analysis led to a number of relevant propositions: (1) Political Will ‘exists’ when the agent has the intent and the possibility to act; (2) these two dimensions ‘translate’ simultaneously what the agent believes he must do and can do; (3) Intention and possibility reflect diverse but limited worldviews; (4) political leadership styles result from the agent’s Political Will; (5) different combinations of the expected and actual worldviews result in different leadership styles; and (6) political leadership styles can change accordingly to several strategies which allow conformity or reflect reaction to worldviews. We suggested the operationalization of the two dimensions of Political Will through the analytical tool of Grid-group Theory, which provided the identification of the heuristic devices that allowed further comprehension on the subjectivity of the agent’s choice. Four standard property spaces – representing four types of leadership styles – result from a preliminary approach to this process. Afterwards, and because these dimensions operate simultaneously, we advance on the analysis and suggest some plausible heuristical conflicts to happen and describe which consequences, strategies and type migrations are conceivable. An inclusive and more complete set of resulting property spaces renders fourteen different types of leadership styles and sixty different predictable causal paths that result from the expected migration strategies. Case-studies were conducted as plausibility probes designed to provide improvements to our theoretical claims and addressed the cases we selected for research purposes: Portuguese Mayors. The findings from five case studies are discussed and the probable impact and congruence of each with the theoretical claims are assessed. The communalities of the causal mechanisms related to the function of intention and possibility as the dimensions of Political Will and their role in explaining different leadership styles are, finally, addressed. To conclude, we advance some repercussions, mainly in the public policies field of research, and suggest a number of different and necessary paths for further work.
Resumo:
Desde a Pré-História que a escolha de materiais esteve relacionada com a Arte. Mais tarde, durante a Idade Moderna vai ganhando uma importância cada vez maior. Atingida que foi a Idade Contemporânea, nomeadamente após a Revolução Industrial e durante a Segunda Guerra Mundial, devido ao aumento do número de materiais disponíveis, é que se pode falar de uma verdadeira seleção de materiais. É também após a Revolução Industrial que se clarificam as relações entre a evolução dos materiais e os movimentos e correntes das Artes Plásticas. Neste contexto, estudaram-se as interligações entre o processo de design e as metodologias de seleção, assim como as diversas tipologias de ferramentas existentes para esse efeito. Deste estudo, consideradas as respetivas vantagens e limitações, foi possível identificar bases de dados essencialmente técnicas, ou ao invés, ferramentas para inspiração com muitas imagens e pouca informação sobre as propriedades dos materiais. Para completar este levantamento crítico sobre processos e ferramentas de seleção, inquiriram-se cinquenta e três profissionais que trabalhavam em diferentes gabinetes de design portugueses. As perguntas dirigidas aos designers portugueses versaram sobre problemas relacionados com a escolha de materiais, abrangendo o tipo de matériasprimas empregues, processos utilizados e a qualidade da informação obtida. Na sequência deste estudo, verificou-se a existência de diversas lacunas relativamente aos meios disponíveis, rotinas de seleção, qualidade da informação existente e metodologias utilizadas. Foi neste contexto que se iniciou o projeto de criação de uma nova metodologia suportada por uma ferramenta digital. Os principais aspetos inovadores são: uma melhor interligação entre a metodologia de design e o processo de seleção de materiais e a sua sincronização; a informação necessária em cada etapa e o destaque dos fatores catalisadores da seleção de materiais. Outro elemento inovador foi a conjugação de três formas deferentes de seleção de materiais numa só ferramenta (a geral, a visual e a específica) e a hipótese de aceder a diferentes graus de informação. A metodologia, no contexto dos recursos disponíveis, foi materializada sob a forma de ferramenta digital (ptmaterials.com). O protótipo foi aferido com testes de usabilidade de cariz heurístico, com a participação de dezanove utilizadores. Foram detetadas diversas falhas de interação que condicionaram a liberdade e o controlo da navegação no seio da interface. Os utilizadores também mencionaram a existência de lacunas na prevenção de erros e a ligação do sistema à lógica habitual de outras aplicações já existentes. No entanto, também constituiu um estímulo a circunstância da maioria dos designers avaliarem o sistema como eficaz, eficiente, satisfatório e confirmarem o interesse da existência dos três tipos de seleção. Posteriormente, ao analisar os restantes resultados dos testes de usabilidade, também foram evidenciadas as vantagens dos diferentes tipos de informação disponibilizada e a utilidade de uma ferramenta desta natureza para a Indústria e Economia Nacionais. Esta ferramenta é apenas um ponto de partida, existindo espaço para melhorar a proposta, apesar da concretização de uma ferramenta digital ser um trabalho de grande complexidade. Não obstante se tratar de um protótipo, esta ferramenta está adequada aos dias de hoje e é passível de evoluir no futuro, tendo também a possibilidade de vir a ser preferencialmente utilizada por outros países de língua portuguesa.
Resumo:
As ciências são um elemento central da cultura contemporânea pelo que a educação científica tem de ser vista como um direito essencial dos cidadãos. A qualidade do ensino das ciências na escola torna-se, portanto, um especial foco de interesse, científico, político e social, ao nível local, nacional, e global. A investigação em educação em ciências tem produzido conhecimentos que permitem compreender os problemas e fundamentar decisões conducentes a um ensino de ciências ajustado aos desafios atuais. Por outro lado, várias organizações internacionais (UE, OCDE e UNESCO) também têm produzido documentos que visam regular as políticas globais de ensino de ciências, assumindo que a educação científica dos cidadãos é uma condição para a prosperidade económica e social de qualquer estado. Assim, atualmente, existe um acervo documental extenso e diverso relativo ao ensino de ciências, pelo que se impõe um exercício de análise e síntese que identifique quais as orientações-chave que devem ser consideradas. O ensino de nível secundário (ISCE2 e ISCE3), sendo uma etapa em que os jovens fazem escolhas pessoais e vocacionais importantes, merece particular atenção, pois diversos estudos revelam que regista níveis preocupantes de abandono e de desinteresse pelas áreas científicas e tecnológicas. Sendo as práticas dos professores um dos principais fatores de inovação e mudança importa sistematizar os conhecimentos científicos que explicam a sua complexidade e podem orientar a promoção da sua qualidade. O estudo que se apresenta situa-se na confluência de todos estes interesses e visou duas finalidades: delimitar um conceito unificador que permita estudar e desenvolver a qualidade das práticas dos professores de ciências de nível secundário; desenvolver um instrumento de inquérito que operacionalize esse conceito, numa perspetiva de investigação, formação e supervisão de práticas de ensino de ciências. O plano da investigação decorreu em duas fases. Na fase I foi delimitado o conceito perfil de ensino do professor de ciências (PEPC); este estrutura-se em três dimensões – didática, epistemológica e psicológica – cujos referenciais teórico-empíricos decorreram de revisão sistemática de literatura e de abordagem empírica de natureza exploratória e qualitativa, baseada em entrevistas a professores de ciências. Na fase II foi construído e validado o questionário do perfil de ensino do professor de ciências (QPEPC); este contém itens empiricamente situados, construídos a partir do discurso dos professores entrevistados na fase I e seguidamente validados. A validação de QPEPC envolveu dois processos de inquérito por questionário e uma metodologia mista de investigação (análise de conteúdo e análise estatística de dados): a primeira validação contou com um painel internacional de 12 especialistas em didática de ciências; a segunda validação envolveu 184 professores de ciências portugueses. Concluindo-se que QPEPC avalia duas dimensões de PEPC, construíram-se índices e modelos gráficos para facilitar a interpretação dos dados recolhidos. Analisaram-se limitações e potencialidades heurísticas de PEPC e QPEPC, enquanto produtos da investigação, perspetivando o seu uso em contextos diversos, nomeadamente futuras investigações e cenários de formação, reflexão e supervisão de professores de ciências.
Resumo:
Uma motricidade e uma psique de qualidade que permitam um desempenho de excelência são essenciais para a execução musical. Uma vez que o Tai Chi Chuan é uma atividade que implica um grande desenvolvimento do controlo psicomotor e psíquico, esta tese pretende aferir se a prática do Tai Chi Chuan pode ser um fator optimizador da performance de um percussionista. Tendo por base o estado da arte referente aos efeitos físicos e psíquicos resultantes da prática do Tai Chi Chuan, assim como do conhecimento secular que os seus praticantes possuem de matérias tais como a saúde, o autoconhecimento físico, o controlo da respiração e da ansiedade, a concentração e o desenvolvimento psicomotor procura-se compreender se a aplicação dos mesmos princípios à execução da percussão permite estabelecer paralelos entre ambas as atividades. Partindo da sua experiência como percussionista, o autor desta investigação efetua um estudo heurístico em que se pretende averiguar se a prática do Tai Chi Chuan poderá contribuir de alguma forma para uma melhor performance. Este estudo heurístico reporta-se não só à prática profissional do autor como também à sua experiência pedagógica. A experiência como professor de percussão e simultaneamente professor de Tai Chi Chuan de dez dos seus alunos de percussão ao longo de um ano letivo é também relatada, complementando e enriquecendo este estudo heurístico. Desta investigação conclui-se que a prática do Tai Chi Chuan parece potenciar a performance e otimizar o desenvolvimento das capacidades e destrezas dos alunos no ensino/aprendizagem da percussão, sobretudo nos seguintes aspetos, controlo da respiração e controlo psicomotor..
Resumo:
Intercultural and plurilingual encounters have become increasingly frequent due to Information and Communication Technologies (ICT) developments, mobility (real/ virtual) and migration. To face the challenges inherent in such encounters, the development of intercultural communicative competence (ICC) is crucial. ICC development may start in the home but should also be a commitment in school curricula, in particular in language classrooms. To facilitate this, language teachers require training in order to integrate the intercultural dimension into their professional practice. In such a context, we implemented a training programme entitled The Intercultural Teacher with an experimental group of language teachers from secondary schools in the Aveiro district (Portugal). In this article, we describe teachers’ social perceptions of ICC and explore the following questions: (a) what does ICC mean for language teachers?; and (b) what are teachers’ views on the development of ICC? The findings of this analysis enabled us, firstly, to design a heuristic model of ICC, based on teachers’ views and perceptions. We were then able to identify some pathways for developing ICC through teacher education, which were validated by teachers themselves.
Resumo:
O presente trabalho é o resultado duma investigação heurística sobre os efeitos do estudo da Técnica Alexander (TA) na prática e no ensino da flauta. Submeti-me a uma centena de aulas de Técnica Alexander e procedi a uma análise reflexiva da minha aprendizagem e prática individual e pedagógica, registando a sua evolução através da progressiva incorporação dos princípios e metodologias daquela técnica. A primeira parte descreve os princípios e procedimentos da TA enquadrando-a na problemática das relações entre conhecimento tácito e explícito, nos processos de controlo motor voluntário e involuntário, e na eficácia e eficiência dos automatismos neuromusculares. A segunda parte constitui a descrição e análise do processo transformador catalisado pelo estudo da TA: modificações na coordenação muscular; na técnica respiratória; no empunhar da flauta e na preparação para a emissão da primeira nota, e na relação entre o equilíbrio do instrumento e o movimento dos dedos. Vários procedimentos e exercícios desenvolvidos para a resolução de problemas pessoais são apresentados justificando a sua eficácia. A TA não proporciona apenas alterações na coordenação muscular mas pode modificar os processos mentais. Por isso alguns princípios para uma organização eficiente da prática são discutidos e concretizados nalguns exercícios que promovem maior variabilidade, alternância entre análise e integração e clareza na concepção do gesto técnico-musical. Por último, a evolução da minha abordagem pedagógica, incorporando procedimentos inspirados na TA e desenvolvidos ao longo da investigação são ilustrados com alguns alunos. A tese argumenta que a TA pode desempenhar um papel fundamental na melhoria do desempenho dum músico e revela-se uma ferramenta pedagógica que merece ser explorada mais sistematicamente num ensino mais baseado numa experimentação guiada que promova uma maior autoconsciência dos processos neuromusculares do que na instrução prescritiva e explícita.
Resumo:
O transporte marítimo e o principal meio de transporte de mercadorias em todo o mundo. Combustíveis e produtos petrolíferos representam grande parte das mercadorias transportadas por via marítima. Sendo Cabo Verde um arquipelago o transporte por mar desempenha um papel de grande relevância na economia do país. Consideramos o problema da distribuicao de combustíveis em Cabo Verde, onde uma companhia e responsavel por coordenar a distribuicao de produtos petrolíferos com a gestão dos respetivos níveis armazenados em cada porto, de modo a satisfazer a procura dos varios produtos. O objetivo consiste em determinar políticas de distribuicão de combustíveis que minimizam o custo total de distribuiçao (transporte e operacões) enquanto os n íveis de armazenamento sao mantidos nos n íveis desejados. Por conveniencia, de acordo com o planeamento temporal, o prob¬lema e divido em dois sub-problemas interligados. Um de curto prazo e outro de medio prazo. Para o problema de curto prazo sao discutidos modelos matemáticos de programacao inteira mista, que consideram simultaneamente uma medicao temporal cont ínua e uma discreta de modo a modelar multiplas janelas temporais e taxas de consumo que variam diariamente. Os modelos sao fortalecidos com a inclusão de desigualdades validas. O problema e então resolvido usando um "software" comercial. Para o problema de medio prazo sao inicialmente discutidos e comparados varios modelos de programacao inteira mista para um horizonte temporal curto assumindo agora uma taxa de consumo constante, e sao introduzidas novas desigualdades validas. Com base no modelo escolhido sao compara¬das estrategias heurísticas que combinam três heur ísticas bem conhecidas: "Rolling Horizon", "Feasibility Pump" e "Local Branching", de modo a gerar boas soluçoes admissíveis para planeamentos com horizontes temporais de varios meses. Finalmente, de modo a lidar com situaçoes imprevistas, mas impor¬tantes no transporte marítimo, como as mas condicões meteorológicas e congestionamento dos portos, apresentamos um modelo estocastico para um problema de curto prazo, onde os tempos de viagens e os tempos de espera nos portos sao aleatórios. O problema e formulado como um modelo em duas etapas, onde na primeira etapa sao tomadas as decisões relativas as rotas do navio e quantidades a carregar e descarregar e na segunda etapa (designada por sub-problema) sao consideradas as decisoes (com recurso) relativas ao escalonamento das operacões. O problema e resolvido por um metodo de decomposto que usa um algoritmo eficiente para separar as desigualdades violadas no sub-problema.