现代铝工业生产中，普遍采用（）电解法，主要的生产设备是（），通入直流电，在阴阳极上发生电化学反应，阴极的电解产物是（），阴极反应为（），阳极反应为（），阳极上的电解产物为（）。