Проведена разработка имитационной модели для оценки надежности многоверсионных мажоритарно-резервированных систем, с учетом различных законов распределения времени до отказа аппаратных и программных средств и алгоритмов мажоритирования.Наведена розробка імітаційної моделі відмовостійких архітектур багатоверсійних мажоритарно-резервованих систем з урахуванням різноманітних законів розподілу часу до відмов апаратних і програмних засобів та алгоритмів мажоритування.The imitation model of architectures of multiversion majority-redundant system resistant to failures was worked out taking into account different distribution laws of time till hardware and software tools fail
Предлагается новый метод синтеза моделей на основе сетей Петри, использующий трассировочные данные, ...
Исследуется проблема параметрического анализа и синтеза производственных и экономических процессов, ...
The cognitive modelling method of situations against unstructured decisions in IT projects is descri...
The general model of management system for human activity on specific task solution is formulated on...
В результате исследований рассмотрены теоретические основания разработки многопараметрических матема...
Выполнена реализация тестовых программ для оценки времени передачи сообщений при разделении каналов ...
Доступ до роботи тільки на території бібліотеки ОНЕУ, для переходу натисніть на посилання нижчеУ роб...
Представлено результати дослідження підходів до класифікації сучасного програмного забезпечення упра...
У статті розглядається розроблена автором комп’ютерна технологія верифікації моделей автоматизованих...
В статті розглядається один з можливих підходів до моделювання функціонування складних систем на при...
Рассмотрены особенности представления информационной системы управления предприятием как динамическо...
У статті на змістовному рівні розглядається застосування кратномасштабного аналізу з метою підвищенн...
Для уточнения диагностики сахарного диабета предлагается система компьютерной обработки гликемически...
Приведена графоаналітична методика, яка без використання ПЕОМ при наявності відпрацьованого графічно...
Представлены результаты совместного использования формального метода спецификации требований Event-B...
Предлагается новый метод синтеза моделей на основе сетей Петри, использующий трассировочные данные, ...
Исследуется проблема параметрического анализа и синтеза производственных и экономических процессов, ...
The cognitive modelling method of situations against unstructured decisions in IT projects is descri...
The general model of management system for human activity on specific task solution is formulated on...
В результате исследований рассмотрены теоретические основания разработки многопараметрических матема...
Выполнена реализация тестовых программ для оценки времени передачи сообщений при разделении каналов ...
Доступ до роботи тільки на території бібліотеки ОНЕУ, для переходу натисніть на посилання нижчеУ роб...
Представлено результати дослідження підходів до класифікації сучасного програмного забезпечення упра...
У статті розглядається розроблена автором комп’ютерна технологія верифікації моделей автоматизованих...
В статті розглядається один з можливих підходів до моделювання функціонування складних систем на при...
Рассмотрены особенности представления информационной системы управления предприятием как динамическо...
У статті на змістовному рівні розглядається застосування кратномасштабного аналізу з метою підвищенн...
Для уточнения диагностики сахарного диабета предлагается система компьютерной обработки гликемически...
Приведена графоаналітична методика, яка без використання ПЕОМ при наявності відпрацьованого графічно...
Представлены результаты совместного использования формального метода спецификации требований Event-B...
Предлагается новый метод синтеза моделей на основе сетей Петри, использующий трассировочные данные, ...
Исследуется проблема параметрического анализа и синтеза производственных и экономических процессов, ...
The cognitive modelling method of situations against unstructured decisions in IT projects is descri...