Применение недетерминированных автоматов в задачах синтеза проверяющих тестов для систем логического управления Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01

Применение недетерминированных автоматов в задачах синтеза проверяющих тестов для систем логического управления Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01

Bibliographic Details
Main Author:	Куфарева, Ирина Борисовна
Corporate Author:	Томский государственный университет
Format:	Book
Language:	Russian
Published:	Томск 2000
Subjects:	Управление в технических системах. авторефераты диссертаций.
Online Access:	Перейти в каталог НБ ТГУ

Similar Items

Минимизация проверяющих тестов для систем логического управления методами теории конечных автоматов Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01
by: Прокопенко, Светлана Анатольевна
Published: (2000)

Разработка методов синтеза проверяющих тестов для сетей из конечных автоматов Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01
by: Тренькаев, Вадим Николаевич
Published: (2000)

Кратчайшие допустимые разбиения в синтезе и компоновке схем логического управления Автореферат диссертации на соискание ученой степени доктора технических наук. 05.13.01.
by: Оранов, Александр Михайлович
Published: (1999)

Методы синтеза контролепригодных дискретных устройств Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01
by: Останин, Сергей Александрович
Published: (2000)

Декомпозиционные методы синтеза наблюдателей состояния Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01
by: Краснова, Светлана Анатольевна 1965-
Published: (1999)

Методы аппроксимации в стохастических задачах управления и оценка качества субоптимальных алгоритмов Автореферат диссертации на соискание ученой степени доктора технических наук. 05.13.01.
by: Фетисов, Вячеслав Николаевич
Published: (1998)

Разработка и исследование алгоритмов синтеза минимальных одноярусных комбинационных схем в базисах ПМВ, ПЗУ, ПЛМ Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01
by: Андреева, Людмила Николаевна
Published: (2000)

Построение, исследование и применение конкурентного самоорганизующегося генетического алгоритма Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01
by: Минкин, Юрий Игоревич
Published: (2000)

Методы синтеза многосвязных систем управления с неполной информацией о состоянии, параметрах и возмущениях на основе матричных уравнениях и передаточных матриц Автореферат диссертации на соискание ученой степени доктора технических наук. 05.13.01
by: Перепелкин, Евгений Александрович
Published: (2000)

Идентификационный синтез систем управления Автореферат диссертации на соискание ученой степени доктора технических наук. 05.13.01
by: Бунич, Александр Львович
Published: (1998)

Алгоритмы обучения нейронных сетей Автореферат диссертации на соискание ученой степени доктора технических наук. 05.13.01
by: Аведьян, Эдуард Дзеронович
Published: (1997)

Автоматизированное управление формированием и реализацией планов Автореферат диссертации на соискание ученой степени доктора технических наук. 05.13.01.
by: Рокотов, Виктор Павлович
Published: (1998)

Конструирование и моделирование морских автопилотов различных типов Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01
by: Чан Хоай Ан
Published: (1998)

Методы декомпозиции разнотемповых систем с релейными управлениями Автореферат диссертации на соискание ученой степени доктора технических наук. 05.13.01
by: Фридман, Леонид Моисеевич
Published: (1998)

Математическая обработка сигналов в системе мониторирования электрокардиограмм Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01
by: Харатьян, Евгений Игоревич
Published: (1997)

Синтез систем управления на основе метода разделения движений Автореферат диссертации на соискание ученой степени доктора технических наук. 05.13.01
by: Уткин, Виктор Анатольевич
Published: (2000)

Разработка и исследование алгоритмов структурной декомпозиции управляющих систем Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01
by: Беляев, Виктор Афанасьевич
Published: (2000)

Синтез адаптивного и робастного управления исполнительными устройствами подводных роботов Автореферат диссертации на соискание ученой степени доктора технических наук. 05.13.01
by: Дыда, Александр Александрович
Published: (1998)

Построение и исследование свойств многомерных систем управления интервально-заданными объектами Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01
by: Ивлев, Руслан Сергеевич
Published: (1999)

