litceysel.ru
добавить свой файл
1
ЛОГИЧЕСКИЕ ДИФФЕРЕНЦИАЛЬНЫЕ ОПЕРАТОРЫ И УРАВНЕНИЯ НАД КОНЕЧНЫМИ ПОЛЯМИ И ПАРАЛЛЕЛЬНЫЕ ВЫЧИСЛЕНИЯ



Белявский Г.И., д.т.н., профессор

Южный Федеральный университет

email: bgi@aaanet.ru

Чернов А.В., к.т.н., доцент

Ростовский государственный строительный университет

email: avche@yandex.ru


1. ВВЕДЕНИЕ

Анализ тестопригодности и синтез интеллектуальных самотестируемых схем может быть основан на аппарате логического дифференциального исчисления [1, 2]. Важным разделом теории логического дифференциального исчисления являются методы описания цифровых систем в виде дифференциальных операторов, логических дифференциальных уравнений [3, 4], и способы их решений. Такой подход к описанию цифровых систем дает возможность анализа схем в динамике их функционирования, возможность описывать системы как дифференциальные, и как следствие, анализировать свойства цифровых динамических систем с целью оптимизации их характеристик. Становится возможным применение методов событийно-управляемого анализа динамических цифровых систем. В процессе синтеза цифровых систем методы логического дифференциального исчисления позволяют решать задачи исследования чувствительности разрабатываемых систем и синтезировать системы, обладающие возможностями самодиагностики.

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


В данной работе рассматриваются методы логического дифференциального исчисления для логических функций над конечными полями вида f: Fpn®Fpm, , что существенно расширяет круг исследуемых задач. При решении задач динамического анализа цифровых структур существенное влияние на применяемые методы оказывает размерность задач. В связи с этим в работе ставилась также цель применимости разработанных методов к возможности их реализации методами параллельных вычислений.

2. ЛОГИЧЕСКИЕ ДИФФЕРЕНЦИАЛЬНЫЕ ОПЕРАТОРЫ НАД КОНЕЧНЫМИ ПОЛЯМИ

Пусть – конечное поле.

Определение 1. [5] Порядком поля F называется число элементов F, характеристикой поля F называется наименьшее целое положительное число n, такое, что ne=0, e – единичный элемент поля.

Теорема 1. [5] Характеристикой конечного поля является простое число p, а порядком поля – степень простого числа: q=pn. При этом всякое конечное поле характеристики p содержит простое подполе порядка p, которое изоморфно полю Галуа Fp.

Всякое конечное поле можно рассматривать как векторное пространство над простым подполем, причем размерность этого пространства равна n. Этот факт позволяет определить структуру любого конечного поля.

Рассмотрим логические функции вида f: Fpn®Fpm , p – простое число. В отличие от работ [1,2] определим понятия о частных производных и дифференциалах логических функций над конечными полями другим способом. Известно, что логическая функция над конечным полем линейно представима в виде


.

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

Определение 2. Частной производной логической функции f(x1,x2,…,xi-1,xi,xi+1,…,xn) над конечным полем Fpn по переменной xi будем называть

(1)

где Fpn.

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

Утверждение 1.

1.10

1.20

1.30


1.40

1.50

1.60

1.70

1.80

1.90

Определение 3. Дифференциалом df логической функции f:FpnFpm, Fpn над конечным полем будем называть

где (2)

Из этого определения доказываются следующие свойства дифференциалов логических функций над конечными полями.


Утверждение 2. Если f и g такие, что f:FpnFpm, g:FpnFpm, тогда для Fpn, k – const выполняются следующие свойства.

2.10 =const.

2.20 .


2.30 .

2.40 .

Пункты 2.10 – 2.30 утверждения 2 являются очевидными.

Доказательство 2.40

Используем свойство 1.40 утверждения 1, из которого следует, что



.

Определение 4. Дифференциалом порядка m (который будем обозначать как dmf1,…,j,  Fpn) логической функции f:FpnFpm над конечным полем для 1,…,m,  Fpn будем называть

