满足(h)-《非计划性下机定义》