Наведено основні положення теорії симетричних булевих функцій, визначено критерії довизначення неповністю заданої функції до симетричної, описано метод такого довизначення. Для розв'язування задачі використано ефективний спосіб декомпозиції, що дозволяє скоротити перебір варіантів.

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

The processes of functioning of different types of adding devices are analyzed by modelling them in the language Verilog in Active-HDL environment. Temporary diagrams proving the rise of high performance of adding devices with parallel carrying out ofthe microoperations have been obtained.

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

Well-known models, procedures and methods of compressing arithmetic multi-row codes (MRC) are analyzed, their merits and limitations are revealed. The generalized model of compressing MRC is built, taking into account of the developments in this field including the author's ones. The carries organization by compressing MRC is considered.

Ключ. слова: язык VERILOG, среда Active-HDL, моделирование цифровых устройств, суммирующие устройства чисел с плавающей запятой, выравнивающая разность, временные диаграммы, аппаратные затраты
Індекс рубрикатора НБУВ: З972-02-5-05

Рубрики:

Дискретна обчислювальна техніка

Шифр НБУВ: Ж14479 Пошук видання у каталогах НБУВ 

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

Розглянуто застосування методу простих ітерацій для розв'язання рівнянь, що містять експоненту. Введено узагальнені параметри, що різко зменшують розмірність простору рішень. Досліджено поведінку коренів рівняння як функції узагальнених параметрів.

Applying the method of the simple iterations for solving the equations which contain an exponent is considered. Generalized parameters which sharply reduce of the dimension of the space of solutions are introduced. The root behaviour as a function of the generalized parameters is examined.

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

Розроблено схему прискореного переносу, завдяки чому модифікується триоперандний підсумовувач Глассера. Запропоновано згортати багаторядний код спочатку до трьох рядів, а далі за допомогою модифікованого підсумовувача Глассера одержувати відразу результуючий код.

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

Індекс рубрикатора НБУВ: З973-047.1

Рубрики:

Комп'ютери та програмування

Шифр НБУВ: Ж15477 Пошук видання у каталогах НБУВ 

Рассмотрен табличный метод построения универсальных симметрических логических модулей (УСМ). Использованы таблица покрытия на основе функций равнозначности и таблица функционирования блока формирования настроек УСМ. Выбираемые на выходе УСМ симметрические функции кодируются в соответствии с принципом локального кодирования Лупанова. Построенные этим методом схемы УСМ имеют наименьшую сложность по сравнению с известными решениями.

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

Наведено результаты розробки автоматизованого робочого місця проектувальника арифметичних пристроїв, яке включає програмну систему підготовки даних і стандартну САПР. Подано опис програмної системи.

The automated work position of a designer of the arithmetic devices that includes program system of data preparation and standard CAD is developed. Program system is described

Сравнены характеристики наиболее распространенных технологий и языков параллельного программирования (C/C++, Java, Ada, Lisp(NewLisp), API OpenMP, API MPI) с целью создания информационной технологии распараллеливания решения нелинейных уравнений на вычислительном кластере.

Порівняно характеристики найбільш поширених технологій та мов паралельного програмування (C/C++, Java, Ada, Lisp(NewLisp), API OpenMP, API MPI) з метою створення інформаційної технології розпаралелювання розв'язку нелінійних рівнянь на обчислювальному кластері.

Are compared characteristic of the most widespread technology and parallel language (c/c3. 5. Comparative characteristic of technology and parallel language for compute cluster ++, java, ada, lisp(newlisp), api openmp, api mpi) for the purpose of creation information technology of parallel solving of nonlinear equations on the compute cluster.

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

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

Рассмотрен подход формализированного перехода от алгоритма параллельной программы к ее расписанию. Освещены основные этапы предложенного подхода. Для примера его использования приведен алгоритм решения систем линейных уравнений алгебраизма методом квадрантов (QIF), которые смыкаются.

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

Індекс рубрикатора НБУВ: З973-018.14

Рубрики:

Комп'ютери та програмування

Шифр НБУВ: Ж69121 Пошук видання у каталогах НБУВ 

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

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

Індекс рубрикатора НБУВ: З973-047.13

Рубрики:

Комп'ютери та програмування

Шифр НБУВ: Ж15477 Пошук видання у каталогах НБУВ