| последний номер | первая полоса | поиск в архиве  


№2330, 13.09.2002





ТГУ - шоу продолжается!


Образование в Сети


Логический синтез Аркадия Закревского


Обсуждая новые технологии


ЕЩЕ ОДНА ПОБЕДА!


На острие атаки


Вузам нужны думающие студенты…


"Родословная" Научки


Сохранность фонда





Hello, TSU! I am from America!


Студенты работали на... полигоне


Чернее не бывает


Берегись злобного вируса!






Логический синтез Аркадия Закревского

на замещение вакантных должностей
На конференцию "Новые информационные технологии в исследовании сложных структур", проходившую в Академгородке, приехали ученые и специалисты не только из России, но и из стран ближнего зарубежья. Среди них - член-корреспондент НАН Беларуси, доктор технических наук, профессор Аркадий Дмитриевич Закревский.

В первый день конференции А.Д. Закревский руководил работой секции "Логический синтез", а во второй день все желающие могли услышать его часовой пленарный доклад "Решение больших систем логических уравнений: метод минимизации дерева поиска".
Необходимо отметить, что Аркадий Дмитриевич в ТГУ - отнюдь не посторонний человек. Выпускник Томского университета, он много лет проработал здесь преподавателем. Здесь же он начал заниматься новой наукой - кибернетикой. Узнав, что в Пензе начинается серийный выпуск ЭВМ УРАЛ-1, А.Д. Закревский в 1957 г. добивается выделения ее Томскому университету, а затем предлагает проект оригинальной вычислительной машины. Затем разрабатывает логическое расширение ЭВМ (L-машину), на несколько порядков повышающее ее производительность при решении логических задач.
В 1960 г. Аркадий Дмитриевич защищает диссертацию на соискание ученой степени кандидата физико-математических наук. Оценив на основе собственного опыта трудоемкость программирования задач логического синтеза в машинных кодах, ученый приходит к выводу о необходимости создания языка программирования и в 1962 г. разрабатывает Логический язык для представления алгоритмов синтеза релейных устройств - ЛЯПАС - первый язык программирования логических задач, реализованный на ЭВМ.
Итогом плодотворной научной деятельности А.Д. Закревского явилась первая его монография "Алгоритмический язык ЛЯПАС и автоматизация синтеза дискретных автоматов" (1966 г.), по которой он и защищает диссертацию на соискание ученой степени доктора технических наук.
В 1959-1971 гг. А.Д. Закревский - ассистент, старший научный сотрудник, заведующий лабораторией счетно-решающих устройств СФТИ, профессор, заведующий кафедрой математической логики и программирования ТГУ. При его содействии в 1970 г. на базе ряда кафедр радиофизического факультета университета был открыт факультет прикладной математики и кибернетики.
В 1971 г. Аркадий Дмитриевич переезжает в Минск и организует в Институте технической кибернетики АН БССР лабораторию системного программирования и логического синтеза.
А. Д. Закревский предложил матричный аппарат для логического анализа, синтеза и диагностики дискретных устройств на базе программируемых логических матриц. Результаты исследований были представлены в его монографии "Логический синтез каскадных схем".
Аркадий Дмитриевич, стоявший у истоков рождения кибернетики в Советском Союзе, создал целую научную школу логического проектирования. Филиал этой школы успешно функционирует в ТГУ.
"Мне очень понравилась эта конференция, - сказал Аркадий Дмитриевич газете "Alma Mater". - Томская кибернетика находится на очень приличном уровне, есть немало достижений. Особенно радует меня интерес, который проявляют на конференции студенты, молодежь. Думаю, что у томской науки большое будущее".

Настя БОДРОВА



Томский Государственный УниверситетCopyright © Alma Mater; E-mail: alma@mail.tsu.ru