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

Результати 1-20 з 135

Наступна сторінка

A process for consistent and informed assessment of software reliability over its life cycle

Slabospitсkaya, О.O. (Математичні машини і системи, 2010)

The software process is improved with a new process of unified, informed and consistent software reliability predicting/assessing over software life cycle. It is represented with both the ratio of faults and Function Points ...
Calculation of spare elements in complete sets of the ZIP on the basis of DN-distribution

Strelnikov, V.P.; Shou Weichao (Математичні машини і системи, 2009)

Design procedures of sufficiency of the ZIP, quantities of nonrestorable spare elements on the basis of use as theoretical model of refusals of elements and a product of two-parametrical DN -distribution are presented.
N-version programming as an opportunity to exclude errors in software

Cespedes Garcia, P.D. (Математичні машини і системи, 2019)

One of the methods for increasing computer system dependability level is the N-version programming method. Liming Chen and Algirdas Avizienis proposed this concept with the main hypothesis that «independent efforts in ...
Алгоритм формирования и минимизации логического представления дерева отказов

Серебровский, А.Н.; Ситниченко, Л.П.; Пилипенко, В.Г. (Математичні машини і системи, 2009)

Предлагаются алгоритмы процедур, которые реализуют функции ввода описания опасного события в форме дерева отказов; формирования и минимизации дизъюнктивно-нормальной формы дерева отказов. Данные алгоритмы могут быть ...
Анализ методик расчета безотказности избыточных систем

Стрельников, В.П.; Барзик, Е.В.; Пантелеева, Е.С. (Математичні машини і системи, 2005)

Рассмотрены методики расчета безотказности избыточных систем типа «k из n ». Используя результаты моделирования функционирования указанных систем до появления отказа, был проведен сравнительный анализ расчетных и ...
Анализ эффективности смешанного резервирования невосстанавливаемых систем

Федухин, А.В. (2008)

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

Волкова, С.О.; Трунов, О.М. (2008)

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

Федухин, А.В.; Сеспедес Гарсия, Н.В. (Математичні машини і системи, 2013)

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

Ратобыльская, Д.В. (Математичні машини і системи, 2012)

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

Сукач, Е.И.; Жердецкий, Ю.В. (Математичні машини і системи, 2015)

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

Костановский, В.В.; Козачук, О.Д. (Математичні машини і системи, 2015)

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

Сербін, В.Г.; Сухомлин, А.І. (Математичні машини і системи, 2012)

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

Єфімова, Т.І.; Мудла, Б.Г.; Шалейко, О.М. (Математичні машини і системи, 2009)

У статті розглянуті проблеми створення стійкого до відмов програмного забезпечення для гарантоздатних бортових автономних комплексів довготривалого функціонування. Проведено аналіз сучасного стану проблеми. Описані різні ...
Вопросы результативности и эффективности внедрения систем менеджмента качества

Стрельников, В.П. (Математичні машини і системи, 2005)

В статье определены вопросы результативности и эффективности внедрения систем менеджмента качества (СМК). Отмечены основные аргументы в пользу внедрения СМК. На конкретном примере рассматривается экономический эффект ...
Гарантоздатність як фундаментальний узагальнюючий та інтегруючий підхід

Мудла, Б.Г.; Єфімова, Т.І.; Рудько, Р.М. (Математичні машини і системи, 2010)

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

Федухин, А.В.; Мудла, Б.Г. (Математичні машини і системи, 2014)

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

Федухин, О.В. (Математичні машини і системи, 2017)

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

Федухин, А.В.; Сеспедес Гарсия, Н.В. (Математичні машини і системи, 2012)

Предложен графо-аналитический метод оценки параметров DN-распределения в условиях ограниченной статистики отказов. Метод может использоваться в качестве своеобразного критерия согласия исследуемого эмпирического распределения ...
Деякі аспекти живучості складних гарантоздатних комп'ютерних систем критичних умов застосування

Сербін, В.Г.; Сухомлин, А.І. (Математичні машини і системи, 2011)

Обгрунтовано актуальність вирішення проблеми живучості складних гарантоздатних комп'ютерних систем. Проведено аналіз основних термінів та визначень поняття «живучість систем». Розглянуто різні підходи щодо кількісної і ...
Диагностика коротких замыканий в многослойных печатных платах

Федухин, А.В. (2003)

Предложен метод диагностики коротких замыканий, основанный на кодировании диаграммы Феррера и безусловном алгоритме локализации неисправностей. Табл.: 3. Ил.: 4. Библиогр.: 4 назв.

Результати 1-20 з 135

Наступна сторінка

Пошук

Розширений пошук

Перегляд

Вся бібліотека

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

Репозиторій DSpace/Manakin

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

Пошук

Перегляд

Вся бібліотека

Мій обліковий запис