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

Метод доказательства инвариантности линейных неравенств для линейных циклов

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

Повний опис

Збережено в:

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

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

Полиномиальные инварианты линейных циклов
за авторством: Львов, М.С.
Опубліковано: (2010)

Нелинейные инварианты линейных циклов и собственные полиномы линейных операторов
за авторством: Львов, М.С., та інші
Опубліковано: (2012)

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

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

О структуре полиномиальных инвариантов линейных циклов
за авторством: Львов, M.C.
Опубліковано: (2015)

Анализ линейно определенных итеративных циклов
за авторством: Львов, M.C.
Опубліковано: (2016)

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

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

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

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

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

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

Метод построения простого целочисленного косинусного преобразования большой размерности для кодирования изображений и видео с высоким разрешением
за авторством: Гнатив, Л.А.
Опубліковано: (2016)

Метод прогнозирования положения энергетического центра изображения лазерного пучка с использованием параллельно-иерархической сети
за авторством: Тимченко, Л.И., та інші
Опубліковано: (2013)

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

Использование искусственных нейронных сетей для классификации черно-белых изображений
за авторством: Борисов, Е.С.
Опубліковано: (2008)

Дополнение Nadra-3D add-on для программного комплекса Blender
за авторством: Белоус, М.В.
Опубліковано: (2016)

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

Графовые запросы для интеграции данных посредством XML
за авторством: Тульчинский, В.Г., та інші
Опубліковано: (2008)

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

Целочисленные косинусные преобразования для высокоэффективного кодирования изображений и видео
за авторством: Гнатив, Л.А.
Опубліковано: (2016)

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

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

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

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

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

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

Классификация больших площадей земного покрова по ретроспективным спутниковым данным
за авторством: Лавренюк, Н.С., та інші
Опубліковано: (2016)

Развитие отечественной технологии программирования
за авторством: Лаврищева, Е.М.
Опубліковано: (2014)

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

Теория и практика фабрик программных продуктов
за авторством: Лаврищева, Е.М.
Опубліковано: (2011)

Генерирующее и сборочное программирование. Аспекты разработки семейств программных систем
за авторством: Лаврищева, Е.М.
Опубліковано: (2013)

Формальные основы интероперабельности компонентов в программировании
за авторством: Лаврищева, Е.М.
Опубліковано: (2010)

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

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

Система управления комплексными проектами
за авторством: Крижановский, В.В., та інші
Опубліковано: (2009)

Определение оптимального метода прогноза загрузки кластерных ресурсов и грид-узлов
за авторством: Лавренюк, С.И., та інші
Опубліковано: (2011)

Трансформационный подход к разработке программных архитектур на основе нечетких графовых моделей
за авторством: Парасюк, И.Н., та інші
Опубліковано: (2008)

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

Информационная система агромониторинга на основе геопространственных данных
за авторством: Шелестов, А.Ю., та інші
Опубліковано: (2013)