Ви є тут

Разработка математического обеспечения специализированных систем контроля цифровых узлов на основе автоморфизмов тестовых последовательностей

Автор: 

Петрухнова Галина Викторовна

Тип роботи: 

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

Рік: 

1999

Артикул:

1000239721

179 грн

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

• 
• 
• 

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

• Разработка информационных систем для работы с экспериментальными данными установок управляемого термоядерного синтеза
• Верификация распределенных систем с использованием аффинного представления данных, логик знаний и действий
• Текстурная визуализация векторных полей с использованием возможностей графического оборудования
• Методы построения инструментальных средств разработки программного обеспечения систем реального времени
• Математическое и программное обеспечение процедур процессов маршрутизации в телекоммуникационных сетях
• Исследование и разработка принципов построения адаптивных обучающих систем
• Интегрированная технология обеспечения качества программных продуктов с помощью верификации и тестирования
• Анализ эффективности исходных текстов программ в процессе обучения
• Разработка математического и программного обеспечения генерации тестовых последовательностей и верификации сложных цифровых схем
• Методы оценки онтологий для построения порталов знаний