920 resultados para software engineering processes
Resumo:
In this work, we analyze the effect of incorporating life cycle inventory (LCI) uncertainty on the multi-objective optimization of chemical supply chains (SC) considering simultaneously their economic and environmental performance. To this end, we present a stochastic multi-scenario mixed-integer linear programming (MILP) coupled with a two-step transformation scenario generation algorithm with the unique feature of providing scenarios where the LCI random variables are correlated and each one of them has the desired lognormal marginal distribution. The environmental performance is quantified following life cycle assessment (LCA) principles, which are represented in the model formulation through standard algebraic equations. The capabilities of our approach are illustrated through a case study of a petrochemical supply chain. We show that the stochastic solution improves the economic performance of the SC in comparison with the deterministic one at any level of the environmental impact, and moreover the correlation among environmental burdens provides more realistic scenarios for the decision making process.
Resumo:
Multiobjective Generalized Disjunctive Programming (MO-GDP) optimization has been used for the synthesis of an important industrial process, isobutane alkylation. The two objective functions to be simultaneously optimized are the environmental impact, determined by means of LCA (Life Cycle Assessment), and the economic potential of the process. The main reason for including the minimization of the environmental impact in the optimization process is the widespread environmental concern by the general public. For the resolution of the problem we employed a hybrid simulation- optimization methodology, i.e., the superstructure of the process was developed directly in a chemical process simulator connected to a state of the art optimizer. The model was formulated as a GDP and solved using a logic algorithm that avoids the reformulation as MINLP -Mixed Integer Non Linear Programming-. Our research gave us Pareto curves compounded by three different configurations where the LCA has been assessed by two different parameters: global warming potential and ecoindicator-99.
Resumo:
We present an extension of the logic outer-approximation algorithm for dealing with disjunctive discrete-continuous optimal control problems whose dynamic behavior is modeled in terms of differential-algebraic equations. Although the proposed algorithm can be applied to a wide variety of discrete-continuous optimal control problems, we are mainly interested in problems where disjunctions are also present. Disjunctions are included to take into account only certain parts of the underlying model which become relevant under some processing conditions. By doing so the numerical robustness of the optimization algorithm improves since those parts of the model that are not active are discarded leading to a reduced size problem and avoiding potential model singularities. We test the proposed algorithm using three examples of different complex dynamic behavior. In all the case studies the number of iterations and the computational effort required to obtain the optimal solutions is modest and the solutions are relatively easy to find.
Resumo:
Possible drawbacks of microreactors are inefficient reactant mixing and the clogging of microchannels when solid-forming reactions are carried out or solid (catalysts) suspensions are used. Ultrasonic irradiation has been successfully implemented for solving these problems in microreactor configurations ranging from capillaries immersed in ultrasonic baths to devices with miniaturized piezoelectric transducers. Moving forward in process intensification and sustainable development, the acoustic energy implementation requires a strategy to optimize the microreactor from an ultrasound viewpoint during its design. In this work, we present a simple analytical model that can be used as a guide to achieving a proper acoustic design of stacked microreactors. An example of this methodology was demonstrated through finite element analysis and it was compared with an experimental study found in the literature.
Resumo:
In the present work, we provide a systematic analysis about all tine streams involved in the zone connecting two consecutive sections for the design of distillation columns with different thermal feed conditions, product extractions and heat additions or withdrawals. This analysis allows a better understanding of what happens on a feed or side draw (of mass or energy) stage, what compositions are or are not in equilibrium, and the impact on internal liquid and vapor flows.
Resumo:
The economic design of a distillation column or distillation sequences is a challenging problem that has been addressed by superstructure approaches. However, these methods have not been widely used because they lead to mixed-integer nonlinear programs that are hard to solve, and require complex initialization procedures. In this article, we propose to address this challenging problem by substituting the distillation columns by Kriging-based surrogate models generated via state of the art distillation models. We study different columns with increasing difficulty, and show that it is possible to get accurate Kriging-based surrogate models. The optimization strategy ensures that convergence to a local optimum is guaranteed for numerical noise-free models. For distillation columns (slightly noisy systems), Karush–Kuhn–Tucker optimality conditions cannot be tested directly on the actual model, but still we can guarantee a local minimum in a trust region of the surrogate model that contains the actual local minimum.
Resumo:
Uno de los aspectos peor valorados por los estudiantes de las nuevas titulaciones de grado es la coordinación entre asignaturas del mismo curso en cuanto a la distribución de controles y otro tipo de pruebas objetivas a lo largo del cuatrimestre, que afecta a la carga de trabajo no presencial en determinados momentos. En la guía docente de cada asignatura aparece la información sobre las pruebas a realizar dentro de un cronograma aproximado por semanas, y está disponible antes del comienzo del curso. Sin embargo, esa distribución puede variar ligeramente una vez empezado el curso debido a diversos motivos, y no se dispone de la información para todas las asignaturas del cuatrimestre en un mismo documento, lo que facilitaría su visualización. En este trabajo se propone el uso de la herramienta Google Calendar con el objetivo de tener un mayor control de este aspecto y poder detectar y corregir conflictos que puedan surgir, aplicándolo al Grado en Ingeniería Química.
Resumo:
This paper presents a new mathematical programming model for the retrofit of heat exchanger networks (HENs), wherein the pressure recovery of process streams is conducted to enhance heat integration. Particularly applied to cryogenic processes, HENs retrofit with combined heat and work integration is mainly aimed at reducing the use of expensive cold services. The proposed multi-stage superstructure allows the increment of the existing heat transfer area, as well as the use of new equipment for both heat exchange and pressure manipulation. The pressure recovery of streams is carried out simultaneously with the HEN design, such that the process conditions (streams pressure and temperature) are variables of optimization. The mathematical model is formulated using generalized disjunctive programming (GDP) and is optimized via mixed-integer nonlinear programming (MINLP), through the minimization of the retrofit total annualized cost, considering the turbine and compressor coupling with a helper motor. Three case studies are performed to assess the accuracy of the developed approach, including a real industrial example related to liquefied natural gas (LNG) production. The results show that the pressure recovery of streams is efficient for energy savings and, consequently, for decreasing the HEN retrofit total cost especially in sub-ambient processes.
Resumo:
A method for quantitative mineralogical analysis by ATR-FTIR has been developed. The method relies on the use of the main band of calcite as a reference for the normalization of the IR spectrum of a mineral sample. In this way, the molar absorptivity coefficient in the Lambert–Beer law and the components of a mixture in mole percentage can be calculated. The GAMS equation modeling environment and the NLP solver CONOPT (©ARKI Consulting and Development) were used to correlate the experimental data in the samples considered. Mixtures of different minerals and gypsum were used in order to measure the minimum band intensity that must be considered for calculations and the detection limit. Accordingly, bands of intensity lower than 0.01 were discarded. The detection limit for gypsum was about 7% (mol/total mole). Good agreement was obtained when this FTIR method was applied to ceramic tiles previously analyzed by X-ray diffraction (XRD) or mineral mixtures prepared in the lab.
Resumo:
A sequential design method is presented for the design of thermally coupled distillation sequences. The algorithm starts by selecting a set of sequences in the space of basic configurations in which the internal structure of condensers and reboilers is explicitly taken into account and extended with the possibility of including divided wall columns (DWC). This first stage is based on separation tasks (except by the DWCs) and therefore it does not provide an actual sequence of columns. In the second stage the best arrangement in N-1 actual columns is performed taking into account operability and mechanical constraints. Finally, for a set of candidate sequences the algorithm try to reduce the number of total columns by considering Kaibel columns, elimination of transfer blocks or columns with vertical partitions. An example illustrate the different steps of the sequential algorithm.
Resumo:
In this work, we propose a new methodology for the large scale optimization and process integration of complex chemical processes that have been simulated using modular chemical process simulators. Units with significant numerical noise or large CPU times are substituted by surrogate models based on Kriging interpolation. Using a degree of freedom analysis, some of those units can be aggregated into a single unit to reduce the complexity of the resulting model. As a result, we solve a hybrid simulation-optimization model formed by units in the original flowsheet, Kriging models, and explicit equations. We present a case study of the optimization of a sour water stripping plant in which we simultaneously consider economics, heat integration and environmental impact using the ReCiPe indicator, which incorporates the recent advances made in Life Cycle Assessment (LCA). The optimization strategy guarantees the convergence to a local optimum inside the tolerance of the numerical noise.
Resumo:
El Grado en Ingeniería Química de la Universidad de Alicante, como muchas otras titulaciones, se encuentra en proceso de renovación de la acreditación nacional. La preparación para ello ha requerido un gran esfuerzo y coordinación de los profesores de la titulación, y el presente trabajo se ha desarrollado especialmente para afrontar el último tramo previo a la presentación de la documentación. Para ello, se han identificado los puntos fuertes de la titulación y los puntos con posibilidad de mejora en base a los criterios de ANECA, y se han realizado propuestas de mejora de los últimos mediante la coordinación de profesores y alumnos. Entre estas propuestas, se encuentra el uso de la herramienta Google Calendar con el objetivo de tener un mayor control de la carga de trabajo no presencial del alumnado, puesto que este aspecto es uno de los valorados con puntuación más baja en las encuestas realizadas por la Unidad Técnica de Calidad.
Resumo:
Architectural decisions are often encoded in the form of constraints and guidelines. Non-functional requirements can be ensured by checking the conformance of the implementation against this kind of invariant. Conformance checking is often a costly and error-prone process that involves the use of multiple tools, differing in effectiveness, complexity and scope of applicability. To reduce the overall effort entailed by this activity, we propose a novel approach that supports verification of human- readable declarative rules through the use of adapted off-the-shelf tools. Our approach consists of a rule specification DSL, called Dicto, and a tool coordination framework, called Probo. The approach has been implemented in a soon to be evaluated prototype.
Resumo:
Developers commonly ask detailed and domain-specific questions about the software systems they are developing and maintaining. Integrated development environments (IDEs) form an essential category of tools for developing software that should support software engineering decision making. Unfortunately, rigid and generic IDEs that focus on low-level programming tasks, that promote code rather than data, and that suppress customization, offer limited support for informed decision making during software development. We propose to improve decision making within IDEs by moving from generic to context-aware IDEs through moldable tools. In this paper, we promote the idea of moldable tools, illustrate it with concrete examples, and discuss future research directions.
Resumo:
Thesis (Ph.D.)--University of Washington, 2016-04