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

Біографія

Навчаючись у школі, займав призові місця на всесоюзних математичних олімпіадах.

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

В даний час - провідний науковий співробітник НТЦ електроенергетики (Москва).

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

• Встановив зв'язку інтерполяційного методу Коші з різними класами функціональних рядів, із завданнями і результатами П. Л. Чебишева і А. А. Маркова
• Побудував класифікацію інтерполяційних рядів в роботах Ньютона, Тейлора, Лапласа і Абеля
• Вперше дослідив і описав ранню історію аналітичних ітерацій і функціональних рівнянь, встановивши зв'язок методу Брігса обчислення логарифмів з функцією Кенігса
• Описав конструкцію інтерполяційних рядів Лапласа за допомогою біортогональних систем функцій
• Показав походження перетворення Лапласа з інтегральних уявлень гамма-функції і бета-функції
• Систематизував різні підходи до обгрунтування методу найменших квадратів у Лежандра, Гауса і Чебишева
• Досліджував збіжність формули підсумовування Ейлера-Буля і встановив її зв'язок з формулою підсумовування Ейлера-Маклорена

• Встановив взаємно-однозначна відповідність між підпроцесами частково упорядкованого процесу і фактор-гратами дистрибутивної решітки, що представляє безліч його траєкторій. Ввів поняття системи паралельних взаємопов'язаних частково впорядкованих процесів. Встановив відповідність між такими системами і подпрямимі творами кінцевих дистрибутивних решіток.
• Розробив (спільно з В. М. Максимовим і Ю. Н. Кучерова, за участю провідних фахівців ВАТ «ФСК ЄЕС») Проект Національного стандарту Російської Федерації за оперативними перемикання в електричних мережах.
• Встановив, що групою максимальної взаємної блокування двох сильно зв'язкових автоматів груп (коли кожен з двох автоматів працює при єдиному стан іншого автомата) є або симетрична групаS_n, або знакозмінна групаA_n, деn- загальне число станів блокувального з'єднання. На основі цього результату запропонував метод моделювання будь-яких автоматів груп блокувальними сполуками тригерів. Цей метод дає уявлення блокувальними сполуками тригерів в тому числі і для автоматів простих груп, нерозкладних в каскадні з'єднання.
• Для АСКУП створив інтегровану комп'ютерну модель, що забезпечує синхронне функціонування статичної моделі електричного режиму і дискретної моделі перемикань, керованою системою технологічних правил
• Ввів операції збільшення і замикання графів, які в поєднанні з іншими операціями алгебри графів (об'єднанням, перетином і різницею) забезпечують алгебраїчну формалізацію алгоритмів структурного і структурно-ситуаційного аналізу графових моделей складних технологічних систем. Побудував аналог цієї алгебри для гіперграфів і застосував його до аналізу гіперграфових моделей електричних мереж.
• Сформулював концепціюАСКУП- Автоматизованої системи контролю та управління перемиканнями в електричних мережах.
• Виявив основні класи правил технології управління в електричних мережах і формалізував їх семантичну структуру. Запропонував метод синтаксичних шаблонів, на основі якого спільно з А. В. Бобровим створив програми автоматичного перетворення семантичних структур правил у тексти звичайної мови.
• Встановив умови несуперечності інтеграції різних графових моделей однієї технологічної системи.
• Запропонував математичну формалізацію класу задач дискретного управління - завдань з обмеженнями на черговість перемикань. Встановив, що діаграма загального вирішення будь-якої такого завдання є дистрибутивна решітка. Встановив також, що будь-яка кінцева дистрибутивна решітка є діаграма спільного рішення деякої задачі даного класу. Визначив алгебру перемикань і дав загальний метод побудови загальних рішень завдань зазначеного класу, як перетворення багатьох заданих обмежень у алгебраїчну формулу загального рішення.
• Виходячи з правил взаємодії перемикаються пристроїв електричної мережі, ввів поняття блокувального з'єднання безлічі кінцевих автоматів. Визначив для пари автоматів поняття односторонньої і взаємного блокування. Встановив, що групою максимальної односторонньої блокування двох сильно зв'язкових автоматів груп (коли блокується автомат працює при єдиному стані блокуючого автомата) є подстановочной сплетіння груп вихідних автоматів. І назад - що всяке подстановочной сплетіння двох транзитивних кінцевих груп є групою максимальної односторонньої блокування двох автоматів цих груп.
• Сформулював принцип семантичної кордону, як загальний принцип пошуку і логічного висновку в графових (бінарних) моделях і семантичних мережах. На його основі визначив функцію і предикати семантичної кордону, застосування яких спрощує алгоритми структурного і структурно-ситуаційного аналізу графових моделей і семантичних мереж.
• Запропонував модель професійного інтелекту диспетчера. На її основі розробив методи і програми статистичної оцінки професійної кваліфікації диспетчерів.
• Запропонував математичну формалізацію операції узагальнення як стягування графових моделі. Застосував її до інтеграції різнотипних комп'ютерних моделей електричної мережі.
• Ввів поняття частково упорядкованого дискретного процесу (з кінцевим числом кроків). Встановив, що безліч траєкторій такого процесу є дистрибутивної гратами. І назад - що будь-яка кінцева дистрибутивна решітка є безліч траєкторій деякого частково упорядкованого процесу.
• Сформулював принципи протиаварійного управління складними технічними системами. Застосував їх до дослідження на комп'ютерній моделі аварії на підстанції Чагіно Мосенерго, що відбувалася 24-25 травня 2005.

Твори

Історія математики

Дискретне управління і штучний інтелект

Комментарии

Сайт: Википедия