So by parallel we mean - they're either both spin up remember that's our spin quantum number, that fourth quantum number.
所以我们意味着，它们都是自旋向上，记住我们的自旋量子数，是第四个量子数。
2
And this spin magnetic quantum number we abbreviate as m sub s, so that's to differentiate from m sub l.
这个自旋磁量子数我们把它简写成m下标s，以和m小标l有所区分。
3
SPIN adopts the partial order reduction strategy to reduce the number of system states that needs to be visited and stored in the state space to solve the model checking problem.