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

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. 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
  5. 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
  6. МЕТОД АРХИТЕКТУРНО-НЕЗАВИСИМОГО ВЫСОКОУРОВНЕВОГО СИНТЕЗА СБИС [статья из журнала]
    2018, Известия ЮФУ. Технические науки
  7. Verification of Programs with Mutual Recursion in Pifagor Language [статья из журнала]
    2018, AUTOMATIC CONTROL AND COMPUTER SCIENCES
  8. Loop-invariant Optimization in the Pifagor Language [статья из журнала]
    2018, AUTOMATIC CONTROL AND COMPUTER SCIENCES
  9. Инструментальные средства конструирования среды многокритериального анализа, ориентированной на требуемую предметную область [статья из журнала]
    2018, Успехи современной радиоэлектроники
  10. Особенности разработки и преобразования функционально-потоковых параллельных программ [доклад, тезисы доклада, статья из сборника материалов конференций]
    2018
Показать все публикации
  1. 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
  2. Инструментальная поддержка эволюционного расширения программ при инкрементальной разработке [статья из журнала]
    2018, Научный сервис в сети Интернет
  3. МЕТОДЫ, АЛГОРИТМЫ И ПРОГРАММНЫЕ ИНСТРУМЕНТЫ АРХИТЕКТУРНО НЕЗАВИСИМОГО ВЫСОКОУРОВНЕВОГО СИНТЕЗА ОДНОКРИСТАЛЬНЫХ ЦИФРОВЫХ СИСТЕМ [доклад, тезисы доклада, статья из сборника материалов конференций]
    2018, Суперкомпьютерные технологии (СКТ-2018)
  4. A toolkit for the development of data-driven functional parallel programmes [доклад, тезисы доклада, статья из сборника материалов конференций]
    2018, Communications in Computer and Information Science
  5. Верификация программ со взаимной рекурсией на языке Пифагор [статья из журнала]
    2018, Моделирование и анализ информационных систем
  6. Оптимизация инварианта цикла в языке Пифагор [статья из журнала]
    2018, Моделирование и анализ информационных систем
  7. 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
  8. 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
  9. Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ [статья из журнала]
    2017, Труды Института системного программирования РАН
  10. Изменение стратегий управления вычислениями при архитектурно-независимом параллельном программировании [доклад, тезисы доклада, статья из сборника материалов конференций]
    2017, Научный сервис в сети Интернет
  11. 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
  12. Эволюционная разработка программ с применением процедурно-параметрической парадигмы [доклад, тезисы доклада, статья из сборника материалов конференций]
    2017, Языки программирования и компиляторы - 2017
  13. Языковая поддержка архитектурно-независимого параллельного программирования [доклад, тезисы доклада, статья из сборника материалов конференций]
    2017, Языки программирования и компиляторы - 2017
  14. Methods and Algorithms for a High-Level Synthesis of the Very-Large-Scale Integration [статья из журнала]
    2016, WSEAS Transactions on Computers
  15. Модель планирования на предприятии радиоэлектронной промышленности [статья из журнала]
    2016, Электронные средства и системы управления
  16. Эволюционное расширение программ с использованием процедурно-параметрического подхода [статья из журнала]
    Легалов Александр Иванович, Косов Павел Владимирович
    2016, Вычислительные технологии
  17. Application of numerical optimization methods to molecular docking on graphics processing units [статья из журнала]
    Farkov M. A., Legalov A. I.
    2016, Australian Journal of Political Science
  18. ИНСТРУМЕНТАЛЬНАЯ ПОДДЕРЖКА ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ ПРОГРАММ, НАПИСАННЫХ НА ЯЗЫКЕ ФУНКЦИОНАЛЬНО-ПОТОКОВОГО ПАРАЛЛЕЛЬНОГО ПРОГРАММИРОВАНИЯ [статья из журнала]
    2015, Вестник Южно-Уральского государственного университета. Серия: Вычислительная математика и информатика
  19. ИСПОЛЬЗОВАНИЕ ПРОЦЕДУР С ОДИНАКОВОЙ СИГНАТУРОЙ ДЛЯ ЭВОЛЮЦИОННОГО РАСШИРЕНИЯ ПРОГРАММ [статья из журнала]
    2015, Доклады Академии наук высшей школы Российской Федерации
  20. Разработка языка управления космическими аппаратами [статья из журнала]
    2015, Информационно-управляющие системы
  21. ИНСТРУМЕНТАЛЬНАЯ ПОДДЕРЖКА ЭВОЛЮЦИОННОГО РАСШИРЕНИЯ ПРОГРАММ СРЕДСТВАМИ ПРОЦЕДУРНО-ПАРАМЕТРИЧЕСКОГО ПРОГРАММИРОВАНИЯ [статья из журнала]
    Легалов А. И., Косов П. В.
    2015, Решетневские чтения
  22. РАЗРАБОТКА СРЕДСТВ АВТОМАТИЗАЦИИ УПРАВЛЕНИЯ КОСМИЧЕСКИМИ АППАРАТАМИ [статья из журнала]
    Космынина Н. А., Лапин А. А., Легалов А. И.
    2015, Решетневские чтения
  23. ВЗАИМОДЕЙСТВИЕ СИСТЕМ СКЛАДСКОГО УЧЕТА И КОМПЛЕКТАЦИИ С СИСТЕМОЙ ПЛАНИРОВАНИЯ И ДИСПЕТЧЕРИЗАЦИИ ПРОИЗВОДСТВА В ЕДИНОМ ИНФОРМАЦИОННОМ ПРОСТРАНСТВЕ ПРЕДПРИЯТИЯ РАДИОЭЛЕКТРОННОЙ ПРОМЫШЛЕННОСТИ [статья из журнала]
    2015, Электронные средства и системы управления
  24. Улучшение реализации метода дифференциальной эволюции на графических процессорах [статья из журнала]
    Фарков Михаил Александрович, Легалов Александр Иванович
    2014, Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетнева
  25. ТЕХНОЛОГИЯ АРХИТЕКТУРНО-НЕЗАВИСИМОГО, ВЫСОКОУРОВНЕВОГО СИНТЕЗА СВЕРХБОЛЬШИХ ИНТЕГРАЛЬНЫХ СХЕМ [статья из журнала]
    2014, Доклады Академии наук высшей школы Российской Федерации
  26. ВЕРИФИКАЦИЯ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ МЕТОДОМ ИНДУКТИВНЫХ УТВЕРЖДЕНИЙ [статья из журнала]
    2014, Доклады Академии наук высшей школы Российской Федерации
  27. Интеграция автоматизированных складских комплексов в информационную систему предприятия радиоэлектронной промышленности [статья из журнала]
    2014, Журнал Сибирского федерального университета. Серия: Техника и технологии
  28. Применение методов оптимизации для выполнения молекулярного докинга на графических процессорах [статья из журнала]
    Фарков Михаил Александрович, Легалов Александр Иванович
    2014, Моделирование и анализ информационных систем
  29. КОМПЛЕКСНАЯ АВТОМАТИЗАЦИЯ УПРАВЛЕНИЯ ПРОИЗВОДСТВОМ ОАО «НПП «РАДИОСВЯЗЬ» [статья из журнала]
    2014, Ползуновский вестник
  30. Методология мутационного тестирования для наземных испытаний бортовой аппаратуры космических аппаратов [статья из журнала]
    НЕДОРЕЗОВ Дмитрий Александрович, ЛЕГАЛОВ Александр Иванович, НЕПОМНЯЩИЙ Олег Владимирович, КРАСНЕНКО Сергей Сергеевич, АНКУДИНОВ Александр Владимирович
    2014, Системы и средства информатики
  31. Оптимизация хвостовой рекурсии ФПЯП Пифагор [доклад, тезисы доклада, статья из сборника материалов конференций]
    2013, Молодёжь и наука
  32. ТЕХНОЛОГИЧЕСКИЕ АСПЕКТЫ СОЗДАНИЯ, ПРЕОБРАЗОВАНИЯ И ВЫПОЛНЕНИЯ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ [доклад, тезисы доклада, статья из сборника материалов конференций]
    Легалов А. И., Матковский И. В., Кропачева М. С., Удалова Ю. В., Васильев В. М.
    2013, Научный сервис в сети Интернет: все грани параллелизма
  33. ОСОБЕННОСТИ ХРАНЕНИЯ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ [статья из журнала]
    2013, Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетнева
  34. ИНСТРУМЕНТАЛЬНАЯ ПОДДЕРЖКА ЭФФЕКТИВНОГО ИСПОЛЬЗОВАНИЯ ВЫСОКОПРОИЗВОДИТЕЛЬНЫХ ГЕТЕРОГЕННЫХ СИСТЕМ [статья из журнала]
    Гризан С. А., Легалов А. И.
    2013, Ползуновский вестник
  35. ИНСТРУМЕНТАЛЬНАЯ ПОДДЕРЖКА ТРАНСЛЯЦИИ И ВЫПОЛНЕНИЯ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ [статья из журнала]
    2013, Ползуновский вестник
  36. ОТЛАДКА ПРОГРАММ НА ФУНКЦИОНАЛЬНО-ПОТОКОВОМ ПАРАЛЛЕЛЬНОМ ЯЗЫКЕ ПИФАГОР С ПОДСТАНОВКОЙ ИНТЕРВАЛЬНЫХ ЗНАЧЕНИЙ [статья из журнала]
    2013, Ползуновский вестник
  37. Особенности преобразования хвостовой рекурсии в функционально-потоковом языке параллельного программирования [статья из журнала]
    2013, Системы. Методы. Технологии
  38. Formal verification of programs in the functional data-flow parallel language [статья из журнала]
    Kropacheva M. S., Legalov A. I.
    2013, Automatic Control and Computer Sciences
  39. Tail recursion transformation in functional dataflow parallel programs [статья из журнала]
    2013, Automatic Control and Computer Sciences
  40. Formal Verification of Programs in the Pifagor Language [доклад, тезисы доклада, статья из сборника материалов конференций]
    Kropacheva Mariya, Legalov Alexander
    2013, PARALLEL COMPUTING TECHNOLOGIES (PACT 2013)
  41. РАЗРАБОТКА ИНТЕРПРЕТАТОРА СКРИПТОВ УПРАВЛЕНИЯ КОСМИЧЕСКИМ АППАРАТОМ [статья из журнала]
    Космынина Н. А., Легалов А. И.
    2012, Решетневские чтения
  42. Разработка интерпретатора командных скриптов для обеспечения автоматизированного управления космическим аппаратом [доклад, тезисы доклада, статья из сборника материалов конференций]
    Космынина Н. А., Легалов А. И.
    2012, Теоретические и прикладные проблемы науки и образования в 21 веке
  43. Конструирование среды для многокритериального анализа сложных технических систем [статья из журнала]
    Легалов А. И., Ледяев Д. Н., Анкудинов А. В.
    2012, Журнал Сибирского федерального университета. Серия: Техника и технологии
  44. Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования [статья из журнала]
    Кропачева Мария Сергеевна, Легалов Александр Иванович
    2012, Моделирование и анализ информационных систем
  45. Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах [статья из журнала]
    2012, Моделирование и анализ информационных систем
  46. Событийная модель вычислений, поддерживающая выполнение функционально-потоковых параллельных программ [статья из журнала]
    2012, Системы. Методы. Технологии
  47. ОСОБЕННОСТИ ЯЗЫКА ПРОЦЕДУРНО-ПАРАМЕТРИЧЕСКОГО ПРОГРАММИРОВАНИЯ [статья из журнала]
    Легалов Александр Иванович, Солоха Арсений Федорович
    2011, Вестник Новосибирского государственного университета. Серия: Информационные технологии
  48. Методы отладки и верификации функционально-потоковых параллельных программ [статья из журнала]
    2011, Журнал Сибирского федерального университета. Серия: Техника и технологии
  49. поддержка многокритериального анализа в сложных иерархических системах [статья из журнала]
    Легалов Александр Иванович, Ледяев Дмитрий Николаевич, Анкудинов Александр Владимирович
    2010, Вестник Новосибирского государственного университета. Серия: Информационные технологии
  50. Расширение модульной структуры программы за счет подключаемых модулей [статья из журнала]
    2010, Доклады Академии наук высшей школы Российской Федерации
  51. Об отладке и верификации функционально-потоковых параллельных программ [доклад, тезисы доклада, статья из сборника материалов конференций]
    2009, Параллельные вычислительные технологии (ПаВТ'2009)
  52. Функционально-потоковое параллельное программирование при асинхронно поступающих данных [доклад, тезисы доклада, статья из сборника материалов конференций]
    2009, Параллельные вычислительные технологии (ПаВТ'2009)
  53. ИНСТРУМЕНТАЛЬНАЯ ПОДДЕРЖКА МНОГОКРИТЕРИАЛЬНОГО АНАЛИЗА ПРИ РАЗРАБОТКЕ СЛОЖНЫХ ТЕХНИЧЕСКИХ СИСТЕМ [статья из журнала]
    Легалов Александр Иванович, Ледяев Дмитрий Николаевич, Анкудинов Александр Владимирович
    2009, Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетнева
  54. 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, Журнал Сибирского федерального университета. Серия: Техника и технологии
  55. Инструментальная поддержка контрольно-проверочной аппаратуры испытаний узлов исполнительной автоматики космических аппаратов [статья из журнала]
    2009, Решетневские чтения
  56. АНАЛИЗ И ИНСТРУМЕНТАЛЬНОЕ ОБЕСПЕЧЕНИЕ ВАРИАНТНОГО ПРОЕКТИРОВАНИЯ КОСМИЧЕСКИХ АППАРАТОВ [статья из журнала]
    Анкудинов А. В., Легалов А. И., Ледяев Д. Н., Тестоедов Н. А.
    2009, Решетневские чтения
  57. 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
  58. Средства отладки функционально-потоковых параллельных программ [статья из журнала]
    2008, Доклады Академии наук высшей школы Российской Федерации
  59. Событийное управление выполнением функционально-потоковых параллельных программ [статья из журнала]
    2008, Научный вестник Новосибирского государственного технического университета
  60. Языковые средства систем программирования, ориентированные на создание переносимых, эволюционно расширяемых параллельных программ [диссертация]
    2005
  61. Языковые средства систем программирования, ориентированные на создание переносимых, эволюционно расширяемых параллельных программ [автореферат диссертации]
    2005
  62. Функциональный язык для создания архитектурно-независимых параллельных программ [статья из журнала]
    2005, Вычислительные технологии
  63. Методы поддержки параметрического полиморфизма [статья из журнала]
    2004, Научный вестник Новосибирского государственного технического университета
  64. Об управлении вычислениями в параллельных системах и языках программирования [статья из журнала]
    2004, Научный вестник Новосибирского государственного технического университета
  65. Процедурный язык с поддержкой эволюционного проектирования [статья из журнала]
    2003, Научный вестник Новосибирского государственного технического университета

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

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