系统设计的两种抽象：隐藏还是简化