Проектування цифрових систем з використанням логічного програмування
Методологія автоматизації проектування і моделювання цифрових систем, що базується на логічному програмуванні. Аналіз методів розпізнавання часових діаграм і автоматизації символічного синтезу систем, які описуються за допомогою логічних секвентів.
| Рубрика | Программирование, компьютеры и кибернетика |
| Вид | автореферат |
| Язык | украинский |
| Дата добавления | 22.04.2014 |
| Размер файла | 53,8 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
звести завдання проектувальника до формального запису еталонів часових діаграм без необхідності осмислення і використання будь-якого алгоритму,
підвищити точність моделювання, тому що, завдяки декларативному характеру проектування , має місце незначна можливість помилок.
В сфері синтезу цифрових систем, в період, передуючий роботам автора, в Польщі не існували доступні допоміжні програмні засоби для процесу автоматизації символічного синтезу. Автору, так само, не була відома жодна попередня робота, зв'язана з використанням логічного програмування для автоматизації синтезу з застосуванням логічних секвентів. Існуючі в той час теоретичні роботи були присвячені, насамперед, застосуванню у проектуванні цифрових систем переважно алгебраїчних і символічних методів, які могли використовуватися тільки при мануальному проектуванні, цебто безпосередньо людиною. Застосування цих методів не було пов'язано з автоматизацією процесу проектування. В зв'язку з приведеним вище, можливо забезпечити розв'язання реальних, складних завдань проектування. З метою виконання автоматизації символічного синтезу автор переніс апарат, використовуваний в галузі штучного інтелекту і автоматичного доведення теорем, у галузь проектування цифрових систем.
Внаслідок виконана автоматизація:
нормалізації секвентів (способом, подібним до автоматичного доведення теорем, з використанням логічних висновків),
мінімізації опису (застосування евристичних правил),
синтезу до вигляду, відповідному структурі застосованих елементів (символічне перетворення),
декомпозиції опису на підгрупи, яку можна використовувати в окремих фізичних елементах, з застосуванням механізму пошуку.
На основі запропонованого методу синтезу була створена система CAD Logic, яка призначена для автоматизації проектування цифрових систем з використанням програмованих логічних структур PAL.
7.Результати роботи описані в монографії і знайшли широке застосування у народному господарстві. Це свідчить про слушність і актуальність теоретичних розв'язань, а також про їх велике практичне значення.
8.Особливої уваги в цьому обсязі заслуговує мова Pro Waves. Вона знайшла широке застосування при проектуванні спеціалізованих цифрових систем високого рівня інтеграції ASIC, що призначені для супутникового цифрового телебачення і при проектуванні цифрових телевізійних інтерактивних приймачів-декодерів, виконаних на замовлення великих, відомих у цілому світі, фірм таких як: SGS Thomson Microelectronics, Sun Moon Star, Broadcast Software Systems International і Asia Digital Broadcast. Наприклад, спеціалізований пристрій Bili-I fast descrambler, спроектований за допомогою мови Pro Waves, було випущено серійно в кількості понад сто тисяч штук.
Таким чином, можна стверджувати, що поставлена в роботі проблема була досягнута, а опрацювання методу автоматизації проектування, що грунтується на евристичних методах і символічних операціях, істотно доповнює існуючі алгоритмічні і числові методи.
ОСНОВНІ ПУБЛИКАЦІЇ
Szajna J.: Projektowanie ukіadуw cyfrowych z wykorzystaniem programowania logicznego. MONOGRAFIA nr 82. Politechnika Zielonogуrska, 1996 (240 c).
Szajna J.: Programowanie strukturalne. Wybrane algorytmy i struktury grafowe. MONOGRAFIA nr 41, Wyїsza Szkoіa Inїynierska. Zielona Gуra, 1989 (440 c).
Szajna J.: Technika programowania. Elementy programowania sprzкtu i wspуіpracy z systemem operacyjnym. PAСSTWOWE WYDAWNICTWO NAUKOWE. Warszawa 1990 (237 c).
Szajna J., Adamski M., Kozіowski T.: Programowanie w jкzyku logiki. WYDAWNICTWA NAUKOWO-TECHNICZNE. Warszawa 1991 (166 c).
Szajna J., Mirkowski J.: Zaawansowane techniki programowania. Polskie Towarzystwo Ekonomiczne. 1989 (177 c).
Szajna J.: Turbo Pascal 4.0. Polskie Towarzystwo Ekonomiczne. 1988 (173 c).
Wagner F., Szajna J., Michta E.: Laboratorium mikroprocesorуw. Wyїsza Szkoіa Inїynierska. Zielona Gуra, 1985 (132 c).
Szajna J.: Wykorzystanie zmiennych dynamicznych jкzyka Pascal w minimalizacji funkcji logicznych. Zeszyty Naukowe WSInї. Nr 78, str. 127-132. Zielona Gуra, 1986.
Adamski M., Szajna J., Kapela A.: Programmable Array Logic Software. 7 th International Conference on. Control Systems and Computer Science. CSCS - 7 . Bucharest, Vol.3, pp. 86-95. Romania 1987.
Adamski M., Szajna J., Wysocki A.: Automated State Machine Design and PAL Implementation. Wissenschaftliche Beitrage zur Informatik 1988 No 6, pp.13-18. Dresden, Germany.
Szajna J., Kozіowski T.: Wykorzystanie jкzyka Prolog w projektowaniu ukіadуw cyfrowych. Zeszyty Naukowe WSInї. nr 95, str. 5-15. Z. Gуra 1991.
Szajna J: Translacja specyfikacji ukіadu cyfrowego opisanego za pomoc№ listy poі№czeс na jкzyk VHDL. Metrologia i systemy pomiarowe nr 13, str. 31-38. Polska Akademia Nauk. Komitet Metrologii i Aparatury Naukowej. Warszawa 1992.
Szajna J: Automated realization of boolean algebra theorems in the simplification of logical expressions. Applied Mathematics and Computer Science. 1993. Vol.3, no. 2, pp. 383-392.
Szajna J., Wкgrzyn M., Walkowiak M., Wolaсski P.: Programowanie w projektowaniu ukіadуw cyfrowych. Informatyka na wyїszych uczelniach dla gospodarki narodowej, str. 57-61. Gdaсsk, 1994.
Szajna J.: The Efficient System for Behavioural Simulation of Complex Digital Circuit and Process. 7 th International Symposium on IC Technology, Systems Application (ISIC-97), September 10-12, pp. 204-208. Hyatt Regency, Singapore, 1997.
Kozіowski T., Dagless E., Saul J., Adamski M., Szajna J.: Parallel controller synthesis using Petri nets. IEE Proceedings - Computers and Digital Techniques, Vol. 142. No. 4, pp. 263 -271, July, 1995.
Szajna J: Prolog-based Timing Waveform Recognition System for Behavioural VHDL Simulation. Sixth Conferetion on Synthesis and System Integration of Mixed Technologies, pp. 155-161. Fukuoka, Japan, 1996.
Biliсski K, Saul J., Dagless E., Szajna J.: An Efficient Verification Algorithm for Parallel Controllers. EURO-DAC ` 94, September 19-23, pp.302-307. France, 1994.
Szajna J. Artificial intelligence methods in computer aided design of digital circuits.//Электронное моделирование.-2001, т.23, №4.-С. 107-113.
Я. Шайна Метод временного моделирования с использованием динамических данных//Збірник наукових праць К.: ІПМЕ НАНУ.-2001.-№7.-С.120-124.
Я. Шайна Определение комбинированніх секвенционніх устройств//Моделювання та інформаційні технології. Збірник наукових праць. К.:ІПМЕ НАНУ.-2001.-Випю 8.- С. 99-103.
Размещено на Allbest.ru
Подобные документы
Розробка моделі системи "Автомобільного магазину". Вивчення основи мови моделювання UML. Створення її для визначення, візуалізації, проектування й документування програмних систем. Використання діаграм кооперацій, послідовності, станів та класів.
курсовая работа [257,8 K], добавлен 10.12.2014Розробка спеціалізованої малої електронної обчислювальної машини, виконаної на основі контролера К1816ВЕ51. Проектування пам'яті, модуля клавіатури та індикації для корегування роботи машини. Перетворювання цифрових сигналів до аналогових та цифрових.
курсовая работа [1,1 M], добавлен 12.11.2013Класифікація інформаційних систем. Дослідження особливостей мови UML як засобу моделювання інформаційних систем. Розробка концептуальної моделі інформаційної системи поліклініки з використанням середи редактора програмування IBM Rational Rose 2003.
дипломная работа [930,4 K], добавлен 26.10.2012Поняття проектування та його автоматизації як комплексу засобів автоматизації проектування. Функції системи автоматизації проектних робіт (САПР), принципи системної єдності, сумісності, типовості, розвитку. Види комплексів засобів і компонентів САПР.
реферат [123,2 K], добавлен 20.06.2010Загальна характеристика мови моделювання UML. Розробка діаграм UML з метою автоматизації продаж в магазині. Rational Rose як засіб візуального моделювання об'єктно-орієнтованих інформаційних систем. Зворотне проектування як головна перевага Rational Rose.
контрольная работа [1,7 M], добавлен 23.10.2014Розробка алгоритмів виконання арифметичних операцій для систем числення в різних кодах з оцінкою точності. Проектування цифрового автомату в булевих базисах з використанням логічних елементів. Складення структурної схеми комбінаційних цифрових автоматів.
курсовая работа [264,6 K], добавлен 10.09.2012Розробка системи, що виконує функцію автоматизації процесу пропускного пункту підприємства з використанням мов програмування PHP, JavaScript і MySql. Практичні аспекти проектування ГІС із використанням WEB-технологій і баз даних, тестування програми.
дипломная работа [1,5 M], добавлен 25.10.2012Генезис програмувальних логічних інтегральних схем, їх класифікація та архітектура. Призначення системи автоматизованого проектування MAX+PLUS II. Теоретичні відомості про тригери. Програми реалізації тригерів в інтегрованому середовищі MAX+PLUS II.
дипломная работа [1,6 M], добавлен 20.07.2010Таблиця істинності логічних функцій пристрою, який необхідно синтезувати. Отримання логічних функцій пристрою та їх мінімізація за допомогою діаграм Вейча. Побудова та аналіз структурної схеми пристрою в програмі AFDK з логічними елементами до 3-х входів.
курсовая работа [320,4 K], добавлен 03.05.2015Проектування інформаційної системи; концептуальне (інфологічне) проектування, побудова ER-діаграми, нормалізація даних. Даталогічне проектування баз даних, фізичне проектування інформаційних систем. СУБД Access: об'єкти, створення таблиць, запитів, форм.
курсовая работа [13,9 M], добавлен 09.01.2010
