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