Sistema domótico controlado por mensajería instantánea Whatsapp para personas con discapacidad

El presente PFC tiene como objetivo el desarrollo de un gestor domótico basado en el dictado de voz de la red social WhatsApp. Dicho gestor no solo sustituirá el concepto dañino de que la integración de la domótica hoy en día es cara e inservible sino que acercará a aquellas personas con una discapacidad a tener una mejora en la calidad de vida. Estas personas, con un simple comando de voz a su aplicación WhatsApp de su terminal móvil, podrán activar o desactivar todos los elementos domóticos que su vivienda tenga instalados, “activar lámpara”, “encender Horno”, “abrir Puerta”… Todo a un muy bajo precio y utilizando tecnologías OpenSource El objetivo principal de este PFC es ayudar a la gente con una discapacidad a tener mejor calidad de vida, haciéndose independiente en las labores del hogar, ya que será el hogar quien haga las labores. La accesibilidad de este servicio, es por tanto, la mayor de las metas. Para conseguir accesibilidad para todas las personas, se necesita un servicio barato y de fácil aprendizaje. Se elige la red social WhatsApp como interprete, ya que no necesita de formación al ser una aplicación usada mayoritariamente en España y por la capacidad del dictado de voz, y se eligen las tecnologías OpenSource por ser la gran mayoría de ellas gratuitas o de pago solo el hardware. La utilización de la Red social WhatsApp se justifica por sí sola, en septiembre de 2015 se registraron 900 millones de usuarios. Este dato es fruto, también, de la reciente adquisición por parte de Facebook y hace que cumpla el primer requisito de accesibilidad para el servicio domotico que se presenta. Desde hace casi 5 años existe una API liberada de WhatsApp, que la comunidad OpenSource ha utilizado, para crear sus propios clientes o aplicaciones de envío de mensajes, usando la infraestructura de la red social. La empresa no lo aprueba abiertamente, pero la liberación de la API fue legal y su uso también lo es. Por otra parte la empresa se reserva el derecho de bloquear cuentas por el uso fraudulento de su infraestructura. Las tecnologías OpenSource utilizadas han sido, distribuciones Linux (Raspbian) y lenguajes de programación PHP, Python y BASHSCRIPT, todo cubierto por la comunidad, ofreciendo soporte y escalabilidad. Es por ello que se utiliza, como matriz y gestor domotico central, una RaspberryPI. Los servicios que el gestor ofrece en su primera versión incluyen el control domotico de la iluminación eléctrica general o personal, el control de todo tipo de electrodomésticos, el control de accesos para la puerta principal de entrada y el control de medios audiovisuales. ABSTRACT. This final thesis aims to develop a domotic manager based on the speech recognition capacity implemented in the social network, WhatsApp. This Manager not only banish the wrong idea about how expensive and useless is a domotic installation, this manager will give an opportunity to handicapped people to improve their quality of life. These people, with a simple voice command to their own WhatsApp, could enable or disable all the domotics devices installed in their living places. “On Lamp”, “ON Oven”, “Open Door”… This service reduce considerably the budgets because the use of OpenSource Technologies. The main achievement of this thesis is help handicapped people improving their quality of life, making independent from the housework. The house will do the work. The accessibility is, by the way, the goal to achieve. To get accessibility to a width range, we need a cheap, easy to learn and easy to use service. The social Network WhatsApp is one part of the answer, this app does not need explanation because is used all over the world, moreover, integrates the speech recognition capacity. The OpenSource technologies is the other part of the answer due to the low costs or, even, the free costs of their implementations. The use of the social network WhatsApp is explained by itself. In September 2015 were registered around 900 million users, of course, the recent acquisition by Facebook has helped in this astronomic number and match the first law of this service about the accessibility. Since five years exists, in the internet, a free WhatsApp API. The OpenSource community has used this API to develop their own messaging apps or desktop-clients, using the WhatsApp infrastructure. The company does not approve officially, however le API freedom is legal and the use of the API is legal too. On the other hand, the company can block accounts who makes a fraudulent use of his infrastructure. OpenSource technologies used in this thesis are: Linux distributions (Raspbian) and programming languages PHP, Python and BASHCSRIPT, all of these technologies are covered by the community offering support and scalability. Due to that, it is used a RaspberryPI as the Central Domotic Manager. The domotic services that currently this manager achieve are: Domotic lighting control, electronic devices control, access control to the main door and Media Control.

