Целочисленное семантическое отображение

Abstract

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

Показано проблеми контролю функціональності програмного забезпечення, що ґрунтується на оцінці семантичної коректності програмного забезпечення інформаційно-керуючих систем, обумовлені значною ресурсоємністю як при використанні семантичного векторів, так і семантичних дескрипторів для подання даних про фізичну розмірність. Запропоновано метод ефективного представлення семантичної інформації, заснований на використанні цілісного відображення семантичного простору в упорядкованому множині цілих семантичних дескрипторів. Досліджено властивості цілих семантичних дескрипторів. Показано можливість використання цілих семантичних дескрипторів для оцінки семантичної коректності програмного забезпечення. Визначено аксіоматику цілісної дескрипторної алгебри, використання якої дозволяє знизити обчислювальні ресурси, необхідні для доказу семантичної коректності програмного забезпечення інформаційно-керуючих систем.