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

Головинский Илья Абрамович родился 30.01.1951 г. в Ленинграде.

В 1973 г. окончил с отличием механико-математический ф-т МГУ.

В 1978 г. окончил аспирантуру Института истории естествознания и техники АН СССР (научный руководитель – А.П. Юшкевич).

В 1979 г. защитил диссертацию кандидата физико-математических наук «Развитие исчисления конечных разностей в XVIII в. – первой трети XIX в.».

В 2013 г. защитил диссертацию доктора технических наук «Разработка методов и алгоритмов планирования и контроля оперативных переключений в электрических сетях энергосистем».

С 1992 г. – ведущий научный сотрудник ВНИИЭ (ВНИИ электроэнергетики, Москва) и ОАО «НТЦ ФСК ЕЭС» (Открытое акционерное общество «Научно-технический центр Федеральной сетевой компании Единой энергетической системы», Москва).

Области научных интересов: история науки, искусственный интеллект, прикладная дискретная математика, автоматизация оперативно-диспетчерского управления в электроэнергетике.

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

В области искусственного интеллекта разработал архитектуру интеллектуальных агентов оперативно-диспетчерского управления электрическими сетями энергосистем (совместно с М.И. Лондером). Впервые применил метод резолюций для унификации механизмов логического вывода у этих агентов. Предложил модель профессионального интеллекта диспетчера электрических сетей для автоматической оценки его квалификации.

Занимаясь теорией и автоматизацией управления переключениями в электросетях, ввел новые операции над графами – «приращения» и «замыкания». Это позволило, в сочетании с использованием известных ранее операций, выражать алгебраическими формулами алгоритмы анализа коммутационных схем электросетей и других контактных схем, инвариантные к топологии схем. Разработал «метод семантической границы» как универсальный инструмент поиска и логического вывода в графовых моделях. Разработал концепцию графореляционной системы, соединяющей возможности реляционных и графовых моделей. Предложил методы интеграции разноуровневых графореляционных моделей энергосистемы средствами алгебры графов.

Установил, что вычисление компонент двусвязности неориентированного графа эквивалентно вычислению компонент обычной связности другого графа, получаемого из первого несложным преобразованием. На этой основе дал новый метод анализа двусвязности неориентированных графов – «метод присоединения фундаментальных циклов».

Установил причины, по которым при моделировании аппаратных и логических блокировок в электросетях не работают методы декомпозиции конечных автоматов, основанные на теории Крона-Роудза. Ввел конструкцию блокировочного соединения автоматов и дал метод построения любого автомата групп посредством блокировочных соединений перестановочных триггеров – автоматов групп с двумя состояниями. Учитывая эти результаты, обратился к исследованию автоматов, диаграммы переходов состояний которых являются решетками. Показал, что систему логических блокировок операций дискретного технологического процесса можно формализовать как отношение частичного порядка на множестве операций. Тогда диаграммой переходов состояний автомата, моделирующего этот процесс, будет дистрибутивная решетка. На этой основе построил математическую модель координации системы параллельных частично упорядоченных процессов.

Предложил алгоритм преобразования «локальных» условий дискретного процесса, выраженных правилами блокировки операций, в алгебраическое выражение множества всех траекторий процесса. Это преобразование является дискретным аналогом построения аналитического выражения общего решения дифференциального уравнения, определяющего непрерывную динамическую систему.

Разработал математическую модель технологии переключений в электрических сетях как систему продукций, формализующих правила планирования и логической блокировки операций.

Автор более 50 опубликованных научных работ. Получил 5 авторских свидетельств на программы для ЭВМ.

Научные публикации

1.Как было введено преобразование Лапласа? // Историко-математические исследования. М.: Наука, вып. XXIII, 1978, с. 127-141.

2.Ранняя история аналитических итераций и функциональных уравнений. // Историко-математические исследования. М.: Наука, вып. XXV, 1980, с. 25-51.

3.Формула суммирования Эйлера-Буля. // Историко-математические исследования. М.: Наука, вып. XXVI, 1982, с. 52-91.

4.О методе интерполяции О.Л. Коши. // Историко-математические исследования. М.: Наука, вып. XXVIII, 1985, с. 26-78.

5.К обоснованию метода наименьших квадратов у П.Л. Чебышева. // Историко-математические исследования. М.: Наука, вып. XXX, 1986, с. 224-247.

