CC BY
33
КОМПЬЮТЕРНЫЕ^
УДК 519.711.3:519.68
О СОГЛАСОВАННОСТИ ОТНОШЕНИЙ В
ИНФОРМАЦИОННЫХ СИСТЕМАХ
ЛУГАНСКИЙА.М., МАШТАЛИР В.П., ПУТЯТИНА А.Е., ШЛЯХОВ В.В.___________
Для моделирования информационных систем формализуются свойства отношений эквивалентности, индуцируемых произвольными n—арными отношениями. Вводятся и изучаются матрицы согласованности отношений. Обсуждаются особенности применения результатов в мультиалгебраических системах.
1. Введение
Отношения эквивалентности являются одним из основных и предпочтительных типов связи между объектами и их множествами в информационных системах интерактивного и коммуникативного сервиса. И концептуально, и с практической точки зрения, в явном виде или опосредованно они представляют собой основу для решения классификационных задач, извлечения ad exemplum инфор -мации и знаний из наборов неструктурированных сведений. В условиях многозначности определенный интерес представляют «естественные» отношения эквивалентности, индуцируемые произвольными отношениями между множествами объектов или семействами гетерогенных признаков. Другими словами, при анализе данных различной природы поиск подобных отношений эквивалентности, раскрывающих внутренние временные, причинноследственные, морфологические, семантические и иные связи, создает предпосылки для синтеза адекватных математических моделей, а следовательно, и для выявления конструктивных подходов к решению прикладных задач. Цель работы — анализ свойств отношений эквивалентности, индуцируемых произвольными n-арными отношениями.
2. Состояние методов моделирования информационных систем на основе отношений и задача исследования
Начиная с пионерской работы [ 1], моделированию информационных систем на основе «аппроксимирующих множеств» (rough sets, далее по тексту — RS) уделяется весьма пристальное внимание [см., например, 2—10]. В первую очередь, эта популярность объясняется тем, что в отличие от статистических и фаззи-подходов, в которых неопределенность и недостаточность информации в той или иной степени связана с некоторыми привлекаемы-
ми извне вероятностными характеристиками, RS-методы базируются только на учете «внутренних» свойств анализируемых данных [2—5]. В качестве основных свойств используются «неразличимость» данных, определяемая отношениями эквивалентности [6—8], и «сходство», задаваемое толерантностями [9,10]. К настоящему времени в RS-моделировании достаточно полно исследованы методы использования аппроксимаций сверху и снизу, граничных областей [2,5,8], значительные успехи достигнуты при решении автоматического построения минимальных, достаточных и исчерпывающих решающих правил [4,7]. При моделировании информационных систем обычно предполагается, что отклик системы определяется на декартовой степени множества возможно разнородных атрибутов. Однако гетерогенные исходные данные, с одной стороны, представляя собой более общий случай с позиций теоретических исследований, а с другой — описывая целый ряд важных приложений, практически не изучены.
Решаемая в работе задача — изучение согласованности индуцированных произвольными отношениями эквивалентностей, что обеспечит верификацию позиционирования моделируемых систем и применяемого математического инструментария в условиях различного рода неопределенности.
3. Разбиения, индуцируемые n-арными отношениями
Предположим, что семейства значений входных данных заданы в номинальных, дихотомических, порядковых, интервальных, пропорциональных шкалах множествами произвольной природы Ар..An . Ясно, что любой интерпретант информационной системы с той или иной точностью можно представить n -арным отношением E(xj,... ,xn), определенным на декартовом произведении А\ х А2 х... х An . Если на множестве аргументов зафиксировать некоторую позицию k и рассмотреть пару элементов xk и xk , тогда при
E(xp xk,..., xn) = E(xb ..., xk,..., xn), (1)
где под знаком « = » понимается выполнение равенства для произвольных наборов
x1,.,xk _1,xk+1,.,xn є А1 X ... X Ak_1 X Ak+1 X . X An,
эти элементы неразличимы с использованием введенного отношения, т.е. они находятся в отношении эквивалентности EE, задаваемом на декартовом квадрате Ak х Ak условием
(xk,xk>є eE «■ E(x1,.,xk,.,xn) =E(x1,.,xk,.,xn)-
Выполнение свойств рефлексивности, симметричности и транзитивности EE доказывается непосредственной проверкой. Итак, произвольное n -арное отношение E(xp...,xn) на произвольных наборах носителей A1 х A2 х... х An в общем случае индуцирует n отношений эквивалентности EE на Ak х Ak , где ke{1,2,...,n} .
118
РИ, 2004, № 4
4. Внутренняя согласованность отношения
Допустим, для некоторых k,m имеет
место равенство Ak = Am, тогда в силу совпадения областей определения отношений EЕ и Em можно говорить об их равенстве, если
E(xi,xk, ..., xn) = E(xi, ..., x'k,..., xn) »
» E(x1xm-1, xk, xm+1xk-1, xk, xk+1xn ) =
= E(x1 ,xm-1 > xk > xm+1 >.>xk-1>x" xk+1 >.>xn )- (2)
Действительно, если (xk,xk) є eE , то выполняется
тождество (1), но тогда имеет место второе тождество в (2), что означает принадлежность одному классу разбиения, порождаемого эквивалентностью Em элементов xk и x k или, что равносильно, (x k,x k)є Em • Очевидно, что справедливо и обратное утверждение: если (xm,xm> є Em , то
(vm >є eE , т.е. e e=e m
Таким образом, будем говорить, что произвольное n -арное отношение E(x1, ...,xn) обладает свойством внутренней (к,ш)-согласованности, если и только если Ak = Am и EE = Em или, что равносильно, выполняется условие (2) при Ak = Am • Совершенно аналогично можно говорить и об эквивалентности индексов k и l (об отношении эквивалентности Le , заданном на
{1,2,...,n} х {1,2,...,n} и индуцированном отношением E(x1,... ,xn)), если
(k,m) є Le ^ Ak = Al, eE = Em ,
т.е. отношение E внутренне (к,ш)-согласовано. Отметим, что выполнение свойств рефлексивности, симметричности и транзитивности для отношения Le непосредственно вытекает из эквивалентности E •
Сделаем несколько замечаний. Прежде всего, отношение Le удобно представлять (nxn) матрицей 1(E) , состоящей из 0 и 1, которую будем называть матрицей внутренней согласованности. Далее, ясно, что матрица 1(E) — симметрическая с 1 на главной диагонали. При этом в граничных ситуациях, когда
1(E)
' 1 0 ... 0^
0 10 ;
; 0 0 ,
I0 ... 0 1J
внутренняя согласованность между любыми индексами отсутствует, а когда
1(E)
П 1 ...
1 1 ...
: 1
1 ... 1
Т|
1,
1
это означает, что A1 = . = An = A и eE = . = EE = = EE . Тем самым, отношение E задано на An и порождает на A2 одну эквивалентность Ee , классы которой для нее неразличимы.
Если 1(E) — произвольная матрица внутренней согласованности, то выделяя состоящую только из единиц (гхг) подматрицу вычеркиванием одних и
тех же строк, получаем (kp..., kr) -согласованность отношения E в том смысле, что Ak1 =... = Akr и EE1 = ... = EEr. Наконец, путем перенумерации переменных исходного отношения E матрицу внутренней согласованности 1(E) всегда можно привести к блочному виду
( 1 1
0 0
Г1
1(E)=
1
•• 0 0 1
1 ••• 1 I
0 0 0 ............. fГр
где Г1+Г2 + . + Гр = n. В этом случае
A1 = a2 = ••• = Ar1 = 61;
_ Ar1+1 = Ar1+2 = - = Ar1+r2 = B2;
An - rp+1 = An - rp+2 = . = An = Bp
и
E E = E E = ... = eE1 = h E;
eE - EE „ = = EE
< r1+1 e r1+2 ••• E r1+r2
hE;
E E „ M = E E
'n-rp+1
n-rp+2'
e E = h E,
т.е. отношение E(x1,... ,xn) фактически определено на декартовом произведении bJ1 х в22 х . х Bpp и порождает p различных эквивалентностей НЕ на декартовых квадратах В^ х В^, i = 1, p .
5. Согласованность произвольных отношений
Рассмотрим теперь два отношения E(xi, ... ,xn) и Е(УЪ •••,Уп) , заданных соответственно на декартовых произведениях Ai х A2 х...х An и
A1 х A2 х... х Am произвольных множеств Ai, i = 1, n и Aj, j = 1, m . Допустим, для некоторых двух индексов i и j имеет место Ai = A j, тогда, как и ранее, можно говорить о совпадении эквивалентностей Ee = Ee . На языке отношений E(xi, ... ,xn) и
ІЗ(yi,... ,yn) это означает
РИ, 2004, № 4
119
E(xb ., x”, ., xn) = E(xj, ., x” , ., xn) »
»13(yi, .,yj_i,xi,yj+i,.,ym)=
=Е(yi,.,yj-1,xi' ,yj+i,.,ym)
для каких-либо xk и xk . Тем самым, можно говорить о (i, j) -согласованности отношений E и 13, если A- = A j и EE = Е33 . Совершенно аналогия-но предыдущим рассуждениям вводится (nxm) матрица согласованности 1(Е, ІЗ), в которой на (ixj) -м стоит единица тогда и только тогда, когда отношения Е и Е (i, j) -согласованы. Ясно, что, продолжая m - n (или n - m) раз область определения отношений пустыми множествами, можно ограничиться анализом лишь квадратных матриц.
Более того, если задан набор Ер...,Eq отношений, каждое из которых имеет свою арность, то, выбирая из них максимальное значение N , можно построить (N х N) матриц согласованности 1(Еа ,Ер) (а, рє{1,...,q}) иq матриц внутренней согласованности ?(Еа). Свойства согласованности семейств отношений окончательно могут быть легко сформулированы в виде свойств полученных матриц.
6. Анализ результатов и перспектив исследований
Рассмотрим сначала ряд примеров согласованных отношений. На множестве натуральных чисел N зафиксируем некоторое число p и введем тернарное отношение Е(пі,П2,пз), прП2,пэ є N в виде
(ni, n2, пэ) є Е » modp(ni+n2) = modp(n3). (3)
Нетрудно заметить: если зафиксировать k = 1 и рассмотреть эквивалентности
(ni, ni) є Ej3 » Е(пІ ,П2,щ) =Е( ni , n2, n), то получим разбиение множества натуральных чисел на классы вычетов по модулю p. Если ni = pq1 + r1 и ni = pq1 + r1, то для произвольного натурального числа n2 = pq2 + Г2 имеем
modp(ni+n2) = modp(ri+r2),
modp(ni +n2) = modp(ri+r2),
откуда следует Е(пІ , n2, пэ) =Е( ni , n2, n3). Справедливо также и обратное утверждение. Действительно, предположим противное: пусть
Е(пІ,П2,щ) =Е( ni , n2, ni)
и ni = pqi+ri, ni = pqi+ri, ri * ri.
Тогда при n2 = 0 и пэ = ri получаем
modp(ni+n2) = modp(ni), т.е. (ni, 0, r1) є Е . С другой стороны, modp(ni+n2) = modp(ni), так как
ri ф ri и ri, ri < p или (ni, 0, ri) g Е, что противоречит исходной посылке. Нетрудно заметить, что ЕЕ и ЕЕ также продуцируют разбиения множества N,
совпадающие с EЕ, т.е. матрица внутренней согласованности имеет вид
1(Е)
Д і С 1 1 1
Отметим, что на множестве {0,1,...,p -1} отношение Е индуцирует групповую операцию
ri ® r2 = Гэ »(ni, n2, Пэ) є Е ,
где ri, Г2, гэ e{0,1,.,p-1}, ni = pqi + ri, П2 = pq2 + +Г2 , пэ = pqi + гэ . Таким образом, данное отношение индуцирует алгебраическую структуру, представляющую собой циклическую абелеву группу с носителем в виде классов вычетов.
Если модифицировать (3) к виду
(Щ, П2, пэ) є Еі » modp1(ni+n2) = modp2(ni),
где pi ф p2 , то ЕЕ = EЕ ^ ЕЕ , а матрица внутренней согласованности представляется в виде
1(Еі)
(1 1 0^| 1 1 0 0 0 1
При этом Еі индуцирует бинарную (но не групповую) операцию из {0,1,., pi - 1}х{0,1,., pi -1} в {0,1,.,p2 -1} .
Наконец, если в (3) продолжить область определения аргументов отношений от N до множества целых чисел Z, то порождаемая структура (циклическая группа) сохраняется, однако классы эквивалентности «укрупняются» за счет отрицательных чисел. Рассмотрение аналитических примеров согласованности отношений мотивируется лишь простотой представления и достаточной наглядностью. На практике конструктивность подхода сохраняется при любом способе задания информационных систем.
В [11] исследовались мультиалгебраические системы, являющиеся некоторым расширением понятия фактор-алгебраических систем. Ключевым моментом при определении мультиалгебраических систем является введение отношения эквивалентности на множестве входных данных. Как представляется авторам, мультиалгебраические системы ни в коей мере не выступают в качестве какой-либо альтернативы RS-моделированию информационных систем, а лишь могут дополнять их средствами управления степенью детализации данных на основе оперирования классами эквивалентности, т.е. грануляцией данных.
120
РИ, 2004, № 4
Научная новизна полученных результатов состоит в том, что найденные внутренние отношения эквивалентности позволяют учитывать требуемую степень и детализации, и огрубления данных (либо инструментальную точность их регистрации, либо обобщение или конкретизацию их информационных свойств). В итоге это обеспечивает рациональный выбор и конструктивные пути применения математических методов в зависимости от доступ -ных или достаточных для анализа свойств входных данных. В прикладном аспекте манипулирование носителями входной информации, в том числе и классами их эквивалентности направлено на рациональный выбор форм их представления с точки зрения поиска разумного компромисса между характеристиками быстродействия, точности, надежности программных средств и их сложности. Таким образом, изучение свойств согласованности произвольных отношений является в некотором смысле обоснованием, точнее говоря, позиционированием использования входной информации при моделировании элементов информационных систем мультиалгебраическими системами, что ранее детально не рассматривалось. В качестве направления развития полученных результатов следует указать целесообразность проведения исследований конкретных математических структур.
Литература: 1. Pawlak Z Rough sets // International Journal of Information and Computer Science. Vol. 11, No. 5. 1982. P.341-356. l.YinX, ZhouZ, MeyerF, LiN, Chen S. An approach for data filtering based on rough set theory // Lecture Notes in Computer Science. Vol. 2118. — Berlin: Springer-Verlag. 2001. P. 367-374. 3. Yao Y.Y., Wang T. On rough relations: an alternative formulation / / Lecture Notes on Artificial Intelligence. Vol. 1711. Berlin-Heidelberg: Springer-Verlag. 1999. P.82-90. 4. Yao Y Y, Wong S.K.M., Lin T.Y. A review of rough set models // Rough Sets and Data Mining: Analysis of Imprecise Data /T.Y. Lin, N. Cercone (eds.). Boston: Kluwer Academic Publisher. 1997. P. 47-75. 5. Gattaneo G. Abstract approximation spaces // Rough Sets in Knowledge Discovery / L. Polkowski, A. Skowron (eds.). Heidelberg:
Physica-Verlag. 1998. P.59-98. 6. Inuiguchi M., Tanino T. On rough sets under generalized equivalence relations // Bulletin of International Rough Set Society. Vol. 5, No. 12. 2001. P.167-171. 7. Slowicski R., Vanderpooten D. A generalized definition of rough approximations based on similarity // IEEE Transactions on Data and Knowledge Engineering. Vol. 12, No. 2. 2000. P. 331-336. 8. Konikowska B. A logic for reasoning about similarity // Rough Set Analysis / E. Orlowska (ed.). Heidelberg—New York: Physica-Verlag. 1998. P.462-491. 9. Skowron A., Stepaniuk J. Tolerance approximation spaces // Fundamenta Informaticae. Vol. 27, No. 2-3. 1996. P. 245-253. 10. Polkowski L, Skowron A, lytkow J. Tolerance based rough sets // Soft Computing: Rough Sets, Fuzzy Logic, Neural Networks, Uncertainty Management, Knowledge Discovery / T.Y. Lin, A.M. Wildberger (eds.). San Diego: Simulation Council, Inc. — 1995. P. 55-58. 11. МашталирВ.П., ШляховВ.В. Свойства мультиалгебраических систем в задачах компаративного распознавания // Кибернетика и системный анализ. 2003. №6. С. 12-32.
Поступила в редколлегию 20.10.2004
Рецензент: д-р техн. наук, проф. Бодянский Е.В.
Луганский Александр Михайлович, начальник научно - исследовательского информационно -компьютер -ного центра Национального университета внутренних дел. Научные интересы: разработка информационноуправляющих систем. Адрес: Украина, 61080, Харьков, пр. 50-летия СССР, 27, тел. 503 — 143, e-mail: alex@adm.univd.kharkov.ua.
Машталир Владимир Петрович, д-р техн. наук, ст. научн. сотр., профессор каф. информатики ХНУРЭ. Научные интересы: распознавание образов. Адрес: Украина, 61166, Харьков, пр. Ленина, 14, тел. 7021— 419, e-mail: mashtalir@kture.kharkov.ua.
Путятина Александра Евгеньевна, студентка ХНУРЭ. Научные интересы: проектирование и анализ информационных систем. Адрес: Украина, 61166, Харьков, пр. Ленина, 14, тел. 70-21-419.
Шляхов Владислав Викторович, канд. техн. наук, доцент, ведущий научный сотрудник кафедры информатики ХНУРЭ. Научные интересы: алгебраические структуры, искусственный интеллект. Адрес: Украина, 61166, Харьков, пр. Ленина, 14, тел. 70-21-419.
УДК 004.4:621.311
ИССЛЕДОВАНИЕ ВСТРАИВАНИЯ ЦВЗ В ФОРМАТ JPEG
ДУДАРЬ З.В, ЗБИТНЕВА М.В._______________
Анализируется робастность и пропускная способность формата JPEG. Рассматриваются алгоритмы встраивания в коэффициенты дискретного косинусоидного преобразования. Предлагается метод встраивания в формат JPEG цифрового водяного знака, ориентированного на идентификацию факта проведения атаки.
Состояние проблемы и анализ алгоритмов сжатия
Одна из актуальных проблем сегодняшнего дня — защита прав интеллектуальной собственности, представленной в цифровом виде [1], которая является одним из аспектов защиты информации в целом. Причина популярности стеганографии — ограниче-
РИ, 2004, № 4
ние на использование криптосредств в ряде стран мира [2].
Проблема защиты интеллектуальной собственности существует уже давно, но применительно к цифровым контейнерам информации она появилась сравнительно недавно [1]. Еще 5 лет назад авторские права на электронную информацию (аудио, видео, статические изображения, электронные книги и т.д.) не соблюдались в связи с тем, что такие файлы изначально создавались как нелегальные копии цифровых аудиодисков или коллекций профессиональных фотографий. Сейчас студиям звукозаписи, фотостудиям и другим организациям, зарабатывающим на продаже такого рода информации, необходима возможность оградить свои произведения от нелегального копирования или незаконного присвоения авторских прав. Для этого используются цифровые водяные знаки (ЦВЗ) — скрытая информация, встраиваемая в контейнер и идентифицирующая автора. На данный момент эта
121
