Избранные Web-ресурсы по теме магистерской работы

Материалы магистров ДонНТУ

1. Автоматизированное проектирование микропрограмных автоматов Мура с преобразованием кодов объектов в базисе FPGA
   
   Автор: Боровлев А.С.
   
   Научный руководитель: Баркалов А.А.
   
   Описание: Реферат к магистерской работе.
   
   
2. Автоматизированное проектирование микропрограммных автоматов Мили с преобразованием объектов в базисе FPGA
   
   Автор: Силуанов А.Ф.
   
   Научный руководитель: Баркалов А.А.
   
   Описание: Реферат к магистерской работе.
   
   
3. Исследование методов синтеза устройств управления на программируемых пользователем вентильных матрицах
   
   Автор: Цололо С.А.
   
   Научный руководитель: Баркалов А.А.
   
   Описание: Реферат к магистерской работе.
   
   
4. Исследование структур управляющих автоматов с элементаризацией линейных последовательностей состояний
   
   Автор: Бережок А.Ю.
   
   Научный руководитель: Зеленёва И.Я.
   
   Описание: Реферат к магистерской работе.
   
   
5. Разработка методов синтеза микропрограммных автоматов Мили с кодированием объектов
   
   Автор: Костянок Т.Н.
   
   Научный руководитель: Баркалов А.А.
   
   Описание: Реферат к магистерской работе.
   
   
6. Исследование 4-х уровневой схемы управляющего автомата Мили в базисе стандартных БИС
   
   Автор: Малюк Е.В.
   
   Научный руководитель: Зеленёва И.Я.
   
   Описание: Реферат к магистерской работе.
   
   
7. Исследования управляющих автоматов с жесткой логикой на ПЛИС
   
   Автор: Якубовский А.В.
   
   Научный руководитель: Красичков А.А.
   
   Описание: Реферат к магистерской работе.
   
   
8. Автоматизация синтеза управляющих автоматов Мили на FPGA
   
   Автор: Выприцкая П.А.
   
   Научный руководитель: Красичков А.А.
   
   Описание: Реферат к магистерской работе.
   
   
9. Реализация параллельных управляющих автоматов с жесткой логикой на FPGA
   
   Автор: Нечепуренко А.Ю.
   
   Научный руководитель: Красичков А.А.
   
   Описание: Реферат к магистерской работе.
   
   
10. Исследование методов оптимизации управляющего автомата Мура на счетчике в базисе стандартных БИС
    
    Автор: Томах Д.В.
    
    Научный руководитель: Зеленёва И.Я.
    
    Описание: Реферат к магистерской работе.
    
    
11. Разработка и исследование двухуровневых структур микропрограммных устройств управления на базе микросхем семейства CoolRunner-II
    
    Автор: Первак С.В.
    
    Руководитель: Зеленёва И.Я.
    
    Описание: Реферат к магистерской работе.
    
    
12. Синтез автомата Мура с расширением кодов состояний перехода
    
    Автор: Солдатов К.А.
    
    Руководители: Баркалов А.А., Мальчева Р.В.
    
    Описание: Реферат к магистерской работе.
    
    
13. Разработка и исследование управляющего автомата Мили с формирователем адреса в базисе CPLD
    
    Автор: Толкачев Д.О.
    
    Руководитель: Зеленёва И.Я.
    
    Описание: Реферат к магистерской работе.

Минимизация состояний конечных автоматов

14. New approach to the state reduction in incompletely specified sequential machines
    
    Авторы: Avedillo M.J., Quintana J.M., Huertas J.L.
    
    Описание: Алгоритм ARNES минимизации количества состояний частичных конечных автоматов.
    
    
15. SMAS: a program for the concurrent state reduction and state assignment of finite state machines
    
    Авторы: Avedillo M.J., Quintana J.M., Huertas J.L.
    
    Описание: Алгоритм SMAS минимизации и кодирования состояний конечных автоматов.
    
    
16. CHESMIN: a heuristic for state reduction in incompletely specified finite state machines
    
    Авторы: Goren S., Ferguson F.
    
    Описание: Эвристический алгоритм CHESMIN минимизации количества состояний частичных конечных автоматов.
    
    
