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.展开更多
The Bézier curve is one of the most commonly used parametric curves in CAGD and Computer Graphics and has many good properties for shape design. Developing more convenient techniques for designing and modifying B...The Bézier curve is one of the most commonly used parametric curves in CAGD and Computer Graphics and has many good properties for shape design. Developing more convenient techniques for designing and modifying Bézier curve is an im- portant problem, and is also an important research issue in CAD/CAM and NC technology fields. This work investigates the optimal shape modification of Bézier curves by geometric constraints. This paper presents a new method by constrained optimi- zation based on changing the control points of the curves. By this method, the authors modify control points of the original Bézier curves to satisfy the given constraints and modify the shape of the curves optimally. Practical examples are also given.展开更多
We construct the integrable deformations of the Heisenberg supermagnet model with the quadratic constraints （i） S2=3S - 2I, for S ∈ USPL（2/1）/S（U（2）×U（1）） and （ii） S2=S, for S ∈ USPL（2/1）/S（L（1/...We construct the integrable deformations of the Heisenberg supermagnet model with the quadratic constraints （i） S2=3S - 2I, for S ∈ USPL（2/1）/S（U（2）×U（1）） and （ii） S2=S, for S ∈ USPL（2/1）/S（L（1/1）×U（1））. Under the gauge transformation, their corresponding gauge equivalent counterparts are derived. They are the Grassman odd and super mixed derivative nonlinear Schrodinger equation, respectively.展开更多
文摘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 (No.10471128) supported by the National Natural ScienceFoundation of China
文摘The Bézier curve is one of the most commonly used parametric curves in CAGD and Computer Graphics and has many good properties for shape design. Developing more convenient techniques for designing and modifying Bézier curve is an im- portant problem, and is also an important research issue in CAD/CAM and NC technology fields. This work investigates the optimal shape modification of Bézier curves by geometric constraints. This paper presents a new method by constrained optimi- zation based on changing the control points of the curves. By this method, the authors modify control points of the original Bézier curves to satisfy the given constraints and modify the shape of the curves optimally. Practical examples are also given.
基金Supported by National Key Basic Research Project of China under Grant No.2006CB805905National Natural Science Foundation of China under Grant Nos.10975102 and 10871135
文摘We construct the integrable deformations of the Heisenberg supermagnet model with the quadratic constraints （i） S2=3S - 2I, for S ∈ USPL（2/1）/S（U（2）×U（1）） and （ii） S2=S, for S ∈ USPL（2/1）/S（L（1/1）×U（1））. Under the gauge transformation, their corresponding gauge equivalent counterparts are derived. They are the Grassman odd and super mixed derivative nonlinear Schrodinger equation, respectively.
