Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Кибернетика и системный анализ
Datum:	2014
1. Verfasser:	Львов, М.С.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут кібернетики ім. В.М. Глушкова НАН України 2014
Schlagworte:	Программно-технические комплексы
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/115824
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:	Метод доказательства инвариантности линейных неравенств для линейных циклов / M. C. Львов // Кибернетика и системный анализ. — 2014. — Т. 50, № 4. — С. 180-185. — Бібліогр.: 21 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Полиномиальные инварианты линейных циклов
von: Львов, М.С.
Veröffentlicht: (2010)

Нелинейные инварианты линейных циклов и собственные полиномы линейных операторов
von: Львов, М.С., et al.
Veröffentlicht: (2012)

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

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

Алгоритмы решения систем линейных уравнений в кольцах вычетов
von: Крывый, С.Л.
Veröffentlicht: (2016)

Метод автоматической генерации автотюнеров для параллельных программ
von: Иваненко, П.А., et al.
Veröffentlicht: (2014)

Метод организации параллельно-иерархической сети для распознавания образов
von: Тимченко, Л.И., et al.
Veröffentlicht: (2011)

Метод построения нечеткой регрессионной модели на основе LARS для выбора значимых признаков
von: Ерохин, А.Л., et al.
Veröffentlicht: (2016)

Метод быстрого таймерного кодирования текстов
von: Скуратовский, Р.В.
Veröffentlicht: (2013)

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

Агентные технологии для отбора информативных признаков
von: Олейник, Ан.А., et al.
Veröffentlicht: (2012)

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

Дополнение Nadra-3D add-on для программного комплекса Blender
von: Белоус, М.В.
Veröffentlicht: (2016)

Портал кластерных вычислений для управления вычислительными процессами на суперкомпьютерном комплексе
von: Якуба, A.А., et al.
Veröffentlicht: (2009)

Графовые запросы для интеграции данных посредством XML
von: Тульчинский, В.Г., et al.
Veröffentlicht: (2008)

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

Методы обучения параллельно-иерархической сети и их применение для распознавания образов
von: Тимченко, Л.И., et al.
Veröffentlicht: (2011)

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

Математическое обеспечение для исследования состояний сложных систем в условиях неопределенности на основании нечетких сетевых моделей доверия
von: Парасюк, И.Н., et al.
Veröffentlicht: (2014)

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

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

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

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

Развитие отечественной технологии программирования
von: Лаврищева, Е.М.
Veröffentlicht: (2014)

Формальные основы интероперабельности компонентов в программировании
von: Лаврищева, Е.М.
Veröffentlicht: (2010)

Теория и практика фабрик программных продуктов
von: Лаврищева, Е.М.
Veröffentlicht: (2011)

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

Концепция создания параметрической системы проектирования параллельных алгоритмов и их программных реализаций
von: Погорелый, С.Д., et al.
Veröffentlicht: (2009)

Система управления комплексными проектами
von: Крижановский, В.В., et al.
Veröffentlicht: (2009)

Определение оптимального метода прогноза загрузки кластерных ресурсов и грид-узлов
von: Лавренюк, С.И., et al.
Veröffentlicht: (2011)

Синтез адаптивных логических сетей на основе полинома Жегалкина
von: Опанасенко, В.Н., et al.
Veröffentlicht: (2015)

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

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

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

Подход к экспертному оцениванию в программной инженерии
von: Лаврищева, Е.М., et al.
Veröffentlicht: (2009)

Технология формирования гибридных документов
von: Иванов, А.И., et al.
Veröffentlicht: (2014)

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

Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования
von: Летичевский, А.А., et al.
Veröffentlicht: (2010)

Преобразование алгоритмов, записанных в виде композиционных схем
von: Акуловский, В.Г., et al.
Veröffentlicht: (2014)

Выделение частотных полос преобразованием Гильберта–Хуанга суточной последовательности сердечного ритма
von: Станкус, А., et al.
Veröffentlicht: (2014)