RU   ENG
ДонНТУ   Портал магістрів

Реферат за темою випускної роботи "Стратегічне управління діяльністю підприємства"

Зміст

Вступ

У менеджменті організації стратегія розглядається як довгострокове, якісно визначений напрямок розвитку організації по відношенню до мети, засобів і форм її діяльності, системі взаємовідносин всередині організації, а також положенню організація по відношенню до навколишнього середовища, направляти організацію до її цілей. Стратегія-це набір правил, якими організація керується при прийнятті управлінських рішень для забезпечення реалізації місії та досягнення бізнес-цілей організації. Якщо цілі організації визначають, до чого прагне організація, чого вона хоче досягти в результаті своєї діяльності, стратегія дає відповідь на питання, як і за допомогою яких дій організація зможе досягти своїх цілей. у мінливому та конкурентному середовищі. [1]

Мета дослідження - розробка заходів щодо вдосконалення стратегії розвитку підприємства.

Задачі дослідження :

  1. Проаналізувати теоретико-методологічні засади формування та реалізація стратегії розвитку підприємства.
  2. Дослідити поточну стратегію розвитку ТОВ «ТЕХПРОМ».
  3. Розробити заходи щодо розробки стратегії розвитку ТОВ "ТЕХПРОМ" та її реалізації.
  4. Проаналізувати шкідливі фактори виробництва при роботі ПЕОМ, а також вивчити питання безпеки життєдіяльності та цивільної оборони.

Об'єкт дослідження : Амвросіївський завод азбестоцементних виробів ТОВ «ТЕХПРОМ».

Предмет дослідження : методичні підходи до розробки та вдосконалення стратегії розвитку підприємства.

1. Актуальність теми

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

Кожна організація, розробляючи індивідуальну стратегію або групу стратегій, прагне організувати свою діяльність таким чином, щоб ефективність всіх внутрішніх процесів була максимальною.

щоб визначити поведінкову стратегію організації і застосувати цю стратегію на практиці, керівництво повинно мати повне уявлення не тільки про внутрішнє середовище організації, її потенціал і тенденції розвитку, але також і про зовнішнє середовище, про тенденції її розвитку і займаному місці. організацією в ньому. У той же час зовнішнє середовище вивчається стратегічним менеджментом в основному для того, щоб виявити загрози і можливості, які організація повинна враховувати при визначенні своїх цілей і при їх досягненні.

вибір конкретного напрямку зміни стратегії означає, що з усіх можливих способів коригування стратегії, що відкрилися перед підприємством, було вирішено вибрати один напрямок, найбільш підходяще. Нові дії та підходи покажуть можливі способи змінити та трансформувати поточну стратегію.

Але не існує єдиної стратегії для всіх організацій. Кожна організація по-своєму унікальна, тому процес розробки стратегії для кожної організації індивідуальний, т. к. залежить від положення організації на ринку, динаміки її розвитку, її потенціалу, поведінки конкурентів, характеристик вироблених товарів або послуг, стану економіки, культурного середовища і т. д.

Таким чином, розробка корпоративної стратегії є актуальною проблемою і необхідним завданням для найбільш ефективної роботи організації.

2. Теоретичні аспекти формування та реалізація стратегії підприємства

4. Підхід до уніфікації синтезу автоматів Мура в базисі FPGA

Перші мікросхеми FPGA були розроблені фірмою Xilinx у 1984 році та набули великої популярності, завдяки можливості реалізації складних функцій і відносно невеликій вартості. Сучасні FPGA поєднують програмованість SPLD і CPLD, зберігаючи основну перевагу ASIC – об'єм реалізуємих функцій [27].

Неоптимізовані проекти цифрових систем, незалежно від базису реалізації, можуть мати значну надлишковість і, отже, неефективно використовувати апаратні ресурси [84]. Це приводить до актуалізації задачі апаратурної оптимізації, яка, в контексті FPGA, зводиться до зниження відсотка використання тих чи інших внутрішніх блоків: LUT-елементів (LUT – Look-Up Table), модулів пам'яті, схем синхронізації.

