Учёная степень: доктор технических наук, кандидат физико-математических наук
Научное направление: Технические науки
Регион: Москва
Индекс цитирования научной биографии: 0 (по количеству внешних ссылок)
Рейтинг: 60 (по количеству просмотров анкеты за последний месяц)
СЕРТИФИКАТ участника энциклопедии "Известные Ученые"
В 1973 г. окончил с отличием механико-математический ф-т МГУ.
В 1978 г. окончил аспирантуру Института истории естествознания и техники АН СССР (научный руководитель – А.П. Юшкевич).
В 1979 г. защитил диссертацию кандидата физико-математических наук «Развитие исчисления конечных разностей в XVIII в. – первой трети XIX в.».
В 2013 г. защитил диссертацию доктора технических наук «Разработка методов и алгоритмов планирования и контроля оперативных переключений в электрических сетях энергосистем».
С 1992 г. – ведущий научный сотрудник ВНИИЭ (ВНИИ электроэнергетики, Москва) и ОАО «НТЦ ФСК ЕЭС» (Открытое акционерное общество «Научно-технический центр Федеральной сетевой компании Единой энергетической системы», Москва).
Области научных интересов: история науки, искусственный интеллект, прикладная дискретная математика, автоматизация оперативно-диспетчерского управления в электроэнергетике.
Исследуя параллелизм в развитии исчисления бесконечно малых и исчисления конечных разностей в XVII – XIX столетиях, описал соответствия между развитием теории степенных рядов (Тейлора, Абеля) и интерполяционных рядов (Ньютона, Лапласа). Показал происхождение преобразования Лапласа из интегральных представлений гамма- и бета-функций. Установил связь формулы суммирования Эйлера-Буля с формулой суммирования Эйлера-Маклорена, исследовал её сходимость. Установил связи интерполяционного метода О.Л. Коши с различными классами функциональных рядов, с задачами и результатами П.Л. Чебышева и А.А. Маркова. Впервые исследовал и описал раннюю историю аналитических итераций функций и функциональных уравнений, установив связь метода вычисления логарифмов Г. Бригса с функцией Кёнигса. Систематизировал подходы к обоснованию метода наименьших квадратов у А.М. Лежандра, П.С. Лапласа, К.Ф. Гаусса и П.Л. Чебышёва.
В области искусственного интеллекта разработал архитектуру интеллектуальных агентов оперативно-диспетчерского управления электрическими сетями энергосистем (совместно с М.И. Лондером). Впервые применил метод резолюций для унификации механизмов логического вывода у этих агентов. Предложил модель профессионального интеллекта диспетчера электрических сетей для автоматической оценки его квалификации.
Занимаясь теорией и автоматизацией управления переключениями в электросетях, ввел новые операции над графами – «приращения» и «замыкания». Это позволило, в сочетании с использованием известных ранее операций, выражать алгебраическими формулами алгоритмы анализа коммутационных схем электросетей и других контактных схем, инвариантные к топологии схем. Разработал «метод семантической границы» как универсальный инструмент поиска и логического вывода в графовых моделях. Разработал концепцию графореляционной системы, соединяющей возможности реляционных и графовых моделей. Предложил методы интеграции разноуровневых графореляционных моделей энергосистемы средствами алгебры графов.
Установил, что вычисление компонент двусвязности неориентированного графа эквивалентно вычислению компонент обычной связности другого графа, получаемого из первого несложным преобразованием. На этой основе дал новый метод анализа двусвязности неориентированных графов – «метод присоединения фундаментальных циклов».
Установил причины, по которым при моделировании аппаратных и логических блокировок в электросетях не работают методы декомпозиции конечных автоматов, основанные на теории Крона-Роудза. Ввел конструкцию блокировочного соединения автоматов и дал метод построения любого автомата групп посредством блокировочных соединений перестановочных триггеров – автоматов групп с двумя состояниями. Учитывая эти результаты, обратился к исследованию автоматов, диаграммы переходов состояний которых являются решетками. Показал, что систему логических блокировок операций дискретного технологического процесса можно формализовать как отношение частичного порядка на множестве операций. Тогда диаграммой переходов состояний автомата, моделирующего этот процесс, будет дистрибутивная решетка. На этой основе построил математическую модель координации системы параллельных частично упорядоченных процессов.
Предложил алгоритм преобразования «локальных» условий дискретного процесса, выраженных правилами блокировки операций, в алгебраическое выражение множества всех траекторий процесса. Это преобразование является дискретным аналогом построения аналитического выражения общего решения дифференциального уравнения, определяющего непрерывную динамическую систему.
Разработал математическую модель технологии переключений в электрических сетях как систему продукций, формализующих правила планирования и логической блокировки операций.
Автор более 50 опубликованных научных работ. Получил 5 авторских свидетельств на программы для ЭВМ.