In this paper, let (R, m) be a Noetherian local ring, I lohtain in R an ideal, M and N be two finitely generated modules. Firstly, we study the properties of HI^t(M), t = f-depth(I, M) and discuss the relationsh...In this paper, let (R, m) be a Noetherian local ring, I lohtain in R an ideal, M and N be two finitely generated modules. Firstly, we study the properties of HI^t(M), t = f-depth(I, M) and discuss the relationship between the Artinianness of HI^i(M, N) and the Artinianness of HI^i(N). Then, we get that HI^d(M, N) is I-cofinite, if (R, m) is a d-dimensional Gorenstein local ring.展开更多
A modified regularized robust filter is proposed for spacecraft attitude determination in the presence of relative misalignment of attitude sensors. The filter is designed to minimize the worst-possible residual norm ...A modified regularized robust filter is proposed for spacecraft attitude determination in the presence of relative misalignment of attitude sensors. The filter is designed to minimize the worst-possible residual norm on condition that there is parametric uncertainty in the measurement model. The weighting matrix of the residual norm is designed to minimize the upper bound of the estimation error variance. The performance of the proposed attitude determination robust filter is illustrated with the use of real test data from a real three-floated gyroscope. Simulation results demonstrate that the attitude estimation accuracy is improved by using the proposed algorithm.展开更多
文摘In this paper, let (R, m) be a Noetherian local ring, I lohtain in R an ideal, M and N be two finitely generated modules. Firstly, we study the properties of HI^t(M), t = f-depth(I, M) and discuss the relationship between the Artinianness of HI^i(M, N) and the Artinianness of HI^i(N). Then, we get that HI^d(M, N) is I-cofinite, if (R, m) is a d-dimensional Gorenstein local ring.
基金National Natural Science Foundation of China (60702019 61074103)
文摘A modified regularized robust filter is proposed for spacecraft attitude determination in the presence of relative misalignment of attitude sensors. The filter is designed to minimize the worst-possible residual norm on condition that there is parametric uncertainty in the measurement model. The weighting matrix of the residual norm is designed to minimize the upper bound of the estimation error variance. The performance of the proposed attitude determination robust filter is illustrated with the use of real test data from a real three-floated gyroscope. Simulation results demonstrate that the attitude estimation accuracy is improved by using the proposed algorithm.