共查询到20条相似文献,搜索用时 31 毫秒
1.
Cosmic Research - An Erratum to this paper has been published: https://doi.org/10.1134/S0010952521120017 相似文献
2.
3.
4.
Cosmic Research - An Erratum to this paper has been published: https://doi.org/10.1134/S0010952521120029 相似文献
5.
Cosmic Research - An Erratum to this paper has been published: https://doi.org/10.1134/S0010952521110010 相似文献
6.
7.
We have developed a qualitative calculus for three-dimensional directions and rotations. A direction is characterized in terms of the signs of its components relative to an absolute coordinate system. A rotation is characterized in terms of the signs of the components of the associated 3 × 3 rotation matrix.
A system has been implemented that can solve the following problems: 1. Given the signs of direction and rotation matrix P, find the possible signs of the image of under P. Moreover, for each possible sign vector of · P, generate numerical instantiations of and P that yields that result.
2. Given the signs of rotation matrices P and Q, find the possible signs of the composition P · Q. Moreover, for each possible sign matrix for the composition, generate numerical instantiations of P and Q that yield that result.We have also proved some related complexity and expressivity results. The satisfiability problem for a qualitative rotation constraint network is NP-complete in two dimensions and NP-hard in three dimensions. In three dimensions, any two directions are distinguishable by a qualitative rotation constraint network. 相似文献
10.
12.
14.
15.
16.
Pekka Janhunen 《Acta Astronautica》2011,68(5-6):567-570
18.
《Acta Astronautica》2007,60(12):1123-1134
19.