Зображення обкладинки

Визначення і формалізація основних показників гарантоздатності живучих комп'ютерних систем керування на основі ймовірнісно-фізичного підходу для їх проектної оцінки і прогнозування

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Математичні машини і системи
Дата:	2012
Автори:	Сербін, В.Г., Сухомлин, А.І.
Формат:	Стаття
Мова:	Українська
Опубліковано:	Інститут проблем математичних машин і систем НАН України 2012
Теми:	Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/83791
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Визначення і формалізація основних показників гарантоздатності живучих комп'ютерних систем керування на основі ймовірнісно-фізичного підходу для їх проектної оцінки і прогнозування / В.Г. Сербін, А.І. Сухомлин // Мат. машини і системи. — 2012. — № 4. — С. 182-189. — Бібліогр.: 18 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Деякі аспекти живучості складних гарантоздатних комп'ютерних систем критичних умов застосування
за авторством: Сербін, В.Г., та інші
Опубліковано: (2011)

Моделювання і візуалізація засобами Processing комп'ютерних мереж
за авторством: Пасічник, В.В., та інші
Опубліковано: (2013)

Відмовостійкість програмного забезпечення гарантоздатних комп’ютерних систем
за авторством: Єфімова, Т.І., та інші
Опубліковано: (2009)

Метод оцінювання довільних відповідей у комп'ютерних системах тестування знань
за авторством: Бадьоріна, Л.М.
Опубліковано: (2006)

Математична модель багатокритеріальної оптимізації на множині сполучень при побудові комп’ютерних мереж
за авторством: Колєчкіна, Л.М., та інші
Опубліковано: (2016)

Стан і проблеми розвитку україномовної локалізації комп’ютерних програм
за авторством: Булаховський, К.
Опубліковано: (2010)

НЕЙРОМЕРЕЖЕВИЙ МЕТОД ІДЕНТИФІКАЦІЇ КОМП'ЮТЕРНИХ АТАК
за авторством: Комар, М. П.
Опубліковано: (2013)

Синтез комбінованого вирішального правила (ВП) у комп’ютерних системах медичної діагностики
за авторством: Поворознюк, А.І.
Опубліковано: (2010)

Формалізація процесу створення геометричних моделей
за авторством: Литвинов, В.В., та інші
Опубліковано: (2013)

Класифікація загроз інформаційній безпеці в комп’ютерних системах при віддаленій обробці даних
за авторством: Корпань, Я.В.
Опубліковано: (2015)

Математичні моделі і методи аналізу комп’ютерних мереж керування електропостачанням залізниць
за авторством: Стасюк, О.І., та інші
Опубліковано: (2018)

Становлення правової охорони комп'ютерних програм нормами авторського і патентного права
за авторством: Кірін, Р.С., та інші
Опубліковано: (2019)

Математичні оцінки та обґрунтування показників і параметрів високоінформативних комп’ютерних мереж
за авторством: Шевчук, Б.М.
Опубліковано: (2008)

АНАЛІЗ ТЕНДЕНЦІЙ РОЗВИТКУ СУЧАСНИХ КОМП’ЮТЕРНИХ СИСТЕМ
за авторством: Мартинюк, Т. Б., та інші
Опубліковано: (2017)

Розроблення науково-проектної документації по м. Суми
за авторством: Вечерський, В.В.
Опубліковано: (2013)

Формалізація операцій над інформаційними продуктами
за авторством: Вовк, О.Б.
Опубліковано: (2012)

Концепція і принципи кіберакмеології — новий підхід до проектування людино-комп’ютерних комплексів
за авторством: Антонов, В.М.
Опубліковано: (2007)

Адаптивна модель оперативного планування завдань комп’ютерних кластерів системи Grіd
за авторством: Тимошенко, Є.В.
Опубліковано: (2012)

Диференціальні коефіцієнти засвоєння в комп'ютерних системах проєктування і управління плавкою сталі
за авторством: Харченко, Олександр
Опубліковано: (2023)

Технологічне передбачення інформаційно-комп’ютерних технологій зв’язку
за авторством: Savastiyanov, V. V.
Опубліковано: (2019)

Евіденціальна парадигма та обробка комп’ютерних математичних знань
за авторством: Aselderov, Z. M., та інші
Опубліковано: (2019)

Про деякі способи підвищення точності комп’ютерних обчислень
за авторством: Хіміч, О.М., та інші
Опубліковано: (2017)

Евіденціальна парадигма та обробка комп’ютерних математичних знань
за авторством: Асельдеров, З.М., та інші
Опубліковано: (2004)

Використання похибки заокруглення в сучасних комп’ютерних технологіях
за авторством: Задірака, В.К., та інші
Опубліковано: (2021)

Структурний синтез комп’ютерних мереж з технологією MPLS
за авторством: Zaychenko, H. Yu., та інші
Опубліковано: (2019)

Моделювання НЕ-факторів — основа інтелектуалізації комп’ютерних технологій
за авторством: Valkman, Yu. R., та інші
Опубліковано: (2018)

Про деякі способи підвищення точності комп’ютерних обчислень
за авторством: Хіміч, Олександр Миколайович, та інші
Опубліковано: (2017)

Оптоелектронні iнформацiйні пристрої для комп'ютерних інформаційно-вимірювальних систем реального часу
за авторством: Литвин, І.С.
Опубліковано: (2009)

ЗАВДАННЯ ОЦІНКИ ВЕРІЦІКАЦІІ (КОРЕКТНОСТІ) АЛГОРИТМІВ ТА КОМП'ЮТЕРНИХ ПРОГРАМ
за авторством: Бенидзе, Н. Н.
Опубліковано: (2021)

Середовище імітаційного моделювання конфліктних процесів у комп’ютерних мережах
за авторством: Ігнатенко, О.П., та інші
Опубліковано: (2009)

Ефективність використання комп’ютерних систем бухгалтерського обліку на підприємствах
за авторством: Скопень, М.М., та інші
Опубліковано: (2011)

Інструментарій мінімізації ризику захищеності в розподілених комп’ютерних системах
за авторством: Mukhin, V. Ye.
Опубліковано: (2010)

Якість обслуговування у комп’ютерних мережах на базі Internet
за авторством: Listopad, N. I., та інші
Опубліковано: (2019)

Формалізація основних принципів взаємодії інвестора (кредитора) та позичальника (господарюючого суб’єкта)
за авторством: Соболевська, Л.І.
Опубліковано: (2009)

Технологія побудови та організація функціонування комп’ютерних мікростільникових радіомереж збору, обробки і передачі інформації
за авторством: Шевчук, Б.М., та інші
Опубліковано: (2002)

Розробка математичних моделей і комп’ютерних технологій для проведення віртуальних руйнівних випробувань оболонкових конструкцій
за авторством: Шевченко, Ю.М., та інші
Опубліковано: (2013)

Підходи до фізичного моделювання резонансно-тунельних діодів
за авторством: Свірін, П.В.
Опубліковано: (2008)

Розпаралелення процесу розв’язування задачі Коші у комп’ютерних мережах
за авторством: Квятковський, Б., та інші
Опубліковано: (2007)

Оперативне керування потоками у комп’ютерних мережах з технологією MPLS
за авторством: Zaychenko, О. Yu.
Опубліковано: (2015)

Знаходження максимального зваженого потоку в комп’ютерних мережах нового покоління
за авторством: Zaychenko, E. Yu., та інші
Опубліковано: (2017)