Экспликация и расчеты энтропии при формальном моделировании системдоклад на конференции