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

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

Обгрунтовано критерії та способи оцінки ефективності сучасних методів подання інформації. Висвітлено основні положення теорії частотно-імпульсних логічних та операційних елементів цифрової техніки та запропоновано метод їх структурного синтезу. Наведено методику розробки математичних моделей базових схем для побудови частотно-імпульсних логічних елементів. Запропоновано методи їх статистичного аналізу й оптимізації за критерієм максимальної ймовірності забезпечення роботоздатності за довільних законів розподілу вхідних і вихідних параметрів.

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

Викладено основні відомості з арифметичних та логічних основ цифрових та обчислювальних пристроїв. Описано цифрові елементи, у тому числі мікропроцесори, інтегральні мікросхеми пам'яті. Значну увагу приділено основним принципам побудови, архітектури та програмного забезпечення сучасних мікропроцесорів та мікроконтролерів фірми "Моторола".

Изложены основные сведения по арифметическим и логическим основам цифровых и вычислительных устройств. Описаны цифровые элементы, включая микропроцессоры, интегральные микросхемы памяти. Значительное внимание уделено основным принципам построения, архитектурыи программного обеспечения современных микропроцессоров и микроконтролёров фирмы "Моторола".

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

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

Ключ. слова: булева функция, кодирование, декомпозиция, программируемая логическая матрица, q-разбиение, ортогонализация, конъюнктерм
Індекс рубрикатора НБУВ: З972-01

Рубрики:

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

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

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

Рубрики:

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

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

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

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

Розроблено структурно-функціональні моделі цифрових пристроїв, процедур і алгоритмів кубічного аналізу несправностей під час генерації тестів для зменшення часових і матеріальних витрат, пов'язаних з верифікацією цифрових систем на стадії автоматизованого проектування. У процесі досліджень розв'язано задачі: модифікації автоматної моделі синхронного примітива, описаного двотактним кубічним покриттям, яке дозволяє виконувати аналіз послідовнісних цифрових асинхронних схем у трьох автоматних тактах, що зменшує число псевдозмінних у моделі; створення алгоритму кубічного дедуктивного моделювання несправностей, на базі аналізу кубічних покриттів примітивів; розробки програмного комплексу моделювання несправностей, що дозволяє здійснювати оцінку якості генерованих тестів цифрових систем на кристалі.

Запропоновано поняття базової групи; класифікацію структурних кодів на основі базових груп; альтернативні структурні коди; характеристики для оцінки властивостей структурних кодів; поняття підмножини пріоритетів; показники оцінки потужності підмножин пріоритетів, класифікацію альтернативних форм представлення логічних функцій на базі підмножин пріоритетів. Розроблено матрично-аналітичний метод синтезу структурних кодів; математичний апарат розрахунку характеристичних оцінок структурних кодів та визначення систем обчислення; метод перетворення, контролю та корекції інформації в альтернативних структурних кодах; алгоритм виявлення та виправлення помилок під час реконфігурації інформації; метод мінімізації логічних функцій у формі поліномів Ріда - Мюллера; розв'язання класичної задачі мінімізації логічних функцій у формі поліномів Жегалкіна шляхом зведення її до задачі лінійного програмування; метод синтезу цифрових пристроїв за умовами надійності; функціональну схему арифметико-логічного пристрою мікропроцесорної системи, як практичну реалізацію запропонованого методу. Центральними процедурами методу синтезу цифрових пристроїв за умовами надійності є: вибір базової групи та синтез структурних кодів на її основі та вибір форм представлення логічних функцій. Відзначено, що реалізація методу дає змогу розширити кількість форм представлення інформації для створення гнучкої відмовостійкої системи керування, яка має реконфігуровану інформаційну структуру, здатність адаптації до розв'язуваних задач і моделі помилок. Ефективність запропонованого методу синтезу цифрових пристроїв обгрунтовано результатами теоретичних розрахунків, що показали

Індекс рубрикатора НБУВ: З811.43,022 + З973-044.46 + З972-014

Рубрики:

Коректувальне кодування

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

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

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

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

Рубрики:

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

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

Освещены методы синтеза цифровых устройств и систем с использованием аппарата обобщенных логических функций (ОЛФ). Рассмотрены специальные вопросы, связанные с нахождением булевых производных при решении задач анализа динамики и тестирования цифровых систем. Даны примеры синтеза цифровых устройств с использованием ОЛФ. Предложены методы представления ОЛФ с использованием языков описания аппаратуры (HDL-языков). Раскрыты особенности реализации цифровых систем на программируемых логических интегральных схемах при применении ОЛФ.

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

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

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

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

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

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