Поделиться:

О знаменитости

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


Илья Абрамович Головинский биография, фото, истории - российский математик, специалист в области истории науки, искусственного интеллекта и прикладной дискретной математики
День рождения 30 января 1951

российский математик, специалист в области истории науки, искусственного интеллекта и прикладной дискретной математики

Биография

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

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

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

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

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

Комментарии

Добавить комментарий
Комментарий
Отправить

Никола Тесла Никола Тесла

физик, инженер, великий изобретатель

Альберт Эйнштейн Альберт Эйнштейн

автор теории относительности, физик-теоретик

Галилео Галилей Галилео Галилей

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

Яценко, Леонид Петрович Яценко, Леонид Петрович

член-корреспондент Академии наук Украины, директор Института физики АН Украины

Войцех Ястшембовский Войцех Ястшембовский

польский учёный-естествоиспытатель, изобретатель

Карл Гуте Янский Карл Гуте Янский

американский физик и радиоинженер, основоположник радиоастрономии

Янг Чжэньнин Янг Чжэньнин

китайский и американский физик

Лола Григорьевна Яковлева Лола Григорьевна Яковлева

российская, ранее советская, шахматистка, международный мастер ИКЧФ среди женщин

Олег Белай – жизненный путь основателя Инвестиционной группы ТРИНФИКО

Олег Белай – жизненный путь основателя Инвестиционной группы ТРИНФИКО

Дума ТВ

Дума ТВ

Евтушенков Владимир вкладывает в высокотехнологичное развитие агросектора

Евтушенков Владимир вкладывает в высокотехнологичное развитие агросектора