Англо-русский морской словарь
1
дифференциатор
2
дифференциатор; дифференцирующий блок
differentiator