Статті з наукових журналів та збірок: Недавние поступления
Отображаемые элементы 301-320 из 415
-
Проблема синтезу інтегрованих експертних систем підтримки прийняття рішень щодо управління складними організаційно-технічними об'єктами
(ХАІ, 2008)Проаналізовано проблему створення єдиного інформаційного простору в рамках складного об’єкту прийняття рішення на основі інтегрованої експертної системи підтримки прийняття рішень, яка складається з ієрархічно впорядкованих ... -
Проектирование сложных проблемно-ориентированных комплексов на основе модели траекторий вычислительных процессов
(ХАІ, 2007)Выполнен анализ известных современных технологий разработки проблемно-ориентированных программных комплексов. Обоснована необходимость создания новых методов и технологий разработки для целого класса задач, обеспечение ... -
Модели и способы автоматизированного управления испытаниями систем космического аппарата
(ХАІ, 2007)Выполнена разработка комплекса моделей, способов и информационных средств для автоматизации технологических процессов испытаний на основе системы энергоснабжения (СЭС) космических аппаратов (КА). Рассмотрены некоторые ... -
Целевая технология рентабельной оценки надежности и функциональной безопасности критического программного обеспечения
(ХАІ, 2007)Предложена целевая технология рентабельной оценки надежности и функциональной безопасности критического программного обеспечения (ПО): в процессе независимой верификации и квалификации ПО ИУС критического применения. -
Организационно-функциональное моделирование процессов финансирования научно-исследовательских и опытно-конструкторских разработок в условиях конкуренции
(ХАІ, 2007)Разработаны модели различных принципов организационного управления ресурсами распределенной технико-экономической системы, позволяющие провести количественный анализ эффективности диверсификации финансирования ... -
Целочисленное семантическое отображение
(ХАІ, 2007)Показаны проблемы контроля функциональности программного обеспечения, основанного на оценке семантической корректности программного обеспечения информационно-управляющих систем, обусловленные значительной ресурсоемкостью ... -
Экспертиза программного обеспечения информационно-управляющих систем с использованием дескрипторного семантического пространства
(ХАІ, 2007)Показаны проблемы экспертизы, основанной на оценке семантической корректности программного обеспечения информационно-управляющих систем, обусловленные значительной ресурсоемкостью. Предложен метод эффективного представления ... -
Методика оцінки епідемічних ситуацій та прогнозування розвитку захворюваності на грип та ГРВІ
(ХАІ, 2007)Розглянуто проблему контролю захворюваності на грип та ГРВІ. Запропоновано методику вирішення цієї проблеми шляхом розрахунку епідемічних порогів захворюваності. Розроблено програмний комплекс, який оптимізує роботу ... -
Аналитическое решение задачи оценки спектральной плотности случайного процесса по экспериментальным данным
(ХАІ, 2007)Предложен метод вычисления спектральной плотности, основанный на простом способе аппроксимации эмпирической корреляционной функции, показана возможность его осуществления на простом примере. -
Создание функционально безопасных программных систем на основе виртуальных машин
(ХАІ, 2007)Рассмотрена существующая проблема обеспечения функциональной безопасности программного обеспечения. Приведен обзор нормативных документов, которые регламентируют функциональную безопасность программных средств. Рассмотрены ... -
Модель оценивания качества программного обеспечения ИУС критического применения на основе инвариантов
(ХАІ, 2006)Предложенный подход создает возможности в рамках risk-informed регулирования безопасности АЭС количественно оценивать и управлять величиной снижения вероятности рисков остаточных дефектов программного обеспечения (ПО) ... -
Formal model of technological processes's description of complex technical systems's tests
(ХАІ, 2006)Theoretical aspects of application of the problem-oriented language for description the tests of the technological processes of complex technical systems are considered. The formal grammar of language and features of use ... -
Диагностический анализ предприятия как метод стратегического мониторинга финансово-хозяйственной деятельности производственных систем
(ХАІ, 2006)В статье описывается применение диагностического анализа как метода стратегического мониторинга. Диагностический анализ позволяет охарактеризовать проблемы предприятия с точки зрения сбыта, управления, планирования, ... -
Решение задачи оценки параметров по экспериментальным данным
(ХАІ, 2006)Рассмотрена задача оценивания интересующих исследователя параметров непосредственно по выборочным данным для случая произвольной симметричной функции плотности распределения вероятностей ошибок измерений. -
Проблеми вартісної оцінки об'єктів інтелектуальної власності
(ХАІ, 2006)Доведено необхідність освоєння та поширення потоку інновацій, що передбачає використання об’єктів інтелектуальної власності. Визначено, що використання зарубіжних методів оцінки інтелектуальної власності призводить до ... -
Концепции реализации функциональной безопасности и надежности в операционных системах реального времени
(ХАІ, 2006)Анализируются методы обеспечения надежности и безопасности операционных систем реального времени (ОСРВ). Рассматриваются стандарты безопасности для ОСРВ и существующие разработки в данном направлении, обсуждается концепция ... -
Решение задачи нахождения алгоритма оценивания параметров по эмпирическим данным для произвольной симметричной функции распределения случайных величин
(ХАІ, 2006)Рассмотрена задача построения алгоритма оценивания интересующих исследователя параметров непосредственно по выборочным данным для случая произвольной симметричной функции плотности распределения вероятностей ошибок измерений. -
Методологическое обеспечение процесса управления человеческими ресурсами проектов. Анализ методов планирования потребности в персонале
(ХАІ, 2006)Проведен обзор современных публикаций по управлению персоналом. Рассмотрены методы и инструменты планирования, проанализирована возможность их использования в управлении персоналом проектов. Поставлены задачи разработки ... -
Алгоритмизация компьютерного манипулирования знаниями для автоматизации принятия решений в ТПП
(ХАІ, 2006)Жесткая конкуренция среди предприятий авиационного профиля накладывает на их функционирование целый ряд дополнительных требований, а именно: максимальное снижение сроков подготовки производства, автоматизация подготовки ... -
Программное обеспечение испытаний бортовых систем космического аппарата
(ХАІ, 2006)Предложен язык описания технологических процессов испытаний сложных технических систем, преимущественно относящихся к космической технике. Приведены основные результаты внедрения разработанных моделей, алгоритмов и программных ...