6.Объектно-ориентированный подход к разработке программ анализа коммутационных схем электрических сетей. // Известия РАН. Энергетика, 2001, № 2, с. 46-56.

7.Методы анализа топологии коммутационных схем электрических сетей. // Электричество, 2005, № 3, с. 10-18.

8.Вычисление семантических параметров моделей электросетей: принцип семантической границы. // Известия РАН. Энергетика, 2005, № 2, с. 27-42.

9.Общие решения задач переключений. // Известия РАН. Теория и системы управления, 2006, № 6, с. 65-76. Англ. перевод: Golovinskii I.A. (2006). General solutions to switching problems. Journal of Computer and Systems Sciences International, 45(6), 906-916.

10.Координация параллельных частично упорядоченных процессов. // Известия РАН. Теория и системы управления, 2008, № 6, с. 46-73. Англ. перевод: Golovinskii I.A. (2008). Coordination of parallel partially ordered processes. Journal of Computer and Systems Sciences International, 47(6), 881-906.

11.Блокировки автоматов групп. I. Односторонние блокировки. // Известия РАН. Теория и системы управления, 2009, № 1, с. 49-73. Англ. перевод: Golovinskii I.A. (2009). Blocking of group automata. I. One-sided interlocking. Journal of Computer and Systems Sciences International, 48(1), 45-69.

12.Блокировки автоматов групп. II. Взаимные блокировки. // Известия РАН. Теория и системы управления, 2009, № 2, с. 72-83. Англ. перевод: Golovinskii, I.A. (2009). Blocking of group automata. II. Mutual interlocking. Journal of Computer and Systems Sciences International, 48(2), 231-242.

13.Анализ двусвязности графов методом присоединения фундаментальных циклов. // Информационные технологии моделирования и управления, 2013, № 2(80), с. 92-105 (в соавторстве с А.В. Тумаковым).

14.Анализ двусвязности графов: обоснование и варианты метода фундаментальных циклов. // Информационные технологии моделирования и управления, 2013, № 2(80), с. 123-137 (в соавторстве с А.В. Тумаковым).

15.Интеллектуальные агенты оперативно-диспетчерского управления электрическими сетями. I. Элементы архитектуры. // Известия РАН. Энергетика, 2014, № 1, с. 91-101 (В соавторстве с М.И. Лондером).

16.Интеллектуальные агенты оперативно-диспетчерского управления электрическими сетями. II. Логика реакций агентов. // Известия РАН. Энергетика, 2014, № 2, с. 118-129.

17.Принципы автоматизации контроля оперативной надежности электрической сети. // Известия РАН. Энергетика, 2015, № 2, с. 76-90 (В соавторстве с М.И. Лондером).

18.Автоматизация моделирования и анализа многотактных релейно-контактных схем. // Известия РАН. Теория и системы управления, 2015, № 2, с. 81-97 (Соавторы Бобров А.В., Карташов С.В.). Англ. перевод: Bobrov, A.V., Golovinskii, I.A., & Kartashov, S.V. (2015). Automation of simulation of multistep relay and switching circuits. Journal of Computer and Systems Sciences International, 54(2), 243-258.

19.Golovinskii, I.A. (2015). Methods of automatic control of the topological state of the equipment of electrical substations. Modern Applied Science, 9(4), 53-66. // http://ccsenet.org/journal/index.php/mas/article/view/43165.

20.Golovinskii, I.A. (2016). Logic and topology of switchover interlocks in electrical networks. International Journal of Applied Engineering Research, 11(3), 2007-2015. // http://www.ripublication.com/ijaer16/ijaerv11n3_69.pdf.

21.Golovinskii, I.A. (2016). Connection of two nodes of a transportation network by two disjoint paths. Global Journal of Pure and Applied Mathematics, 12(1). // http://www.ripublication.com/gjpam16/gjpamv12n1_04.pdf.

22.Golovinskii, I.A. (2016). Hierarchy of operative graph models of electrical network. International Journal of Applied Engineering Research, 11(11), 7362–7372. // http://www.ripublication.com/Volume/ijaerv11n11_28.pdf.

23.Golovinskii, I.A. (2016). Topological object-association model for simulating electrical networks. International Journal of Applied Engineering Research, 11(12), 7857–7867. // http://www.ripublication.com/Volume/ijaerv11n12_44.pdf.

---