Пошук
Зараз показуються 1-5 з 5
Оценка эффективности независимой верификации программного обеспечения
(ХАИ, 2004)
Излагается методика оценки эффективности независимой верификации ПО информационно-управляющих систем критического применения на основе статического анализа исходных кодов ПО с использованием семантического метода оценки ...
Поддержка процесса принятия решений при технологической подготовке горячештамповочного производства на основе баз знаний
(ХАИ, 2004)
Проанализирована проблема накопления и активного использования технологических знаний на машиностроительных предприятиях с целью эффективного принятия технологических решений при технологической подготовке производства, а ...
Проблема интеллектуальной поддержки принятия технологических решений в листовой штамповке
(ХАИ, 2004)
Приведен анализ современного состояния проблемы интеллектуальной поддержки принятия проектных решений в технологической подготовке производства деталей листовой штамповкой. Рассмотрены передовые САПР, представленные в ...
Отрывное обтекание плоской пластины бесконечного размаха при условии конечности скорости во всем поле течения
(ХАИ, 2004)
Предложена теоретическая модель струйного обтекания плоской пластины бесконечного размаха при условии конечности скорости во всем поле течения. Предложенная модель дает результаты, хорошо совпадающие с экспериментальными ...
Оценка технико-экономической эффективности ударной штамповки сложнорельефных тонколистовых деталей
(ХАИ, 2004)
Предложена методика определения технико-экономической эффективности внедрения новых процессов на основе метода ударной штамповки жидкостью и полиуретаном. Для деталей сложной формы определены наиболее рациональные области ...