Поиск программных инвариантов в виде полиномов
Представлено решение проблемы поиска инвариантов программ в виде полиномиальных
 зависимостей методом верхней аппроксимации. Этот итерационный метод, с успехом примененный к программам над абсолютно свободными алгебрами и векторными пространствами данных, адаптирован для кольца полиномов. Мн...
Збережено в:
| Опубліковано в: : | Доповіді НАН України |
|---|---|
| Дата: | 2013 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Видавничий дім "Академперіодика" НАН України
2013
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/85891 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Поиск программных инвариантов в виде полиномов / А.Н. Максимец // Доповiдi Нацiональної академiї наук України. — 2013. — № 9. — С. 44–50. — Бібліогр.: 12 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862713841453891584 |
|---|---|
| author | Максимец, А.Н. |
| author_facet | Максимец, А.Н. |
| citation_txt | Поиск программных инвариантов в виде полиномов / А.Н. Максимец // Доповiдi Нацiональної академiї наук України. — 2013. — № 9. — С. 44–50. — Бібліогр.: 12 назв. — рос. |
| collection | DSpace DC |
| container_title | Доповіді НАН України |
| description | Представлено решение проблемы поиска инвариантов программ в виде полиномиальных
зависимостей методом верхней аппроксимации. Этот итерационный метод, с успехом примененный к программам над абсолютно свободными алгебрами и векторными пространствами данных, адаптирован для кольца полиномов. Множество инвариантов
в этом случае представляется в виде идеала кольца полиномов. Решены задачи о соотношениях и о пересечении множеств инвариантов с использованием базисов Гребнера при условии невырожденности оператора присваивания.
Наведено р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.
|
| first_indexed | 2025-12-07T17:46:54Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-85891 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1025-6415 |
| language | Russian |
| last_indexed | 2025-12-07T17:46:54Z |
| publishDate | 2013 |
| publisher | Видавничий дім "Академперіодика" НАН України |
| record_format | dspace |
| spelling | Максимец, А.Н. 2015-08-31T16:16:29Z 2015-08-31T16:16:29Z 2013 Поиск программных инвариантов в виде полиномов / А.Н. Максимец // Доповiдi Нацiональної академiї наук України. — 2013. — № 9. — С. 44–50. — Бібліогр.: 12 назв. — рос. 1025-6415 https://nasplib.isofts.kiev.ua/handle/123456789/85891 519.6:539.3 Представлено решение проблемы поиска инвариантов программ в виде полиномиальных
 зависимостей методом верхней аппроксимации. Этот итерационный метод, с успехом примененный к программам над абсолютно свободными алгебрами и векторными пространствами данных, адаптирован для кольца полиномов. Множество инвариантов
 в этом случае представляется в виде идеала кольца полиномов. Решены задачи о соотношениях и о пересечении множеств инвариантов с использованием базисов Гребнера при условии невырожденности оператора присваивания. Наведено р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. ru Видавничий дім "Академперіодика" НАН України Доповіді НАН України Інформатика та кібернетика Поиск программных инвариантов в виде полиномов Пошук програмних iнварiантiв у виглядi полiномiв Polynomial invariants generation of programs Article published earlier |
| spellingShingle | Поиск программных инвариантов в виде полиномов Максимец, А.Н. Інформатика та кібернетика |
| title | Поиск программных инвариантов в виде полиномов |
| title_alt | Пошук програмних iнварiантiв у виглядi полiномiв Polynomial invariants generation of programs |
| title_full | Поиск программных инвариантов в виде полиномов |
| title_fullStr | Поиск программных инвариантов в виде полиномов |
| title_full_unstemmed | Поиск программных инвариантов в виде полиномов |
| title_short | Поиск программных инвариантов в виде полиномов |
| title_sort | поиск программных инвариантов в виде полиномов |
| topic | Інформатика та кібернетика |
| topic_facet | Інформатика та кібернетика |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/85891 |
| work_keys_str_mv | AT maksimecan poiskprogrammnyhinvariantovvvidepolinomov AT maksimecan pošukprogramnihinvariantivuviglâdipolinomiv AT maksimecan polynomialinvariantsgenerationofprograms |