7 resultados para dichotomous branching

em Repositório Institucional da Universidade de Aveiro - Portugal


Relevância:

10.00% 10.00%

Publicador:

Resumo:

Nesta tese, ferroeléctricos relaxor (I dont know uf the order is correct) de base Pb das familias (Pb,La)(Zr,Ti)O3 (PLZT), Pb(Mg1/3,Nb2/3)O3-PbTiO3 (PMN-PT), Pb(Zn1/3,Nb2/3)O3-PbTiO3 (PZN-PT) foram investigados e analisados. As propriedades ferroeléctricas e dieléctricas das amostras foram estudadas por métodos convencionais de macro e localmente por microscopia de força piezoeléctrica (PFM). Nos cerâmicos PLZT 9.75/65/35 o contraste da PFM à escala nanometrica _ foi investigado em função do tamanho e orientação dos grãos. Apurou-se que a intensidade do sinal piezoeléctrico das nanoestruturas diminui com o aumento da temperatura e desaparece a 490 K (La mol. 8%) e 420 K (9,5%). Os ciclos de histerese locais foram obtidos em função da temperatura. A evolução dos parâmetros macroscópicos e locais com a temperatura de superfície sugere um forte efeito de superfície nas transições de fase ferroeléctricas do material investigado. A rugosidade da parede de domínio é determinada por PFM para a estrutura de domínio natural existente neste ferroeléctrico policristalino. Além disso, os domínios ferroeléctricos artificiais foram criados pela aplicação de pulsos eléctricos à ponta do condutor PFM e o tamanho de domínio in-plane foi medido em função da duração do pulso. Todas estas experiências levaram à conclusão de que a parede de domínio em relaxors do tipo PZT é quase uma interface unidimensional. O mecanismo de contraste na superfície de relaxors do tipo PLZT é medido por PFMAs estruturas de domínio versus evolução da profundidade foram estudadas em cristais PZN-4,5%PT, com diferentes orientações através da PFM. Padrões de domínio irregulares com tamanhos típicos de 20-100 nm foram observados nas superfícies com orientação <001> das amostras unpoled?. Pelo contrário, os cortes de cristal <111> exibem domínios regulares de tamanho mícron normal, com os limites do domínio orientados ao longo dos planos cristalográficos permitidos. A existência de nanodomínios em cristais com orientação <001> está provisoriamente (wrong Word) atribuída à natureza relaxor de PZN-PT, onde pequenos grupos polares podem formar-se em coindições de zero-field-cooling (ZFC). Estes nanodomínios são considerados como os núcleos do estado de polarização oposta e podem ser responsáveis pelo menor campo coercitivo para este corte de cristal em particular. No entanto, a histerese local piezoelétrica realizada pelo PFM à escala nanométrica indica uma mudança de comportamento de PZN-PT semelhante para ambas as orientações cristalográficas investigadas. A evolução das estruturas de domínio com polimento abaixo da superfície do cristal foi investigada. O domínio de ramificações e os efeitos de polarização de triagem após o polimento e as medições de temperatura têm sido estudados pela PFM e pela análise SEM. Além disso, verificou-se que a intensidade do sinal piezoeléctrico a partir das estruturas de nanodomínio diminui com o aumento da temperatura, acabando por desaparecer aos 430 K (orientaçáo <111>) e 470 K (orientação <100>). Esta diferença de temperatura nas transições de fase local em cristais de diferentes orientações é explicada pelo forte efeito de superfície na transição da fase ferroelétrica em relaxors.A comutação da polarização em relaxor ergódico e nas fases ferroeléctricas do sistema PMN-PT foram realizadas pela combinação de três métodos, Microscopia de Força Piezoeléctrica, medição de um único ponto de relaxamento eletromecânico e por ultimo mapeamento de espectroscopia de tensão. A dependência do comportamento do relaxamento na amplitude e tempo da tensão de pulso foi encontrada para seguir um comportamento logarítmico universal com uma inclinação quase constante. Este comportamento é indicativo da progressiva população dos estados de relaxamento lento, ao contrário de uma relaxação linear na presença de uma ampla distribuição do tempo de relaxamento. O papel do comportamento de relaxamento, da não-linearidade ferroeléctrica e da heterogeneidade espacial do campo na ponta da sonda de AFM sobre o comportamento do ciclo de histerese é analisada em detalhe. Os ciclos de histerese para ergódica PMN- 10%PT são mostrados como cineticamente limitados, enquanto que no PMN, com maior teor de PT, são observados verdadeiros ciclos de histerese ferroeléctrica com viés de baixa nucleação.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

