Наукова періодика України | Доповіді Національної академії наук України | ||
Максимец А. Н. Поиск программных инвариантов в виде полиномов / А. Н. Максимец // Доповіді Національної академії наук України. - 2013. - № 9. - С. 44-50. - Режим доступу: http://nbuv.gov.ua/UJRN/dnanu_2013_9_9 Приведено решение проблемы поиска инвариантов программ в виде полиномиальных зависимостей методом верхней аппроксимации. Этот итерационный метод, с успехом примененный к программам над абсолютно свободными алгебрами и векторными пространствами данных, адаптирован для кольца полиномов. Множество инвариантов в этом случае представляется в виде идеала кольца полиномов. Решены задачи о соотношениях и о пересечении множеств инвариантов с использованием базисов Гребнера при условии невырожденности оператора присваивания. Цитованість авторів публікації: Бібліографічний опис для цитування: Максимец А. Н. Поиск программных инвариантов в виде полиномов / А. Н. Максимец // Доповіді Національної академії наук України. - 2013. - № 9. - С. 44-50. - Режим доступу: http://nbuv.gov.ua/UJRN/dnanu_2013_9_9. Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |