英语 ⇄ 俄语 +

mapping from locations to clock constraints, called the location invariant 强调
编程	отображение позиций во временные ограничения, называемое инвариантом позиций (ssn)