17. HSM2: a new heuristic state minimization algorithm for finite state machine
    
    Авторы: Hu H., Xue H.-X., Bian J.-N.
    
    Описание: Эвристический алгоритм HSM2 минимизации количества состояний конечных автоматов.
    
    
18. Exact and heuristic algorithms for the minimization of incompletely specified state machines
    
    Авторы: Rho J.-K., Hachtel G., Somenzi F., Jacoby R.
    
    Описание: Алгоритм STAMINA минимизации количества состояний конечных автоматов.
    
    
19. Describing an n log n algorithm for minimizing states in deterministic finite automaton
    
    Автор: Xu Y.
    
    Описание: Алгоритм Хопкрофта минимизации количества состояний конечных автоматов.
    
    
20. OPTIMIST: state minimization for optimal 2-level logic implementation
    
    Авторы: Fuhrer R.M., Nowick S.M.
    
    Описание: Алгоритм OPTIMIST минимизации количества состояний частичных конечных автоматов.
    
    
21. A new algorithm for exact reduction of incompletely specified finite state machines
    
    Авторы: Pena J.M., Oliveira A.L.
    
    Описание: Алгоритм BICA минимизации количества состояний частичных конечных автоматов.
    
    
22. A fully implicit algorithm for exact state minimization
    
    Авторы: Kam T., Villa T., Brayton R., Sangiovanni-Vincentelli A.
    
    Описание: Алгоритм ISM минимизации количества состояний частичных конечных автоматов.
    
    
23. On the performance of automata minimization algorithms
    
    Авторы: Almeida M., Moreira N., Reis R.
    
    Описание: Сравнительный анализ эффективности алгоритмов минимизации количества состояний конечных автоматов.

Кодирование состояний конечных автоматов

24. Optimal state assignment for finite state machines
    
    Авторы: De Micheli G., Brayton R., Sangiovanni-Vincentelli A.
    
    Описание: Алгоритм KISS кодирования состояний конечных автоматов.
    
    
25. KISS: a program for optimal state assignment of finite state machines
    
    Авторы: De Micheli G., Brayton R., Sangiovanni-Vincentelli A.
    
    Описание: Программная реализация алгоритма KISS кодирования состояний конечных автоматов.
    
    
26. Optimal encoding of control logic
    
    Автор: De Micheli G.
    
    Описание: Способы оптимального кодирования состояний устройств управления, представленных конечными автоматами.
    
    
27. Finite state machine state assignment for area and power minimization
    
    Авторы: El-Maleh A., Sait S.M., Khan F.N.
    
    Описание: Алгоритм кодирования состояний конечных автоматов, направленный на минимизацию аппаратурных затрат и потребления мощности.
    
    
28. MUSTANG: state assignment of finite state machines targeting multilevel logic implementations
    
    Авторы: Devadas S., Ma H.-K., Newton A.R., Sangiovanni-Vincentelli A.
    
    Описание: Алгоритм MUSTANG кодирования состояний конечных автоматов.
    
    
29. MUSE: a multilevel symbolic encoding algorithm for state assignment
    
    Авторы: Du X., Hachtel G., Lin B., Newton A.R.
    
    Описание: Алгоритм MUSE кодирования состояний конечных автоматов.
    
    
30. FEL-Code: FSM internal state encoding method
    
    Авторы: Kubatova H., Becvar M.
    
    Описание: Алгоритм FEL-Code кодирования состояний конечных автоматов.
    
    
31. A state assignment scheme targeting performance and area
    
    Авторы: Gupta B.N.V.M., Narayanan H., Desai M.P.
    
    Описание: Алгоритм Two-Hot Encoding кодирования состояний конечных автоматов.
    
    
32. One-hot state machine design for FPGAs
    
    Авторы: Golson S.
    
    Описание: Применение метода унитарного кодирования состояний при синтезе конечных автоматов на FPGA.
    
    
33. State assignment of finite state machines using a genetic algorithm
    
    Авторы: Almaini A., Miller J., Thomson P., Billina S.
    
    Описание: Генетический алгоритм поиска оптимального варианта кодирования состояний конечного автомата.
    
    
