БОГОМОЛОВ АНАТОЛИЙ МИХАЙЛОВИЧ
ДОНЕЦКИЙ ПЕРИОД ЖИЗНИ
Донецкий период жизни Анатолия Михайловича Богомолова неразрывно связан с организацией (1966) и становлением Донецкого вычислительного центра АН УССР (с 1970 - Институт прикладной математики и механики АН УССР). Вычислительный центр был задуман как учреждение математического профиля, объединяющее теоретические и прикладные направления исследований, и состоял из ряда теоретических математических отделов: отдел уравнений математической физики (заведующий И.И.Данилюк, чл.-корр. АН Украины), отдел уравнений в частных производных (заведующий Я.Б.Лопатинский, академик АН Украины), отдел теории функций (заведующий Г.Д.Суворов, чл.-корр. АН Украины), отдел теории вероятностей (заведующий И.И.Гохман, чл.-корр. АН Украины), отдел прикладной механики (заведующий П.В.Харламов, чл.-корр. АН Украины), отдел теории упругости (заведующий А.С.Космодамианский, академик АН Украины), а также отдел математического моделирования, отдел вычислительных методов и программирования и отдел эксплуатации ЭВМ.
В 1965 году Анатолий Михайлович был приглашен руководством Академии наук УССР в Донецк с предложением занять пост заместителя директора по научной работе и заведующего отделом вычислительных методов и программирования ДВЦ АН УССР. Перед Анатолием Михайловичем были поставлены две основные задачи:
выбор направления работ, которые бы сочетали актуальность тематики, высокий математический уровень исследований и внедрение результатов работ в промышленность Донбасса;
подготовка кадров, поскольку математиков-исследователей и прикладников вузы Донбасса еще не готовили.
Выбор направления научных исследований определялся всей предыдущей деятельностью Анатолия Михайловича - математическая кибернетика и ее приложения в задачах управления промышленными предприятиями. В его отделе в это время велись работы по научно-исследовательской теме "Разработка экономико-математических методов и алгоритмов решения экономико-математических задач, необходимых для создания автоматизированных систем планирования и управления промышленными предприятиями на основе применения вычислительной техники". Руководителем этой темы он и был утвержден.
С решением второй проблемы было сложнее. Анатолий Михайлович привез из Саратова группу молодых математиков, имевших опыт в проведении прикладных работ
и только начинавших проводить математические исследования. Этого было недостаточно, поэтому с первых дней А.М.Богомолов проводит активную работу па подбору и расстановке кадров и их профессиональной подготовке.
С целью создания базы математических исследований в отделе организуются учебные семинары, на которых начинают интенсивно изучаться новые в то время разделы кибернетики такие, как теория систем, линейное программирование, теория графов, теория автоматов, техническая диагностика, методы булевой алгебры, псевдобулево программирование, теоретическое и прикладное программирование и ряд других. В рамках этих семинаров приглашались для чтения лекций по своим последним научным результатам известные отечественные ученые М.А.Спивак (Саратов), В.Г.Срагович (Москва) и др. В дальнейшем часть из этих семинаров превратились в научные. Уже в 1967 году были получены оригинальные и нетривиальные результаты по теории систем, теории автоматов, формальных языков. Отдел состоялся.
В 1967 году Анатолий Михайлович начинает по совместительству работать в Донецком государственном университете сначала в должности доцента, а потом профессора. На математическом факультете он организует кафедру прикладной математики и теории систем управления, принимает активное участие в создании кафедры экономической кибернетики, которая затем переводится на экономический факультет. Сотрудники Анатолия Михайловича по вычислительному центру также активно включаются в педагогическую деятельность. Они читают ряд основных, специальных курсов, содержащих последние достижения в теоретическом и прикладном аспектах, руководят выполнением дипломных работ на математическом, физическом и экономическом факультетах Донецкого государственного университета. Лекции отличаются высоким теоретическим уровнем и пользуются большой популярностью. В результате создается мощное звено в цепи ДонГУ - ИПММ, позволившее в значительной степени решить проблему снабжения последнего квалифицированными молодыми кадрами.
Анатолий Михайлович организует и активно участвует в установлении связей с промышленными предприятиями области с целью изучения проблем, возникающих на предприятиях и требующих научного разрешения. В решении этой задачи помогали активно действовавшие в то время общества "Знание" и НТО "Приборпром". Заместителем председателя последнего был избран А.М.Богомолов. В эти общества было вовлечено большинство сотрудников ДВЦ УССР. Руководство обществ организовало поездки с лекциями их членов по всем крупным предприятиям Донецкой и Луганской областей. Достаточно тесные связи были установлены с Донецким машиностроительным заводом им. Ленинского комсомола, Донецким металлургическим заводом им. В.И.Ленина, Донецким заводом точного машиностроения, Ждановским металлургическим заводом им. Ильича. На этих предприятиях проходили совместные семинары, на которых сотрудники ДВЦ УССР выступали с докладами о методах прикладной математики, а сотрудники заводов с докладами об организации производства, технологических процессах и проблемах, которые возникают при управлении ими.
Исследования по выше названной теме были связаны с различными аспектами разработки и внедрения автоматизированных систем управления (АСУ) промышленными предприятиями, часть работы выполнялась на основе хоздоговоров с заводами Донбасса. Основное внимание в вопросах, связанных с разработкой АСУ, было сосредоточено на трех объектах, которые изучались методами системотехники. Выбор объектов определялся потребностями промышленности Донбасса, где наиболее развиты машиностроительная и металлургическая промышленность.
Первым объектом стал завод мелкосерийного и индивидуального производства -Донецкий машиностроительный завод им. Ленинского комсомола. Исследования ориентировались на разработку и построение глобальной модели информационных управляющих потоков на промышленном предприятии, анализ которой позволил бы определить основные управляющие алгоритмы переработки информации, оценить мощность вычислительного комплекса АСУ, мощность и локализацию устройств по сбору, передаче и приему управляющей информации. В качестве одной из возможных изучалась глобальная модель информационных управляющих потоков, отражающая документо-связи и показатели-связи внутри подмоделей документо-связей. Ввиду колоссального объема информации, с которой пришлось оперировать при изучении модели, возникла необходимость формализации методов анализа моделей такого типа и реализации их на электронных вычислительных машинах. Были разработаны методы анализа моделей документо-связей всего промышленного предприятия, обеспечивающие решение комплекса задач. Были разработаны алгоритмы и создана система математического обеспечения на ЭВМ "Минск-22", полностью автоматизирующая процесс анализа документооборота. Эта система была признана в научных кругах как единственная по-настоящему функционировавшая в то время в СССР. Кроме Донецкого машиностроительного завода им. Ленинского комсомола система была внедрена в Донецком территориальном управлении материально-технического снабжения, на Ново-Краматорском машиностроительном заводе, в мартеновском цехе Ждановского металлургического завода им. Ильича и ряде других предприятий.
Вторым объектом являлся металлургический завод как система управления (на примерах Донецкого и Ждановского металлургических заводов). Основными задачами были изучение и формализация алгоритмов и критериев управления заводом в целом как единой сложной системой, оптимальное его разбиение на подсистемы, допускающие автономное изучение с целью создания автоматизированных систем управления на уровне подразделения завода (цех, участок) без существенной потери качества управления. В связи с этим были проведены исследования и анализ предприятия с полным металлургическим циклом, описаны и изучены количественно и качественно функциональные управляющие связи, материальные потоки, системы резервов, существующие структуры управления, основные показатели технологических процессов, ограничения по мощностям и ресурсам. Для более детального изучения были выбраны листопрокатное производство и участок "мартен-разливка". Для листопрокатного производства разработаны математические модели оптимального управления технологическим процессом, создана система математического обеспечения (алгоритмы и программы) оптимальным управлением листопрокатным цехом с использованием ЭВМ "Минск-22", которая и была внедрена в 1971 году на Донецком металлургическом заводе. Для участка "мартен-разливка" была разработана математическая модель управления качеством продукции и создана система математического обеспечения (алгоритмы и программы), внедренная в 1971 году на Ждановском металлургическом заводе.
Третьим объектом являлся информационно-вычислительный комплекс АСУ вместе с системами сбора; передачи и хранения управляющей информации. Здесь основное внимание обращалось на разработку методов контроля и диагноза неисправностей сложных информационных систем контроля для обеспечения высокой надежности передачи и переработки информации при управлении промышленным предприятием. В качестве основного направления исследований была выбрана алгоритмизация процессов контроля и диагноза неисправностей в сложных системах с элементами памяти. Были сформулированы основные задачи алгоритмизации, решена задача формализации безусловных и условных контрольных и диагностических тестов для сложных систем, сформулированы и доказаны теоремы о необходимых и достаточных условиях разрешимости диагностической задачи для семейства сложных систем, описывающих неисправности.
Прикладные исследования в руководимом Анатолием Михайловичем отделе проводились в тесной взаимосвязи с теоретическими. Для описания функционирования и структуры сложных систем были предложены специальные алгебры - алгебра структурных автоматов и алгебра бинарных отношений, позволившие решить основную задачу декомпозиции систем большой размерности на ряд подсистем меньшей размерности. В алгебре структурных автоматов разрабатывались методы решения задач существования контрольных и диагностических тестов. Была обоснована гипотеза о связи методов построения тестов с классической задачей о лабиринте, и разработан на основе этой связи ряд методов, среди которых наиболее детально был развит метод периодических последовательностей. Была также построена теория вероятностных экспериментов с приложением к решению задач технической диагностики, разработаны методы и алгоритмы определения оптимального числа встроенных контрольных точек для улучшения диагностируемости структурных автоматов и сокращения длины диагностической последовательности.
Свои научные результаты Анатолий Михайлович оформил в диссертационную работу "Алгоритмизация процессов анализа, диагноза и синтеза сложных информационных систем" на соискание ученой степени доктора технических наук. Диссертация была успешно защищена в 1973 году в ИПУ АН СССР и содержала решение целого спектра задач, актуальных в то время как в теоретическом, так и прикладном аспектах. Среди этих задач разработка схем и алгоритмов автоматического диагноза и контроля методами теории автоматов, разработка алгебраических методов описания структуры, функционирования и неисправностей логических устройств с памятью, исследование существования тестов и классификация различимости неисправностей, разработка методов построения тестов для логических устройств с памятью направленным поиском и на основе использования периодических последовательностей, исследования аналогии между алгоритмами построения тестов и поиском пути в лабиринте (следует отметить, что второй всплеск интереса к проблеме поиска пути в лабиринте наступит только через 10 лет), разработка метода синтеза комбинационных устройств и построения диагностических тестов для них на основе преобразования индуктивных графов с базой (подчеркнем, что первая международная конференция, посвященная преобразованиям графов, состоится только осенью 2002 года).
О размахе, глубине и результативности комплексных исследований, проводимых Анатолием"' Михайловичем и его учениками, свидетельствует ряд вышедших в те годы монографий (см. прилагаемый список), докладов на конгрессах ИФАК, международных конференциях по теоретической кибернетике и дискретной математике, технической диагностике, программированию.
Анатолий Михайлович сразу же начал устанавливать международные связи. В 1970 году во время трехмесячной командировки в США он посетил ряд университетов, где ознакомился с организацией научных исследований и подготовкой кадров, прочел ряд лекций по диагностике сложных информационных систем. Во время этой командировки он встречался с учеными, находившимися в то время "на острие науки" в области кибернетики (Дж.Хартманис, М.Месарович, А.Заде). А.М.Богомолов и его ученики принимали участие в семинарах Международного математического центра им. С.Банаха (Варшава), в ряде международных конференций в Польше, Венгрии, Чехословакии, ГДР.
По возвращению из США А.М.Богомолов всячески стимулировал в отделе исследования по теории языков и сложности вычислений, теории иерархических систем, теории нечетких множеств. Сам Анатолий Михайлович показал, как можно плодотворно использовать модели и методы последнего направления в теории автоматов. Именно в то время им были разработаны основы формального подхода для организации направленного поиска при решении проблем идентификации автоматов. Значимость этих исследований А.М.Богомолова определяется следующими факторами. Во-первых, попытки объединения в то время существовавших разрозненных методов поиска, основанных на оценивании, в единую формальную теорию столкнулись с трудностями принципиального характера (такими, как невозможность использовать локальные алгоритмы при решении ряда проблем минимизации ДНФ). Именно исследования А.М.Богомолова дали возможность выявить ряд фундаментальных проблем дискретной математики, для которых оценка эффективности использования оценочных функций до сих пор остается открытой. Во-вторых, именно введенное А.М.Богомоловым понятие вектора различимости (являющегося, по своей сути, удобным с вычислительной точки зрения представлением упорядоченных разбиений конечного множества) дало возможность построить универсальную вероятностную меру для классификации входных слов, как частичных тестов. Роль этой меры существенно возрастает в связи с интенсивно развивающимися в последнее время двумя направлениями: генетическими алгоритмами и ДНК-вычислениями.
С 21 марта 1974 года А.М.Богомолов назначается временно исполняющим обязанности директора Института прикладной математики и механики АН УССР, а 20 марта 1975 года А.М.Богомолов общим собранием АН УССР утверждается директором Института прикладной математики и механики АН УССР. На этом посту ему приходилось более широко смотреть на место института в регионе. Сложившийся высокий уровень фундаментальных исследований в институте должен был быть подкреплен важными прикладными разработками для ключевых отраслей народного хозяйства. И у Анатолия Михаиловича возникла идея о создании нового хозрасчетного подразделения при институте. В то время непосредственно при институте это сделать не удалось, но в 1977 году в СКТБ Донецкого физико-технического института АН УССР был создан отдел, работавший по совместной тематике двух институтов. Этот отдел и послужил основой для организации в дальнейшем СКТБ систем управления с опытным производством при ИПММ.
Говоря об организаторских и научных заслугах А.М.Богомолова, необходимо упомянуть о его человеческих качествах. В памяти сотрудников института он остался как очень порядочный, принципиальный, требовательный к себе и подчиненным человек. Он умел быстро и точно оценить проблемную ситуацию и указать реальные пути выхода из нее. О его доброжелательном и заботливом отношении, помощи в трудные минуты до сих пор с благодарностью вспоминают все, кому посчастливилось работать с Анатолием Михайловичем.
В 1977 году А.М.Богомолов получил неожиданное предложение возвратиться в Саратов и возглавить Саратовский университет. Начался новый этап жизни.
После отъезда А.М.Богомолова в Саратов его Донецкая школа продолжала и расширяла фундаментальные и прикладные исследования, которые организационно оформились в виде отдела теории управляющих систем (зав. отделом д.т.н. Д.В.Сперанский), лаборатории прикладных проблем дискретной математики (зав.лаб. к.ф.-м.н. И.С.Грунский), лаборатории математического моделирования и управления технологическими процессами (зав. лаб. д.т.н. В.Н.Ткаченко) и СКТБ систем управления (директор Ю.И.Когтев).
Фундаментальные исследования проводились в нескольких направлениях. В области сложности вычислений и формальных языков А.С.Барашко показал, что существуют такие сколь угодно большие частично-рекурсивные функции, именующие классы сложности специального вида, и тем самым решил известную задачу Робертсона. В.А.Липская исследовала марковские процессы порождения языков и нашла критерий, при котором с вероятностью 1 каждая траектория порождения успешна.
В области теории конечных автоматов Д.В.Сперанский рассмотрел ряд новых вариантов автоматов без потери информации и дал их полную характеризацию. Им, совместно с И.С.Грунским, построены алгоритмы экономного обхода по всем дугам орграфов и найдены достижимые оценки их длины.
А.С.Барашко разработал методы вероятностного компактного тестирования с помощью статистической характеристики - частоты появления в выходных последовательностях фиксированных подпоследовательностей. Им изучена статистическая эквивалентность автоматов и реализации статистических отображений конечными автоматами.
И.С.Грунский разработал основы теории представления конечных автоматов с заданной точностью относительно заданных классов неисправностей в автоматах. В.А.Козловский развил эту теорию для класса "локальных" неисправностей автомата. О.М.Копытова исследовала отличимость автоматов с помощью выходных последовательностей. Г.Г.Пономаренко - неотличимость автоматов экспериментами заданной кратности. В.М.Негурица разработал основы теории канальных неисправностей. С.Ю.Бородай и затем И.И.Максименко рассматривали эксперименты с автоматами относительно бесконечных классов неисправных автоматов, заданных финитными средствами. А.А.Курганский определил критерии разрешимости/неразрешимости задачи контроля автоматов, взаимодействующих со средой.
В.Г.Скобелев решил сформулированную А.М.Богомоловым (совместно с В.Б.Кудрявцевым) проблему исследования алгоритмов и сложности распознавания внутренних состояний конечного автомата. На основе этих результатов в настоящее время разработал основы комбинаторно-алгебраической теории идентификации дискретных систем.
В области технической диагностики цифровых устройств Ю.А.Скобцов проводил исследования многозначных алфавитов и функций и их приложений к диагностике цифровых систем (ЦС). При этом был предложен оригинальный подход, основанный на универсальной системе многозначных алфавитов и функций. На базе этой системы разработаны многозначные модели основных операторов языков регистровых передач типа VHDL для функционального уровня моделирования ЦС, созданы псевдобулевы модели ЦС для переключательного уровня моделирования ЦС. Разработка единой системы многозначных моделей функционального, логического и переключательного уровней позволила создать иерархическую программную систему и эффективно реализовать методы и алгоритмы моделирования и генерации тестов для современных ЦС.
В области теории управления технологическими процессами В.Н.Ткаченко разработал ряд алгоритмов, которые были внедрены в виде программных комплексов на металлургических и коксохимических заводах.
В Донецке остался крепкий коллектив учеников Анатолия Михайловича, сохранивший и по сей день научные и человеческие связи с созданным им коллективом в Саратовском университете. Проводятся совместные исследования. Уже донецкими "научными внуками" Анатолия Михайловича защищено 5 кандидатских диссертаций по математической кибернетике в Саратовском университете. И мы надеемся, что это плодотворное сотрудничество, у истоков которого стоял Анатолий Михаилович, будет продолжаться и впредь.
И.В. Скрыпник,
Д.В.Сперанский,
И.С. Грунский,
Ю.И. Когтев,
В.А. Козловский,
В.Г. Скобелев,
Ю.А. Скобцов
|
СЕМНАДЦАТЬ ЛЕТ ВО ГЛАВЕ САРАТОВСКОГО УНИВЕРСИТЕТА
В 1977 году ректором одного из старейших в России университетов - Саратовского государственного университета им. Н.Г.Чернышевского - был утвержден доктор технических наук Богомолов Анатолий Михайлович. Это стало возвращением в родной вуз бывшего студента и аспиранта физического факультета, а затем старшего преподавателя механико-математического факультета. Возвращению предшествовали одиннадцать лет работы в Институте прикладной математики и механики Академии наук УССР заместителем директора по научной работе, а с 1974 года - директором института.
В этот период Анатолий Михайлович проходит путь от исследователя конкретных задач до организатора научных исследований института в целом. Он приобретает неоценимый опыт работы с известными учеными, определяющими лицо большой, фундаментальной науки. Среди них академик АН СССР В.М.Глушков, академик АН УССР Я.Б.Лапатинский, академик АН СССР В.С.Михалевич, члены-корреспонденты АН УССР И.И.Гихман, П.В.Харламов, А.С.Космодамианский, В.С.Королюк, Г.Д.Суворов и многие другие. Они возглавляли научные школы и у них было чему учиться. А учиться Анатолий Михайлович умел: закончил школу с серебряной медалью, университет с красным дипломом, а аспирантуру - с успешной защитой кандидатской диссертации по специальности "Теоретическая физика". В 1973 году А.М.Богомолов защитил диссертацию на степень доктора технических наук по технической кибернетике и теории информации. Ученый с глубокими и обширными знаниями, опытом проведения конкретных исследований и опытом организации науки был лучшей кандидатурой на должность ректора СГУ.
Первые годы руководства университетом были трудными для Анатолия Михайловича. Непросто складывались отношения с бывшими однокурсниками и преподавателями. Многие из его учеников и соратников остались в Институте прикладной математики и механики АН УССР, и требовалось сформировать новый творческий коллектив. Многократно возрос масштаб организационно-хозяйственной деятельности.
Одновременно с этим расширились перспективы для реализации планов и возможностей. В 1978 году он создает и руководит кафедрой математической кибернетики, а в 1980 году добивается открытия в СГУ Ученого совета по защитам кандидатских диссертаций по специальности Математическая кибернетика. Укрепляется научная школа, возглавляемая Анатолием Михайловичем. Его ученики создают и возглавляют кафедры дискретного анализа и теоретических основ информатики.
Научное направление математические модели и методы в технической диагностике возникло в 1960-1961 . годах в СГУ по инициативе и под руководством Анатолия Михайловича. Оно получило развитие во многих разделах прикладной математики (теория экспериментов с автоматами, алгебраическая теория автоматов, математическая кибернетика, информатика, теория отношений и графов). Шесть докторов наук и более тридцати кандидатов являются учениками Анатолия Михайловича.
Работа директором академического института, участие в Республиканских и Всесоюзных, а затем Российских программах организации научных исследований, творческие командировки в страны Европы и Америки (США, Англия, Куба, Германия, Югославия, Венгрия, Польша, Чехословакия и др.) сформировали у Анатолия Михайловича мышление организатора науки большого масштаба. При его активном участии в. регионе создается система академических институтов и филиалов ведущих академических институтов города Москвы, в работе которых он принимает непосредственное участие. На общественных началах он с 1980 года руководил сектором методологии и методики социологических и экономико-математических исследований ИСЭПАПК АН СССР. А.М.Богомолов являлся одним из инициаторов создания Федеральной информационной сети "Российские университетские сети (Runnet)", которая включила созданный в СГУ ПРЦНИТ.
Большой вклад в науку и подготовку научных кадров, решение административных, организационных и хозяйственных вопросов в течение самого продолжительного для ректоров СГУ периода руководства университетом -это не полный перечень заслуг профессора А.М.Богомолова. Трудно переоценить его роль в руководстве университетом во время начавшейся перестройки.
На смену хорошо известным целям, критериям оценки деятельности, отношениям в системе госучреждений и т.п. пришло новое, еще не понятое или своеобразно понятое представление обо всех жизненных проблемах и путях их разрешения. Раньше, в очередной характеристике, даваемой ректору общественными организациями, указывалось, что "А.М.Богомолов принимает активное участие в общественной и партийной жизни, являясь членом Саратовского обкома КПСС, членом республиканского комитета профсоюзов, депутатом Саратовского областного совета народных депутатов, председателем областного отделения общества советско-чехословацкой дружбы, избирался .делегатом XXVI и XXVII o съездов КПСС и республиканской конференции профсоюзов (1982)". ,
Настало время, когда" многие из этих заслуг стали положительными в кавычках. Длительные задержки в финансировании университета, сокращение объема финансирования, отказ вузов от распределения выпускников на места работы, переход ведущих специальностей в разряд непрестижных, невостребованых - это трудности, преодолевать которые должен был университет под руководством Анатолия Михайловича Богомолова.
Сейчас, когда время позволило выделить главное в характере А.М.Богомолова, можно отметить масштабность его мышления, многообразие научных интересов, талант его как руководителя, умение правильно ориентироваться в сложных ситуациях, твердость убеждений, В результате - Саратовский государственный университет выстоял в условиях перестройки, остался одним из ведущих вузов региона и России.
В 1994 году не стало отца и любимого мужа в большой семье Богомоловых. Две дочери Наташа и Елена, сын Сергей и жена Евгения Антиповна многие годы разделяли трудности и радости вместе с необыкновенным, талантливым человеком, отдавшим долгие годы своей жизни Саратовскому университету. Трудностей на жизненном пути Анатолия Михайловича было много. Он родился 18 мая 1932 года в селе Красный Яр Старополтавского района Волгоградской области в крестьянской семье. У его родителей было стремление к учебе: отец, Юшков Михаил Яковлевич, окончил рабфак Института рыбной промышленности, а мать, Богомолова Мария Павловна, обучалась в педагогическом институте. В 1946 году Анатолий Михайлович с матерью переезжает на постоянное местожительство в город Энгельс. Путь к осуществлению мечты - получить высшее образование заняться наукой - начался в 1950 году в стенах Саратовского госуниверситета.
Между двумя датами - 18 мая 1932 года и 15 сентября 1994 года - прошла жизнь Заслуженного деятеля науки и техники РСФСР, академика Российской академии естественных наук и академика Международной академии наук высшей школы, профессора, доктора технических наук, бывшего семнадцать лет ректором университета, Богомолова Анатолия Михайловича.
За свои заслуги А.М.Богомолов был награжден орденом Трудового Красного знамени, медалью ,"3а доблестный труд", многочисленными грамотами и почетными званиями. Однако не меньшей наградой ему является светлая память, уважение и любовь его родных, его учеников и всех тех, кто имел счастье работать и общаться с ним.
Д. В. Сперанский,
А. А. Сытник,
В. А. Твердохлебов
|
Основные монографии А.М.Богомолова
Богомолов A.M., Коробов Б.В. Программирование для
ЭВМ "Урал-2" и "Урал-4". Саратов: Изд-во СГУ, 1965.482 с.
Одна из первых монографий по практическому программированию.
Богомолов А.М., Барашко А.С., Грунский И.С. Эксперименты с автоматами. Киев: Наукова думка, 1973.144 с.
Построен фрагмент логической теории вывода заключений при экспериментах с автоматами. Впервые систематически изложена теория направленного поиска при построении частичных тестов для класса автоматов, основанная на концепции вектора различимости.
Богомолов A.M., Твердохлебов В.В. Диагностика
сложных систем. Киев: Наукова думка, 1974. 128 с.
Развита теория логических экспериментов с автоматами. Впервые систематически изложена алгебраическая теория описания структуры и функционирования сложных систем в терминах теории конечных автоматов, на основе которой исследованы условия существования тестов и методы их построения.
Богомолов А.М., Грунский И.С, Сперанский Д.В.
Контроль и преобразования дискретных автоматов. Киев:
Наукова думка, 1975.174 с.
Исследованы алгоритмы и сложность диагноза и контроля абстрактных и структурных автоматов.
Богомолов A.M., Твердохлебов В.А. Целенаправлен
ное поведение автоматов. Киев: Наукова думка, 1975.123 с.
Впервые систематически изложены основы алгебраической теории экспериментов с большими системами, представленными в виде автоматов и булевых функций.
Богомолов A.M., Зыков В.В., Когтев Ю.И., Ткаченко
В.Н., Христофоров В.В., Чуберкис В.П. Оптимизация
процессов прокатного производства. Киев: Наукова Думка,
1977.
Впервые систематически изложены основы графоаналитической теории анализа и синтеза систем управления производственными процессами. Разработаны и реализованы алгоритмы управления основными технологическими процессами прокатного производства.
Богомолов A.M., Сперанский Д.В. Аналитические
методы в задачах контроля и анализа дискретных устройств.
Саратов: Изд-во Сарат. ун-та, 1986.240 с.
Систематически исследуется структура полугруппы преобразований конечного множества относительно эквивалентности, сохраняющей спецификацию. На этой основе детально исследована структура класса автоматов А2,2,2
Богомолов A.M., Кривенчук О.Г., Когтев Ю.И.,
Ломовацкий Г.И., Шаташвили А.Д. Экономическое
моделирование сложных производственных систем: Часть 1.
Саратов: Изд-во Сарат. ун-та, 1989.189 с.
Исследованы математические модели производственных процессов в металлургии.
Богомолов A.M., Кривенчук О.Г., Когтев Ю.И.,
Ломовацкий Г.И., Шаташвили А.Д. Экономическое
моделирование сложных производственных систем: Часть 2.
Модели управления автоматическими складами. Саратов:
Изд-во Сарат. ун-та, 1989.142 с.
Построена новая математическая модель управления автоматизированными складами.
Богомолов A.M., Салий В.Н. Алгебраические основы
теории дискретных систем. М.: Наука, 1997. 367 с.
Представлен алгебраический материал, который наиболее широко используется в теории дискретных систем.
|