请写出一个一次函数，使y随着x的增大而减小：______．

按数据流的类型，结构化设计方法有两种设计策略，它们是变换分析设计和______。