Buchumschlag

Нелинейные инварианты линейных циклов и собственные полиномы линейных операторов

Введено поняття власного полінома лінійного оператора, сформульовано алгоритм побудови власних поліномів і встановлено зв’язок між власними поліномами та поліноміальними інваріантами лінійних циклів програм. Основний результат роботи — побудова множини L-інваріантів циклів для операторів, жорданова...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Кибернетика и системный анализ
Datum:	2012
Hauptverfasser:	Львов, М.С., Крекнин, В.А.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут кібернетики ім. В.М. Глушкова НАН України 2012
Schlagworte:	Программно-технические комплексы
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/84040
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:	Нелинейные инварианты линейных циклов и собственные полиномы линейных операторов / М.С. Львов, В.А. Крекнин // Кибернетика и системный анализ. — 2012. — Т. 48, № 2. — С. 126-140. — Бібліогр.: 15 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

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

Метод доказательства инвариантности линейных неравенств для линейных циклов
von: Львов, М.С.
Veröffentlicht: (2014)

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

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

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

Анализ линейно определенных итеративных циклов
von: Львов, M.C.
Veröffentlicht: (2016)

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

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

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

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

Инженерия требований и семантический веб
von: Бабенко, Л.П.
Veröffentlicht: (2016)

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

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

Алгебро-алгоритмические аспекты полноты: абстракции, биология и экология
von: Цейтлин, Г.Е.
Veröffentlicht: (2008)

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

Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители
von: Андон, Ф.И., et al.
Veröffentlicht: (2011)

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

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

Онтологический подход к спецификации свойств программных систем и их компонентов
von: Бабенко, Л.П.
Veröffentlicht: (2009)

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

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

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

Алгоритм регуляризации τ-метода Ланцоша и его реализация средствами алгебраического программирования
von: Денисенко, П.Н.
Veröffentlicht: (2011)

Алгоритмы распараллеливания математической модели лесных пожаров на суперкомпьютерах и теоретические оценки эффективности параллельных программ
von: Барановский, Н.В.
Veröffentlicht: (2015)

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

Численная оптимизация на основе алгоритмов сортировки с приложением к дифференциальным и нелинейным уравнениям общего вида
von: Ромм, Я.Е., et al.
Veröffentlicht: (2011)

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

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

Инструментальные средства автоматизации параллельного программирования на основе алгебры алгоритмов
von: Андон, Ф.И., et al.
Veröffentlicht: (2015)

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

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

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

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

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

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

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

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

Информационная система агромониторинга на основе геопространственных данных
von: Шелестов, А.Ю., et al.
Veröffentlicht: (2013)

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

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