Просмотр информации о документе
Название:
Верифікація динамічних параметрів електронних пристроїв на основі K-значного моделювання
Коллекция:
Автореферати » Кандидатські
Авторы:
Кафедра:
Издатель:
Год публикации:
ISBN/ISSN:
Вид документа:
автореферат
Язык документа:
українська
Добавлен в архив:
07.07.2013
Сводная информация по документу:
Верифікація динамічних параметрів електронних пристроїв на основі K-значного моделювання [Текст] / Гладких Т.В. // Автореферати : Кандидатські - , 2007.
Постоянная ссылка:
Аннотация:

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

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

The given dissertational work is dedicated to development of serviceability research methods and resources of elements and devices of computer facilities with the help of simulation by means of system on the basis of K-value differential calculus. Such simulation allows more precisely and complete to carry out an estimation of researched devices serviceability, taking into account thus real dynamic characteristics of separate elements, in particular, ambiguous values of their delays, which are floating in the certain time range, power parameters of switching signals, when the threshold level of separate elements switching does not coincide with front of clock pulse. Application of simulation on the basis of K-value differential calculus allows to carry out the complex analysis of computing elements and devices with use of a through principle of designing and in view of their topological designing which provides reception of the minimal handicaps, which connected with parameters of separate elements electromagnetic compatibility and devices of computer techniques. In dissertational work the numerous results of the researches confirming correctness and efficiency of developed methods are resulted.


© 2020 — Разработано лабораторией информационно-поисковых систем НТУ "ХПИ"