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

 Наукова періодика України 

---

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

• Петрик Валерія Леонідівна (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"