A 1 kbit antifuse one time programmable(OTP) memory IP,which is one of the non-volatile memory IPs,was designed and used for power management integrated circuits(ICs).A conventional antifuse OTP cell using a single po...A 1 kbit antifuse one time programmable(OTP) memory IP,which is one of the non-volatile memory IPs,was designed and used for power management integrated circuits(ICs).A conventional antifuse OTP cell using a single positive program voltage(VPP) has a problem when applying a higher voltage than the breakdown voltage of the thin gate oxides and at the same time,securing the reliability of medium voltage(VM) devices that are thick gate transistors.A new antifuse OTP cell using a dual program voltage was proposed to prevent the possibility for failures in a qualification test or the yield drop.For the newly proposed cell,a stable sensing is secured from the post-program resistances of several ten thousand ohms or below due to the voltage higher than the hard breakdown voltage applied to the terminals of the antifuse.The layout size of the designed 1 kbit antifuse OTP memory IP with Dongbu HiTek's 0.18 μm Bipolar-CMOS-DMOS(BCD) process is 567.9 μm×205.135 μm and the post-program resistance of an antifuse is predicted to be several ten thousand ohms.展开更多
The penalty function method, presented many years ago, is an important nu- merical method for the mathematical programming problems. In this article, we propose a dual-relax penalty function approach, which is signifi...The penalty function method, presented many years ago, is an important nu- merical method for the mathematical programming problems. In this article, we propose a dual-relax penalty function approach, which is significantly different from penalty func- tion approach existing for solving the bilevel programming, to solve the nonlinear bilevel programming with linear lower level problem. Our algorithm will redound to the error analysis for computing an approximate solution to the bilevel programming. The error estimate is obtained among the optimal objective function value of the dual-relax penalty problem and of the original bilevel programming problem. An example is illustrated to show the feasibility of the proposed approach.展开更多
The stochastic dual dynamic programming (SDDP) algorithm is becoming increasingly used. In this paper we present analysis of different methods of lattice construction for SDDP exemplifying a realistic variant of the n...The stochastic dual dynamic programming (SDDP) algorithm is becoming increasingly used. In this paper we present analysis of different methods of lattice construction for SDDP exemplifying a realistic variant of the newsvendor problem, incorporating storage of production. We model several days of work and compare the profits realized using different methods of the lattice construction and the corresponding computer time spent in lattice construction. Our case differs from the known one because we consider not only a multidimensional but also a multistage case with stage dependence. We construct scenario lattice for different Markov processes which play a crucial role in stochastic modeling. The novelty of our work is comparing different methods of scenario lattice construction. We considered a realistic variant of the newsvendor problem. The results presented in this article show that the Voronoi method slightly outperforms others, but the k-means method is much faster overall.展开更多
The optimality criteria (OC) method and mathematical programming (MP) were combined to found the sectional optimization model of frame structures. Different methods were adopted to deal with the different constrai...The optimality criteria (OC) method and mathematical programming (MP) were combined to found the sectional optimization model of frame structures. Different methods were adopted to deal with the different constraints. The stress constraints as local constraints were approached by zero-order approximation and transformed into movable sectional lower limits with the full stress criterion. The displacement constraints as global constraints were transformed into explicit expressions with the unit virtual load method. Thus an approximate explicit model for the sectional optimization of frame structures was built with stress and displacement constraints. To improve the resolution efficiency, the dual-quadratic programming was adopted to transform the original optimization model into a dual problem according to the dual theory and solved iteratively in its dual space. A method called approximate scaling step was adopted to reduce computations and smooth the iterative process. Negative constraints were deleted to reduce the size of the optimization model. With MSC/Nastran software as structural solver and MSC/Patran software as developing platform, the sectional optimization software of frame structures was accomplished, considering stress and displacement constraints. The examples show that the efficiency and accuracy are improved.展开更多
A primal-dual infeasible interior point algorithm for multiple objective linear programming (MOLP) problems was presented. In contrast to the current MOLP algorithm. moving through the interior of polytope but not con...A primal-dual infeasible interior point algorithm for multiple objective linear programming (MOLP) problems was presented. In contrast to the current MOLP algorithm. moving through the interior of polytope but not confining the iterates within the feasible region in our proposed algorithm result in a solution approach that is quite different and less sensitive to problem size, so providing the potential to dramatically improve the practical computation effectiveness.展开更多
Two existing methods for solving a class of fuzzy linear programming (FLP) problems involving symmetric trapezoidal fuzzy numbers without converting them to crisp linear programming problems are the fuzzy primal simpl...Two existing methods for solving a class of fuzzy linear programming (FLP) problems involving symmetric trapezoidal fuzzy numbers without converting them to crisp linear programming problems are the fuzzy primal simplex method proposed by Ganesan and Veeramani [1] and the fuzzy dual simplex method proposed by Ebrahimnejad and Nasseri [2]. The former method is not applicable when a primal basic feasible solution is not easily at hand and the later method needs to an initial dual basic feasible solution. In this paper, we develop a novel approach namely the primal-dual simplex algorithm to overcome mentioned shortcomings. A numerical example is given to illustrate the proposed approach.展开更多
In this paper, we propose a primal-dual interior point method for solving general constrained nonlinear programming problems. To avoid the situation that the algorithm we use may converge to a saddle point or a local ...In this paper, we propose a primal-dual interior point method for solving general constrained nonlinear programming problems. To avoid the situation that the algorithm we use may converge to a saddle point or a local maximum, we utilize a merit function to guide the iterates toward a local minimum. Especially, we add the parameter ε to the Newton system when calculating the decrease directions. The global convergence is achieved by the decrease of a merit function. Furthermore, the numerical results confirm that the algorithm can solve this kind of problems in an efficient way.展开更多
In this paper, a class of nonsmooth multiobjective programming problems is considered. We introduce the new concept of invex of order??type II for nondifferentiable locally Lipschitz functions using the tools of Clark...In this paper, a class of nonsmooth multiobjective programming problems is considered. We introduce the new concept of invex of order??type II for nondifferentiable locally Lipschitz functions using the tools of Clarke subdifferential. The new functions are used to derive the sufficient optimality condition for a class of nonsmooth multiobjective programming problems. Utilizing the sufficient optimality conditions, weak and strong duality theorems are established for Wolfe type duality model.展开更多
This paper summarizes recent progress by the authors in developing two solution frameworks for dual control. The first solution framework considers a class of dual control problems where there exists a parameter uncer...This paper summarizes recent progress by the authors in developing two solution frameworks for dual control. The first solution framework considers a class of dual control problems where there exists a parameter uncertainty in the observation equation of the LQG problem. An analytical active dual control law is derived by a variance minimization approach. The issue of how to determine an optimal degree of active learning is then addressed, thus achieving an optimality for this class of dual control problems. The second solution framework considers a general class of discrete-time LQG problems with unknown parameters in both state and observation equations. The best possible (partial) closed-loop feedback control law is derived by exploring the future nominal posterior probabilities, thus taking into account the effect of future learning when constructing the optimal nominal dual control.展开更多
A global convergent algorithm is proposed to solve bilevel linear fractional-linear programming, which is a special class of bilevel programming. In our algorithm, replacing the lower level problem by its dual gap equ...A global convergent algorithm is proposed to solve bilevel linear fractional-linear programming, which is a special class of bilevel programming. In our algorithm, replacing the lower level problem by its dual gap equaling to zero, the bilevel linear fractional-linear programming is transformed into a traditional sin- gle level programming problem, which can be transformed into a series of linear fractional programming problem. Thus, the modi- fied convex simplex method is used to solve the infinite linear fractional programming to obtain the global convergent solution of the original bilevel linear fractional-linear programming. Finally, an example demonstrates the feasibility of the proposed algorithm.展开更多
In this paper,we consider nonlinear infinity-norm minimization problems.We device a reliable Lagrangian dual approach for solving this kind of problems and based on this method we propose an algorithm for the mixed li...In this paper,we consider nonlinear infinity-norm minimization problems.We device a reliable Lagrangian dual approach for solving this kind of problems and based on this method we propose an algorithm for the mixed linear and nonlinear infinity- norm minimization problems.Numerical results are presented.展开更多
This study introduced a dual model on an original linear programming to obtain those shadow prices of resources that take part in optimizing. Of feed formulation, the shadow prices of nutrient resources show their inf...This study introduced a dual model on an original linear programming to obtain those shadow prices of resources that take part in optimizing. Of feed formulation, the shadow prices of nutrient resources show their influencing degree on a diet last cost when increasing or decreasing expected diet nutrient values. The higher the shadow price of one nutrient resource, the more obvious its influencing action on a diet last cost. When the shadow price of a kind of resource equals 'zero', it means that reaching of this nutrient value does not have influence on a special diet last cost within a particular value range. At the same time, this paper discussed the future development direction of feed formulation optimizing techniques in China.展开更多
In this paper we study L-shaped convex programming. An algorithm for it is given. The result of computation shows that the algorithm is effective. The algorithm can be applied to two stage problem of stochastic convex...In this paper we study L-shaped convex programming. An algorithm for it is given. The result of computation shows that the algorithm is effective. The algorithm can be applied to two stage problem of stochastic convex programming.展开更多
The program OASIS4.0 has been released. Apart from the improved single-wavelength anomalous diffraction (SAD) phasing algorithm described in a separate paper, an important new feature in this version is the automati...The program OASIS4.0 has been released. Apart from the improved single-wavelength anomalous diffraction (SAD) phasing algorithm described in a separate paper, an important new feature in this version is the automation of the iterative phasing and model-building process in solving protein structures. A new graphical user's interface (GUI) is provided for controlling and real-time monitoring the dual-space iterative process. The GUI is discussed in detail in the present paper.展开更多
The purpose of this paper is to introduce second order (K, F)-pseudoconvex and second order strongly (K, F)- pseudoconvex functions which are a generalization of cone-pseudoconvex and strongly cone-pseudoconvex functi...The purpose of this paper is to introduce second order (K, F)-pseudoconvex and second order strongly (K, F)- pseudoconvex functions which are a generalization of cone-pseudoconvex and strongly cone-pseudoconvex functions. A pair of second order symmetric dual multiobjective nonlinear programs is formulated by using the considered functions. Furthermore, the weak, strong and converse duality theorems for this pair are established. Finally, a self duality theorem is given.展开更多
基金Work supported by the Second Stage of Brain Korea 21 Projectssupported by Changwon National University in 2009-2010
文摘A 1 kbit antifuse one time programmable(OTP) memory IP,which is one of the non-volatile memory IPs,was designed and used for power management integrated circuits(ICs).A conventional antifuse OTP cell using a single positive program voltage(VPP) has a problem when applying a higher voltage than the breakdown voltage of the thin gate oxides and at the same time,securing the reliability of medium voltage(VM) devices that are thick gate transistors.A new antifuse OTP cell using a dual program voltage was proposed to prevent the possibility for failures in a qualification test or the yield drop.For the newly proposed cell,a stable sensing is secured from the post-program resistances of several ten thousand ohms or below due to the voltage higher than the hard breakdown voltage applied to the terminals of the antifuse.The layout size of the designed 1 kbit antifuse OTP memory IP with Dongbu HiTek's 0.18 μm Bipolar-CMOS-DMOS(BCD) process is 567.9 μm×205.135 μm and the post-program resistance of an antifuse is predicted to be several ten thousand ohms.
基金supported by the National Science Foundation of China (70771080)Social Science Foundation of Ministry of Education (10YJC630233)
文摘The penalty function method, presented many years ago, is an important nu- merical method for the mathematical programming problems. In this article, we propose a dual-relax penalty function approach, which is significantly different from penalty func- tion approach existing for solving the bilevel programming, to solve the nonlinear bilevel programming with linear lower level problem. Our algorithm will redound to the error analysis for computing an approximate solution to the bilevel programming. The error estimate is obtained among the optimal objective function value of the dual-relax penalty problem and of the original bilevel programming problem. An example is illustrated to show the feasibility of the proposed approach.
文摘The stochastic dual dynamic programming (SDDP) algorithm is becoming increasingly used. In this paper we present analysis of different methods of lattice construction for SDDP exemplifying a realistic variant of the newsvendor problem, incorporating storage of production. We model several days of work and compare the profits realized using different methods of the lattice construction and the corresponding computer time spent in lattice construction. Our case differs from the known one because we consider not only a multidimensional but also a multistage case with stage dependence. We construct scenario lattice for different Markov processes which play a crucial role in stochastic modeling. The novelty of our work is comparing different methods of scenario lattice construction. We considered a realistic variant of the newsvendor problem. The results presented in this article show that the Voronoi method slightly outperforms others, but the k-means method is much faster overall.
基金Project supported by the National Natural Science Foundation of China(No. 10472003) the Natural Science Foundation of Beijing(No.3002002) the Science Foundation of Beijing Municipal Commission of Education(No.KM200410005019)
文摘The optimality criteria (OC) method and mathematical programming (MP) were combined to found the sectional optimization model of frame structures. Different methods were adopted to deal with the different constraints. The stress constraints as local constraints were approached by zero-order approximation and transformed into movable sectional lower limits with the full stress criterion. The displacement constraints as global constraints were transformed into explicit expressions with the unit virtual load method. Thus an approximate explicit model for the sectional optimization of frame structures was built with stress and displacement constraints. To improve the resolution efficiency, the dual-quadratic programming was adopted to transform the original optimization model into a dual problem according to the dual theory and solved iteratively in its dual space. A method called approximate scaling step was adopted to reduce computations and smooth the iterative process. Negative constraints were deleted to reduce the size of the optimization model. With MSC/Nastran software as structural solver and MSC/Patran software as developing platform, the sectional optimization software of frame structures was accomplished, considering stress and displacement constraints. The examples show that the efficiency and accuracy are improved.
基金Supported by the Doctoral Educational Foundation of China of the Ministry of Education(20020486035)
文摘A primal-dual infeasible interior point algorithm for multiple objective linear programming (MOLP) problems was presented. In contrast to the current MOLP algorithm. moving through the interior of polytope but not confining the iterates within the feasible region in our proposed algorithm result in a solution approach that is quite different and less sensitive to problem size, so providing the potential to dramatically improve the practical computation effectiveness.
文摘Two existing methods for solving a class of fuzzy linear programming (FLP) problems involving symmetric trapezoidal fuzzy numbers without converting them to crisp linear programming problems are the fuzzy primal simplex method proposed by Ganesan and Veeramani [1] and the fuzzy dual simplex method proposed by Ebrahimnejad and Nasseri [2]. The former method is not applicable when a primal basic feasible solution is not easily at hand and the later method needs to an initial dual basic feasible solution. In this paper, we develop a novel approach namely the primal-dual simplex algorithm to overcome mentioned shortcomings. A numerical example is given to illustrate the proposed approach.
文摘In this paper, we propose a primal-dual interior point method for solving general constrained nonlinear programming problems. To avoid the situation that the algorithm we use may converge to a saddle point or a local maximum, we utilize a merit function to guide the iterates toward a local minimum. Especially, we add the parameter ε to the Newton system when calculating the decrease directions. The global convergence is achieved by the decrease of a merit function. Furthermore, the numerical results confirm that the algorithm can solve this kind of problems in an efficient way.
文摘In this paper, a class of nonsmooth multiobjective programming problems is considered. We introduce the new concept of invex of order??type II for nondifferentiable locally Lipschitz functions using the tools of Clarke subdifferential. The new functions are used to derive the sufficient optimality condition for a class of nonsmooth multiobjective programming problems. Utilizing the sufficient optimality conditions, weak and strong duality theorems are established for Wolfe type duality model.
基金the Research Grants Council of Hong Kong, P.R.China under Grant CUHK 4180/03E
文摘This paper summarizes recent progress by the authors in developing two solution frameworks for dual control. The first solution framework considers a class of dual control problems where there exists a parameter uncertainty in the observation equation of the LQG problem. An analytical active dual control law is derived by a variance minimization approach. The issue of how to determine an optimal degree of active learning is then addressed, thus achieving an optimality for this class of dual control problems. The second solution framework considers a general class of discrete-time LQG problems with unknown parameters in both state and observation equations. The best possible (partial) closed-loop feedback control law is derived by exploring the future nominal posterior probabilities, thus taking into account the effect of future learning when constructing the optimal nominal dual control.
基金supported by the National Natural Science Foundation of China(70771080)the Special Fund for Basic Scientific Research of Central Colleges+2 种基金China University of Geosciences(Wuhan) (CUG090113)the Research Foundation for Outstanding Young TeachersChina University of Geosciences(Wuhan)(CUGQNW0801)
文摘A global convergent algorithm is proposed to solve bilevel linear fractional-linear programming, which is a special class of bilevel programming. In our algorithm, replacing the lower level problem by its dual gap equaling to zero, the bilevel linear fractional-linear programming is transformed into a traditional sin- gle level programming problem, which can be transformed into a series of linear fractional programming problem. Thus, the modi- fied convex simplex method is used to solve the infinite linear fractional programming to obtain the global convergent solution of the original bilevel linear fractional-linear programming. Finally, an example demonstrates the feasibility of the proposed algorithm.
文摘In this paper,we consider nonlinear infinity-norm minimization problems.We device a reliable Lagrangian dual approach for solving this kind of problems and based on this method we propose an algorithm for the mixed linear and nonlinear infinity- norm minimization problems.Numerical results are presented.
基金The study was supported by“Tenth Five Year”National Science and Technology Plan of China(2001 BA513B04-01).
文摘This study introduced a dual model on an original linear programming to obtain those shadow prices of resources that take part in optimizing. Of feed formulation, the shadow prices of nutrient resources show their influencing degree on a diet last cost when increasing or decreasing expected diet nutrient values. The higher the shadow price of one nutrient resource, the more obvious its influencing action on a diet last cost. When the shadow price of a kind of resource equals 'zero', it means that reaching of this nutrient value does not have influence on a special diet last cost within a particular value range. At the same time, this paper discussed the future development direction of feed formulation optimizing techniques in China.
基金This work is supported by Science Research Foundation (20262250) of the Education Department of Liaoning Province.
文摘In this paper we study L-shaped convex programming. An algorithm for it is given. The result of computation shows that the algorithm is effective. The algorithm can be applied to two stage problem of stochastic convex programming.
基金Project supported by the Innovation Foundation of the Chinese Academy of Sciences,and the National Basic Research Program of China(Grant No.2002CB713801)
文摘The program OASIS4.0 has been released. Apart from the improved single-wavelength anomalous diffraction (SAD) phasing algorithm described in a separate paper, an important new feature in this version is the automation of the iterative phasing and model-building process in solving protein structures. A new graphical user's interface (GUI) is provided for controlling and real-time monitoring the dual-space iterative process. The GUI is discussed in detail in the present paper.
文摘The purpose of this paper is to introduce second order (K, F)-pseudoconvex and second order strongly (K, F)- pseudoconvex functions which are a generalization of cone-pseudoconvex and strongly cone-pseudoconvex functions. A pair of second order symmetric dual multiobjective nonlinear programs is formulated by using the considered functions. Furthermore, the weak, strong and converse duality theorems for this pair are established. Finally, a self duality theorem is given.