Научная статья на тему 'Логические методы расчета надежности систем. Часть ii. Математическая модель надежности'

Логические методы расчета надежности систем. Часть ii. Математическая модель надежности Текст научной статьи по специальности «Математика»

CC BY
274
58
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ПЕРЕКЛЮЧАТЕЛЬНЫЙ ПРОЦЕСС / НАДЕЖНОСТНЫЙ ПРОЦЕСС / ДИНАМИЧЕСКИЙ АВТОМАТ / ДВОИЧНЫЙ ОПЕРАТОР / СТРУКТУРА ОПЕРАТОРА / ЛОГИЧЕСКАЯ ТЕОРИЯ НАДЕЖНОСТИ / SWITCHING PROCESS / RELIABILITY PROCESS / DYNAMICAL AUTOMATA / BINARY OPERATOR / STRUCTURE OF OPERATOR / LOGICAL THEORY OF RELIABILITY

Аннотация научной статьи по математике, автор научной работы — Левин Виталий Ильич

Актуальность. В последние годы все большее внимание ученых и проектировщиков технических систем приобретают вопросы совершенствования методов оценки надежности и безопасности этих систем, в связи с задачами повышения значений этих характеристик. Цель статьи заключается в разработке автоматно-логической модели надежности технических систем и соответствующих логических методов оценки надежности таких систем, которые в отличие от известных используют не традиционные вероятностные показатели надежности, а детерминированные логические показатели. Метод. Для достижения поставленной цели в статье предложено использовать в качестве исходных данных наблюдаемые моменты последовательных отказов и восстановлений элементов технической системы, а в качестве характеристик надежности самой системы моменты последовательных отказов и восстановлений этой системы. В этом случае задача оценки надежности системы сводится к построению ее математической модели в виде автоматных логических функций, выражающих моменты ее последовательных отказов и восстановлений через аналогичные моменты всех ее элементов. Данная статья представляет собой вторую часть работы, в которой детально разрабатывается автоматно-логическая модель, предназначенная для вычисления логической функции надежности технических систем. Новизна работы заключается в построении адекватной логической модели надежности системы, позволяющей свести оценку надежности технической системы к вычислению ее логических функций надежности. Результат. В статье детально разработаны логическая модель надежности и методы ее исследования, позволяющие вводить новые показатели надежности технических систем, не требующие для своей оценки использования вероятностных методов и исходных статистических данных об отказах элементов. На основе разработанной логической модели надежности и методах ее исследования решена задача построения автоматной модели надежности систем, которая позволит вести практические расчеты надежности реальных технических систем методами теории динамических автоматов.Relevance.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

In recent years, the increasing attention of scientists and designers of communication systems has been acquiring the issues of improving methods for assessing the reliability and safety of technical systems, in connection with the tasks put forward to increase the values of these characteristics. Purpose of the article. is to develop an automata-logical model of the reliability of technical systems and the corresponding logical methods for assessing the reliability of such systems, using not traditional probabilistic but deterministic logical reliability indicators. Method. To achieve this goal, it was suggested to use as the initial data the observed moments of sequential failures and recoveries of the elements of the technical system, and as the reliability characteristics of the system itself, the moments of sequential failures and recoveries of the system. In this case, the problem of estimating the reliability of a system is reduced to constructing its mathematical model in the form of automata-logical functions expressing the moments of its sequential failures and restores through analogous moments of all its elements. In this part of article the automata-logical model is developed in detail, useful for calculate the logical function of the reliability of technical systems. Novelty of the work is the construction of an adequate logical model of the system's reliability, which makes it possible to reduce the reliability estimate of a technical system to the calculation of its logical reliability functions. Result. In this part of article the logical model of reliability and methods of its investigation are developed in detail, allowing to introduce new indicators of reliability of technical systems that do not require for their evaluation the use of probability methods and initial statistical data on element failures. In the article, based on the developed logical reliability model and methods of its investigation, the problem of constructing an automaton model of system reliability that will allow practical calculations of the reliability of real systems by methods of the theory of dynamic automata is solved.

Текст научной работы на тему «Логические методы расчета надежности систем. Часть ii. Математическая модель надежности»

Системы управления, связи и безопасности №3. 2017

Systems of Control, Communication and Security sccs.intelgr.com

УДК 519.711

Логические методы расчета надежности систем.

Часть II. Математическая модель надежности

Левин В. И.

Актуальность. В последние годы все большее внимание ученых и проектировщиков технических систем приобретают вопросы совершенствования методов оценки надежности и безопасности этих систем, в связи с задачами повышения значений этих характеристик. Цель статьи заключается в разработке автоматно-логической модели надежности технических систем и соответствующих логических методов оценки надежности таких систем, которые в отличие от известных используют не традиционные - вероятностные показатели надежности, а детерминированные логические показатели. Метод. Для достижения поставленной цели в статье предложено использовать в качестве исходных данных наблюдаемые моменты последовательных отказов и восстановлений элементов технической системы, а в качестве характеристик надежности самой системы - моменты последовательных отказов и восстановлений этой системы. В этом случае задача оценки надежности системы сводится к построению ее математической модели в виде автоматных логических функций, выражающих моменты ее последовательных отказов и восстановлений через аналогичные моменты всех ее элементов. Данная статья представляет собой вторую часть работы, в которой детально разрабатывается автоматно-логическая модель, предназначенная для вычисления логической функции надежности технических систем. Новизна работы заключается в построении адекватной логической модели надежности системы, позволяющей свести оценку надежности технической системы к вычислению ее логических функций надежности. Результат. В статье детально разработаны логическая модель надежности и методы ее исследования, позволяющие вводить новые показатели надежности технических систем, не требующие для своей оценки использования вероятностных методов и исходных статистических данных об отказах элементов. На основе разработанной логической модели надежности и методах ее исследования решена задача построения автоматной модели надежности систем, которая позволит вести практические расчеты надежности реальных технических систем методами теории динамических автоматов.