As galactomananas das infusões de café apresentam atividade imunoestimuladora in vitro, sendo esta atividade semelhante à das mananas acetiladas extraídas de Aloe vera. As galactomananas presentes no resíduo de café também possuem atividade imunoestimuladora in vitro quando são parcialmente acetiladas. Como as galactomananas são o componente maioritário do resíduo de café e como o café é um produto de largo consumo a nível mundial, o reaproveitamento deste resíduo como fonte de galactomananas com atividade imunoestimuladora deve ser considerado. Esta dissertação procura dar resposta a duas questões: 1. Quais são as estruturas das galactomananas responsáveis pela atividade imunoestimuladora destes polissacarídeos; e 2. Como é que as galactomananas podem ser extraídas quantitativamente do resíduo de café de modo a serem solúveis em água à temperatura ambiente e, assim, poderem ser utilizadas como ingredientes alimentares com atividade imunoestimuladora. A questão 1 foi respondida pela caracterização estrutural de quatro galactomananas, de três origens: a) as galactomananas das infusões de café e do resíduo que apresentaram atividade imunoestimuladora; b) a galactomanana da goma de alfarroba (LBG), que não apresentou atividade imunoestimuladora; e c) a manana acetilada de Aloe vera, que apresentou atividade imunoestimuladora. Estes polissacarídeos foram submetidos à análise de açúcares e de ligações glicosídicas e a hidrólise por endo-β-D- (1→4)-mananase. Os fragmentos de oligossacarídeos mais pequenos foram ainda analisados por espetrometria de massa por ionização de electrospray e espetrometria de massa tandem. As galactomananas das infusões de café, do resíduo de café e do Aloe vera apresentaram grau de ramificação e peso molecular semelhantes, enquanto as galactomananas da LBG apresentaram grau de ramificação e de polimerização maiores. Todas as galactomananas apresentaram resíduos de arabinose como ramificação. O grau de acetilação das galactomananas da LBG foi vestigial enquanto as galactomananas do Aloe vera apresentaram um grau de acetilação de 2,08; para as galactomananas do resíduo de café o grau de acetilação foi de 0,98 e para as infusões foi de 0,08. A localização dos grupos acetilo foi irregular em todos os polímeros. Os resultados obtidos permitem inferir que baixos níveis de ramificação, cadeias pequenas e alguma acetilação parecem promover a atividade imunoestimuladora atribuída às galactomananas. Para responder à questão 2, foi testada uma metodologia que envolveu a torra do resíduo de café a 160 ºC e a 220 ºC e a sua extração com água quente e com soluções de 4 M NaOH à temperatura de 20, 60 e 120 ºC. A torra do resíduo a 160 ºC e a extração sequencial permitiu extrair 56% das galactomananas presentes no resíduo de café e, simultaneamente, 54% das arabinogalactanas. As galactomananas mantiveram a sua estrutura caraterística de polissacarídeo acetilado composto por uma cadeira principal de resíduos de manose em ligação β-(1→4) e resíduos de Gal e Ara nas cadeias laterais. A 220 ºC, as galactomananas foram parcialmente degradadas e o rendimento de extração foi muito menor do que a 160 ºC. No entanto, mesmo a esta temperatura as galactomananas apresentaram resíduos acetilados e a presença de pentoses nas cadeias laterais, o que permite inferir a elevada resistência destes polissacarídeos à temperatura e aos reagentes alcalinos. De forma a melhor compreender a estabilidade térmica das galactomananas do resíduo de café e a influência que a presença de arabinogalactanas pode ter na sua estabilidade, foi feita uma análise termogravimétrica aos polissacarídeos extraídos do resíduo de café assim como a polissacarídeos relacionados estruturalmente com estes, como a celulose, a galactomanana de LBG e a goma arábica, uma arabinogalactana. As galactomananas são termicamente estáveis durante 3 h a 200 ºC, enquanto as arabinogalactanas são estáveis a 180 ºC. De acordo com os perfis dos termogramas obtidos, e pelo cálculo das energias de ativação da degradação térmica, o resíduo de café apresenta uma estabilidade térmica menor do que a galactomanana, possivelmente devido à presença de arabinogalactanas. Apesar de não se ter verificado alterações no termograma da galactomanana do café submetida a um tratamento térmico de 200 ºC durante 3 h, verificam-se alterações estruturais que envolvem a formação de novas ligações glicosídicas, nomeadamente, a formação de resíduos de manose ligados em O-2 e em O-6, reações de transglicosilação, despolimerização, formação de resíduos de anidro-hexoses no terminal redutor e isomerização manose-glucose. Estas alterações promovem a solubilização das galactomananas. Os resultados obtidos permitem propor que o resíduo de café possa ser submetido a uma torra seguida de extração com reagentes alcalinos a quente para obtenção das galactomananas com rendimentos elevados. Estes polissacarídeos podem tornar-se solúveis em água após tratamento térmico a 200 ºC, permitindo assim a sua utilização em formulações alimentares, nomeadamente, por preparação de compostos acetilados com baixos níveis de ramificação e cadeias pequenas de modo a promover a sua atividade imunoestimuladora.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Nas últimas décadas, um grande número de processos têm sido descritos em termos de redes complexas. A teoria de redes complexas vem sendo utilizada com sucesso para descrever, modelar e caracterizar sistemas naturais, artificias e sociais, tais como ecossistemas, interações entre proteínas, a Internet, WWW, até mesmo as relações interpessoais na sociedade. Nesta tese de doutoramento apresentamos alguns modelos de agentes interagentes em redes complexas. Inicialmente, apresentamos uma breve introdução histórica (Capítulo 1), seguida de algumas noções básicas sobre redes complexas (Capítulo 2) e de alguns trabalhos e modelos mais relevantes a esta tese de doutoramento (Capítulo 3). Apresentamos, no Capítulo 4, o estudo de um modelo de dinâmica de opiniões, onde busca-se o consenso entre os agentes em uma população, seguido do estudo da evolução de agentes interagentes em um processo de ramificação espacialmente definido (Capítulo 5). No Capítulo 6 apresentamos um modelo de otimização de fluxos em rede e um estudo do surgimento de redes livres de escala a partir de um processo de otimização . Finalmente, no Capítulo 7, apresentamos nossas conclusões e perspectivas futuras.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Vitis vinifera L., the most widely cultivated fruit crop in the world, was the starting point for the development of this PhD thesis. This subject was exploited following on two actual trends: i) the development of rapid, simple, and high sensitive methodologies with minimal sample handling; and ii) the valuation of natural products as a source of compounds with potential health benefits. The target group of compounds under study were the volatile terpenoids (mono and sesquiterpenoids) and C13 norisoprenoids, since they may present biological impact, either from the sensorial point of view, as regards to the wine aroma, or by the beneficial properties for the human health. Two novel methodologies for quantification of C13 norisoprenoids in wines were developed. The first methodology, a rapid method, was based on the headspace solid-phase microextraction combined with gas chromatography-quadrupole mass spectrometry operating at selected ion monitoring mode (HS-SPME/GC-qMS-SIM), using GC conditions that allowed obtaining a C13 norisoprenoid volatile signature. It does not require any pre-treatment of the sample, and the C13 norisoprenoid composition of the wine was evaluated based on the chromatographic profile and specific m/z fragments, without complete chromatographic separation of its components. The second methodology, used as reference method, was based on the HS-SPME/GC-qMS-SIM, allowing the GC conditions for an adequate chromatographic resolution of wine components. For quantification purposes, external calibration curves were constructed with β-ionone, with regression coefficient (r2) of 0.9968 (RSD 12.51 %) and 0.9940 (RSD of 1.08 %) for the rapid method and for the reference method, respectively. Low detection limits (1.57 and 1.10 μg L-1) were observed. These methodologies were applied to seventeen white and red table wines. Two vitispirane isomers (158-1529 L-1) and 1,1,6-trimethyl-1,2-dihydronaphthalene (TDN) (6.42-39.45 μg L-1) were quantified. The data obtained for vitispirane isomers and TDN using the two methods were highly correlated (r2 of 0.9756 and 0.9630, respectively). A rapid methodology for the establishment of the varietal volatile profile of Vitis vinifera L. cv. 'Fernão-Pires' (FP) white wines by headspace solid-phase microextraction combined with comprehensive two-dimensional gas chromatography with time-of-flight mass spectrometry (HS-SPME/GCxGC-TOFMS) was developed. Monovarietal wines from different harvests, Appellations, and producers were analysed. The study was focused on the volatiles that seem to be significant to the varietal character, such as mono and sesquiterpenic compounds, and C13 norisoprenoids. Two-dimensional chromatographic spaces containing the varietal compounds using the m/z fragments 93, 121, 161, 175 and 204 were established as follows: 1tR = 255-575 s, 2tR = 0,424-1,840 s, for monoterpenoids, 1tR = 555-685 s, 2tR = 0,528-0,856 s, for C13 norisoprenoids, and 1tR = 695-950 s, 2tR = 0,520-0,960 s, for sesquiterpenic compounds. For the three chemical groups under study, from a total of 170 compounds, 45 were determined in all wines, allowing defining the "varietal volatile profile" of FP wine. Among these compounds, 15 were detected for the first time in FP wines. This study proposes a HS-SPME/GCxGC-TOFMS based methodology combined with classification-reference sample to be used for rapid assessment of varietal volatile profile of wines. This approach is very useful to eliminate the majority of the non-terpenic and non-C13 norisoprenic compounds, allowing the definition of a two-dimensional chromatographic space containing these compounds, simplifying the data compared to the original data, and reducing the time of analysis. The presence of sesquiterpenic compounds in Vitis vinifera L. related products, to which are assigned several biological properties, prompted us to investigate the antioxidant, antiproliferative and hepatoprotective activities of some sesquiterpenic compounds. Firstly, the antiradical capacity of trans,trans-farnesol, cis-nerolidol, α-humulene and guaiazulene was evaluated using chemical (DPPH• and hydroxyl radicals) and biological (Caco-2 cells) models. Guaiazulene (IC50= 0.73 mM) was the sesquiterpene with higher scavenger capacity against DPPH•, while trans,trans-farnesol (IC50= 1.81 mM) and cis-nerolidol (IC50= 1.48 mM) were more active towards hydroxyl radicals. All compounds, with the exception of α-humulene, at non-cytotoxic levels (≤ 1 mM), were able to protect Caco-2 cells from oxidative stress induced by tert-butyl hydroperoxide. The activity of the compounds under study was also evaluated as antiproliferative agents. Guaiazulene and cis-nerolidol were able to more effectively arrest the cell cycle in the S-phase than trans,trans-farnesol and α-humulene, being the last almost inactive. The relative hepatoprotection effect of fifteen sesquiterpenic compounds, presenting different chemical structures and commonly found in plants and plant-derived foods and beverages, was assessed. Endogenous lipid peroxidation and induced lipid peroxidation with tert-butyl hydroperoxide were evaluated in liver homogenates from Wistar rats. With the exception of α-humulene, all the sesquiterpenic compounds under study (1 mM) were effective in reducing the malonaldehyde levels in both endogenous and induced lipid peroxidation up to 35% and 70%, respectively. The developed 3D-QSAR models, relating the hepatoprotection activity with molecular properties, showed good fit (R2LOO > 0.819) with good prediction power (Q2 > 0.950 and SDEP < 2%) for both models. A network of effects associated with structural and chemical features of sesquiterpenic compounds such as shape, branching, symmetry, and presence of electronegative fragments, can modulate the hepatoprotective activity observed for these compounds. In conclusion, this study allowed the development of rapid and in-depth methods for the assessment of varietal volatile compounds that might have a positive impact on sensorial and health attributes related to Vitis vinifera L. These approaches can be extended to the analysis of other related food matrices, including grapes and musts, among others. In addition, the results of in vitro assays open a perspective for the promising use of the sesquiterpenic compounds, with similar chemical structures such as those studied in the present work, as antioxidants, hepatoprotective and antiproliferative agents, which meets the current challenges related to diseases of modern civilization.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Este trabalho teve como principal objetivo estudar e modificar as propriedades funcionais das proteínas de soja de forma a otimizar e diversificar a sua aplicação industrial. Para tal, foram propostas e estudadas quatro estratégias: i) extração do isolado de proteínas de soja (IPS) a partir de diferentes matérias-primas, ii) adição de galactomananas (GM) com graus de ramificação e massas moleculares diferentes, iii) hidrólise enzimática controlada das proteínas de soja, iv) processamento por alta pressão hidrostática. O estudo e a interpretação da influência destas estratégias sobre as propriedades funcionais das proteínas de soja, nomeadamente, na capacidade gelificante e emulsionante, foram realizados recorrendo fundamentalmente a ensaios reológicos dinâmicos a baixas deformação, espectroscopia de infravermelho, electroforeses, calorimetria diferencial de varrimento e ensaios de microscopia confocal de varrimento laser. O estudo da extração e caracterização dos isolados de proteínas de soja obtidos a partir de diferentes matérias-primas permitiu concluir que as caraterísticas físico-químicas dos isolados são dependentes da origem da matéria-prima de extração e da severidade dos tratamentos industriais prévios à extração do isolado. Contudo, as propriedades viscoelásticas dos géis obtidos por aquecimento controlado não foram significativamente distintas embora tenha sido possível relacionar o grau de agregação com a diminuição da temperatura de gelificação e com o aumento inicial dos módulos viscoelásticos. As alterações sofridas pelos isolados de origem comercial mostraram ser irreversíveis resultando em géis menos rígidos e com maior caráter viscoso. A adição de galactomanana alterou significativamente o mecanismo de gelificação induzido termicamente das proteínas de soja, bem como as propriedades viscoelásticas dos géis e a microestrutura dos géis, demonstrando-se a ocorrência de separação de fases, em virtude da incompatibilidade termodinâmica entre os biopolímeros, resultando em géis mais rígidos e no decréscimo da temperatura de gelificação. A extensão destas alterações foi dependente da massa molecular, grau de ramificação e da razão IPS/GM. O efeito da hidrólise enzimática por ação da bromelina, nas propriedades gelificantes e emulsionantes das proteínas de soja, mostrou ser dependente do grau de hidrólise (GH). Valores de GH inferiores a 15 % melhoraram as propriedades gelificantes das proteínas de soja. Por outro lado, o aumento do GH teve um efeito negativo nas propriedades emulsionantes, o qual foi atenuado por adição da goma de alfarroba, com efeito positivo na gelificação das proteínas de soja. A concentração crítica limite de compatibilidade entre os hidrolisados de proteína de soja e a goma de alfarroba aumentou com o decréscimo do GH e da massa molecular do polissacacrídeo. O efeito da AP sobre as propriedades físico-químicas e funcionais dos IPS foi influenciado pela origem do isolado e pelas condições de tratamento. O processamento até 100 MPa desencadeou um aumento da atividade emulsionante e considerável melhoria da capacidade gelificante. Contudo, valores de pressão superiores promoveram a desnaturação das proteínas constituintes dos isolados, resultando no decréscimo da temperatura de gelificação e numa re-associação das subunidades proteicas, diminuindo a elasticidade dos géis finais. Os resultados sugeriram que as alterações nas proteínas de soja promovidas durante o tratamento por AP constituem um fator limitante para o desdobramento e re-associação durante o aquecimento térmico, necessários para a formação e fortalecimento de gel formado. O processamento por AP influenciou a estrutura secundária e a microestrutura das amostras. A presença de GA teve um papel baroprotetor. Assim, com este trabalho demonstrou-se que com as estratégias seguidas para manipulação das propriedades funcionais de proteínas de soja, nomeadamente através da adição de um polissacarídeo com propriedades estruturais controladas, da adequada combinação da adição de um polissacarídeo neutro com a hidrólise controlada das proteínas ou com tratamento por alta pressão, é possível a criação de novas funcionalidades, com utilidade no desenvolvimento de novas formulações alimentares, permitindo expandir a aplicação destas proteínas vegetais.

