Факультет програмної інженерії та бізнесу (№ 6): Недавние поступления
Отображаемые элементы 541-560 из 727
-
Модель оценивания качества программного обеспечения ИУС критического применения на основе инвариантов
(ХАІ, 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)Предложен язык описания технологических процессов испытаний сложных технических систем, преимущественно относящихся к космической технике. Приведены основные результаты внедрения разработанных моделей, алгоритмов и программных ... -
Создание систем дистанционного обучения на основе технологии интеллектуальных агентов
(ХАІ, 2005)Данная статья посвящена проблеме автоматизации роли преподавателя в дистанционной системе обучения. Ее решение представлено с использованием технологии интеллектуальных агентов. -
Моделирование законов распределения случайных величин по эмпирическим данным
(ХАІ, 2005)Показан подход к представлению законов распределения случайных величин в виде рядов по системам ортонормированных многочленов, коэффициенты которых определяются через числовые характеристики эмпирических данных. -
Оценка эффективности экономических информационных систем
(ХАІ, 2005)Решается задача анализа экономической эффективности информационных систем. Сложность решения данной задачи заключается в том, что обычно информационные технологии напрямую не приносят прибыль, а являются одним из ... -
Системное моделирование проектных действий по созданию авиационной техники
(ХАІ, 2005)Рассматриваются системные аспекты создания изделий авиационной техники (АТ). С использованием основных требований проектного менеджмента сформирована иерархическая система проектных действий. Выделены основные уровни и ... -
Модель автоматизації процесу платежів у міському громадському транспорті
(ЧДТУ, 2022)Метою доповіді є запропонування сучасної моделі автоматизованої системи оплати проїзду та обліку пасажирів в наземному громадському транспорті, яка має у своєму складі як декілька структурних рівнів, так і матеріальних ... -
Операторная модель инженерии квантов знаний для вывода решений в условиях неопределенности
(ХАІ, 2004)В статье предложена операторная модель инженерии квантов знаний для принятия идентификационных и прогнозных решений в условиях α-неопределенности. Синтезирована операторная модель для решения трех базовых задач: Аt-задача ... -
Анализ надежности системы обработки информации специализированной АСУ, функционирующей в системе остаточных классов
(ХАІ, 2004)В статье произведена оценка надежности системы обработки информации (СОИ) в системе остаточных классов (СОК). В качестве примера рассмотрена однобайтовая СОИ, для которой введен дополнительный резервный вычислительный тракт. -
Методика получения знаний по проектированию оснастки для листовой штамповки
(ХАІ, 2004)Описаны основные проблемы получения знаний по ТПП деталей листовой штамповкой. Приведена эффективная методика получения знаний по проектированию оснастки для ТПП деталей листовой штамповкой. -
Методика выбора оборудования для листовой штамповки
(ХАІ, 2004)Разработана методика создания баз знаний для интеллектуальной поддержки принятия решений технологом цеха листовой штамповки при решении неформализуемых подзадач выбора оборудования. -
Перечисление бихроматических графов
(ХАІ, 2003)Статья посвящена перечислению биграфов. Получены оценки числа ребер. Предлагаемый подход эффективен при построении каталогов типовых моделей и типовых проектных решений.