Ключевые слова: переключательный процесс, надежностный процесс, динамический автомат, двоичный оператор, структура оператора, логическая теория надежности.

Введение

В первой части работы [1] было показано, что традиционные вероятностные расчеты надежности различных систем [2-5] по своей природе не элементарны и потому применительно к сложным системам достаточно трудоемки. В связи с этим была высказана идея разработки методов расчета надежности систем, в которых оперируют элементарными (первичными) величинами, характеризующими надежность системы и ее элементов, и устанавливают связь между ними. В развитие этой идеи в первой части работы [1] был описан математический аппарат новой теории и новых методов расчета надежности систем, основанный на математической логике [6, 7]. В этой статье, являющейся второй частью работы, строится и детально описывается автоматная математическая модель для оценки надежности систем.

Библиографическая ссылка на статью:

Левин В. И. Логические методы расчета надежности систем. Часть II. Математическая модель надежности // Системы управления, связи и безопасности. 2017. № 3. С. 84-97. URL: http://sccs.intelgr.com/archive/2017-03/04-Levin.pdf

Reference for citation:

Levin V. I. Logical Methods of Computing of Systems Reliability. Part II. Mathematical Model of Reliability. Systems of Control, Communication and Security, 2017, no. 3, pp. 84-97. Available at: http://sccs.intelgr.com/archive/2017-03/04-Levin.pdf (in Russian).

Systems of Control, Communication and Security

sccs.intelgr.com

Эта модель, в сочетании с разработанным ранее логико-математическим аппаратом [1], позволяет проводить конструктивные расчеты надежности различных систем.

1. Переключательные процессы

Рассмотрим произвольную двоичную функцию непрерывного времени t, генерируемую в некоторой системе (в частности, технической системе), т. е. функцию x = x(t), значения которой принадлежат множеству {0,1} . Пусть эта функция удовлетворяет трем условиям:

1) значение функции x в момент ее изменения t = а по определению совпадает со значением x при t > a ;

2) значения x определены на интервале времени (-да, да) ;

3) на любом конечном подынтервале указанного интервала имеется конечное число изменений значения функции. Введенная функция называется переключательным процессом в системе.

Обозначим: 1 - постоянный процесс, равный единице на некотором интервале времени; 0 - постоянный процесс, равный нулю на некотором интервале времени; 1' - изменение значения процесса 0 ® 1; 0' - изменение значения процесса 1 ® 0; 0'а - изменение 0' в момент а;1'а - изменение 1' в момент а;1(а, b) - импульс 1'а 0 b ; 0(а, b) - пауза 0 'а1'ь. По условию 1 в некоторой окрестности момента a изменения значения процесса 1' = f0, t < а; 0' = f1, t < а;

а [1, t > а; а [0, t > а. (1)

Согласно (1) импульс - это интервал единичных значений процесса, включающий начало и не включающий конец, а пауза - интервал нулевых значений процесса с аналогичными включениями:

К ь) = А а < t < b; 0( b) = f0, а < t < b;

(а ) = [0, t < а или t > b; ) = [1, t < а или t > b. ()

Формулы (2) при а = b принимают вид:

1(а, а) ° 0; 0(а, а) ° 1. (3)

Видим, что импульс (пауза) с совмещенными началом и концом фактически есть отсутствие импульса (паузы), т. е. вырожденный участок, и может быть исключен из рассмотрения. Однако из формулы (3) следует возможность формально рассматривать отсутствие импульса (паузы), т. е. тождественный 0 (тождественную 1), как импульс (паузу) с совмещенными началом и концом, что часто бывает полезно. Отметим также возможность рассматривать изменения процесса (1) как импульс (паузу) на бесконечном интервале:

1а = 1(а, да) = 0( да, а); 0'а = 0(а, да) = 1(-да, а). (4)

Введем необходимые определения. Пусть x(t) - любой переключательный процесс, отличный от тождественного нуля или единицы; ах - момент первого изменения (начала) и bx - момент последнего изменения (окончания) x(t) , причем оба момента конечны. Значение x0 процесса при t < ах назовем его начальным значением. При этом будем говорить, что x(t) начинается импульсом (паузой), если x0 = 0 (x0 = 1). Аналогично значение x¥ процесса при t > bx назовем его конечным значением, говоря, что процесс x(t) оканчивается импульсом (паузой), если x¥ = 0 (x¥ = 1). Процессы x(t), y(t) назовем непересекающимися во времени, если bx < а y.

Общее число изменений значения переключательного процесса называется длиной L процесса. При L < 1 процесс считается простым, при L > 2 процесс считается сложным. Два переключательных процесса равны, если у них одинаковое число соответственно однотипных изменений, моменты которых совпадают. Два переключательных процесса с буквен-

Системы управления, связи и безопасности №3. 2017

Systems of Control, Communication and Security sccs.intelgr.com

ными моментами изменений считаем эквивалентными, если при любой численной конкретизации указанных моментов оба процесса становятся равными.

Будем записывать переключательные процессы в виде последовательности изменений с указанием момента изменения или в виде последовательности импульсов и пауз. Во втором случае для простоты опускаем начальное и конечное постоянные значения, а моменты промежуточных изменений указываем один раз либо в импульсе, либо в соседней паузе. Например, один и тот же процесс можно записать либо так: х(/) = 1'а0'ь1'с, либо так:

х(/) = 1(а, Ь)0(-, с)1(-, а )0(-, е).

Этот процесс до момента а равен 0, в интервале а < / < Ь он равен 1, в интервале Ь</ <с равен 0, в интервале с < / < а - снова 1, в интервале а £ / < е снова 0 и при / > е принимает постоянное значение 1.

2. Двоичные операторы технических систем

Пусть имеется множество переключательных процессов х^),...,хп (/), закон О, по которому это множество преобразуется в переключательный процесс у(/), называется двоичным оператором. Таким образом,

у(/) = О^),..., Хп (0]. (5)

