Cover Image

Полиномиальные инварианты линейных циклов

Розглянуто задачу генерації поліноміальних інваріантів спеціального типу ітераційних циклів з лінійним відображенням у тілі циклу. Запропоновано нову техніку побудови таких інваріантів, основану на аналізі характеристичних поліномів лінійних відображень. The problem of generating polynomial invarian...

Full description

Saved in:

Bibliographic Details
Published in:	Кибернетика и системный анализ
Date:	2010
ISSN:	0023-1274
Main Author:	Львов, М.С.
Format:	Article
Language:	Russian
Published:	Інститут кібернетики ім. В.М. Глушкова НАН України 2010
Subjects:	Программно-технические комплексы
Online Access:	https://nasplib.isofts.kiev.ua/handle/123456789/45252
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:	Полиномиальные инварианты линейных циклов / М.С. Львов // Кибернетика и системный анализ. — 2010. — № 4. — С. 159-168. — Бібліогр.: 16 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Качественный анализ системы противоопухолевого иммунитета на основе дерева решений
by: Марценюк, В.П., et al.
Published: (2015)

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

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

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

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

Методы синхронизации цифровых водяных знаков
by: Кошкина, Н.В.
Published: (2008)

Современное состояние теории мультимножеств с сущностной точки зрения
by: Редько, В.Н., et al.
Published: (2015)

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

Измерение производительности параллельных компьютеров с распределенной памятью
by: Ющенко, Р.А.
Published: (2009)