Илья Абрамович Головинский

Илья́ Абра́мович Голови́нский (р. 30 января 1951, Ленинград) — российский учёный-математик, специалист в области истории науки, искусственного интеллекта и прикладной дискретной математики. Ведущий научный сотрудник ВНИИЭ.

Илья́ Абра́мович Голови́нский
Голови́нский
Дата рождения:	30 января 1951
Место рождения:	Ленинград
В запросе есть пустое условие.

Биография

Учась в школе, занимал призовые места на всесоюзных математических олимпиадах.

• 1968—1973 — механико-математический факультет МГУ, диплом с отличием
• 1975—1978 — аспирантура, Институт истории естествознания и техники АН СССР (научный руководитель – А. П. Юшкевич)
• 1979 — диссертация кандидата физико-математических наук по истории конечно-разностных методов
• С 1992 — во ВНИИ электроэнергетики

В настоящее время – ведущий научный сотрудник ВНИИЭ.

Основные научные и научно-технические результаты

В области истории математики:

• Построил классификацию интерполяционных рядов в работах Ньютона, Тейлора, Лапласа и Абеля
• Показал происхождение преобразования Лапласа из интегральных представлений гамма-функции и бета-функции
• Описал конструкцию интерполяционных рядов Лапласа при помощи биортогональных систем функций
• Исследовал сходимость формулы суммирования Эйлера-Буля и установил её связь с формулой суммирования Эйлера-Маклорена
• Установил связи интерполяционного метода Коши с различными классами функциональных рядов, с задачами и результатами П. Л. Чебышева и А. А. Маркова
• Впервые исследовал и описал раннюю историю аналитических итераций и функциональных уравнений, установив связь метода Бригса вычисления логарифмов с функцией Кенигса
• Систематизировал различные подходы к обоснованию метода наименьших квадратов у Лежандра, Гаусса и Чебышева

В области дискретного управления и искусственного интеллекта:

• Выявил основные классы правил технологии управления в электрических сетях и формализовал их семантическую структуру. Предложил метод синтаксических шаблонов, на основе которого совместно с А. В. Бобровым создал программы автоматического преобразования семантических структур правил в тексты естественного языка
• Сформулировал принципы противоаварийного управления сложными техническими системами. Применил их к исследованию на компьютерной модели аварии на подстанции Чагино Мосэнерго, происходившей 24-25 мая 2005
• Сформулировал концепцию АСКУП - Автоматизированной системы контроля и управления переключениями в электрических сетях
• Предложил модель профессионального интеллекта диспетчера. На её основе разработал методы и программы статистической оценки профессиональной квалификации диспетчеров
• Разработал (совместно с В. М. Максимовым и Ю. Н. Кучеровым, при участии ведущих специалистов ОАО «ФСК ЕЭС») Проект Национального стандарта Российской Федерации по оперативным переключениям в электрических сетях
• Ввел операции приращения и замыкания графов, которые в сочетании с другими операциями алгебры графов (объединением, пересечением и разностью) обеспечивают алгебраическую формализацию алгоритмов структурного и структурно-ситуационного анализа графовых моделей сложных технологических систем. Построил аналог этой алгебры для гиперграфов и применил его к анализу гиперграфовых моделей электрических сетей
• Сформулировал принцип семантической границы, как общий принцип поиска и логического вывода в графовых (бинарных) моделях и семантических сетях. На его основе определил функцию и предикаты семантической границы, применение которых упрощает алгоритмы структурного и структурно-ситуационного анализа графовых моделей и семантических сетей
• Предложил математическую формализацию операции обобщения как стягивание графовой модели. Применил её к интеграции разнотипных компьютерных моделей электрической сети
• Для АСКУП создал интегрированную компьютерную модель, обеспечивающую синхронное функционирование статической модели электрического режима и дискретной модели переключений, управляемой системой технологических правил
• Установил условия непротиворечивости интеграции различных графовых моделей одной технологической системы
• Предложил математическую формализацию класса задач дискретного управления – задач с ограничениями на очередность переключений. Установил, что диаграмма общего решения любой такой задачи есть дистрибутивная решетка. Установил также, что всякая конечная дистрибутивная решетка есть диаграмма общего решения некоторой задачи данного класса. Определил алгебру переключений и дал общий метод построения общих решений задач указанного класса, как преобразование множества заданных ограничений в алгебраическую формулу общего решения

