The Experts below are selected from a list of 210 Experts worldwide ranked by ideXlab platform

Ignacio E. Grossmann - One of the best experts on this subject based on the ideXlab platform.

  • Integration of Logic and heuristic knowledge in MINLP optimization for process synthesis
    Computers & Chemical Engineering, 1992
    Co-Authors: R. Raman, Ignacio E. Grossmann
    Abstract:

    Abstract This paper proposes a quantitative framework for the integration of Logic and heuristic knowledge that is expressible in Prepositional Logic form in MINLP optimization models for process synthesis. The objective is to use this type of qualitative knowledge to expedite the search, but without compromising optimality of the solution. The basic idea relies on converting Logic relations among units in a superstructure and heuristic design rules into a set of linear inequalities. Having obtained such a model, strategies are proposed for its integration within mixed-integer nonlinear programming (MINLP) techniques at the levels of model formulation, and algorithmic search for the Generalized Benders Decomposition and Outer Approximation methods. Basic properties of the formulation are given, as well as a systematic method for adjusting weights for violation of heuristics. The application of the proposed method is illustrated with several process synthesis problems to show that improved computational efficiency and robustness can be achieved.

  • RELATION BETWEEN MILP MODELLING AND LogicAL INFERENCE FOR CHEMICAL PROCESS SYNTHESIS
    Computers & Chemical Engineering, 1991
    Co-Authors: R. Raman, Ignacio E. Grossmann
    Abstract:

    The objective of this paper is to show that qualitative knowledge in process synthesis that can be expressed in Prepositional Logic form has an equivalent representation as linear equations and inequalities. Recent contributions in operations research are reviewed for this purpose including inference problems that can be formulated as MILP problems that can be solved mostly as relaxed LPs. It will also be shown how some of these ideas can be applied to chemical process synthesis. Also, comparisons with production systems are presented, as well as the application of the propositional Logic-based approach to the systematic modelling of integer constraints that commonly arise in synthesis problems. Several examples are presented to illustrate the ideas.

R. Raman - One of the best experts on this subject based on the ideXlab platform.

  • Integration of Logic and heuristic knowledge in MINLP optimization for process synthesis
    Computers & Chemical Engineering, 1992
    Co-Authors: R. Raman, Ignacio E. Grossmann
    Abstract:

    Abstract This paper proposes a quantitative framework for the integration of Logic and heuristic knowledge that is expressible in Prepositional Logic form in MINLP optimization models for process synthesis. The objective is to use this type of qualitative knowledge to expedite the search, but without compromising optimality of the solution. The basic idea relies on converting Logic relations among units in a superstructure and heuristic design rules into a set of linear inequalities. Having obtained such a model, strategies are proposed for its integration within mixed-integer nonlinear programming (MINLP) techniques at the levels of model formulation, and algorithmic search for the Generalized Benders Decomposition and Outer Approximation methods. Basic properties of the formulation are given, as well as a systematic method for adjusting weights for violation of heuristics. The application of the proposed method is illustrated with several process synthesis problems to show that improved computational efficiency and robustness can be achieved.

  • RELATION BETWEEN MILP MODELLING AND LogicAL INFERENCE FOR CHEMICAL PROCESS SYNTHESIS
    Computers & Chemical Engineering, 1991
    Co-Authors: R. Raman, Ignacio E. Grossmann
    Abstract:

    The objective of this paper is to show that qualitative knowledge in process synthesis that can be expressed in Prepositional Logic form has an equivalent representation as linear equations and inequalities. Recent contributions in operations research are reviewed for this purpose including inference problems that can be formulated as MILP problems that can be solved mostly as relaxed LPs. It will also be shown how some of these ideas can be applied to chemical process synthesis. Also, comparisons with production systems are presented, as well as the application of the propositional Logic-based approach to the systematic modelling of integer constraints that commonly arise in synthesis problems. Several examples are presented to illustrate the ideas.

Ayman M. Abdalla - One of the best experts on this subject based on the ideXlab platform.

  • © 2008 Science Publications The Relationship between Exclusive-Or and the Unique Existential Quantifier
    2010
    Co-Authors: Maher A. Nabulsi, Ayman M. Abdalla
    Abstract:

    Abstract: Problem Statement: The efficiency of computer architecture design is affected by the components used. Establishing a relationship between exclusive-or (XOR) and the unique existential quantifier provides alternative system implementations. Approach: Applications of XOR and the unique existential quantifier were explained. Then, Prepositional Logic was used to establish the relationship between them. Results: Different quantified assertions with two variables that use the unique existential quantifier were represented without quantifiers by using XOR. Conclusions: The unique existential quantifier and XOR were helpful in some computer architecture systems such as multiplexers, decoders and bus systems. The unique existential quantifier and XOR may be used interchangeably in some situations, but not always. Key words: Exclusive-or, multiplexer, decoder, unique existential quantifier, universal quantifie

  • The Relationship between Exclusive-Or and the Unique Existential Quantifier
    Journal of Computer Science, 2008
    Co-Authors: Maher A. Nabulsi, Ayman M. Abdalla
    Abstract:

    Problem Statement: The efficiency of computer architecture design is affected by the components used. Establishing a relationship between exclusive-or (XOR) and the unique existential quantifier provides alternative system implementations. Approach: Applications of XOR and the unique existential quantifier were explained. Then, Prepositional Logic was used to establish the relationship between them. Results: Different quantified assertions with two variables that use the unique existential quantifier were represented without quantifiers by using XOR. Conclusions: The unique existential quantifier and XOR were helpful in some computer architecture systems such as multiplexers, decoders and bus systems. The unique existential quantifier and XOR may be used interchangeably in some situations, but not always.

Maher A. Nabulsi - One of the best experts on this subject based on the ideXlab platform.

  • © 2008 Science Publications The Relationship between Exclusive-Or and the Unique Existential Quantifier
    2010
    Co-Authors: Maher A. Nabulsi, Ayman M. Abdalla
    Abstract:

    Abstract: Problem Statement: The efficiency of computer architecture design is affected by the components used. Establishing a relationship between exclusive-or (XOR) and the unique existential quantifier provides alternative system implementations. Approach: Applications of XOR and the unique existential quantifier were explained. Then, Prepositional Logic was used to establish the relationship between them. Results: Different quantified assertions with two variables that use the unique existential quantifier were represented without quantifiers by using XOR. Conclusions: The unique existential quantifier and XOR were helpful in some computer architecture systems such as multiplexers, decoders and bus systems. The unique existential quantifier and XOR may be used interchangeably in some situations, but not always. Key words: Exclusive-or, multiplexer, decoder, unique existential quantifier, universal quantifie

  • The Relationship between Exclusive-Or and the Unique Existential Quantifier
    Journal of Computer Science, 2008
    Co-Authors: Maher A. Nabulsi, Ayman M. Abdalla
    Abstract:

    Problem Statement: The efficiency of computer architecture design is affected by the components used. Establishing a relationship between exclusive-or (XOR) and the unique existential quantifier provides alternative system implementations. Approach: Applications of XOR and the unique existential quantifier were explained. Then, Prepositional Logic was used to establish the relationship between them. Results: Different quantified assertions with two variables that use the unique existential quantifier were represented without quantifiers by using XOR. Conclusions: The unique existential quantifier and XOR were helpful in some computer architecture systems such as multiplexers, decoders and bus systems. The unique existential quantifier and XOR may be used interchangeably in some situations, but not always.

Surajit Chattopadhyay - One of the best experts on this subject based on the ideXlab platform.