阅读以下说明和图，根据要求回答问题1～问题3。【说明】某航空公司会员积分系统(CFrequentFlyer)的主要功能描述如下：乘客只要办理该航空公司的会员卡，即可成为普卡会员(CBasic)。随着飞行里程数的积累，可以从普卡会员升级到银卡会员(CSilver)或金卡会员(CGold)。非会员(CNonMember)不能累积里程数。每年年末，系统根据会员在本年度累积的里程数对下一年会员等级进行调整。普卡会员在一年内累积的里程数若满25,000英里但不足50,000英里，则自动升级为银卡会员；若累积的里程数在50,000英里以上，则自动升级为金卡会员。银卡会员在一年内累积的里程数若在50,000英里以上，则自动升级为金卡会员。若一年内没有达到对应级别要求的里程数，则自动降低会员等级。金卡会员一年内累积的里程数若不足25,000英里，则自动降级为普卡会员；若累积的里程数达到25,000英里，但是不足50,000英里，则自动降级为银卡会员。银卡会员一年内累积的里程数若不足25,000英里，则自动降级为普卡会员。采用面向对象方法对会员积分系统进行分析与设计，得到如图13—3所示的状态图和图13—4所示的类图。

根据说明中的描述，给出图13—3中S1～S3处所对应的状态以及T1～T3处所对应的迁移的名称。