Logic algorithm optimization

Real-Time Diagnosis of Chemical Processes A Model Base Algorithm Optimal Logic for Multi-Channel Protective Systems During On-Line Maintenance... 

This amounts to splitting the non-minimal case into two non-mandatory cases, called the non-recursive non-minimal case and the recursive non-minimal case, respectively. For convenience, we drop the qualifier non-minimal from these two names. Recursion may be useless in the sense that the recursively computed TY are not needed for the computation of Y. Useless recursion wouldn t affect the correctness of a logic algorithm, though. Its elimination is thus rather a matter of algorithm optimization. The following objectives of the strategy ... 

Turkay, M. and I. E. Grossmann. Logic-Based MINLP Algorithms for the Optimal Synthesis of Process Networks. Comput Chem Eng 20 (8) 959-978 (1996). 

Remark 1 The mathematical model is an MINLP problem since it has both continuous and binary variables and nonlinear objective function and constraints. The binary variables participate linearly in the objective and logical constraints. Constraints (i), (iv), (vii), and (viii) are linear while the remaining constraints are nonlinear. The nonlinearities in (ii), (iii), and (vi) are of the bilinear type and so are the nonlinearities in (v) due to having first-order reactions. The objective function also features bilinear and trilinear terms. As a result of these nonlinearities, the model is nonconvex and hence its solution will be regarded as a local optimum unless a global optimization algorithm is utilized. 

C. A. Floudas and I. E. Grossmann. Algorithmic approaches to process synthesis logic and global optimization. In Proceedings of Foundations of Computer-Aided Design, FOCAPD 94, Snowmass, Colorado, 1994. 

We have demonstrated a successful six-level build after optimizing the unit TEOS, W, and Cu/barrier CMP processes. Within specification electrical parameters and repeatability of the process results were shown to be adequate for the dual inlaid logic and SRAM structures. Tool parameters, consumable changes, and endpoint algorithms were identified as key in the TEOS, W, and Cu/barrier CMP processes studied. 

Floudas, C. A., and Grossmann, I. E. Algorithmic Approaches to Process Synthesis Logic and Global Optimization, in Foundations of Computer-Aided Process Design (M. F. Doherty and L. T. Biegler eds ). Snowmass, CO, 1994. 

Turkay, M., and Grossmann, I.E. A Logic Based Outer-Approximation Algorithm for MINLP Optimization of Process Flowsheets, AIChE Annual Meeting, San Francisco (1994). 

---