Современные информационные технологии/1. Компьютерная инженерия

к.т.н. Лукашенко А.Г.

Черкасский государственный технологический университет, Украина

 

МЕТОД ОПРЕДЕЛЕНИЯ ИЗБЫТОЧНОСТИ КОРРЕКТИРУЮЩИХ КОНСТАНТ ПРИ ВОСПРОИЗВЕДЕНИИ ПРЕЦИЗИОННЫХ ЗНАЧЕНИЙ МНОГОФУНКЦИОНАЛЬНЫХ ТРАНСЦЕНДЕНТНЫХ ФУНКЦИЙ  

 

Актуальность темы.

Задача упростить и ускорить процесс использования трудоемких вычислений стало причиной появления и развития разных специализированных сопроцессоров. Они выполняют специфические операции обработки: математические; графические; преобразования кодов и  т.п., со скоростью, в 100 раз больше, чем современные микропроцессоры [1, 2].

Сопроцессоры широко используются для воспроизведения элементарных функций, например, при разработке специализированных вычислителей для гироскопов бывает необходимость вычислять несколько прецизионных функций от значений одного аргумента, при этом должны обеспечиваться высокие требования по быстродействию, надежности, габаритам и энергопотреблению. Табличные вычислители имеют очень большой объем памяти. На их основе созданы компьютерно-интегрированные системы с высокопроизводительными компонентами, которым  посвящено много работ А.І. Борзенко, А.В. Борискова, І.А. Дичка, В.И. Корнейчука, К.Г. Самофалова, В.П. Тарасенка, С.А. Полетаева и других. Однако недостаточно описана возможность определения информационной избыточности в данных ПЗУ при воспроизведении значений функций. Поэтому разработка алгоритма формализованного кортежного логико-оборотного метода, для специализированного многофункционального сопроцессора позволяющего выявить и сократить информационную избыточность в данных ПЗУ является задачею актуальной.

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

Для достижения данной цели необходимо решить следующие задачи:

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

2.                Рассчитать корректирующие константы, как разницу между входными и выходными кодами;

3.                Построить гистограмму необходимого количества значений корректирующих констант.

Решение задачи. 

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

 

                            (1)  

 

где хÎ (а,…,b),  методическая погрешность δ=2 –(n+1)

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

Сформированные rx разрядные кортежи входных кодов аргументов и соответствующие ry – разрядные кортежи выходных кодов заданных функций, при этом rх = ry и каждый соответствующий кортеж аргумента

x1а, x2а, соответствует коррелятивному кортежу соответствующих функций: 

                                   (2)

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

Кодовые последовательности каждой функции, которые изображены кортежами (2) записываются малоразрядными [1-2] полиномами следующим образом:

   

   

   

   

                  

 

       Кодовые последовательности аргумента х, которые изображены кортежами x, x,, представляются в виде малоразрядных полиномов:

 

 

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

        Значения Δi являются корректирующими константами для соответствующих кортежей и определяются малоразрядными полиномами:

 

где

 

 

  ) () – «кортежные константы» (весовые коэффициенты кортежных полиномов) функций и аргумента соответственно

          Итак, воспроизведение значения функции с учетом кортежей корректирующих констант Δi и кортежей аргумента хi осуществляется по формуле:

             (3) 

      Результат декомпозиционного анализа структуры описания функциональных зависимостей по кортежам и соответствующих им кортежных значений корректирующих констант для функций Y = sin (x); Y = tg (x); Y = th (x) при n = 8, приведен в табл.1, а на рис.1 построена  гистограмма  по количеству одинаковых значений корректирующих констант  ​​    

Рис. 1. Гистограмма количества N одинаковых значений Di корректирующих констант

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

2, 4, 6, 8, 10, 14 (0010,0100, 0110, 1010, 1100) соответственно.

        Это сокращает объем памяти почти в 9 раз.


 

Таблиця 1

Значения кодов кортежей корректирующих констант и соответствующих кортежей входных и выходных кодов
для функций Y = sin (x); Y = tg (x); Y = th (x) при n = 8

 

Кодовые значения аргумента х

в системах счисления:

Кодовые значения функций

в двоичной системе счисления

Кодовые значения корректирующих констант по кортежам в десятичной

системе счисления

двоичной

десят­ичной

Ys=sin(x)

Ytg=tg(x)

Yth=th(x)

Dsin(x)

Dtg(x)

Dth(x)

x1а

x2а

xа

Y1s

Y2s

Y1tg

Y2tg

Y1th

Y2th

D1s

D2s

D1tg

D2tg

D1th

D2th

1

.0011 0010

0.2

.0011 0010

.0010 0010

.0011 0010

0

0

1

0

0

0

2

.0011 0100

0.21

.0011 0100

.0011 0100

.0011 0110

0

0

0

0

0

2

3

.0011 1000

0.22

.0011 0110

.0011 0110

.0011 1000

0

14

0

6

0

0

4

.0011 1010

0.23

.0011 1010

.0011 1010

.0011 1010

0

0

0

2

0

0

5

.0011 1010

0.24

.0011 1110

.0011 1100

.0011 1110

0

4

0

6

0

4

6

.0100 0010

0.25

.0011 1100

.0011 1110

.0100 0000

7

14

7

14

0

0

7

.0100 0010

0.26

.0100 0000

.0100 0000

.0100 0100

0

2

0

2

0

6

8

.0100 0100

0.27

.0100 0100

.0100 0010

.0100 0110

0

0

0

6

0

2

9

.0100 0110

0.28

.0100 0110

.0100 0100

.0100 0100

0

0

0

2

0

2

10

.0100 1010

0.29

.0100 1000

.0100 0000

.0100 1100

0

2

0

10

0

6

11

.0100 1100

0.30

.0100 1010

.0100 1100

.0100 1100

0

6

0

0

0

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Примечание:- кортеж имеет четыре разряда, на которые от запятой разделяются соответствующие кодовые последовательности,

 для визуализации в табл. 1  они разделяются между собой пробелом; для упрощения анализа по определению корректирующих констант одного значения представлены в десятичной системе счисления;  – корректирующие константы старшего и младшего кортежей


Итак, алгоритм метода включает:

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

– формирование малоразрядных кортежей аргумента и соответствующих малоразрядных кортежей функций, при равном числе разрядов в кортеже;

– вычисление значений корректирующих констант по соответствующим кортежам осуществляется с помощью операции XOR алгебры Жегалкина;

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

 Выводы

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

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

Література

1.                Пат. на винахід 111459 Україна, МПК (2016.01) G 06F 5/00, G 06F 7/00, G 06F 9/00, H 03K 19/00. Багатофункціональній таблично-логичній співпроцесор / В. А. Лукашенко, А. Г. Лукашенко, І. А. Зубко, Д. А. Лукашенко, В. М. Лукашенко; заявник та власник В. М. Лукашенко. - № a 2015 10690; заявл. 28.09.2015.; опубл. 25.12.2015, Бюл. № 24.

2.                Лукашенко А. Г. Кортежний таблично-логічний метод реалізації цифрового багатофункціонального обчислювача / А. Г. Лукашенко // Вісник Черкаського державного технологічного університету. – 2014. № 3.  C. 102–107.