34. Designing genetic algorithms for the state assignment problem
    
    Авторы: Amaral J., Turner K., Chosh J.
    
    Описание: Генетический алгоритм решения проблемы оптимального кодирования состояний конечных автоматов.
    
    
35. Area conscious state assignment with flip-flop and output polarity selection for finite state machine synthesis – a genetic algorithm approach
    
    Автор: Chattopadhyay S.
    
    Описание: Генетический алгоритм кодирования состояний, выбора направления нумерования битов кода состояния и направления нумерования основных выходов конечных автоматов.
    
    
36. Evolutionary technique to elementary coding of the internal states of the state machine
    
    Автор: Vasiltsov I.
    
    Описание: Эволюционный подход к кодированию состояний конечных автоматов.
    
    
37. Parallel algorithms for state assignment of finite state machines
    
    Автор: Hasteer G.
    
    Описание: Параллельные алгоритмы ProperSTATE и ProperJEDI кодирования состояний конечных автоматов.
    
    
38. A parallel state assignment algorithm for finite state machines
    
    Авторы: Bader D.A., Madduri K.
    
    Описание: Параллельный алгоритм кодирования состояний конечных автоматов, предназначенный для выполнения на SMP-системах.

Реализация логических схем конечных автоматов

39. Optimization of Moore FSM implemented with CPLD based on PAL macrocells
    
    Авторы: Barkalov A., Titarenko L., Chmielewski S.
    
    Описание: Метод синтеза конечных автоматов Мура, ориентированный на уменьшение аппаратурных затрат при реализации логических схем автоматов в базисе CPLD.
    
    
40. State machines synthesis and implementation into FPGAs with multiple encoding of states
    
    Авторы: Bukowiec A., Barkalov A., Titarenko L.
    
    Описание: Метод эффективного синтеза конечных автоматов Мили на FPGA.
    
    
41. Synthesis of finite state machines for CPLDs
    
    Авторы: Czerwinski R., Kania D.
    
    Описание: Двухэтапный подход к синтезу конечных автоматов в базисе CPLD.
    
    
42. Оптимизация схемы МПА Мура на CPLD
    
    Авторы: Баркалов А.А., Ковалев С.А., Цололо С.А.
    
    Описание: Метод уменьшения аппаратурных затрат в логической схеме МПА Мура на CPLD.
    
    
43. Оптимизация логической схемы автомата Мура на FPGA
    
    Авторы: Баркалов А.А., Красичков А.А., Цололо С.А.
    
    Описание: Метод уменьшения аппаратурных затрат в логической схеме автомата Мура на FPGA.
    
    
44. Оптимизация логической схемы автомата Мура на CPLD
    
    Авторы: Баркалов А.А., Матвиенко А.В., Цололо С.А.
    
    Описание: Метод уменьшения количества PAL-макроячеек в логической схеме автомата Мура на CPLD.
    
    
45. Оптимизация схемы автомата Мура на однородных ПЛИС
    
    Авторы: Баркалов А.А., Матвиенко А.В., Цололо С.А.
    
    Описание: Методы оптимизации логической схемы автомата Мура с помощью трех способов кодирования состояний.
    
    
46. Матричная реализация автомата Мура с кодированием наборов микроопераций
    
    Авторы: Баркалов А.А., Мальчева Р.В., Солдатов К.А.
    
    Описание: Метод уменьшения аппаратурных затрат при реализации автоматов Мура в базисе ASIC.
    
    
47. Матричная реализация автомата Мура с расширением кодов состояний перехода
    
    Авторы: Баркалов А.А., Мальчева Р.В., Солдатов К.А.
    
    Описание: Метод оптимизации при реализации автоматов Мура на ASIC.

Автоматизация синтеза и анализа конечных автоматов

48. Digital design automation – finite state machine design
    
    Автор: Perkowski M.
    
    Описание: Обсуждение возможностей автоматизации синтеза конечных автоматов.
    
    
49. SIS: a system for sequential circuit synthesis
    
    Авторы: Sentovich E.M., Singh K.J., Lavagno L., Moon C., Murgai R., Saldanha A., Savoj H., Stephan P.R., Brayton R.K., Sangiovanni-Vincentelli A.
    
    Описание: Программная система SIS, предназначенная для синтеза и оптимизации последовательностных логических схем.
    
    
