Легалов Александр Иванович

e-mail: ALegalov [at] sfu-kras [dot] ru
телефон: +7 (391) 249-75-61
веб-сайт: www.softcraft.ru
степень: доктор технических наук
звание: профессор

Место работы

Диссертации

  • Организация управления вычислениями в процессорах потоков данных (кандидат технических наук, 1983);
  • Языковые средства систем программирования, ориентированные на создание переносимых, эволюционно расширяемых параллельных программ (доктор технических наук, 2005).

Образование

  • Красноярский политехнический институт, конструирование и производство радиоэлектронной аппаратуры, 1978 г.

Научные направления

  • технология программирования;
  • языки программирования и трансляторы;
  • параллельное программирование;
  • системы реального времени.

Преподаваемые дисциплины

  • Основы программирования;
  • Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей;
  • Параллельное программирование;
  • Разработка компиляторов;
  • Научно-исследовательский семинар.

Повышение квалификации

  • 2019 — Мобильное обучение (36 часов)
  • 2018 — Реализация образовательных программ с применением электронного обучения и дистанционных образовательных технологий (90 часов)
  • 2017 — Создание учебного видео и аудио (36 часов)
  • 2017 — Разработка учебных курсов в системе LMS Moodle (36 часов)
  • 2017 — Технологии коммутации и маршрутизации в IP сетях (72 часа)
  • 2015 — Электронные информационные ресурсы для образования (18 часов)

Стаж работы

  • общий — 43 года
  • по специальности — 40 лет

Награды, дипломы, членство в союзах

  • нагрудный знак «За развитие научно-исследовательской работы студентов» Министерства образования и науки Российской Федерации.

Учебные издания

  • Легалов А.И. Технология программирования. Процедурная и объектно-ориентированная парадигмы. Метод. указания по выполнению лабораторной работы № 1. / А.И. Легалов – Красноярск: ИПЦ КГТУ, 2006, 43 с.

  • Легалов А.И. Нейроинформатика: учебное пособие. / А.И. Легалов, Е.М. Миркес, Н.Ю. Сиротинина. – Красноярск: ИПЦ КГТУ, 2006. – 172 с.

Публикации

  1. Specifics of semantics of a statically typed language of functional and dataflow parallel programming [доклад, тезисы доклада, статья из сборника материалов конференций]
    2020, CEUR Workshop Proceedings
  2. Особенности семантики статически типизированного языка функционально-потокового параллельного программирования [статья из журнала]
    2019, Научный сервис в сети Интернет
  3. Improve method for processing dental images with fast spatial filter and shearlet transform [доклад, тезисы доклада, статья из сборника материалов конференций]
    Cadena L., Cadena F., Legalov A.
    2019, Lecture Notes in Engineering and Computer Science
  4. МЕТОД АРХИТЕКТУРНО-НЕЗАВИСИМОГО ВЫСОКОУРОВНЕВОГО СИНТЕЗА СБИС [статья из журнала]
    2018, Известия ЮФУ. Технические науки
  5. Verification of Programs with Mutual Recursion in Pifagor Language [статья из журнала]
    2018, AUTOMATIC CONTROL AND COMPUTER SCIENCES
  6. Loop-invariant Optimization in the Pifagor Language [статья из журнала]
    2018, AUTOMATIC CONTROL AND COMPUTER SCIENCES
  7. Инструментальные средства конструирования среды многокритериального анализа, ориентированной на требуемую предметную область [статья из журнала]
    2018, Успехи современной радиоэлектроники
  8. Особенности разработки и преобразования функционально-потоковых параллельных программ [доклад, тезисы доклада, статья из сборника материалов конференций]
    2018
  9. Improve method using spatial fast filters and GPU to detection of parcels of land in satellite images for cadaster purposes [доклад, тезисы доклада, статья из сборника материалов конференций]
    Cadena L., Cadena F., Legalov A., Zotin A.
    2018, Lecture Notes in Engineering and Computer Science
  10. Инструментальная поддержка эволюционного расширения программ при инкрементальной разработке [статья из журнала]
    2018, Научный сервис в сети Интернет
