Дисертацію присвячено вивченню зображень вільних груп та напівгруп автоматними перетвореннями над скінченними алфавітами. Розвинуто техніку обчислень у вінцевих добутках за нескінченними послідовностями напівгруп перетворень. Доведено, що у сенсі Бера "більшість" скінченно породжених піднапівгруп напівгрупи автоматних перетворень над скінченним алфавітом є вільними. Побудовано континуальну серію прикладів вільних напівгруп автоматних підстановок. Знайдено зображення вільних неабелевих груп рангу 2 як скінченними, так і нескінченними автоматами над двоелементним алфавітом. Описано відношення Гріна в напівгрупі автоматних перетворень над скінченним алфавітом.

  Скачати повний текст

Розроблено нові ефективні моделі та методи, призначені для використання в САПР цифрових керуючих пристроїв (ЦКП). На основі відомої ознаки жорсткості моделі та новоутворених ознак її ширини та загальності розроблено класифікацію моделей керування та цифрових обчислювальних систем (ЦОС). Визначено місце традиційних моделей керування ЦОС у даній класифікації, виявлено їх недоліки. Показано недосконалість методів проектування, розроблених з використанням традиційних моделей керування ЦОС. Запропоновано нові моделі низького та високого рівнів для ЦКП, в яких усунуто виявлені недоліки традиційних моделей. Розроблено ефективні методи синтезу ЦКП за його описом на основі нових моделей керування ЦОС. Удосконалено методи оптимального кодування станів цифрового автомата, впровадження яких сприяє зменшенню апаратних витрат на реалізацію функції переходів ЦКП. Розроблено інформаційну технологію автоматизованого проектування ЦКП, в якій об'єднано традиційні й нові моделі та методи в єдиний формалізований процес, спрямований на підвищення ефективності кінцевого результату. Здійснено практичну апробацію розробленої інформаційної технології в САПР ЦКП.

  Скачати повний текст

Висвітлено питання проектування моделей цифрових керуючих автоматів, поведінку яких представлено на мові VHDL. Для дотримання стандарту VHDL розроблено моделі змістовних графів переходів цифрових автоматів, орієнтованих на технологічне рішення задач генерації тестів, перевірки справності та верифікаційного моделювання. Запропоновано стратегію тестування керуючого автомата, яка містить чотири алгоритми обходу верхівок та дуг графа; модифікований П-алгоритм для знаходження рішень у вигляді вхідних наборів, які приводять автомат у необхідний стан. Моделі опису, генерації тестів реалізовано у вигляді програмного продукту ASFTEST, який сумісний з системою Active - HDL і підтримує стандарти мов Active, Verilog.

  Скачати повний текст