50. Информационная технология автоматизированного проектирования цифровых управляющих устройств
    
    Авторы: Защелкин К.В., Иванова Е.Н.
    
    Описание: Анализ информационной технологии автоматизированного проектирования цифровых устройств управления.
    
    
51. Особенности алгоритмов автоматизированного проектирования микропрограммных автоматов
    
    Авторы: Николенко А.А., Ковалев Ю.А., Защелкин К.В.
    
    Описание: Основные особенности алгоритмов автоматизированного проектирования микропрограммных автоматов.
    
    
52. Структура программного комплекса синтеза и верификации моделей цифровых автоматов
    
    Авторы: Шувалова Л.А., Моамар Д.Н., Уткина Т.Ю.
    
    Описание: Программный комплекс автоматизации синтеза моделей цифровых автоматов.
    
    
53. Аналізатор скінченних цифрових автоматів
    
    Авторы: Сердюк С.М.
    
    Описание: Программная система анализа конечных цифровых автоматов.
    
    
54. Адаптация MDA для моделирования управляющих автоматов в стандартах UML
    
    Авторы: Баркалов А.А., Зеленёва И.Я., Гриценко А.А.
    
    Описание: Подход к адаптации технологии MDA для моделирования управляющих автоматов и методика применения UML в качестве языка описания системы.
    
    
55. Проектирование и реализация цифровых систем управления с использованием MDA
    
    Авторы: Баркалов А.А., Зеленёва И.Я., Гриценко А.А.
    
    Описание: Способы построения среды проектирования и реализации цифровых систем управления с использованием модельно-ориентированной архитектуры.
    
    
56. Синтез управляющих автоматов с использованием распределенных и параллельных систем
    
    Авторы: Баркалов А.А., Зеленёва И.Я., Гриценко А.А.
    
    Описание: Метод синтеза управляющих автоматов, основанный на использовании параллельных или распределенных систем.

Синтез цифровых систем с использованием ПЛИС, FPGA

57. Исследование методов построения вычислительных устройств на основе FPGA
    
    Авторы: Жабин В.И., Ковалев Н.А.
    
    Описание: Основные характеристики цифровых устройств на базе FPGA с использованием параллельных и квазипараллельных операционных блоков.
    
    
58. Проектирование и физическая верификация цифровых устройств на ПЛИС
    
    Авторы: Опанасенко В.Н., Лисовый А.Н., Сорока Е.В.
    
    Описание: Программно-аппаратный комплекс для проектирования, моделирования и верификации арифметических устройств на ПЛИС.
    
    
59. Формалізація процесу проектування обчислювальних пристроїв та систем на базі ПЛІС
    
    Авторы: Опанасенко В.М., Лісовий О.М.
    
    Описание: Подход к формализации решения задачи синтеза цифровых устройств на ПЛИС.
    
    
60. XST User Guide for Virtex-4, Virtex-5, Spartan-3, and Newer CPLD Devices
    
    Автор: Xilinx
    
    Описание: Фирменное описание Xilinx Synthesis Technology (XST).

Элементы абстрактной теории автоматов

61. Gedanken-experiments on sequential machines
    
    Автор: Moore E.F.
    
    Описание: Концепция конечного автомата Мура и спектр вопросов абстрактной теории автоматов.
    
    
62. Абстрактные композиционные автоматы
    
    Авторы: Полин Е.Л., Защелкин К.В.
    
    Описание: Модели композиционных автоматов, совмещающих свойства абстрактных автоматов Мили и Мура.
    
    
63. Параллельная модель языка граф-схем алгоритмов и ее интерпретация абстрактными автоматами
    
    Авторы: Полин Е.Л., Защелкин К.В.
    
    Описание: Развитие граф-схем алгоритмов (ГСА) в виде модели параллельных граф-схем алгоритмов (ПГСА).
    
    
64. Язык кластерных граф-схем алгоритмов и основанный на нем метод синтеза цифровых управляющих устройств
    
    Авторы: Полин Е.Л., Защелкин К.В.
    
    Описание: Модель высокого уровня для цифровых управляющих устройств – кластерная граф-схема алгоритма (КГСА) и метод синтеза, основанный на использовании этой модели.