A friendly online C compiler to improve programming skills based on student self-assessment

This paper presents an online C compiler designed so that students can program their practical assignments in Programming courses. What is really innovative is the self-assessment of the exercises based on black-box tests and train students’ skill to test software. Moreover, this tool lets instructors, not only proposing and classifying practical exercises, but also evaluating automatically the efforts dedicated and the results obtained by the students. The system has been applied to the 1st-year students at the Industrial Engineering specialization at the Universidad Politecnica de Madrid. Results show that the students obtained better academic performance, reducing the failure rate in the practical exam considerably with respect to previous years, in addition that an anonymous survey proved that students are satisfied with the system because they get instant feedback about their programs.

Multi-UAV Coordination and Control Interface

The interest in missions with multiple Unmanned Aerial Vehicles (UAVs) has increased significantly in last years. These missions take advantage of the use of fleets instead of single UAVs to ensure the success, reduce the duration or increase the goals of the mission. In addition, they allow performing tasks that require multiple agents and certain coordination (e.g. surveillance of large areas or transport of heavy loads). Nevertheless, these missions suppose a challenge in terms of control and monitoring. In fact, the workload of the operators rises with the utilization of multiple UAVs and payloads, since they have to analyze more information, make more decisions and generate more commands during the mission. This work addresses the operator workload problem in multi-UAV missions by reducing and selecting the information. Two approaches are considered: a first one that selects the information according to the mission state, and a second one that selects it according to the operator preferences. The result is an interface that is able to control the amount of information and show what is relevant for mission and operator at the time.

A meanfield approach to the thermodynamics of a protein-solvent system with application to the oligomerization of the tumor suppressor p53

The thermodynamic stability and oligomerization status of the tumor suppressor p53 tetramerization domain have been studied experimentally and theoretically. A series of hydrophilic mutations at Met-340 and Leu-344 of human p53 were designed to disrupt the hydrophobic dimer–dimer interface of the tetrameric oligomerization domain of p53 (residues 325–355). Meanfield calculations of the free energy of the solvated mutants as a function of interdimer distance were compared with experimental data on the thermal stability and oligomeric state (tetramer, dimer, or equilibrium mixture of both) of each mutant. The calculations predicted a decreasing stability and oligomeric state for the following amino acids at residue 340: Met (tetramer) > Ser Asp, His, Gln, > Glu, Lys (dimer), whereas the experimental results showed the following order: Met (tetramer) > Ser > Gln > His, Lys > Asp, Glu (dimers). For residue 344, the calculated trend was Leu (tetramer) > Ala > Arg, Gln, Lys (dimer), and the experimental trend was Leu (tetramer) > Ala, Arg, Gln, Lys (dimer). The discrepancy for the lysine side chain at residue 340 is attributed to the dual nature of lysine, both hydrophobic and charged. The incorrect prediction of stability of the mutant with Asp at residue 340 is attributed to the fact that within the meanfield approach, we use the wild-type backbone configuration for all mutants, but low melting temperatures suggest a softening of the α-helices at the dimer–dimer interface. Overall, this initial application of meanfield theory toward a protein-solvent system is encouraging for the application of the theoretical model to more complex systems.

Tenacidade ao impacto e resistência a fadiga de aço API 5L X70 modificado ao Nb

