РОЗДІЛ 2. СИНТЕЗ І МІНІМІЗАЦІЯ СТРУКТУРИ ТРАНСЛЯТОРА
В другому розділі описано принцип побудови транслятора структур даних електромеханічних схем, поданих символьним форматом комп'ютерно - інтегрованої системи ACCEL EDA, у структури даних моделюючої програми САПР ЕМС, синтезовано і мінімізовано за кількістю термів структуру транслятора.
Як відомо [58] для синтезу формул секвенційних алгоритмів розроблені два методи, це табличний і секвенційний. Використання табличного методу синтезу передбачає побудову таблиці, кількість стовпців якої визначається загальною кількістю рангованих термів і термів умов. В трансляторі передбачається тисячі рангованих термів і сотні термів умов. Побудувати таблицю, яка б мала тисячі стовпчиків, в принципі можливо, але надто складно, бо вона буде громіздкою і незручною у використанні, а також не наочною. Синтез секвенційним методом супроводжується утворенням, на першому етапі, формул - секвенцій, якими описуються послідовності термів і, на другому етапі, елімінуванням утворених секвенцій за умовами. Формули є значно компактнішими за таблицю, ними суттєво легше оперувати. Тому синтез структури транслятора виконаний секвенційним методом.
В розділі використовуються деякі позначення і поняття теорії секвенційних алгоритмів [58]. Такі позначення операцій теорії секвенційних алгоритмів:- - секвентування; - елімінування; . - паралелення; - інвертування; ? - циклічного секвентування.
Терми - вирази мови [79]. Структура алгоритму - формула утворена, рангованими змінними термами. Секвенти (??та ??) - ознаки порядку. Ранг - встановлена операціями секвентування послідовність ?? і ??? секвент. Рангований терм - терм для якого встановлений його ранг. Константи - терми, значення яких не змінюються. Секвентна область значень - константи з рангами, встановленими операціями секвентувань. Змінні - терми, значення яких змінюються. Предметні терми - терми з фіксованими властивостями. Змінні терми - терми властивості яких не фіксовані.
Мінімізацію формул секвенційних алгоритмів транслятора виконано за кількістю термів за властивостями комутативності, асоціативності, поглинання термів і дистрибутивності операцій теорії секвенційних алгоритмів.
2.1.Концепція побудови транслятора
Відомо [24], що підсистема PDIF OUT, комп'ютерно - інтегрованої системи ACCEL EDA, перетворює графічне представлення схеми в структури даних символьного pdf - файлу. Засобами ACCEL EDA, використавши підсистеми Symbol Editor [23], Patern Edidor [23], Librari Executiv [23] та Shematic Editor [23], можливо спроектувати електромеханічну схему друкарської машини. В підсистемі Symbol Editor спроектувати базу даних умовних символьно-графічних позначень вхідних і внутрішніх електромеханічних компонентів, які наведені в Додатку А. Засобами Patern Edidor [23], розробити базу даних конструктивів корпусів електромеханічних компонентів. Пакування умовних символьно-графічних позначень електромеханічних компонентів в конструктиви їхніх корпусів здійснити засобами підсистеми Librari Executiv. В підсистемі Shematic Editor розробити електромеханічну схему друкарської машини. При цьому здійснюється іменування всіх зв'язків електромеханічних компонентів схеми.
Типи компонентів і типи та значення параметрів компонентів електромеханічних схем друкарських машин описувати в атрибутах компонентів електромеханічних схем в середовищі підсистеми Shematic Editor. А для цього потрібно розробити відповідну правила опису в середовищі ACCEL EDA типів компонентів, типів і значень параметрів компонентів електромеханічних схем та завдання виводу результатів моделювання.
В свою чергу, вхідні дані для моделюючої програми САПР ЕМС мають строго означені формати [34], які наведені в розд.4 і поділяються на формати таких даних: параметрів вхідних компонентів; типів внутрішніх компонентів; значень параметрів внутрішніх компонентів; номерів компонентів, які підєднані до входів компонентів; номерів виходів, які підєднані до входів компонентів; результатів моделювання.
Структури даних електромеханічних схем подані pdf - файлом ACCEL EDA можуть бути перетворені в структури даних моделюючої програми, а для цього потрібно розробити транслятор. Загальна схема концепції побудови такого транслятора наведена на рис. 2.1 [80].
На загальній схемі концепції побудови транслятора (див. рис. 2.1) показано у вигляді умовних блоків формування комп'ютерно - інтегрованою системою ACCEL EDA pdf - файлу, яким, у символьному вигляді, подана структура даних електромеханічної схеми друкарської машини. А сам транслятор утворений такими блоками: початкового задання, яким описується підготування транслятора до функціонування; ідентифікації типів вхідних даних, призначеного для виявлення в pdf - файлі розділів з інформацією про електромеханічну схему; розпізнавання типів компонентів, використовуваного для ідентифікації вхідних і внутрішніх компонентів та їх діагностування з видачею повідомлень про виявлені помилки; опрацювання вхідних компонентів, який призначений для розпізнавання
ACCEL EDA
pdf - файл
символьних даних
Початкові.задання Транслятор
Індетифікація типів вхідних даних
Розпізнавання типів Встановлення компонентів зв'язків між компонентами
Опрацювання вхідних Опрацювання внутрішніх Формування
компонентів компонентів даних