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

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

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

Повний опис

Збережено в:

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

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

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

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

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

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

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

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

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

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

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

Алгебро-алгоритмические аспекты полноты: абстракции, биология и экология
за авторством: Цейтлин, Г.Е.
Опубліковано: (2008)

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

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

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

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

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

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

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

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

Инструментальные средства автоматизации параллельного программирования на основе алгебры алгоритмов
за авторством: Андон, Ф.И., та інші
Опубліковано: (2015)

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

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

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

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

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

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

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

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

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

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

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

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

Порождающие паттерны проектирования в компьютерной лингвистике: Factory Method, Prototype, Singleton
за авторством: Никоненко, А.А.
Опубліковано: (2012)

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

Математическое моделирование геометрических фракталов с помощью R-функций
за авторством: Максименко-Шейко, К.В., та інші
Опубліковано: (2012)

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

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

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

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

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