В технических системах х^),...,хп (/) - входные процессы, у(/) - выходной процесс,

а О - оператор системы. Оператор, реализующий преобразование (5), называется п-местным, по числу преобразуемых процессов. На операторном языке преобразуемые процессы х^),...,хп (/) называются воздействиями на оператор О, а результирующий процесс у(/) - реакцией оператора. Мы ограничимся рассмотрением операторов, удовлетворяющих следующему условию (принцип физической осуществимости): значение реакции у(/) в любой момент времени / зависит только от значений воздействий х1(4),...хп(¿п) в предшествующие ¿1,..., /п или же текущий / моменты времени (¿1 < /,..., /п < /) и от значений самой реакций у(4) в предшествующие моменты /* (4 < /) . Если зависимость у(/) от у* (/) существенна, оператор называется оператором с памятью, если несущественна - оператором без памяти. Число моментов 41,.../*(/*■ <¿), таких, что значение у(/) существенно зависит от значений у(4,1 ),...,у(/*5) , называется глубиной памяти оператора. Это число может быть как конечным, так и бесконечным. В первом случае имеем оператор с конечной памятью, во втором - с бесконечной. Оператор без памяти называется временным, если у(/) существенно зависит от значения воздействий х{(4 ) в предшествующие моменты времени 4 (4 < /), 11 логическим - в противном случае, т. е. если у(/) зависит только от значений воздействий х1(/),...хп(/) в тот же текущий момент /. Для логического оператора зависимость (5) реакции от воздействий конкретизируется:

у = /(Х1,..., хп ), (6)

где / - некоторая булева функция; х^...,хп, у - мгновенные значения воздействий и реакции в один и тот же произвольный момент времени /.

Двоичный оператор можно задать с помощью уравнения, связывающего значение у(/) со значениями х1(4),...хп(¿п),у(/*), где 4 < /, /* < /, посредством алгоритма, позволяющего вычислить значения у(/) для любого /, и т. д. Удобным способом задания произвольного оператора является его структурное представление в виде суперпозиции (схемы) из элементарных операторов. Элементарным считается оператор, который является простейшим и потому неделим, т. е. не представим суперпозицией более простых операторов. Удобство такого представления в том, что изучение произвольного оператора сводится к изучению существенно более простых элементарных операторов, число которых конечно.

Systems of Control, Communication and Security

sccs.intelgr.com

Задачи изучения операторов технических систем можно условно разделить на три типа. Задача анализа оператора заключается в отыскании реакций у(7) заданного оператора на заданные воздействия х^),...,хп(7) . Задача синтеза оператора состоит в построении оператора, преобразующего заданные воздействия Х}(7),...хп(7) в требуемую реакцию у(7).

Под построением оператора понимается какое-нибудь конструктивное его задание - абстрактное или структурное (абстрактный или структурный синтез). Задача синтеза воздействий заключается в отыскании воздействий на оператор Х}(7),...,хп (7) по заданным оператору О и его реакции у(7).

3. Элементарные операторы

Будем записывать любой переключательный процесс с неуточненным характером участков (импульсов и пауз) в виде

х(7) = и(ах, а2)и(-,а3)...п( ) (ат_и ат), и е {0,1}, (7)

где и - отрицание и, а

и, = Ги при р = _ (8)

[и при р = _1.

Рассмотрим несколько элементарных временных операторов.

1. Оператор От задержки на т - это одноместный оператор, преобразующий воздействие х(7) вида (7) в реакцию

__(_1)т . .

у(7) = От[х(7)] = х(7-т) = и(а1 + т,а2 + т)и(_,а3 +т)...и( ) (ат-1 + т,ат + т), (9) т. е. сдвигающий входной процесс х(7) на постоянное время задержки т .

2. Оператор О? фильтрации на т - одноместный оператор, преобразующий каждый импульс и паузу и (а,, а,+1) воздействия (7) в реакцию

у(7) = В?[и(а,,а,+|)] = {"(а> +ти+1 +т), ^ _<т (10)

[ и , а1 +1 _ а1 <T,

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

3. Оператор достройки паузой до с - одноместный оператор, преобразующий воздействие х(7) вида (7) в реакцию (достройка справа, с > ат)

(-1 ) т

х(7), и(-1) = 0;

х(7 )0(ат, с), и(-1) = 1,

y(t) ° xc (t) =

или в реакцию (достройка слева, с < а{)

у» °сх«) = {0<('с);а1)х(7) и =0 <12»

4. Оператор достройки импульсом до с - одноместный оператор, преобразующий воздействие х(7) вида (7) в реакцию (достройка справа, с > ат )

y(t ) ° (t ) =

x(t ), u(-1) = 1;

x(t)\(am, c), u(-1) = 0, или в реакцию (достройка слева, c < a\)

(13)

y(t) ° cx(t)={X((Cxai>x(t) u=(14)

Операторы достройки выполняются раньше других элементарных операторов. URL: http://sccs.intelgr.com/archive/2017-03/04-Levin.pdf_

Systems of Control, Communication and Security

sccs.intelgr.com

5. Оператор усечения до Ь - одноместный оператор, преобразующий воздействие х(/) (7) в реакцию

_ (-1)™

у(/) = х(/ л Ь) = и(а1 л Ь, а2 л Ь)и(-, а3 л Ь)...и( ' (ат-1 л Ь, ат л Ь) (15) путем взятия конъюнкции НЛ моментов изменения х(/) с данным моментом Ь (усечение справа) или в реакцию

у(/) = х(/ V Ь) = и(а1 V Ь,а2 V Ь)и(-, а3 V Ь)...и( ) (ат-1 V Ь, ат V Ь) (16) взятием дизъюнкции НЛ данных моментов (усечение слева). При этом процесс х(/ л Ь) отличается от процесса х(/) заменой на интервале Ь < X < да всех значений х(/) конечным значением. Процесс х(/ V Ь) отличается от х(/) заменой при — да < X < Ь всех значений х(/) начальным значением.

6. Оператор умножения - двухместный оператор, преобразующий пару воздействий х1 (X), х2 (X), не пересекающихся во времени (Ьх < а ) и таких, что конечное значение первого процесса х1 (X) совпадает с начальным значением второго х2 (X), в реакцию вида

|х1 (X), X < Ьх ;

у(/) = {4(0, X <17>

Эта реакция называется произведением процесса х1 (X) на х2 (X) и обозначается таким образом

у(Х) = х1(Х) о х2 (X). (18)

Из (17) видно, что произведение процесса х^) на х2^) до момента Ьх^ окончания х^) совпадает с х^), с момента а начала х2^) совпадает с х2(X), в интервале [Ьх, а^ ] равно конечному значению х^) (начальному значению Х2(X)). Оператор умножения подчиняется ассоциативному закону, т. е. при Ьх^ < а Ьх < ах^

[Х1 (X) о Х2 (X)] о Хз (X) = Х1 (X) о [Х2 (X) о Хз (X)] = Х1 (X) о Х2 (X) о Х3 (X) , (19)

но не подчиняется коммутативному закону, т. е. в общем случае Х1 (X) о Х2 (X) не совпадает с х2(^) о Х1(X).

7. Оператор разбиения - одноместный оператор, который разбивает процесс х(1) вида (7) на два последовательных подпроцесса:

х^) = и(а!,а2)и(-,а3)...—(аг-—ьа1), где и = и или и 1

— (—1)™ г, (20)

х 2^) = и (а1, а1+1)и (-, а1+2 )... и _) (ат—Ь ат ) I

так что

x(t) = iXl(/t < üi ; (21)

K) î x2 (t), t > ai

i

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Сравнение (21) с (17) показывает, что

х^) = Х1 (X) о Х 2 (X), (22)

т. е. перемножение подпроцессов Х1 (X) и Х2 (X) снова дает исходный процесс х^) . Потому операторы умножения и разбиения взаимно обратны. Заключительное изменение в первом подпроцессе Х1 (X) разбиения (20) назовем точкой деления процесса х^) . Точка деления имеет вид 1'а или 0 . и1 и1

Рассмотрим несколько элементарных логических операторов. Как сказано выше, согласно (6) такой оператор можно задать с помощью булевой функции, преобразующей мгновенное значение воздействий в любой момент X в мгновенное значение реакции, относящееся к тому же моменту.

Systems of Control, Communication and Security

sccs.intelgr.com

1. Конъюнктор - это двухместный оператор, преобразующий воздействия х1 (7) , х2 (7) в реакцию у(7) согласно конъюнкции в выражении (1) в первой части работы, опубликованной в статье [1]

У = х1 Л х2 . (23)

2. Дизъюнктор - также двухместный оператор, преобразующий воздействия х1 (7) , х2 (7) в реакцию у(7) согласно дизъюнкции в выражении (2) в первой части работы, опубликованной в статье [1]

У = х1 V х2 . (24)

3. Инвертор - одноместный оператор, преобразующий воздействие х(7) в реакцию у(7) согласно булевой функции отрицания в выражении (3) в первой части работы, опубликованной в статье [1]

У = х . (25)

4. Дизъюнктивный инвертор (оператор Вебба) - двухместный оператор, преобразующий воздействия х1 (7), х2 (7) в реакцию у(7) согласно булевой функции «отрицание дизъюнкции»:

у = х1 V х2 . (26)

5. Конъюнктивный инвертор (оператор Шеффера) - двухместный оператор, преобразующий воздействия х1 (7), х2 (7) в реакцию у(7) согласно булевой функции «отрицание конъюнкции»:

у = х1 Л х2 . (27)

Дизъюнктивный и конъюнктивный инверторы, строго говоря, не могут считаться элементарными операторами, так как они являются суперпозицией операторов (23)-(25). Однако на практике оба используются часто как элементарные операторы.

4. Структурное представление операторов без памяти

Удобство структурного представления операторов (см. п. 2) делает целесообразной

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

ратора к его структурному представлению, т. е. к схеме, реализующей оператор в виде супер-

позиции конечного числа элементарных операторов. Такой переход включает два этапа:

1) от содержательного описания оператора к его математическому описанию;

2) от математического описания оператора к реализующей его схеме.

Первый этап неалгоритмичен и выполняется неформально, мы рассмотрим второй

этап.

Реакция у(7) оператора без памяти в любой момент 7 зависит от значений воздейст-

вий х1 (7),..., хп (7) в тот же самый момент 7, а также от их значений х1 ),...,хп (7п ) в неко-

торые предшествующие моменты 71,...,7п (п. 2). Будем считать, что число таких предшест-

вующих моментов для каждого воздействия конечно. Тогда зависимость реакции оператора

без памяти от этих воздействий принимает вид:

у(7) = Дх1(7), х1(7п),...,х^);...; хп (7), хп (7^),..., хп (7птп )], (28)

где / - некоторая булева функция; 7 - текущий момент; 7у (7 у < 7) - предшествующие 7

моменты, значения воздействий в которых влияют на значение реакции в текущий момент 7 .

В частном случае, когда значения воздействий в предшествующие моменты несуще-

ственны, т. е. когда оператор логический, зависимость реакции от воздействий приобретает

известный вид (6):

у = / (х1,..., хп ). (29)

Systems of Control, Communication and Security

sccs.intelgr.com

Здесь х1,...,хп,у - мгновенные значения воздействий и реакции, взятые в один и тот же произвольный момент времени. Формулы (28), (29) дают математическое описание двух типов оператора без памяти: временного и логического.

Начнем с задачи структурного представления логического оператора, т. е. построения схемы, реализующей булеву функцию / (29) в виде суперпозиции элементарных операторов . При этом достаточно ограничиться только логическими операторами ^. Набор , позволяющий реализовать любую функцию /, называется функционально полным или

базисом. Образуют базис, например, следующие наборы операторов:

1) конъюнктор и инвертор;

2) дизъюнктор и инвертор;

3) конъюнктор, дизъюнктор и инвертор;

4) оператор Вебба;

5) оператор Шеффера.

Будем реализовывать логический оператор в базисе 3. Для такой реализации нужно выполнить четыре этапа:

1) перейти от имеющегося представления оператора к соответствующей булевой функции /;

2) привести полученную функцию / к эквивалентному выражению в ДНФ или КНФ

3) полученное выражение разложить по элементарным операциям - двухместным конъюнкции и дизъюнкции, используя для этого сочетательный закон, в соответствии с выражением (10) первой части работы, опубликованной в статье [1];

4) сопоставить каждой из элементарных операций - конъюнкции, дизъюнкции и отрицанию - соответствующий элементарный логический оператор.

При необходимости между этапами 2 и 3 можно выполнить этап упрощения функции /. Для этого выражение / подвергается подходящим эквивалентным преобразованиям

Пример 1. Реализуем логический оператор, для которого зависимость реакции у от воздействий х^ х2, х3 такова, что у = 1 на следующих наборах воздействий: 000 и 111. Выполнение этапов расчета.

1) Функция у = /(х1, х2, х3 ) задана перечислением единичных наборов.

2) Согласно процедуре [1] ДНФ функции такова: у = х1 х2х3 V х1 х2х3.

3) По сочетательному закону [1] получаем выражение у = (х1 х2 )х3 V (х1 х2 )х3.

4) Сопоставляем отрицаниям инверторы, конъюнкциям - конъюнкторы, дизъюнкции - дизъюнктор.

В результате находим схему, реализующую оператор (рис. 1).

Итак, любой логический оператор можно представить структурно в виде логической схемы, построенной из элементарных логических операторов.

Перейдем к структурному представлению временного оператора, построив схему, реализующую зависимость (28). Введем замену:

[1];

[1]-

n

x n

n+X mi

(30)

n+X mt +1

i=1

i=1

Systems of Control, Communication and Security

sccs.intelgr.com

X ^

( ь & J & J V

0

a

&

&

У

Рис. 1. Схема к примеру 1

Тогда зависимость (28) примет вид булевой функции

/ Л

У = f

X

'Xn , Xn+1,.

X

n+X т1 i=1 0

(31)

в которой Xi, y - мгновенные значения

от расширенного множества аргументов х^,...,х п

П + ^

1=1

воздействий и реакции, взятые в один и тот же, произвольный момент времени. Функция (31) имеет тип (29), т. е. задает некоторый логический оператор. Таким образом, структурное представление временного оператора распадается на задачу нахождения структурного представления логического оператора и задачу нахождения соотношений (30). Первая задача рассмотрена выше. Рассмотрим вторую задачу.

Обратимся, например, к первому соотношению из (30). Учитывая, что ¿ц <1,

т. е. ¿ц = / — тп, где тп > 0, запишем его так: хп+1 (/) = х^ — тп) или, используя оператор

задержки От,

(32)

X

n +1

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

(t ) = DTu[ X1(t )].

Видим, что любое соотношение (30) реализуется при помощи оператора задержки От

У

с нужным временем задержки т-. При этом для реализации всех соотношений (30) нет необходимости использовать соответствующее число операторов задержки. Действительно, соединяя последовательно несколько операторов задержки О^,...,От , мы получаем новый

р

оператор От с суммарным временем задержки т = . Поэтому достаточно выбрать в ка-

1=1

честве элементарного оператор От с временем задержки т , которое является общим делителем всех времен т- = ^ — в (30). Тогда реализация любого соотношения (30) сведется к последовательному соединению нужного числа элементарных операторов От .

Таким образом, любой временной оператор можно представить структурно в виде логической схемы, построенной из элементарных логических операторов и элементарного оператора задержки.

Systems of Control, Communication and Security

sccs.intelgr.com

yi =

5. Математическая модель надежности системы

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

С выходов системы снимаются различные результаты ее работы (обработанные сигналы, решенные задачи, выполненные команды и т. д.), причем каждый выход характеризует какую-то одну функцию (один результат работы) системы.

Зададим надежностное состояние (НС) системы двоичным вектором

у = (у1,..., уг), у1 6 {0,1}, (33)

где ,-я компонента у, характеризует НС ,-го выхода системы

1, если система работоспособна по ,-й функции;

0, если система неработоспособна по ,-й функции (34)

(частичный отказ ,-го типа).

Аналогично зададим НС совокупности блоков двоичным вектором

а = (аь...,aN), а, е{0,1}, (35)

причем , -я компонента а, характеризует НС , -го блока:

[1, если , -й блок работоспособен; а. = \ (36)

1 [0, если ,-й блок отказал.

Опишем НС совокупности входов системы вектором

х = (х1,..., хп ), х, е {0,1}, (37)

у которого ,-я компонента х, (, = 1,...,п) характеризует НС ,-го входа: [1, если система воспринимает воздействие ,-го типа;

а, =ь (38)

' [0 в противном случае.

Описание входов системы при помощи двоичного вектора (37) пригодно и в более общем случае, когда существен не только факт наличия (отсутствия) воздействия каждого типа, но и значения воздействия. При этом множество возможных значений воздействия каждого типа , дискретизуется (если воздействия непрерывны) и кодируется двоичным кодом х^ ,..., х,т ; последний заменяет х, в основном коде (37).

Итак, надежностную ситуацию в системе в произвольный момент времени 7 можно полностью описать тройкой векторов

г = (х,а,у), (39)

где х - НС входов; а - НС блоков; у - НС выходов системы в момент 7. Это описание -статическое, относящееся к выбранному моменту времени. Реально все три вектора зависят от времени и надежностную эволюцию системы можно описать вектор-функцией

г (7) = [ х (7) ,а (7) ,у(7)]. (40)

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

Первая компонента (40) - вектор-функция х(7) = [х1(7),...,хп (7)] - задает эволюцию

НС входов системы, т. е. воздействия на входах рассматриваемой системы. Здесь х, (7) - двоичная функция непрерывного времени 7, описывающая эволюцию НС , -го входа, т. е. воздействие на , -м входе системы, х, (7) имеет вид последовательности интервалов наличия и отсутствия , -го внешнего фактора, влияющего на надежность системы. Из физического

Systems of Control, Communication and Security

sccs.intelgr.com

смысла функции х{(г) следует, что она определена в любой момент бесконечного временного интервала г (—да < г < да), причем на любом конечном подынтервале этого интервала х^ (г) меняется конечное число раз. Условимся, что значение функции х1 (г) в момент ее изменения г = а совпадает с ее значением при г > а. Так, воздействия на входы системы х1 (г),...,хп (г) - некоторые переключательные процессы.

Вторая компонента в (40) - вектор-функция а(Х) = [а1(/),...,ак (г)] - задает эволюцию НС блоков системы, причем а{(г) - двоичная функция времени, задающая эволюцию НС 1 -го блока в виде последовательности интервалов наличия и отсутствия работоспособности блока. Аналогично убеждаемся, что процессы надежностной эволюции блоков а1(Г),...,аы(г) -переключательные процессы. Назовем их надежностными процессами в блоках.

Третья компонента в (40) - вектор-функция у (г) = [у^г),...,уг (г)] - описывает эволюцию НС выходов системы, т. е. эволюцию работоспособности в отношении функций системы. Здесь у1 (г) - двоичный процесс, задающий эволюцию НС 1 -го выхода, т. е. эволюцию работоспособности системы в отношении ее 1 -й функции; у{(г) имеет вид последовательности интервалов выполнения и невыполнения функции. Как и выше, устанавливаем, что процессы надежностной эволюции выходов системы У1 (г),...,уг (г) - переключательные процессы. Назовем их надежностными процессами (НП) на выходах системы.

Итак, надежностную эволюцию в некоторой системе можно полностью описать тремя группами процессов:

1) воздействия х1(г),...,хп(г) на п входов системы, влияющие на ее надежность;

2) НП а1(г),...,ак (г) в N блоках системы;

3) НП у1 (¿),...,уг (г) на г выходах системы, характеризующие эволюцию работоспособности в отношении г разных функций системы.

Эти группы процессов зависимы. Действительно, выполнение системой возложенных на нее функций определяется НП в блоках системы и входными воздействиями на систему. Из физических соображений следует, что выполнение системой любой 1-й функции в любой момент времени г зависит только от значений НП в блоках и значений входных воздействий в тот же момент г и предшествующие моменты (и, возможно, от выполнения системой ее функций в предшествующие моменты времени). Таким образом,

у (0 _=_ Ох [^(О-.! хп (0;а_(0г"2 aNШ I (41)

уг (0 = Ог [х1 (г),...,хп (Г); а1 (г),...,aN (г)]\ ' ^ ;

где О1 (1 = 1,...,г) - это некоторые двоичные операторы, удовлетворяющие принципу физической осуществимости. Эти операторы назовем собственными надежностными операторами (НО) системы. Совокупность собственных НО системы

О = (О1,..., Ог) (42)

является наиболее полной надежностной характеристикой нашей системы. Зная эту характеристику, можно из (41) вычислить НП у1 (г),...,уг (г) на выходах системы при любых заданных входных воздействиях х1(г),...хп(г) и НП al(г),...,aN(г) в блоках системы. Получаемые НП у1 (г),...,уг (г) полностью характеризуют надежность результатов работы системы. В частности, по ним можно вычислить любой показатель надежности (ПН) системы. Действительно, это связано с тем, что каждый ПН Я представляет собой некоторый функционал Е от у1(г),...,уг (г):

Я = Е[у1 (г),...,уг (г)]. (43)

Рассмотрим этот вопрос подробнее. Выбор того или иного ПН системы зависит от назначения системы и надежностного режима ее работы - без восстановления или с восста-

Systems of Control, Communication and Security

sccs.intelgr.com

новлением отказавших блоков. Для системы без восстановления основным ПН является наработка Т до отказа, определяемая как интервал времени от момента 70 начала эксплуатации системы до ее первого отказа. Другим ПН этих систем может служить функция готовности К г (7), определяемая как

[ 1, если система в момент 7 работоспо собна; К (0 Ч (44)

г [ 0, если система в момент 7 неработоспособна,

и функция надежности Р(7) :

Г1 при отсутствии отказов на интервале [7„ ,7);

Р(0 = Г 0 (45)

[ 0 в противном случае. Функции Р(7), Кг (7) невосстанавливаемой системы являются переключательными процессами одинакового вида

Кг (7) = Р(7) = 0Т , (46)

так что ПН Кг (7), Р(7), Т оказываются зависимыми. Для систем с восстановлением основными ПН служат функция готовности Кг (7) (имеющая в отличие от (46) вид переключательного процесса с несколькими изменениями) и ресурс V, определяемый как интервал времени от момента 70 начала эксплуатации системы до момента ее окончательного (невосстанав-ливаемого) отказа. Используется и функция надежности Р(7), в виде (46), а также коэффициент готовности Кг - доля времени, в течение которого система работоспособна. Он равен

1 70+V

К г = - Г К г (7 )Ж, (47)

V 70

т. е. является средним значением функции готовности Кг (7) на некотором интервале (70, 70 + V) . Часто надежность восстанавливаемой системы характеризуют наработкой Т, между отказами, определяемой как интервал времени от момента очередного , -го восстановления системы до момента следующего после него отказа, и временем , -го восстановления Тв,. Как видно из (45), (47), готовность Кг (7) является первичным ПН системы, через который выражаются другие ее ПН. Отметим, что при Т1 = Т, Тв, = Тв

К г = Т/ (Т + Тв ). (48)

Вычисление ПН по соотношению (43) требует знания критерия отказа системы. Этот критерий зависит от назначения системы, режима эксплуатации и т. д. Если по условиям работы система должна выполнять одновременно все г своих функций, то критерием отказа системы является невыполнение хотя бы одной из этих функций (случай 1). Если система должна выполнять, по крайней мере, одну из возможных функций, то критерий отказа - невыполнение всех г функций, (случай 2). Если система должна выполнять не менее р (1 < р < г) функций, безразлично каких, то критерий отказа системы - невыполнение не менее г — р каких-либо функций (случай 3). Возможны и более сложные критерии отказа системы, например, учитывающие еще неравноценность различных функций системы. Знание критерия отказа системы позволяет выразить ее ПН Кг (7) и Р(7) через НП на выходах системы у1 (7),...,уг (7) .

Systems of Control, Communication and Security

sccs.intelgr.com

y(t )

(однофункцио-нальная система)

Ли(t )

в случае 1,

(49)

K (t) = Уэкв (t )

(многофункциональная система)

r

vy (t )

в случае 2,

V V [yk(t)••• У^ (t)] в случае 3.

Здесь л, V - конъюнкция и дизъюнкция двузначной логики, уэкв (г) - эквивалентный НП в системе, полученный объединением всех НП на выходах;

Таким образом вычисление различных ПН системы сводится к одной более общей задаче - определению НП на выходах системы.

Введенные выше операторные зависимости (41) НП на выходах произвольной системы от НП на ее входах и в блоках задают надежностную модель системы. Эта модель имеет две важные особенности:

1) работоспособность системы определяется не только работоспособностью ее блоков, но и воздействиями на ее входах;

2) работоспособность системы в любой текущий момент может зависеть от работоспособности блоков и входных воздействий не только в этот, но и в предшествующие моменты (и, возможно, от предшествующих значений работоспособности системы).

Работа публикуется в двух частях. В первой части работы [1] был описан математический аппарат создаваемой логической теории надежности. Также были изложены дискретная и непрерывная логики и описаны вероятностные расчеты с логическими функциями от случайных аргументов.

В настоящей статье - второй части работы, на основе разработанного в [1] математического аппарата логической теории надежности решена задача создания автоматной модели надежности систем, которая дает возможность выполнять практические расчеты надежности реальных систем.

С математической точки зрения введенная надежностная модель системы в виде опера -торной зависимости (41) замечательна тем, что ее структурным воплощением является некоторый динамический автомат (рис. 1), входные процессы которого связаны с его выходными процессами указанной зависимостью. Таким образом, вычисление НП на выходах системы по известным НП в ее блоках и на входах сводится к хорошо известным и детально разработанным в теории динамических автоматов методам вычисления выходных процессов динамических автоматов по их входным процессам [8, 9]. Поскольку в статике в любой фиксированный момент времени выходные значения автомата связаны с его входными значениями суперпозицией операций двузначной логики, а в динамике выходные процессы автомата связаны с его входными процессами суперпозицией операций НЛ, то можно говорить, что предложенная модель и вытекающие из нее теория и методы расчета надежности систем являются логическими.

Настоящая работа продолжает цикл исследований автора по разработке математического аппарата и математических моделей логической теории надежности. От опубликованных ранее работ автора [10, 11] она отличается усовершенствованием математической модели и расчетных формул, что облегчит практическое приложение разработанных ранее методов и уменьшит вычислительную сложность расчета надежности технических систем.

1, если у экв (т) = 1 при 0 < т< г, 0 в противном случае.

(50)

Заключение

Системы управления, связи и безопасности №3. 2017

Systems of Control, Communication and Security sccs.intelgr.com

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Литература

1. Левин В. И. Логические методы расчета надежности систем. Часть I. Математический аппарат // Системы управления, связи и безопасности. 2017. № 2. С. 182-195.

2. Ллойд Д. К., Липов М. Надежность: организация, исследования, методы, математический аппарат. - М.: Советское радио, 1964. - 350 с.

3. Барлоу Р., Прошан Ф. Математическая теория надежности. - М.: Советское радио, 1969. - 410 с.

4. Райншке К. Модели надежности и чувствительности систем. - М.: Мир, 1979. - 454 с.

5. Левин Б. Р. Теория надежности радиотехнических систем. - М.: Советское радио, 1978 - 264 с.

6. Поспелов Д. А. Логические методы анализа и синтеза схем. - М.: Энергия, 1974. -

350 с.

7. Левин В. И. Бесконечнозначная логика в задачах кибернетики. - М.: Советское радио, 1982. - 176 с.

8. Левин В. И. Введение в динамическую теорию конечных автоматов. - Рига: Зинатне, 1975. - 376 с.

9. Левин В. И. Теория динамических автоматов. - Пенза: Изд-во Пензенского государственного технического университета, 1995. - 407 с.

10. Левин В. И. Логические методы в теории надежности. II. Математическая модель надежности // Вестник Тамбовского государственного технического университета. 2010. Т. 16. № 1. С. 119-132.

11. Левин В. И. Логическое моделирование надежности систем управления II // Известия Пензенского государственного педагогического университета имени В.Г. Белинского. 2011. № 26. С. 578-588.

References

1. Levin V. I. Evaluation of Reliability of Systems by Logical Methods. Systems of Control, Communication and Security, 2017, no. 2, pp. 182-195 (in Russian).

2. Lloyd D. K., Lipov M. Nadezhnost: organizaciya, issledovaniya, metody, matematicheskiy apparat. [Reliability: Organization, Research, Methods, Mathematical Means]. Moscow, Sovetskoe radio Publ., 1964. 350 p. (in Russian).

3. Barlow R. E., Proshan F. Mathematical Theory of Reliability. N.-Y., John Wiley and Sons, 1965.

4. Rainshke K. Modeli nadezhnosti i chuvstvitelnosti system [Models of Reliability and Sensitivity of Systems]. Moscow, Mir Publ., 1979. 454 p. (in Russian).

5. Levin B. R. Teoriya nadezhnosti radiotehnicheskih system [Theory of Reliability of Radiotechnical Systems]. Moscow, Sovetskoe radio Publ., 1978. 264 p. (in Russian).

6. Pospelov D. A. Logicheskie metody analiza i sinteza skhem [Logical Methods of Analysis snd synthesis of Schemes]. Moscow, Energiya Publ., 1974. 350 p. (in Russian).

7. Levin V. I. Beskonechnoznachnaya logika v zadachah kibernetiki [Continuous Logic in Problems of Cybernetics]. Moscow, Sovetskoe radio Publ., 1982. 176 p. (in Russian).

8. Levin V. I. Vvedenie v dinamicheskuyu teoriyu kohechnyh avtomatov [Introduction in Dynamical Theory of Finite Automata]. Riga, Zinatne Publ., 1975. 376 p. (in Russian).

9. Levin V. I. Teoriya dinamicheskih avtomatov [Theory of Dynamical Automata]. Penza, Penza State Technical Univ. Publ.,, 1995. 407 p. (in Russian).

10. Levin V. I. Logicheskie metody v teorii nadezhnosti. II. Matematicheskaya model nadezhnosti [Logical Methods in Theory of Reliability. II. Mathematical model of Reliability]. Transaction of the TSTU, 2010, vol. 16, no. 1, pp. 119-132 (in Russian).

11. Levin V. I. Logicheskoe modelirovanie nadezhnosti system upravleniya [Logical Modeling of Reliability of Control Systems]. Izvestiya Penzenskogo gos. ped. un-ta im. V.G. Belinskogo, 2011, no. 26, pp. 578-588. (in Russian).

Systems of Control, Communication and Security

sccs.intelgr.com

Статья поступила 21 декабря 2017 г.

Информация об авторе

Левин Виталий Ильич - доктор технических наук, профессор, PhD, Full Professor. Заслуженный деятель науки РФ. Пензенский государственный технологический университет. Область научных интересов: логика; математическое моделирование в технике, экономике, социологии, истории; принятие решений; оптимизация; теория автоматов; теория надежности; распознавание; история науки; проблемы образования. E-mail: [email protected] Адрес: 440039, Россия, г. Пенза, пр. Байдукова/ул. Гагарина, д. 1 а/11.

Logical Methods of Computing of Systems Reliability.

Part II. Mathematical Model of Reliability

V. I. Levin

Relevance. In recent years, the increasing attention of scientists and designers of communication systems has been acquiring the issues of improving methods for assessing the reliability and safety of technical systems, in connection with the tasks put forward to increase the values of these characteristics. Purpose of the article. is to develop an automata-logical model of the reliability of technical systems and the corresponding logical methods for assessing the reliability of such systems, using not traditional probabilistic but deterministic logical reliability indicators. Method. To achieve this goal, it was suggested to use as the initial data the observed moments of sequential failures and recoveries of the elements of the technical system, and as the reliability characteristics of the system itself, the moments of sequential failures and recoveries of the system. In this case, the problem of estimating the reliability of a system is reduced to constructing its mathematical model in the form of automata-logical functions expressing the moments of its sequential failures and restores through analogous moments of all its elements. In this part of article the automata-logical model is developed in detail, useful for calculate the logical function of the reliability of technical systems. Novelty of the work is the construction of an adequate logical model of the system's reliability, which makes it possible to reduce the reliability estimate of a technical system to the calculation of its logical reliability functions. Result. In this part of article the logical model of reliability and methods of its investigation are developed in detail, allowing to introduce new indicators of reliability of technical systems that do not require for their evaluation the use ofprobability methods and initial statistical data on element failures. In the article, based on the developed logical reliability model and methods of its investigation, the problem of constructing an automaton model of system reliability that will allow practical calculations of the reliability of real systems by methods of the theory of dynamic automata is solved.

Keywords: switching process, reliability process, dynamical automata, binary operator, structure of operator, logical theory of reliability.

Information about Author Vitaly Ilich Levin - Doctor of Technical Sciences, Full Professor. Honoured Scientist of Russia. Penza State Technological University. Field of Research: logic; mathematical modeling in technics, economics, sociology, history; decision making, optimization, recognition, automata theory, reliability theory, history of science, problems of education. E-mail: [email protected] Address: Russia, 440039, Penza, pr. Baydukova / Gagarin st., 1a/11.

i Надоели баннеры? Вы всегда можете отключить рекламу.