The truncated matrix-valued K-moment problem on R-d, C-d, and T-d will be considered. The truncated matrix-valued K-moment problem on Rd requires necessary and sufficient conditions for a multisequence of Hermitian matrices {S gamma}(gamma is an element of Gamma) (where Gamma is a finite subset of N-0(d)) to be the corresponding moments of a positive Hermitian matrix-valued Borel measure sigma, and also the support of sigma must be contained in some given non-empty set K subset of R-d, i. e.,
(0.1) S-gamma = integral(Rd) xi(gamma)d sigma(epsilon), for all gamma is an element of Gamma,
and
(0.2) supp sigma subset of K.
Given a non-empty set K subset of R-d and a finite multisequence, indexed by a certain family of finite subsets of N-0(d), of Hermitian matrices we obtain necessary and sufficient conditions for the existence of a minimal finitely atomic measure which satisfies (0.1) and (0.2). In particular, our result can handle the case when Gamma = {gamma is an element of N-0(d) : 0 <= |gamma| <= 2n + 1}. We will also discuss a similar result in the multivariable complex and polytorus setting.