Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Мельников Борис Феликсович

Публикаций: 47 (47)
в MathSciNet: 25 (25)
в zbMATH: 21 (21)
в Web of Science: 5 (5)
в Scopus: 4 (4)
Цитированных статей: 23
Цитирований в Math-Net.Ru: 4
Цитирований в Web of Science: 13
Цитирований в Scopus: 28

Статистика просмотров:
Эта страница:6837
Страницы публикаций:845
Полные тексты:250
Списки литературы:61
Мельников Борис Феликсович
профессор
доктор физико-математических наук (1997)
Специальность ВАК: 05.13.11 (математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей)
Дата рождения: 10.05.1962
E-mail:
Ключевые слова: недетерминированные конечные автоматы, алгебра полугрупп, дискретная оптимизация, принятие решений, эвристические алгоритмы, недетерминированные игры.
Коды УДК: 519.6, 681.3

Основные темы научной работы

Недетерминированные конечные автоматы (НКА) и регулярные языки — альтернативные описания инвариантов регулярных языков, функции разметки состояний, достаточные условия однозначности, алгоритмы эквивалентного преобразования, решение проблемы звёздной высоты с помощью описания множества циклов базисного автомата, альтернативные методы построения универсального автомата Конвэя, точные (переборные) алгоритмы минимизации НКА по различным критериям (вершинной, дуговой и звёздно-высотной), различные формализмы-обобщения НКА, исследование обобщённых регулярных выражений и обобщённой звёздной высоты.

Контекстно-свободные языки — нетрадиционные варианты задания КС-языков (с помощью различных обобщений конечных автоматов), последовательностные КС-языки и описание с их помощью языков программирования, подклассы класса КС-языков с разрешимой проблемой эквивалентности.

Алгебра полугрупп — условия коммутирования в супермоноиде (глобальном надмоноиде свободного моноида), бинарные отношения на элементах супермоноида, описания специальных подмноноидов супермоноида, бесконечные вычисления конечных автоматов (в том числе $2\omega$-вычисления) и их связь с подмноноидами супермоноида, биллиардные языки (и $\omega$-языки) и мономиальные алгебры, биллиардные языки и функции-ловушки, алгоритмические вопросы алгебры полугрупп и вычислительные методы построения описаний подмоноидов супермоноида и бинарных отношений в нём.

Задачи дискретной оптимизации — применение в различных предметных областях приближённых алгоритмов реального времени (т.н. anytime-алгоритмов). В первую очередь имеются в виду следующие предметные области: классические головоломки, минимизация ДНФ, вершинная, дуговая и звёздно-высотная минимизация НКА, псевдогеометрическая версия задачи коммивояжёра, построение бинарных фазоманипуляционных радиосигналов с минимальными автокорреляционными свойствами.

Эвристические алгоритмы — быстрые алгоритмы принятия решений в случае многокритериальной оптимизации, различные модификации метода ветвей и границ, мультиэвристический подход, генетические алгоритмы и турнирные подходы к самообучению, имитационная нормализация и гибридные алгоритмы. Описание подхода к оценке репрезентативности случайно сгенерированных входных данных. Описание подхода к (эвристическим) оценкам эффективности эвристических алгоритмов. Распределённые вычисления при решении задач дискретной оптимизации. Обобщения понятий аппроксимации и аппроксимационных алгоритмов.

Программирование недетерминированных игр и искусственный интеллект — описание модификаций дерева перебора для различных недетерминированных игр, применение функций риска для выбора хода, турнирное самообучение ГА, имитация мышления противника в различных задачах ИИ, применение аналогов продукционных правил в программировании интеллектуальных игр, примение "игровых" эвристик в задачах дискретной оптимизации.

Научная биография:

Профессор (учёное звание), 2002.
Д.ф.-м.н., 1997; место защиты: МГУ ВМК; тема: "Применение свойств специальных моноидов в теории формальных языков"; оппоненты: Р.Л. Смелянский (МГУ, ВМК), Р.И. Подловченко (МГУ, НИВЦ), В.Н. Латышев (МГУ, мехмат).
К.ф.-м.н., 1990; место защиты: МГУ ВМК; тема: "Метод исследования бесконечных итераций слов"; научный руководитель: Л.И. Станевичене (МГУ, ВМК); оппоненты: М.И. Канович (РГГУ), С.Я. Фитиалов (ЛГУ).
Выпускник ВМК МГУ, 1984; тема дипломной работы: "Алгебра программных графов"; научный руководитель: Р.Л. Смелянский.
Выпускник СУНЦа им. Колмогорова при МГУ, 1979.