O transporte de gás e derivados de petróleo é realizado pelo uso de tubulações, denominadas de oleodutos ou gasodutos, que necessitam de elevados níveis de resistência mecânica e corrosão, aliadas a uma boa tenacidade à fratura e resistência à fadiga. A adição de elementos de liga nesses aços, Ti, V e Nb entre outros, é realizada para o atendimento destes níveis de resistência após o processamento termomecânico das chapas para fabricação destes dutos, utilizando-se a norma API 5L do American Petroleum Institute, API, para a classificação destes aços. A adição de elementos de liga em associação com o processamento termomecânico visa o refino de grão da microestrutura austenítica, o qual é transferido para a estrutura ferrítica resultante. O Brasil é o detentor das maiores reservas mundiais de nióbio, que tem sido apresentado como refinador da microestrutura mais eficiente que outros elementos, como o V e Ti. Neste trabalho dois aços, denominados Normal e Alto Nb foram estudados. A norma API propõe que a soma das concentrações de Nióbio, Vanádio e Titânio devem ser menores que 0,15% no aço. As concentrações no aço contendo mais alto Nb é de 0,107%, contra 0,082% do aço de composição normal, ou seja, ambos atendem o valor especificado pela norma API. Entretanto, os aços são destinados ao uso em dutovias pela PETROBRÁS que impõe limites nos elementos microligantes para os aços aplicados em dutovias. Deste modo estudos foram desenvolvidos para verificar se os parâmetros de resistência à tração, ductilidade, tenacidade ao impacto e resistência à propagação de trinca por fadiga, estariam em acordo com a norma API 5L grau X70 e com os resultados que outros pesquisadores têm encontrado para aços dessa classe. Ainda, como para a formação de uma dutovia os tubos são unidos uns aos outros por processo de soldagem (circunferencial), o estudo de fadiga foi estendido para as regiões da solda e zona termicamente afetada (ZTA). Como conclusão final observa-se que o aço API 5L X70 com Nb modificado, produzido conforme processo desenvolvido pela ArcelorMittal - Tubarão, apresenta os parâmetros de resistência e ductilidade em tração, resistência ao impacto e resistência a propagação de trinca em fadiga (PTF) similar aos aços API 5L X70 com teores de Nb = 0,06 % peso e aqueles da literatura com teores de Nb+Ti+V < 0,15% peso. O metal base, metal de solda e zona termicamente afetada apresentaram curvas da/dN x ΔK similares, com os parâmetros do material C e m, da equação de Paris, respectivamente na faixa de 3,3 - 4,2 e 1.3x10-10 - 5.0x10-10 [(mm/ciclo)/(MPa.m1/2)m].

Estudo fenomenológico e numérico do escoamento estratificado óleo-água ondulado e com mistura na interface

Escoamentos bifásicos estão presentes em diversos processos naturais e industriais, como na indústria de petróleo. Podem apresentar-se em diferentes configurações topológicas, ou, padrões de escoamento, entre eles o escoamento estratificado ondulado e o estratificado com mistura na interface. Os escoamentos bifásicos estratificados óleo-água têm sido utilizados como uma forma conveniente de evitar a formação de emulsões de água em óleo em oleodutos e possuem uma ocorrência comum em poços de petróleo direcionais. Quando a onda interfacial ultrapassa determinado limite geométrico e cinemático, surge o fenômeno do entranhamento de gotas, representado por misturas entre as fases junto à interface que promovem um aumento na queda de pressão. Modelos têm sido apresentados pela literatura na tentativa de descrever o fenômeno do entranhamento de gotas. Neste trabalho é apresentada uma nova proposta de modelagem matemática unidimensional para o entranhamento de gotas com o objetivo de melhorar a previsão dos parâmetros envolvidos, em especial, da fração volumétrica de óleo e da queda de pressão bifásica. Também foi utilizada simulação numérica computacional, CFD (Computational Fluid Dynamics), com o uso de software comercial para obtenção dos valores dos parâmetros do escoamento estratificado ondulado óleo-água (fração volumétrica de óleo, queda de pressão, amplitude e comprimento da onda interfacial). Os resultados da modelagem fenomenológica para entranhamento e os de CFD foram comparados com bancos de dados experimentais. Os resultados em CFD mostram concordância com os resultados experimentais, tanto na análise qualitativa das propriedades geométricas das ondas interfaciais, quanto na comparação direta com os dados para fração volumétrica e queda de pressão. Os resultados numéricos da modelagem fenomenológica para fatores de entranhamento apresentam boa concordância com dados da literatura.

Influência do tempo de imersão em solução aquosa contendo H2S sobre a tenacidade de tubo API 5L X65 sour avaliada a partir de ensaio Charpy

