Рассмотрены вопросы эффективности постоянного смешанного резервирования невосстанавливаемых систем. Проведен анализ надежности систем логико-вероятностным методом с использованием аппарата булевой алгебры, лямбда-методом ...

Проаналізовано існуючі підходи до формування критеріїв забезпечення надійності та якості програмного забезпечення. Приведено перелік основних моделей оцінки та підвищення надійності медичних систем і визначено особливості ...

Ускорение переработки информации в макроконвейерной ЭВМ зависит от числа процессоров в арифметическом блоке. Рассматривается количественная оценка приближения к линейному ускорению

Статья посвящена анализу процесса построения интеллектуальных систем, базируясь на определении интеллекта как свойства субъекта, позволяющего структурировать внешнюю среду, а затем применять созданную структуру для решения ...

Формализованы целевые функции, ориентирующие решение задачи на выполнение максимального количества геологоразведочных работ за минимальное время. Сформулирована система ограничений, отражающих требования к техническому ...

В работе приведено обоснование необходимости разработки формальных средств для описания сложных систем в случае, когда требуется строгое обоснование адекватности системы и ее модели. Коротко рассмотрена алгебра процессов, ...

В статье рассмотрен один из подходов к решению задачи восстановления сигнала, основанный на использовании вейвлетного базиса с последующей фильтрацией восстановленного сигнала.

Рассмотрены задачи и методы реализации функций управления памятью в PIM-системах – формирование и трансляция адресной информации, оптимальное распределение памяти, размещение данных и др. Приведены примеры двух различных ...

В статье предложена методика идентификации дефектов машин и оборудования, основанная на методах цифровой обработки сигнала, на основе которой проведено численное исследование и выделены частоты в спектре исследуемого ...