Алгебраїчна характеристика класу  матричних перетворень та її апаратна  реалізація

Анотація

У даній роботі на основі примітивних програмних алгебр виводиться алгебраїчна характеристика класу матричних перетворень методом ізоморфних відображень на алгебраїчну характеристику классу векторних перетворень. В роботі також описано апаратну реалізацію прискорювача матричних операцій на основі отриманих даних. Актуальність роботи обумовлена тим, що сьогодні відбувається стрімке проникнення  комп'ютерних технологій в усі сфери життєдіяльності соціуму і, як наслідок, кількість даних, які потрібно опрацювати за одиницю часу постійно зростає. Велика кількість задач, пов’язаних зі значними об’ємами складних обчислень вирішується мето дами, що ґрунтуються на матричних операціях. Тож дослідження матричних обчислень та їх прискорення є досить важливою задачею. У даній роботі в якості внеску в даному напрямку пропонується  дослідження класу матричних перетворень за допомогою сигнатурних операцій примітивної програмної алгебри – багатомісної суперпозиції,  галуження й циклування, що представляють собою уточнення найбільш поширених управлінських структур у більшості високорівневих мов програмування, а також ізоморфного відображення. Сигнатурні операції примітивної програмної алгебри в поєднанні з базовими частково-рекурсивними матричними функціями та предикатами дозволяють реалізувати множину усіх частково-рекурсивних матричних функцій та предикатів. Отримано резуль тат про базис матричної примітивної програмної алгебри. Ізоморфізм забезпечує відтворення частково-рекурсивних функцій та предикатів для матричних перетворень як образів частково-рекурсивних векторних функцій та предикатів. Повноту алгебраїчної системи матричних перетворень забезпечено завдяки наявним результатам по виведенню повноти алгебраїчної системи для векторних перетворень. Створена іменна модель матричних даних, оптимізована під використання в розробці апаратної реалізації. В апаратній реалізації забезпечена підтримка сигнатурних операцій примітивної програмної алгебри та реалізована апаратна підтримка ізоморфного відображення.  Реалізована апаратна підтримка функцій суми, множення та транспонування матриць, а також предиката рівності двох матриць. Підтримка сигнатурних операцій примітивної програмної алгебри забезпечується проектуванням контролюючої частини матричного обчислювального апарату на основі архітектури RISC. В основі апаратної підтримки ізоморфізму лежать лічильники, вони дозволяють інтуїтивно реалізувати циклування у функціях ізоморфних відображень. Швидке виконання векторних операцій забезпечується принципом комп’ютерних обчис лень SIMD. 

Ключові слова

Посилання

1. A. V. Horyelov, I. V. Redʹko, P. O. Yahanov, “Kompozytsiyni zasady prohramist·sʹkoyi diyalʹnosti” Visnyk Kyyivsʹkoho natsionalʹnoho universytetu tekhnolohiy ta dyzaynu. Seriya "tekhnichni nauky". no. 3 (86), pp. 11-19, 2015.
2. Redko D. I., Redko I. V., Yahanov P. O., Zakharchenko T. L. “Compositional basis in programmer activity” Systems research and information technology, no. 4, pp. 83-96, 2015
3. D. B. Buy and I. V. Redko, “Primitivnyie Programmnyie Algebryi Vyichislimyih Funktsiy,” Kibernetika, vol. 3, pp. 68–74, 1987.
4. Redko I. V., Redko D. I., Zakharchenko T. L. Kontseptolohichni osnovy proektuvannia [Conceptological foundations of designing]. Kyiv:Comprint Publ, 2016.
5. Devid M. Kharris, Sara L. Kharris. Tsifrovaya skhemotekhnika i arkhitektura komp'yutera, vtoroye izdaniye. 2013. ISBN 978-0-12-394424-5
6. Joseph Yiu. The Definitive Guide to ARM Cortex-M3 and Cortex-M4 Processors, third edition. 2014. 675 c. ISBN: 978-0-12-408082-9

Ліцензія

Авторське право (c) 2026 Станіслав В. Кудлай (Автор)