Научная статья на тему 'ИСПОЛЬЗОВАНИЕ СТРУКТУРЫ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ДЛЯ СИНТЕЗА МОДЕЛЕЙ ПОЗИЦИОННЫХ ИЗБЫТОЧНЫХ СИСТЕМ СЧИСЛЕНИЯ'

ИСПОЛЬЗОВАНИЕ СТРУКТУРЫ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ДЛЯ СИНТЕЗА МОДЕЛЕЙ ПОЗИЦИОННЫХ ИЗБЫТОЧНЫХ СИСТЕМ СЧИСЛЕНИЯ Текст научной статьи по специальности «Компьютерные и информационные науки»

CC BY
46
15
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
БЫСТРОДЕЙСТВИЕ / НАДЕЖНОСТЬ / ПОЗИЦИОННЫЕ СИСТЕМЫ СЧИСЛЕНИЯ / МОДУЛИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ / ИНФОРМАЦИОННАЯ ИЗБЫТОЧНОСТЬ / ШВИДКОДіЯ / НАДіЙНіСТЬ / ПОЗИЦіЙНі СИСТЕМИ ЧИСЛЕННЯ / МОДУЛі ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ / іНФОРМАЦіЙНА НАДЛИШКОВіСТЬ / PERFORMANCE / RELIABILITY / POSITIONAL NUMBER SYSTEM / SOFTWARE MODULES / INFORMATION REDUNDANCY

Аннотация научной статьи по компьютерным и информационным наукам, автор научной работы — Куницкая С. Ю., Бабенко В. Г., Пивень О. Б.

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

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по компьютерным и информационным наукам , автор научной работы — Куницкая С. Ю., Бабенко В. Г., Пивень О. Б.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Use of the software structure for model synthesis of positional redundant number systems

The article deals with two areas for further research. The first is to increase the speed of arithmetic units by introducing redundancy, and the second - to improve the reliability of computer technology through the introduction of redundancy by reducing their complexity. The aim is to introduce redundancy based on a study of binary-ternary and binary-senary positional number systems. As a result of the effect of the expression of information redundancy in the hardware is made calculation of weight coefficients of positional number systems, and deduced a mathematical model of the error checking device. The rules of the operation of addition are formulated, which made it possible to analyze the binary-ternary and binary-senary positional numeral systems for improving the speed of operation of the adder and increase hardware redundancy. According to the expression it is estimated amount of the proposed model variants of positional number systems - the forms of information required for further computational experiment. Software modules necessary for the models of positional number systems are defined. A number of requirements to the input information redundancy are defined on their basis. Therefore, introduced information redundancy can reduce the complexity of implementing an adder, while ensuring the required performance.

Текст научной работы на тему «ИСПОЛЬЗОВАНИЕ СТРУКТУРЫ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ДЛЯ СИНТЕЗА МОДЕЛЕЙ ПОЗИЦИОННЫХ ИЗБЫТОЧНЫХ СИСТЕМ СЧИСЛЕНИЯ»

ISSN 222Б-3780

ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ И СИСТЕМЫ УПРАВЛЕНИЯ

УДК 681.3.042 Б01: 10.15587/2312-8372.2015.51225

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

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

Ключевые слова: быстродействие, надежность, позиционные системы счисления, модули программного обеспечения, информационная избыточность.

Куницкая С. Ю., Бабенко В. Г., Пивень 0. Б.

1. Введение

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

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

2. Анализ литературных данных и постановка проблемы

Первые попытки согласовать избыточность с быстродействием были предприняты А. П. Стаховым и Е. И. Брю-ховичем [4]. Разработано главное научное направление, которое состоит во введении избыточности на этапе синтеза первичной системы счисления, при этом исключается реальное выражение контрольных компонент. Применение такой избыточности имеет менее негативные последствия и позволяет повышать эффективность автоматического контроля, а также способна осуществить контроль при построении естественно-надежных автоматов [5]. Значительный вклад в развитие арифметических основ функционирования высокоскоростных специализирован-

ных процессоров, использующих системы счисления на основе рекуррентных последовательностей внес В. А. Лу-жецкий [6].

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

3. Объект, цель и задачи исследования

Объектом исследования есть процесс повышения быстродействия арифметических устройств и надежности вычислительной техники.

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

Для целенаправленного проведения исследований рассмотрены два направления, которые необходимы для дальнейшего вычислительного эксперимента на основе модулей программного обеспечения.

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

Определим основные направления исследований [7]:

— повышение надежности арифметических устройств

вычислительной техники за счет уменьшения их сложности на основе введения избыточности (1)-(4);

— повышение быстродействия арифметических устройств на основе введения избыточности (5), (6).

Влияние информационной избыточности на избыточность аппаратных средств [8]:

Ka = Ka ■ ^, (1)

TECHNOLOGY AUDiT AND PRODUCTiON RESERVES — № 5/6(25], 2015, © Куницкая С. Ю., Бабенко В. Г,

Пивень □. Б.

с

ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ И СИСТЕМЫ УПРАВЛЕНИЯ

ISSN 222Б-3780

где Кп = п/k, значение k и п вычисляются соответственно с выражением Mk ~ 2п при представлении максимально допустимого числа М избыточным k -разрядным кодом с мощностью М.

Расчет весовых коэффициентов исследуемой двоично-троичной системы счисления проводится на основе выражения (2) является избыточной, следовательно, введенная информационная избыточность может быть использована для обнаружения ошибок:

Ъ = 1

Ъ = 2 Ь2 = 2

(2)

b2n = 3 ■ b2n-1' b3n+1 = b2n.

Математическая модель устройства контроля ошибок будет описана логическим выражением:

Наряду с двоично-троичной системой счисления исследована и двоично-шестиричная позиционная система счисления, которая дает возможность получить быстродействие работы сумматора на 15-20 % за счет исследования и увеличения аппаратной избыточности в 1,7-1,8 раза.

Полученные результаты исследования на основе определения (1) позволяют сделать вывод о том, что двоично-троичная и двоично-шестеричная позиционные системы счисления есть оптимальными. То есть введенная информационная избыточность позволяет уменьшить сложность реализации сумматора при обеспечении требуемого быстродействия [10].

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

Количество предполагаемых вариантов моделей позиционных систем счисления (форм представления информации) определяется выражением:

F = Fi и F> и F3 и... и Fk и... и Fm,

(3)

* = I

2k!

(2k - p)!

(6)

k

где Fk = F2 р+1 = х2 р+1 и х2 р; т = п/ 2; F — функция контроля ошибки в коде числа;Fk — функция контроля ошибки в k -ой двухразрядной группе кода числа; х^ — значение I -го разряда кода числа, что поступил.

Вероятность обнаружения ошибки определяется:

PR =

Кы

К

(4)

где Рв — вероятность обнаружения ошибки;Кк — количество комбинаций в коде; Квк — количество комбинаций обнаруживающих ошибку.

Для анализа повышения быстродействия арифметических устройств на основе введенной избыточности рассмотрим выражение (2), где появляется возможность сформулировать правила выполнения операции сложения в двоично-троичной системе счисления [9]:

Ъ2т + 0 = 0 + Ь2т = Ьт;

Ъ2т +1 + 0 = 0 + Ъ2т+1 = Ъ2т+1;

Ъ2т + Ъ2т = Ъ2т + Ъ2т+1;

b2m +1 + b2m +1 = b2m + b2(m+1)'

b2m +1 + b2m = b2(m+1).

(5)

Проведем исследование двоично-шестеричной позиционной системы счисления с весовыми коэффициентами разрядов, которые заданы последовательностью: 1, 2, 2, 6, 6, 18, 18, 54, 54, 162, 162, 486, ... по выражениям (1)-(4) и определим правила выполнения операции сложения [10]. Введенная информационная избыточность позволяет обнаруживать ошибки при нарушении ограничения на синтез позиционной системы счисления, а математическая модель устройства контроля ошибок будет описана логическим выражением (3).

где К — количество предполагаемых вариантов моделей позиционных систем счисления (форм представления информации); р — количество кодируемых цифр, рт1п — минимальное количество кодируемых цифр в модели позиционной системы счисления^ — количество разрядов модели.

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

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

— возможность выполнения арифметических операций любой степени сложности с точки зрения реализации;

— выполнение логических операций и их логическую взаимосвязь с традиционными логическими операциями булевой алгебры;

— высокую скорость выполнения арифметико-логических операций за счет уменьшения количества переносов между группами разрядов и низкой сложностью устройств;

— простоту синтеза кодовых комбинаций, а также прямое и обратное преобразования безизбыточного кода в избыточный;

ТЕХНОЛОГИЧЕСКИЙ АУДИТ И РЕЗЕРВЫ ПРОИЗВОДСТВА — № 5/6(25], 2015

ISSN 2226-3780 ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ И СИСТЕМЫ УПРАВЛЕНИЯ

— простоту алгоритмов обнаружения и коррекции ошибок при низкой сложности устройств их реализации, высокой скорости контроля и коррекции;

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

5. Выводы

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

Определены основные критерии повышения быстродействия работы сумматора и увеличения аппаратной избыточности.

В результате проведения вычислительного эксперимента на основе использования разработанного программного комплекса были получены модели позиционных избыточных систем счисления.

Литература

1. Stakhov, A. Introduction into Fibonacci Coding and Cryptography [Text] / A. Stakhov, V. Massingue, A. Sluchenkova. — Kharkiv: Osnova, 1999. — 234 p.

