| [досмотренная версия] | [досмотренная версия] |
Snek (обсуждение | вклад) |
Snek (обсуждение | вклад) |
||
| Строка 15: | Строка 15: | ||
|Период работы в Томском университете = | |Период работы в Томском университете = | ||
|Место работы в Томском университете = | |Место работы в Томском университете = | ||
| − | |Учёная степень = | + | |Учёная степень = [[:Категория: Доктора Технических наук|доктор технических наук]] |
| − | |Учёное звание = | + | |Учёное звание = [[:Категория: Профессора Томского университета|профессор]] |
|Альма-матер = | |Альма-матер = | ||
|Научный руководитель = | |Научный руководитель = | ||
| Строка 23: | Строка 23: | ||
}} | }} | ||
| − | '''ЗАКРЕВСКИЙ Аркадий Дмитриевич''' (родился 22 мая 1928, Ленинград) – [[:Категория: Профессора Томского университета|профессор]] кафедры математической логики и программирования. | + | '''ЗАКРЕВСКИЙ Аркадий Дмитриевич''' (родился [[май в истории Томского университета|22 мая]] [[1928 год в истории Томского университета|1928]], Ленинград) – [[:Категория: Профессора Томского университета|профессор]] кафедры математической логики и программирования. |
| − | ==''' | + | =='''Семья'''== |
| − | + | Его отец, Дмитрий Филиппович (1898–1942), родом из г. Речица Минской губернии, инженер-лесопатолог, служил в Наркомлесе. Мать, Анна Андреевна (дев. Маркина, 1905–1988), родилась в Могилевской губернии, работала учительницей, затем бухгалтером в Красноярске. | |
| − | + | Женат на Людмиле Васильевне (дев. Спорышева, родился в 1937), [[:Категория: Выпускники Механико-математического факультета Томского университета|выпускнице механико-математического факультета]] [[Томский государственный университет|Томского государственного университета]]. Дети: Нина (родилась в 1960) и Лев (родился в 1968). Лев в настоящее время профессор университета Нью-Джерси (США). | |
| + | =='''Школьные и студенческие годы'''== | ||
| + | С 1936 семья жила в Красноярске, где А.Д. Зкревский в 1942 г. окончил семь классов средней школы. После этого он обучался там же в ремесленном училище № 3, получив специальность радиооператора (1943). В июле того же года был принят радистом в Норильскую экспедицию Желдорпроекта Главного управления железнодорожного строительства НКВД (затем МГБ - МВД) СССР. До 1945 г. находился с экспедицией в низовьях Енисея и Оби. | ||
| + | |||
| + | В 1946–1947 работал в Читинской экспедиции, в Якутской АССР. В 1948–1949 в составе Селенгинской экспедиции участвовал в изысканиях на территории МНР, в 1949–1951 в Северной экспедиции Желдорпроекта в междуречье Обь – Енисей (Салехард – Игарка). | ||
| + | |||
| + | В 1948 г. в Улан-Баторе (Монголия) сдал экстерном экзамены на аттестат зрелости в сов. средней школе № 1. В 1951 г. поступил на физический факультет [[Томский государственный университет|Томского государственного университета]] (далее ТГУ). После открытия радиофизического факультета продолжил обучение на новом факультете. Его учителями были [[:Категория: Профессора Томского университета|профессора]] [[Большанина, Мария Александровна|М.А. Большанина]], [[Кессених, Владимир Николаевич|В.Н. Кессених]], [[:Категория: Доценты Томского университета|доценты]] [[Бюлер, Георгий Александрович|Г.А. Бюлер]], В.А. Чалдышев, В.А. Жданов и др. На 1-м курсе был старостой группы, на 2-3-м - членом НСО, на 4-м – старостой группы и возглавлял учебный сектор в профкоме университета. [[:Категория: Выпускники Радиофизического факультета Томского университета|Окончил]] с отличием университет в 1956 г. по специальности «радиофизика и электроника» с квалификацией «физик-радиоэлектроник». | ||
| + | |||
| + | =='''От младшего научного сотрудника до профессора'''== | ||
| + | С октября 1956 г. по сентябрь 1959 г. – аспирант. Одновременно с 1 сентября по 31 декабря 1957 г. и с 1 сентября 1958 г. по 31 сентября 1959 г. – [[:Категория: Младшие научные сотрудники Томского университета|младший научный сотрудник]] [[Сибирский физико-технический институт|Сибирского физико-технического института]] (СФТИ). | ||
| + | |||
| + | С 1 октября 1959 г. – [[:Категория: Ассистенты Томского университета|ассистент]] кафедры радиофизики, с 1 февраля по 6 апреля 1961 г. – [[:Категория: Старшие научные сотрудники Томского университета|старший научный сотрудник]], с 21 августа 1962 г. по 10 ноября 1963 г., с 16 октября 1967 г. по 16 мая 1969 г. – [[:Категория: Заведующие лабораториями Томского университета|заведующий проблемной лабораторией]] счетно-решающих устройств. С 6 апреля 1961 г. по 21 августа 1962 г., с 10 ноября 1963 по 16 октябрь 1967 г.– [[:Категория: Старшие научные сотрудники Томского университета|старший научный сотрудник]] (утвержден ВАК в ученом звании старшего научного сотрудника по специальности «теоретическая кибернетика»), с 16 мая 1969 г. по 1 сентября 1970 г. – заведующий лабораторией физики кристаллизации [[Сибирский физико-технический институт|СФТИ]]. | ||
| + | |||
| + | По совместительству с 1 ноября 1965 г. по 1 марта 1967 г. – [[:Категория: Доценты Томского университета|доцент]], с 3 сентября 1968 г. по 1 сентября 1970 г. – [[:Категория: Профессора Томского университета|профессор]] кафедры электронной вычислительной техники и автоматики (ЭВТиА) радиофизического факультета (утвержден ВАК в ученом звании профессора 3 сентября 1969). С 1 сентября 1970 г. по 22 ноября 1971 г. – [[:Категория: Заведующие кафедрами Томского университета|заведующий кафедрой]] математической логики и программирования факультета прикладной математики. | ||
| + | |||
| + | После отъезда из Томска (1971) А.Д. Закревский – заведующий лабораторией Института технической кибернетики АН БССР (ныне – Национальная академия наук Беларуси), главный научный сотрудник. По совместительству – профессор Белорусского университета и Минского радиотехнического института (ныне Белорусский государственный университет информатики и радиоэлектроники). | ||
| + | |||
| + | =='''Преподавательская деятельность'''== | ||
| + | В [[Томский государственный университет|ТГУ]] читал общие и специальные курсы – теория релейных схем, методы синтеза цифровых вычислительных машин, основы программирования, логические основы электронной вычислительной техники, математическая логика, программирование логических задач, теория вероятностей, теория графов. | ||
| + | |||
| + | =='''Научно-исследовательская деятельность'''== | ||
| + | Основным направлением научных исследований А.Д. Закревского в период работы в [[Томский государственный университет|ТГУ]] были теория дискретных автоматических устройств, разработка алгоритмов их синтеза, развитие соответствующей системы математического обеспечения ЭВМ, методы решения логических задач более широкого класса. | ||
| + | |||
| + | Еще [[:Категория: Учились в Томском университете|студентом]] А.Д. Закревский принимал активное участие в научно-исследовательской работе, на 5-м курсе был старостой кружка «Быстродействующие электронные машины». Он заинтересовался проблемой проектирования цифровых вычислительных машин. | ||
| + | |||
| + | Тогда, в середине 50-х гг., в СССР появились первые ЭВМ и возникла необходимость в создании математической теории таких машин, в разработке математических методов анализа и синтеза их устройств. А.Д. Закревский занялся дискретной (конечной) математикой, ставшей математическим аппаратом не только для ЭВМ, но и для более широкого класса цифровых систем, называемых в кибернетике управляющими. Дипломную работу написал на тему «Электронный цифровой коррелятор» (научный руководитель [[Тарасенко, Феликс Петрович|Ф.П. Тарасенко]]). | ||
| + | |||
| + | Его первые статьи были посвящены алгебре логики и теории автоматов. Полученные им результаты по минимизации булевых функций и конечных автоматов легли в основу диссертации «Матричный метод синтеза релейных схем» (научный руководитель [[:Категория: Профессора Томского университета|профессор]] [[Кессених, Владимир Николаевич|В.Н. Кессених]]) на соискание ученой степени кандидата физико-математических наук, которую он защитил [[октябрь в истории Томского университета|19 октября]] [[1960 год в истории Томского университета|1960]] г. в совете ТПИ. | ||
| + | |||
| + | Объединив вокруг себя группу талантливых учеников, [[:Категория: Выпускники Радиофизического факультета Томского университета|выпускников радиофизического]] и [[:Категория: Выпускники Механико-математического факультета Томского университета|механико-математического]] факультетов [[Томский государственный университет|ТГУ]] (А.А. Уткин, Ю.Н. Печерский, Н.Р. Торопов, В.И. Каширов, Е.А. Бутаков, В.Г. Новоселов, В.В. Кирюхин, В.И. Островский, Ю.В. Поттосин, [[Агибалов, Геннадий Петрович|Г.П. Агибалов]], И.Л. Фадеев, В.Л. Павлов, позже присоединились С.В. Быкова, А.Ю. Матросова, В.А. Воробьев, М.Я. Товштейн и Н.А. Белоусова), он в начале 60-х гг. сформировал коллектив, занявшейся разработкой методов автоматического синтеза дискретных автоматов, т.е. созданием специализированного математического обеспечения ЭВМ, средствами которого вычислительная машина могла бы синтезировать различные цифровые управляющие системы, в том числе и другие ЭВМ. | ||
| + | |||
| + | Уже в 1962 г. группой, возглавляемой А.Д. Закревским, был создан алгоритмический языка ЛЯПАС – логический язык для представления алгоритмов синтеза. В 1964 г. была создана основанная на этом языке система автоматического программирования логических задач. По инициативе А.Д. Закревского и члена-корреспондента АН СССР М.А. Гаврилова в Томске (1964) состоялся I Всесоюзный коллоквиум по языкам конечных автоматов, а язык ЛЯПАС получил признание научной общественности. | ||
| + | |||
| + | В 1966 г. в издательстве «Наука» (Москва) был издан коллективный труд дискретной группы «Логический язык для представления алгоритмов синтеза релейных устройств». Коллектив авторов во главе с А.Д. Закревским был удостоен премии [[Томский государственный университет|ТГУ]] за работу «Логический язык для представления алгоритмов синтеза релейных устройств» (1967). В 1969 г. эта книга была переведена на английский язык и напечатана американским издательством «Академик-Пресс». | ||
| + | |||
| + | В 1967 г. в Институте автоматики и телемеханики (Москва) А.Д. Закревский защитил диссертацию «Алгоритмический язык ЛЯПАС и автоматизация синтеза дискретных автоматов» на соискание ученой степени [[:Категория: Доктора Технических наук|доктора технических наук]] (утверждено ВАК 23 декабря 1967). | ||
| + | |||
| + | Серия трансляторов с языка ЛЯПАС на различные машины была разработана в Чехословакии, ГДР, Польше, Югославии, в 1973 г. в США был создан интерпретатор с этого языка для ЭВМ системы ИБМ-360. В последующие годы были разработаны более совершенные системы ЛЯПАС – ЛЯПАС-71 и ЛЯПАС-М, а также целый ряд систем автоматического синтеза дискретных автоматов для проектных и научно-исследовательских организаций Москвы, Ленинграда, Омска, Миасса, Новосибирска, Воронежа, Казани и др. На базе ЛЯПАС-71 была создана программирующая система для ЭВМ 2-го поколения, предвосхитившая в себе многие идеи, реализованные за рубежом лишь в машинах 3-го поколения. СЭВ рекомендовал ЛЯПАС для распространения как международного логический языка. | ||
| + | |||
| + | С начала 1970-х гг. основные направления проводимых А.Д. Закревским исследований: логическая теория дискретных устройств, автоматизация программирования логических задач, методы логического проектирования, логические основы интеллектуальных систем. Основные результаты: язык и система программирования логико-комбинаторных задач ЛЯПАС, методы минимизации частичных булевых функций многих переменных, применение кода Хэмминга к синтезу надежных логических схем, методы решения логических уравнений, аппарат матричных логических уравнений и синтез ПЛМ, методы проектирования систем логического управления параллельными процессами, обобщение результатов теории булевых функций на конечные предикты, методы индуктивного и дедуктивного вывода в приложении к распознаванию образов, оптимизация полиноминальных представлений систем частичных булевых функций. | ||
| + | |||
| + | Им опубликовано свыше 350 работ. А.Д. Закревский участвовал в работе международных научных конференций и форумов в Польше, Германии, Англии, Канаде, Бельгии, Чехословакии, Словении, Греции, Болгарии, Индии, Финляндии, Португалии и др. Читал лекции по логическому подходу к распознаванию образов в Германии (Шмалькальден, Высшая техническая школа). Председатель подкомиссии по автоматизации синтеза релейных устройств и конечных автоматов при Совете по кибернетике АН СССР (1966). Награжден почетной грамотой Верховного Совета БССР (1978, 1988). Владеет английским, немецким, польским и белорусским языками Увлекался горным туризмом. Член-корреспондент Национальной академии наук Беларуси (1972) и академик Международной академии информационных процессов и технологий (1995). | ||
| + | |||
| + | =='''Труды'''== | ||
*Логический яз. для представления алгоритмов синтеза релейных устройств. М., 1966; | *Логический яз. для представления алгоритмов синтеза релейных устройств. М., 1966; | ||
*Алгоритмический яз. ЛЯПАС и автоматизация синтеза дискретных автоматов. Томск, 1966; | *Алгоритмический яз. ЛЯПАС и автоматизация синтеза дискретных автоматов. Томск, 1966; | ||
| ЗАКРЕВСКИЙ, Аркадий Дмитриевич | |
| Дата рождения: | |
|---|---|
| Место рождения: |
Ленинград |
| Учёная степень: | |
| Учёное звание: | |
ЗАКРЕВСКИЙ Аркадий Дмитриевич (родился 22 мая 1928, Ленинград) – профессор кафедры математической логики и программирования.
Его отец, Дмитрий Филиппович (1898–1942), родом из г. Речица Минской губернии, инженер-лесопатолог, служил в Наркомлесе. Мать, Анна Андреевна (дев. Маркина, 1905–1988), родилась в Могилевской губернии, работала учительницей, затем бухгалтером в Красноярске.
Женат на Людмиле Васильевне (дев. Спорышева, родился в 1937), выпускнице механико-математического факультета Томского государственного университета. Дети: Нина (родилась в 1960) и Лев (родился в 1968). Лев в настоящее время профессор университета Нью-Джерси (США).
С 1936 семья жила в Красноярске, где А.Д. Зкревский в 1942 г. окончил семь классов средней школы. После этого он обучался там же в ремесленном училище № 3, получив специальность радиооператора (1943). В июле того же года был принят радистом в Норильскую экспедицию Желдорпроекта Главного управления железнодорожного строительства НКВД (затем МГБ - МВД) СССР. До 1945 г. находился с экспедицией в низовьях Енисея и Оби.
В 1946–1947 работал в Читинской экспедиции, в Якутской АССР. В 1948–1949 в составе Селенгинской экспедиции участвовал в изысканиях на территории МНР, в 1949–1951 в Северной экспедиции Желдорпроекта в междуречье Обь – Енисей (Салехард – Игарка).
В 1948 г. в Улан-Баторе (Монголия) сдал экстерном экзамены на аттестат зрелости в сов. средней школе № 1. В 1951 г. поступил на физический факультет Томского государственного университета (далее ТГУ). После открытия радиофизического факультета продолжил обучение на новом факультете. Его учителями были профессора М.А. Большанина, В.Н. Кессених, доценты Г.А. Бюлер, В.А. Чалдышев, В.А. Жданов и др. На 1-м курсе был старостой группы, на 2-3-м - членом НСО, на 4-м – старостой группы и возглавлял учебный сектор в профкоме университета. Окончил с отличием университет в 1956 г. по специальности «радиофизика и электроника» с квалификацией «физик-радиоэлектроник».
С октября 1956 г. по сентябрь 1959 г. – аспирант. Одновременно с 1 сентября по 31 декабря 1957 г. и с 1 сентября 1958 г. по 31 сентября 1959 г. – младший научный сотрудник Сибирского физико-технического института (СФТИ).
С 1 октября 1959 г. – ассистент кафедры радиофизики, с 1 февраля по 6 апреля 1961 г. – старший научный сотрудник, с 21 августа 1962 г. по 10 ноября 1963 г., с 16 октября 1967 г. по 16 мая 1969 г. – заведующий проблемной лабораторией счетно-решающих устройств. С 6 апреля 1961 г. по 21 августа 1962 г., с 10 ноября 1963 по 16 октябрь 1967 г.– старший научный сотрудник (утвержден ВАК в ученом звании старшего научного сотрудника по специальности «теоретическая кибернетика»), с 16 мая 1969 г. по 1 сентября 1970 г. – заведующий лабораторией физики кристаллизации СФТИ.
По совместительству с 1 ноября 1965 г. по 1 марта 1967 г. – доцент, с 3 сентября 1968 г. по 1 сентября 1970 г. – профессор кафедры электронной вычислительной техники и автоматики (ЭВТиА) радиофизического факультета (утвержден ВАК в ученом звании профессора 3 сентября 1969). С 1 сентября 1970 г. по 22 ноября 1971 г. – заведующий кафедрой математической логики и программирования факультета прикладной математики.
После отъезда из Томска (1971) А.Д. Закревский – заведующий лабораторией Института технической кибернетики АН БССР (ныне – Национальная академия наук Беларуси), главный научный сотрудник. По совместительству – профессор Белорусского университета и Минского радиотехнического института (ныне Белорусский государственный университет информатики и радиоэлектроники).
В ТГУ читал общие и специальные курсы – теория релейных схем, методы синтеза цифровых вычислительных машин, основы программирования, логические основы электронной вычислительной техники, математическая логика, программирование логических задач, теория вероятностей, теория графов.
Основным направлением научных исследований А.Д. Закревского в период работы в ТГУ были теория дискретных автоматических устройств, разработка алгоритмов их синтеза, развитие соответствующей системы математического обеспечения ЭВМ, методы решения логических задач более широкого класса.
Еще студентом А.Д. Закревский принимал активное участие в научно-исследовательской работе, на 5-м курсе был старостой кружка «Быстродействующие электронные машины». Он заинтересовался проблемой проектирования цифровых вычислительных машин.
Тогда, в середине 50-х гг., в СССР появились первые ЭВМ и возникла необходимость в создании математической теории таких машин, в разработке математических методов анализа и синтеза их устройств. А.Д. Закревский занялся дискретной (конечной) математикой, ставшей математическим аппаратом не только для ЭВМ, но и для более широкого класса цифровых систем, называемых в кибернетике управляющими. Дипломную работу написал на тему «Электронный цифровой коррелятор» (научный руководитель Ф.П. Тарасенко).
Его первые статьи были посвящены алгебре логики и теории автоматов. Полученные им результаты по минимизации булевых функций и конечных автоматов легли в основу диссертации «Матричный метод синтеза релейных схем» (научный руководитель профессор В.Н. Кессених) на соискание ученой степени кандидата физико-математических наук, которую он защитил 19 октября 1960 г. в совете ТПИ.
Объединив вокруг себя группу талантливых учеников, выпускников радиофизического и механико-математического факультетов ТГУ (А.А. Уткин, Ю.Н. Печерский, Н.Р. Торопов, В.И. Каширов, Е.А. Бутаков, В.Г. Новоселов, В.В. Кирюхин, В.И. Островский, Ю.В. Поттосин, Г.П. Агибалов, И.Л. Фадеев, В.Л. Павлов, позже присоединились С.В. Быкова, А.Ю. Матросова, В.А. Воробьев, М.Я. Товштейн и Н.А. Белоусова), он в начале 60-х гг. сформировал коллектив, занявшейся разработкой методов автоматического синтеза дискретных автоматов, т.е. созданием специализированного математического обеспечения ЭВМ, средствами которого вычислительная машина могла бы синтезировать различные цифровые управляющие системы, в том числе и другие ЭВМ.
Уже в 1962 г. группой, возглавляемой А.Д. Закревским, был создан алгоритмический языка ЛЯПАС – логический язык для представления алгоритмов синтеза. В 1964 г. была создана основанная на этом языке система автоматического программирования логических задач. По инициативе А.Д. Закревского и члена-корреспондента АН СССР М.А. Гаврилова в Томске (1964) состоялся I Всесоюзный коллоквиум по языкам конечных автоматов, а язык ЛЯПАС получил признание научной общественности.
В 1966 г. в издательстве «Наука» (Москва) был издан коллективный труд дискретной группы «Логический язык для представления алгоритмов синтеза релейных устройств». Коллектив авторов во главе с А.Д. Закревским был удостоен премии ТГУ за работу «Логический язык для представления алгоритмов синтеза релейных устройств» (1967). В 1969 г. эта книга была переведена на английский язык и напечатана американским издательством «Академик-Пресс».
В 1967 г. в Институте автоматики и телемеханики (Москва) А.Д. Закревский защитил диссертацию «Алгоритмический язык ЛЯПАС и автоматизация синтеза дискретных автоматов» на соискание ученой степени доктора технических наук (утверждено ВАК 23 декабря 1967).
Серия трансляторов с языка ЛЯПАС на различные машины была разработана в Чехословакии, ГДР, Польше, Югославии, в 1973 г. в США был создан интерпретатор с этого языка для ЭВМ системы ИБМ-360. В последующие годы были разработаны более совершенные системы ЛЯПАС – ЛЯПАС-71 и ЛЯПАС-М, а также целый ряд систем автоматического синтеза дискретных автоматов для проектных и научно-исследовательских организаций Москвы, Ленинграда, Омска, Миасса, Новосибирска, Воронежа, Казани и др. На базе ЛЯПАС-71 была создана программирующая система для ЭВМ 2-го поколения, предвосхитившая в себе многие идеи, реализованные за рубежом лишь в машинах 3-го поколения. СЭВ рекомендовал ЛЯПАС для распространения как международного логический языка.
С начала 1970-х гг. основные направления проводимых А.Д. Закревским исследований: логическая теория дискретных устройств, автоматизация программирования логических задач, методы логического проектирования, логические основы интеллектуальных систем. Основные результаты: язык и система программирования логико-комбинаторных задач ЛЯПАС, методы минимизации частичных булевых функций многих переменных, применение кода Хэмминга к синтезу надежных логических схем, методы решения логических уравнений, аппарат матричных логических уравнений и синтез ПЛМ, методы проектирования систем логического управления параллельными процессами, обобщение результатов теории булевых функций на конечные предикты, методы индуктивного и дедуктивного вывода в приложении к распознаванию образов, оптимизация полиноминальных представлений систем частичных булевых функций.
Им опубликовано свыше 350 работ. А.Д. Закревский участвовал в работе международных научных конференций и форумов в Польше, Германии, Англии, Канаде, Бельгии, Чехословакии, Словении, Греции, Болгарии, Индии, Финляндии, Португалии и др. Читал лекции по логическому подходу к распознаванию образов в Германии (Шмалькальден, Высшая техническая школа). Председатель подкомиссии по автоматизации синтеза релейных устройств и конечных автоматов при Совете по кибернетике АН СССР (1966). Награжден почетной грамотой Верховного Совета БССР (1978, 1988). Владеет английским, немецким, польским и белорусским языками Увлекался горным туризмом. Член-корреспондент Национальной академии наук Беларуси (1972) и академик Международной академии информационных процессов и технологий (1995).
