Термокомпенсированный кварцевый генератор - это полупроводниковая микросборка, состоящая из кварцевого резонатора и микросхемы-генератора. Собственная частота резонатора достаточно стабильна, но зависит от температуры. Зависимость от температуры различается для разных экземпляров генератора.

Целью работы является верификация вектора коэффициентов, найденного эвристической программой оптимизации для стабилизации частоты генератора. В ходе работы был применён метод доказательного глобального решения уравнения с простейшим тестом существования решения. Полученные данные не позволяют осуществить верификацию результатов. Алгоритм необходимо улучшить.