2. Стахов, А. П. Кодирование данных в информационно-регистрирующих системах [Текст] / А. П. Стахов, Б. Я. Лихтин-дер, Ю. П. Орлович, Ю. А. Старожил. — Киев: Техника, 1985. —127 с.

3. Стахов, А. П. Алгоритмическая теория измерения [Текст] / А. П. Стахов. — М.: Знание, 1979. — 240 с.

4. Брюхович, Е. Н. Экономическая стратегия разработки вычислительных систем: место и роль счислений [Текст] / Е. Н. Брюхович // Управляющие системы и машины. — 1990. — № 2(106). — С. 3-18.

5. Стахов, А. П. Коды золотой пропорции [Текст] / А. П. Стахов. — М.: Радио и связь, 1984. — 152 с.

6. Лужецький, В. А. Арифметичш основи комп'ютерно! тех-шки [Текст]: поабник / В. А. Лужецький, Ю. Г. Лега. — Черкаси: ЧДТУ, 2008. — 219 с.

7. Рудницкий, В. Н. Методика оценки надежности функционирования цифрових устройств на основе структурно-блочных кодов [Текст] / В. Н. Рудницкий, Н. Н. Пантелеева // Вюник Черкаського державного технолопчного ушверситету. — 2005. — № 1. — С. 10-16.

8. Куницька, С. Ю. Повышение быстродействия дискретных устройств на основе введения информационной избыточности [Текст] / С. Ю. Куницька // Збiрник тез доповщей науково-техшчного семшару «Проблеми шформатизаци». — Ч.: ЧДТУ, 2011. — Вип. 1(6). — С. 36.

9. Рудницкий, В. Н. Об одной из проблем современной информатики [Текст] / В. Н. Рудницкий, Н. Ф. Григорьев // Материалы межвузовской НПК «Проблемы экономики и управления современности». Часть 2. «Управление». — Краснодар: Экоинвест, 1998. — С. 92-95.

10. Рудницький, В. М. Синтез активно-надлишково! двшково-шеслрково! системи числення [Текст]: зб. наук. пр. / В. М. Рудницький, С. Ю. Кучеренко, О. Б. Швень // Системи управ-лшня, навтацй та зв'язку. — К.: ДП «ЦНД1 НУ», 2009. — Вип. 4(12). — С. 175-178.

ВИКОРИСТАННЯ СТРУКТУРИ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ ДЛЯ СИНТЕЗУ МОДЕЛЕЙ ПОЗИЦ1ЙНИХ НАДЛИШКОВИХ СИСТЕМ ЧИСЛЕННЯ

В статт розглянут питання тдвищення швидкодй арифме-тичних пристрош та надшност обчислювально! техшки завдяки введенню надлишковост за рахунок зменшення !х складность Зроблено анал1з двшково-тршково! та двшково-шю^рково! позицшних систем числення. Визначено модул1 програмного забезпечення для подальшого проведення обчислювального експерименту, за якими отримано вимоги до шформацшно! надлишковость

Ключовi слова: швидкод1я, надшшсть, позицшш системи числення, модул1 програмного забезпечення, ¡нформацшна надлишковють.

Куницкая Светлана Юрьевна, кандидат технических наук, доцент, кафедра информационной безопасности и компьютерной инженерии, Черкасский государственный технологический университет, Украина, e-mail: [email protected]. Бабенко Вера Григорьевна, кандидат технических наук, доцент, кафедра информационной безопасности и компьютерной инженерии, Черкасский государственный технологический университет, Украина.

Пивень Олег Борисович, кандидат физико-математических наук, доцент, кафедра информационной безопасности и компьютерной инженерии, Черкасский государственный технологический университет, Украина.

Куницька Свтлана ЮрИвна, кандидат техтчних наук, доцент, кафедра тформацшног безпеки та комп'ютерног тженерп, Черкаський державный технологiчний утверситет, Украгна. Бабенко Вiра Григорiвна, кандидат техтчних наук, доцент, кафедра тформацшног безпеки та комп'ютерног тженерп, Черкаський державний технологiчний утверситет, Украта. Швень Олег Борисович, кандидат фiзико-математичних наук, доцент, кафедра тформацшног безпеки та комп'ютерног тженерп, Черкаський державний технологiчний утверситет, Украгна.

Kunitskaya Svetlana, Cherkasy State Technological University, Ukraine, e-mail: [email protected].

Babenko Vera, Cherkasy State Technological University, Ukraine. Piven Oleg, Cherkasy State Technological University, Ukraine

TECHNOLOGY AUDiT AND PRODUCTiON RESERVES — № 5/6(25], 2015

i Надоели баннеры? Вы всегда можете отключить рекламу.