Алгоритмические модели в автоматизации исследований : [Сб. статей]