Ви є тут

Разработка методов синтеза проверяющих тестов для сетей из конечных автоматов

Автор: 

Тренькаев Вадим Николаевич

Тип роботи: 

кандидатская

Рік: 

2000

Кількість сторінок: 

189

Артикул:

1000272801

179 грн

Додати в кошик

• 
• 
• 

Рекомендовані дисертації

• Математическое и информационное обеспечение моделей оптимизации взаимодействия участников в региональных агропромышленных кластерах
• Автоматизированная система разработки и поддержки принятия решений в строительных перебазируемых предприятиях
• Системный анализ механизмов адаптации и возможности управления у детей с острыми синуситами
• Совершенствование управления здравоохранением на региональном уровне с использованием информационных технологий
• Разработка информационно-аналитической системы для бесконтактной идентификации веществ
• Профилактика посткастрационного синдрома после радикальных операций у пациенток репродуктивного возраста
• Алгоритмизация анализа и синтеза нелинейных управляемых систем с учетом свойств проводимости по А. М. Ляпунову и особенностей в виде плоских предельных циклов на основе системы компьютерной алгебры АНАЛИТИК-С
• Функциональное диагностирование навигационных систем с использованием нечеткого анализа
• Нейросетевая реализация процедуры идентификации динамических систем
• Методы проектирования математических моделей и математического обеспечения для компьютерных систем и тренажеров