Теория периодически управляемых систем с распределенными параметрами и ее приложения Автореферат диссертации на соискание ученой степени доктора технических наук. 05.13.01
by: Германович, Олег Пантелеймонович
Published: (1998)

Модальное управление многомерной динамической системой с параметрическими неопределенностями интервального типа Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01
by: Моисеев, Александр Николаевич доктор физ.-мат. наук
Published: (1999)

Анализ и синтез робастных многомерных систем управления на основе частотных неравенств Автореферат диссертации на соискание ученой степени доктора технических наук. 05.13.01
by: Честнов, Владимир Николаевич
Published: (1999)

Исследование и проектирование многомерных систем управления и оценивания с заданными нулями Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01
by: Сорокин, Алексей Викторович
Published: (1998)

Синтез робастного стабилизирующего управления гибридными системами при структурных и амплитудных ограничениях Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01.
by: Фомин, Дмитрий Михайлович
Published: (1999)

Построение быстродействующих адаптивных наблюдателей в классе непрерывных моделей с дискретными измерениями Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01
by: Кулагин, Владимир Павлович
Published: (1997)

Разработка и исследование методов моделирования и оценки мер тестопригодности логических схем Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01
by: Голубева, Ольга Ивановна
Published: (2000)

Оптимизация многомерных систем автоматического управления на основе модификации метода корневого годографа Автореферат диссертации на соискание ученой степени доктора технических наук. 05.13.01
by: Прохорова, Ольга Витольдовна
Published: (1998)

Построение адаптивных систем управления в авиационной технике на основе метода Ляпунова Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01
by: Нгуен Хыу Доан
Published: (1997)

Анализ устойчивости и разработка алгоритма управления для некоторых систем с последействием Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01
by: Полякова, Марина Васильевна
Published: (1996)

Итерационные методы исследования состояний и управление колебаниями нелинейных строительных и электромеханических систем [автореферат диссертации] на соискание ученой степени доктора технических наук : 05.13.01
by: Кабельков, Александр Николаевич
Published: (1997)

Организация пространственного движения автономного подводного аппарата при траекторном обследовании объектов, областей, физических полей Автореферат диссертации на соискание ученой степени доктора технических наук. 05.13.01
by: Киселев, Лев Владимирович
Published: (1997)

Построение проверяющих тестов в процессе декомпозиционного синтеза управляющих автоматов диссертация на соискание ученой степени кандидата технических наук : 05.13.01
by: Каширова, Лилия Федоровна
Published: (1991)

Применение недетерминированных автоматов в задачах синтеза проверяющих тестов для систем логического управления Диссертация на соискание ученой степени кандидата технических наук. 05.13.01
by: Куфарева, Ирина Борисовна
Published: (2000)

Компьютерные тренажеры для обучения операторов технологических процессов - теория, методология построения и использования Автореферат диссертации на соискание ученой степени доктора технических наук. 05.13.01; 05.13.06
by: Дозорцев, Виктор Михайлович
Published: (1999)

Моделирование документальной информационно-поисковой системы, работающей с неформализованными текстами автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01
by: Зиновьев, Эдуард Васильевич
Published: (1973)

Системы массового обслуживания в редко изменяющейся случайной среде диссертация на соискание ученой степени кандидата технических наук. 05.13.01
by: Спивак, Лев Романович
Published: (1994)

Методы синтеза следящих систем управления по квадратичным критериям в условиях неполной информации Автореферат диссертации на соискание ученой степени доктора технических наук. 05.13.01
by: Смагин, Валерий Иванович
Published: (1998)

Выбор алгоритма построения решающего правила в распознающей системе диссертация на соискание ученой степени кандидата технических наук : 05.13.01
by: Старцева, Наталья Геннадьевна
Published: (1988)

Реконфигурация отказоустойчивой неразрезной процессорной матрицы Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01.
by: Еремина, Наталия Леонидовна
Published: (2000)

Оптимизация операционных характеристик сети передачи данных с коммутацией пакетов Автореферат диссертации на соискание ученой степени доктора технических наук. 05.13.01
by: Сущенко, Сергей Петрович
Published: (1997)