Поиск программных инвариантов в виде полиномов

Поиск программных инвариантов в виде полиномов

Представлено решение проблемы поиска инвариантов программ в виде полиномиальных зависимостей методом верхней аппроксимации. Этот итерационный метод, с успехом примененный к программам над абсолютно свободными алгебрами и векторными пространствами данных, адаптирован для кольца полиномов. Множество...

Повний опис

Збережено в:
Бібліографічні деталі
Видавець:Видавничий дім "Академперіодика" НАН України
Дата:2013
Автор: Максимец, А.Н.
Формат: Стаття
Мова:Russian
Опубліковано: Видавничий дім "Академперіодика" НАН України 2013
Назва видання:Доповіді НАН України
Теми:
Інформатика та кібернетика
Онлайн доступ:http://dspace.nbuv.gov.ua/handle/123456789/85891
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Цитувати:Поиск программных инвариантов в виде полиномов / А.Н. Максимец // Доповiдi Нацiональної академiї наук України. — 2013. — № 9. — С. 44–50. — Бібліогр.: 12 назв. — рос.

Репозиторії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id irk-123456789-85891
record_format dspace
spelling irk-123456789-858912015-09-01T03:01:52Z Поиск программных инвариантов в виде полиномов Максимец, А.Н. Інформатика та кібернетика Представлено решение проблемы поиска инвариантов программ в виде полиномиальных зависимостей методом верхней аппроксимации. Этот итерационный метод, с успехом примененный к программам над абсолютно свободными алгебрами и векторными пространствами данных, адаптирован для кольца полиномов. Множество инвариантов в этом случае представляется в виде идеала кольца полиномов. Решены задачи о соотношениях и о пересечении множеств инвариантов с использованием базисов Гребнера при условии невырожденности оператора присваивания. Наведено рiшення проблеми пошуку iнварiантiв програм у виглядi полiномiальних залежностей методом верхньої апроксимацiї. Цей iтерацiйнний метод, вдало застосований для програм з абсолютно вiльними алгебрами i векторними просторами даних, адаптований для кiльця полiномiв. Множина iнварiантiв в цьому випадку являє собою iдеал кiльця полiномiв. Розв’язанi задачi про спiввiдношення i про перетин множин iнварiантiв з використанням базисiв Грьобнера при умовi невиродженостi оператора присвоювання. A solution of the polynomial invariant generation problem for programs is presented. The iteration upper approximation method which was successfully applied to free algebras is adopted for a polynomial ring. The set of invariants is interpreted as an ideal over a polynomial ring. The solutions of the relationship and intersection problems are proposed. An intersection of Gröbner bases is applied to solve the intersection problem. The inverse obligatory is applied to solve the relationship problem. 2013 Article Поиск программных инвариантов в виде полиномов / А.Н. Максимец // Доповiдi Нацiональної академiї наук України. — 2013. — № 9. — С. 44–50. — Бібліогр.: 12 назв. — рос. 1025-6415 http://dspace.nbuv.gov.ua/handle/123456789/85891 519.6:539.3 ru Доповіді НАН України Видавничий дім "Академперіодика" НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language Russian
topic Інформатика та кібернетика
Інформатика та кібернетика
spellingShingle Інформатика та кібернетика
Інформатика та кібернетика
Максимец, А.Н.
Поиск программных инвариантов в виде полиномов
Доповіді НАН України
description Представлено решение проблемы поиска инвариантов программ в виде полиномиальных зависимостей методом верхней аппроксимации. Этот итерационный метод, с успехом примененный к программам над абсолютно свободными алгебрами и векторными пространствами данных, адаптирован для кольца полиномов. Множество инвариантов в этом случае представляется в виде идеала кольца полиномов. Решены задачи о соотношениях и о пересечении множеств инвариантов с использованием базисов Гребнера при условии невырожденности оператора присваивания.
format Article
author Максимец, А.Н.
author_facet Максимец, А.Н.
author_sort Максимец, А.Н.
title Поиск программных инвариантов в виде полиномов
title_short Поиск программных инвариантов в виде полиномов
title_full Поиск программных инвариантов в виде полиномов
title_fullStr Поиск программных инвариантов в виде полиномов
title_full_unstemmed Поиск программных инвариантов в виде полиномов
title_sort поиск программных инвариантов в виде полиномов
publisher Видавничий дім "Академперіодика" НАН України
publishDate 2013
topic_facet Інформатика та кібернетика
url http://dspace.nbuv.gov.ua/handle/123456789/85891
citation_txt Поиск программных инвариантов в виде полиномов / А.Н. Максимец // Доповiдi Нацiональної академiї наук України. — 2013. — № 9. — С. 44–50. — Бібліогр.: 12 назв. — рос.
series Доповіді НАН України
work_keys_str_mv AT maksimecan poiskprogrammnyhinvariantovvvidepolinomov
first_indexed 2023-10-18T19:32:11Z
last_indexed 2023-10-18T19:32:11Z
_version_ 1796147227776778240

Схожі ресурси