Поиск программных инвариантов в виде полиномов
Представлено решение проблемы поиска инвариантов программ в виде полиномиальных
 зависимостей методом верхней аппроксимации. Этот итерационный метод, с успехом примененный к программам над абсолютно свободными алгебрами и векторными пространствами данных, адаптирован для кольца полиномов. Мн...
Збережено в:
| Опубліковано в: | Доповіді НАН України |
|---|---|
| Дата: | 2013 |
| ISSN: | 1025-6415 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Видавничий дім "Академперіодика" НАН України
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Схожі ресурси
Построение начальных точек и поиск локальных экстремумов задачи компоновки 3D объектов в цилиндрической области
за авторством: Стоян, Ю.Г., та інші
Опубліковано: (2013)
за авторством: Стоян, Ю.Г., та інші
Опубліковано: (2013)
Мeтоды решения задач кластеризации 2D-объектов в круге минимального радиуса
за авторством: Стоян, Ю.Г., та інші
Опубліковано: (2013)
за авторством: Стоян, Ю.Г., та інші
Опубліковано: (2013)
Некоторые равенства в табличных алгебрах
за авторством: Редько, В.Н., та інші
Опубліковано: (2014)
за авторством: Редько, В.Н., та інші
Опубліковано: (2014)
Экспертное оценивание многофакторных рисков в технологическом предвидении
за авторством: Панкратова, Н.Д., та інші
Опубліковано: (2007)
за авторством: Панкратова, Н.Д., та інші
Опубліковано: (2007)
Упаковка большого числа конгруэнтных шаров в цилиндре
за авторством: Яськов, Г.Н.
Опубліковано: (2009)
за авторством: Яськов, Г.Н.
Опубліковано: (2009)
Переход от одного локального минимума к другому в задаче упаковки неравных кругов в полосе минимальной длины
за авторством: Стоян, Ю.Г., та інші
Опубліковано: (2013)
за авторством: Стоян, Ю.Г., та інші
Опубліковано: (2013)
Особенности численного решения обратной задачи индукционного каротажа в контрастном скважинном разрезе
за авторством: Миронцов, Н.Л.
Опубліковано: (2018)
за авторством: Миронцов, Н.Л.
Опубліковано: (2018)
О применении сосредоточения в методе конечных элементов Петрова–Галеркина при решении задач конвекции-диффузии
за авторством: Сирик, С.В., та інші
Опубліковано: (2014)
за авторством: Сирик, С.В., та інші
Опубліковано: (2014)
Адаптивные стохастические модели в трудно формализуемых естественнонаучных задачах
за авторством: Панкратова, Н.Д., та інші
Опубліковано: (2008)
за авторством: Панкратова, Н.Д., та інші
Опубліковано: (2008)
Математическое моделирование динамики жидких сред организма в условиях экзобародинамики
за авторством: Григорян, Р.Д., та інші
Опубліковано: (2009)
за авторством: Григорян, Р.Д., та інші
Опубліковано: (2009)
Нечеткие спецификации логического вывода в системе Гомеопат
за авторством: Провотар, А.А., та інші
Опубліковано: (2012)
за авторством: Провотар, А.А., та інші
Опубліковано: (2012)
О сохранении ключей в табличных алгебрах
за авторством: Сенченко, А.С.
Опубліковано: (2015)
за авторством: Сенченко, А.С.
Опубліковано: (2015)
Відновлення функціональної залежності часових рядів в умовах коротких вибірок
за авторством: Панкратова, Н.Д., та інші
Опубліковано: (2011)
за авторством: Панкратова, Н.Д., та інші
Опубліковано: (2011)
Оцінювання багатофакторних ризиків в стратегії розв'язання задач технологічного передбачення
за авторством: Панкратова, Н.Д., та інші
Опубліковано: (2010)
за авторством: Панкратова, Н.Д., та інші
Опубліковано: (2010)
Сингуларисная форма регулярных сигналов в системах автоматического управления
за авторством: Божко, А.Е.
Опубліковано: (2009)
за авторством: Божко, А.Е.
Опубліковано: (2009)
О коэффициенте затухания в сингуларисном разложении скачкообразного напряжения
за авторством: Божко, А.Е.
Опубліковано: (2009)
за авторством: Божко, А.Е.
Опубліковано: (2009)
Возмущенные упорядочивающие конусы для анализа задач векторной оптимизации в условиях неопределенности
за авторством: Лебедева, Т.Т., та інші
Опубліковано: (2014)
за авторством: Лебедева, Т.Т., та інші
Опубліковано: (2014)
О запасе устойчивости по фазе в электродинамической виброиспытательной системе
за авторством: Божко, А.Е.
Опубліковано: (2008)
за авторством: Божко, А.Е.
Опубліковано: (2008)
О некоторых особенностях в реализации дискретных оптимальных управлений колебательными системами
за авторством: Божко, А.Е.
Опубліковано: (2007)
за авторством: Божко, А.Е.
Опубліковано: (2007)
Структурно-аналитическая интерпретация сигналов в системах фазового управления вентильных преобразователей
за авторством: Божко, А.Е.
Опубліковано: (2007)
за авторством: Божко, А.Е.
Опубліковано: (2007)
Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства
за авторством: Пынько, А.П.
Опубліковано: (2007)
за авторством: Пынько, А.П.
Опубліковано: (2007)
Об определении оптимальной фазочастотной характеристики корректирующих звеньев в системе воспроизведения вибраций
за авторством: Божко, А.Е.
Опубліковано: (2008)
за авторством: Божко, А.Е.
Опубліковано: (2008)
Гібридний метод розв'язування обернених граничних задач теорії потенціалу в частково необмежених областях з тріщиною
за авторством: Вінтоняк, Н.І., та інші
Опубліковано: (2007)
за авторством: Вінтоняк, Н.І., та інші
Опубліковано: (2007)
Качественный анализ систем регулирования нейтрального типа в условиях неопределенности с позиций функций Ляпунова
за авторством: Шатырко, А.В.
Опубліковано: (2012)
за авторством: Шатырко, А.В.
Опубліковано: (2012)
Эволюционная модель хаотических волновых процессов в сложных динамических системах на основе теории матричной декомпозиции
за авторством: Крот, А.М.
Опубліковано: (2019)
за авторством: Крот, А.М.
Опубліковано: (2019)
Прямая и обратная задачи в теории полосно-пропускающих фильтров с диссипативными потерями
за авторством: Захаров, А.В., та інші
Опубліковано: (2011)
за авторством: Захаров, А.В., та інші
Опубліковано: (2011)
Информационные технологии глубинного машинного обучения для анализа изменений земного покрова
за авторством: Куссуль, Н.Н., та інші
Опубліковано: (2016)
за авторством: Куссуль, Н.Н., та інші
Опубліковано: (2016)
Математическая модель и метод решения задачи оптимизации упаковки произвольных двумерных объектов в прямоугольных областях
за авторством: Романова, Т.Е., та інші
Опубліковано: (2009)
за авторством: Романова, Т.Е., та інші
Опубліковано: (2009)
Математичні моделі в системі підтримки прийняття рішень страхового забезпечення лікування онкологічних захворювань: підхід на основі динаміки Гомперца
за авторством: Марценюк, В.П., та інші
Опубліковано: (2012)
за авторством: Марценюк, В.П., та інші
Опубліковано: (2012)
Математическая модель и метод решения задачи упаковки максимального числа равных кругов в невыпуклую область с зонами запрета
за авторством: Стоян, Ю.Г., та інші
Опубліковано: (2009)
за авторством: Стоян, Ю.Г., та інші
Опубліковано: (2009)
О моделировании диагностики включений в упругом теле
за авторством: Кривонос, Ю.Г., та інші
Опубліковано: (2013)
за авторством: Кривонос, Ю.Г., та інші
Опубліковано: (2013)
Слепые мультиподписи на основе стандартов ДСТУ 4145-2002 и ГОСТ Р 34.10-2001
за авторством: Кочубинский, А.И., та інші
Опубліковано: (2012)
за авторством: Кочубинский, А.И., та інші
Опубліковано: (2012)
Анализ некоторых отображений множеств в дедекиндовы кольца
за авторством: Скобелев, В.В.
Опубліковано: (2011)
за авторством: Скобелев, В.В.
Опубліковано: (2011)
Нелінійні обернення крайових задач на квазіконформні відображення в анізотропних середовищах з вільними межами
за авторством: Бомба, А.Я., та інші
Опубліковано: (2010)
за авторством: Бомба, А.Я., та інші
Опубліковано: (2010)
Нормальные формы знаний
за авторством: Кургаев, А.Ф., та інші
Опубліковано: (2015)
за авторством: Кургаев, А.Ф., та інші
Опубліковано: (2015)
Об оптимизационных задачах с вероятностной неопределенностью
за авторством: Емец, О.А., та інші
Опубліковано: (2014)
за авторством: Емец, О.А., та інші
Опубліковано: (2014)
Лінійний варіаційний принцип в опуклій максимізації
за авторством: Кацев, М.В., та інші
Опубліковано: (2007)
за авторством: Кацев, М.В., та інші
Опубліковано: (2007)
О неполноте оценок в одном классе сложноорганизованных систем
за авторством: Мороз-Подворчан, И.Г.
Опубліковано: (2010)
за авторством: Мороз-Подворчан, И.Г.
Опубліковано: (2010)
Управление системами с дробными производными в условиях конфликта
за авторством: Матичин, И.И.
Опубліковано: (2011)
за авторством: Матичин, И.И.
Опубліковано: (2011)
Асимптотичний метод розв'язання одного класу модельних сингулярно збурених задач процесу масопереносу в різнопористих середовищах
за авторством: Бомба, А.Я., та інші
Опубліковано: (2013)
за авторством: Бомба, А.Я., та інші
Опубліковано: (2013)