Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Математичні машини і системи
Datum:	2012
Hauptverfasser:	Сербін, В.Г., Сухомлин, А.І.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	Інститут проблем математичних машин і систем НАН України 2012
Schlagworte:	Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/83791
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Визначення і формалізація основних показників гарантоздатності живучих комп'ютерних систем керування на основі ймовірнісно-фізичного підходу для їх проектної оцінки і прогнозування / В.Г. Сербін, А.І. Сухомлин // Мат. машини і системи. — 2012. — № 4. — С. 182-189. — Бібліогр.: 18 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

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

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

Відмовостійкість програмного забезпечення гарантоздатних комп’ютерних систем
von: Єфімова, Т.І., et al.
Veröffentlicht: (2009)

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

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

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

НЕЙРОМЕРЕЖЕВИЙ МЕТОД ІДЕНТИФІКАЦІЇ КОМП'ЮТЕРНИХ АТАК
von: Комар, М. П.
Veröffentlicht: (2013)

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

Формалізація процесу створення геометричних моделей
von: Литвинов, В.В., et al.
Veröffentlicht: (2013)

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

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

Становлення правової охорони комп'ютерних програм нормами авторського і патентного права
von: Кірін, Р.С., et al.
Veröffentlicht: (2019)

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

АНАЛІЗ ТЕНДЕНЦІЙ РОЗВИТКУ СУЧАСНИХ КОМП’ЮТЕРНИХ СИСТЕМ
von: Мартинюк, Т. Б., et al.
Veröffentlicht: (2017)

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

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

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

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

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

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

Евіденціальна парадигма та обробка комп’ютерних математичних знань
von: Aselderov, Z. M., et al.
Veröffentlicht: (2019)

Про деякі способи підвищення точності комп’ютерних обчислень
von: Хіміч, О.М., et al.
Veröffentlicht: (2017)

Евіденціальна парадигма та обробка комп’ютерних математичних знань
von: Асельдеров, З.М., et al.
Veröffentlicht: (2004)

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

Структурний синтез комп’ютерних мереж з технологією MPLS
von: Zaychenko, H. Yu., et al.
Veröffentlicht: (2019)

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

Про деякі способи підвищення точності комп’ютерних обчислень
von: Хіміч, Олександр Миколайович, et al.
Veröffentlicht: (2017)

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

ЗАВДАННЯ ОЦІНКИ ВЕРІЦІКАЦІІ (КОРЕКТНОСТІ) АЛГОРИТМІВ ТА КОМП'ЮТЕРНИХ ПРОГРАМ
von: Бенидзе, Н. Н.
Veröffentlicht: (2021)

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

Ефективність використання комп’ютерних систем бухгалтерського обліку на підприємствах
von: Скопень, М.М., et al.
Veröffentlicht: (2011)

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

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

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

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

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

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

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

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

Знаходження максимального зваженого потоку в комп’ютерних мережах нового покоління
von: Zaychenko, E. Yu., et al.
Veröffentlicht: (2017)