Апаратурно-оптимальна реалізація автоматів Мура потребує сумісного застосування результатів абстрактної і структурної теорії автоматів: мінімізації кількості станів (зменшення потужності множини станів автомата та, як наслідок, розрядності двійкового коду стану), ефективного кодування станів (зниження рівня витрат при реалізації функцій наступного стану), адаптації логічної схеми до використовуваного базису (якісне розподілення ресурсів кристалу за рахунок використання вбудованих блоків пам'яті та особливостей організації внутрішніх модулів).

У статті [97] пропонується підхід до уніфікації синтезу автоматів Мура, що поєднує вказані можливості оптимізації і направлений на базис мікросхем FPGA (рис. 1). Сутність цього підходу полягає у послідовному застосуванні алгоритмічного, комбінаторного та схемотехнічного етапів і використанні FPGA-орієнтованих інструментальних засобів: САПР і HDLs.

Підхід до уніфікації синтезу автоматів Мура

Рисунок 1 – Підхід до уніфікації синтезу автоматів Мура

На першому кроці алгоритмічного етапу синтезу, деяка специфікація автомата Мура приводиться до єдиного вигляду – таблиці переходів. Необхідність приведення пов'язана з тим, що автомат Мура може бути заданий із використанням різних форм представлення: граф-схем, діаграм станів, ASM-діаграм (ASM – Algorithmic State Machine) [13, 14, 83]. Другий крок алгоритмічного етапу полягає в мінімізації кількості станів таблиці переходів. Для цього можуть використовуватися алгоритми Бржожовські, ARNES, SMAS, CHESMIN, SLIM, HSM2, STAMINA, OPTIMIST, BICA, ISM [14, 32-43].

Комбінаторний етап направлений на ефективне кодування станів мінімізованої таблиці переходів, а також отримання апаратурно-мінімальних функцій наступного стану та, при необхідності, результуючих функций автомата. Значний вплив способу кодування станів на параметри результуючої логічної схеми зумовило розробку різних підходів, направлених на зниження витрат потужності, підвищення швидкодії, мінімізацію апаратурних витрат. Останній з цих підходів може бути використаний на комбінаторному етапі синтезу шляхом застосування, адаптації або модифікації алгоритмів MUSTANG, MUSE, FEL-Code, JEDI, NOVA, Two-Hot Encoding, DISA, унітарного та позиційно-двійкового кодування станів [44-63, 84].

Схемотехнічний етап процесу синтезу передбачає використання методів побудови логічної схеми автомата Мура, направлених на зменшення апаратурних витрат цільової мікросхеми. До таких методів відносяться тривіальні та багаторівневі реалізації, структури з перетворенням кодів об'єктів, схеми на лічильниках [84]. Оскільки сучасне цифрове проектування на мікросхемах FPGA орієнтоване на використання HDLs (в основному, VHDL і Verilog), то другим кроком схемотехнічного етапу виступає розробка HDL-програми, що описує автомат Мура та придатна для обробки відповідною САПР і завантаження до мікросхеми.

Описаний уніфікований процес синтезу може бути з успіхом реалізований автоматизовано та передбачати тільки управлінські функції користувача: опис автомата Мура та вибір використовуваних алгоритмів і структур. Крім того, представлений підхід може застосовуватися до ряду інших сучасних базисів (CPLD, ASIC) і визначати загальний напрямок оптимізаційних робіт при синтезі логічних послідовністних схем.

Для оцінки ефективності застосування уніфікованого процесу синтезу до конкретного прикладу, були розроблені п'ять Verilog-програм, що описують заданий автомат Мура [8] (рис. 2) різними способами:

  1. Реалізація немінімізованого автомата Мура за допомогою аналізатора XST (Xilinx Synthesis Technology) [98] (експеримент 1).
  2. Реалізація мінімізованого автомата Мура за допомогою аналізатора XST (експеримент 2).
  3. Реалізація мінімізованого автомата Мура за двохрівневою схемою [85] з позиційно-двійковим кодуванням станів. Використання ROM з асинхронним читанням [98] (експеримент 3).
  4. Реалізація мінімізованого автомата Мура за двохрівневою схемою з позиційно-двійковим кодуванням станів. Використання ROM з синхронним читанням [98] і додаткового сигналу синхронізації (експеримент 4).
  5. Реалізація мінімізованого автомата Мура за двохрівневою схемою з позиційно-двійковим кодуванням станів. Використання ROM з синхронним читанням і заднього фронту основного сигналу синхронізації (експеримент 5).
Діаграма станів автомата Мура

Рисунок 2 – Діаграма станів автомата Мура
(анімація: 10 кадрів, 5 циклів повторення, 160 кілобайт)
(xi – вихідні сигнали, yi – біти коду стану, zi – результуючі сигнали)

Усі дослідження проводилися за допомогою САПР Xilinx ISE 13.1 для сімейства FPGA Xilinx Spartan-3, а саме для мікросхеми XC3S200. Результати сукупних апаратурних витрат для п'яти варіантів реалізації графічно показані на рис. 3.

Результати експериментальних досліджень

Рисунок 3 – Результати експериментальних досліджень

Якщо метою оптимізації була кількість LUT-комірок, то кращий результат був отриманий при використанні двохрівневої реалізації мінімізованого автомата Мура з синхронним ROM і двома сигналами синхронізації (експеримент 4). У порівнянні з експериментом 1, кількість слайсів зменшилася в 3 рази, кількість тригерів – в 1,5 рази, а кількість LUT-комірок – в 2,5 рази. Проте, в цьому випадку збільшилася загальна кількість виводів схеми, кількість сигналів синхронізації і був задіяний один модуль RAM (Random Access Memory).

Висновки

Якісний синтез цифрових систем, і автоматів Мура зокрема, є одним з напрямів логічного проектування й представляє не тільки теоретико-дослідницький, але й практичний інтерес. Розробка оптимальних цифрових пристроїв відкриває шлях до більш повного використання можливостей базису реалізації, «зщільнення» проектів, зменшення матеріальних витрат.

Магістерська робота присвячена актуальній науковій задачі об'єднання основних методів апаратурної мінімізації автоматів Мура. В рамках проведених досліджень виконано:

  1. Розроблена структура уніфікованого процесу синтезу автоматів Мура та визначені функції її складових.
  2. На підставі аналізу літературних джерел виділені основні алгоритми, що можуть бути використані в запропонованому підході до уніфікації синтезу автоматів Мура.
  3. Проведений ряд експериментів по використанню уніфікованого процесу синтезу автоматів Мура, проаналізовані отримані результати.
  4. Розглянуті можливості комплексної автоматизації розробленого підходу до уніфікації синтезу автоматів Мура, оцінені вимоги до програмного забезпечення, виконаний пошук функціонально подібних програмних продуктів синтезу послідовністних логічних схем.

Подальші дослідження направлені на наступні аспекти:

  1. Якісне вдосконалення запропонованого підходу до уніфікації синтезу автоматів Мура, його доповнення та розширення.
  2. Визначення границь ефективності різних варіантів основних етапів уніфікованого процесу синтезу автоматів Мура.
  3. Адаптація відомих методів побудови логічних схем автоматів Мура до базису FPGA.
  4. Розробка кросплатформової і функціональної системи автоматизованого проектування автоматів Мура (САПРАМ), що реалізує запропонований уніфікований процес синтезу.

При написанні даного реферату магістерська робота ще не завершена. Остаточне завершення: грудень 2011 року. Повний текст роботи та матеріали по темі можуть бути отримані у автора або його керівника після вказаної дати.

Перелік посилань

  1. Moore E.F. Gedanken-experiments on sequential machines / E.F. Moore // Automata studies, Annals of mathematical studies. – 1956. – vol. 34. – pp. 129-153.
  2. Гилл А. Введение в теорию конечных автоматов / А. Гилл. – М.: Наука, 1966. – 272 с.
  3. Миллер Р. Теория переключательных схем / Р. Миллер. – М.: Наука, 1971. – Том 2: Последовательностные схемы и машины. – 304 с.
  4. Минский М. Вычисления и автоматы / М. Минский. – М.: Мир, 1971. – 364 с.
  5. Хопкрофт Д. Введение в теорию автоматов, языков и вычислений / Д. Хопкрофт, Р. Мотвани, Д. Ульман. – М.: Издательский дом «Вильямс», 2002. – 528 с.
  6. Ito M. Algebraic theory of automata and languages / M. Ito. – World Scientific Publishing, 2004. – 199 pp.
  7. Голдсуорт Б. Проектирование цифровых логических устройств / Б. Голдсуорт. – М.: Машиностроение, 1985. – 288 с.
  8. Уилкинсон Б. Основы проектирования цифровых схем / Б. Уилкинсон. – М.: Издательский дом «Вильямс», 2004. – 320 с.
  9. Уэйкерли Д. Проектирование цифровых устройств / Д. Уэйкерли. – М.: Постмаркет, 2002. – Том 2. – 528 с.
  10. Breeding K. Digital design fundamentals / K. Breeding. – Prentice Hall, 1992. – 446 pp.
  11. Holdsworth B. Digital logic design / B. Holdsworth, C. Woods. – Prentice Hall, 2002. – 519 pp.
  12. Lala P. Principles of modern digital design / P. Lala. – Wiley, 2007. – 419 pp.
  13. Mano M. Digital design / M. Mano. – Prentice Hall, 2003. – 516 pp.
  14. Nelson V. Digital logic circuit analysis and design / V. Nelson, H. Nagle, J. Irwin, B. Carroll. – Prentice Hall, 1995. – 842 pp.
  15. Shiva S. Introduction to logic design / S. Shiva. – CRC Press, 1998. – 628 pp.
  16. Singh A. Foundation of switching theory and logic design / A. Singh. – New Age International, 2008. – 412 pp.
  17. Поляков А.К. Языки VHDL и VERILOG в проектировании цифровой аппаратуры / А.К. Поляков. – М.: СОЛОН-Пресс, 2003. – 320 с.
  18. Ashenden P. Digital design: an embedded systems approach using Verilog / P. Ashenden. – Morgan Kaufmann Publishers, 2008. – 557 pp.
  19. Chu P. FPGA prototyping by Verilog examples / P. Chu. – Wiley, 2008. – 488 pp.
  20. Ciletti M. Advanced digital design with the Verilog HDL / M. Ciletti. – Prentice Hall, 2005. – 986 pp.
  21. Minns P. FSM-based digital design using Verilog HDL / P. Minns, I. Elliott. – Wiley, 2008. – 391 pp.
  22. Lee J. Verilog quickstart: a practical guide to simulation and synthesis in Verilog / J. Lee. – Springer, 2002. – 355 pp.
  23. Lee W. Verilog coding for logic synthesis / W. Lee. – Wiley, 2003. – 336 pp.
  24. Padmanabhan T. Design through Verilog HDL / T. Padmanabhan, B. Bala Tripura Sundari. – Wiley, 2004. – 455 pp.
  25. Palnitkar S. Verilog HDL. A guide to digital design and synthesis / S. Palnitkar. – SunSoft Press, 1996. – 396 pp.
  26. Грушвицкий Р.И. Проектирование систем на микросхемах программируемой логики / Р.И. Грушвицкий, А.Х. Мурсаев, Е.П. Угрюмов. – СПб.: БХВ-Петербург, 2002. – 608 с.
  27. Максфилд К. Проектирование на ПЛИС. Курс молодого бойца / К. Максфилд. – М.: Издательский дом «Додэка-XXI», 2007. – 408 с.
  28. Grout I. Digital systems design with FPGAs / I. Grout. – Elsevier, 2008. – 724 pp.
  29. Zeidman B. Designing with FPGAs and CPLDs / B. Zeidman. – Elsevier, 2002. – 224 pp.
  30. Баранов С.И. Синтез микропрограммных автоматов (граф-схемы и автоматы) / С.И. Баранов. – Л.: Энергия, 1979. – 232 с.
  31. Глушков В.М. Синтез цифровых автоматов / В.М. Глушков. – М.: Государственное издательство физико-математической литературы, 1962. – 476 с.
  32. Avedillo M.J. New approach to the state reduction in incompletely specified sequential machines / M.J. Avedillo, J.M. Quintana, J.L. Huertas // Proceedings of IEEE International Symposium on Circuits and Systems. – New Orleans, 1990. – pp. 440-443.
  33. Avedillo M.J. SMAS: a program for the concurrent state reduction and state assignment of finite state machines / M.J. Avedillo, J.M. Quintana, J.L. Huertas // Proceedings of IEEE International Symposium on Circuits and Systems. – 1991. – vol. 3. – pp. 1781-1784.
  34. Champarnaud J.-M. Split and minimizing: Brzozowski's algorithm / J.-M. Champarnaud, A. Khorsi, T. Paranthoen // Prague Stringology Conference. – Prague, 2002. – pp. 96-104.
  35. Goren S. CHESMIN: a heuristic for state reduction in incompletely specified finite state machines / S. Goren, F. Ferguson // Proceedings of the Conference on Design, Automation and Test in Europe. – 2002. – pp. 248-254.
  36. Higuchi H. A fast state reduction algorithm for incompletely specified finite state machines / H. Higuchi, Y. Matsunaga // 33rd Annual Conference of Design Automation. – Las Vegas, 1996. – pp. 463-466.
  37. Hu H. HSM2: a new heuristic state minimization algorithm for finite state machine / H. Hu, H.-X. Xue, J.-N. Bian // Journal of Computer Science and Technology. – 2004. – № 19 (5). – pp. 729-733.
  38. Rho J.-K. Exact and heuristic algorithms for the minimization of incompletely specified state machines / J.-K. Rho, G. Hachtel, F. Somenzi, R. Jacoby // IEEE Transactions on Computer-Aided Design. – 1994. – vol. 13. – pp. 167-177.
  39. Xu Y. Describing an n log n algorithm for minimizing states in deterministic finite automaton [Электронный ресурс]. – Режим доступа: http://www.cs.sun.ac.za....
  40. Fuhrer R.M. OPTIMIST: state minimization for optimal 2-level logic implementation / R.M. Fuhrer, S.M. Nowick // Proceedings of International Conference of Computer-Aided Design. – 1997. – pp. 308-315.
  41. Pena J.M. A new algorithm for exact reduction of incompletely specified finite state machines / J.M. Pena, A.L. Oliveira // IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. – 1999. – vol. 18 (11). – pp. 1619-1632.
  42. Kam T. A fully implicit algorithm for exact state minimization / T. Kam, T. Villa, R. Brayton, A. Sangiovanni-Vincentelli // Proceedings of the Design Automation Conference. – 1994. – pp. 684-690.
  43. Almeida M. On the performance of automata minimization algorithms / M. Almeida, N. Moreira, R. Reis // Technical Report Series: DCC-2007-03. – 2007. – 12 pp.
  44. Slusarczyk A. State assignment techniques – short review [Электронный ресурс]. – Режим доступа: http://web.cecs.pdx.edu/~mperkows....
  45. De Micheli G. KISS: a program for optimal state assignment of finite state machines / G. De Micheli, R. Brayton, A. Sangiovanni-Vincentelli // Proceedings of IEEE International Conference of Computer-Aided Design. – Santa Clara, 1984. – pp. 209-211.
  46. De Micheli G. Optimal state assignment for finite state machines / G. De Micheli, R. Brayton, A. Sangiovanni-Vincentelli // IEEE Transactions on Computer-Aided Design. – 1985. – pp. 269-285.
  47. De Micheli G. Optimal encoding of control logic / G. De Micheli // Proceedings of the International Conference on Circuits and Computer Design. – 1984. – pp. 16-22.
  48. El-Maleh A. Finite state machine state assignment for area and power minimization / A. El-Maleh, S.M. Sait, F.N. Khan // Proceedings of IEEE International Symposium on Circuits and Systems. – 2006. – pp. 5303-5306.
  49. Devadas S. MUSTANG: state assignment of finite state machines targeting multilevel logic implementations / S. Devadas, H.-K. Ma, A.R. Newton, A. Sangiovanni-Vincentelli // IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. – 1998. – vol. 7 (12). – pp. 1290-1300.
  50. Du X. MUSE: a multilevel symbolic encoding algorithm for state assignment / X. Du, G. Hachtel, B. Lin, A.R. Newton // IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. – 1991. – vol. 10 (1). – pp. 28-38.
  51. Kubatova H. FEL-Code: FSM internal state encoding method / H. Kubatova, M. Becvar // Proceedings of 5th International Workshop on Boolean Problems. – Freiberg, 2002. – pp. 109-114.
  52. Lin B. Synthesis of multiple level logic from symbolic high-level description languages / B. Lin, A.R. Newton // Proceedings of the International Conference on VLSI. – Munich, 1989. – pp. 187-196.
  53. Villa T. NOVA: state assignment of finite-state machines for optimal two-level logic implementation / T. Villa, A. Sangiovanni-Vincentelli // IEEE Transactions on Computer-Aided Design. – 1990. – pp. 905-924.
  54. Gupta, B.N.V.M. A state assignment scheme targeting performance and area / B.N.V.M. Gupta, H. Narayanan, M.P. Desai // Proceedings of 12th International Conference on VLSI Design. – 1999. – pp. 378-383.
  55. Martinez M. A dynamic model for the state assignment problem / M. Martinez, M.J. Avedillo, J.M. Quintana, J.L. Huertas // Proceedings of Design, Automation and Test in Europe. – Paris, 1998. – pp. 835-839.
  56. Golson S. One-hot state machine design for FPGAs / S. Golson // Proceedings of the 3rd PLD Design Conference. – Santa Clara, 1993. – pp. 1-6.
  57. Almaini A. State assignment of finite state machines using a genetic algorithm / A. Almaini, J. Miller, P. Thomson, S. Billina // IEEE Proceedings on Computer and Digital Techniques. – 1995. – pp. 279-286.
  58. Amaral J. Designing genetic algorithms for the state assignment problem / J. Amaral, K. Turner, J. Chosh // IEEE Transactions on Systems, Man, and Cybernetics. – 1995. – vol. 25. – pp. 659-694.
  59. Chyzy M. Evolutionary algorithm for state assignment of finite state machines / M. Chyzy, W. Kosinski // Artificial Intelligence Methods. – Gliwice, 2003. – pp. 51-52.
  60. Nedjah N. Evolutionary synthesis of synchronous finite state machines / N. Nedjah, L.M. Mourelle // Evolvable Machines. – Berlin, 2004. – pp. 103-128.
  61. Chattopadhyay S. Area conscious state assignment with flip-flop and output polarity selection for finite state machine synthesis – a genetic algorithm approach / S. Chattopadhyay // The Computer Journal. – 2005. – vol. 48 (4). – pp. 443-450.
  62. Hasteer G. Parallel algorithms for state assignment of finite state machines. Master's thesis. – University of Illinois, 1996. – 58 pp.
  63. Bader D.A. A parallel state assignment algorithm for finite state machines / D.A. Bader, K. Madduri // Proceedings of IEEE Conference on High-Performance Computing. – Bangalore, 2004. – pp. 297-308.
  64. Sklyarov V. Synthesis and implementation of RAM-based finite state machines in FPGAs / V. Sklyarov // Proceedings of Conference on Field Programmable Logic. – Villach, 2000. – pp. 718-728.
  65. Barkalov A. Optimization of Moore FSM implemented with CPLD based on PAL macrocells / A. Barkalov, L. Titarenko, S. Chmielewski // Радиотехника. – 2008. – № 155. – pp. 191-195.
  66. Bukowiec A. State machines synthesis and implementation into FPGAs with multiple encoding of states / A. Bukowiec, A. Barkalov, L. Titarenko // Radioelectronics and Informatics. – 2008. – № 4. – pp. 43-48.
  67. Czerwinski R. Synthesis of finite state machines for CPLDs / R. Czerwinski, D. Kania // International Journal of Applied Mathematics and Computer Science – Special Section: Robot Control Theory. – 2009. – vol. 19 (4). – pp. 647-659.
  68. Selvaraj H. FSM implementation in embedded memory blocks of programmable logic devices using functional decomposition / H. Selvaraj, M. Rawski, T. Luba // Proceedings of International Conference on Information Technology: Coding and Computing. – Las Vegas, 2002. – pp. 355-360.
  69. Barkalov A. Synthesis of Moore finite state machine with nonstandard presentation of state codes / A. Barkalov, L. Titarenko, O. Hebda // Proceedings of KNWS'2010. – Swinoujscie, 2010. – pp. 11-14.
  70. Perkowski M. Digital design automation – finite state machine design [Электронный ресурс]. – Режим доступа: http://web.cecs.pdx.edu/~mperkows....
  71. Sentovich E.M. SIS: a system for sequential circuit synthesis / E.M. Sentovich, K.J. Singh, L. Lavagno, C. Moon, R. Murgai, A. Saldanha, H. Savoj, P.R. Stephan, R.K. Brayton, A. Sangiovanni-Vincentelli // Technical Report UCB/ERL M92/41. – Berkley, 1992. – 52 pp.
  72. Защелкин К.В. Информационная технология автоматизированного проектирования цифровых управляющих устройств / К.В. Защелкин, Е.Н. Иванова // Электромашиностроение и электрооборудование. – 2009. – № 72. – С. 68-72.
  73. Николенко А.А. Алгоритмические особенности автоматизированного проектирования микропрограммных автоматов / А.А. Николенко, Ю.А. Ковалев, К.В. Защелкин // Электромашиностроение и электрооборудование. – 2000. – № 54. – С. 91-95.
  74. Полин Е.Л. Абстрактные композиционные автоматы / Е.Л. Полин, К.В. Защелкин // Труды Одесского политехнического университета. – Одесса, 2006. – № 1 (25). – С. 88-94.
  75. Полин Е.Л. Параллельная модель языка граф-схем алгоритмов и ее интерпретация абстрактными автоматами / Е.Л. Полин, К.В. Защелкин // Электромашиностроение и электрооборудование. – 2005. – № 65. – С. 70-79.
  76. Полин Е.Л. Язык кластерных граф-схем алгоритмов и основанный на нем метод синтеза цифровых управляющих устройств / Е.Л. Полин, К.В. Защелкин // Электромашиностроение и электрооборудование. – 2008. – № 71. –С. 68-73.
  77. Vasiltsov I. Evolutionary technique to elementary coding of the internal states of the state machine / I. Vasiltsov // Proceedings of the 2002 NASA/DoD Conference on Evolvable Hardware. – 2002. – pp. 63-64.
  78. Шувалова Л.А. Структура программного комплекса синтеза и верификации моделей цифровых автоматов / Л.А. Шувалова, Д.Н. Моамар, Т.Ю. Уткина // Системи обробки інформації. – Харьков, 2010. – № 5. – С. 149-152.
  79. Сердюк С.М. Аналізатор скінченних цифрових автоматів / С.М. Сердюк // Вісник Житомирського державного технологічного університету. – Житомир, 2010. – № 1 (52). – С. 146-151.
  80. Жабин В.И. Исследование методов построения вычислительных устройств на основе FPGA / В.И. Жабин, Н.А. Ковалев // Технология и конструирование в электронной аппаратуре. – 2002. – № 2. – С. 35-39.
  81. Опанасенко В.Н. Проектирование и физическая верификация цифровых устройств на ПЛИС / В.Н. Опанасенко, А.Н. Лисовый, Е.В. Сорока // Комп'ютерні засоби, мережі та системи. – 2008. – № 7. – С. 76-85.
  82. Опанасенко В.М. Формалізація процесу проектування обчислювальних пристроїв та систем на базі ПЛІС / В.М. Опанасенко, О.М. Лісовий // Комп'ютерні засоби, мережі та системи. – 2009. – № 8. – С. 58-63.
  83. Barkalov A.A. Synthesis of operational and control automata / A.A. Barkalov, L.A. Titarenko. – Donetsk: DonNTU, TechPark DonNTU UNITECH, 2009. – 256 pp.
  84. Баркалов А.А. Синтез микропрограммных автоматов на заказных и программируемых СБИС / А.А. Баркалов, Л.А. Титаренко. – Донецк: ДонНТУ, Технопарк ДонНТУ УНИТЕХ, 2009. – 336 с.
  85. Баркалов А.А. Синтез устройств управления на программируемых логических устройствах / А.А. Баркалов. – Донецк: ДонНТУ, 2002. – 262 с.
  86. Баркалов А.А. Оптимизация схемы МПА Мура на CPLD / А.А. Баркалов, С.А. Ковалев, С.А. Цололо // Материалы Восьмого международного научно-практического семинара «Практика и перспективы развития партнерства в сфере высшей школы». – Донецк-Таганрог, 2007. – Том 3. – С. 26-36.
  87. Баркалов А.А. Оптимизация логической схемы автомата Мура на FPGA / А.А. Баркалов, А.А. Красичков, С.А. Цололо // Наукові праці ДонНТУ. – Донецк, 2006. – (Серия «Проблеми моделювання та автоматизації проектування динамічних систем»). – № 5 (116). – С. 162-168.
  88. Баркалов А.А. Оптимизация логической схемы автомата Мура на CPLD / А.А. Баркалов, А.В. Матвиенко, С.А. Цололо // Комп'ютерні засоби, мережі та системи. – 2007. – № 6. – С. 46-51.
  89. Баркалов А.А. Оптимизация схемы автомата Мура на однородных ПЛИС / А.А. Баркалов, А.В. Матвиенко, С.А. Цололо // Комп'ютерні засоби, мережі та системи. – 2009. – № 8. – С. 45-51.
  90. Баркалов А.А. Исследование смешанного кодирования состояний для автомата Мура / А.А. Баркалов, В.А. Саломатин, А.А. Красичков, С.А. Цололо // Материалы III научно-практической конференции «Донбас-2020: наука і техніка – виробництву». – Донецк, 2006. – С. 459-562.
  91. Баркалов А.А. Матричная реализация автомата Мура с кодированием наборов микроопераций / А.А. Баркалов, Р.В. Мальчева, К.А. Солдатов // Наукові праці ДонНТУ. – Донецк, 2010. – (Серия «Проблеми моделювання та автоматизації проектування»). – № 8 (168). – С. 133-143.
  92. Баркалов А.А. Матричная реализация автомата Мура с расширением кодов состояний перехода / А.А. Баркалов, Р.В. Мальчева, К.А. Солдатов // Наукові праці ДонНТУ. – Донецк, 2010. – (Серия «Інформатика, кібернетика та обчислювальна техніка»). – № 11 (164). – С. 79-83.
  93. Баркалов А.А. Адаптация MDA для моделирования управляющих автоматов в стандартах UML / А.А. Баркалов, И.Я. Зеленёва, А.А. Гриценко // Радіоелектроніка, інформатика, управління. – Запорожье, 2006. – № 1 (15). – С. 33-37.
  94. Баркалов А.А. Проектирование и реализация цифровых систем управления с использованием MDA / А.А. Баркалов, И.Я. Зеленёва, А.А. Гриценко // Материалы III научно-практической конференции «Донбас-2020: наука і техніка – виробництву». – Донецк, 2006. – С. 463-467.
  95. Баркалов А.А. Синтез управляющих автоматов с использованием распределенных и параллельных систем // А.А. Баркалов, И.Я. Зеленёва, А.А. Гриценко // Радіоелектроніка, інформатика, управління. – Запорожье, 2010. – № 1 (22). – С. 128-134.
  96. Баркалов А.А. Модельно-ориентированный подход к разработке САПР управляющих автоматов / А.А. Баркалов, И.Я. Зеленёва, С.А. Ковалев, А.А. Гриценко // Материалы Пятого международного научно-практического семинара «Практика и перспективы развития партнерства в сфере высшей школы». – Донецк-Таганрог, 2006. – Том 1. – С. 38-43.
  97. Ковалев С.А. Подход к унификации процесса синтеза МПА Мура для FPGA / С.А. Ковалев, И.Я. Зеленёва, Е.Р. Татолов // Материалы Двенадцатого международного научно-практического семинара «Практика и перспективы развития партнерства в сфере высшей школы». – Донецк-Таганрог, 2011. – Том 2. – С. 45-48.
  98. XST User Guide for Virtex-4, Virtex-5, Spartan-3, and Newer CPLD Devices [Электронный ресурс]. – Режим доступа: http://www.xilinx.com/support....