Ви є тут

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

Автор: 

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

Тип роботи: 

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

Рік: 

2000

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

189

Артикул:

1000272801

179 грн

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

• 
• 
• 

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

• Разработка моделей влияния TORCH-инфекций и региональных экологических факторов на показатели здоровья беременных и детей
• Разработка и исследование алгоритмов структурного анализа и синтеза для систем статической многоуровневой оптимизации непрерывных технологических процессов
• Методы и модели конфигурирования адаптивных сетей поставок на основе многоагентных коалиционных систем
• Синергетический синтез нелинейных дискретных регуляторов
• Метод и алгоритмы обработки информации для оценки параметров охлаждения металла и поверхности шлака при внепечной обработке стали
• Интеллектуализация процесса диагностики венозных заболеваний
• Математические проблемы синхронизации автоколебательных систем с близкими частотами
• Разработка методов и алгоритмов для анализа и синтеза нелинейных импульсных систем управления с интервальными параметрами
• Алгоритмы обработки информации и программное обеспечение для структурного анализа и синтеза кинематических цепей роботов и манипуляторов
• Поддержка поиска неисправностей в аппаратуре автоматики и телемеханики на основе обработки диагностической экспертной информации