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

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

Анализируются существующие проблемы и возможность применения формальных методов при разработке отказоустойчивых компьютерных систем. Рассматривается интеграция формального метода разработки Event-B и метода анализа надежности ...

Запропоновано використовувати логіко-лінгвістичні моделі як засіб відображення синтаксичних особливостей текстової інформації, перелічено та обґрунтовано правила їх формування, наведено алгоритм створення всіх складових ...

На основе временного ряда производственной полезности предлагается метод определения эффективности функционирования нефтяной скважины на текущем и прогнозируемом периодах. Идентификация производственной функции полезности ...

Статья посвящена исследованию основных принципов изготовления медицинских нанороботов. Рассмотрены подходы к реализации процессов изготовления медицинских нанороботов с помощью автоматизированных систем. Приведены технические ...

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

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

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