Структуровані мережі Петрі в системах проектування спеціалізованих процесорів
Створення структурованої мережі Петрі, що задовольняє основним положенням системології та дослідження потужності моделювання розробленої мережі. Розробка методів аналізу структурованої мережі Петрі та методів зменшення витрат пам'яті на її збереження.
Рубрика | Производство и технологии |
Вид | автореферат |
Язык | украинский |
Дата добавления | 31.01.2014 |
Размер файла | 62,4 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Чтобы показать процесс вычисления функции, макрометке сети Петри верхнего уровня сопоставлены сети Петри нижнего уровня, позиции которых моделируют ячейки памяти для хранения промежуточных результатов вычисления функции, а переходы - необходимые операции для вычисления этой функции.
Предложенная модель отражает концепцию совместного проектирования аппаратных и программных средств (hardware-software codesign). При таком подходе модель программы и модель выполняющего ее процессора объединяются в единую модель, представленную в виде 2-сети Петри.
Таким образом можно проследить за изменением архитектуры MISC-процессора во время выполнения программы, что позволяет оптимальным образом адаптировать их друг к другу, с целью одновременной реализации как высокой скорости работы, так и высокой точности вычислений.
Рассмотрен вопрос использования L-сетей Петри для проектирования многоуровневых иерархических систем управления на основе процессора Петри, отличительной особенностью которого является программа работы в виде сети Петри.
Разработана новая структура и алгоритм работы процессора Петри. Исправлены ошибки функционирования процессора и увеличено его быстродействие. На основе процессора Петри разработан метод проектирования специализированной микропроцессорной системы, программируемой L-сетью Петри. Применение этого метода значительно упрощает разработку иерархических систем управления.
Ключевые слова: автоматизированное проектирование, сети Петри, иерархические многоуровневые системы.
ABSTRACT
Elchaninov D. B. The structured Petri nets in systems of designing of specialized processors. - Manuscript.
Thesis for a candidate's degree by speciality 05.13.12 - Computer-Aided Design. - Kharkiv State Technical University of Radioelectronics, Kharkiv, 1999.
The thesis is devoted to development of the structured Petri net for simulation of composite hierarchical multilevel computing systems on the basis of modern system approach - systemology.
The structured Petri net - L-net - is developed. The main feature of L-net is macrotoken - the token being a Petri net. The equivalence of different types of analytical arcs of a Petri net is proved. The equivalence of Petri nets with analytical arcs to Turing machines is demonstrated. The technique of synthesis of two main methods of the analysis of Petri nets (the reachability tree and the matrix equation) is developed. The method of the abbreviated record of a Petri net structure is proposed. The tool software of support of simulation of composite systems is developed on the basis of L-net. The new structure of the Petri processor is designed. The main feature of the Petri processor is the program as a Petri net. On the basis of the Petri processor the design technique of the specialized microprocessor system programmed by L-net is proposed.
Keywords: computer-aided design, Petri nets, hierarchical multilevel systems.
Размещено на Allbest.ru
...Подобные документы
Критерії оцінки, основні вимоги до персоналу. Класифікація методів оцінки якості службовців підприємства, стан нормування і продуктивності праці. Аналіз пропозиції щодо вдосконалення методів оцінки персоналу мережі магазинів "Мобілочка", експертні оцінки.
курсовая работа [45,6 K], добавлен 15.04.2009Оцінка витрат газу на побутове та комунальне споживання, на опалення і вентиляцію. Підбір газового фільтра, регулятора тиску, запобіжних клапанів і обвідного трубопроводу для проектування мережі газопостачання району. Економічне обґрунтування проекту.
курсовая работа [503,2 K], добавлен 21.11.2010Мережі з ізольованою нейтралью. Компенсація ємнісного струму замикання на землю. Типи дугогасильних реакторів та їх характеристика. Вибір потужності дугогасильних реакторів. Місця установки дугогасильних реакторів. Схеми включення дугогасильних реакторів.
дипломная работа [101,3 K], добавлен 23.02.2009Дослідження методів отримання двоокису цирконію ромбічної сингонії, стабілізованого оксидом нікелю. Збереження стабільності властивостей матеріалу при довготривалій експлуатації. Опис та організація досліду, складання кошторису витрат, ціна досліду.
практическая работа [63,9 K], добавлен 08.05.2010Вивчення існуючої мережі закладів ресторанного господарства. Характеристика потенційного контингенту і споживачів продукції проєктованого закладу. Визначення виробничої програми підприємства. Розрахунок теплового, механічного і холодильного устаткування.
курсовая работа [837,7 K], добавлен 15.05.2023Огляд лічильників та методів вимірювання витрати рідини. Закон електромагнітної індукції М. Фарадея. Метрологічні характеристики лічильника. Можливості застосування комп’ютерного моделювання при проектуванні вимірювального приладу електромагнітного типу.
курсовая работа [4,4 M], добавлен 15.01.2015Характеристика, тип, ринкова потреба, річний об’єм виробництва та обґрунтування технологічних документів. Вибір засобів, методів та режимів проектування шпинделя. Розрахунок та конструювання спеціальних пристроїв. Аналіз структури собівартості продукції.
дипломная работа [693,2 K], добавлен 19.03.2009Процес фрезерування, призначення та класифікація фрез. Характеристика та опис конструкції шнекової фрези. Види моделів та їх похибок. Створення математичної моделі для дослідження завантаження зуборізної шнекової фрези, розрахунки та аналіз результатів.
курсовая работа [2,8 M], добавлен 18.04.2009Розробка завдання та пропозицій на проектування дитячого літнього комплекту. Аналіз художнього оформлення моделей-аналогів. Конструкторська розробка та оцінка її оптимальності. Вибір обладнання та матеріалів для пошиття, технологічна послідовність.
курсовая работа [3,6 M], добавлен 21.06.2014Способи спрощення механізму пристосування при відновленні наплавленням габаритних деталей та покращення якості наплавлювальної поверхні. Аналіз основних несправностей гусениць тракторів, дослідження основних методів і конструкцій відновлення їх ланок.
дипломная работа [3,1 M], добавлен 28.07.2011Характеристика методів діагностики різальних інструментів для токарної обробки алюмінієвих сплавів. Розробка системи визначення надійності різця з алмазних композиційних матеріалів при точінні. Розрахунки значень напружень і ймовірності руйнування різця.
реферат [38,6 K], добавлен 10.08.2010Вологість газу як один з основних параметрів при добуванні, транспортуванні і переробці природного газу. Аналіз методів вимірювання вологості газу. Розробка принципової та структурної схем приладу для вимірювання, дослідження його елементів і вузлів.
курсовая работа [1,9 M], добавлен 12.01.2011Положення розмірного аналізу конструкції. Основні методичні положення розмірного аналізу машини чи складальної одиниці. Порядок проведення розмірного аналізу конструкції машини чи складальної одиниці. Вибір методу досягнення точності замикальної ланки.
реферат [448,3 K], добавлен 08.07.2011Розробка експрес-методу дослідження хімічного складу нафти з використанням доступної аналітичної апаратури. Принципова схема, будова та дія мас-спектрометра для спектрометричного та спектрального аналізу. Ультрафіолетова й інфрачервона спектроскопія.
доклад [1,0 M], добавлен 19.04.2014Сутність електроерозійних методів обробки металу, її різновиди; фізичні процеси, що відбуваються при обробці. Відмінні риси та основні, технологічні особливості і достоїнства електрохімічних методів. Технологічні процеси лазерної обробки матеріалів.
контрольная работа [2,0 M], добавлен 15.09.2010Розробка, проектування і технологічна підготовка, промислове виробництво одягу. Конструктивні засоби формоутворення виробу. Характеристика матеріалів для виготовлення моделі. Аналіз конструкції при проведенні примірки. Побудова и розкладка лекал.
курсовая работа [128,6 K], добавлен 31.10.2014Визначення мети, предмету та методів дослідження. Опис методики обладнання та проведення експериментів. Сплав ZrCrNi як основний об’єкт дослідження. Можливості застосування та вплив водневої обробки на розрядні характеристики і структуру сплаву ZrCrNi.
контрольная работа [48,7 K], добавлен 10.07.2010Маршрут обробки деталі "Вал 150.054". Аналіз методів діагностики субблоку. Визначення трудомісткості технічного обслуговування й ремонту верстата з ЧПУ. Організація оснащення робочого місця електромеханіка. Проектування стендової апаратури контролю.
дипломная работа [1,8 M], добавлен 06.07.2011Аналіз та визначення та опис дослідження корсету. Розробка технічних рішень, що вирішують поставлену проблему. Обробка виробу, використання сучасної швейної фурнітури. Моделювання шаблону корсета методом розрахунків. Зняття мірок, розкрій та пошиття.
контрольная работа [749,9 K], добавлен 01.06.2016Побудова об’ємного моделювання термоміцності твердосплавних різців. Вектор контактних силових навантажень. Дослідження термопружної міцності твердосплавних різців при тепловому навантаженні. Стійкість як показник ефективності роботи ріжучого інструменту.
реферат [68,1 K], добавлен 10.08.2010