Факультет програмної інженерії та бізнесу (№ 6): Недавние поступления
Отображаемые элементы 521-540 из 727
-
Багатоінваріантний метод підвищення надійності програмних засобів
(ХАІ, 2008)З метою підвищення надійності програмно-технічних комплексів розглянуто метод, що забезпечує контроль інтервальної, точностної та семантичної коректності обчислювальних процесів, та має у порівнянні з відомими меншу ... -
Оценка эффективности диверсификации программного обеспечения в аппаратно-программных комплексах критического назначения
(ХАІ, 2008)В статье рассмотрены проблемы обеспечения безопасности функционирования организационно-технических систем путем повышения их отказоустойчивости. Проведен анализ некоторых моделей надежности программно-аппаратных комплексов, ... -
Практические аспекты реализации динамического планирования запросов в клиент-серверных системах на основе OPC
(ХАІ, 2008)Показано, что ключевые для систем реального времени свойства реактивности и предсказуемости в клиент-серверных системах, реализующих технологию ОРС могут быть достигнуты при разработке программного обеспечения, реализующего ... -
Калибровка методов измерения инвариантов критического программного обеспечения: профиль инъектируемых тестовых дефектов
(ХАІ, 2008)Информативность испытаний и подтверждение приемлемых уровней вероятности скрытых дефектов при независимой верификации критического программного обеспечения обеспечивается с помощью адекватного профиля дефектов и калибровок ... -
Неопределенность, энтропия и проектные риски
(ХАІ, 2008)В статье обсуждается вопрос, что следует понимать под ситуацией неопределённости при решении задачи управления проектами, и вводится разделение основных источников возникновения рисков на случайные, порождающие ситуацию ... -
Формализация функционирования и управления системой поддержки решений при проектировании стапельно-сборочной оснастки летательных аппаратов
(ХАІ, 2008)Разработаны математические схемы функционирования и управления иерархической системой поддержки принятия решений (СППР) при проектировании стапельно-сборочной оснастки летательных аппаратов (СОЛА) как этап системного ... -
Задача о приведении показателя конкурентоспособности гетерогенной продукции к заданному уровню в условиях неопределенности
(ХАІ, 2008)Рассмотрены актуальные вопросы формализации процессов финансирования научно-производственных подразделений выполняющих НИОКР, которые направлены на улучшение потребительских свойств объектов производства. Оптимальное ... -
Модель дефектов программного обеспечения
(ХАІ, 2008)Предлагается модель дефектов программного обеспечения, основанная на целочисленном дескрипторном отображении. Программный код рассмотрен как упорядоченное множество программных конструкций, каждая из которых с некоторой ... -
Методы оценки стоимости и затрат на создание программного продукта, основанные на нечеткой логике
(ХАІ, 2008)Проведен аналитический обзор исследований по оценке стоимости разработки программного обеспечения в современных информационно-управляющих системах. Показана необходимость использования математического аппарата нечеткой ... -
Обоснование и множественное представление операторной модели и метода для поддержки принятия технологических решений в механообработке
(ХАІ, 2008)В статье рассмотрена проблема знаниеориентированной поддержки принятия решений в технологической подготовке производства. Предложена операторная модель для поддержки принятия решений технологом при разработке технологического ... -
Проблема синтезу інтегрованих експертних систем підтримки прийняття рішень щодо управління складними організаційно-технічними об'єктами
(ХАІ, 2008)Проаналізовано проблему створення єдиного інформаційного простору в рамках складного об’єкту прийняття рішення на основі інтегрованої експертної системи підтримки прийняття рішень, яка складається з ієрархічно впорядкованих ... -
Проектирование сложных проблемно-ориентированных комплексов на основе модели траекторий вычислительных процессов
(ХАІ, 2007)Выполнен анализ известных современных технологий разработки проблемно-ориентированных программных комплексов. Обоснована необходимость создания новых методов и технологий разработки для целого класса задач, обеспечение ... -
Модели и способы автоматизированного управления испытаниями систем космического аппарата
(ХАІ, 2007)Выполнена разработка комплекса моделей, способов и информационных средств для автоматизации технологических процессов испытаний на основе системы энергоснабжения (СЭС) космических аппаратов (КА). Рассмотрены некоторые ... -
Целевая технология рентабельной оценки надежности и функциональной безопасности критического программного обеспечения
(ХАІ, 2007)Предложена целевая технология рентабельной оценки надежности и функциональной безопасности критического программного обеспечения (ПО): в процессе независимой верификации и квалификации ПО ИУС критического применения. -
Организационно-функциональное моделирование процессов финансирования научно-исследовательских и опытно-конструкторских разработок в условиях конкуренции
(ХАІ, 2007)Разработаны модели различных принципов организационного управления ресурсами распределенной технико-экономической системы, позволяющие провести количественный анализ эффективности диверсификации финансирования ... -
Целочисленное семантическое отображение
(ХАІ, 2007)Показаны проблемы контроля функциональности программного обеспечения, основанного на оценке семантической корректности программного обеспечения информационно-управляющих систем, обусловленные значительной ресурсоемкостью ... -
Экспертиза программного обеспечения информационно-управляющих систем с использованием дескрипторного семантического пространства
(ХАІ, 2007)Показаны проблемы экспертизы, основанной на оценке семантической корректности программного обеспечения информационно-управляющих систем, обусловленные значительной ресурсоемкостью. Предложен метод эффективного представления ... -
Методика оцінки епідемічних ситуацій та прогнозування розвитку захворюваності на грип та ГРВІ
(ХАІ, 2007)Розглянуто проблему контролю захворюваності на грип та ГРВІ. Запропоновано методику вирішення цієї проблеми шляхом розрахунку епідемічних порогів захворюваності. Розроблено програмний комплекс, який оптимізує роботу ... -
Аналитическое решение задачи оценки спектральной плотности случайного процесса по экспериментальным данным
(ХАІ, 2007)Предложен метод вычисления спектральной плотности, основанный на простом способе аппроксимации эмпирической корреляционной функции, показана возможность его осуществления на простом примере. -
Создание функционально безопасных программных систем на основе виртуальных машин
(ХАІ, 2007)Рассмотрена существующая проблема обеспечения функциональной безопасности программного обеспечения. Приведен обзор нормативных документов, которые регламентируют функциональную безопасность программных средств. Рассмотрены ...