Com o decorrer dos anos o consumo de petróleo e seus derivados aumentou significativamente e com isso houve a necessidade de se investir em pesquisas para descobertas de novas jazidas de petróleo como o pré-sal. Porém, não apenas a localização dessas jazidas deve ser estudada, mas, também, sua forma de exploração. Essa exploração e extração, na maioria das vezes, se dão em ambientes altamente corrosivos e o transporte do produto extraído é realizado através de tubulações de aço de alta resistência e baixa liga (ARBL). Aços ARBL expostos a ambientes contendo H2S e CO2 (sour gas) sofrem corrosão generalizada que promovem a entrada de hidrogênio atômico no metal, podendo diminuir sua tenacidade e causar falha induzida pela presença de hidrogênio (Hydrogen Induced Cracking HIC), gerando falhas graves no material. Tais falhas podem ser desastrosas para o meio ambiente e para a sociedade. O objetivo deste trabalho é estudar a tenacidade, utilizando ensaio Charpy, de um tubo API 5L X65 sour após diferentes tempos de imersão em uma solução saturada com H2S. O eletrólito empregado foi a solução A (ácido acético contendo cloreto de sódio) da norma NACE TM0284 (2011), fazendo-se desaeração com injeção de N2, seguida de injeções de H2S. Os materiais foram submetidos a: ensaios de resistência a HIC segundo a norma NACE TM0284 (2011) e exames em microscópio óptico e eletrônico de varredura para caracterização microestrutural, de inclusões e trincas. As amostras foram submetidas a imersão em solução A durante 96h e 360h, sendo que, após doze dias do término da imersão, foram realizados os ensaios Charpy e exames fractográficos. Foram aplicados dois métodos: o de energia absorvida e o da expansão lateral, conforme recomendações da norma ASTM E23 (2012). As curvas obtidas, em função da temperatura de impacto, foram ajustadas pelo método da tangente hiperbólica. Esses procedimentos foram realizados nas duas seções do tubo (transversal e longitudinal) e permitiram a obtenção dos seguintes parâmetros: energias absorvidas e expansão lateral nos patamares superior e inferior e temperaturas de transição dúctil-frágil (TTDF) em suas diferentes definições, ou seja, TTDFEA, TTDFEA-DN, TTDFEA-FN, TTDFEL, TTDFEL-DN e TTDFEL-FN (identificação no item Lista de Abreviaturas e Siglas). No exame fractográfico observou-se que o material comportou-se conforme o previsto, ou seja, em temperaturas mais altas ocorreu fratura dúctil, em temperaturas próximas a TTDF obteve-se fratura mista e nas temperaturas mais baixas observou-se o aparecimento de fratura frágil. Os resultados mostraram que quanto maior o tempo de imersão na solução A, menor é a energia absorvida e a expansão lateral no patamar superior, o que pode ser explicado pelo (esperado) aumento do teor de hidrogênio em solução sólida com o tempo de imersão. Por sua vez, os resultados mostraram que há tendência à diminuição da temperatura de transição dúctil-frágil com o aumento do tempo de imersão, particularmente, as TTDFEA-DN e TTDFEL-DN das duas seções do tubo (longitudinal e transversal). Esse comportamento controverso, que pode ser denominado de tenacificação com o decorrer do tempo de imersão na solução A, foi explicado pelo aparecimento de trincas secundárias durante o impacto (Charpy). Isso indica uma limitação do ensaio Charpy para a avaliação precisa de materiais hidrogenados.

Vídeo-Mapa: uma interface de geovisualização multimídia aplicada a transportes e meio ambiente.

A presente tese propõe uma metodologia de vídeo-mapeamento móvel georreferenciado a partir do desenvolvimento de protótipos que utilizam uma Interface de Geovisualização Multimídia para sincronizar o registro (em vídeo) de um local ou evento de interesse com a rota percorrida pelo veículo de inspeção (sobre mapa ou imagem), através da coleta de dados por sensores móveis: câmera digital, microfone, receptor GNSS e bússola digital. A interface permite a integração desses sensores com os atuais serviços de mapas digitais disponíveis na web. Sistemas como esse melhoram significativamente as análises temporais, a gestão e a tomada de decisão. A interface proposta e desenvolvida no presente trabalho é útil para muitas aplicações como ferramenta de monitoramento e inventário. Esta interface pode ser entendida como o componente visual de um sistema de mapeamento móvel ou como um sistema cartográfico alternativo ou complementar, para aplicações em que a precisão geométrica do receptor GNSS, na modalidade de navegação, é suficiente e sua acessibilidade, um fator competitivo. As aplicações desenvolvidas no presente trabalho foram duas: um sistema de monitoramento e inventário de placas de sinalização viária e um sistema de monitoramento de cheias/secas e inventário de propriedades na borda de reservatórios de hidroelétricas, ambos em pleno funcionamento.

Dependência de exercício físico em academias de ginástica e sua interface com suplementação e imagem corporal

