Показати скорочений опис матеріалу

dc.contributor.authorПетрик, В.Л.
dc.date.accessioned2022-12-09T12:17:49Z
dc.date.available2022-12-09T12:17:49Z
dc.date.issued2007
dc.identifier.citationПетрик, В. Л. Целочисленное семантическое отображение / В. Л. Петрик // Радіоелектронні і комп'ютерні системи. – 2007. – № 3. – C. 73–81.uk_UA
dc.identifier.issn1814-4225
dc.identifier.urihttp://dspace.library.khai.edu/xmlui/handle/123456789/3173
dc.description.abstractПоказаны проблемы контроля функциональности программного обеспечения, основанного на оценке семантической корректности программного обеспечения информационно-управляющих систем, обусловленные значительной ресурсоемкостью как при использовании семантического векторов, так и семантических дескрипторов для представления данных о физической размерности. Предложен метод эффективного представления семантической информации, основанный на использовании целочисленного отображения семантического пространства в упорядоченное множество целочисленных семантических дескрипторов. Исследованы свойства целочисленных семантических дескрипторов. Показана возможность использования целочисленных семантических дескрипторов для оценки семантической корректности программного обеспечения. Определена аксиоматика целочисленной дескрипторной алгебры, использование которой позволяет снизить вычислительные ресурсы, необходимые для формального доказательства семантической корректности программного обеспечения информационно-управляющих систем.uk_UA
dc.description.abstractПоказано проблеми контролю функціональності програмного забезпечення, що ґрунтується на оцінці семантичної коректності програмного забезпечення інформаційно-керуючих систем, обумовлені значною ресурсоємністю як при використанні семантичного векторів, так і семантичних дескрипторів для подання даних про фізичну розмірність. Запропоновано метод ефективного представлення семантичної інформації, заснований на використанні цілісного відображення семантичного простору в упорядкованому множині цілих семантичних дескрипторів. Досліджено властивості цілих семантичних дескрипторів. Показано можливість використання цілих семантичних дескрипторів для оцінки семантичної коректності програмного забезпечення. Визначено аксіоматику цілісної дескрипторної алгебри, використання якої дозволяє знизити обчислювальні ресурси, необхідні для доказу семантичної коректності програмного забезпечення інформаційно-керуючих систем.uk_UA
dc.language.isoruuk_UA
dc.publisherХАІuk_UA
dc.subjectрадиоэлектронные и компьютерные системыuk_UA
dc.subjectсемантический дескрипторuk_UA
dc.subjectсемантическое отображениеuk_UA
dc.subjectдескрипторная алгебраuk_UA
dc.subjectсемантическое пространствоuk_UA
dc.subjectрадіоелектронні і комп'ютерні системиuk_UA
dc.subjectсемантичний дескрипторuk_UA
dc.subjectсемантичне відображенняuk_UA
dc.subjectдескрипторна алгебраuk_UA
dc.subjectсемантичний простірuk_UA
dc.titleЦелочисленное семантическое отображениеuk_UA
dc.typeArticleuk_UA


Долучені файли

Thumbnail

Даний матеріал зустрічається у наступних фондах

Показати скорочений опис матеріалу