Головна Головна -> Реферати українською -> Дисертації та автореферати -> ВЕРИФІКАЦІЯ ДИНАМІЧНИХ ПАРАМЕТРІВ ЕЛЕКТРОННИХ ПРИСТРОЇВ НА ОСНОВІ K-ЗНАЧНОГО МОДЕЛЮВАННЯ

ВЕРИФІКАЦІЯ ДИНАМІЧНИХ ПАРАМЕТРІВ ЕЛЕКТРОННИХ ПРИСТРОЇВ НА ОСНОВІ K-ЗНАЧНОГО МОДЕЛЮВАННЯ

Назва:
ВЕРИФІКАЦІЯ ДИНАМІЧНИХ ПАРАМЕТРІВ ЕЛЕКТРОННИХ ПРИСТРОЇВ НА ОСНОВІ K-ЗНАЧНОГО МОДЕЛЮВАННЯ
Тип:
Реферат
Мова:
Українська
Розмiр:
16,92 KB
Завантажень:
168
Оцінка:
 
поточна оцінка 5.0


Скачати цю роботу безкоштовно
Пролистати роботу: 1  2  3  4  5  6  7  8  9  10  11  12 
В первом разделе приведен анализ различных методов логического моде
лирования в схемотехническом проектировании вычислительных устройст
в, включая и методы, использующие многозначное представление сигналов,
в том числе и методы, основанные на использовании


національный техничний університет
"харківський політехнічний інститут"
Гладких Тетяна Валентинівна
УДК 681.3; 517.2
ВЕРИФІКАЦІЯ ДИНАМІЧНИХ ПАРАМЕТРІВ ЕЛЕКТРОННИХ ПРИСТРОЇВ НА ОСНОВІ K-ЗНАЧНОГО МОДЕЛЮВАННЯ
Спеціальність 05.13.05 – елементи та пристрої обчислювальної техніки
та систем керування
Автореферат дисертації на здобуття наукового ступеня
кандидата технічних наук
Харків – 2007


Дисертація є рукопис.
Робота виконана на кафедрі "Обчислювальна техніка та програмування" в Національному технічному університеті "ХПІ" Міністерства освіти і науки України м. Харків
Науковий керівник : кандидат технических наук, доцент,
Леонов Сергій Юрійович,
Національний технічний університет "Харківський політехнічний інститут", МОН України,
доцент кафедри обчислювальної техніки та програмування
Офіційні опоненти : доктор технічних наук, професор,
Скобцов Юрій Олександрович,
Донецький національний технічний
університет, м. Донецьк,
зав. кафедри автоматизованих
систем управління
доктор технічних наук, професор,
Дербунович Леонід Вікторович,
Національний технічний університет "Харківський політехнічний інститут", м. Харків,
професор кафедри автоматики та управління в технічних системах
Провідна установа: Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України, м. Київ
Захист відбудеться 22 лютого 2007 р. о 1430 годині на засіданні спеціалізованої вченої ради Д 64.050.14 в Національному технічному університеті "Харківський політехнічний інститут" за адресою 61002, м. Харків, вул. Фрунзе, 21.
З дисертацією можна ознайомитись у бібліотеці Національного технічного університету "Харківський політехнічний інститут".
Автореферат розісланий 19.01. 2007 р.
Вчений секретар
спеціалізованої вченої ради Ліберг І.Г.


ЗАГАЛЬНА ХАРАКТЕРИСТИКА РОБОТИ
Актуальність теми. Складність сучасних елементів і пристроїв обчислювальної техніки вимагає для їхньої розробки створення нових методів і засобів, що дозволяють враховувати при їхньому проектуванні особливості застосовуваних технологій. Це обумовлено підвищенням ступеня інтеграції пристроїв, значним їхнім ускладненням, ростом номенклатури продукції, що випускається, і великими труднощами в налагодженні пристроїв.
Одним з можливих шляхів рішення цієї задачі є розробка нових нетрадиційних форм і методів опису, аналізу і синтезу цифрових пристроїв, дослідження їхньої ефективності в залежності від класу розв'язуваних задач і доведення їх до рівня практично використовуваних алгоритмів і програм. Зазначені задачі здобувають особливе значення в умовах створення сучасних обчислювальних і керуючих систем на базі інтегральної технології, коли усе ширше використовуються мікропроцесори, великі і надвеликі інтегральні схеми, тому що процес виявлення і пошуку несправності в них стає усе більш трудомістким і тривалим як у статичних, так і в динамічних режимах. При проектуванні сучасних обчислювальних пристроїв у зв'язку з ростом щільності монтажу на друкованій платі, ростом швидкодії мікросхем, що досягається за рахунок зменшення розмірів каналів у транзисторних елементах, і, відповідно, зменшенням розмірів плати, виникає також проблема обліку взаємного впливу мікросхем однієї на одну. Математичний опис електромагнітних процесів у цьому випадку немислимо без використання диференційних виражень. Однак опис цифрових систем безперервними диференційними або інтегральними рівняннями в переважній більшості випадків нераціонально через надмірну трудомісткість їх рішення.
Неможливо або сильно ускладнено в більшості випадків і застосування тут методів цифрових автоматів, у силу того, що ці методи розроблялися для аналізу об'єктів, що не містять у своєму описі диференційних і інтегральних операторів. Необхідність обліку диференційних і інтегральних зв'язків у цифрових системах привело до створення булевого і K-значного логічного диференційного числення.

Завантажити цю роботу безкоштовно
Пролистати роботу: 1  2  3  4  5  6  7  8  9  10  11  12 



Реферат на тему: ВЕРИФІКАЦІЯ ДИНАМІЧНИХ ПАРАМЕТРІВ ЕЛЕКТРОННИХ ПРИСТРОЇВ НА ОСНОВІ K-ЗНАЧНОГО МОДЕЛЮВАННЯ

BR.com.ua © 1999-2017 | Реклама на сайті | Умови використання | Зворотній зв'язок