Библиография

История математики

1. «Работы Ньютона по теории интерполяции». // История и методология естественных наук. М.: Изд-во МГУ, вып. XVI, 1974, с. 51-62.
2. «Из истории интерполяционных рядов». // Историко-математические исследования. М.: Наука, вып. XXII, 1977, с. 65-81.
3. «Значение открытия преобразования П. Лапласа для развития методов интерполяции». // Вопросы истории естествознания и техники, 1977, вып. 3-4 (56-57), с. 37-40.
4. «Об интерполировании последовательностей у Валлиса и Эйлера». // История и методология естественных наук. М.: Изд-во МГУ, вып. XX, 1978, с. 62-68.
5. «Как было введено преобразование Лапласа?» // Историко-математические исследования. М.: Наука, вып. XXIII, 1978, с. 127-141.
6. «Интерполяционные ряды Лапласа». // Историко-математические исследования. М.: Наука, вып. XXIV, 1979, с. 104-120.
7. «К предыстории интерполяционной задачи с кратными узлами». // История и методология естественных наук. М.: Изд-во МГУ, вып. XXV, 1980, с. 67-74.
8. «Ранняя история аналитических итераций и функциональных уравнений». // Историко-математические исследования. М.: Наука, вып. XXV, 1980, с. 25-51.
9. «Формула суммирования Эйлера-Буля». // Историко-математические исследования. М.: Наука, вып. XXVI, 1982, с. 52-91.
10. «О методе интерполяции О. Л. Коши». // Историко-математические исследования. М.: Наука, вып. XXVIII, 1985, с. 26-78.
11. «К обоснованию метода наименьших квадратов у П. Л. Чебышева». // Историко-математические исследования. М.: Наука, вып. XXX, 1986, с. 224-247.

Дискретное управление и искусственный интеллект

