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

Рубрики:

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

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

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

Розглянуто особливості використання методології логічного синтезу та її складових у процесі синтезу реальних пристроїв і систем на МІС, СІС та ПЛІС.

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

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

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

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

Разработан алгоритм параллельного моделирования функциональных неисправностей типа "неисправности одиночного перехода" для последовательных цифровых схем. Алгоритм реализован на языке Си персональных компьютеров ІВМ РС с использованием единой системы многозначных функций.

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

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

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

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

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

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

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

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

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

Рубрики:

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

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

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

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

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

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

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