O Brasil é o segundo país no mundo em número de academias de ginástica, contando atualmente com cerca de 30 mil unidades. Apesar da transição no modelo de gestão e filosofia das academias do fitness para o wellness, muitas ainda propagam em seus ambientes o culto ao corpo magro e atlético, dietas sem fundamentação nutricional e consumo descontrolado de suplementos. Crescem as evidências de que uma parcela significativa dos frequentadores de academias desenvolve um comprometimento exacerbado à prática de exercícios físicos, gerando até uma dependência patológica. O objetivo foi determinar a associação entre dependência de exercício físico (DEF), consumo de suplementos e insatisfação da imagem corporal em frequentadores de academias. Para tanto foi empregada a Escala de Comprometimento com Exercício Físico (CEF) em uma amostra de 227 frequentadores, maiores de 19 anos, de ambos os sexo em três academias. Foi realizada entrevista individual com emprego de anamnese nutricional para determinar o perfil de consumo suplementar, avaliação antropométrica, da imagem corporal, do compromisso ao exercício físico assim como de participação na academia. A frequência de DEF nas academias foi de 66% e sendo que as chances estimadas deste ser consumidor de suplementos de 4,53. Os indivíduos dependentes de exercício físico são jovens, com maior chance de pertencer ao sexo masculino, frequentar a academia > 5 vezes por semana, consumir mais de um tipo de suplemento e praticar musculação. A frequência de insatisfação com a imagem corporal foi alta tanto entre homens (50,9%) como mulheres (78,4%).

Resistência à fadiga de tubo API 5L X65 cladeado e soldado circunferencialmente com eletrodos de Inconel® 625

As recentes descobertas de petróleo e gás na camada do Pré-sal representam um enorme potencial exploratório no Brasil, entretanto, os desafios tecnológicos para a exploração desses recursos minerais são imensos e, consequentemente, têm motivado o desenvolvimento de estudos voltados a métodos e materiais eficientes para suas produções. Os tubos condutores de petróleo e gás são denominados de elevadores catenários ou do inglês \"risers\", e são elementos que necessariamente são soldados e possuem fundamental importância nessa cadeia produtiva, pois transportam petróleo e gás natural do fundo do mar à plataforma, estando sujeitos a carregamentos dinâmicos (fadiga) durante sua operação. Adicionalmente, um dos problemas centrais à produção de óleo e gás das reservas do Pré-Sal está diretamente associado a meios altamente corrosivos, tais como H2S e CO2. Uma forma mais barata de proteção dos tubos é a aplicação de uma camada de um material metálico resistente à corrosão na parte interna desses tubos (clad). Assim, a união entre esses tubos para formação dos \"risers\" deve ser realizada pelo emprego de soldas circunferenciais de ligas igualmente resistentes à corrosão. Nesse contexto, como os elementos soldados são considerados possuir defeitos do tipo trinca, para a garantia de sua integridade estrutural quando submetidos a carregamentos cíclicos, é necessário o conhecimento das taxas de propagação de trinca por fadiga da solda circunferencial. Assim, neste trabalho, foram realizados ensaios de propagação de trinca por fadiga na região da solda circunferencial de Inconel® 625 realizada em tubo de aço API 5L X65 cladeado, utilizando corpos de prova do tipo SEN(B) (Single Edge Notch Bending) com relações entre espessura e largura (B/W) iguais a 0,5, 1 e 2. O propósito central deste trabalho foi de obter a curva da taxa de propagação de trinca por fadiga (da/dN) versus a variação do fator de intensidade de tensão (ΔK) para o metal de solda por meio de ensaios normatizados, utilizando diferentes técnicas de acompanhamento e medição da trinca. A monitoração de crescimento da trinca foi feita por três técnicas: variação da flexibilidade elástica (VFE), queda de potencial elétrico (QPE) e análise de imagem (Ai). Os resultados mostraram que as diferentes relações B/W utilizadas no estudo não alteraram significantemente as taxas de propagação de trinca por fadiga, respeitado que a propagação aconteceu em condições de escoamento em pequena escala na frente da trinca. Os resultados de propagação de trinca por fadiga permitiram a obtenção das regiões I e II da curva da/dN versus ΔK para o metal de solda. O valor de ΔKlim obtido para o mesmo foi em torno de 11,8 MPa.m1/2 e os valores encontrados das constantes experimentais C e m da equação de Paris-Erdogan foram respectivamente iguais a 1,55 x10-10 [(mm/ciclo)/(MPa.m1/2)m] e 4,15. A propagação de trinca no metal de solda deu-se por deformação plástica, com a formação de estrias de fadiga.

