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

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

---

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

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

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