Места работы:
с ноября 2018: Совместный университет МГУ-ППИ в Шэньчжэне, профессор;
с сентября 2017: Российский государственный социальный университет, профессор;
февраль 2017–сентябрь 2017: Центр информационных технологий и систем органов исполнительной власти, главный научный сотрудник;
2013–2016: Самарский государственный университет, зав. каф. "Прикладная матемтаика и информатика" Тольяттинского филиала;
c 2014 — глав. ред. всероссийского научного журнала "Эвристические алгоритмы и распределённые вычисления", https://elibrary.ru/title_about.asp?id=51603;
2003–2013: Тольяттинский государственный университет, факультет математики и информатики, кафедра "Прикладная математика и информатика", профессор;
одновременно в 2008–2013 — председатель Диссертационного Совета Д 212.264.03;
одновременно в 2009–2013 — директор Научно-образовательного центра "Математические модели и теоретические основы классической и квантовой информатики".
2001–2003: Ульяновский государственный университет, факультет информационных технологий, кафедра "Теоретические основы информатики", профессор, зав. каф.
1999–2001: Ульяновский государственный университет, механико-математический факультет, кафедра "Прикладная математика", профессор.
1995–1999: Ульяновский государственный университет, механико-математический факультет, кафедра "Математическая кибернетика и информатика", доцент.
1992–1995: Ульяновский филиал Московского государственного университета, механико-математический факультет, кафедра "Математическая кибернетика и информатика", старший преподаватель.
1984–1992: "почтовые ящики" в Ленинграде и Таллине, инженер-программист;
одновременно в 1988–1990 — заочный аспирант кафедры "Алгоритмические языки" ВМК МГУ.
1979–1984: студент ВМК МГУ.

