Buchumschlag

Анализ автоматно-алгебраических моделей

Рассмотрены методы анализа автоматно-алгебраических моделей над конечным ассоциативно-коммутативным кольцом с единицей с позиции их возможного применения при решении задач защиты информации. Охарактеризована сложность решения задач идентификации (параметрической и начального состояния) и анализа мно...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Труды Института прикладной математики и механики
Datum:	2012
1. Verfasser:	Скобелев, В.Г.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут прикладної математики і механіки НАН України 2012
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/124089
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. — Т. 24. — С. 202-208. — Бібліогр.: 33 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Автоматно-графовая формальная модель композитного документооборота
von: Круковский, М.Ю.
Veröffentlicht: (2006)

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

Теоремы единственности для алгебраических функций, учитывающие число алгебраических элементов
von: Гольдберг, А.А.
Veröffentlicht: (1995)

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

Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L
von: Чеботарев, А.Н.
Veröffentlicht: (2010)

Решение алгебраических уравнений непрерывными дробями
von: Шмойлов, В.И., et al.
Veröffentlicht: (2011)

Финитные представления в алгебраических системах
von: Грунский, И.С., et al.
Veröffentlicht: (2011)

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

Анализ автомата Спротта над конечным кольцом
von: Скобелев, В.Г.
Veröffentlicht: (2010)

Анализ задачи параметрической идентификации нелинейных автоматов над конечным кольцом
von: Скобелев, В.Г.
Veröffentlicht: (2010)

Анализ моделей ипотечного кредитования
von: Кондрашова, Г.П.
Veröffentlicht: (2012)

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

Об одном подходе к проектированию алгебраических типов данных
von: Песчаненко, В.С.
Veröffentlicht: (2006)

Нелинейные краевые задачи для невырожденных дифференциально-алгебраических систем
von: Несмелова, О.В.
Veröffentlicht: (2018)

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

О базисе B-сплайнов в пространстве алгебраических полиномов
von: Цесельский, З.
Veröffentlicht: (1986)

Исследование вероятостных сценариев алгебраических атак на потоковые шифры
von: Пометун, С.А.
Veröffentlicht: (2009)

Анализ характеристик конструктивного псевдофрактала
von: Скобелев, В.Г., et al.
Veröffentlicht: (2010)

Асимптотически нормальные оценки решений систем линейных алгебраических уравнений. I
von: Гирко, В.Л.
Veröffentlicht: (1990)

Применение алгоритма клонального отбора для решения систем алгебраических уравнений
von: Литвиненко, В.И.
Veröffentlicht: (2006)

Анализ моделей инновационных систем
von: Кузнецова, И.С.
Veröffentlicht: (2006)

Асимптотика решений бесконечной системы линейных алгебраических уравнений теории потенциала
von: Гомилко, А.М., et al.
Veröffentlicht: (2001)

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

Сравнительный анализ моделей конвективной теплоотдачи
von: Байда, Е.И.
Veröffentlicht: (2011)

Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ
von: Подловченко, Р.И.
Veröffentlicht: (2009)

Рекуррентные формулы для решений одной бесконечной системы линейных алгебраических уравнений
von: Гомилко, А.М.
Veröffentlicht: (1995)

Метод наименьших квадратов в теории нетеровых дифференциально-алгебраических краевых задач
von: Чуйко, С.М.
Veröffentlicht: (2018)

Вычисление индекса и особых точек линейных дифференциально-алгебраических уравнений высокого порядка
von: Чистяков, В.Ф., et al.
Veröffentlicht: (2017)

Анализ моделей систем с гетерогенными серверами
von: Меликов, А.З., et al.
Veröffentlicht: (2020)

Критерий плотности алгебраических полиномов в пространствах Lp(R,dμ), 1≤p<∞
von: Бакан, А.Г.
Veröffentlicht: (2003)

Полиномиальный вид условий Луи де Бранжа плотности алгебраических многочленов в пространстве C⁰w
von: Бакан, А.Г.
Veröffentlicht: (2005)

Работа с системами линейных алгебраических уравнений в программном каркасе Nadra-3D
von: Белоус, М.В.
Veröffentlicht: (2017)

Метод нахождения всех корней системы нелинейных алгебраических уравнений, основанный на операторе Кравчика
von: Семенов, В.Ю.
Veröffentlicht: (2015)

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

Анализ free-running автомата над конечным кольцом
von: Скобелев, В.В.
Veröffentlicht: (2010)

Дополнение к теореме С. Н. Мергеляна o плотности алгебраических многочленов в пространстве C⁰w
von: Бакан, А.Г.
Veröffentlicht: (2005)

Анализ структуры атрибутных транзиционных систем без скрытых переходов
von: Скобелев, В.В.
Veröffentlicht: (2017)

Анализ структуры класса линейных автоматов над кольцом Zpk
von: Скобелев, В.В.
Veröffentlicht: (2008)

Анализ существующих моделей распределения поощрительного фонда предприятия
von: Ячменев, Е.Ф., et al.
Veröffentlicht: (2011)

Анализ доминирующих моделей представления и использования знаний
von: Кургаев, А.Ф., et al.
Veröffentlicht: (2014)