U.S.-Argentina Cooperative Research: Logic Based Optimization Techniques for Discrete/Continuous Problems in Process Systems Engineering

9724823 Grossman美洲项目奖将支持一个关于涉及离散变量和连续变量的非线性优化问题的建模和解决的合作研究项目。合作者是卡内基梅隆大学的Ignacio Grossman博士和阿根廷国立滨海大学的Jaime Cerda博士。该项目的主要目标是研究一种新的建模和解决方法，该方法基于通过使用涉及布尔变量和连续变量的逻辑命题和析取来表示这些优化问题的思想。具体目标包括这些问题的理论表征、多项析取算法的开发、LOGMIP软件包的实现、数值测试以及与代数混合整数的比较。该项目将为非线性离散优化提供新的强大工具，并推动过程系统工程非线性建模和优化方法的发展。这将有利于美国和阿根廷的工艺加工工业。＊＊＊

9724823 Grossman This Americas Program award will support a cooperative research project on the modeling and solution of nonlinear optimization problems that involve discrete and continuous variables. Collaborators are Dr. Ignacio Grossman, Carnegie Mellon University, and Dr. Jaime Cerda, Universidad Nacional de Litoral, Argentina. The major goal of the project is to investigate a new modeling and solution approach that is based on the idea of representing these optimization problems through the use of logic propositions and disjunctions involving Boolean and continuous variables. The specific objectives include theoretical characterization of these problems, development of algorithms for disjunctions with multiple terms, implementation in the software package LOGMIP, and numerical testing as well as comparison with algebraic mixed-integer. The project should yield new and powerful tools for non- linear discrete optimization, and advance the state of the art in non-linear modeling and optimization methodologies for Process Systems Engineering. It will benefit the technical process industry of both the US and Argentina. ***