X-ray absorption study of the ferromagnetic Cu moment at the YBa_(2)Cu_(3)O_(7)/La_(2/3)Ca_(1/3)MnO_(3) interface and variation of its exchange interaction with the Mn moment

With x-ray absorption spectroscopy and polarized neutron reflectometry we studied how the magnetic proximity effect at the interface between the cuprate high-TC superconductor YBa_(2)Cu_(3)O_(7) (YBCO) and the ferromagnet La_(2/3)Ca_(1/3)MnO_(3) (LCMO) is related to the electronic and magnetic properties of the LCMO layers. In particular, we explored how the magnitude of the ferromagnetic Cu moment on the YBCO side depends on the strength of the antiferromagnetic (AF) exchange coupling with the Mn moment on the LCMO side. We found that the Cu moment remains sizable if the AF coupling with the Mn moments is strongly reduced or even entirely suppressed. The ferromagnetic order of the Cu moments thus seems to be intrinsic to the interfacial CuO_(2) planes and related to a weakly ferromagnetic intraplanar exchange interaction. The latter is discussed in terms of the partial occupation of the Cu 3d_(3z^(2)−r^(2)) orbitals, which occurs in the context of the so-called orbital reconstruction of the interfacial Cu ions.

Horizontal Innovation and Interface Patents

Scholars understandably devote a great deal of effort to studying how well patent law works to incentive the most important inventions. After all, these inventions form the foundation of our new technological age. But very little time is spent focusing on the other end of the spectrum, inventions that are no better than what the public already has. At first blush, studying such “horizontal” innovation seems pointless. But this inquiry actually reveals much about how patents can be used in unintended, and arguably, anticompetitive ways. This issue has roots in one unintuitive aspect of patent law. Despite the law’s goal of promoting innovation, patents can be obtained on inventions that are no better than existing technology. Such patents might appear worthless, but companies regularly obtain these patents to cover interfaces. That is because interface patents actually derive value from two distinct characteristics. First, they can have “innovation value” that is based on how much better the patentedinterface is than existing technology. Second, interface patents can also have “compatibility value.” In other words, the patented technology is often essential to make products operate (i.e. compatible) with a particular interface. In practical terms, this means that an interface patent that covers little or no meaningful advance can give a company the ability to extract rents and foreclose competition. This undesirable result is a consequence of how patent law has structured its remedies. For years patent law has implicitly awarded both innovation and compatibility values. Recently, the courts have taken a sensible first step and excluded compatibility value from reasonable royalty recoveries for standard essential patents. This Article argues that the law needs to go further and do the same for all essential interface patents. Additionally, patent law should reform the way it awards injunctions and lost profits to also exclude compatibility value. This proposal has two benefits. It would eliminate the incentives for wasteful patents on horizontal technology. Second, and more importantly, the value of all interfacepatents would be better aligned with the goals of the patent system.

OrientatUA: Mobile Application to guide visual disabled people at the University of Alicante

This paper shows an iOS application to guide visual disabled people in the campus of the University of Alicante by voice indications. The user interface is adapted to visual disabled people, using a bigger visual typography and a bigger area for the tactile buttons. Moreover, the application provides voice indications when users touch any of the elements in the interface, telling them where they are and how they can reach destination.

Integration of modular process simulators under the Generalized Disjunctive Programming framework for the structural flowsheet optimization

The optimization of chemical processes where the flowsheet topology is not kept fixed is a challenging discrete-continuous optimization problem. Usually, this task has been performed through equation based models. This approach presents several problems, as tedious and complicated component properties estimation or the handling of huge problems (with thousands of equations and variables). We propose a GDP approach as an alternative to the MINLP models coupled with a flowsheet program. The novelty of this approach relies on using a commercial modular process simulator where the superstructure is drawn directly on the graphical use interface of the simulator. This methodology takes advantage of modular process simulators (specially tailored numerical methods, reliability, and robustness) and the flexibility of the GDP formulation for the modeling and solution. The optimization tool proposed is successfully applied to the synthesis of a methanol plant where different alternatives are available for the streams, equipment and process conditions.