This document describes a tool called GPCAD that optimizes and automates component and transistor sizing for CMOS operational amplifiers. The tool formulates amplifier design problems as geometric programs, a type of convex optimization problem that can be solved very efficiently to determine a globally optimal design. The document discusses how GPCAD applies the geometric programming method to six common op-amp architectures and provides example designs. It also reviews previous approaches to op-amp synthesis and describes the transistor modeling and performance specifications that can be formulated within the geometric programming framework.
Presented in this short document is a description of modeling and solving partial differential equations (PDE’s) in both the temporal and spatial dimensions using IMPL. The sample PDE problem is taken from Cutlip and Shacham (1999 and 2014) and models the process of unsteady-state heat transfer or conduction in a one dimensional (1D) slab with one face insulated and constant thermal conductivity as discussed by Geankoplis (1993).
Optimization of Corridor Observation Method to Solve Environmental and Econom...ijceronline
This paper presents an optimization of corridor observation method (COM) which is an applicable optimization algorithm based on the evolutionary algorithm to solve an environmental and economic Dispatch (EED) problem. This problem is seen like a bi-objective optimization problem where fuel cost and gas emission are objectives. In this method, the optimal Pareto front is found using the concept of corridor observation and the best compromised solution is obtained by fuzzy logic. The optimization of this method consists to find best parameters (number of corridor, number of initial population and number of generation) which improve solution and reduce a computational time. The simulated results using power system with different numbers of generation units showed that the new parameters ameliorate the solution keep her stability and reduce considerably the CPU time (time is minimum divide by 4) comparatively at parameterization with originals parameters.
This presentation introduces CP Optimizer a model & run optimization engine for solving discrete combinatorial problems with a particular focus on scheduling problems.
Bi-objective Optimization Apply to Environment a land Economic Dispatch Probl...ijceronline
International Journal of Computational Engineering Research (IJCER) is dedicated to protecting personal information and will make every reasonable effort to handle collected information appropriately. All information collected, as well as related requests, will be handled as carefully and efficiently as possible in accordance with IJCER standards for integrity and objectivity.
Smooth-and-Dive Accelerator: A Pre-MILP Primal Heuristic applied to SchedulingAlkis Vazacopoulos
This article describes an effective and simple primal heuristic to greedily encourage a reduction in the number of binary or 0-1 logic variables before an implicit enumerative-type search heuristic is deployed to find integer-feasible solutions to “hard” production scheduling problems. The basis of the technique is to employ well-known smoothing functions used to solve complementarity problems to the local optimization problem of minimizing the weighted sum over all binary variables the product of themselves multiplied by their complement. The basic algorithm of the “smooth-and-dive accelerator” (SDA) is to solve successive linear programming (LP) relaxations with the smoothing functions added to the existing problem’s objective function and to use, if required, a sequence of binary variable fixings known as “diving”. If the smoothing function term is not driven to zero as part of the recursion then a branch-and-bound or branch-and-cut search heuristic is called to close the procedure finding at least integer-feasible primal infeasible solutions. The heuristic’s effectiveness is illustrated by its application to an oil-refinery’s crude-oil blendshop scheduling problem, which has commonality to many other production scheduling problems in the continuous and semi-continuous (CSC) process domains.
A NEW ALGORITHM FOR SOLVING FULLY FUZZY BI-LEVEL QUADRATIC PROGRAMMING PROBLEMSorajjournal
This paper is concerned with new method to find the fuzzy optimal solution of fully fuzzy bi-level non-linear (quadratic) programming (FFBLQP) problems where all the coefficients and decision variables of both objective functions and the constraints are triangular fuzzy numbers (TFNs). A new method is based on decomposed the given problem into bi-level problem with three crisp quadratic objective functions and bounded variables constraints. In order to often a fuzzy optimal solution of the FFBLQP problems, the concept of tolerance membership function is used to develop a fuzzy max-min decision model for generating satisfactory fuzzy solution for FFBLQP problems in which the upper-level decision maker (ULDM) specifies his/her objective functions and decisions with possible tolerances which are described by membership functions of fuzzy set theory. Then, the lower-level decision maker (LLDM) uses this preference information for ULDM and solves his/her problem subject to the ULDMs restrictions. Finally, the decomposed method is illustrated by numerical example.
Presented in this short document is a description of modeling and solving partial differential equations (PDE’s) in both the temporal and spatial dimensions using IMPL. The sample PDE problem is taken from Cutlip and Shacham (1999 and 2014) and models the process of unsteady-state heat transfer or conduction in a one dimensional (1D) slab with one face insulated and constant thermal conductivity as discussed by Geankoplis (1993).
Optimization of Corridor Observation Method to Solve Environmental and Econom...ijceronline
This paper presents an optimization of corridor observation method (COM) which is an applicable optimization algorithm based on the evolutionary algorithm to solve an environmental and economic Dispatch (EED) problem. This problem is seen like a bi-objective optimization problem where fuel cost and gas emission are objectives. In this method, the optimal Pareto front is found using the concept of corridor observation and the best compromised solution is obtained by fuzzy logic. The optimization of this method consists to find best parameters (number of corridor, number of initial population and number of generation) which improve solution and reduce a computational time. The simulated results using power system with different numbers of generation units showed that the new parameters ameliorate the solution keep her stability and reduce considerably the CPU time (time is minimum divide by 4) comparatively at parameterization with originals parameters.
This presentation introduces CP Optimizer a model & run optimization engine for solving discrete combinatorial problems with a particular focus on scheduling problems.
Bi-objective Optimization Apply to Environment a land Economic Dispatch Probl...ijceronline
International Journal of Computational Engineering Research (IJCER) is dedicated to protecting personal information and will make every reasonable effort to handle collected information appropriately. All information collected, as well as related requests, will be handled as carefully and efficiently as possible in accordance with IJCER standards for integrity and objectivity.
Smooth-and-Dive Accelerator: A Pre-MILP Primal Heuristic applied to SchedulingAlkis Vazacopoulos
This article describes an effective and simple primal heuristic to greedily encourage a reduction in the number of binary or 0-1 logic variables before an implicit enumerative-type search heuristic is deployed to find integer-feasible solutions to “hard” production scheduling problems. The basis of the technique is to employ well-known smoothing functions used to solve complementarity problems to the local optimization problem of minimizing the weighted sum over all binary variables the product of themselves multiplied by their complement. The basic algorithm of the “smooth-and-dive accelerator” (SDA) is to solve successive linear programming (LP) relaxations with the smoothing functions added to the existing problem’s objective function and to use, if required, a sequence of binary variable fixings known as “diving”. If the smoothing function term is not driven to zero as part of the recursion then a branch-and-bound or branch-and-cut search heuristic is called to close the procedure finding at least integer-feasible primal infeasible solutions. The heuristic’s effectiveness is illustrated by its application to an oil-refinery’s crude-oil blendshop scheduling problem, which has commonality to many other production scheduling problems in the continuous and semi-continuous (CSC) process domains.
A NEW ALGORITHM FOR SOLVING FULLY FUZZY BI-LEVEL QUADRATIC PROGRAMMING PROBLEMSorajjournal
This paper is concerned with new method to find the fuzzy optimal solution of fully fuzzy bi-level non-linear (quadratic) programming (FFBLQP) problems where all the coefficients and decision variables of both objective functions and the constraints are triangular fuzzy numbers (TFNs). A new method is based on decomposed the given problem into bi-level problem with three crisp quadratic objective functions and bounded variables constraints. In order to often a fuzzy optimal solution of the FFBLQP problems, the concept of tolerance membership function is used to develop a fuzzy max-min decision model for generating satisfactory fuzzy solution for FFBLQP problems in which the upper-level decision maker (ULDM) specifies his/her objective functions and decisions with possible tolerances which are described by membership functions of fuzzy set theory. Then, the lower-level decision maker (LLDM) uses this preference information for ULDM and solves his/her problem subject to the ULDMs restrictions. Finally, the decomposed method is illustrated by numerical example.
Improved algorithm for road region segmentation based on sequential monte car...csandit
In recent years, many researchers and car makers put a lot of intensive effort into development
of autonomous driving systems. Since visual information is the main modality used by human
driver, a camera mounted on moving platform is very important kind of sensor, and various
computer vision algorithms to handle vehicle surrounding situation are under intensive
research. Our final goal is to develop a vision based lane detection system with ability to
handle various types of road shapes, working on both structured and unstructured roads, ideally
under presence of shadows. This paper presents a modified road region segmentation algorithm
based on sequential Monte-Carlo estimation. Detailed description of the algorithm is given,
and evaluation results show that the proposed algorithm outperforms the segmentation
algorithm developed as a part of our previous work, as well as an conventional algorithm based
on colour histogram.
Modeling and Solving Resource-Constrained Project Scheduling Problems with IB...Philippe Laborie
Since version 2.0, IBM ILOG CP Optimizer provides a new scheduling language supported by a robust and efficient automatic search. We show how the main features of resource-constrained project scheduling such as work-breakdown structures, optional tasks, different types of resources, multiple modes and skills, resource calendars and objective functions such as earliness/tardiness, unperformed tasks or resource costs can be modeled in CP Optimizer. The robustness of the automatic search will be illustrated on some classical resource-constrained project scheduling benchmarks.
This slide deck was presented at EURO 2009 conference (http://www.euro-2009.de/).
Philippe Laborie
This paper presents the concept of objective landscape in the context of Constraint Programming. An objective landscape is a light-weight structure providing some information on the relation between decision variables and objective values, that can be quickly computed once and for all at the beginning of the resolution and is used to guide the search. It is particularly useful on decision variables with large domains and with a continuous semantics, which is typically the case for time or resource quantity variables in scheduling problems. This concept was recently implemented in the automatic search of CP Optimizer and resulted in an average speed-up of about 50% on scheduling problems with up to almost 2 orders of magnitude for some applications.
Hybrid Multi-Gradient Explorer Algorithm for Global Multi-Objective OptimizationeArtius, Inc.
Hybrid Multi-Gradient Explorer (HMGE) algorithm for global multi-objective
optimization of objective functions considered in a multi-dimensional domain is presented. The proposed hybrid algorithm relies on genetic variation operators for creating new solutions, but in addition to a standard random mutation operator, HMGE
uses a gradient mutation operator, which improves convergence. Thus, random mutation helps find global Pareto frontier, and gradient mutation improves convergence to the
Pareto frontier. In such a way HMGE algorithm combines advantages of both
gradient-based and GA-based optimization techniques: it is as fast as a pure gradient-based MGE algorithm, and is able to find the global Pareto frontier similar to genetic algorithms
(GA). HMGE employs Dynamically Dimensioned Response Surface Method (DDRSM) for calculating gradients. DDRSM dynamically recognizes the most significant design variables, and builds local approximations based only on the variables. This allows one to
estimate gradients by the price of 4-5 model evaluations without significant loss of accuracy. As a result, HMGE efficiently optimizes highly non-linear models with dozens and hundreds of design variables, and with multiple Pareto fronts. HMGE efficiency is 2-10
times higher when compared to the most advanced commercial GAs.
Optimum designing of a transformer considering lay out constraints by penalty...INFOGAIN PUBLICATION
Optimum designing of power electrical equipment and devices play a leading role in attaining optimal performance and price of equipments in electric power industry. Optimum transformer design considering multiple constraints is acquired using optimal determination of geometric parameters of transformer with respect to its magnetic and electric properties. As it is well known, every optimization problem requires an objective function to be minimized. In this paper optimum transformer design problem comprises minimization of transformers mean core mass and its windings by satisfying multiple constraints according to transformers ratings and international standards using a penalty-based method. Hybrid big bang-big crunch algorithm is applied to solve the optimization problem and results are compared to other methods. Proposed method has provided a reliable optimization solution and has guaranteed access to a global optimum. Simulation result indicates that using the proposed algorithm, transformer parameters such as core mass, efficiency and dimensions are remarkably improved. Moreover simulation time using this algorithm is quit less in comparison to other approaches.
A lossless color image compression using an improved reversible color transfo...eSAT Journals
Abstract In case of the conventional lossless color image compression methods, the pixels are interleaved from each color component, and they are predicted and finally encoded. In this paper, we propose a lossless color image compression method using hierarchical prediction of chrominance channel pixels and encoded with modified Huffman coding. An input image is chosen and the R, G and B color channel is transform into YCuCv color space using an improved reversible color transform. After that a conventional lossless image coder like CALIC is used to compress the luminance channel Y. The chrominance channel Cu and Cv are encoded with hierarchical decomposition and directional prediction. The effective context modeling for prediction residual is adopted finally. It is seen from the experimental result the proposed method improves the compression performance than the existing method. Keywords: Lossless color image compression, hierarchical prediction, reversible color transform, modified Huffman coding.
Slides of pattern recognition Course of Professor Zohreh Azimifar at Shiraz University.
اسلاید های درس شناسایی آماری الگو استاد زهره عظیمی فر در دانشگاه شیراز.
IBM ILOG CP Optimizer for Detailed Scheduling Illustrated on Three ProblemsPhilippe Laborie
Since version 2.0, IBM ILOG CP Optimizer provides a new
scheduling language supported by a robust and efficient automatic search. This presentation illustrates both the expressivity of the modelling language and the robustness of the automatic search on three problems recently studied in the scheduling literature. We show that all three problems
can easily be modelled with CP Optimizer in only a few dozen lines (the complete models are provided) and that on average the automatic search outperforms existing problem specific approaches.
This slide deck was presented at CP-AI-OR 2009 conference. Complete reference:
Philippe Laborie. "IBM ILOG CP Optimizer for Detailed Scheduling Illustrated on Three Problems". Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CP-AI-OR 2009). Lecture Notes in Computer Science. Volume 5547, 2009, pp 148-162.
Presented in this short document is a description of what is called Advanced Process Monitoring (APM) as described by Hedengren (2013). APM is the term given to the technique of estimating unmeasured but observable variables or "states" using statistical data reconciliation and regression (DRR) in an off-line or real-time environment and is also referred to as Moving Horizon Estimation (MHE) (Robertson et. al., 1996). Essentially, the model and data define a simultaneous nonlinear and dynamic DRR problem where the model is either engineering-based (first-principles, fundamental, mechanistic, causal, rigorous) or empirical-based (correlation, statistical data-based, observational, regressed) or some combination of both (hybrid).
Contradictory of the Laplacian Smoothing Transform and Linear Discriminant An...TELKOMNIKA JOURNAL
Laplacian smoothing transform uses the negative diagonal element to generate the new space. The negative diagonal elements will deliver the negative new spaces. The negative new spaces will cause decreasing of the dominant characteristics. Laplacian smoothing transform usually singular matrix, such that the matrix cannot be solved to obtain the ordered-eigenvalues and corresponding eigenvectors. In this research, we propose a modeling to generate the positive diagonal elements to obtain the positive new spaces. The secondly, we propose approach to overcome singularity matrix to found eigenvalues and eigenvectors. Firstly, the method is started to calculate contradictory of the laplacian smoothing matrix. Secondly, we calculate the new space modeling on the contradictory of the laplacian smoothing. Moreover, we calculate eigenvectors of the discriminant analysis. Fourth, we calculate the new space modeling on the discriminant analysis, select and merge features. The proposed method has been tested by using four databases, i.e. ORL, YALE, UoB, and local database (CAI-UTM). Overall, the results indicate that the proposed method can overcome two problems and deliver higher accuracy than similar methods.
AN APPLICATION TO THE TRAVELLING SALESMAN PROBLEMorajjournal
ABC Appliances (Pvt) Ltd.,one of the leading companies in Sri Lanka has supplied and installed a very large number of air condition units all over the country. The company is currently provides a comprehensive after sales service for its customers. At present the service department is interesting in reducing the cost involving in regular after sale servicers. In this research we proposed a Travelling Salesman Problem (TSP) approach tominimize the cost involving in service tours. We used nearest
neighbourhood search algorithm to obtain the solutions to the TSP. Computational examples show that the new service routes obtained using this algorithm will reduce the travelling cost significantly in comparison to existing routs
A (Not So Short) Introduction to CP Optimizer for SchedulingPhilippe Laborie
CP Optimizer is a generic Constraint Programming (CP) based system to model and solve scheduling problems (among other combinatorial problems). It provides an algebraic language with simple mathematical concepts such as intervals or functions to capture the temporal dimension of scheduling problems in a combinatorial optimization framework. From the very beginning, CP Optimizer was designed with the goal to provide a similar experience as Mathematical Programming (MP) tools like CPLEX, with a strong focus on usability. In particular CP Optimizer implements a model & run paradigm that does not require the user to understand Constraint Programming or scheduling algorithms: declarative modeling is the only thing that matters. The automatic search provides good out of the box performance and is continuously improving from version to version. The convergence with MP goes even further, with a convergence of the tools and functionalities around the engine like an input/output format, modeling assistance with warnings and conflict refiner, interactive executable, etc. These tools accelerate the development and maintenance of models for complex industrial scheduling problems that will be efficiently solved by the automatic search. This tutorial, heavily illustrated with examples, gives an overview of CP Optimizer for scheduling. No prior knowledge of Constraint Programming is required.
Improved algorithm for road region segmentation based on sequential monte car...csandit
In recent years, many researchers and car makers put a lot of intensive effort into development
of autonomous driving systems. Since visual information is the main modality used by human
driver, a camera mounted on moving platform is very important kind of sensor, and various
computer vision algorithms to handle vehicle surrounding situation are under intensive
research. Our final goal is to develop a vision based lane detection system with ability to
handle various types of road shapes, working on both structured and unstructured roads, ideally
under presence of shadows. This paper presents a modified road region segmentation algorithm
based on sequential Monte-Carlo estimation. Detailed description of the algorithm is given,
and evaluation results show that the proposed algorithm outperforms the segmentation
algorithm developed as a part of our previous work, as well as an conventional algorithm based
on colour histogram.
Modeling and Solving Resource-Constrained Project Scheduling Problems with IB...Philippe Laborie
Since version 2.0, IBM ILOG CP Optimizer provides a new scheduling language supported by a robust and efficient automatic search. We show how the main features of resource-constrained project scheduling such as work-breakdown structures, optional tasks, different types of resources, multiple modes and skills, resource calendars and objective functions such as earliness/tardiness, unperformed tasks or resource costs can be modeled in CP Optimizer. The robustness of the automatic search will be illustrated on some classical resource-constrained project scheduling benchmarks.
This slide deck was presented at EURO 2009 conference (http://www.euro-2009.de/).
Philippe Laborie
This paper presents the concept of objective landscape in the context of Constraint Programming. An objective landscape is a light-weight structure providing some information on the relation between decision variables and objective values, that can be quickly computed once and for all at the beginning of the resolution and is used to guide the search. It is particularly useful on decision variables with large domains and with a continuous semantics, which is typically the case for time or resource quantity variables in scheduling problems. This concept was recently implemented in the automatic search of CP Optimizer and resulted in an average speed-up of about 50% on scheduling problems with up to almost 2 orders of magnitude for some applications.
Hybrid Multi-Gradient Explorer Algorithm for Global Multi-Objective OptimizationeArtius, Inc.
Hybrid Multi-Gradient Explorer (HMGE) algorithm for global multi-objective
optimization of objective functions considered in a multi-dimensional domain is presented. The proposed hybrid algorithm relies on genetic variation operators for creating new solutions, but in addition to a standard random mutation operator, HMGE
uses a gradient mutation operator, which improves convergence. Thus, random mutation helps find global Pareto frontier, and gradient mutation improves convergence to the
Pareto frontier. In such a way HMGE algorithm combines advantages of both
gradient-based and GA-based optimization techniques: it is as fast as a pure gradient-based MGE algorithm, and is able to find the global Pareto frontier similar to genetic algorithms
(GA). HMGE employs Dynamically Dimensioned Response Surface Method (DDRSM) for calculating gradients. DDRSM dynamically recognizes the most significant design variables, and builds local approximations based only on the variables. This allows one to
estimate gradients by the price of 4-5 model evaluations without significant loss of accuracy. As a result, HMGE efficiently optimizes highly non-linear models with dozens and hundreds of design variables, and with multiple Pareto fronts. HMGE efficiency is 2-10
times higher when compared to the most advanced commercial GAs.
Optimum designing of a transformer considering lay out constraints by penalty...INFOGAIN PUBLICATION
Optimum designing of power electrical equipment and devices play a leading role in attaining optimal performance and price of equipments in electric power industry. Optimum transformer design considering multiple constraints is acquired using optimal determination of geometric parameters of transformer with respect to its magnetic and electric properties. As it is well known, every optimization problem requires an objective function to be minimized. In this paper optimum transformer design problem comprises minimization of transformers mean core mass and its windings by satisfying multiple constraints according to transformers ratings and international standards using a penalty-based method. Hybrid big bang-big crunch algorithm is applied to solve the optimization problem and results are compared to other methods. Proposed method has provided a reliable optimization solution and has guaranteed access to a global optimum. Simulation result indicates that using the proposed algorithm, transformer parameters such as core mass, efficiency and dimensions are remarkably improved. Moreover simulation time using this algorithm is quit less in comparison to other approaches.
A lossless color image compression using an improved reversible color transfo...eSAT Journals
Abstract In case of the conventional lossless color image compression methods, the pixels are interleaved from each color component, and they are predicted and finally encoded. In this paper, we propose a lossless color image compression method using hierarchical prediction of chrominance channel pixels and encoded with modified Huffman coding. An input image is chosen and the R, G and B color channel is transform into YCuCv color space using an improved reversible color transform. After that a conventional lossless image coder like CALIC is used to compress the luminance channel Y. The chrominance channel Cu and Cv are encoded with hierarchical decomposition and directional prediction. The effective context modeling for prediction residual is adopted finally. It is seen from the experimental result the proposed method improves the compression performance than the existing method. Keywords: Lossless color image compression, hierarchical prediction, reversible color transform, modified Huffman coding.
Slides of pattern recognition Course of Professor Zohreh Azimifar at Shiraz University.
اسلاید های درس شناسایی آماری الگو استاد زهره عظیمی فر در دانشگاه شیراز.
IBM ILOG CP Optimizer for Detailed Scheduling Illustrated on Three ProblemsPhilippe Laborie
Since version 2.0, IBM ILOG CP Optimizer provides a new
scheduling language supported by a robust and efficient automatic search. This presentation illustrates both the expressivity of the modelling language and the robustness of the automatic search on three problems recently studied in the scheduling literature. We show that all three problems
can easily be modelled with CP Optimizer in only a few dozen lines (the complete models are provided) and that on average the automatic search outperforms existing problem specific approaches.
This slide deck was presented at CP-AI-OR 2009 conference. Complete reference:
Philippe Laborie. "IBM ILOG CP Optimizer for Detailed Scheduling Illustrated on Three Problems". Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CP-AI-OR 2009). Lecture Notes in Computer Science. Volume 5547, 2009, pp 148-162.
Presented in this short document is a description of what is called Advanced Process Monitoring (APM) as described by Hedengren (2013). APM is the term given to the technique of estimating unmeasured but observable variables or "states" using statistical data reconciliation and regression (DRR) in an off-line or real-time environment and is also referred to as Moving Horizon Estimation (MHE) (Robertson et. al., 1996). Essentially, the model and data define a simultaneous nonlinear and dynamic DRR problem where the model is either engineering-based (first-principles, fundamental, mechanistic, causal, rigorous) or empirical-based (correlation, statistical data-based, observational, regressed) or some combination of both (hybrid).
Contradictory of the Laplacian Smoothing Transform and Linear Discriminant An...TELKOMNIKA JOURNAL
Laplacian smoothing transform uses the negative diagonal element to generate the new space. The negative diagonal elements will deliver the negative new spaces. The negative new spaces will cause decreasing of the dominant characteristics. Laplacian smoothing transform usually singular matrix, such that the matrix cannot be solved to obtain the ordered-eigenvalues and corresponding eigenvectors. In this research, we propose a modeling to generate the positive diagonal elements to obtain the positive new spaces. The secondly, we propose approach to overcome singularity matrix to found eigenvalues and eigenvectors. Firstly, the method is started to calculate contradictory of the laplacian smoothing matrix. Secondly, we calculate the new space modeling on the contradictory of the laplacian smoothing. Moreover, we calculate eigenvectors of the discriminant analysis. Fourth, we calculate the new space modeling on the discriminant analysis, select and merge features. The proposed method has been tested by using four databases, i.e. ORL, YALE, UoB, and local database (CAI-UTM). Overall, the results indicate that the proposed method can overcome two problems and deliver higher accuracy than similar methods.
AN APPLICATION TO THE TRAVELLING SALESMAN PROBLEMorajjournal
ABC Appliances (Pvt) Ltd.,one of the leading companies in Sri Lanka has supplied and installed a very large number of air condition units all over the country. The company is currently provides a comprehensive after sales service for its customers. At present the service department is interesting in reducing the cost involving in regular after sale servicers. In this research we proposed a Travelling Salesman Problem (TSP) approach tominimize the cost involving in service tours. We used nearest
neighbourhood search algorithm to obtain the solutions to the TSP. Computational examples show that the new service routes obtained using this algorithm will reduce the travelling cost significantly in comparison to existing routs
A (Not So Short) Introduction to CP Optimizer for SchedulingPhilippe Laborie
CP Optimizer is a generic Constraint Programming (CP) based system to model and solve scheduling problems (among other combinatorial problems). It provides an algebraic language with simple mathematical concepts such as intervals or functions to capture the temporal dimension of scheduling problems in a combinatorial optimization framework. From the very beginning, CP Optimizer was designed with the goal to provide a similar experience as Mathematical Programming (MP) tools like CPLEX, with a strong focus on usability. In particular CP Optimizer implements a model & run paradigm that does not require the user to understand Constraint Programming or scheduling algorithms: declarative modeling is the only thing that matters. The automatic search provides good out of the box performance and is continuously improving from version to version. The convergence with MP goes even further, with a convergence of the tools and functionalities around the engine like an input/output format, modeling assistance with warnings and conflict refiner, interactive executable, etc. These tools accelerate the development and maintenance of models for complex industrial scheduling problems that will be efficiently solved by the automatic search. This tutorial, heavily illustrated with examples, gives an overview of CP Optimizer for scheduling. No prior knowledge of Constraint Programming is required.
Hotel has completed a full renovation of all guest rooms, meeting and public spaces in March 2017.
Discover the history behind the oldest settlement in Puerto Rico - and come home every night to the comfortably appointed accommodations of the Sheraton Old San Juan Hotel.
Wander down the blue cobblestone streets, enjoy a delicious meal in an open-air cafe on a shady plaza, and tour the many historical sites unique to Puerto Rico. You won't be able to imagine yourself anywhere else.
The Sheraton Old San Juan Hotel is located just a short ride from the international airport and right on the waterfront, providing gorgeous views of San Juan Bay and the historic skyline. Just steps from our front door, you will be introduced to world class shopping, the finest restaurants, exciting nightlife and the beautiful architectural landmarks of Old San Juan.
While it's fascinating to explore the centuries-old history of the city, we want to make sure you indulge in modern comforts as well. The Sheraton Old San Juan Hotel offers every amenity imaginable to make your stay with us as enjoyable and memorable as possible
Multi-Objective Optimization Based Design of High Efficiency DC-DC Switching ...IJPEDS-IAES
In this paper we explore the feasibility of applying multi objective stochastic
optimization algorithms to the optimal design of switching DC-DC
converters, in this way allowing the direct determination of the Pareto
optimal front of the problem. This approach provides the designer, at
affordable computational cost, a complete optimal set of choices, and a more
general insight in the objectives and parameters space, as compared to other
design procedures. As simple but significant study case we consider a low
power DC-DC hybrid control buck converter. Its optimal design is fully
analyzed basing on a Matlab public domain implementations for the
considered algorithms, the GODLIKE package implementing Genetic
Algorithm (GA), Particle Swarm Optimization (PSO) and Simulated
Annealing (SA). In this way, in a unique optimization environment, three
different optimization approaches are easily implemented and compared.
Basic assumptions for the Matlab model of the converter are briefly
discussed, and the optimal design choice is validated “a-posteriori” with
SPICE simulations.
Optimization techniques for Transportation ProblemsIJERA Editor
This paper infers about optimization technique for various problems in transportation engineering. While for pavement engineering, maintenance is priority issue, for traffic it is signalling which is priority issue. Many optimization methods are discussed though given importance of genetic algorithm approach. While optimization techniques nearly approach practicality, research works are on for modern optimization techniques which not only adds ease of structure but also provide compatibility to modern day problems encountered in transportation engineering. Some of the modern tools are discussed to employ optimization techniques which are quite simple to use and implement once it is calibrated to the desired objective
Optimization techniques for Transportation ProblemsIJERA Editor
This paper infers about optimization technique for various problems in transportation engineering. While for pavement engineering, maintenance is priority issue, for traffic it is signalling which is priority issue. Many optimization methods are discussed though given importance of genetic algorithm approach. While optimization techniques nearly approach practicality, research works are on for modern optimization techniques which not only adds ease of structure but also provide compatibility to modern day problems encountered in transportation engineering. Some of the modern tools are discussed to employ optimization techniques which are quite simple to use and implement once it is calibrated to the desired objective.
Review of Hooke and Jeeves Direct Search Solution Method Analysis Applicable ...ijiert bestjournal
Role of optimization in engineering design is prominent one with the a dvent of computers. Optimization has become a part of computer aided design methodology. It is primarily being used in those design activities in which the goal is not only to achieve a feasible design,but als o a design objective. The paper reviews the optimization in detail followed by the literature review and b rief discussion of Hooks and Jeeves Method Analysis with an example.
A Comparison between FPPSO and B&B Algorithm for Solving Integer Programming ...Editor IJCATR
Branch and Bound technique (B&B) is commonly used for intelligent search in finding a set of integer solutions within a space of interest. The corresponding binary tree structure provides a natural parallelism allowing concurrent evaluation of sub-problems using parallel computing technology. Flower pollination Algorithm is a recently-developed method in the field of computational intelligence. In this paper is presented an improved version of Flower pollination Meta-heuristic Algorithm, (FPPSO), for solving integer programming problems. The proposed algorithm combines the standard flower pollination algorithm (FP) with the particle swarm optimization (PSO) algorithm to improve the searching accuracy. Numerical results show that the FPPSO is able to obtain the optimal results in comparison to traditional methods (branch and bound) and other harmony search algorithms. However, the benefits of this proposed algorithm is in its ability to obtain the optimal solution within less computation, which save time in comparison with the branch and bound algorithm.Branch and bound, flower pollination Algorithm; meta-heuristics; optimization; the particle swarm optimization; integer programming.
Model-Based User Interface Optimization: Part I INTRODUCTION - At SICSA Summe...Aalto University
Tutorial on Model-Based User Interface Optimization. Part I: INTRODUCTION.
Presented at SICSA Summer School on Computational Interaction 2015. Note: This one-day lecture is divided into multiple parts.
Surrogate modeling for industrial designShinwoo Jang
We describe GTApprox | a new tool for medium-scale surrogate modeling in industrial design. Compared to existing software, GTApprox brings several innovations: a few novel approximation algorithms, several advanced methods of automated model selection, novel options in the form of hints. We demonstrate the efficiency of GTApprox on a large collection of test problems. In addition, we describe several applications of GTApprox to real engineering problems.
Similar to Diseño rapido de amplificadores con valores (20)
You could be a professional graphic designer and still make mistakes. There is always the possibility of human error. On the other hand if you’re not a designer, the chances of making some common graphic design mistakes are even higher. Because you don’t know what you don’t know. That’s where this blog comes in. To make your job easier and help you create better designs, we have put together a list of common graphic design mistakes that you need to avoid.
Transforming Brand Perception and Boosting Profitabilityaaryangarg12
In today's digital era, the dynamics of brand perception, consumer behavior, and profitability have been profoundly reshaped by the synergy of branding, social media, and website design. This research paper investigates the transformative power of these elements in influencing how individuals perceive brands and products and how this transformation can be harnessed to drive sales and profitability for businesses.
Through an exploration of brand psychology and consumer behavior, this study sheds light on the intricate ways in which effective branding strategies, strategic social media engagement, and user-centric website design contribute to altering consumers' perceptions. We delve into the principles that underlie successful brand transformations, examining how visual identity, messaging, and storytelling can captivate and resonate with target audiences.
Methodologically, this research employs a comprehensive approach, combining qualitative and quantitative analyses. Real-world case studies illustrate the impact of branding, social media campaigns, and website redesigns on consumer perception, sales figures, and profitability. We assess the various metrics, including brand awareness, customer engagement, conversion rates, and revenue growth, to measure the effectiveness of these strategies.
The results underscore the pivotal role of cohesive branding, social media influence, and website usability in shaping positive brand perceptions, influencing consumer decisions, and ultimately bolstering sales and profitability. This paper provides actionable insights and strategic recommendations for businesses seeking to leverage branding, social media, and website design as potent tools to enhance their market position and financial success.
White wonder, Work developed by Eva TschoppMansi Shah
White Wonder by Eva Tschopp
A tale about our culture around the use of fertilizers and pesticides visiting small farms around Ahmedabad in Matar and Shilaj.
Between Filth and Fortune- Urban Cattle Foraging Realities by Devi S Nair, An...Mansi Shah
This study examines cattle rearing in urban and rural settings, focusing on milk production and consumption. By exploring a case in Ahmedabad, it highlights the challenges and processes in dairy farming across different environments, emphasising the need for sustainable practices and the essential role of milk in daily consumption.
Can AI do good? at 'offtheCanvas' India HCI preludeAlan Dix
Invited talk at 'offtheCanvas' IndiaHCI prelude, 29th June 2024.
https://www.alandix.com/academic/talks/offtheCanvas-IndiaHCI2024/
The world is being changed fundamentally by AI and we are constantly faced with newspaper headlines about its harmful effects. However, there is also the potential to both ameliorate theses harms and use the new abilities of AI to transform society for the good. Can you make the difference?
1. GPCAD: A Tool for CMOS Op-Amp Synthesis
Maria del Mar Hershenson, Stephen P. Boyd, Thomas H. Lee
Electrical Engineering Department, Stanford University, Stanford CA 94305
marita@smirc.stanford.edu, boyd@ee.stanford.edu, tomlee@smirc.stanford.edu
To appear in International Conference on Computer-Aided Design, November 1998
Abstract
We present a method for optimizing and automating compo-
nent and transistor sizing for CMOS operational amplifiers.
We observe that a wide variety of performance measures can be
formulated as posynomial functions of the design variables. As
a result, amplifier design problems can be formulated as a ge-
ometric program, a special type of convex optimization problem
for which very efficient global optimization methods have re-
cently been developed. The synthesis method is therefore fast,
and determines the globally optimal design; in particular the
final solution is completely independent of the starting point
(which can even be infeasible), and infeasible specifications are
unambiguously detected.
After briefly introducing the method, which is described in
more detail in [1], we show how the method can be applied to
six common op-amp architectures, and give several example de-
signs.
1 Introduction
As the demand for mixed mode integrated circuits increases, the
design of analog circuits such as operational amplifiers (op-amps)
in CMOS technology becomes more critical. Many authors have
noted the disproportionately large design time devoted to the analog
circuitry in mixed mode integrated circuits. In [1] we introduced a
new method for determining the component values and transistor
dimensions for CMOS op-amps. The method handles a wide vari-
ety of specifications and constraints, is extremely fast, and results
in globally optimal designs. We have developed a simple op-amp
synthesis tool, called GPCAD, based on our method.
We have formulated the op-amp design problem as a special
type of convex optimization problem called a geometric program
(GP). Methods to solve convex optimization problems have several
advantages when compared to general purpose optimization meth-
ods: they find the globally optimal solution; the solution can be
computed extremely fast even for large problems; and, if a solution
exists, convergence is guaranteed. The disadvantage of convex op-
timization methods is that they apply to a more restricted class of
problems than the general methods. The contribution of this paper
is to demonstrate the surprising result that a wide variety of op-amp
design problems can be formulated with considerable accuracy as
convex programming problems.
In this paper we describe how the method applies to six dif-
ferent types of op-amps: two simple op-amps (OTAs), a two-stage
op-amp, a two-stage cascoded op-amp, a folded-cascode op-amp,
and a telescopic op-amp. We also give some design examples.
In x2, we give a brief overview of previous approaches to op-
amp synthesis. In x3, we describe geometric programming, the
optimization problem which is the basis of the method. In x4, we
briefly describe the transistor model used, which we call the GP1
model. This simple model gives reasonable agreement with sophis-
ticated BSIM1 models over a range of lengths, widths, and bias
currents, and moreover, is compatible with the GP method. In x5,
we describe the six op-amp architectures we consider. In x6, we
show how a variety of performance measures can be cast in the
GP framework. To simplify the discussion (and also due to lack of
space) we concentrate our discussion on a single typical op-amp,
and use a simple transistor model based on a classical long channel
square law. The same ideas and methods, however, can be used to
formulate the GP for the other five architectures we consider, and
the more accurate GP1 MOS model. In x7, we give design exam-
ples for the different op-amps. More details on geometric program-
ming, transistor models and how the method applies, can be found
in [1, 2].
2 Other approaches
We can classify previous methods for analog circuit CAD into four
groups.
Classical optimization methods
Classical optimization methods, such as steepest descent, sequen-
tial quadratic programming and Lagrange multiplier methods, have
been widely used in analog circuit CAD. The general purpose op-
timization codes NPSOL [3] and MINOS are used in, e.g., [4, 5].
Other CAD methods based on classical optimization methods, and
extensions such as a minimax formulation, include OPASYN [6],
OAC [7], and STAIC [8]. These classical methods can be used
with complicated circuit models, including full SPICE simulations
in each iteration, as in DELIGHT.SPICE [9].
The main disadvantage of classical methods is that they only
find locally optimal designs. This means that it is possible that
some other set of design parameters, far away from the one found,
results in a better design. The same problem arises in determin-
ing feasibility: they can fail to find a feasible design, even if one
exists. In order to avoid local solutions, the minimization method
is carried out from many different initial designs. This increases
the likelihood of finding the globally optimal design but it also de-
stroys one of the advantages of classical methods, i.e., speed, since
the computation effort is multiplied by the number of different ini-
tials designs that are tried. It also requires human intervention (to
give “good” initial designs), which makes the method less auto-
mated. Also, these methods become slow if complex models are
used, as in DELIGHT.SPICE.
2. Knowledge-based methods
Knowledge-based and expert-systems methods have also been widely
used in analog circuit CAD. Examples include genetic algorithms
or evolution systems like DARWIN [10] and special heuristics based
systems like IDAC [11] and OASYS [12].
These methods have few limitations on the types of problems,
specifications, and performance measures that can be considered
but they have several disadvantages. They find a locally optimal
design (or, even just a “good” or “reasonable” design). The final
design depends on the initial design chosen and the algorithm pa-
rameters. These methods require substantial human intervention
either during the design process, or during the training process.
Global optimization methods
Global optimization methods such as branch and bound and sim-
ulated annealing have also been used, e.g., in [13]. Branch and
bound unambiguously determines the global optimal design but it
is extremely slow, with computation growing exponentially with
problem size. Simulated annealing (SA) is another very popular
method that can avoid becoming trapped in a locally optimal de-
sign. In principle it can compute the globally optimal solution, but
in practical implementations there is no guarantee at all; termina-
tion is heuristic. Like classical and knowledge-based methods, SA
allows a very wide variety of performance measures and objectives
to be handled. Simulated annealing has been used in several tools
such as ASTR/OBLX [14] and OPTIMAN [15]. The main disad-
vantages of SA are that it can be very slow, and in practice it cannot
guarantee a global optimal solution.
Convex optimization methods
In a convex optimization problem we minimize a convex objective
function subject to linear equality constraints, and inequality con-
straints that are expressed as upper bounds on convex functions.
The great practical advantages of convex optimization are begin-
ning to be widely appreciated, mostly due to the development of
extremely powerful interior-point methods for general convex op-
timization problems in the last five years (e.g., [16, 17]). These
methods can solve large problems, with thousands of variables and
tens of thousands of constraints, very efficiently (e.g., in minutes
on a small workstation). Problems involving tens of variables and
hundreds of constraints are considered small, and can be solved on
a small current workstation in less than one second.
One very great advantage of convex optimization, compared to
general purpose optimization methods, is that the global solution is
always found, regardless of the starting point. Infeasibility is un-
ambiguously detected, i.e., if the methods do not produce a feasible
solution, they produce a certificate that proves that the problem is
infeasible.
3 Geometric Programming
Geometric programming (GP) is a special type of convex optimiza-
tion problem. It has been known and used since the late 1960s
(see [18]); more recently it has been widely used in transistor and
wire sizing for Elmore delay minimization in digital circuits, as in
TILOS [19]. As far as we know, it has not been used before in
analog amplifier design.
Let x be a vector x1;:::;xn of n real, positive variables. A
function f is called a posynomial function of x if it has the form
fx1;:::;xn =
tX
k=1
ckx 1k
1 x 2k
2 x nk
n
where cj 0 and ij 2 R. When there is only one term in the
sum, i.e., t = 1, we call f a monomial function. Note that posyn-
omials are closed under addition, multiplication, and nonnegative
scaling. Monomials are closed under multiplication and division.
A geometric program is an optimization problem of the form
minimize f0x
subject to fix 1; i = 1;:::;m;
gix = 1; i = 1;:::;p;
xi 0; i = 1;:::;n;
(1)
where f0;:::;fm are posynomial functions and g1;:::;gp are mono-
mial functions.
If f is a posynomial and g is a monomial, then the constraint
fx gx can be handled by expressing it as fx=gx 1.
In a similar way if g1 and g2 are both monomial functions, then we
can handle the equality constraint g1x = g2x by expressing it
as g1x=g2x = 1.
We say that a function his inverse-posynomial if 1=his a posyn-
omial function. If h is an inverse-posynomial and f is a posyno-
mial, then GP can handle the constraint fx hx by express-
ing it as fx1=hx 1. If h is an inverse-posynomial, then
we can maximize it, by minimizing 1=h. Inverse-posynomials are
closed under products, and also parallel combinations: if h and ~h
are inverse-posynomial then so is hk~h = 1=1=h + 1=~h.
Geometric programming in convex form
A geometric program can be reformulated as a convex optimiza-
tion problem, by changing variables and considering the logs of the
functions involved. We define new variables yi = log xi, and take
the logarithm of a posynomial f to get
hy = log f ey1;:::;eyn = log
tX
k=1
eaT
k y+bk
!
where aT
k = 1k nk and bk = log ck. It can be shown that h
is a convex function of the variable y.
Thus, we can convert the standard geometric program (1) into
a convex program by expressing it as
minimize h0y = log f0ey1;:::;eyn
subject to hiy = log fiey1;:::;eyn 0;
viy = log giey1;:::;eyn = 0:
(2)
This is the so-called exponential form of the geometric program (1)
(see, e.g., [20]).
There are several methods for solving geometric programs. One
option is to solve the exponential form of the geometric program
using a general purpose optimization code such as NPSOL or MI-
NOS. These general purpose codes will in principle find the glob-
ally optimal solution, but codes specifically designed for solving
geometric programs offer greater computational efficiency. Re-
cently, Kortanek et al. have shown how the most sophisticated primal-
dual interior-point methods used in linear programming can be ex-
tended to GP, resulting in an algorithm with efficiency approaching
that of current interior-point linear programming solvers [21].
For use in GPCAD we have implemented, in MATLAB, a very
simple primal barrier method, which is described in [1] and [20].
Despite the simplicity of our algorithm and the overhead of an inter-
preted language, the GPs arising in this paper are solved in less than
two seconds on a SUN1 ULTRA-SPARC 1 (170MHz) workstation.
A more efficient algorithm and implementation would make it con-
siderably faster.
3. 4 Transistor modeling
The transistor model we use has the following form, which we call
a GP1 model.
The overdrive voltage Vgs , VTH is a monomial function of
transistor length L, transistor width W and transistor drain
current I.
The transconductance gm is a monomial function in L, W,
and I.
The output conductance go is given by go;m where go;m is
monomial in L, W, and I, and is a constant. We use two
different values of , depending on whether the transistor in
question typically operates with large or small Vds.
Capacitances between the terminals and bulk are posynomial
in L, W, and I.
The traditional long channel MOS transistor model (level 1 in
HSPICE) fits exactly the format of the GP1 model (see [1]). By
simple data fitting techniques [20], we have obtained GP1 models
that have reasonable agreement with HSPICE higher order models
(BSIM1 models), over large ranges of length, width, and bias cur-
rents. To model submicron devices, we are now developing more
sophisticated and accurate models that are still compatible with ge-
ometric programming based design. These models, which we call
GP2, are described in [2].
5 Op-amp architectures
We will apply the method to the six different op-amp architectures,
or topologies, shown in figures 1–6. These are:
a two-stage op-amp (figure 1)
a simple OTA op-amp (figure 2)
an OTA op-amp (figure 3)
a two-stage cascoded op-amp (figure 4)
a folded-cascode op-amp (figure 5)
a telescopic op-amp (figure 6)
M1 M2
M3 M4
M5
M6
M7M8
Ibias
Vdd
Vss
Vss
CL
CcRc
V,V+ Vout
Figure 1: Two stage op-amp.
Vdd
Vss
Vss
V+ V,
Vout
CL
Ibias
M1 M2
M3 M4
M5M6
Figure 2: Simple OTA op-amp.
Vdd
Vss
Vss
V+ V,
Vout
CL
Ibias
M1 M2
M3 M4
M5
M6
M7M8
M9
M10
Figure 3: OTA op-amp.
Vdd
Vss
Vss
V+ V, Vout
V1
V2 CLIbias
M1 M2
M3 M4
M5
M6
M7
M9
M10
M8
Figure 4: Two stage cascoded op-amp.
6 Performance speci cations constraints
In this section we show how a variety of performance measures and
constraints can be formulated using geometric programming. To
simplify the discussion (as well as to save space) we concentrate on
one op-amp topology, the two-stage op-amp of figure 1, and assume
a simple MOS model; more details can be found in [1]. In each
section we give short comments about how the method extends to
the other five op-amp architectures, as well as more sophisticated
MOS models.
The design variables are the transistor sizes (width and length),
the value of the passive components (capacitors and resistors), and
the value of bias currents and bias voltages. For this particular two-
stage op-amp, there are nineteen design variables.
4. Vdd
Vss
Vss
V+ V,
Vout
V1
V2
CLIbias
M1 M2
M3 M4
M5 M6
M7 M8
M9 M10M11M12
Figure 5: Folded-cascode op-amp.
Vdd
Vss
V+ V,
Vout
V1
CL
Ibias
M1 M2
M3 M4
M5 M6
M7 M8
M9M10
Figure 6: Telescopic op-amp.
Symmetry and matching
In many op-amps there are some symmetry and matching con-
straints that must be met. For example, the input transistors should
be identical and the bias transistors should have the same length to
improve the matching among them. These conditions can be ex-
pressed as monomial constraints of the form
Wi = Wj; Li = Lj: (3)
(Equivalently we can simply work with a smaller number of vari-
ables, e.g., using Wi to represent the widths of several transistors.
For the small problems we encounter, however, keeping the extra
variables and equality constraints results in a very small computa-
tional penalty.)
Device sizes
Lithography limitations and layout rules impose lower limits on the
device sizes:
Lmin Li; Wmin Wi; i = 1;:::;n: (4)
These constraints are monomial and can be handled by GP.
Another common constraint that cannot be handled by GP is
that the lengths and widths can only assume discrete values, e.g.,
multiples of some small dimension. In practice this is not a problem
since many transistors end up being minimum length, and transis-
tor widths are often much larger than the minimum grid resolution
making the rounding error for device width small.
Area
An approximate expression for the active device op-amp die area
A is given by the sum of the sum of transistor and capacitor ares,
A = 0 + 1Cc + 2
nX
i=1
WiLi; (5)
where the i are positive constants. This expression is a posyno-
mial function of the design parameters, so we can impose an upper
bound on the area, or use the area as the objective to be minimized.
Current equations
Biasing is typically accomplished by mirroring a reference current
to the different stages of the op-amp. In this case the bias currents
become monomials of the design parameters. In the two-stage op-
amp, for example, if we define the bias currents I5 and I7 through
transistors M5 and M7, respectively, we have,
I5 =
W5L8
L5W8
Ibias; I7 =
W7L8
L7W8
Ibias: (6)
Since these expressions are monomial we can use I5 and I7 as part
of the design variables, considering (6) as an equality constraint.
This reduces the complexity of the other design equations, at some
(negligible) computational cost. Note that the bias reference cur-
rent, Ibias can be fixed (by the biasing scheme of the IC) or can be
a design variable.
Bias conditions
For the correct operation of most op-amps the transistors need to re-
main in the saturation region for the specified input common mode
range ( Vcm;min;Vcm;max ) and the specified output voltage swing
( Vout;min;Vout;max ). These bias, input common mode, and out-
put swing constraints turn out to have posynomial form. For exam-
ple, using the long channel square-law MOS transistor model in the
two-stage op-amp, the condition for M5 remaining in saturation is
r
I1L1
KpW1
+
r
I5L5
KpW5
Vdd ,Vcm;max + VTP; (7)
which is a posynomial constraint.
Quiescent power
For the two-stage op-amp the quiescent power has the form
P = Vdd ,Vss Ibias + I5 + I7 ; (8)
which is a posynomial function of the design parameters, so we can
impose an upper bound on, or minimize, quiescent power. Similar
equations hold for the other architectures we consider.
Open-loop DC gain
For the two-stage op-amp, the open-loop voltage gain is given by
Av =
6. gm6
go6 + go7
; (9)
which is an inverse-posynomial function of the design parameters.
We can therefore impose a minimum required open-loop voltage
gain or we can maximize the gain.
The other five op-amp topologies have different expressions for
the open-loop voltage gain, but in each case the gain is inverse-
posynomial. This can be explained as follows. The total op-amp
7. gain is the product of the gain of the stages. the gain of each stage
has the typical form Gi = gm=gout where gm is the transconduc-
tance of the stage input transistor and gout is the output conduc-
tance seen by the transistor. Since gout is a sum of several load
conductances, each of which is monomial in the design variables,
the stage gain is inverse-posynomial. Therefore the overall gain is
inverse-posynomial.
Unity-gain bandwidth
The op-amps we consider are designed to have a dominant pole.
For the two-stage op-amp the dominant pole is given by
p1 = gm1=AvCc; (10)
and the unity gain bandwidth is given by the expression
!c = gm1=Cc; (11)
which is monomial. For the other architectures, the unity-gain
bandwidth is given by the ratio of the transconductance of some
device to the compensation (or output) capacitance, and is either
monomial or inverse-posynomial. Therefore we can impose lower
bounds on, or maximize, the unity-gain bandwidth.
Non-dominant pole conditions
With the choice of the compensation resistor Rc = 1=gm6, the
two-stage op-amp has three non-dominant poles given by
p2 = gm6Cc=C1Cc + C1CTL + CcCTL (12)
p3 = gm3=C2 (13)
p4 = gm6=C1; (14)
where C1, CL and C2 can be expressed as posynomial expressions
of the transistors widths and lengths,
C1 = Cgs6 + Cdb2 + Cdb4 + Cgd2 + Cgd4
CTL = CL + Cdb6 + Cdb7 + Cgd6 + Cgd7
C2 = Cgs3 + Cgs4 + Cdb1 + Cdb3 + Cgd1:
The important point is that the non-dominant poles p2, p3 and p4
are given by inverse-posynomial functions of the design parame-
ters. We can therefore impose a lower bound on the non-dominant
poles (e.g., limiting them to be a decade above the unity-gain band-
width). For the other architectures as well, the non-dominant poles
are given by inverse-posynomial expressions.
Phase margin
For large gains, the phase due to the dominant pole at the unity-gain
frequency will be very nearly 90 . For small phase shifts (less than
25 ), we have arctanx x, so the phase margin constraint can
be approximated as
4X
i=2
!c;approx
pi
2
,PMmin; (15)
which is a posynomial inequality in the design variables. The ap-
proximation error is very small since the phase contributed by each
non-dominant pole is small (less than 25 ).
In the general case, the phase margin depends on the sum of
phase shifts, at the unity-gain frequency, contributed by the non-
dominant poles and zeros. Left half plane poles and right half
plane zeros contribute phase shifts that can be approximated, using
arctanx x, as posynomial expressions. For the six op-amps
considered, the resulting phase margin constraints are posynomial.
Slew Rate
The slew rate is typically determined by the amount of current that
can be sourced or sinked into the compensation (or output) capac-
itance. For the two-stage op-amp the conditions to ensure a mini-
mum slew rate SRmin are
Cc=2I1 1=SRmin; Cc + CTL=I7 1=SRmin; (16)
which are posynomial inequalities. A similar situation holds for the
other architectures.
CMRR
For the two-stage op-amp, the common mode rejection ratio is
given by
CMRR =
2gm1gm3
go3 + go1 go5
; (17)
which is inverse-posynomial, so we can impose a minimum CMRR.
For the other five op-amp topologies, the expression for the CMRR
is also inverse-posynomial. In simple op-amps the CMRR is just
the ratio of the differential gain of the first stage to the common
mode gain of the first stage and is proportional to the output resis-
tance of the biasing network.
There are several other specifications that can be handled using
geometric programming, but are omitted here for space consider-
ations. These include, for example, minimum gate overdrive volt-
age, minimum 3dB bandwidth, and limits on input-referred spot
noise, or total RMS noise in a band (see [1]).
7 Design examples
In this section we provide some sample designs for the two-stage
op-amp using a standard 1:2m CMOS process (described in more
detail in [1]). The load capacitance is 5pF and the supply voltages
are Vdd = 5V and Vss = 0V.
A simple design example
Table 1 describes the sample design problem, and shows the perfor-
mance of the design obtained by GPCAD using GP1 models, and
the simulated performance with BSIM1 models (HSPICE level 13).
The objective was to maximize the unity gain bandwidth subject to
the other given constraints. The first column in table 1 identifies the
performance measure (and its units); the second gives the specifi-
cation (showing whether it is an upper or lower bound). The third
column, labeled GPCAD, shows the performance of the design ob-
tained, according to the GP1 model of GPCAD. The fourth column,
labeled HSPICE, shows the value of the specification as simulated
by BSIM1 from our design.
We can see that there is close agreement between the predicted
results from GPCAD and the HSPICE simulations. Recall that the
GPCAD values are based on simple posynomial expressions, as
well as a number of approximations; the HSPICE simulations are
based on sophisticated MOS models, and no approximations (e.g.,
of transfer functions). The close agreement between the two shows
that our posynomial models and approximations, though simple,
are adequate for real design.
The computer time required for the design is approximately
two seconds, using an inefficient MATLAB implementation of an
interior-point method. (An efficient implementation would be far
faster.)
The optimal design parameters found are shown in table 2. It
is interesting to note that only device M6 is minimum length. This
can be easily explained. BSIM1 models and our GP1 models take
8. into account the fact that the output conductance of the device de-
creases with increasing transistor length. Since the gain require-
ment is high, longer devices are needed to obtain 80dB of open-
loop gain. The output conductances of M1, M3, M6 and M7 affect
the final gain but only device M6 is minimum length. The reason
is that the second non-dominant pole position is proportional to the
transconductance of M6. Since the phase margin requirement is
stringent, GPCAD decides to increase the transconductance of M6
by making it as short as possible. If the gain requirement is dropped
to 60dB, all transistors are minimum length and the unity-gain fre-
quency is 25MHz. One may also think that transistor M1 should be
minimum length so its transconductance is maximum. The prob-
lem is that for larger unity-gain bandwidths it is very hard to meet
the phase margin specification, and GPCAD opts for a lower M1
transconductance.
We remind the reader that the design found by GPCAD is glob-
ally optimal, and not merely (as with local methods) a locally op-
timal design. Please note also that our discussion above is offered
only as an explanation for what GPCAD obtained; GPCAD ob-
tained the design by solving a geometric program, and not using
any circuit design reasoning!
Performance measure Spec GPCAD HSPICE
Area (m2) 2:5k 2:5k 2:5k
Max. output(V) 4:5 4:5 4:5
Min. output (V) 0:5 0:1 0:1
Power (mW) 5 0:5 0:6
DC gain (dB) 80 80 83
Unity-gain BW (MHz) Max. 9 8
Phase margin ( ) 60 60 66
Slew rate (V=s) 10 10 11
CMRR (dB) 60 80 84
PSRRn (dB) 80 91 94
PSRRp (dB) 80 95 97
Noise, 1kHz(nV=
p
Hz) 600 600 590
Lmin (m) 1:2 1:2 1:2
Wmin(m) 2 2:3 2:3
Table 1: Design specifications for two-stage op-amp.
Variable Value
W1 = W2 41:3m
W3 = W4 18:2m
W5 5:4m
W6 520m
W7 109m
W8 2:3m
L1 = L2 3:3m
L3 = L4 1:7m
L5 2:6m
L6 1:2m
L7 2:6m
L8 2:6m
Cc 0:58pF
Ibias 2:6A
Table 2: Optimal design for design example.
A globally optimal trade-o curve
By repeatedly solving the design problem while varying one of
the specifications, we can sweep out the globally optimal trade-off
curve between competing objectives (with the others fixed). In fig-
ure 7 we plot a trade-off curve for the two-stage op-amp, obtained
0 5 10 15
0
10
20
30
40
50
60
70
80
90
Power dissipation in mW
Unity−gainbandwidthinMHz
Vdd=5V
Vdd=3.3V
Vdd=2.5V
Figure 7: Globally optimal trade-off curve between maximum
unity-gain bandwidth and maximum power, for different sup-
ply voltages.
by maximizing unity-gain bandwidth, while varying the maximum
allowed power dissipation, for three different supply voltages. The
rest of specifications are set to the values given in table 2, except
the area, which is relaxed to 10
4m2. It is interesting to note that
the curves cross, with different power supply voltages being opti-
mal for different maximum powers (or unity gain bandwidths). We
see that for low power designs we obtain a higher bandwidth with
lower supply voltages but when power is not a limit we are better
off with a higher supply voltage. The reason is that for a given
power, the low voltage design can use more current than the high
voltage design.
Each trade-off curve was computed in under two minutes, by
solving each problem from scratch, i.e., “cold start”. This would
be far faster with an efficient implementation, using “warm start”,
i.e., starting from the previous design found.
Designs for the other architectures
In this section we give design examples for the other op-amp topolo-
gies studied: simple OTA op-amp (figure 2, table 3), OTA op-amp
(figure 3, table 4), two-stage cascoded op-amp (figure 4, table 5),
folded-cascode op-amp (figure 5, table 6), and telescopic op-amp
(figure 6, table 7).
For each problem the objective was to minimize area. The other
specifications are given in the table as the first entry; the next two
entries give the value obtained by GPCAD, using the GP1 model,
and the simulated value from HSPICE BSIM1. The specifications
are similar, but not the same, since the op-amps differ considerably
in achievable gain, bandwidth, etc. As in the example design above
for the two-stage op-amp, the results obtained from GPCAD agree
quite closely with HSPICE simulation.
Trade-o curves for telescopic and folded-cascode
op-amps
In figure 8 we show the globally optimal trade-off curves between
DC gain and unity-gain bandwidth, for the telescopic op-amp and
the folded-cascode op-amp, each subject to the same specifica-
tions. The curves show that the telescopic op-amp achieves more
gain at higher unity-gain bandwidths. The reason is that for the
same quiescent power, the input transistors in the telescopic op-
amp carry approximately twice the current of the input transistors
in the folded-cascode op-amp. In this example, the output volt-
age swing constraint was set to only 2V. If this last requirement is
tougher the folded-cascode outperforms the telescopic op-amp.
9. Performance measure Spec GPCAD HSPICE
CL (pF) 1 1 1
DC gain (dB) 40 40 39
Unity-gain BW(MHz) 50 50 50
Phase margin ( ) 60 65 70
Power (mW) 1 0:4 0:4
PSRRp (dB) 20 65 70
PSRRn (dB) 20 40 40
Output swing (V) 2:3 3:5 3:6
Slew Rate (V=s) 10 37 40
Area(m2) Min. 400 400
Table 3: Simple OTA design.
Performance measure Spec GPCAD HSPICE
CL (pF) 1 1 1
DC gain (dB) 40 40 44
Unity-gain BW(MHz) 25 25 25
Phase margin ( ) 45 53 58
Power (mW) 1 0:75 0:75
PSRRp (dB) 40 40 42
PSRRn (dB) 40 49 52
Output swing (V) 2:5 3 2:8
Slew Rate (V=s) 35 48 50
Area(m2) Min. 300 300
Table 4: OTA design.
Performance measure Spec GPCAD HSPICE
CL (pF) 1 1 1
DC gain (dB) 60 92 95
Unity-gain BW(MHz) 10 10 10
Phase margin ( ) 60 60 59
Power (mW) 1 0:14 0:14
PSRRp (dB) 20 86 88
PSRRn (dB) 40 70 72
Output swing (V) 2 3:5 3:5
Slew Rate (V=s) 2 7 6
Area(m2) Min. 1900 1900
Table 5: Two stage cascoded op-amp design.
Performance measure Spec GPCAD HSPICE
CL (pF) 1:25 1:25 1:25
DC gain (dB) 70 70 70
Unity-gain BW(MHz) 50 50 50
Phase margin ( ) 60 60 74
Power (mW) 1 0:94 0:9
PSRRp (dB) 70 77 79
PSRRn (dB) 70 70 69
Output swing (V) 1 2:1 2:4
Slew Rate (V=s) 50 50 52
Area(m2) Min. 720 720
Table 6: Folded-cascode op-amp design.
This example points out a very important feature of GPCAD.
By itself, GPCAD does not design circuit topology or architecture;
it merely designs component values and transistor dimensions for
a given architecture. By solving the same problem (i.e., identical
constraints and objective) for several different architectures, GP-
CAD can decide which architecture is best. Here again the fact that
GPCAD finds globally optimal solutions for each architecture, and
not just locally optimal solutions, is critical. It allows us to say with
certainty that, for a given set of specifications, one architecture is
Performance measure Spec GPCAD HSPICE
CL (pF) 1 1 1
DC gain (dB) 80 80 78
Unity-gain BW(MHz) 20 33 33
Phase margin ( ) 60 60 70
Power (mW) 1 0:1 0:13
PSRRp (dB) 70 74 78
PSRRn (dB) 70 75 76
Output swing (V) 2 2 2:2
Slew Rate (V=s) 20 20 22
Area(m2) Min. 440 440
Table 7: Telescopic op-amp design.
better than another.
0 10 20 30 40 50 60 70 80
106
108
110
112
114
116
118
120
122
124
126
GainindB
Unity−gain bandwidth in MHz
folded−cascode
telescopic
Figure 8: Maximum achievable gain versus unity-gain band-
width for folded-cascode and telescopic op-amp architectures.
8 Conclusions and extensions
We have shown how geometric programming can be used to design
CMOS op-amps. The method is very efficient, can handle a wide
variety of constraints and provides globally optimal designs. Even
with relatively simple transistor models, we achieve good agree-
ment with SPICE simulations based on sophisticated models. We
are currently developing more sophisticated and accurate models,
that are compatible with geometric programming design, and are
very accurate even for submicron, short channel designs [2].
GPCAD can also be effectively combined with a (local) opti-
mization method that uses more accurate model equations, or even
circuit simulation (such as DELIGHT.SPICE). Thus, GPCAD is
used to get close to the (presumably global) optimum, and the final
design is tuned using the more accurate model or direct circuit sim-
ulation. This would reduce the search time of the local optimizer
considerably while still preserving extreme accuracy.
We mention here several important features that space limita-
tions did not allow us to mention above. When the geometric pro-
gram is solved, we get a complete sensitivity analysis of the prob-
lem, without any additional computational effort. These sensitivity
numbers provide extremely useful information to the designer; it
shows which constraints are ‘most’ binding; which constraints can
be relaxed to obtain a great improvement in the objective function,
and which constraints can be tightened without much cost. See [1]
for a complete discussion of this topic (as well as the sensitivities
for some of the designs described in this paper).
10. Another useful feature of GPCAD is its ability to develop ro-
bust designs, i.e., designs that guarantee a set of specifications are
met for a variety of different processes and technology parameter
values. This is done by replicating the design constraints for the
different operating conditions, which is practical only because the
computational effort for solving geometric programs grows approx-
imately linearly with the number of constraints.
Although GPCAD does not directly design op-amp topology, it
can be used to choose the best op-amp topology out of a number of
topologies. This would work as follows: first, a library of topolo-
gies is developed; for each one we have a method for translating
the op-amp specifications into an associated geometric program.
(Thus, in this paper we consider a small library of six topologies.)
Then for a specific set of design specifications, one can perform
the design for each op-amp architecture in the library. This evi-
dently identifies the best architecture in the library, for the given
specifications. Note that (as in the example above) which archi-
tecture is best depends on the specifications. Since each design is
very fast (i.e., 2 seconds with our current, inefficient implementa-
tion), a large library (with, say, hundreds of architectures) can be
scanned quickly. This process can be speeded up in several ways.
For example, the optimization process for a given architecture can
be terminated once it is clear that the optimal value is more than
the best optimal value found so far. Again, this is only practical
because geometric programs can be solved so efficiently.
We end our discussion by explaining what needs to be done to
apply geometric programming to the design of a specific circuit,
i.e., to develop a library entry for a given circuit topology that has
not yet been analyzed. The task is to express the design constraints
and performance specifications in a form appropriate for geometric
programming. At this point, we have no method for automating
this step, although we envision using some type of symbolic ana-
lyzer (e.g., [22]) to aid in this process. Of course, this step is done
only once for each topology; once the library entry exists, specific
design problems involving that topology are solved within a few of
seconds, since only geometric programming is involved.
In a similar way, new GP1 models have to be developed for
each new process technology. This step, which is based on fitting
monomials to given tabulated data (which come from a sophisti-
cated model, or even from empirical device measurements) is com-
pletely automated; it only takes a few minutes (assuming the data
are already available). This is discussed in depth in [2].
References
[1] M. Hershenson, S.Boyd, and T. Lee. Optimal design of a
CMOS op-amp via geometric programming. http://www-
isl.stanford.edu/people/boyd (submitted to IEEE Transactions
on Computer-Aided Design).
[2] M. Hershenson, S. Boyd, and T. H. Lee. MOS models for ge-
ometric programming. Technical report, Stanford University,
1998. http://www-isl.stanford.edu/people/boyd.
[3] P. E. Gill et al.˙ User’s guide for NPSOL (Version 4.0): A
FORTRAN package for nonlinear programming. Technical
Report SOL 86-2, Operations Research Dept., Stanford Uni-
versity, Stanford, California 94305, January 1986.
[4] P. C. Maulik et al.˙ Rapid redesign of analog standard cells
using constrained optimization techniques. In IEEE Custom
Integrated Circuit Conference, pages 8.1.1–8.1.3, 1992.
[5] H. Chang et al. A top-down constraint-driven design method-
ology for analog integrated circuits. In IEEE Custom Inte-
grated Circuit Conference, pages 8.4.1–8.4.6, 1992.
[6] H. Y. Koh, C. H. S´equin, and P. R. Gray. OPASYN: A com-
piler for CMOS operational amplifiers. IEEE Transactions on
Computer-Aided Design, 9:113–125, February 1990.
[7] H. Onodera, H. Kanbara, and K. Tamaru. Operational ampli-
fier compilation with performance optimization. IEEE Jour-
nal of Solid-State Circuits, 25:466–473, April 1990.
[8] J. P. Harvey, M. I. Elmasry, and B. Leung. STAIC: An inter-
active framework for synthesizing CMOS and BiCMOS ana-
log circuits. IEEE Transactions on Computer-Aided Design,
11:1402–1417, November 1992.
[9] W. Nye et al.˙DELIGTH.SPICE: An optimization-based sys-
tem for the design of integrated circuits. IEEE Transactions
on Computer-Aided Design, 7:501–518, April 1988.
[10] W. Kruiskamp and D. Leenaerts. DARWIN: CMOS op amp
synthesis by means of a genetic algorithm. In Proceedings of
the 32nd Annual Design Automation Conference, pages 433–
438, 1995.
[11] M. G. R. Degrauwe et al. Towards an analog system design
environment. IEEE Journal of Solid-State Circuits, 24:1587–
1597, December 1989.
[12] R. Harjani, R. A. Rutenbar, and L. R. Carley. OASYS: A
framework for analog circuit synthesis. IEEE Transactions
on Computer-Aided Design, 8:1247–1265, December 1989.
[13] P. C. Maulik, L. R. Carley, and R. A. Rutenbar. Inte-
ger programming based topology selection of cell-level ana-
log circuits. IEEE Transactions on Computer-Aided Design,
14:401–412, April 1995.
[14] E. S. Ochotta, R. A. Rutenbar, and L. R. Carley. Synthesis
of high-performance analog circuits in ASTRX/OBLX. IEEE
Transactions on Computer-Aided Design, 15:273–293, March
1996.
[15] G. G. E. Gielen, H .C. C. Walscharts, and W. M. C. Sansen.
Analog circuit design optimization based on symbolic simu-
lation and simulated annealing. IEEE Journal of Solid-State
Circuits, 25:707–713, June 1990.
[16] Y. Nesterov and A. Nemirovsky. Interior-point polynomial
methods in convex programming, volume 13 of Studies in Ap-
plied Mathematics. SIAM, Philadelphia, PA, 1994.
[17] S. J. Wright. Primal-Dual Interior-Point Methods. SIAM,
Philadelphia, 1997.
[18] R. J. Duffin, E. L. Peterson, and C. Zener. Geometric Pro-
gramming — Theory and Applications. Wiley, 1967.
[19] J. P. Fishburn and A. E. Dunlop. TILOS: A polynomial pro-
gramming approach to transistor sizing. In IEEE Interna-
tional Conference on Computer-Aided Design, pages 326–
328, 1985.
[20] S. Boyd and L. Vandenberghe. Introduction to convex opti-
mization with engineering applications. Course Notes, 1997.
http://www-leland.stanford.edu/class/ee364/.
[21] K. O. Kortanek, X. Xu, and Y. Ye. An infeasible interior-point
algorithm for solving primal and dual geometric programs.
Math Programming, 76:155–181, 1996.
[22] F. V. Fern´andez, A. Rodr´ıguez-V´azquez, J. L. Huertas, and
G. G. R. Gielen. Symbolic Analysis Techniques. IEEE Press,
1998.