CC BY
14
ВЫВОДЫ
Исходя из выше изложенного, следует, что в процессе обработки больших массивов информации возникает масса проблем по защите и восстановлению данных как таковых вне зависимости их от обрабатывающей программы. Эти вопросы изучены недостаточно, так как профессиональных программистов больше интересует "поведение" программ, а пользователи, больше интересующиеся самими данными, не занимаются решением подобных вопросов. Практическая реализация приведен-
ных алгоритмов восстановления данных призвана облегчить участь пользователей, по неосторожности или недостатку опыта потерявших ценную информацию.
ПЕРЕЧЕНЬ ССЫЛОК
1. Минаев A.B. Восстановление поврежденных файлов баз данных FoxPro LAN //"Компьютеры + Программы" 1(9) 1994 г. - C. 34-35.
2. Нортон Питер, Джордейн Роберт. Работа с жестким диском IBM/PC. - М.:Мир,1992 - 560 с.
Надшшла 18.01.99 Шсля доробки 09.09.99
УДК 519.714+681.3
ОБОБЩЕННЫЕ ПОЛИНОМИАЛЬНЫЕ ФОРМЫ
В. С. Выхованец
Показано, что обработка многозначных данных может быть реализована путем вычисления логической функции, представленной в обобщенной полиномиальной форме. Изложена обобщенная методика синтеза полиномиальных форм, осуществляемая в расширенном базисе операций и при смешанной значности переменных. Предлагается использование мультипликативных форм, позволяющих повысить эффективность логических вычислений на вычислительных средствах с двоичным кодированием данных.
There is shown in the article that multivalued data manipulation can be realized by calculation logic function represented as generalized polynomial. Generalized procedure of polynomial forms syntheses, which is realized both in the operation extended basis and with compounded significance of variables. Usage of the multiplicative shapes which permit to increase effectiveness of logical evaluations on computational tools with binary data coding is offered.
1 ВВЕДЕНИЕ
Имеется круг задач, решение которых основывается на обработке бинарных и многозначных данных. К таким задачам можно отнести логическое управление, дискретную оптимизацию, обработку сигналов и изображений, распознавание образов и прогнозирование, принятие решений, моделирование дискретных устройств и т.д. Логическая обработка может быть формализована в алгебре логики и представлена в виде логической функции со значностью kf, зависящей от п
аргументов X = {Xn_ j, ...,X^,X, значности которых, в общем случае, различны и равны, соответственно,
К={кпkj, к0} :
f(Xn_ 1,...,X1,X0)£{0, 1,., kf- 1} ,
Xt e {0, 1,., kt - 1} . (1)
Современное состояние информационной технологии отражает неадекватность используемых методов обра-
ботки данных структуре вычислительных средств. Наименее изученными остаются вопросы, связанные с расширением форм представления логических данных с учетом операционных возможностей вычислительного устройства. Наблюдается закономерный интерес к разработке новых форм представления логических данных. В последнее время находит все большее применение метод расширения форм, основанный на преобразовании Фурье в дискретных базисах [1, 2]. Практический интерес представляют полиномиальные формы, которые имеют однородную алгебраическую структуру и хорошо реализуются средствами современной микроэлектроники. Основываясь на ранее полученных результатах [3], приведем обобщенную методику синтеза полиномиальных форм.
2 МЕТОДИКА СИНТЕЗА ПОЛИНОМИАЛЬНЫХ ФОРМ
Известные методы логических вычислений своей структурой повторяют формульное описание функции. Не ограничивая общности, произвольную функцию (1) представим в обобщенной полиномиальной форме:
к _ 1 к — 1
р(X) = X а,(сЫп":18„- 1 ...б^0) = X ^ег(Х) , (2)
, = 0 , = 0 где к = к"_ 1 х...х¿1 хко ; а, - коэффициенты формы; с, - произвольные константы; - логические операции; X, - переменная X, в логической степени ¡(;
1 = (, _ 1.,0) - представление числа , по смешанному " 1 0 к
основанию К; е,(X) - полиномиальные ортогональные функции. Для синтеза полиномиальных форм исполь-
(3)
зуем дискретное ортогональное преобразование: Г A = D х F; {F = D-1 х A,
где F - характеристический вектор функции, A -вектор коэффициентов формы, D и D-1 - матрицы прямого и обратного преобразования размерности к" х к" . Последние получаем следующим образом.
1) Задаем ядро преобразования (3), которое определяет степенные операции и соответствующие им матрицы с элементами:
wt( i, j) = ij , (i, j = 0, к - 1 , t = 0, n - 2 ),
Gc = Wo; Gt +1 = Wt®Pt, (t = 0n-2);
D-1 = CS G,„
St( i, j) = iSj , (i, j = 0, к - 1 , t = 0, n ),
(4)
где г (] ) - номер строки (столбца). Строки (столбцы) матрицы должны быть линейно независимы.
2) Строим матрицу D-1 по рекуррентному правилу:
X1 X0 f( X1, X0)
0 0 2
0 1 1
1 0 3
1 1 3
2 0 0
2 1 1
(5)
" " - 1 '
где ® ( - обобщенная операция кронекеровского произведения; С - матрица констант, состоящая из к одинаковых строк к произвольных констант. Логические операции , как и ядро преобразования ^ зададим в
виде матриц А( с элементами
Из таблицы видно, функция имеет значность к^ = 4 ,
а переменные - значности К = {3, 2} . В соответствии с (2) искомая полиномиальная форма будет иметь вид:
3 А 2 - 1
(6)
а операцию обобщенного кронекеровского произведения определим так:
^ ® р{ = м>{(г,})8р{, (г , ] = ОД-Г ). (7)
В результате вычисления (7) получаем матрицу, состоящую из к х к подматриц 0(, каждая из которых поэлементно преобразована операцией , первым операндом которой является соответствующий элемент матрицы ^ . Выбор операций и их последовательности не должны вести к линейной зависимости строк (столбцов) 0(,
а константы с^ задаем так, чтобы определитель D-1 был
отличен от нуля.
3) Матрицу D вычисляем из условия ортогональности: D х D-1 = Е , где Е - единичная матрица размерности к" х к" . Обращение матриц и проверку линейной зависимости строк осуществляем в поле операций сложения и умножения, используемых при формировании обобщенной полиномиальной формы (2).
Пример. Представим в полиномиальной форме функцию, заданную таблицей истинности:
p(X) = £ al[clSX1 S0x00](mod4) , i = 0
где Х&0У определим в соответствии с (6) как сдвиг
двоичного представления x вправо на y разрядов, а степенные операции в соответствии с (4) зададим как побитовые операции неэквиваленции и дизъюнкции:
А0 =
0 0 0 1
, W0 =
0 1 1 0
, W1 =
0 1 2
1 1 3
2 3 2
Далее, в соответствии с выражениями (5) и (7), найдем матрицу G1 :
G1 =
0 1 2
1 1 3
2 3 2
0 01 012 1
0 0_0 1_1 2 0 1] = 1 01 0|3 1
10 0 U0 и! 3'
2 Ц3 fj"2 1
1 2131 2_
определитель которой по модулю f = 4 равен нулю, в связи с чем зададим операцию x§1 y как max(x,y) и выберем вектор коэффициентов C = [3 0 0 0 0 0] ; это
обеспечит обращаемость матрицы D-1 в поле арифметических операций, выполняемых по модулю 4:
D-1 =
3 0 0 0 0 0 3 0 0 0 0 0 3 0 0 0 0 0 3 0 0 0 0 0 3 0 0 0 0 0 3 0 0 0 0 0
S1G1 =
3 0 10 2 1 3 0 0 112 3 0 10 3 1 3 10 113 3 13 12 1 3 2 13 12
обратив матрицу D 1 и умножив ее на характеристи-
56
"Радюелектрошка, ¡нформатика, управлшня" № 2, 1999
3 3 1111 2 0
3 13 13 1 1 2
1 0 2 0 0 0 2 , А = Б х F = Б х 3 = 0
2 3 3 1 3 3 3 3 0
2 0 2 0 0 0 0 1
111113 1 0
ческий вектор F (столбец таблицы истинности) получаем вектор коэффициентов А :
Б =
по которому конструируем искомую полиномиальную форму:
р(X) = 2^0) + ) = 2(X0S0X1) + (X?) ,
где учтено, что X0 = X! и X0 = Xо . На языке программирования С вычисление функции будет иметь вид: / = ((х1 » !х0) « 1) + ((х112) » х0) .
3 ОГРАНИЧЕНИЯ ПРИ СИНТЕЗЕ
ПОЛИНОМИАЛЬНЫХ ФОРМ
Задача конструирования формы (2) сводится к разложению некоторой логической функции /(X) в ряд по заданным ортогональным функциям е^) путем вычисления спектра А вектора логических данных F. При этом значения функции /(X) и значения арифметико-логической формы р(X) совпадают во всех к точках области определения.
Разнообразие форм р(X) для одной и той же функции /(X) определяется возможностью получения различных полных систем ортогональных функций {еС^У)} . По соотношению (2) синтезируются логические и арифметические формы. При синтезе логических форм суммирование выполняется по модулю к, где к - простое число, а операция арифметического умножения заменяется на некоторую логическую операцию. При синтезе арифметических форм используются операции арифметического сложения и умножения, в связи с чем снимаются ограничения на значение к.
С целью повышения эффективности вычислений на выбор базиса наложим дополнительные ограничения, которые возможны по причине определенной произвольности в выборе матриц ядра Wt, операций 8( и логических констант с, . Среди таких ограничений - возможность факторизации базиса, т.е. представления матриц прямого (обратного) преобразования в виде произведения слабозаполненных матриц, что позволяет построить быстрый алгоритм дискретного преобразования. Иногда важным является уменьшение сложности формирования базиса, поскольку это отражается на программных и аппаратных средствах. Варьируя базис при неизменных входных данных, можно получить множество спектров,
некоторые из которых являются более предпочтительными по условию решаемой задачи или содержат много нулевых компонентов. В последнем случае решается задача минимизации функции в заданном классе операций. Можно также ввести ограничения на выбор базиса, связанные с минимизацией коэффициентов формы, что приводит к уменьшению памяти, необходимой для их хранения, или включить в множество операций те операции, которые реализуются на используемом вычислительном средстве с наибольшей эффективностью.
На практике получили развитие и имеют широкое распространение методы вычисления с помощью арифметических полиномов в булевой алгебре [4, 5]. Выражение (2) дает возможность свести вычисления в многозначной логике к вычислению арифметико-логического полинома в булевой алгебре путем соответствующего выбора степенных функций. В этом случае ядро дискретного преобразования задается в виде булевых матриц, а логические вычисления сводятся к выполнению логических операций над совокупностью промежуточных булевых переменных, полученных в результате возведения в степень исходных переменных.
4 МУЛЬТИПЛИКАТИВНЫЕ ФОРМЫ
Формирование базиса дискретного ортогонального преобразования сопряжено со значительными вычислительными трудностями, которые связаны с необходимостью обращения матриц большой размерности. В связи с чем на практике в качестве логических операций используется некоторая мультипликативная операция, совпадающая по определению с операцией арифметического умножения: в булевой алгебре такой операцией является конъюнкция, в многозначной логике -обычное арифметическое умножение.
Использование мультипликативных операций позволяет значительно упростить формирование базиса дискретного преобразования. Это связано с интересным свойством операции кронекеровского произведения матриц относительно арифметического умножения: для произвольных матриц: А^, А2, ..., Ап , для которых существуют обратные: А-1, А^1, ...,А-1 , справедливо выражение:
(А1 ® А2 ® ... ® А )-1 = А-1 ® А-1 ® ... ® А-1 , 4 1 2 12 " '
т.е. обращение кронекеровского произведения матриц может быть получено путем кронекеровского произведения обратных матриц. В этом случае соотношения для формирования базиса (5) могут быть представлены в следующем виде:
Б-1 = Wо, Б-+1 = ^ ®Б-1; Б0 = ^ Б( +1 = ^1 ® Б(
4.1 БУЛЕВА МУЛЬТИПЛИКАТИВНАЯ ФОРМА
Представление логических функций в булевом мультипликативном базисе основано на использовании в качестве логических операций булевой конъюнкции &, совпадающей с операцией арифметического умножения на множестве В = {0, 1} . Для согласования области определения булевой конъюнкции с областями значений степенных операций, последние необходимо задавать в виде булевых матриц, т.е. матриц, элементы которых принимают значения в В , т.е. ^(г,]) е В .
Использование булевой мультипликативной формы позволяет эффективно реализовать вычисления в многозначной логике на вычислительных средствах, использующих двоичное кодирование данных. При реализации полинома (2) операция арифметического умножения не выполняется, а вычисление сводится к суммированию коэффициентов, для которых логическая часть выражения не равна нулю. Минимизация булевой мультипликативной формы выполняется путем подбора степенных операций для каждой из переменных. Количество обращаемых булевых матриц Мв(к) размерности
кхк может быть подсчитано по формуле:
Таблица
NB( k) = к!
к (к - 1 ) + 1
1
где к! - факториал числа к.
к 2 3 4
Nw (к) 8 192 22272
NB (к) 6 90 3048
Из таблицы видно, что возможности минимизации логической функции в мультипликативной форме Уолша превосходят аналогичные возможности в булевой форме. Для уменьшения времени вычисления логической части полинома определим степенные операции по аналогии с полиномиальной формой Уолша в булевой алгебре:
,(X х} )т
X\ = (-1 у
mod к
4.2 МУЛЬТИПЛИКАТИВНАЯ ФОРМА УОЛША
Определим в мультипликативном базисе степенные операции в виде матриц, состоящих из элементов множества {1, -1} . В результате получим форму, заданную относительно операции арифметического умножения и являющуюся своеобразным расширением полиномиальной формы Уолша. В этом случае вычисление полинома (2) сводится к подсчету bi(X) - количества отрицательных значений степенных операций для каждого числа г на заданном наборе данных X и суммированию коэффициентов со знаками, равными знакам выражений
(-1)Ь ( Х) .
Минимизация мультипликативной формы Уолша осуществляется путем подбора степенных операций для каждой из переменных. Количество обращаемых матриц Уолша (к) размерности к х к , полученные в результате вычислительного эксперимента, представлено в таблице (там же для сравнения приведены значения для Мв (к) ):
откуда находим, что форма (2) существует только при к е{2, 3} , что вызвано линейной зависимостью строк матриц ядра. При к = 2 получаем классический базис Уолша. Задавая степенные операции как
X{ = (_1)(X' +j)mod к
где к - простое число, получаем аналитическую конструкцию, существующую при всех к и в которой мультипликативная операция заменяется на операцию сложения:
n — 1
,(X) = Xe<(-1 )0(X) , e(X) = Х(ХУ + 1?mod к . (8) (i) , = 0 К достоинствам формы (8) можно отнести регулярность структуры аналитической конструкции и малое время вычисления, которое незначительно превосходит время вычисления булевой мультипликативной формы. Матрицы ядра дискретного ортогонального преобразования размерности кхк имеют вид:
Wt =
1 -11 -1 . 1 -11 -1 .1 . 1 -1 .1 . 1 -1 .1 .1 -1 .1 .1 -11 1 . 1 -1 1 -1
, W-1 = -1-
t 0к - 2
10 0.01 0 0.011 0.0110 .0110. 0 110.0 110.00
4.3 ОБОБЩЕННАЯ МУЛЬТИПЛИКАТИВНАЯ ФОРМА
Использование значений степенных операций из множества {-1, 0, 1} позволяет обобщить формы представления логических функций в мультипликативных базисах. Разложение произвольной функции в этом случае производится по трехуровневым ортогональным функциям. Количество степенных операций для обоб-
58
"Радюелектронжа, шформатика, управлшня" № 2, 1999
С. Н. Герасин: ПРИВЕДЕНИЕ РАСПРЕДЕЛЕНИЯ НЕОДНОРОДНОЙ МАРКОВСКОЙ СИСТЕМЫ К ЗАДАННЫМ ЗНАЧЕНИЯМ ПРИ ПОМОЩИ ВОЗМУЩЕНИЯ ЕЕ ПАРАМЕТРОВ
щенной мультипликативной формы значительно превосходит количество степенных операций для мультипликативной формы Уолша и булевой мультипликативной формы. Понятно, что матрицами степенных операций для обобщенной мультипликативной формы могут быть все Мв(к) булевы матрицы и все Л^(к)
матрицы Уолша, а также все обращаемые матрицы, получаемые заменой произвольного числа единиц в матрицах Уолша на ноль. Это определяет широкие возможности минимизации в классе обобщенных мультипликативных форм.
ПЕРЕЧЕНЬ ССЫЛОК
1. Кухарев Г.А., Шмерко В.П., Янушкевич С.Н. Новые возможности дискретного преобразования Фурье для аналитического описания бинарных и многозначных данных // Распознавание, классификация, прогноз. Математические методы и их применение / ВЦ АН СССР. -М: Наука, 1991. - Вып. 3. - С. 112-147.
2. Малюгин В.Д. Параллельные логические вычисления посредством арифметических полиномов. - М.: Наука, 1997.
3. Выхованец B.C., Малюгин В. Д. Кратные логические вычисления // Автоматика и телемеханика. - 1998. - № 6. -С. 163-171.
4. Антоненко В.М., Иванов A.A., Шмерко В.П. Линейные арифметические формы k-значных логик и их реализация на систолических массивах // Автоматика и телемеханика. - 1995. - № 4. - С. 139-155.
5. Малюгин В.Д. Реализация кортежей булевых функций посредством линейных арифметических полиномов // Автоматика и телемеханика. - 1984. - № 2. - С. 114-122.
Надшшла 29.03.99
УДК 519.21
ПРИВЕДЕНИЕ РАСПРЕДЕЛЕНИЯ НЕОДНОРОДНОЙ МАРКОВСКОЙ СИСТЕМЫ К ЗАДАННЫМ ЗНАЧЕНИЯМ ПРИ ПОМОЩИ ВОЗМУЩЕНИЯ
ЕЕ ПАРАМЕТРОВ
С. Н. Герасин
Сформулированы и доказаны условия, при которых неоднородная марковская система может быть приведена к заранее заданному распределению за сколь угодно малое время. Отдельно рассмотрен случай, когда вероятности состояний могут быть приведены в малую окрестность фиксированного распределения. Приведены иллюстративные примеры.1
Сформульоват та доведет умови, при яких неоднор1дна мартвська система може бути приведена до розпод1лу, який був заданий рангше за скгль завгодно малий промгжок часу. Окремо розглядаеться ситуащя, коли ймов1рност1 статв мають бути приведен у малий отл фжсованого розпод1лу. Наведем 1люстративш приклади.
Forms are given and the conditions are approved under which non-homogeneous Markov system may be reduced to the earlier given distribution during any short time. A separate case is considered, when state probabilities may be reduced to a small vicinity of the fixed distribution. The illustrated examples are given.
ВВЕДЕНИЕ
Целью данной работы является получение условий, при которых неоднородная марковская система, описываемая системой уравнений Колмогорова, будет иметь в точке ?0 заранее заданное предельное распределение. Найдем условия сходимости вероятностей состояний
неоднородного марковского процесса с конечным числом состояний и непрерывным временем к предельным вероятностям.
ОСНОВНЫЕ РЕЗУЛЬТАТЫ
Пусть поведение неоднородной марковской системы может быть описано системой Колмогорова вида
Р'(Я) = Р(5)Л(Я) , (1)
где Р ( я ) = (Р1 ( я ), Р2( я ),..., Р"( я )) - вектор вероятностей состояний процесса, а Л(я) - матрица интен-сивностей перехода из состояния в состояние. Матрица
Л(я) имеет ранг " - 1 , а ее элементы удовлетворяют
"
следующим свойствам А,. > 0 , X Ау = 0 [1].
, = 1
Рассматриваемая ниже теорема тесно связана со следующим предположением об инфинитезимальной матрице Л( я ) исследуемого процесса: Л( я ) непрерывна в некоторой левой полуокрестности О точки tо и
существует такой ее столбец , что все его элементы удовлетворяют условию
1.Даная публикация поддержана грантом Международного Научного Фонда № YSU 081014
