Search
Now showing items 11-20 of 115
Модель, метод и инструментальные средства интервального прогнозирования на основе экспоненциального сглаживания для случая неопределенности данных
(ХАІ, 2009)
В статье предложена модель, метод и инструментальные средства интервального прогнозирования
на основе экспоненциального сглаживания для случая неопределенности исходных данных.
Особенности процедуры вычисления атомарной радиальной базисной функции Plop(X1, X2)
(ХАІ, 2009)
В работе производится анализ вычислительных погрешностей при реализации алгоритма построения
атомарной радиально базисной функции (АРБФ) Plop(x1, x2), применяемой в численных методах решения краевой задачи по бессеточной ...
Метод идентификации рисков программного проекта на основе вероятностного подхода
(ХАІ, 2009)
Рассматриваются вероятностные модели оценки рисков, связанных с разработкой программного
продукта, согласно которым жизненный цикл программного продукта рассматривается как Марковский процесс.
Формальная верификация динамически модифицируемых моделей рабочих потоков Windows Workflow Foundation
(ХАІ, 2009)
Рассматривается механизм верификации рабочих потоков приложений, построенных по спецификации Windows Workflow Foundation и способных изменять бизнес-логику на этапе выполнения.
Модели и методы разработки виртуальных лабораторных комплексов на основе технологии Windows Workflow Foundation
(ХАІ, 2010)
Рассматриваются способы применения технологии Windows Workflow Foundation при разработке программного обеспечения для создания виртуальных лабораторных комплексов.
Метод оценки качества человеко-машинных интерфейсов в системах автоматизированной обработки телеметрической информации
(ХАІ, 2010)
Показано, что для повышения эффективности функционирования, снижения стоимости разработки и эксплуатации таких сложных систем, как системы телеметрии, обработка информации в которых происходит в режиме реального времени, ...
Метод недоопределенных вычислений в задаче автоматической валидации данных в системах обработки телеметрической информации космических аппаратов
(ХАІ, 2010)
Рассмотрена необходимость проведения контроля точности и достоверности телеметрической информации. Рассмотрены существующие методы контроля достоверности информации. Показано, что существующие методы не позволяют учитывать ...
Модель вычислений, управляемых данными, в программном обеспечении систем реального времени
(ХАІ, 2010)
Показано, что контроль точности, достоверности и актуальности вычислений в программном обеспечении систем реального времени является актуальной задачей. Предложено в качестве теоретического решения данной задачи использовать ...
Метод оценки требований к кэш-памяти для периодических задач в системах на основе многоядерных процессоров
(ХАІ, 2010)
Рассматриваются проблема влияния неравномерного распределения общей кэш-памяти на производительность в системах на основе многоядерных процессоров.
Анализ эргономических критериев и показателей качества человеко-компьютерных интерфейсов в SCADA-системах
(ХАІ, 2010)
Показано, что проектирование и реализация пользовательских интерфейсов таких сложных систем, как SCADA-системы (Supervisory Control and Data Acquisition – диспетчерское управление и сбор данных), играют ключевую роль в ...










