Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Доповіді НАН України
Datum:	2013
1. Verfasser:	Максимец, А.Н.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Видавничий дім "Академперіодика" НАН України 2013
Schlagworte:	Інформатика та кібернетика
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/85891
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Поиск программных инвариантов в виде полиномов / А.Н. Максимец // Доповiдi Нацiональної академiї наук України. — 2013. — № 9. — С. 44–50. — Бібліогр.: 12 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Построение начальных точек и поиск локальных экстремумов задачи компоновки 3D объектов в цилиндрической области
von: Стоян, Ю.Г., et al.
Veröffentlicht: (2013)

Некоторые равенства в табличных алгебрах
von: Редько, В.Н., et al.
Veröffentlicht: (2014)

Экспертное оценивание многофакторных рисков в технологическом предвидении
von: Панкратова, Н.Д., et al.
Veröffentlicht: (2007)

Упаковка большого числа конгруэнтных шаров в цилиндре
von: Яськов, Г.Н.
Veröffentlicht: (2009)

О применении сосредоточения в методе конечных элементов Петрова–Галеркина при решении задач конвекции-диффузии
von: Сирик, С.В., et al.
Veröffentlicht: (2014)

Адаптивные стохастические модели в трудно формализуемых естественнонаучных задачах
von: Панкратова, Н.Д., et al.
Veröffentlicht: (2008)

Нечеткие спецификации логического вывода в системе Гомеопат
von: Провотар, А.А., et al.
Veröffentlicht: (2012)

О сохранении ключей в табличных алгебрах
von: Сенченко, А.С.
Veröffentlicht: (2015)

Відновлення функціональної залежності часових рядів в умовах коротких вибірок
von: Панкратова, Н.Д., et al.
Veröffentlicht: (2011)

Оцінювання багатофакторних ризиків в стратегії розв'язання задач технологічного передбачення
von: Панкратова, Н.Д., et al.
Veröffentlicht: (2010)

Сингуларисная форма регулярных сигналов в системах автоматического управления
von: Божко, А.Е.
Veröffentlicht: (2009)

Возмущенные упорядочивающие конусы для анализа задач векторной оптимизации в условиях неопределенности
von: Лебедева, Т.Т., et al.
Veröffentlicht: (2014)

О некоторых особенностях в реализации дискретных оптимальных управлений колебательными системами
von: Божко, А.Е.
Veröffentlicht: (2007)

Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства
von: Пынько, А.П.
Veröffentlicht: (2007)

Об определении оптимальной фазочастотной характеристики корректирующих звеньев в системе воспроизведения вибраций
von: Божко, А.Е.
Veröffentlicht: (2008)

Гібридний метод розв'язування обернених граничних задач теорії потенціалу в частково необмежених областях з тріщиною
von: Вінтоняк, Н.І., et al.
Veröffentlicht: (2007)

Качественный анализ систем регулирования нейтрального типа в условиях неопределенности с позиций функций Ляпунова
von: Шатырко, А.В.
Veröffentlicht: (2012)

Эволюционная модель хаотических волновых процессов в сложных динамических системах на основе теории матричной декомпозиции
von: Крот, А.М.
Veröffentlicht: (2019)

Прямая и обратная задачи в теории полосно-пропускающих фильтров с диссипативными потерями
von: Захаров, А.В., et al.
Veröffentlicht: (2011)

Информационные технологии глубинного машинного обучения для анализа изменений земного покрова
von: Куссуль, Н.Н., et al.
Veröffentlicht: (2016)

Математическая модель и метод решения задачи оптимизации упаковки произвольных двумерных объектов в прямоугольных областях
von: Романова, Т.Е., et al.
Veröffentlicht: (2009)

Математичні моделі в системі підтримки прийняття рішень страхового забезпечення лікування онкологічних захворювань: підхід на основі динаміки Гомперца
von: Марценюк, В.П., et al.
Veröffentlicht: (2012)

Математическая модель и метод решения задачи упаковки максимального числа равных кругов в невыпуклую область с зонами запрета
von: Стоян, Ю.Г., et al.
Veröffentlicht: (2009)

О моделировании диагностики включений в упругом теле
von: Кривонос, Ю.Г., et al.
Veröffentlicht: (2013)

Слепые мультиподписи на основе стандартов ДСТУ 4145-2002 и ГОСТ Р 34.10-2001
von: Кочубинский, А.И., et al.
Veröffentlicht: (2012)

Нелінійні обернення крайових задач на квазіконформні відображення в анізотропних середовищах з вільними межами
von: Бомба, А.Я., et al.
Veröffentlicht: (2010)

О неполноте оценок в одном классе сложноорганизованных систем
von: Мороз-Подворчан, И.Г.
Veröffentlicht: (2010)

Лінійний варіаційний принцип в опуклій максимізації
von: Кацев, М.В., et al.
Veröffentlicht: (2007)

Асимптотичний метод розв'язання одного класу модельних сингулярно збурених задач процесу масопереносу в різнопористих середовищах
von: Бомба, А.Я., et al.
Veröffentlicht: (2013)

Математичнi моделi алгоритмiв i реалiзацiя Ateb-функцiй
von: Грицик, В.В., et al.
Veröffentlicht: (2007)

Зображення нелінійностей в скінченновимірних гіперкомплексних числових системах
von: Синьков, М.В., et al.
Veröffentlicht: (2008)

О глобальном минимуме целевой функции в задаче равновесной упаковки кругов
von: Стецюк, П.И., et al.
Veröffentlicht: (2014)

Решение обратной задачи бокового каротажного зондирования в условиях терригенного разреза
von: Миронцов, М.Л.
Veröffentlicht: (2020)

К моделированию ситуации в задаче принятия решения с денежными доходами
von: Михалевич, В.М.
Veröffentlicht: (2010)

Двухэтапный проксимальный алгоритм для задачи о равновесии в пространстве Адамара
von: Ведель, Я.И., et al.
Veröffentlicht: (2020)

Інтерполяція ермітового типу в точках системи неперетинних ліній
von: Сергiєнко, I.В., et al.
Veröffentlicht: (2015)

Размещение кругов и невыпуклых многоугольников с поворотами в прямоугольнике минимальной длины
von: Злотник, М.В., et al.
Veröffentlicht: (2007)

Моделирование распространения сигнала в реальных системах с конечным интервалом и поглощением
von: Кривонос, Ю.Г., et al.
Veröffentlicht: (2016)

Идентификация градиентными методами параметров задач диффузии двухкомпонентных веществ в нанопористых средах
von: Сергиенко, И.В., et al.
Veröffentlicht: (2010)

К вопросу о реальной эффективности параллельных вычислений в проектируемых системах реального времени
von: Мороз-Подворчан, И.Г.
Veröffentlicht: (2013)