SKM75GAL123D ничего особенного из себя не представляет, устарел малость только и всего. Можно использовать SKM75GAL123D.
Заказываете у "официального дистрибьютора" - Вам привозят.
При необходимости можно заменить на более распространённые SKM75
GB12xxx, второй транзистор не использовать (выводы 4 и 5 соединить, он будет вечно заперт), а диоды в GAL и GB одинаковые.
То, что Вы посчитали 1.41*380/17 и получили ток 31 Ампер это верно только если ключ вечно включен и не выключается.
Но на то и регулятор чтобы регулировать. Теперь осталось сообразить 2 вещи:
1. Модуль возбуждения занимается регулировкой тока возбуждения.
Если ток меньше заданного, то включает ключ, ток начинает нарастать. Если ток стал больше заданного, то выключает, а ток циркулирует по цепи диод-обмотка возбуждения и плавно спадает.
Если номинальный ток 12.5А, то при исправном регуляторе примерно 40% времени ключ будет открыт, а в оставшиеся 60% заперт.
В целом весь процесс практически такой же как в понижающем преобразователе (другие названия Buck или Step-Down) в режиме с непрерывным током дросселя.
2. чтобы знать какой сейчас ток в обмотке возбуждения и регулировать нужен датчик тока.
Управление ключом и сам ключ у Вас работают, стало быть надо поискать как в модуле организована обратная связь по току обмотки, где датчик тока, как устроен регулятор, нет ли там неисправности.
Russia est omnis divisa in partes octo.