Ви є тут

Исследование и разработка методов верификации протоколов распределенных систем на основе бисимуляционной эквивалентности сетей Петри

Автор: 

Поступальский Павел Алексеевич

Тип роботи: 

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

Рік: 

1997

Артикул:

1000169505

179 грн

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

• 
• 
• 

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

• Комплекс процедур, расширяющих возможности компьютерно-алгебраической системы Maple для решения задач линейной алгебры
• Инструментальное средство создания интеллектуальных систем идентификации технических состояний конструкций
• Методы и программные средства для анализа документов на основе модели предметной области
• Программная среда поддержки эффективного выполнения задач на параллельных вычислительных системах
• Методы и программные средства представления знаний на основе нечетких таблиц решений и их применение в интеллектуальных системах
• Спецификация и анализ распределенных систем с использованием инструментальных средств, поддерживающих модели сетей Петри
• Управление памятью в системах автоматизированного распараллеливания программ
• Исследование и разработка интерактивной компьютерной системы поддержки принятия решений при управлении производством с неспециализированным оборудованием
• Методы и алгоритмы обработки изображений в системе телевизионного контроля тепловыделяющих сборок водо-водяного энергетического реактора
• Математическое и программное обеспечение построения списков семантически близких слов на основе рейтинга вики-текстов