.

Таким образом,

. (3)

Если , то (3) можно записать как

,

где – частная производная от .

Пример

Если булева функция , то




– дифференциал порядка . Далее, на основании утверждения 1 пункта 1.5 и (2) получим:

.

Утверждение 3. Если *=(1,…,n) – элемент поля Fpn. Тогда .

Доказательство

Обозначим . Тогда

.

Из утверждения 1 пункта 1.70 следует, что для всех (1,…,i-1, i+1,…,n)Fpn

.

Определение 5. Полный дифференциал над конечным полем для логической функции f:FpnFpm определяется как



(1,…,n) Fpn.

Непосредственно из определения 5 следуют свойства, которые запишем в виде утверждения 4.

Утверждение 4. Если f и g такие, что f:FpnFpm, g:FpnFpm, тогда для Fpn, k – const, выполняются следующие свойства.


4.10=0f =const.

4.20 (kf )=kf.

4.30 (f+g)=f +g.

4.40 .

4.50mf(-1)m+1f (1,…,i-1,xi,…,xn).

Пункты 4.10, 4.20, 4.30 очевидны, докажем оставшиеся два.

Доказательство 4.4

Из определения 4 и свойства 1.4 утверждения 1 следует, что





.

Доказательство 4.5

Если n=1, то 1f=(-1)2; это дает нам возможность предположить, что для n=k, kf=(-1)k+1. Тогда









.

3. ОБ ОДНОМ РЕШЕНИИ ЛОГИЧЕСКИХ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ НАД КОНЕЧНЫМИ ПОЛЯМИ


В работе [1] доказывается теорема 2 [1] Логическое дифференциальное уравнение f/xi=g для i 1,…,m имеет решение f=gxi+h тогда и только тогда, когда g, h не зависят от xi, f, g, h – логические функции.

Рассмотрим дальнейшее развитие этого подхода. Обозначим , то есть набор переменных размерности (n-1), в котором нет переменной xi, и , то есть набор переменных размерности n, в котором переменная xi заменяется на переменную i.

Утверждение 5

Логическое дифференциальное уравнение

,, (4)

имеет решение тогда и только тогда, когда

, (5)

Решением является

, (6)

где

, (7)

где – логическая функция размерности ,

f:Fpn®Fpm, g:Fpn®Fpm.


Доказательство 5

Вычислим первую частную производную над конечным полем . Так как, для i=2..n, данное соотношение является верным только при условии, что соответствует (5).

Вычислим вторую частную производную над конечным полем

, так как , для i=3..n, данное соотношение является верным только при условии , что соответствует (5). Вычисляя производные до порядка, получаем формулу (4).

Докажем теперь, что функция f имеет вид (6). По определению (2) соотношение (4) при подстановке (n-1) имеет вид , причем по условию (5) , а должно иметь вид (7), для =1, при произвольной логической функции (x2,…,xn). Далее для производной порядка (n-2) получаем , причем и, таким образом получаем, что должно иметь вид (7). Вычисляя производные раз получаем формулу (6).


4. ЗАКЛЮЧЕНИЕ

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

Литература


  1. Posthoff C., Steinbach B. Logic Functions and Equations. Binary Models for Computer Science. – Berlin: Springer, 2003.

  2. Steinbach B., Posthoff C. Logic Functions and Equations. Examples and Exercises. – Berlin: Springer. – 2009.

  3. Закревский А.Д. Логические уравнения. – М.: Эдиториал УРСС, 2003.

  4. Brown F.M. Boolean Reasoning. The Logic of Boolean Equations. – Dover Publications, 2003.

  5. Лидл Р., Нидерайтер Г. Конечные поля. – М.: «Мир», 1988.

  6. Чернов А.В. Развитие аппарата логического дифференциального исчисления в применении к задачам проектирования и диагностики телекоммуникационных систем// Научно-технические ведомости СпБГПУ. – 2008. – №2. – С.118-126.