Показаны проблемы контроля функциональности программного обеспечения, основанного на оценке семантической корректности программного обеспечения информационно-управляющих систем, обусловленные значительной ресурсоемкостью как при использовании семантического векторов, так и семантических дескрипторов для представления данных о физической размерности. Предложен метод эффективного представления семантической информации, основанный на использовании целочисленного отображения семантического пространства в упорядоченное множество целочисленных семантических дескрипторов. Исследованы свойства целочисленных семантических дескрипторов. Показана возможность использования целочисленных семантических дескрипторов для оценки семантической корректности программного обеспечения. Определена аксиоматика целочисленной дескрипторной алгебры, использование которой позволяет снизить вычислительные ресурсы, необходимые для формального доказательства семантической корректности программного обеспечения информационно-управляю