Relevância:

10.00% 10.00%

Publicador:

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.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Nesta tese abordam-se várias formulações e diferentes métodos para resolver o Problema da Árvore de Suporte de Custo Mínimo com Restrições de Peso (WMST – Weight-constrained Minimum Spanning Tree Problem). Este problema, com aplicações no desenho de redes de comunicações e telecomunicações, é um problema de Otimização Combinatória NP-difícil. O Problema WMST consiste em determinar, numa rede com custos e pesos associados às arestas, uma árvore de suporte de custo mínimo de tal forma que o seu peso total não exceda um dado limite especificado. Apresentam-se e comparam-se várias formulações para o problema. Uma delas é usada para desenvolver um procedimento com introdução de cortes baseado em separação e que se tornou bastante útil na obtenção de soluções para o problema. Tendo como propósito fortalecer as formulações apresentadas, introduzem-se novas classes de desigualdades válidas que foram adaptadas das conhecidas desigualdades de cobertura, desigualdades de cobertura estendida e desigualdades de cobertura levantada. As novas desigualdades incorporam a informação de dois conjuntos de soluções: o conjunto das árvores de suporte e o conjunto saco-mochila. Apresentam-se diversos algoritmos heurísticos de separação que nos permitem usar as desigualdades válidas propostas de forma eficiente. Com base na decomposição Lagrangeana, apresentam-se e comparam-se algoritmos simples, mas eficientes, que podem ser usados para calcular limites inferiores e superiores para o valor ótimo do WMST. Entre eles encontram-se dois novos algoritmos: um baseado na convexidade da função Lagrangeana e outro que faz uso da inclusão de desigualdades válidas. Com o objetivo de obter soluções aproximadas para o Problema WMST usam-se métodos heurísticos para encontrar uma solução inteira admissível. Os métodos heurísticos apresentados são baseados nas estratégias Feasibility Pump e Local Branching. Apresentam-se resultados computacionais usando todos os métodos apresentados. Os resultados mostram que os diferentes métodos apresentados são bastante eficientes para encontrar soluções para o Problema WMST.