Цахим шуудангийн бүртгэл: Машинные методы исследования автоматических систем