Руководитель 10 научных проектов РФФИ (1999–2013).
Грант президента РФ "Доктора наук до 40 лет" (2000–2002).
Руководитель 3 научных проектов ТГУ ("Госбюджетные НИР", 2008–2012).
Руководитель 4 научных проектов ФЦП "Кадры инновационной России" (2009–2013,
http://www.tltsu.ru/html/news.html?n=55781&ln=ru и др.).

Работа в зарубежных университетах (Visiting professor, либо по европейским грантам,
от 1 до 3 мес.):
1998 – Германия, Leipzig & Dieburg, Fachhochschule Telekom;
2000 и 2001 – Болгария, Варна, Технически Университет;
2004 – Чешская республика, Brno, Masarykova Univerzita;
2006 и 2008 – Швейцария, Zürich, Eidgenössische Technische Hochschule;
2009 – Италия, Politecnico di Milano;
2010 – Словакия, Bratislava, Univerzita Komenského;
2011 – Германия, Berlin, Humbolt Universität.

с 2008 – Член диссертационного совета Д 212.081.24 при Казанском (Приволжском) федер. унив.
(специальности – 01.01.06, 01.01.09, 05.13.11; физ.-мат. науки).
в 2008–2013 – Председатель диссертационного совета Д 212.264.03 при Тольяттинском гос. унив.
(специальности – 01.04.01, 05.13.18; физ.-мат. науки;
http://edu.tltsu.ru/sites/site.php?s=1496&m=14453).
в 2000–2008 – Член диссертационного совета Д 212.278.02 при Ульяновском гос. унив.
(специальности – 01.01.06, 01.01.09, 05.13.18; физ.-мат., техн.науки).

Подготовил 13 кандидатов наук (физ-мат и техн, 05.13.17, 05.13.18 и 01.01.09).

Подготовил более 150 магистров, дипломированных специалистов и бакалавров.
4 дипломника впоследствии защитили кандидатские диссертации под моим же руководством.
Ещё 4 моих дипломника впоследствии защитили кандидатские у других руководителей.
5 дипломных работ отмечались призами на Всероссийских конкурсах (1997–201).
Выступал оппонентом по защитам 12 кандидатских и 2 докторских диссертаций.
Председатель ГАК и ГЭК в разных ВУЗах по специальностям "Прикладная математика", "Прикладная информатика" и близким к ним – 22 раза в течение 2002–2021.
2012 – премия губернатора Самарской обл. за научную работу.
2013 – почётная грамота Министерства образования и науки РФ.

Индекс Хирша:
= 23 (http://scholar.google.com/citations?hl=ru&user=Idxu-ssAAAAJ)
= 21 (по данным http://elibrary.ru/)
Индекс i10:
= 40 (http://scholar.google.com/citations?hl=ru&user=Idxu-ssAAAAJ)
= 25 (по данным http://elibrary.ru/)


http://www.mathnet.ru/rus/person27967
https://scholar.google.com/citations?user=Idxu-ssAAAAJ&hl=ru
https://zbmath.org/authors/?q=ai:melnikov.boris-f
https://mathscinet.ams.org/mathscinet/MRAuthorID/317784
https://elibrary.ru/author_items.asp?authorid=15715
https://www.scopus.com/authid/detail.url?authorId=55954040300

Список публикаций:
| научные публикации | по годам | по типам | по числу цит. в WoS | по числу цит. в Scopus | общий список |



   2010
1. B. Melnikov, “Extended nondeterministic finite automata”, Fundamenta Informaticae, 104:3 (2010), 255–265  crossref  mathscinet  zmath  isi (cited: 4)  elib (cited: 9)  scopus (cited: 6)
2. B. Melnikov, “Once more on the edge-minimization of nondeterministic finite automata and the connected problems”, Fundamenta Informaticae, 104:3 (2010), 267–283  crossref  mathscinet  zmath  isi (cited: 5)  elib (cited: 17)  scopus (cited: 8)
3. Б. Мельников, С. Пивнева, О. Рогова, “Репрезентативность случайно сгенерированных недетерминированных конечных автоматов с точки зрения соответствующих базисных автоматов”, Стохастическая оптимизация в информатике, 2010, № 6, 74–82  elib (цит.: 13)
4. С. Баумгертнер, Б. Мельников, “Мультиэвристический подход к проблеме звëздно-высотной минимизации недетерминированных конечных автоматов”, Вестник Воронежского гос. унив., сер. Сист. анализ и инф. техн., 2010, № 1, 5–7  elib (цит.: 7)
5. Б. Мельников, С. Эйрих, “Подход к комбинированию незавершëнного метода ветвей и границ и алгоритма имитационной нормализации”, Вестник Воронежского гос. ун-та, сер. Сист. анализ и инф. техн., 2010, № 1, 35–38
6. Б. Мельников, М. Зубова, “Построение автомата COM на основе базисного автомата”, Вектор науки Тольяттинского государственного университета, 2010, № 4, 30–32  elib (цит.: 5)
7. Б. Мельников, С. Пивнева, “Математическое моделирование принятия решений в различных предметных областях”, Вектор науки Тольяттинского государственного университета, 2010, № 2, 10–14

   2009
8. Е. Борисова, Б. Мельников, “Аппроксимационные алгоритмы и псевдометрический вариант задачи коммивояжера”, Изв. вузов (Поволжский регион), физ.-мат. науки, 2009, № 3, 96–100
9. Б. Мельников, М. Сайфуллина, “О некоторых алгоритмах эквивалентного преобразования недетерминированных конечных автоматов”, Изв. вузов. Матем., 2009, № 4, 67–71  mathnet (цит.: 3)  mathscinet; B. Melnikov, M. Saifullina, “Some algorithms for equivalent transformation of nondeterministic finite automata”, Russian Math. (Iz. VUZ), 53:4 (2009), 54–57  crossref  mathscinet
10. Б. Мельников, Недетерминированные конечные автоматы (монография), изд-во Тольяттинского гос. унив., Тольятти, 2009 , 160 с.

   2008
11. М. Алëхина, А. Лысенко, Б. Мельников, “Об одном подходе к моделированию вычислительных устройств”, Изв. вузов (Поволжский регион), физ.-мат. науки, 2008, № 2, 2–7

   2007
12. B. Melnikov, “On an expansion of nondeterministic finite automata”, J. of Applied Math. and Computing (The Korean J. of Computational and Applied Math.), 24:1-2 (2007), 155–165  mathscinet  zmath
13. B. Melnikov, E. Melnikova, “Some competition programming problems as the beginning of artificial intelligence”, Informatics in Education, 6:2 (2007), 385–396  crossref
14. B. Melnikov, E. Melnikova, “Some more on the billiard languages and corresponding forbidden languages”, International Conference on Infinity in Logic & Computation (Cape Town, November 2007), Univ. of Cape Town, 2007, 34
15. Б. Мельников, Е. Мельникова, “Кластеризация ситуаций в алгоритмах реального времени для задач дискретной оптимизации”, Системы управления и информационные технологии, 2007, 16–19  elib (цит.: 5)
16. Б. Мельников, Е. Мельникова, “Кластеризация ситуаций в алгоритмах реального времени в некоторых задачах дискретной оптимизации”, Изв. вузов (Поволжский регион), естественные науки, 2007, 3–11

   2006
17. Б. Мельников, “Мультиэвристический подход к задачам дискретной оптимизации”, Кибернетика и системный анализ (НАН Украины), 2006, № 3, 32–42  mathscinet  zmath; B. Melnikov, “Multiheuristic approach to discrete optimization problems”, Cybernetics and Systems Analysis, 42:3 (2006), 335–341  crossref  mathscinet  zmath  scopus (cited: 6)
18. B. Melnikov, A. Radionov, A. Moseev, E. Melnikova, “Some specific heuristics for situation clustering problems”, (http://www.informatik.uni-trier.de/), ICSOFT (Setúbal, Portugal, September 11-14, 2006), INSTICC Press, ISBN 972-8865-69-4, 2006, 272–279
19. B. Melnikov, A. Radionov, V. Gumayunov, “Some Special Heuristics for Discrete Optimization Problems”, (http://www.informatik.uni-trier.de/), ICEIS (Paphos, Cyprus, May 23-27, 2006), Paphos University, ISBN 972-8865-41-4, 2006, 360–364

   2005
20. B. Melnikov, “Discrete optimization problems – some new heuristic approaches”, Proceedings of the Eighth International Conference on High-Performance Computing in Asia-Pacific Region, IEEE Computer Society Washington, 2005, 73–80

   2004
21. Б. Мельников, “Описание специальных подмоноидов глобального надмоноида свободного моноида”, Изв. вузов. Матем., 2004, № 3, 46–56  mathnet  mathscinet  zmath; B. Melnikov, “Description of special submonoids of the global supermonoid of a free monoid”, Russian Math. (Iz. VUZ), 48:3 (2004), 42–51  mathscinet  zmath

   2002
22. Б. Мельников, “Программирование недетерминированных игр”, Российская наука: дорога жизни (Сб. научно-популярных статей РФФИ), Октопус, 2002, 17–26
23. Б. Мельников, “Однозначные конечные автоматы”, Изв. вузов (Поволжский регион), физ.-мат. науки, 2002, № 1, 45–58
24. B. Melnikov, A. Melnikova, “A new algorithm of constructing the basis finite automaton”, Informatica (Lithuanian Acad. of Sciences), 13:3 (2002), 299–310  mathscinet  zmath
25. B. Melnikov, N. Sciarini-Guryanova, “Possible edges of a finite automaton defining a given regular language”, J. of Applied Math. and Computing (The Korean J. of Computational and Applied Math.), 9:2 (2002), 475–485  mathscinet  zmath
26. B. Melnikov, A. Melnikova, “Some properties of the basis finite automaton”, J. of Applied Math. and Computing (The Korean J. of Computational and Applied Math.), 9:1 (2002), 131–150  mathscinet
27. Б. Мельников, “Об $\omega$-языках специальных биллиардов”, Дискрет. матем., 14:3 (2002), 95–108  mathnet (цит.: 1)  crossref  mathscinet  zmath; B. Melnikov, “On $\omega$-languages of special billiards”, Discrete Math. Appl., 12:5 (2002), 501–514  mathscinet  zmath

   2001
28. Б. Мельников, “Эвристики в программировании недетерминированных игр”, Программирование (РАН), 2001, № 5, 63–80  mathscinet  zmath; B. Melnikov, “Heuristics in programming of nondeterministic games”, Program. Comput. Softw., 27:5 (2001), 277–288  crossref  mathscinet  zmath  isi (cited: 4)  scopus (cited: 8)
29. B. Melnikov, A. Melnikova, “Edge-minimization for non-deterministic finite automata”, J. of Applied Math. and Computing (The Korean J. of Computational and Applied Math.), 8:3 (2001), 469–479  mathscinet  zmath
30. Б. Мельников, Н. Романов, “Ещë раз об эвристиках для задачи коммивояжëра”, Теоретические проблемы информатики и еë приложений, т. 4, Изд-во Саратовского гос. унив., Саратов, 2001, 81–92

   2000
31. A. Brosalina, B. Melnikov, “Commutation in global supermonoid of free monoids”, Informatica (Lithuanian Acad. of Sciences), 11:4 (2000), 353–370  mathscinet  zmath
32. B. Melnikov, E. Kashlakova, “Some grammatical structures of programming languages as simple bracketed languages”, Informatica (Lithuanian Acad. of Sciences), 11:4 (2000), 441–454  mathscinet  zmath
33. B. Melnikov, “Once more about the state-minimization of the nondeterministic finite automata”, J. of Applied Math. and Computing (The Korean J. of Computational and Applied Math.), 7:3 (2000), 655–662  mathscinet  zmath
34. А. Лозовой, Б. Мельников, А. Радионов, “Применение генетических алгоритмов и специальных несогласованных v-фильтров для минимизации корреляционных шумов БФМ сигналов”, Цифровая обработка сигналов и еë применение (Москва, 2000), т. 1, Инсвязьиздат, 2000, 144–147; A. Lozovoy, B. Melnikov, A. Radionov, “The use of genetic algorithms and specific unmatched v-filters for BPSK signals correlation noise minimizing”, Digital Signal Processing and its Applications (Moscow, 2000), v. 1, 2000, 147–149

   1999
35. B. Melnikov, “A new algorithm of the state-minimization for the nondeterministic finite automata”, J. of Applied Math. and Computing (The Korean J. of Computational and Applied Math.), 6:2 (1999), 277–290  mathscinet  zmath
36. B. Melnikov, “$2\omega$-finite automata and sets of obstructions of their languages”, J. of Applied Math. and Computing (The Korean J. of Computational and Applied Math.), 6:3 (1999), 565–574  mathscinet  zmath

   1998
37. Б. Мельников, А. Радионов, “О выборе стратегии в недетерм. антагонистических играх”, Программирование (РАН), 1998, № 5, 55–62  mathscinet  zmath; B. Mel'nikov, A. Radionov, “A choice of strategy in nondeterministic antagonistic games”, Program. Comput. Softw., 24:5 (1998), 247–252  mathscinet  zmath  isi
38. B. Melnikov, A. Vakhitova, “Some more on the finite automata”, J. of Applied Math. and Computing (The Korean J. of Computational and Applied Math.), 5:3 (1998), 495–506 (http://www.springerlink.com/content/1598-5865/5/3/)  mathscinet

   1996
39. Б. Мельников, “Алгоритм проверки равенства бесконечных итераций конечных языков”, Вестник Моск.ун-та, сер. Вычисл. матем. и киб-ка, 1996, № 4, 49–54  mathscinet  zmath
40. Б. Мельников, “Вариации на тему перебора”, Информатика и образование, 1996, № 4, 37–45

   1995
41. B. Melnikov, “Some equivalence problems for free monoids and for subclasses of the CF-grammars class”, Number theoretic and algebraic methods in computer science, World Sci. Publ., 1995, 125–137  mathscinet  zmath
42. О. Дубасова, Б. Мельников, “Об одном расширении класса контекстно-свободных языков”, Программирование (РАН), 1995, № 6, 46–58  mathscinet  zmath; O. Dubasova, B. Mel'nikov, “On an extension of the class of context-free languages”, Program. Comput. Softw., 21:6 (1995), 299–306  mathscinet  zmath  isi
43. Б. Мельников, Подклассы класса контекстно-свободных языков (монография), изд-во МГУ, Москва, 1995 , 174 с.

   1994
44. Б. Мельников, “Некоторые проблемы равенства в глобальном надмоноиде свободного моноида”, Фундаментальные проблемы математики и механики (программа "Университеты России"), МГУ, Москва, 1994, 304–305

   1993
45. B. Melnikov, “The equality condition for infinite catenations of two sets of finite words”, Int. J. of Found. of Comp. Sci., 4:3 (1993), 267–274  crossref  mathscinet  zmath
46. Б. Мельников, “Об одной классификации последовательностных контекстно-свободных языков и грамматик”, Вестник Моск.ун-та, сер. Вычисл. матем. и киб-ка, 1993, № 3, 64–69  mathscinet

   1991
47. Б. Мельников, “Некоторые следствия условия эквивалентности однозначных скобочных грамматик”, Вестник Моск.ун-та, сер. Вычисл. матем. и киб-ка, 1991, № 3, 51–53  mathscinet  zmath

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2022