Search
Now showing items 1-10 of 12
Оценка эффективности независимой верификации программного обеспечения
(ХАИ, 2004)
Излагается методика оценки эффективности независимой верификации ПО информационно-управляющих систем критического применения на основе статического анализа исходных кодов ПО с использованием семантического метода оценки ...
Поддержка процесса принятия решений при технологической подготовке горячештамповочного производства на основе баз знаний
(ХАИ, 2004)
Проанализирована проблема накопления и активного использования технологических знаний на машиностроительных предприятиях с целью эффективного принятия технологических решений при технологической подготовке производства, а ...
Проблема интеллектуальной поддержки принятия технологических решений в листовой штамповке
(ХАИ, 2004)
Приведен анализ современного состояния проблемы интеллектуальной поддержки принятия проектных решений в технологической подготовке производства деталей листовой штамповкой. Рассмотрены передовые САПР, представленные в ...
Методика выбора оборудования для листовой штамповки
(ХАІ, 2004)
Разработана методика создания баз знаний для интеллектуальной поддержки принятия решений технологом цеха листовой штамповки при решении неформализуемых подзадач выбора оборудования.
Методика получения знаний по проектированию оснастки для листовой штамповки
(ХАІ, 2004)
Описаны основные проблемы получения знаний по ТПП деталей листовой штамповкой. Приведена эффективная методика получения знаний по проектированию оснастки для ТПП деталей листовой штамповкой.
Анализ надежности системы обработки информации специализированной АСУ, функционирующей в системе остаточных классов
(ХАІ, 2004)
В статье произведена оценка надежности системы обработки информации (СОИ) в системе остаточных
классов (СОК). В качестве примера рассмотрена однобайтовая СОИ, для которой введен дополнительный резервный вычислительный тракт.
Операторная модель инженерии квантов знаний для вывода решений в условиях неопределенности
(ХАІ, 2004)
В статье предложена операторная модель инженерии квантов знаний для принятия идентификационных
и прогнозных решений в условиях α-неопределенности. Синтезирована операторная модель для решения
трех базовых задач: Аt-задача ...
Отрывное обтекание плоской пластины бесконечного размаха при условии конечности скорости во всем поле течения
(ХАИ, 2004)
Предложена теоретическая модель струйного обтекания плоской пластины бесконечного размаха при условии конечности скорости во всем поле течения. Предложенная модель дает результаты, хорошо совпадающие с экспериментальными ...
Потенціал підприємства: формування й оцінювання
(ХАІ, 2004)
Наведено теоретичні відомості, методичні матеріали з
формування й оцінювання потенціалу підприємства як інформаційної
основи для розробки його ринкової стратегії, оцінки перспектив і
напрямку розвитку, доцільності його ...
Метрологічне забезпечення якості
(ХАІ, 2004)
Описано основні положення метрологічного забезпечення якості
згідно з вимогами до систем управління якістю, а також подано основні
терміни та визначення в сфері метрологічного забезпечення, чинні в
Україні. Наведено ...