1. «Интеллектуальные тренажеры оперативных переключений». (Соавторы Белобжеская Л.А., Любарский Ю.Я.) // Вестник ВНИИЭ-96, М.: ЭНАС, 1996, с. 105-107.
2. «Естественный неалгоритмический язык запросов для реляционных моделей энергосистем». // Вестник ВНИИЭ-97, М.: ВНИИЭ, 1997. С. 145-148.
3. «КОРВИН - тренажер оперативных переключений с расчетом потокораспределения». // Вестник ВНИИЭ-98, М., ЭНАС, 1998, с. 127-132.
4. «Понимание компьютером электрических схем». // Вестник ВНИИЭ-2000,. М.: ЭНАС, 2000, с. 162-168.
5. «Диагностика квалификации персонала на тренажере оперативных переключений». // Вестник ВНИИЭ-2000, М.: ЭНАС, 2000, с. 169-175.
6. «Новые возможности интеллектуальных тренажеров оперативных переключений». // Вестник электроэнергетики, 2002, № 1, с. 36-41.
7. «Объектно-ориентированный подход к разработке программ анализа коммутационных схем электрических сетей». // Известия РАН. Энергетика, 2001, № 2. С. 46-56.
8. «Универсальные тренажеры оперативных переключений». (Соавтор Куклев В.И.) // Электрические станции, 2001, № 11, с. 2-8.
9. «Экспертные системы – тренажеры оперативных переключений». (Соавтор Чепкасов А.П.) // Управление режимами Единой энергосистемы России: Сборник докладов Открытой Всероссийской научно-технической конференции. – М.: Изд-во ЭНАС, 2002, с. 261-265.
10. «Интеграция информационной системы передачи и хранения ремонтных заявок с экспертной системой их режимной проработки». (Соавторы Горбунова Л.М., Жилевич А.Б., Любарский Ю.Я.) // Электрические станции, 2002, № 9, с. 44-47.
11. «Интеграция коммутационной и режимной моделей электрической сети в тренажере оперативных переключений». // Известия РАН. Энергетика, 2003, № 4, с. 143-155.
12. «Принципы построения тренажера оптимальных переключений». // Известия РАН. Энергетика, 2003, № 6, с. 47 - 58.
13. «Тренировки по восстановлению режима после аварии на тренажере оперативных переключений в ПЭС и РЭС». (Соавтор Тенихин А.В.) // Вестник ВНИИЭ-2003, М.: ЭНАС, 2003, с. 119-129.
14. «Коммутационная модель электросети как система автоматов». // Вестник ВНИИЭ-2003, М.: ЭНАС, 2003, с. 136-148.
15. «Формализация естественного языка правил переключений в электрических сетях». // Известия РАН. Энергетика, 2004, № 6, с. 126-138.
16. «Принципы построения универсальной автоматизированной системы контроля и управления переключениями в электрических сетях». // Вестник ВНИИЭ-2004, М.: Изд-во НЦ ЭНАС, 2004, с. 204-213.
17. «Противоаварийные тренировки на тренажере оперативных переключений с контролем стационарных режимов». (Соавторы: Любарский Ю.Я., Моржин Ю.И.) // Электрические станции, 2004, № 9, с. 47-56.
18. «Методы анализа топологии коммутационных схем электрических сетей». // Электричество, 2005, № 3, с. 10-18.
19. «Вычисление семантических параметров моделей электросетей: принцип семантической границы». // Известия РАН. Энергетика, 2005, № 2, с. 27-42.
20. К«оммутационно-режимный тренажер КОРВИН-3 и направления его совершенствования». (Соавторы Бобров А.В., Шиманская Т.А.) // Методические вопросы исследования надежности больших систем энергетики. Выпуск 55. Иркутск-Минск, 2005, с. 211-220.
21. «Интеграция коммутационно-режимного тренажера с комплексом АСДУ». (Соавторы: Привалов В.И., Крупа И.В.) // Шестой специализированный научно-технический семинар-выставка «Современные средства телемеханики, организация рабочих мест и щитов управления». Сборник докладов. М.: ЭНАС, 2005.
22. «Разработка национальных стандартов по терминам и определениям в области надежности в электроэнергетике, правилам переключений в электроустановках, требованиям к обеспечению системной надежности для устройств РЗА и при предоставлении доступа к электрической сети». / Под рук. Ю.Н.Кучерова. Научно-технический отчет. М.: ВНИИЭ, 2005. Т. 2А: «Проект Национального Стандарта по правилам переключений в электроустановках» – 156 с., т. 2Б: «Приложения к Проекту Национального Стандарта по правилам переключений в электроустановках» – 168 с. (Соавторы: Максимов В.В, Максимов В.М. Собственность ОАО «ФСК ЕЭС»).
23. «Возможности тренажеров оперативных переключений для персонала предприятий электроэнергетики». (Соавторы: Любарский Ю.Я., Моржин Ю.И.) // Збiрка наукових праць. Спецiальний випуск. Iнститут проблем моделювання в енергетицi им. Г.Є.Пухова НАН Украïни. Т. 1. Киïв, 2005, с. 103-110.
24. «Противоаварийное обучение на коммутационно-режимном тренажере». // Седьмой специализированный научно-технический семинар-выставка «Современные средства телемеханики, организация рабочих мест и щитов управления». Сборник докладов. М.: Диалог Электро, 2006, с. 162-164.
25. «Тренажер оперативных переключений для диспетчера энергосистемы «50 герц»». (Соавтор Бобров А.В.). // Седьмой специализированный научно-технический семинар-выставка «Современные средства телемеханики, организация рабочих мест и щитов управления». Сборник докладов. М.: Диалог Электро, 2006, с. 196-199.
26. «Разработка интеллектуальной системы управления надежностью энергосистем и электросетей». (Соавторы: Гикинская А.Е., Кучеров Ю.Н., Любарский Ю.Я.) // Методические вопросы исследования надежности больших систем энергетики. Выпуск 56. Иркутск-Псков, 2006, с. 206-215.
27. «Моделирование противоаварийного управления в ситуационно-режимных тренажерах». (Соавторы: Любарский Ю.Я., Моржин Ю.И.) // Электронное моделирование. Киев, 2006, № 4, с. 89-106.
28. «Общие решения задач переключений». // Известия РАН. Теория и системы управления, 2006, № 6, с. 65-76. Английский перевод: General Solutions to Switching Problems. // Journal of Computer and Systems Sciences International, 2006, vol. 45, No 6, p. 906-916.
29. «Непротиворечивость операций в многоуровневых дискретных моделях электрических сетей». // «Электронное моделирование». Киев, ч. 1, 2006, № 6; ч. 2, 2007, № 1.

Ссылки

• ВНИИЭ