附录F 功能、时序和状态分析