约束、时序分析的概念