A class of trust region methods for solving linear inequality constrained problems is proposed in this paper. It is shown that the algorithm is of global convergence.The algorithm uses a version of the two-sided proje...A class of trust region methods for solving linear inequality constrained problems is proposed in this paper. It is shown that the algorithm is of global convergence.The algorithm uses a version of the two-sided projection and the strategy of the unconstrained trust region methods. It keeps the good convergence properties of the unconstrained case and has the merits of the projection method. In some sense, our algorithm can be regarded as an extension and improvement of the projected type algorithm.展开更多
In this paper we prove that a class of trust region methods presented in part I is superlinearly convergent. Numerical tests are reported thereafter. Results by solving a set of typical problems selected from literatu...In this paper we prove that a class of trust region methods presented in part I is superlinearly convergent. Numerical tests are reported thereafter. Results by solving a set of typical problems selected from literatures have demonstrated that our algorithm is effective.展开更多
Chemical process optimization can be described as large-scale nonlinear constrained minimization. The modified augmented Lagrange multiplier methods (MALMM) for large-scale nonlinear constrained minimization are studi...Chemical process optimization can be described as large-scale nonlinear constrained minimization. The modified augmented Lagrange multiplier methods (MALMM) for large-scale nonlinear constrained minimization are studied in this paper. The Lagrange function contains the penalty terms on equality and inequality constraints and the methods can be applied to solve a series of bound constrained sub-problems instead of a series of unconstrained sub-problems. The steps of the methods are examined in full detail. Numerical experiments are made for a variety of problems, from small to very large-scale, which show the stability and effectiveness of the methods in large-scale problems.展开更多
As a new type of marine structure,floating breakwater can provide suitable water area for coastal residents.In this paper,a multi-module floating breakwater with three cylinders was designed.According to the character...As a new type of marine structure,floating breakwater can provide suitable water area for coastal residents.In this paper,a multi-module floating breakwater with three cylinders was designed.According to the characteristics of each module,the elastic connector was created.The cabins with functions such as living,generating electricity and entertainment were arranged.A linear spring constrained design wave(LSCDW)method for strength analysis of floating marine structures with multi-module elastic connections was proposed.The numerical model was verified by 1:50 similarity ratio in the test tank.According to the analysis of design wave and extreme wave conditions,considering the mooring loads and environmental loads and connector loads,the overall strength of breakwater was analyzed by LSCDW method.These studies can provide new insights and theoretical guidance for the design of multi-module floating structures.展开更多
By analyzing some existing test data generation methods, a new automated test data generation approach was presented. The linear predicate functions on a given path was directly used to construct a linear constrain sy...By analyzing some existing test data generation methods, a new automated test data generation approach was presented. The linear predicate functions on a given path was directly used to construct a linear constrain system for input variables. Only when the predicate function is nonlinear, does the linear arithmetic representation need to be computed. If the entire predicate functions on the given path are linear, either the desired test data or the guarantee that the path is infeasible can be gotten from the solution of the constrain system. Otherwise, the iterative refining for the input is required to obtain the desired test data. Theoretical analysis and test results show that the approach is simple and effective, and takes less computation. The scheme can also be used to generate path-based test data for the programs with arrays and loops.展开更多
This paper constructs a concentric ellipsoid torso-heart model by boundary element method and investigates the impacts of model structures on the cardiac magnetic fields generated by both equivalent primary source--a ...This paper constructs a concentric ellipsoid torso-heart model by boundary element method and investigates the impacts of model structures on the cardiac magnetic fields generated by both equivalent primary source--a current dipole and volume currents. Then by using the simulated magnetic fields based on torso-heart model as input, the cardiac current sources--an array of current dipoles by optimal constrained linear inverse method are constructed. Next, the current dipole array reconstruction considering boundaries is compared with that in an unbounded homogeneous medium. Furthermore, the influence of random noise on reconstruction is also considered and the reconstructing effect is judged by several reconstructing parameters.展开更多
文摘A class of trust region methods for solving linear inequality constrained problems is proposed in this paper. It is shown that the algorithm is of global convergence.The algorithm uses a version of the two-sided projection and the strategy of the unconstrained trust region methods. It keeps the good convergence properties of the unconstrained case and has the merits of the projection method. In some sense, our algorithm can be regarded as an extension and improvement of the projected type algorithm.
文摘In this paper we prove that a class of trust region methods presented in part I is superlinearly convergent. Numerical tests are reported thereafter. Results by solving a set of typical problems selected from literatures have demonstrated that our algorithm is effective.
文摘Chemical process optimization can be described as large-scale nonlinear constrained minimization. The modified augmented Lagrange multiplier methods (MALMM) for large-scale nonlinear constrained minimization are studied in this paper. The Lagrange function contains the penalty terms on equality and inequality constraints and the methods can be applied to solve a series of bound constrained sub-problems instead of a series of unconstrained sub-problems. The steps of the methods are examined in full detail. Numerical experiments are made for a variety of problems, from small to very large-scale, which show the stability and effectiveness of the methods in large-scale problems.
基金the National Natural Science Foundation of China(No.52071161)。
文摘As a new type of marine structure,floating breakwater can provide suitable water area for coastal residents.In this paper,a multi-module floating breakwater with three cylinders was designed.According to the characteristics of each module,the elastic connector was created.The cabins with functions such as living,generating electricity and entertainment were arranged.A linear spring constrained design wave(LSCDW)method for strength analysis of floating marine structures with multi-module elastic connections was proposed.The numerical model was verified by 1:50 similarity ratio in the test tank.According to the analysis of design wave and extreme wave conditions,considering the mooring loads and environmental loads and connector loads,the overall strength of breakwater was analyzed by LSCDW method.These studies can provide new insights and theoretical guidance for the design of multi-module floating structures.
文摘By analyzing some existing test data generation methods, a new automated test data generation approach was presented. The linear predicate functions on a given path was directly used to construct a linear constrain system for input variables. Only when the predicate function is nonlinear, does the linear arithmetic representation need to be computed. If the entire predicate functions on the given path are linear, either the desired test data or the guarantee that the path is infeasible can be gotten from the solution of the constrain system. Otherwise, the iterative refining for the input is required to obtain the desired test data. Theoretical analysis and test results show that the approach is simple and effective, and takes less computation. The scheme can also be used to generate path-based test data for the programs with arrays and loops.
基金Project supported by the State Key Development Program for Basic Research of China(Grant No.2006CB601007)the National Natural Science Foundation of China(Grant No.10674006)the National High Technology Research and Development Program of China(Grant No.2007AA03Z238)
文摘This paper constructs a concentric ellipsoid torso-heart model by boundary element method and investigates the impacts of model structures on the cardiac magnetic fields generated by both equivalent primary source--a current dipole and volume currents. Then by using the simulated magnetic fields based on torso-heart model as input, the cardiac current sources--an array of current dipoles by optimal constrained linear inverse method are constructed. Next, the current dipole array reconstruction considering boundaries is compared with that in an unbounded homogeneous medium. Furthermore, the influence of random noise on reconstruction is also considered and the reconstructing effect is judged by several reconstructing parameters.
