Нелинейные инварианты линейных циклов и собственные полиномы линейных операторов
Введено поняття власного полінома лінійного оператора, сформульовано алгоритм побудови власних поліномів і встановлено зв’язок між власними поліномами та поліноміальними інваріантами лінійних циклів програм. Основний результат роботи — побудова множини L-інваріантів циклів для операторів, жорданова...
Saved in:
| Published in: | Кибернетика и системный анализ |
|---|---|
| Date: | 2012 |
| Main Authors: | Львов, М.С., Крекнин, В.А. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2012
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/84040 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Нелинейные инварианты линейных циклов и собственные полиномы линейных операторов / М.С. Львов, В.А. Крекнин // Кибернетика и системный анализ. — 2012. — Т. 48, № 2. — С. 126-140. — Бібліогр.: 15 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Полиномиальные инварианты линейных циклов
by: Львов, М.С.
Published: (2010)
by: Львов, М.С.
Published: (2010)
Метод доказательства инвариантности линейных неравенств для линейных циклов
by: Львов, М.С.
Published: (2014)
by: Львов, М.С.
Published: (2014)
О структуре полиномиальных инвариантов линейных циклов
by: Львов, M.C.
Published: (2015)
by: Львов, M.C.
Published: (2015)
Алгебраический подход к задаче решения систем линейных неравенств
by: Львов, М.С.
Published: (2010)
by: Львов, М.С.
Published: (2010)
Метод трапецоидов решения систем линейных неравенств и его реализация инсерционным моделированием
by: Львов, М.С., et al.
Published: (2012)
by: Львов, М.С., et al.
Published: (2012)
Анализ линейно определенных итеративных циклов
by: Львов, M.C.
Published: (2016)
by: Львов, M.C.
Published: (2016)
Алгоритмы решения систем линейных уравнений в кольцах вычетов
by: Крывый, С.Л.
Published: (2016)
by: Крывый, С.Л.
Published: (2016)
Формализация взаимосвязей операторов и данных в рамках расширенной алгебры алгоритмов
by: Акуловский, В.Г.
Published: (2008)
by: Акуловский, В.Г.
Published: (2008)
Определение оптимального метода прогноза загрузки кластерных ресурсов и грид-узлов
by: Лавренюк, С.И., et al.
Published: (2011)
by: Лавренюк, С.И., et al.
Published: (2011)
Концепция создания параметрической системы проектирования параллельных алгоритмов и их программных реализаций
by: Погорелый, С.Д., et al.
Published: (2009)
by: Погорелый, С.Д., et al.
Published: (2009)
Инженерия требований и семантический веб
by: Бабенко, Л.П.
Published: (2016)
by: Бабенко, Л.П.
Published: (2016)
Теория и практика фабрик программных продуктов
by: Лаврищева, Е.М.
Published: (2011)
by: Лаврищева, Е.М.
Published: (2011)
Оптимизированные по быстродействию и точности кодирования методы и алгоритмы повышения информационной эффективности фунционирования абонентских систем беспроводных сетей
by: Шевчук, Б.М.
Published: (2014)
by: Шевчук, Б.М.
Published: (2014)
Алгебро-алгоритмические аспекты полноты: абстракции, биология и экология
by: Цейтлин, Г.Е.
Published: (2008)
by: Цейтлин, Г.Е.
Published: (2008)
Генерирующее и сборочное программирование. Аспекты разработки семейств программных систем
by: Лаврищева, Е.М.
Published: (2013)
by: Лаврищева, Е.М.
Published: (2013)
Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители
by: Андон, Ф.И., et al.
Published: (2011)
by: Андон, Ф.И., et al.
Published: (2011)
Компьютерное моделирование получения и транспортировки сильноточных пучков заряженных частиц
by: Литовко, И.В.
Published: (2008)
by: Литовко, И.В.
Published: (2008)
Целочисленные косинусные преобразования для высокоэффективного кодирования изображений и видео
by: Гнатив, Л.А.
Published: (2016)
by: Гнатив, Л.А.
Published: (2016)
Онтологический подход к спецификации свойств программных систем и их компонентов
by: Бабенко, Л.П.
Published: (2009)
by: Бабенко, Л.П.
Published: (2009)
Сбалансированная ставка зарплаты как функция капиталовооруженности труда и рыночной конъюнктуры
by: Дунаев, Б.Б.
Published: (2008)
by: Дунаев, Б.Б.
Published: (2008)
К распараллеливанию последовательных программ: распределение массивов между процессорами и структуризация коммуникаций
by: Адуцкевич, Е.В., et al.
Published: (2012)
by: Адуцкевич, Е.В., et al.
Published: (2012)
Методы обучения параллельно-иерархической сети и их применение для распознавания образов
by: Тимченко, Л.И., et al.
Published: (2011)
by: Тимченко, Л.И., et al.
Published: (2011)
Алгоритм регуляризации τ-метода Ланцоша и его реализация средствами алгебраического программирования
by: Денисенко, П.Н.
Published: (2011)
by: Денисенко, П.Н.
Published: (2011)
Алгоритмы распараллеливания математической модели лесных пожаров на суперкомпьютерах и теоретические оценки эффективности параллельных программ
by: Барановский, Н.В.
Published: (2015)
by: Барановский, Н.В.
Published: (2015)
Об особенностях организации вычислений на основе метода базисных матриц
by: Богаенко, В.А., et al.
Published: (2012)
by: Богаенко, В.А., et al.
Published: (2012)
Численная оптимизация на основе алгоритмов сортировки с приложением к дифференциальным и нелинейным уравнениям общего вида
by: Ромм, Я.Е., et al.
Published: (2011)
by: Ромм, Я.Е., et al.
Published: (2011)
Обобщение логистической регрессии, веса категории переменной и индекса Джини для непрерывной целевой переменной, принимающей вероятностные значения
by: Солошенко, А.Н.
Published: (2015)
by: Солошенко, А.Н.
Published: (2015)
Метод построения простого целочисленного косинусного преобразования большой размерности для кодирования изображений и видео с высоким разрешением
by: Гнатив, Л.А.
Published: (2016)
by: Гнатив, Л.А.
Published: (2016)
Инструментальные средства автоматизации параллельного программирования на основе алгебры алгоритмов
by: Андон, Ф.И., et al.
Published: (2015)
by: Андон, Ф.И., et al.
Published: (2015)
Использование искусственных нейронных сетей для классификации черно-белых изображений
by: Борисов, Е.С.
Published: (2008)
by: Борисов, Е.С.
Published: (2008)
Метод построения нечеткой регрессионной модели на основе LARS для выбора значимых признаков
by: Ерохин, А.Л., et al.
Published: (2016)
by: Ерохин, А.Л., et al.
Published: (2016)
Классификация больших площадей земного покрова по ретроспективным спутниковым данным
by: Лавренюк, Н.С., et al.
Published: (2016)
by: Лавренюк, Н.С., et al.
Published: (2016)
Синтез адаптивных логических сетей на основе полинома Жегалкина
by: Опанасенко, В.Н., et al.
Published: (2015)
by: Опанасенко, В.Н., et al.
Published: (2015)
Система управления комплексными проектами
by: Крижановский, В.В., et al.
Published: (2009)
by: Крижановский, В.В., et al.
Published: (2009)
Информационное обеспечение технологии автоматизированного мониторинга состояния здоровья населения
by: Рогозинская, Н.С., et al.
Published: (2013)
by: Рогозинская, Н.С., et al.
Published: (2013)
Трансформационный подход к разработке программных архитектур на основе нечетких графовых моделей
by: Парасюк, И.Н., et al.
Published: (2008)
by: Парасюк, И.Н., et al.
Published: (2008)
Развитие инструментария алгебры алгоритмики с целью разработки параллельных программ с использованием эвристических средств
by: Дорошенко, А.Е., et al.
Published: (2010)
by: Дорошенко, А.Е., et al.
Published: (2010)
Информационная система агромониторинга на основе геопространственных данных
by: Шелестов, А.Ю., et al.
Published: (2013)
by: Шелестов, А.Ю., et al.
Published: (2013)
Агентные технологии для отбора информативных признаков
by: Олейник, Ан.А., et al.
Published: (2012)
by: Олейник, Ан.А., et al.
Published: (2012)
Технология формирования гибридных документов
by: Иванов, А.И., et al.
Published: (2014)
by: Иванов, А.И., et al.
Published: (2014)
Similar Items
-
Полиномиальные инварианты линейных циклов
by: Львов, М.С.
Published: (2010) -
Метод доказательства инвариантности линейных неравенств для линейных циклов
by: Львов, М.С.
Published: (2014) -
О структуре полиномиальных инвариантов линейных циклов
by: Львов, M.C.
Published: (2015) -
Алгебраический подход к задаче решения систем линейных неравенств
by: Львов, М.С.
Published: (2010) -
Метод трапецоидов решения систем линейных неравенств и его реализация инсерционным моделированием
by: Львов, М.С., et al.
Published: (2012)