This paper presents a generalization of the authors＇ earlier work. In this paper, the two concepts, generic regular decomposition （GRD） and regular-decomposition-unstable （RDU） variety introduced in the authors＇...This paper presents a generalization of the authors＇ earlier work. In this paper, the two concepts, generic regular decomposition （GRD） and regular-decomposition-unstable （RDU） variety introduced in the authors＇ previous work for generic zero-dimensional systems, are extended to the case where the parametric systems are not necessarily zero-dimensional. An algorithm is provided to compute GRDs and the associated RDU varieties of parametric systems simultaneously on the basis of the algorithm for generic zero-dimensional systems proposed in the authors＇ previous work. Then the solutions of any parametric system can be represented by the solutions of finitely many regular systems and the decomposition is stable at any parameter value in the complement of the associated RDU variety of the parameter space. The related definitions and the results presented in the authors＇ previous work are also generalized and a further discussion on RDU varieties is given from an experimental point of view. The new algorithm has been implemented on the basis of DISCOVERER with Maple 16 and experimented with a number of benchmarks from the literature.展开更多
基金supported by by the National Natural Science Foundation of China under Grant Nos.11271034,11290141the Project SYSKF1207 from SKLCS,IOS,the Chinese Academy of Sciences
文摘This paper presents a generalization of the authors＇ earlier work. In this paper, the two concepts, generic regular decomposition （GRD） and regular-decomposition-unstable （RDU） variety introduced in the authors＇ previous work for generic zero-dimensional systems, are extended to the case where the parametric systems are not necessarily zero-dimensional. An algorithm is provided to compute GRDs and the associated RDU varieties of parametric systems simultaneously on the basis of the algorithm for generic zero-dimensional systems proposed in the authors＇ previous work. Then the solutions of any parametric system can be represented by the solutions of finitely many regular systems and the decomposition is stable at any parameter value in the complement of the associated RDU variety of the parameter space. The related definitions and the results presented in the authors＇ previous work are also generalized and a further discussion on RDU varieties is given from an experimental point of view. The new algorithm has been implemented on the basis of DISCOVERER with Maple 16 and experimented with a number of benchmarks from the literature.
