Синтез безопасных автоматов с функциональной деградацией

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

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2010
Автор:	Малиновский, М.Л.
Формат:	Стаття
Мова:	Russian
Опубліковано:	Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України 2010
Назва видання:	Управляющие системы и машины
Теми:	Проблемы информационной безопасности
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/82798
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Синтез безопасных автоматов с функциональной деградацией / М.Л. Малиновский // Управляющие системы и машины. — 2010. — № 1. — С. 84-91. — Бібліогр.: 3 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

id	nasplib_isofts_kiev_ua-123456789-82798
record_format	dspace
spelling	nasplib_isofts_kiev_ua-123456789-827982025-02-09T14:59:30Z Синтез безопасных автоматов с функциональной деградацией Малиновский, М.Л. Проблемы информационной безопасности Разработаны абстрактные модели и выделены классы безопасных автоматов. Предложены табличные и графические методы задания таких автоматов и методы синтеза безопасных автоматов с функциональной деградацией, основанные на формировании множеств ответственных операций и построении, анализе и преобразовании χ-автоматов. The abstract models are developed and the classes of secure automatic machines are singled out. The tabular and graphic methods of specifying such machines and the methods of synthesis of such machines with functional degradation are suggested based on the formation of sets of crucial operations and the construction, analysis and transformation of χ-machines. Розроблено абстрактні моделі та виділено класи безпечних автоматів. Запропоновано табличні та графічні методи завдання таких автоматів, а також методи синтезу безпечних автоматів з функціональною деградацією, засновані на формуванні множин відповідальних операцій і побудові, аналізі та перетворенні χ-автоматів. 2010 Article Синтез безопасных автоматов с функциональной деградацией / М.Л. Малиновский // Управляющие системы и машины. — 2010. — № 1. — С. 84-91. — Бібліогр.: 3 назв. — рос. 0130-5395 https://nasplib.isofts.kiev.ua/handle/123456789/82798 681.5:004.056 ru Управляющие системы и машины application/pdf Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
institution	Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection	DSpace DC
language	Russian
topic	Проблемы информационной безопасности Проблемы информационной безопасности
spellingShingle	Проблемы информационной безопасности Проблемы информационной безопасности Малиновский, М.Л. Синтез безопасных автоматов с функциональной деградацией Управляющие системы и машины
description	Разработаны абстрактные модели и выделены классы безопасных автоматов. Предложены табличные и графические методы задания таких автоматов и методы синтеза безопасных автоматов с функциональной деградацией, основанные на формировании множеств ответственных операций и построении, анализе и преобразовании χ-автоматов.
format	Article
author	Малиновский, М.Л.
author_facet	Малиновский, М.Л.
author_sort	Малиновский, М.Л.
title	Синтез безопасных автоматов с функциональной деградацией
title_short	Синтез безопасных автоматов с функциональной деградацией
title_full	Синтез безопасных автоматов с функциональной деградацией
title_fullStr	Синтез безопасных автоматов с функциональной деградацией
title_full_unstemmed	Синтез безопасных автоматов с функциональной деградацией
title_sort	синтез безопасных автоматов с функциональной деградацией
publisher	Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
publishDate	2010
topic_facet	Проблемы информационной безопасности
url	https://nasplib.isofts.kiev.ua/handle/123456789/82798
citation_txt	Синтез безопасных автоматов с функциональной деградацией / М.Л. Малиновский // Управляющие системы и машины. — 2010. — № 1. — С. 84-91. — Бібліогр.: 3 назв. — рос.
series	Управляющие системы и машины
work_keys_str_mv	AT malinovskijml sintezbezopasnyhavtomatovsfunkcionalʹnojdegradaciej
first_indexed	2025-11-27T02:57:53Z
last_indexed	2025-11-27T02:57:53Z
_version_	1849910659599302656
fulltext	84 УСиМ, 2010, № 1 УДК 681.5:004.056 М.Л. Малиновский Синтез безопасных автоматов с функциональной деградацией Разработаны абстрактные модели и выделены классы безопасных автоматов. Предложены табличные и графические методы задания таких автоматов и методы синтеза безопасных автоматов с функциональной деградацией, основанные на формирова- нии множеств ответственных операций и построении, анализе и преобразовании χ-автоматов. The abstract models are developed and the classes of secure automatic machines are singled out. The tabular and graphic methods of specifying such machines and the methods of synthesis of such machines with functional degradation are suggested based on the for- mation of sets of crucial operations and the construction, analysis and transformation of χ-machines. Розроблено абстрактні моделі та виділено класи безпечних автоматів. Запропоновано табличні та графічні методи завдання таких автоматів, а також методи синтезу безпечних автоматів з функціональною деградацією, засновані на формуванні мно- жин відповідальних операцій і побудові, аналізі та перетворенні χ-автоматів. Введение. С развитием и массовым внедрени- ем микроэлектронных систем и компонентов критического применения (СКП) проблема по- вышения безопасности (функциональной и ин- формационной) становится все более актуаль- ной. Важнейшая роль в ее решении принадле- жит теории синтеза цифровых автоматов [1]. В настоящее время данная теория интенсивно раз- вивается и охватывает все более широкий ди- апазон областей человеческой деятельности. Вместе с тем многие важные задачи, связан- ные с построением СКП в промышленности, на транспорте, в информационных системах остаются неохваченными существующими ме- тодами, в результате чего достижение необхо- димого уровня безопасности становится чрез- вычайно сложной, а иногда и неразрешимой проблемой. Наибольший вклад в развитие теории син- теза безопасных автоматов внесли В.В. и Вл.В. Сапожниковы, которые ввели понятия бе- зопасного автомата, опасного и неопасного лож- ного перехода, разработав методы абстрактно- го и структурного синтеза безопасных автома- тов, реализованных на элементах с несиммет- ричными отказами [2]. При этом неохвачен- ными теорией остаются следующие задачи:  разработка и выделение классов безопас- ных автоматов и методов их задания;  разработка методов формализации требова- ний, предъявляемых к безопасности автоматов;  разработка методов синтеза безопасных ав- томатов с функциональной деградацией, реак- ция которых на искажения функций и сигналов обеспечивает сохранение максимально воз- можного количества реализуемых ответствен- ных функций управления при безусловном обес- печении безопасности. Цель статьи – повышение безопасности СКП путем решения перечисленных задач. Понятие о безопасном автомате и опас- ных и безопасных искажениях сигналов и функций Как известно, каноническая модель цифро- вого автомата представляет собой шестиэле- ментный кортеж М = {Z, W, S, s0, δ, λ}, где Z – конечное множество входных сигналов, назы- ваемое входным алфавитом автомата, W – ко- нечное множество выходных сигналов, называ- емое выходным алфавитом автомата, S – ко- нечное множество состояний автомата, s0 – эле- мент из множества Z, называемый начальным состоянием автомата, δ – функция переходов, задающая однозначные отображения множе- ства пар (s, z), где s  S и z  Z, в множество S, и λ – функция выходов, задающая однознач- ные отображения множества пар (s, z) в мно- жество W [1]. Очевидно, что имеет место цепочка связан- ных событий: неисправность вызывает иска- жение входных и выходных сигналов, а также функций переходов δ и выходов λ автомата; в свою очередь, искажения, достигнув интерфейса с внешним миром, приводят к отказу (или сбою) цифрового компонента. При этом к сбою при- водят кратковременные самоустраняющиеся неисправности, а к отказу – действующие дли- УСиМ, 2010, № 1 85 тельное время и устраняющие, как правило, вмешательством человека. Условимся считать, что искажения сигналов и функций вызывают отображение исправного автомата М в неисправный автомат М, и обо- значать такое отображение ММ. Следовательно, искажение функции перехо- дов δ может стать причиной выполнения лож- ного перехода автомата. Обозначим такие лож- ные переходы siδsj или sisj, где si  S – со- стояние, в которое переходит автомат под воздействием (неискаженной) функции δ, δ – функция переходов, которую индуцирует ис- кажение функции δ, sj – состояние (в общем случае, sj может не принадлежать множеству S), в которое переходит автомат под воздей- ствием функции δ. Искажение функции выхо- дов λ приводит к искажению выходного сигна- ла, обозначим их wiλwj или wiwj . Искажения входного сигнала обозначим zizj . В [2] предложено разделять переходы и от- казы на безопасные и опасные. Аналогичным образом разделим искажения сигналов и функ- ций δ, λ, являющихся причиной возникновения этих отказов, на два класса: безопасных иска- жений, приводящих к частичной или полной потере работоспособности, и опасных, что при- водят к нарушению безопасности цифрового компонента. Под функциональной безопасностью (ФБ) модели М будем понимать свойство модели исключать (с некоторой заданной вероятно- стью) опасные искажения сигналов и функций. Для дальнейшего анализа важны понятия зависимых и независимых, одиночных и крат- ных, а также константных искажений сигналов и функций. Под зависимыми понимаем искаже- ния, обусловленные общей причиной. Незави- симые искажения такой обусловленности не имеют. Под одиночными будем понимать одно или несколько зависимых искажений. Под крат- ными – два и более независимых искажений. Термин «константные искажения» имеет смысл по отношению к входным и выходным сигна- лам с динамическим кодированием, при кото- ром состояние сигнала определяется его вре- менными параметрами (фазой, частотой, скваж- ностью и т.д.). При наличии константных искажений временные параметры сигналов приобретают некоторые предельные значения (0 Гц, если речь идет о частоте, 0 или 100%, если речь идет о скважности, , если речь идет о сдвиге фаз). Важно также понятие деградации безопас- ного автомата, под которым понимается сни- жение работоспособности или безопасности ав- томата при наличии искажений сигналов и функций. Деградация может быть частичной, при которой автоматом не реализуется часть функций управления, предусмотренных алго- ритмом, или полной, когда не реализуется ни одна из функций управления. Для систем кри- тического применения деградацию следует опи- сывать двумерной поверхностью как функцию от двух переменных, одна из которых соответ- ствует поддерживаемому уровню работоспо- собности, а другая – поддерживаемому уровню безопасности. На практике встречаются задачи, в которых деградация согласно первому изме- рению может принимать несколько дискретных значений, и только два дискретных значения со- гласно второму измерению: при первом из них безопасность обеспечивается, а при втором – не обеспечивается. В дальнейшем будем разде- лять деградацию автомата на деградации рабо- тоспособности и безопасности. Уровню дегра- дации работоспособности для данного класса искажений соответствует разность между еди- ницей и количеством функций, реализуемых автоматом в условиях этих искажений, отне- сенному к полному количеству функций, преду- смотренных алгоритмом, задающим автомат. Предложенное ранее [2] определение: безо- пасным автоматом называется автомат, у кото- рого исключается реализация опасных собы- тий при всех отказах его логической сети, ве- роятность которых надо учитывать, ориенти- ровано на построение логической сети на эле- ментах с несимметричными отказами. Ориен- тируясь на использование элементов с симмет- ричными отказами, сформулируем следующее определение: 86 УСиМ, 2010, № 1 Безопасным назовем автомат, у которого исключается реализация опасных событий (де- градация безопасности) при любых одиночных искажениях функций и сигналов, а также одиночных и кратных константных искаже- ниях входных и выходных сигналов. Разработка абстрактных моделей безо- пасных автоматов Каноническая модель М не отражает свойств ФБ цифровых компонентов. С целью наделить данную модель свойствами ФБ, выполним ее преобразование. 1. Множество входных сигналов Z предста- вим в виде подмножеств Z = {Z(A), Z(B)}, кото- рым соответствуют входные алфавиты z(A) 1, ...  z(A) n, ... , z(A) N, z(B) 1, ... , z(B) n, ... , z(B) N ; 2. Множество выходных сигналов W пред- ставим в виде подмножеств W = {W(A), W(B)}, которым соответствуют выходные алфавиты w(A) 1, ... , w(A) k, ... , w(A) K, w(B) 1, ... , w(B) k, ... , w(B) K; 3. Множество состояний S представим в ви- де подмножеств S = { C = {C(A), C(B)}, D = {D(A), D(B)}, E = {E(A), E(B)}, F = {F(A), F(B)}, G = {G(A), G(B)} }, которым соответствуют алфавиты со- стояний c(A) 1, ... , c(A) n, ... , c(A) N, c(B) 1, ... , c(B) n, ...  , c(B) N; d(A) 1, ... , d(A) n, ... , d(A) N, d(B) 1, ... , d(B) n, ...  , d(B) N; e(A) 1, ... , e(A) l, ... , e(A) L, e(B) 1, ... , e(B) l, ...  , e(B) L; f(A) 1, ... , f(A) l, ... , f(A) L, f(B) 1, ... , f(B) l, ... , ,f(B) L; g(A) 1, ... , g(A) k, ... , g(A) K, g(B) 1, ... , g(B) k, ... , g(B) K. 4. Введем следующие функции: φ – функция переходов, определяющая со- стояния С(A), C(B) автомата в зависимости от входных состояний Z(A) и Z(B); ω – функция переходов, которая определяет состояния D(А), D(B) автомата в момент времени t в зависимости от внутренних состояний С(A), C(B), а также состояний D(A) и D(B) в момент времени t – 1; δ – функция переходов, определяющая со- стояния E(A), E(B) автомата в момент времени t в зависимости от внутренних состояний D(A), D(B) и F(A), F(B) в момент времени t– 1; χ – функция переходов, которая определяет состояния F(А), F(B) автомата в момент времени t в зависимости от внутренних состояний E(A), E(B), а также состояний F(A) и F(B) в момент времени t – 1; λ – функция переходов, определяющая со- стояния G(А), G(B) автомата в момент времени t в зависимости от внутренних состояний F(A), F(B), а также состояний D(A) и D(B) в момент времени t – 1; ψ – функция выходов, которая определяет выходные состояния W(A), W(B) автомата в зави- симости от внутренних состояний G(A) и G(B). Таким образом, полученный автомат, на- званный в дальнейшем безопасным логиче- ским автоматом параллельного действия или БЛП-автоматом, описывается кортежем: БЛП [ , , , , , , , ,Z C D E F G H W  (1) Временные зависимости между компонен- тами кортежа определяются уравнениями: ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( -1) ( ) ( ) ( ) ( ) ( -1) ( ) ( ) ( ) ( -1) ( -1) ( ) ( ) ( ) ( -1) ( -1) ( ) ( ) ( = ( ); = ( ); = ( , , ); = ( , , ); = ( , ); = ( , ); = ( , A A t t B B t t A A B A t t t t B A B B t t t t A A A t t t B B B t t t A A t t C Z C Z D C C D D C C D E F D E F D F E E        ) ( ) ( -1) ( ) ( ) ( ) ( ) t ( -1) ( ) ( ) ( ) ( -1) ( -1) ( ) ( ) ( ) ( -1) ( -1) ( ) ( ) ( ) ( ) , ); = ( , , ); = ( , ); = ( , ); = ( ); = ( ). B A t t B A B B t t t A A A t t t B B B t t t A A t t B B t t F F E E F G F D G F D W G W G                       (2) Условимся различать БЛП-автоматы Мили, в которых состояние G описывается функцией Gt = λ (F(t–1), D(t–1) ), и БЛП-автоматы Мура, где оно же описывается функцией Gt = λ (F(t–1) ). Также будем различать БЛП-автоматы Р-типа, в которых состояние Dt описывается функцией Dt = ω (C(A) t, C(B) t) и состояние Ft описывается функцией Ft = χ (E(A) t, E(B) t), и БЛП-автоматы М-типа, в которых состояние Dt описывается функцией Dt = ω (C(A) t, C(B) t, D(t–1)) и состояние Ft описывается функцией Ft = χ (E(A) t, E(B) t, F(t–1)). Методы задания БЛП-автоматов К этапам задания БЛП-автоматов относятся задания функций: УСиМ, 2010, № 1 87 – переходов  и λ канонического автомата М; –  преобразования входного сигнала z  Z с в сигнал с  С; – выходов ψ преобразования сигнала g  G в сигнал w  W; –  и χ – преобразования внутренних со- стояний (задаются в соответствии с условиями, определяющими безопасность функциониро- вания БЛП-автомата). Методы задания функций переходов  и λ известны [1], а методы задания функций  и ψ определяются используемыми методами дина- мического кодирования входных и выходных сигналов, что учитывается на этапе структур- ного синтеза. На этапе абстрактного синтеза ин- терес представляют методы задания функций ω и χ, поэтому сосредоточим усилия на их раз- работке. Поскольку данные методы идентич- ны, рассмотрим только одну из функций – χ. Для БЛП-автоматов Р-типа функция χ опи- сывает некоторую комбинационную схему с двумя входами E (A), E (B) и одним выходом F (A), алфавиты которых имеют одинаковое количе- ство букв L. Входной алфавит данной комби- национной схемы составляют всевозможные пары (ei ej), где i и j пробегают все значения натурального ряда 1, 2, … , L. Таким образом, входной алфавит комбинационной схемы со- держит L2 букв, каждая из которых составляет пару букв входных сигналов E(A), E(B). Обозна- чим каждую такую букву символом еij. Очевидный способ задания функции χ БЛП- автоматов Р-типа – нахождение соответствия буквам входного алфавита еij букв выходного алфавита fk. Для сокращения количества букв входного алфавита совместим пары (еij, еji), ко- торым соответствует одна и та же буква вы- ходного алфавита fk, в одну букву еij. В резуль- тате этого количество букв входного алфавита составит L = 0,5 (L2 + L). Для БЛП-автоматов М-типа функция χ опи- сывает автомат Мура, в котором обозначения состояний и отмечающих их выходных сигналов совпадают. Таким образом, функция χ для БЛП- автоматов М-типа задается таблицей перехо- дов с L столбцами, соответствующими номе- рам состояний и одновременно буквам выход- ного сигнала, и L строками, каждой из кото- рых соответствует буква еij входного алфавита. Другой (более компактный) способ задания функции χ – ее описание при помощи квадрат- ной таблицы, каждому столбцу и каждой стро- ке которой соответствует та или иная буква входного алфавита сигналов E(A), E(B). Причем для БЛП-автоматов Р-типа строится одна такая таблица, а для М-типа – L таблиц для каждой из L букв выходного алфавита. Таблица имеет следующие особенности: – равенство количества строк и столбцов; – наличие диагонали соответствий, которая начинается в верхнем левом и заканчивается в нижнем правом углу; – симметричность относительно диагонали соответствий. Исходя из этого, ячейки табли- цы, расположенные над (или под) диагональю соответствий, можно не заполнять. Заметим, что предложенная квадратная таб- лица (назовем ее χ-таблицей) может рассматри- ваться как таблица переходов автомата Мура, в которой строки соответствуют буквам входно- го алфавита, а столбцы – состояниям автомата. Автомат Мура реализует функцию χ БЛП-авто- мата, если χ-таблица совпадает с таблицей пе- реходов данного автомата Мура. Автоматы Му- ра, реализующие функцию χ БЛП-автомата, обо- значим χ-автоматами. Очевидно, χ-автомат может быть описан в ви- де графа переходов с L вершинами и ребрами, соответствующими буквам входного алфавита. Такие графы в дальнейшем назовем χ-графами. Установим связь между графом χ-автомата и графом безопасных переходов, предложен- ным в [2]. Данная связь определяется следую- щими правилами (процедурой) преобразования графа безопасных переходов в граф переходов χ-автомата. Процедура 1.  Граф безопасных переходов описывается таблицей, каждый столбец и каждая строка ко- торой нумеруются от 1 до L, где L – количе- ство вершин.  Таблица заполняется следующим образом: на диагонали соответствий, ячейки которой рас- 88 УСиМ, 2010, № 1 полагаются на пересечении строк и столбцов с одинаковыми номерами, проставляются номе- ра вершин, соответствующих номерам строк и столбцов, на пересечении которых они распо- лагаются. Правила заполнения остальных яче- ек следующие: если стрелка направлена от i-й вершины к j-й, то на пересечении i-го столбца и j-й строки, а также j-го столбца и i-й строки, устанавливается номер j-й вершины; если i-я и j-я вершины не соединены ребрами, но суще- ствует k-я вершина, к которой направлены стрелки от i-й и j-й вершин, то на пересечении i-го столбца и j-й строки, а также j-го столбца и i-й строки, устанавливается номер k-й вер- шины; если i-я и j-я вершины не соединены ребрами, а также не существует k-я вершина, к которой направлены стрелки от i-й и j-й вер- шин, то на пересечении i-го столбца и j-й стро- ки, а также j-го столбца и i-й строки, устанав- ливается прочерк.  По полученной таблице строится граф пе- реходов автомата Мура. Обратное преобразование (графа переходов χ-автомата в граф безопасных переходов) не всегда возможно. Существует следующий фор- мальный признак, свидетельствующий о невоз- можности такого преобразования: для χ-автома- та с L состояниями, описываемого таблицей пе- реходов, имеется пара (i, j), где i = 1, 2, … , L, j = 1, 2, … , L, для которой: пересечение i-го столбца и j-й строки таблицы переходов обо- значено k (k  i, k  j); пересечение i-го столбца и k-й строки таблицы переходов обозначено r  k или пересечение k-го столбца и j-й строки таблицы переходов обозначено s  k. Поскольку преобразование графа безопасных переходов в граф переходов χ-автомата воз- можно всегда, функция χ БЛП-автомата может задаваться графом безопасных переходов, если такой граф существует. Из сказанного следует, что предлагаемые методы задания безопасных автоматов по- зволяют решить более широкий класс задач по сравнению с методами, основанными на при- менении графов безопасных переходов. Граф переходов χ-автомата может быть по- строен как для БЛП-автоматов Р-типа (о чем сказано выше), так и для БЛП-автоматов М- типа. Для последнего случая граф содержит L вершин, символизирующих состояния автома- та, где L – количество букв выходного алфави- та, и L стрелок, каждой из которых соответ- ствует буква еij входного алфавита (одинаково направленные стрелки, соединяющие любую па- ру вершин, могут объединяться и изображать- ся в виде одной стрелки, подписанной несколь- кими буквами еij). Если для описания χ-авто- мата используются графы безопасных перехо- дов, то таких графов для задания одного авто- мата необходимо L – по одному на каждое со- стояние. Очевидно, для некоторых состояний такие графы могут оказаться эквивалентными. Для компактного описания χ-автоматов М- типа графами безопасных переходов метод их построения следует дополнить следующим пра- вилом: каждая стрелка графа, соединяющая вер- шины i и j, должна иметь отметку и соответ- ствовать некоторому текущему состоянию k, для которого переход из i-й в j-ю вершину безопа- сен. Пользуясь этим правилом можно описать χ-автомат М-типа одним графом безопасных пе- реходов. Назовем такие графы безопасными гра- фами переходов с отмеченными ребрами. Следующая процедура, применяемая к гра- фам безопасных переходов с отмеченными реб- рами, позволяет получить соответствующие дан- ному графу таблицу и граф переходов χ-ав- томата. Процедура 2.  Граф безопасных переходов с отмеченны- ми ребрами описывается таблицей с L столб- цами и L строками, где L – количество вершин графа безопасных переходов, L – количество букв входного алфавита χ-автомата, каждому столбцу которой соответствует состояние и каждой строке – буква еij входного алфавита χ- автомата.  Таблица заполняется следующим образом: для каждой строки, соответствующей букве еii входного алфавита (в которой индексы совпа- дают), во всех столбцах проставляются номера i; правила заполнения остальных ячеек сле- дующие: для каждой ячейки, расположенной УСиМ, 2010, № 1 89 на пересечении i-го столбца и строки, соответ- ствующей букве еjk входного алфавита, уста- навливается номер: – j, если существует стрелка, отмеченная но- мером i и направленная от j-й к k-й вершине графа безопасных переходов; – k, если существует стрелка, отмеченная но- мером i и направленная от k-й к j-й вершине графа безопасных переходов; – r, если одновременно существуют стрелки, отмеченные номером i и направленные от j-й к r-й вершине и от k-й к r-й вершине.  По полученной таблице строится граф пе- реходов автомата Мура. Метод синтеза БЛП-автоматов по фор- мальному описанию требований к безопас- ности, основанному на формировании мно- жеств ответственных функций Многие практические задачи управления системами критического применения удается представить в виде множества элементарных операций Ф = {1, 2, …, n}, реализующих ав- томат. Все множество Ф может быть разделено на два подмножества: ответственных операций, неправильное выполнение которых может при- вести к аварии, и штатных, что приводят лишь к снижению некоторых качественных характе- ристик системы управления, например произ- водительности. Для упрощения дальнейших рас- суждений считаем, что все операции из мно- жества Ф для данного автомата являются от- ветственными. В этом случае каждому i-му со- стоянию автомата соответствует подмножество Фi  Ф операций, которые могут быть реали- зованы автоматом в этом состоянии. Тогда фор- мальное описание требований к безопасности БЛП-автоматов сводится к заполнению табли- цы, каждая строка которой соответствует эле- менту из множества Ф, а каждый столбец – со- стоянию автомата. Единица на пересечении j-й строки и i-го столбца ставится, если функция j может быть реализована автоматом, нахо- дящимся в i-м состоянии. Остальные клетки таблицы заполняются нулями. Множества от- ветственных операций для каждого i-го со- стояния формируются из операций, отмечен- ных единицей для данного состояния. Представленный метод формального описа- ния требований к безопасности БЛП-автоматов позволяет реализовать следующую процедуру задания χ-автомата на этапе абстрактного и структурного синтеза. На этапе абстрактного синтеза данная процедура основывается на по- строении графа безопасных переходов. Процедура 3.  Формируется множество ответственных функций Ф = {1, 2, …, n}, которые должен реализовать автомат.  Каждому i-му состоянию автомата соот- ветствует подмножество Фi  Ф функций, реа- лизуемое автоматом в i-м состоянии.  Строится граф, каждая i-я вершина кото- рого соответствует i-му состоянию автомата; стрелки, соединяющие вершины, строятся по следующему правилу: стрелка, направленная от i-й к j-й вершине, существует тогда и только тогда, когда Фj  Фi, где Фj и Фi – подмноже- ства из множества Ф ответственных функций, реализуемых автоматом в j-м и i-м состояниях соответственно.  Полученный граф является графом безо- пасных переходов и однозначно определяет функцию χ БЛП-автомата. На этапе структурного синтеза достаточно ис- пользовать следующий принцип кодирования состояний: разрядность кода должна соответ- ствовать количеству реализуемых элементарных операций; код i-го состояния автомата форми- руется из элементов i-го столбца таблицы, на- чиная от первой и заканчивая последней стро- кой. Функция χ при таком кодировании опи- сывается как поразрядная конъюнкция вход- ных сигналов E(A), E(B). Построенный таким об- разом автомат при формировании в результате искажений сигналов еi, ej всегда осуществляет переход к некоторому состоянию fij, код кото- рого содержит единицы для элементарных опе- раций из множества Фij, образующихся на пе- ресечении множеств Фi и Фj. В результате это- го код состояния точно определяет перечень ответственных функций, которые могут быть реализованы автоматом в условиях искажений, исходя из чего строится функция выходов. 90 УСиМ, 2010, № 1 Процедура синтеза БЛП-автоматов с функ- циональной деградацией Большинство современных подходов к ре- шению проблемы синтеза автоматных моделей систем и компонентов критического примене- ния базируются на переводе автомата в защит- ное состояние при наличии искажений функ- ций и сигналов. При этом среди множества внутренних состояний автомата выделяется бе- зопасное состояние s0, которое, как правило, также соответствует начальному. При обнару- жении несоответствий в результатах обработ- ки информации резервируемыми каналами ав- томат переводится в состояние s0. В работе [2] для безопасного поведения при искажениях функций и сигналов предлагается метод избыточного безопасного кодирования состояний, обеспечивающий реализацию безо- пасных переходов при любых искажениях сиг- налов заданного класса, кодирующих внутрен- ние состояния. Процедура синтеза БЛП-автоматов с функ- циональной деградацией, предлагаемая в ста- тье, предполагает такое поведение автомата, при котором его реакция на искажения функций и сигналов обеспечивает сохранение максималь- но возможного количества реализуемых ответ- ственных функций управления при безуслов- ном обеспечении безопасности. Таким образом обеспечивается поддержание работоспособно- сти автомата и его многоступенчатая деграда- ция в условиях потока искажений. Проблему синтеза БЛП-автоматов с функ- циональной деградацией сформулируем следу- ющим образом: требуется создать процедуру, которая позволяла бы по известному алгорит- му, описанному канонической моделью автома- та М в виде графа или таблицы переходов и выходов, находить граф или таблицу переходов -автомата, такую, для которой любое ис- кажение или последовательная серия искаже- ний одного из входных сигналов eiej вызывает такие искажения выходного сигнала fifr, при которых отсутствует деградация безопасно- сти и имеет место возможно меньший уро- вень деградации работоспособности БЛП-ав- томата. Проблема синтеза БЛП-автоматов с функ- циональной деградацией может быть решена путем построения, анализа и преобразования χ- автоматов. С учетом сказанного следует, χ-ав- томаты могут быть заданы таблицей переходов, графом переходов автомата Мура или графом безопасных переходов. Ниже приведена процедура синтеза БЛП-ав- томатов, в которых функция  описывается гра- фом безопасных переходов. Процедура 4. 1. В соответствии с традиционной теорией аб- страктного синтеза конечных автоматов стро- ится граф переходов G с L вершинами, задаю- щий каноническую модель автомата Мили или Мура (без учета требований, предъявляемых к безопасности). 2. Строится граф Gs безопасных переходов с L вершинами. 3. Если любая пара вершин полученного гра- фа Gs связана ребром непосредственно либо через третью вершину, к которой направлены стрелки безопасных ложных переходов (назо- вем такие графы -связными), то переходим к заданию таблицы переходов для функции  (п. 8 процедуры). 4. Если граф Gs не -связный, то для каждой пары (группы) не -связных вершин создаются новые вершины, к которым из каждой из не- связных вершин данной группы строятся дуги безопасных переходов, обеспечивая таким обра- зом -связность рассматриваемой пары (группы). 5. Исходный граф G дополняется вершина- ми, введенными в граф Gs, исходя из анализа алгоритма управления, строятся дуги и описы- ваются условия переходов из новых вершин к исходным. 6. Граф Gs дополняется новыми стрелками, соответствующими безопасным переходам, связывающим новые вершины с исходными. 7. Возвращаемся к п. 3. 8. Строится таблица переходов в соответ- ствии с 1 и 2-м правилами (этапами) процеду- ры 1 преобразования графа безопасных пере- ходов в граф переходов χ-автомата, рассмот- ренными выше. УСиМ, 2010, № 1 91 9. Строится таблица выходов для всей сово- купности состояний, полученных в результате выполненных преобразований. Если БЛП-автомат М-типа, то операции 2–8 выполняются для каждого состояния, соответ- ствующего вершине графа G. Процедура синтеза БЛП-автоматов, в кото- рых функция  описывается автоматом Мура, отличается от приведенной тем, что граф Gs строится как граф переходов -автомата, а так- же пунктами 3, 4 и 8, которые для этого случая имеют следующую формулировку:  Если количество исходящих стрелок каж- дой вершины соответствует количеству вершин графа Gs (при этом стрелки изображаются раз- дельно для каждого условия, по которому осу- ществляется переход), то переходим к пункту 8.  Для каждой вершины (или группы вер- шин), количество исходящих стрелок которых меньше количества вершин графа Gs, строятся новые вершины.  В соответствии с полученным графом Gs строится таблица переходов, которая не долж- на содержать прочерков. Заключение. В статье предложено обобще- ние и новое решение научно-прикладной про- блемы разработки моделей и методов синтеза безопасных автоматов с функциональной де- градацией с целью повышения показателей бе- зопасности систем критического применения. Основные научные и практические резуль- таты состоят в следующем:  Даны понятия безопасного автомата и дву- мерной деградации безопасного автомата.  Разработаны: – модели безопасных логических автоматов параллельного действия (БЛП-автоматов); вы- делены классы БЛП-автоматов Мили, Мура, М-типа и Р-типа; – методы задания БЛП-автоматов М- и Р- типа табличными формами: таблицей соответ- ствия, квадратной таблицей, таблицей перехо- дов -автомата, а также графическими форма- ми: графом безопасных переходов с отмечен- ными дугами и графом переходов -автомата; – метод формализации требований, предъяв- ляемых к безопасности автоматов, основанный на формировании множеств ответственных опе- раций, реализуемых автоматом; – процедуры абстрактного и структурного синтеза безопасных автоматов по формально- му описанию требований к безопасности, ос- нованному на формировании множеств ответ- ственных функций; – процедуры синтеза безопасных автоматов с функциональной деградацией, основанные на построении, анализе и преобразовании χ-авто- матов. 1. Глушков В.М. Синтез цифровых автоматов. – М. : Физматгиз, 1962. – 476 с. 2. Методы построения безопасных микроэлектрон- ных систем железнодорожной автоматики / В.В. Сапожников, Вл.В. Сапожников, Х.А. Хрис- тов и др. – М.: Транспорт, 1995. – 272 с. 3. Малиновский М.Л. Управление объектами крити- ческого применения на основе ПЛИС: моногр. – Харьков: Факт, 2008. – 224 с. Поступила 08.11.2009 Тел. для справок: (61052) 712-3537 (Харьков) E-mail: w818w@mail.ru © М.Л. Малиновский, 2010  << /ASCII85EncodePages false /AllowTransparency false /AutoPositionEPSFiles true /AutoRotatePages /None /Binding /Left /CalGrayProfile (Dot Gain 20%) /CalRGBProfile (sRGB IEC61966-2.1) /CalCMYKProfile (U.S. Web Coated \050SWOP\051 v2) /sRGBProfile (sRGB IEC61966-2.1) /CannotEmbedFontPolicy /Error /CompatibilityLevel 1.4 /CompressObjects /Tags /CompressPages true /ConvertImagesToIndexed true /PassThroughJPEGImages true /CreateJobTicket false /DefaultRenderingIntent /Default /DetectBlends true /DetectCurves 0.0000 /ColorConversionStrategy /CMYK /DoThumbnails false /EmbedAllFonts true /EmbedOpenType false /ParseICCProfilesInComments true /EmbedJobOptions true /DSCReportingLevel 0 /EmitDSCWarnings false /EndPage -1 /ImageMemory 1048576 /LockDistillerParams false /MaxSubsetPct 100 /Optimize true /OPM 1 /ParseDSCComments true /ParseDSCCommentsForDocInfo true /PreserveCopyPage true /PreserveDICMYKValues true /PreserveEPSInfo true /PreserveFlatness true /PreserveHalftoneInfo false /PreserveOPIComments true /PreserveOverprintSettings true /StartPage 1 /SubsetFonts true /TransferFunctionInfo /Apply /UCRandBGInfo /Preserve /UsePrologue false /ColorSettingsFile () /AlwaysEmbed [ true ] /NeverEmbed [ true ] /AntiAliasColorImages false /CropColorImages true /ColorImageMinResolution 300 /ColorImageMinResolutionPolicy /OK /DownsampleColorImages true /ColorImageDownsampleType /Bicubic /ColorImageResolution 300 /ColorImageDepth -1 /ColorImageMinDownsampleDepth 1 /ColorImageDownsampleThreshold 1.50000 /EncodeColorImages true /ColorImageFilter /DCTEncode /AutoFilterColorImages true /ColorImageAutoFilterStrategy /JPEG /ColorACSImageDict << /QFactor 0.15 /HSamples [1 1 1 1] /VSamples [1 1 1 1] >> /ColorImageDict << /QFactor 0.15 /HSamples [1 1 1 1] /VSamples [1 1 1 1] >> /JPEG2000ColorACSImageDict << /TileWidth 256 /TileHeight 256 /Quality 30 >> /JPEG2000ColorImageDict << /TileWidth 256 /TileHeight 256 /Quality 30 >> /AntiAliasGrayImages false /CropGrayImages true /GrayImageMinResolution 300 /GrayImageMinResolutionPolicy /OK /DownsampleGrayImages true /GrayImageDownsampleType /Bicubic /GrayImageResolution 300 /GrayImageDepth -1 /GrayImageMinDownsampleDepth 2 /GrayImageDownsampleThreshold 1.50000 /EncodeGrayImages true /GrayImageFilter /DCTEncode /AutoFilterGrayImages true /GrayImageAutoFilterStrategy /JPEG /GrayACSImageDict << /QFactor 0.15 /HSamples [1 1 1 1] /VSamples [1 1 1 1] >> /GrayImageDict << /QFactor 0.15 /HSamples [1 1 1 1] /VSamples [1 1 1 1] >> /JPEG2000GrayACSImageDict << /TileWidth 256 /TileHeight 256 /Quality 30 >> /JPEG2000GrayImageDict << /TileWidth 256 /TileHeight 256 /Quality 30 >> /AntiAliasMonoImages false /CropMonoImages true /MonoImageMinResolution 1200 /MonoImageMinResolutionPolicy /OK /DownsampleMonoImages true /MonoImageDownsampleType /Bicubic /MonoImageResolution 1200 /MonoImageDepth -1 /MonoImageDownsampleThreshold 1.50000 /EncodeMonoImages true /MonoImageFilter /CCITTFaxEncode /MonoImageDict << /K -1 >> /AllowPSXObjects false /CheckCompliance [ /None ] /PDFX1aCheck false /PDFX3Check false /PDFXCompliantPDFOnly false /PDFXNoTrimBoxError true /PDFXTrimBoxToMediaBoxOffset [ 0.00000 0.00000 0.00000 0.00000 ] /PDFXSetBleedBoxToMediaBox true /PDFXBleedBoxToTrimBoxOffset [ 0.00000 0.00000 0.00000 0.00000 ] /PDFXOutputIntentProfile () /PDFXOutputConditionIdentifier () /PDFXOutputCondition () /PDFXRegistryName () /PDFXTrapped /False /CreateJDFFile false /Description << /ARA <FEFF06270633062A062E062F0645002006470630064700200627064406250639062F0627062F0627062A002006440625064606340627062100200648062B062706260642002000410064006F00620065002000500044004600200645062A064806270641064206290020064406440637062806270639062900200641064A00200627064406450637062706280639002006300627062A0020062F0631062C0627062A002006270644062C0648062F0629002006270644063906270644064A0629061B0020064A06450643064600200641062A062D00200648062B0627062606420020005000440046002006270644064506460634062306290020062806270633062A062E062F062706450020004100630072006F0062006100740020064800410064006F006200650020005200650061006400650072002006250635062F0627063100200035002E0030002006480627064406250635062F062706310627062A0020062706440623062D062F062B002E0635062F0627063100200035002E0030002006480627064406250635062F062706310627062A0020062706440623062D062F062B002E> /BGR <FEFF04180437043f043e043b043704320430043904420435002004420435043704380020043d0430044104420440043e0439043a0438002c00200437043000200434043000200441044a0437043404300432043004420435002000410064006f00620065002000500044004600200434043e043a0443043c0435043d04420438002c0020043c0430043a04410438043c0430043b043d043e0020043f044004380433043e04340435043d04380020043704300020043204380441043e043a043e043a0430044704350441044204320435043d0020043f04350447043004420020043704300020043f044004350434043f0435044704300442043d04300020043f043e04340433043e0442043e0432043a0430002e002000200421044a04370434043004340435043d043804420435002000500044004600200434043e043a0443043c0435043d044204380020043c043e0433043004420020043404300020044104350020043e0442043204300440044f0442002004410020004100630072006f00620061007400200438002000410064006f00620065002000520065006100640065007200200035002e00300020043800200441043b0435043404320430044904380020043204350440044104380438002e> /CHS <FEFF4f7f75288fd94e9b8bbe5b9a521b5efa7684002000410064006f006200650020005000440046002065876863900275284e8e9ad88d2891cf76845370524d53705237300260a853ef4ee54f7f75280020004100630072006f0062006100740020548c002000410064006f00620065002000520065006100640065007200200035002e003000204ee553ca66f49ad87248672c676562535f00521b5efa768400200050004400460020658768633002> /CHT <FEFF4f7f752890194e9b8a2d7f6e5efa7acb7684002000410064006f006200650020005000440046002065874ef69069752865bc9ad854c18cea76845370524d5370523786557406300260a853ef4ee54f7f75280020004100630072006f0062006100740020548c002000410064006f00620065002000520065006100640065007200200035002e003000204ee553ca66f49ad87248672c4f86958b555f5df25efa7acb76840020005000440046002065874ef63002> /CZE <FEFF005400610074006f0020006e006100730074006100760065006e00ed00200070006f0075017e0069006a007400650020006b0020007600790074007600e101590065006e00ed00200064006f006b0075006d0065006e0074016f002000410064006f006200650020005000440046002c0020006b00740065007200e90020007300650020006e0065006a006c00e90070006500200068006f006400ed002000700072006f0020006b00760061006c00690074006e00ed0020007400690073006b00200061002000700072006500700072006500730073002e002000200056007900740076006f01590065006e00e900200064006f006b0075006d0065006e007400790020005000440046002000620075006400650020006d006f017e006e00e90020006f007400650076015900ed007400200076002000700072006f006700720061006d0065006300680020004100630072006f00620061007400200061002000410064006f00620065002000520065006100640065007200200035002e0030002000610020006e006f0076011b006a016100ed00630068002e> /DAN <FEFF004200720075006700200069006e0064007300740069006c006c0069006e006700650072006e0065002000740069006c0020006100740020006f007000720065007400740065002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e007400650072002c0020006400650072002000620065006400730074002000650067006e006500720020007300690067002000740069006c002000700072006500700072006500730073002d007500640073006b007200690076006e0069006e00670020006100660020006800f8006a0020006b00760061006c0069007400650074002e0020004400650020006f007000720065007400740065006400650020005000440046002d0064006f006b0075006d0065006e0074006500720020006b0061006e002000e50062006e00650073002000690020004100630072006f00620061007400200065006c006c006500720020004100630072006f006200610074002000520065006100640065007200200035002e00300020006f00670020006e0079006500720065002e> /DEU <FEFF00560065007200770065006e00640065006e0020005300690065002000640069006500730065002000450069006e007300740065006c006c0075006e00670065006e0020007a0075006d002000450072007300740065006c006c0065006e00200076006f006e002000410064006f006200650020005000440046002d0044006f006b0075006d0065006e00740065006e002c00200076006f006e002000640065006e0065006e002000530069006500200068006f006300680077006500720074006900670065002000500072006500700072006500730073002d0044007200750063006b0065002000650072007a0065007500670065006e0020006d00f60063006800740065006e002e002000450072007300740065006c006c007400650020005000440046002d0044006f006b0075006d0065006e007400650020006b00f6006e006e0065006e0020006d006900740020004100630072006f00620061007400200075006e0064002000410064006f00620065002000520065006100640065007200200035002e00300020006f0064006500720020006800f600680065007200200067006500f600660066006e00650074002000770065007200640065006e002e> /ESP <FEFF005500740069006c0069006300650020006500730074006100200063006f006e0066006900670075007200610063006900f3006e0020007000610072006100200063007200650061007200200064006f00630075006d0065006e0074006f00730020005000440046002000640065002000410064006f0062006500200061006400650063007500610064006f00730020007000610072006100200069006d0070007200650073006900f3006e0020007000720065002d0065006400690074006f007200690061006c00200064006500200061006c00740061002000630061006c0069006400610064002e002000530065002000700075006500640065006e00200061006200720069007200200064006f00630075006d0065006e0074006f00730020005000440046002000630072006500610064006f007300200063006f006e0020004100630072006f006200610074002c002000410064006f00620065002000520065006100640065007200200035002e003000200079002000760065007200730069006f006e0065007300200070006f00730074006500720069006f007200650073002e> /ETI <FEFF004b00610073007500740061006700650020006e0065006900640020007300e4007400740065006900640020006b00760061006c006900740065006500740073006500200074007200fc006b006900650065006c007300650020007000720069006e00740069006d0069007300650020006a0061006f006b007300200073006f00620069006c0069006b0065002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e00740069006400650020006c006f006f006d006900730065006b0073002e00200020004c006f006f0064007500640020005000440046002d0064006f006b0075006d0065006e00740065002000730061006100740065002000610076006100640061002000700072006f006700720061006d006d006900640065006700610020004100630072006f0062006100740020006e0069006e0067002000410064006f00620065002000520065006100640065007200200035002e00300020006a00610020007500750065006d006100740065002000760065007200730069006f006f006e00690064006500670061002e000d000a> /FRA <FEFF005500740069006c006900730065007a00200063006500730020006f007000740069006f006e00730020006100660069006e00200064006500200063007200e900650072002000640065007300200064006f00630075006d0065006e00740073002000410064006f00620065002000500044004600200070006f0075007200200075006e00650020007100750061006c0069007400e90020006400270069006d007000720065007300730069006f006e00200070007200e9007000720065007300730065002e0020004c0065007300200064006f00630075006d0065006e00740073002000500044004600200063007200e900e90073002000700065007500760065006e0074002000ea0074007200650020006f007500760065007200740073002000640061006e00730020004100630072006f006200610074002c002000610069006e00730069002000710075002700410064006f00620065002000520065006100640065007200200035002e0030002000650074002000760065007200730069006f006e007300200075006c007400e90072006900650075007200650073002e> /GRE <FEFF03a703c103b703c303b903bc03bf03c003bf03b903ae03c303c403b5002003b103c503c403ad03c2002003c403b903c2002003c103c503b803bc03af03c303b503b903c2002003b303b903b1002003bd03b1002003b403b703bc03b903bf03c503c103b303ae03c303b503c403b5002003ad03b303b303c103b103c603b1002000410064006f006200650020005000440046002003c003bf03c5002003b503af03bd03b103b9002003ba03b103c42019002003b503be03bf03c703ae03bd002003ba03b103c403ac03bb03bb03b703bb03b1002003b303b903b1002003c003c103bf002d03b503ba03c403c503c003c903c403b903ba03ad03c2002003b503c103b303b103c303af03b503c2002003c503c803b703bb03ae03c2002003c003bf03b903cc03c403b703c403b103c2002e0020002003a403b10020005000440046002003ad03b303b303c103b103c603b1002003c003bf03c5002003ad03c703b503c403b5002003b403b703bc03b903bf03c503c103b303ae03c303b503b9002003bc03c003bf03c103bf03cd03bd002003bd03b1002003b103bd03bf03b903c703c403bf03cd03bd002003bc03b5002003c403bf0020004100630072006f006200610074002c002003c403bf002000410064006f00620065002000520065006100640065007200200035002e0030002003ba03b103b9002003bc03b503c403b103b303b503bd03ad03c303c403b503c103b503c2002003b503ba03b403cc03c303b503b903c2002e> /HEB <FEFF05D405E905EA05DE05E905D5002005D105D405D205D305E805D505EA002005D005DC05D4002005DB05D305D9002005DC05D905E605D505E8002005DE05E105DE05DB05D9002000410064006F006200650020005000440046002005D405DE05D505EA05D005DE05D905DD002005DC05D405D305E405E105EA002005E705D305DD002D05D305E405D505E1002005D005D905DB05D505EA05D905EA002E002005DE05E105DE05DB05D90020005000440046002005E905E005D505E605E805D5002005E005D905EA05E005D905DD002005DC05E405EA05D905D705D4002005D105D005DE05E605E205D505EA0020004100630072006F006200610074002005D5002D00410064006F00620065002000520065006100640065007200200035002E0030002005D505D205E805E105D005D505EA002005DE05EA05E705D305DE05D505EA002005D905D505EA05E8002E05D005DE05D905DD002005DC002D005000440046002F0058002D0033002C002005E205D905D905E005D5002005D105DE05D305E805D905DA002005DC05DE05E905EA05DE05E9002005E905DC0020004100630072006F006200610074002E002005DE05E105DE05DB05D90020005000440046002005E905E005D505E605E805D5002005E005D905EA05E005D905DD002005DC05E405EA05D905D705D4002005D105D005DE05E605E205D505EA0020004100630072006F006200610074002005D5002D00410064006F00620065002000520065006100640065007200200035002E0030002005D505D205E805E105D005D505EA002005DE05EA05E705D305DE05D505EA002005D905D505EA05E8002E> /HRV (Za stvaranje Adobe PDF dokumenata najpogodnijih za visokokvalitetni ispis prije tiskanja koristite ove postavke. Stvoreni PDF dokumenti mogu se otvoriti Acrobat i Adobe Reader 5.0 i kasnijim verzijama.) /HUN <FEFF004b0069007600e1006c00f30020006d0069006e0151007300e9006701710020006e0079006f006d00640061006900200065006c0151006b00e90073007a00ed007401510020006e0079006f006d00740061007400e100730068006f007a0020006c006500670069006e006b00e1006200620020006d0065006700660065006c0065006c0151002000410064006f00620065002000500044004600200064006f006b0075006d0065006e00740075006d006f006b0061007400200065007a0065006b006b0065006c0020006100200062006500e1006c006c00ed007400e10073006f006b006b0061006c0020006b00e90073007a00ed0074006800650074002e0020002000410020006c00e90074007200650068006f007a006f00740074002000500044004600200064006f006b0075006d0065006e00740075006d006f006b00200061007a0020004100630072006f006200610074002000e9007300200061007a002000410064006f00620065002000520065006100640065007200200035002e0030002c0020007600610067007900200061007a002000610074007400f3006c0020006b00e9007301510062006200690020007600650072007a006900f3006b006b0061006c0020006e00790069007400680061007400f3006b0020006d00650067002e> /ITA <FEFF005500740069006c0069007a007a006100720065002000710075006500730074006500200069006d0070006f007300740061007a0069006f006e00690020007000650072002000630072006500610072006500200064006f00630075006d0065006e00740069002000410064006f00620065002000500044004600200070006900f900200061006400610074007400690020006100200075006e00610020007000720065007300740061006d0070006100200064006900200061006c007400610020007100750061006c0069007400e0002e0020004900200064006f00630075006d0065006e007400690020005000440046002000630072006500610074006900200070006f00730073006f006e006f0020006500730073006500720065002000610070006500720074006900200063006f006e0020004100630072006f00620061007400200065002000410064006f00620065002000520065006100640065007200200035002e003000200065002000760065007200730069006f006e006900200073007500630063006500730073006900760065002e> /JPN <FEFF9ad854c18cea306a30d730ea30d730ec30b951fa529b7528002000410064006f0062006500200050004400460020658766f8306e4f5c6210306b4f7f75283057307e305930023053306e8a2d5b9a30674f5c62103055308c305f0020005000440046002030d530a130a430eb306f3001004100630072006f0062006100740020304a30883073002000410064006f00620065002000520065006100640065007200200035002e003000204ee5964d3067958b304f30533068304c3067304d307e305930023053306e8a2d5b9a306b306f30d530a930f330c8306e57cb30818fbc307f304c5fc59808306730593002> /KOR <FEFFc7740020c124c815c7440020c0acc6a9d558c5ec0020ace0d488c9c80020c2dcd5d80020c778c1c4c5d00020ac00c7a50020c801d569d55c002000410064006f0062006500200050004400460020bb38c11cb97c0020c791c131d569b2c8b2e4002e0020c774b807ac8c0020c791c131b41c00200050004400460020bb38c11cb2940020004100630072006f0062006100740020bc0f002000410064006f00620065002000520065006100640065007200200035002e00300020c774c0c1c5d0c11c0020c5f40020c2180020c788c2b5b2c8b2e4002e> /LTH <FEFF004e006100750064006f006b0069007400650020016100690075006f007300200070006100720061006d006500740072007500730020006e006f0072011700640061006d00690020006b0075007200740069002000410064006f00620065002000500044004600200064006f006b0075006d0065006e007400750073002c0020006b00750072006900650020006c0061006200690061007500730069006100690020007000720069007400610069006b007900740069002000610075006b01610074006f00730020006b006f006b007900620117007300200070006100720065006e006700740069006e00690061006d00200073007000610075007300640069006e0069006d00750069002e0020002000530075006b0075007200740069002000500044004600200064006f006b0075006d0065006e007400610069002000670061006c006900200062016b007400690020006100740069006400610072006f006d00690020004100630072006f006200610074002000690072002000410064006f00620065002000520065006100640065007200200035002e0030002000610072002000760117006c00650073006e0117006d00690073002000760065007200730069006a006f006d00690073002e> /LVI <FEFF0049007a006d0061006e0074006f006a00690065007400200161006f00730020006900650073007400610074012b006a0075006d00750073002c0020006c0061006900200076006500690064006f00740075002000410064006f00620065002000500044004600200064006f006b0075006d0065006e007400750073002c0020006b006100730020006900720020012b00700061016100690020007000690065006d01130072006f00740069002000610075006700730074006100730020006b00760061006c0069007401010074006500730020007000690072006d007300690065007300700069006501610061006e006100730020006400720075006b00610069002e00200049007a0076006500690064006f006a006900650074002000500044004600200064006f006b0075006d0065006e007400750073002c0020006b006f002000760061007200200061007400760113007200740020006100720020004100630072006f00620061007400200075006e002000410064006f00620065002000520065006100640065007200200035002e0030002c0020006b0101002000610072012b00200074006f0020006a00610075006e0101006b0101006d002000760065007200730069006a0101006d002e> /NLD (Gebruik deze instellingen om Adobe PDF-documenten te maken die zijn geoptimaliseerd voor prepress-afdrukken van hoge kwaliteit. De gemaakte PDF-documenten kunnen worden geopend met Acrobat en Adobe Reader 5.0 en hoger.) /NOR <FEFF004200720075006b00200064006900730073006500200069006e006e007300740069006c006c0069006e00670065006e0065002000740069006c002000e50020006f0070007000720065007400740065002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e00740065007200200073006f006d00200065007200200062006500730074002000650067006e0065007400200066006f00720020006600f80072007400720079006b006b0073007500740073006b00720069006600740020006100760020006800f800790020006b00760061006c0069007400650074002e0020005000440046002d0064006f006b0075006d0065006e00740065006e00650020006b0061006e002000e50070006e00650073002000690020004100630072006f00620061007400200065006c006c00650072002000410064006f00620065002000520065006100640065007200200035002e003000200065006c006c00650072002000730065006e006500720065002e> /POL <FEFF0055007300740061007700690065006e0069006100200064006f002000740077006f0072007a0065006e0069006100200064006f006b0075006d0065006e007400f300770020005000440046002000700072007a0065007a006e00610063007a006f006e00790063006800200064006f002000770079006400720075006b00f30077002000770020007700790073006f006b00690065006a0020006a0061006b006f015b00630069002e002000200044006f006b0075006d0065006e0074007900200050004400460020006d006f017c006e00610020006f007400770069006500720061010700200077002000700072006f006700720061006d006900650020004100630072006f00620061007400200069002000410064006f00620065002000520065006100640065007200200035002e0030002000690020006e006f00770073007a0079006d002e> /PTB <FEFF005500740069006c0069007a006500200065007300730061007300200063006f006e00660069006700750072006100e700f50065007300200064006500200066006f0072006d00610020006100200063007200690061007200200064006f00630075006d0065006e0074006f0073002000410064006f0062006500200050004400460020006d00610069007300200061006400650071007500610064006f00730020007000610072006100200070007200e9002d0069006d0070007200650073007300f50065007300200064006500200061006c007400610020007100750061006c00690064006100640065002e0020004f007300200064006f00630075006d0065006e0074006f00730020005000440046002000630072006900610064006f007300200070006f00640065006d0020007300650072002000610062006500720074006f007300200063006f006d0020006f0020004100630072006f006200610074002000650020006f002000410064006f00620065002000520065006100640065007200200035002e0030002000650020007600650072007300f50065007300200070006f00730074006500720069006f007200650073002e> /RUM <FEFF005500740069006c0069007a00610163006900200061006300650073007400650020007300650074010300720069002000700065006e007400720075002000610020006300720065006100200064006f00630075006d0065006e00740065002000410064006f006200650020005000440046002000610064006500630076006100740065002000700065006e0074007200750020007400690070010300720069007200650061002000700072006500700072006500730073002000640065002000630061006c006900740061007400650020007300750070006500720069006f006100720103002e002000200044006f00630075006d0065006e00740065006c00650020005000440046002000630072006500610074006500200070006f00740020006600690020006400650073006300680069007300650020006300750020004100630072006f006200610074002c002000410064006f00620065002000520065006100640065007200200035002e00300020015f00690020007600650072007300690075006e0069006c006500200075006c0074006500720069006f006100720065002e> /RUS <FEFF04180441043f043e043b044c04370443043904420435002004340430043d043d044b04350020043d0430044104420440043e0439043a043800200434043b044f00200441043e043704340430043d0438044f00200434043e043a0443043c0435043d0442043e0432002000410064006f006200650020005000440046002c0020043c0430043a04410438043c0430043b044c043d043e0020043f043e04340445043e0434044f04490438044500200434043b044f00200432044b0441043e043a043e043a0430044704350441044204320435043d043d043e0433043e00200434043e043f0435044704300442043d043e0433043e00200432044b0432043e04340430002e002000200421043e043704340430043d043d044b04350020005000440046002d0434043e043a0443043c0435043d0442044b0020043c043e0436043d043e0020043e0442043a0440044b043204300442044c002004410020043f043e043c043e0449044c044e0020004100630072006f00620061007400200438002000410064006f00620065002000520065006100640065007200200035002e00300020043800200431043e043b043504350020043f043e04370434043d043804450020043204350440044104380439002e> /SKY <FEFF0054006900650074006f0020006e006100730074006100760065006e0069006100200070006f0075017e0069007400650020006e00610020007600790074007600e100720061006e0069006500200064006f006b0075006d0065006e0074006f0076002000410064006f006200650020005000440046002c0020006b0074006f007200e90020007300610020006e0061006a006c0065007001610069006500200068006f0064006900610020006e00610020006b00760061006c00690074006e00fa00200074006c0061010d00200061002000700072006500700072006500730073002e00200056007900740076006f00720065006e00e900200064006f006b0075006d0065006e007400790020005000440046002000620075006400650020006d006f017e006e00e90020006f00740076006f00720069016500200076002000700072006f006700720061006d006f006300680020004100630072006f00620061007400200061002000410064006f00620065002000520065006100640065007200200035002e0030002000610020006e006f0076016100ed00630068002e> /SLV <FEFF005400650020006e006100730074006100760069007400760065002000750070006f0072006100620069007400650020007a00610020007500730074007600610072006a0061006e006a006500200064006f006b0075006d0065006e0074006f0076002000410064006f006200650020005000440046002c0020006b006900200073006f0020006e0061006a007000720069006d00650072006e0065006a016100690020007a00610020006b0061006b006f0076006f00730074006e006f0020007400690073006b0061006e006a00650020007300200070007200690070007200610076006f0020006e00610020007400690073006b002e00200020005500730074007600610072006a0065006e006500200064006f006b0075006d0065006e0074006500200050004400460020006a00650020006d006f0067006f010d00650020006f0064007000720065007400690020007a0020004100630072006f00620061007400200069006e002000410064006f00620065002000520065006100640065007200200035002e003000200069006e0020006e006f00760065006a01610069006d002e> /SUO <FEFF004b00e40079007400e40020006e00e40069007400e4002000610073006500740075006b007300690061002c0020006b0075006e0020006c0075006f00740020006c00e400680069006e006e00e4002000760061006100740069007600610061006e0020007000610069006e006100740075006b00730065006e002000760061006c006d0069007300740065006c00750074007900f6006800f6006e00200073006f00700069007600690061002000410064006f0062006500200050004400460020002d0064006f006b0075006d0065006e007400740065006a0061002e0020004c0075006f0064007500740020005000440046002d0064006f006b0075006d0065006e00740069007400200076006f0069006400610061006e0020006100760061007400610020004100630072006f0062006100740069006c006c00610020006a0061002000410064006f00620065002000520065006100640065007200200035002e0030003a006c006c00610020006a006100200075007500640065006d006d0069006c006c0061002e> /SVE <FEFF0041006e007600e4006e00640020006400650020006800e4007200200069006e0073007400e4006c006c006e0069006e006700610072006e00610020006f006d002000640075002000760069006c006c00200073006b006100700061002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e007400200073006f006d002000e400720020006c00e4006d0070006c0069006700610020006600f60072002000700072006500700072006500730073002d007500740073006b00720069006600740020006d006500640020006800f600670020006b00760061006c0069007400650074002e002000200053006b006100700061006400650020005000440046002d0064006f006b0075006d0065006e00740020006b0061006e002000f600700070006e00610073002000690020004100630072006f0062006100740020006f00630068002000410064006f00620065002000520065006100640065007200200035002e00300020006f00630068002000730065006e006100720065002e> /TUR <FEFF005900fc006b00730065006b0020006b0061006c006900740065006c0069002000f6006e002000790061007a006401310072006d00610020006200610073006b013100730131006e006100200065006e0020006900790069002000750079006100620069006c006500630065006b002000410064006f006200650020005000440046002000620065006c00670065006c0065007200690020006f006c0075015f007400750072006d0061006b0020006900e70069006e00200062007500200061007900610072006c0061007201310020006b0075006c006c0061006e0131006e002e00200020004f006c0075015f0074007500720075006c0061006e0020005000440046002000620065006c00670065006c0065007200690020004100630072006f006200610074002000760065002000410064006f00620065002000520065006100640065007200200035002e003000200076006500200073006f006e0072006100730131006e00640061006b00690020007300fc007200fc006d006c00650072006c00650020006100e70131006c006100620069006c00690072002e> /UKR <FEFF04120438043a043e0440043804410442043e043204430439044204350020044604560020043f043004400430043c043504420440043800200434043b044f0020044104420432043e04400435043d043d044f00200434043e043a0443043c0435043d044204560432002000410064006f006200650020005000440046002c0020044f043a04560020043d04300439043a04400430044904350020043f045604340445043e0434044f0442044c00200434043b044f0020043204380441043e043a043e044f043a04560441043d043e0433043e0020043f0435044004350434043404400443043a043e0432043e0433043e0020043404400443043a0443002e00200020042104420432043e04400435043d045600200434043e043a0443043c0435043d0442043800200050004400460020043c043e0436043d04300020043204560434043a0440043804420438002004430020004100630072006f006200610074002004420430002000410064006f00620065002000520065006100640065007200200035002e0030002004300431043e0020043f04560437043d04560448043e04570020043204350440044104560457002e> /ENU (Use these settings to create Adobe PDF documents best suited for high-quality prepress printing. Created PDF documents can be opened with Acrobat and Adobe Reader 5.0 and later.) >> /Namespace [ (Adobe) (Common) (1.0) ] /OtherNamespaces [ << /AsReaderSpreads false /CropImagesToFrames true /ErrorControl /WarnAndContinue /FlattenerIgnoreSpreadOverrides false /IncludeGuidesGrids false /IncludeNonPrinting false /IncludeSlug false /Namespace [ (Adobe) (InDesign) (4.0) ] /OmitPlacedBitmaps false /OmitPlacedEPS false /OmitPlacedPDF false /SimulateOverprint /Legacy >> << /AddBleedMarks false /AddColorBars false /AddCropMarks false /AddPageInfo false /AddRegMarks false /ConvertColors /ConvertToCMYK /DestinationProfileName () /DestinationProfileSelector /DocumentCMYK /Downsample16BitImages true /FlattenerPreset << /PresetSelector /MediumResolution >> /FormElements false /GenerateStructure false /IncludeBookmarks false /IncludeHyperlinks false /IncludeInteractive false /IncludeLayers false /IncludeProfiles false /MultimediaHandling /UseObjectSettings /Namespace [ (Adobe) (CreativeSuite) (2.0) ] /PDFXOutputIntentProfileSelector /DocumentCMYK /PreserveEditing true /UntaggedCMYKHandling /LeaveUntagged /UntaggedRGBHandling /UseDocumentProfile /UseDocumentBleed false >> ] >> setdistillerparams << /HWResolution [2400 2400] /PageSize [612.000 792.000] >> setpagedevice

Синтез безопасных автоматов с функциональной деградацией

Репозитарії

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