Показать все публикации
  1. МЕТОДЫ, АЛГОРИТМЫ И ПРОГРАММНЫЕ ИНСТРУМЕНТЫ АРХИТЕКТУРНО НЕЗАВИСИМОГО ВЫСОКОУРОВНЕВОГО СИНТЕЗА ОДНОКРИСТАЛЬНЫХ ЦИФРОВЫХ СИСТЕМ [доклад, тезисы доклада, статья из сборника материалов конференций]
    2018, Суперкомпьютерные технологии (СКТ-2018)
  2. A toolkit for the development of data-driven functional parallel programmes [доклад, тезисы доклада, статья из сборника материалов конференций]
    2018, Communications in Computer and Information Science
  3. Верификация программ со взаимной рекурсией на языке Пифагор [статья из журнала]
    2018, Моделирование и анализ информационных систем
  4. Оптимизация инварианта цикла в языке Пифагор [статья из журнала]
    2018, Моделирование и анализ информационных систем
  5. Associative Synthesis of Finite State Automata Model of a Controlled Object with Hyperdimensional Computing [доклад, тезисы доклада, статья из сборника материалов конференций]
    Osipov Evgeny, Kleyko Denis, Legalov Alexander
    2017, IECON 2017 - 43RD ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY
  6. Noise reduction techniques for processing of medical images [доклад, тезисы доклада, статья из сборника материалов конференций]
    Cadena L., Zotin A., Cadena F., Korneeva A., Legalov A., Morales B.
    2017, Lecture Notes in Engineering and Computer Science
  7. Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ [статья из журнала]
    2017, Труды Института системного программирования РАН
  8. Изменение стратегий управления вычислениями при архитектурно-независимом параллельном программировании [доклад, тезисы доклада, статья из сборника материалов конференций]
    2017, Научный сервис в сети Интернет
  9. Brain's tumor image processing using shearlet transform [доклад, тезисы доклада, статья из сборника материалов конференций]
    Cadena L., Espinosa N., Cadena F., Korneeva A., Kruglyakov A., Legalov A., Romanenko A., Zotin A.
    2017, Proceedings of SPIE - The International Society for Optical Engineering
  10. Эволюционная разработка программ с применением процедурно-параметрической парадигмы [доклад, тезисы доклада, статья из сборника материалов конференций]
    2017, Языки программирования и компиляторы - 2017
  11. Языковая поддержка архитектурно-независимого параллельного программирования [доклад, тезисы доклада, статья из сборника материалов конференций]
    2017, Языки программирования и компиляторы - 2017
  12. Methods and Algorithms for a High-Level Synthesis of the Very-Large-Scale Integration [статья из журнала]
    2016, WSEAS Transactions on Computers
  13. Модель планирования на предприятии радиоэлектронной промышленности [статья из журнала]
    2016, Электронные средства и системы управления
  14. Эволюционное расширение программ с использованием процедурно-параметрического подхода [статья из журнала]
    Легалов Александр Иванович, Косов Павел Владимирович
    2016, Вычислительные технологии
  15. Application of numerical optimization methods to molecular docking on graphics processing units [статья из журнала]
    Farkov M. A., Legalov A. I.
    2016, Australian Journal of Political Science
  16. ИНСТРУМЕНТАЛЬНАЯ ПОДДЕРЖКА ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ ПРОГРАММ, НАПИСАННЫХ НА ЯЗЫКЕ ФУНКЦИОНАЛЬНО-ПОТОКОВОГО ПАРАЛЛЕЛЬНОГО ПРОГРАММИРОВАНИЯ [статья из журнала]
    2015, Вестник Южно-Уральского государственного университета. Серия: Вычислительная математика и информатика
  17. ИСПОЛЬЗОВАНИЕ ПРОЦЕДУР С ОДИНАКОВОЙ СИГНАТУРОЙ ДЛЯ ЭВОЛЮЦИОННОГО РАСШИРЕНИЯ ПРОГРАММ [статья из журнала]
    2015, Доклады Академии наук высшей школы Российской Федерации
  18. Разработка языка управления космическими аппаратами [статья из журнала]
    2015, Информационно-управляющие системы
  19. ИНСТРУМЕНТАЛЬНАЯ ПОДДЕРЖКА ЭВОЛЮЦИОННОГО РАСШИРЕНИЯ ПРОГРАММ СРЕДСТВАМИ ПРОЦЕДУРНО-ПАРАМЕТРИЧЕСКОГО ПРОГРАММИРОВАНИЯ [статья из журнала]
    Легалов А. И., Косов П. В.
    2015, Решетневские чтения
  20. РАЗРАБОТКА СРЕДСТВ АВТОМАТИЗАЦИИ УПРАВЛЕНИЯ КОСМИЧЕСКИМИ АППАРАТАМИ [статья из журнала]
    Космынина Н. А., Лапин А. А., Легалов А. И.
    2015, Решетневские чтения
  21. ВЗАИМОДЕЙСТВИЕ СИСТЕМ СКЛАДСКОГО УЧЕТА И КОМПЛЕКТАЦИИ С СИСТЕМОЙ ПЛАНИРОВАНИЯ И ДИСПЕТЧЕРИЗАЦИИ ПРОИЗВОДСТВА В ЕДИНОМ ИНФОРМАЦИОННОМ ПРОСТРАНСТВЕ ПРЕДПРИЯТИЯ РАДИОЭЛЕКТРОННОЙ ПРОМЫШЛЕННОСТИ [статья из журнала]
    2015, Электронные средства и системы управления
  22. Улучшение реализации метода дифференциальной эволюции на графических процессорах [статья из журнала]
    Фарков Михаил Александрович, Легалов Александр Иванович
    2014, Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетнева
  23. ТЕХНОЛОГИЯ АРХИТЕКТУРНО-НЕЗАВИСИМОГО, ВЫСОКОУРОВНЕВОГО СИНТЕЗА СВЕРХБОЛЬШИХ ИНТЕГРАЛЬНЫХ СХЕМ [статья из журнала]
    2014, Доклады Академии наук высшей школы Российской Федерации
  24. ВЕРИФИКАЦИЯ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ МЕТОДОМ ИНДУКТИВНЫХ УТВЕРЖДЕНИЙ [статья из журнала]
    2014, Доклады Академии наук высшей школы Российской Федерации
  25. Интеграция автоматизированных складских комплексов в информационную систему предприятия радиоэлектронной промышленности [статья из журнала]
    2014, Журнал Сибирского федерального университета. Серия: Техника и технологии
  26. Применение методов оптимизации для выполнения молекулярного докинга на графических процессорах [статья из журнала]
    Фарков Михаил Александрович, Легалов Александр Иванович
    2014, Моделирование и анализ информационных систем
  27. КОМПЛЕКСНАЯ АВТОМАТИЗАЦИЯ УПРАВЛЕНИЯ ПРОИЗВОДСТВОМ ОАО «НПП «РАДИОСВЯЗЬ» [статья из журнала]
    2014, Ползуновский вестник
  28. Методология мутационного тестирования для наземных испытаний бортовой аппаратуры космических аппаратов [статья из журнала]
    НЕДОРЕЗОВ Дмитрий Александрович, ЛЕГАЛОВ Александр Иванович, НЕПОМНЯЩИЙ Олег Владимирович, КРАСНЕНКО Сергей Сергеевич, АНКУДИНОВ Александр Владимирович
    2014, Системы и средства информатики
  29. Оптимизация хвостовой рекурсии ФПЯП Пифагор [доклад, тезисы доклада, статья из сборника материалов конференций]
    Васильев В. С., Legalov Aleksandr
    2013, Молодёжь и наука
  30. ТЕХНОЛОГИЧЕСКИЕ АСПЕКТЫ СОЗДАНИЯ, ПРЕОБРАЗОВАНИЯ И ВЫПОЛНЕНИЯ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ [доклад, тезисы доклада, статья из сборника материалов конференций]
    Легалов А. И., Матковский И. В., Кропачева М. С., Удалова Ю. В., Васильев В. М.
    2013, Научный сервис в сети Интернет: все грани параллелизма
  31. ОСОБЕННОСТИ ХРАНЕНИЯ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ [статья из журнала]
    2013, Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетнева
  32. ИНСТРУМЕНТАЛЬНАЯ ПОДДЕРЖКА ЭФФЕКТИВНОГО ИСПОЛЬЗОВАНИЯ ВЫСОКОПРОИЗВОДИТЕЛЬНЫХ ГЕТЕРОГЕННЫХ СИСТЕМ [статья из журнала]
    Гризан С. А., Легалов А. И.
    2013, Ползуновский вестник
  33. ИНСТРУМЕНТАЛЬНАЯ ПОДДЕРЖКА ТРАНСЛЯЦИИ И ВЫПОЛНЕНИЯ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ [статья из журнала]
    2013, Ползуновский вестник
  34. ОТЛАДКА ПРОГРАММ НА ФУНКЦИОНАЛЬНО-ПОТОКОВОМ ПАРАЛЛЕЛЬНОМ ЯЗЫКЕ ПИФАГОР С ПОДСТАНОВКОЙ ИНТЕРВАЛЬНЫХ ЗНАЧЕНИЙ [статья из журнала]
    2013, Ползуновский вестник
  35. Особенности преобразования хвостовой рекурсии в функционально-потоковом языке параллельного программирования [статья из журнала]
    2013, Системы. Методы. Технологии
  36. Formal verification of programs in the functional data-flow parallel language [статья из журнала]
    Kropacheva M. S., Legalov A. I.
    2013, Automatic Control and Computer Sciences
  37. Tail recursion transformation in functional dataflow parallel programs [статья из журнала]
    2013, Automatic Control and Computer Sciences
  38. Formal Verification of Programs in the Pifagor Language [доклад, тезисы доклада, статья из сборника материалов конференций]
    Kropacheva Mariya, Legalov Alexander
    2013, PARALLEL COMPUTING TECHNOLOGIES (PACT 2013)
  39. РАЗРАБОТКА ИНТЕРПРЕТАТОРА СКРИПТОВ УПРАВЛЕНИЯ КОСМИЧЕСКИМ АППАРАТОМ [статья из журнала]
    Космынина Н. А., Легалов А. И.
    2012, Решетневские чтения
  40. Разработка интерпретатора командных скриптов для обеспечения автоматизированного управления космическим аппаратом [доклад, тезисы доклада, статья из сборника материалов конференций]
    Космынина Н. А., Легалов А. И.
    2012, Теоретические и прикладные проблемы науки и образования в 21 веке
  41. Конструирование среды для многокритериального анализа сложных технических систем [статья из журнала]
    Легалов А. И., Ледяев Д. Н., Анкудинов А. В.
    2012, Журнал Сибирского федерального университета. Серия: Техника и технологии
  42. Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования [статья из журнала]
    Кропачева Мария Сергеевна, Легалов Александр Иванович
    2012, Моделирование и анализ информационных систем
  43. Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах [статья из журнала]
    2012, Моделирование и анализ информационных систем
  44. Событийная модель вычислений, поддерживающая выполнение функционально-потоковых параллельных программ [статья из журнала]
    2012, Системы. Методы. Технологии
  45. ОСОБЕННОСТИ ЯЗЫКА ПРОЦЕДУРНО-ПАРАМЕТРИЧЕСКОГО ПРОГРАММИРОВАНИЯ [статья из журнала]
    Легалов Александр Иванович, Солоха Арсений Федорович
    2011, Вестник Новосибирского государственного университета. Серия: Информационные технологии
  46. Методы отладки и верификации функционально-потоковых параллельных программ [статья из журнала]
    2011, Журнал Сибирского федерального университета. Серия: Техника и технологии
  47. поддержка многокритериального анализа в сложных иерархических системах [статья из журнала]
    Легалов Александр Иванович, Ледяев Дмитрий Николаевич, Анкудинов Александр Владимирович
    2010, Вестник Новосибирского государственного университета. Серия: Информационные технологии
  48. Расширение модульной структуры программы за счет подключаемых модулей [статья из журнала]
    2010, Доклады Академии наук высшей школы Российской Федерации
  49. Об отладке и верификации функционально-потоковых параллельных программ [доклад, тезисы доклада, статья из сборника материалов конференций]
    2009, Параллельные вычислительные технологии (ПаВТ'2009)
  50. Функционально-потоковое параллельное программирование при асинхронно поступающих данных [доклад, тезисы доклада, статья из сборника материалов конференций]
    2009, Параллельные вычислительные технологии (ПаВТ'2009)
  51. ИНСТРУМЕНТАЛЬНАЯ ПОДДЕРЖКА МНОГОКРИТЕРИАЛЬНОГО АНАЛИЗА ПРИ РАЗРАБОТКЕ СЛОЖНЫХ ТЕХНИЧЕСКИХ СИСТЕМ [статья из журнала]
    Легалов Александр Иванович, Ледяев Дмитрий Николаевич, Анкудинов Александр Владимирович
    2009, Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетнева
  52. Information Flow and Usage in an E-shop Operating within an Agent-based E-commerce System [статья из журнала]
    Drozdowicz Michaal, Ganzha Maria, Paprzycki Marcin, Gawinecki Maciej, Legalov Alexander
    2009, Журнал Сибирского федерального университета. Серия: Техника и технологии
  53. Инструментальная поддержка контрольно-проверочной аппаратуры испытаний узлов исполнительной автоматики космических аппаратов [статья из журнала]
    2009, Решетневские чтения
  54. АНАЛИЗ И ИНСТРУМЕНТАЛЬНОЕ ОБЕСПЕЧЕНИЕ ВАРИАНТНОГО ПРОЕКТИРОВАНИЯ КОСМИЧЕСКИХ АППАРАТОВ [статья из журнала]
    Анкудинов А. В., Легалов А. И., Ледяев Д. Н., Тестоедов Н. А.
    2009, Решетневские чтения
  55. Solution of Large-Scale Problems of Global Optimization on the Basis of Parallel Algorithms and Cluster Implementation of Computing Processes [доклад, тезисы доклада, статья из сборника материалов конференций]
    2009, PARALLEL COMPUTING TECHNOLOGIES, PROCEEDINGS
  56. Средства отладки функционально-потоковых параллельных программ [статья из журнала]
    2008, Доклады Академии наук высшей школы Российской Федерации
  57. Событийное управление выполнением функционально-потоковых параллельных программ [статья из журнала]
    2008, Научный вестник Новосибирского государственного технического университета
  58. Языковые средства систем программирования, ориентированные на создание переносимых, эволюционно расширяемых параллельных программ [диссертация]
    2005
  59. Языковые средства систем программирования, ориентированные на создание переносимых, эволюционно расширяемых параллельных программ [автореферат диссертации]
    2005
  60. Функциональный язык для создания архитектурно-независимых параллельных программ [статья из журнала]
    2005, Вычислительные технологии
  61. Методы поддержки параметрического полиморфизма [статья из журнала]
    2004, Научный вестник Новосибирского государственного технического университета
  62. Об управлении вычислениями в параллельных системах и языках программирования [статья из журнала]
    2004, Научный вестник Новосибирского государственного технического университета
  63. Процедурный язык с поддержкой эволюционного проектирования [статья из журнала]
    2003, Научный вестник Новосибирского государственного технического университета

Список публикаций выше сформирован в автоматическом режиме. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.