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

Илья Абрамович Головинский
Илья́ Абра́мович Голови́нский
Голови́нский
Файл:Ilia Golovinsky.JPG
Дата рождения:

30 января 1951

Место рождения:

Ленинград

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

Содержание

Биография

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

В настоящее время – ведущий научный сотрудник НТЦ электроэнергетики (Москва).

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

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

Сочинения

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

  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. Возможности тренажеров оперативных переключений для персонала предприятий электроэнергетики (с Ю.Я.Любарским и Ю.И.Моржиным) // Збірка наукових праць. Спеціальний випуск. Інститут проблем моделювання в енергетиці им. Г.Є.Пухова НАН Украïни. Т. 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, с. 31-48; ч. 2, 2007, № 1, с. 19-36.
  30. Координация параллельных частично упорядоченных процессов. // Известия РАН. Теория и системы управления, 2008, № 6, с. 46-73. Англ. перевод: Coordination of parallel partially ordered processes. // Journal of Computer and Systems Sciences International, 2008, vol. 47, No 6, p. 881-906.
  31. Блокировки автоматов групп. I. Односторонние блокировки. // Известия РАН. Теория и системы управления, 2009, № 1, с. 49-73. Англ. перевод: Blocking of group automata. I. One-sided interlocking. // Journal of Computer and Systems Sciences International, 2009, vol. 48, No 1, p. 45-69.
  32. Блокировки автоматов групп. II. Взаимные блокировки. // Известия РАН. Теория и системы управления, 2009, № 2, с. 72-83. Англ. перевод: Blocking of group automata. II. Mutual interlocking. // Journal of Computer and Systems Sciences International, 2009, vol. 48, No 2, p. 231-242.

Ссылки


Wikimedia Foundation. 2010.

Нужен реферат?

Полезное


Смотреть что такое "Илья Абрамович Головинский" в других словарях:

  • Головинский, Илья Абрамович — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей …   Википедия

  • Головинский Илья Абрамович — …   Википедия

  • Головинский — Головинский  фамилия или топоним. Фамилия Головинский, Алексей Федорович  российский купец, меценат Головинский, Василий Андреевич  петрашевец, чиновник Сената Головинский, Гай Петрович  Герой Советского Союза Головинский,… …   Википедия

  • Протоколы Сионских мудрецов — «Протоколы сионских мудрецов»  появившийся в начале XX века сборник текстов, представлявшийся публикаторами как документы всемирного еврейского заговора; некоторые из них, в частности С. А. Нилус, утверждали, что это протоколы докладов участников …   Википедия

  • Список Героев Советского Союза/Г —       Служебный список статей, созданный для координации работ по развитию темы.   Данное предупреждение не устанавливается на информационные статьи списки и глоссари …   Википедия

  • Батурина, Елена — Самая богатая женщина России Крупный предприниматель, бывший владелец инвестиционно строительной корпорации Интеко , занимавшей ведущие позиции на рынке производства полимеров и изделий из пластмассы, монолитного домостроения, коммерческой… …   Энциклопедия ньюсмейкеров


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»