Зображення обкладинки

Решение линейных ограничений над полем вещественных и рациональных чисел

Запропоновано набір практичних методів розв’язання лінійних обмежень над дійсними та раціональними числами в формулах з кванторами. Розглянуто спектр другорядних проблем, що виникають під час вирішення основної проблеми, та альтернативи їх вирішення в розрізі автоматичної верифікації моделей програм...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Кибернетика и системный анализ
Дата:	2010
Автор:	Герман, В.Н.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут кібернетики ім. В.М. Глушкова НАН України 2010
Теми:	Системный анализ
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/45249
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Решение линейных ограничений над полем вещественных и рациональных чисел / В.Н. Герман // Кибернетика и системный анализ. — 2010. — № 4. — С. 123-133. — Бібліогр.: 24 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

Решение задачи булева квадратичного программирования без ограничений методом глобального равновесного поиска
за авторством: Шило, В.П., та інші
Опубліковано: (2011)

Перемешивающие свойства операций, определенных на множестве N-мерных векторов над простым конечным полем
за авторством: Ковальчук, Л.В., та інші
Опубліковано: (2014)

Решение линейных безусловных задач комбинаторной оптимизации на размещениях со стохастической неопределенностью
за авторством: Емец, О.А., та інші
Опубліковано: (2016)

Решение линейных условных полностью комбинаторных оптимизационных задач на перестановках методом ветвей и границ
за авторством: Емец, О.А., та інші
Опубліковано: (2013)

Моделирование и оптимизация децентрализованной сети поставок в условиях бюджетных ограничений
за авторством: Новожилова, М.В., та інші
Опубліковано: (2015)

Метод и критерий оценивания качества последовательностей случайных чисел
за авторством: Фауре, Э.В., та інші
Опубліковано: (2016)

Задача математического программирования с нечетким множеством индексов ограничений
за авторством: Мащенко, С.О.
Опубліковано: (2013)

Метод сегментації зображень на основі нечітких чисел
за авторством: Давидов, О.П.
Опубліковано: (2016)

Об одной задаче оптимального управления стохастическим полем
за авторством: Пепеляева, Т.В.
Опубліковано: (2010)

Компьютерное решение фундаментальной проблемы исключения
за авторством: Плешаков, Г.Н.
Опубліковано: (2010)

Об одной задаче идентификации систем с аддитивным дробным броуновским полем
за авторством: Дериева, Е.Н., та інші
Опубліковано: (2016)

Минимизация эмпирического риска и задачи построения линейных классификаторов
за авторством: Лаптин, Ю.П., та інші
Опубліковано: (2011)

Решение задачи классификации с использованием ε-сетей
за авторством: Иванчук, М.А., та інші
Опубліковано: (2016)

Приближенное решение нелинейной системы уравнений для двухфазных сред
за авторством: Скопецкий, В.В., та інші
Опубліковано: (2008)

Методы получения достоверных решений систем линейных алгебраических уравнений
за авторством: Сергиенко, И.В., та інші
Опубліковано: (2011)

О задаче управления решением стохастического дифференциального уравнения на плоскости с аддитивным дробным броуновским полем
за авторством: Дериева, Е.Н., та інші
Опубліковано: (2012)

Численное решение обратных задач термоупругости для составного цилиндра
за авторством: Аралова, А.А.
Опубліковано: (2014)

Решение комплексных обратных задач для гиперболических многокомпонентных распределенных систем
за авторством: Сергиенко, И.В., та інші
Опубліковано: (2008)

Эллипсоидальные и интервальные оценки вектора состояния семейств линейных и нелинейных дискретных динамических систем
за авторством: Кунцевич, В.М., та інші
Опубліковано: (2015)

Численное решение обратных задач тепло-проводности для составного цилиндра
за авторством: Дейнека, В.С., та інші
Опубліковано: (2012)

Решение задачи взвешенных наименьших квадратов с симметричной положительно полуопределенной матрицей
за авторством: Николаевская, Е.А., та інші
Опубліковано: (2009)

Решение частично комбинаторных задач оптимизации на размещениях методом построения лексикографической эквивалентности
за авторством: Барболина, Т.Н.
Опубліковано: (2013)

Решение задачи о максимальном разрезе графа методом глобального равновесного поиска
за авторством: Шило, В.П., та інші
Опубліковано: (2010)

Некоторые задачи для модели Кларка. II. Решение задачи Р. Мертона
за авторством: Бондарев, Б.В., та інші
Опубліковано: (2013)

Синтез управления инвариантными множествами семейств линейных и нелинейных дискретных систем с ограниченными возмущениями
за авторством: Кунцевич, А.В., та інші
Опубліковано: (2011)

Особенности представления вещественных чисел в постбинарных форматах
за авторством: Аноприенко, А.Я., та інші
Опубліковано: (2012)

Факторы и уровни при планировании эксперимента, эффективный выбор с учетом ограничений
за авторством: Смирнов, С.А.
Опубліковано: (2021)

Численное решение некоторых обратных задач нестационарной теплопроводности с использованием псевдообратных матриц
за авторством: Сергиенко, И.В., та інші
Опубліковано: (2012)

Решение условной задачи оптимизации дробно-линейной целевой функции на множестве размещений методом ветвей и границ
за авторством: Сергиенко, И.В., та інші
Опубліковано: (2012)

Зависимость целевой функции от нескольких переменных в задаче размещения объектов и ее решение методом структурно-алфавитного поиска
за авторством: Тимофеева, Н.К.
Опубліковано: (2013)

Абсолютная разложимость группы рациональных чисел
за авторством: Протасов, И.В.
Опубліковано: (1996)

Гибридные алгоритмы решения линейных систем для конечно-элементного моделирования процессов фильтрации
за авторством: Баранов, А.Ю., та інші
Опубліковано: (2015)

Системы линейных уравнений с данными в виде нечетких множеств: слабая разрешимость и слабая допустимость
за авторством: Сергиенко, И.В., та інші
Опубліковано: (2014)

Аналитическое решение задачи оптимального распределения внешних ресурсов между подсистемами двухпродуктовой развивающейся системы
за авторством: Гирлин, С.К., та інші
Опубліковано: (2012)

Решение непрерывных задач оптимального покрытия шарами с использованием теории оптимального разбиения множеств
за авторством: Киселева, Е.М., та інші
Опубліковано: (2009)

Параллельное решение задачи о взаимодействии упругих волн с системой цилиндрических полостей в условиях плоской деформации
за авторством: Панченко, Б.Е., та інші
Опубліковано: (2013)

Анализ достоверности компьютерных решений систем линейных алгебраических уравнений с приближенно заданными исходными данными
за авторством: Химич, А.Н., та інші
Опубліковано: (2008)

Метод отсечения вершин графа перестановочного многогранника для решения линейных условных задач оптимизации на перестановках
за авторством: Емец, О.А., та інші
Опубліковано: (2014)

Решение линейной задачи евклидовой комбинаторной оптимизации на размещениях с условием постоянства суммы элементов размещения
за авторством: Емец, О.А., та інші
Опубліковано: (2012)

Решение непрерывной нелинейной задачи оптимального разбиения множеств с размещением центров подмножеств для случая выпуклого целевого функционала
за авторством: Киселёва, Е.М., та інші
Опубліковано: (2008)