Zakrevskij, Arkadij Dmitrijevič

Arkady Dmitrievich Zakrevskiy ( bělorusky: Arkadz Dzmіtryevich Zakreўskі ; 22. května 1928 , Leningrad  - 24. února 2014 , Minsk ) byl sovětský a běloruský kybernetik , specialista na diskrétní matematiku a logický design. Svůj život vystudoval jako vedoucí vědecký pracovník ve Spojeném ústavu pro problémy informatiky . Byl členem korespondentem Národní akademie věd Běloruska , akademik Mezinárodní akademie informací, informačních procesů a technologií, doktor technických věd, profesor. Arkadij Dmitrijevič, který stál u zrodu kybernetiky v Sovětském svazu, byl zakladatelem jedné z nejznámějších škol logického designu v Sovětském svazu i ve světě.

Životopis

Narodil se do rodiny zaměstnanců. Poté, co získal profesi radisty na Krasnojarské odborné škole spojů, v letech 1943 až 1951 pracoval jako radista Zheldorproektu na expedicích na Sibiři (Taimyr, Igarka, Norilsk, řeka Turukhan, poté Transbaikalia, Chita, Mongolsko) . V roce 1949 v Ulánbátaru (Mongolsko) složil externě středoškolské zkoušky a získal imatrikulační list.

V roce 1951 se stal studentem Fyzikální fakulty Tomské státní univerzity, o dva roky později přešel na nově organizovanou Radiofyzikální fakultu a s vyznamenáním promoval v oboru Fyzika a radioelektronika. V roce 1956 nastoupil na postgraduální studium u prof. V. D. Kessenikha, vede pedagogickou práci na univerzitě, vybírá skupinu nadšených studentů a spolu s nimi se začíná věnovat nové (nejen ve zdech univerzity, ale i v SSSR) vědě – kybernetice.

Poté, co zjistil, že sériová výroba počítače URAL-1 začala v Penze, A. D. Zakrevsky se v roce 1957 aktivně podílel na jeho převzetí, instalaci a uvedení do provozu na Tomské univerzitě a poté kriticky zhodnotil tento nejnovější výdobytek výpočetní techniky v SSSR, navrhuje projektový originální počítač se stejným výkonem jako URAL-1 (pro své umístění vyžaduje místnost 100 m²), ale pouze na 18 žabkách. V rámci tohoto projektu později studovala více než jedna generace studentů kybernetiky, a to nejen na TSU, ale také na Sevastopolském institutu výroby nástrojů.

Arkady Dmitrievich, který z vlastní zkušenosti odhadl složitost řešení logicko-kombinatorických problémů, při hledání způsobů, jak je vyřešit, navrhuje L-stroj - logické rozšíření počítače Ural-1, které zvyšuje jeho produktivitu o několik řádů. velikost při řešení takových problémů. Vytvoření layoutu L-stroje posloužilo jako téma diplomové práce pro studenty kybernetiky první promoce na Tomské státní univerzitě.

V roce 1960 obhájil disertační práci pro titul kandidáta fyzikálních a matematických věd na téma „Matricová metoda syntézy reléových obvodů“. O kvalitě disertační práce výmluvně svědčí fakt, že její první oponent Dr. n. A. B. Sapozhnikov po přečtení své recenze navrhl, aby žadateli nebyl udělen titul kandidáta, ale okamžitě doktora věd. Složitost programování problémů logické syntézy ve strojových kódech vede A. D. Zakrevskiiho k závěru, že je nutné vytvořit programovací jazyk, a v roce 1962 vyvíjí Logický jazyk pro reprezentaci algoritmů pro syntézu reléových zařízení - LYAPAS - první programovací jazyk. pro logické problémy implementované na počítači.

Výsledkem plodné vědecké činnosti A. D. Zakrevského byla jeho první monografie „Algorithmic Language of LYAPAS and Automation of the Synthesis of Discrete Automata“ (1966), podle níž v roce 1967 obhájil disertační práci na Ústavu automatizace a telemechaniky hl. Akademie věd SSSR (Moskva) pro titul doktora technických věd. Zájem o jazyk LYAPAS v zahraničí podnítil výskyt překladu do angličtiny sbírky vědeckých článků popisujících jazyk LYAPAS a algoritmy pro syntézu diskrétních automatů prezentovaných v tomto jazyce - „LYaPAS, A Programming Language for Logic and Coding Algorithms “ (Vyd. M. Gavrilov a A. Zakrevskij), ACM Monograph Series, New York, Londýn, 1969.

V letech 1959-1971. A. D. Zakrevskii — asistent, vedoucí výzkumný pracovník, vedoucí laboratoře počítacích zařízení Sibiřského institutu fyziky a technologie , profesor, vedoucí katedry matematické logiky a programování na Tomské státní univerzitě. V roce 1971 vydal zásadní monografii „Algoritmy pro syntézu diskrétních automatů“, široce známou v SSSR. Pod jeho vedením byl vytvořen první systém v SSSR pro automatickou syntézu diskrétních automatů, přijatý komisí pro kybernetiku při Prezidiu Akademie věd SSSR a provozovaný v 70-80 letech v mnoha podnicích ministerstev elektroniky. průmysl a radioelektronika.

V roce 1971 se se skupinou zaměstnanců přestěhoval do Minsku a zorganizoval Laboratoř systémového programování a logické syntézy v Ústavu technické kybernetiky Akademie věd BSSR , později přejmenované na Laboratoř logického designu. V roce 1972 byl zvolen členem korespondentem Akademie věd BSSR.

Výsledky vědeckého výzkumu A. D. Zakrevského jsou prezentovány v 540 vědeckých publikacích, včetně 26 monografií (6 z nich v zahraničí). Aktivně udržoval mezinárodní vědecké kontakty, byl členem organizačních a programových výborů různých konferencí, sympozií a seminářů a přednášel. Spolupracoval s vědci z Ruska, Ukrajiny, Pobaltí, Polska, USA, Německa, Portugalska. Za vědeckou a organizační činnost získal A.D. Zakrevsky diplomy Nejvyšší rady BSSR. A. D. Zakrevskii úspěšně spojil svou vědeckou činnost s výukou. Vedl kurzy vlastního designu z matematické logiky, diskrétní matematiky, teorie pravděpodobnosti, teorie automatů, teorie grafů, teorie booleovských funkcí, programování, metod logického návrhu atd. na TSU (Tomsk), BSU a BSUIR (Minsk). Vytvořil vědeckou školu logického designu, více než tři desítky jeho postgraduálních studentů se staly kandidáty (z toho osm doktorů věd). Pobočky této školy úspěšně fungují v Tomsku a Sevastopolu.

Arkadij Dmitrijevič úspěšně spojil svou vědeckou práci s vědeckou a organizační prací: byl členem rad pro obhajoby disertačních prací v UIPI NAS Běloruska a BSU ; člen akademických a vědeckých ("Modelování intelektuální činnosti") rad UIPI; člen redakčních rad časopisů „International Journal on Information Theories and Applications“ (Sofie, Bulharsko), „Control Systems and Machines“ (Kyjev, Ukrajina), „Applied Discrete Mathematics“ (Tomsk, Rusko), „Radioelectronics & Informatics " (Charkov, Ukrajina) ), "Informatika" (OIPI NAS Běloruska, Minsk), sbírka "Problémy informační bezpečnosti" ( BSU , Minsk). Vedl vědecký seminář UIPI NAS z Běloruska o logickém designu.

Poté, co se Arkady Dmitrievich vrhl do vědy, neztratil svou lásku k přírodě. O prázdninách organizoval pěší turistiku v horách Tien Shan, Altaj, Sayan; o víkendech - mnoho hodin pěší turistiky a lyžování na okraji Tomska a poté Minsku. Vzhledem k četným služebním cestám si nenechal ujít příležitost a pořádal tam výlety do okrajových částí pro něj neznámých míst.

Vědecké zájmy

Charakteristickým rysem vědecké práce Arkadije Dmitrieviče byla kombinace šíře záběru uvažovaného problému (až po hledání analogií v sousedních oblastech) s přísností a hloubkou jeho studia (s návrhy prakticky účinných metod pro jeho řešení, často dovedeno k algoritmické a někdy i softwarové implementaci).

Ve stručné poznámce je obtížné shrnout vědecké a organizační aktivity Arkadije Dmitrieviče a zhodnotit jeho přínos pro vědu. Je těžké vyjmenovat i oblasti vědy, do kterých směřoval svůj zvídavý vědecký zájem. Omezíme se proto na stručný výčet hlavních oblastí kybernetiky, kde zanechal nejhlubší stopu.

1. Logická teorie diskrétních součástek (aplikace Hammingova kódu imunního vůči šumu při syntéze spolehlivých logických obvodů; aparát maticových logických rovnic pro řešení problémů analýzy, syntézy a diagnostiky programovatelných logických matic; efektivní metody dekompozice booleovských funkcí a diskrétní automaty, kódování vnitřních stavů synchronních a asynchronních automatů ). Navrhl maticový aparát pro logickou analýzu, syntézu a diagnostiku diskrétních zařízení založených na programovatelných logických maticích, výsledky těchto studií prezentoval ve své monografii "Logická syntéza kaskádových obvodů" (M.: Fizmatlit, 1980).

2. Automatizace programování logických úloh (programovací jazyk a systém LYAPAS, efektivní pro logicko-kombinatorické úlohy a široce používaný v mnoha organizacích u nás i v zahraničí: v Polsku, NDR, Československu, Jugoslávii, SRN, USA ).

3. Automatizace logického návrhu (efektivní metody pro minimalizaci a implementaci plně i slabě definovaných booleovských funkcí mnoha proměnných; minimalizační systémy booleovských funkcí ve třídě Zhegalkinových a Reed-Mullerových polynomů; metody implementace systémů vícehodnotových parciálních funkcí podle Reeda Mullera polarizované polynomy, diagnostika konstantních chyb ve schématech EXOR, stejně jako řada počítačových systémů logického navrhování zavedených do výroby (TsKB ALMAZ (Moskva), Výzkumný ústav počítačů, NPO Integral atd.).

4. Logické základy inteligentních systémů (metody řešení velkých soustav logických rovnic, lineárních a nelineárních; zobecnění metod teorie booleovských funkcí na konečné predikáty; metody induktivní a deduktivní inference aplikované na rozpoznávání vzorů v prostoru binární a vícehodnotové prvky, identifikace implikativních vzorů v těchto prostorech, expertní systémy rozpoznávání logických vzorů).

5. Automatizace návrhu logických řídicích systémů (jazyk PRALU pro popis algoritmů paralelního logického řízení, metody ověřování, modelování a implementace paralelních algoritmů, koncepty paralelních a sekvenčních automatů a na nich založené metody syntézy zařízení logického řízení, metody pro skládání a rozkládání paralelních automatů popsaných v jazyce PRALU).

6. Kombinatorické úlohy diskrétní matematiky (technika výpočtů v booleovském prostoru, kombinatorický základ logického návrhu - soubor efektivních metod a programů pro řešení kombinatorických úloh na logických maticích a grafech, které mají mnoho užitečných praktických výkladů; technika výpočtů v prostoru konečných predikátů, metody jejich minimalizace a rozkladu, vysoce účinné metody řešení soustav logických rovnic).

Výsledky jeho teoretického výzkumu vytvořily základ řady softwarových systémů pro automatizaci řešení logicko-kombinatorických problémů: logický návrh diskrétních řídicích zařízení na bázi VLSI; softwarová a hardwarová implementace paralelních řídicích algoritmů a expertního systému logického rozpoznávání.

Publikace

Výsledky vědeckého výzkumu AD Zakrevského jsou prezentovány ve více než 540 vědeckých publikacích, včetně 26 monografií.

Seznam monografií Arkady Dmitrievich Zakrevskii.

1. Algoritmický jazyk LYAPAS a automatizace syntézy diskrétních automatů. Tomsk, 1966;

2. LYaPAS: Programovací jazyk pro logické a kódovací algoritmy. Academic Press, N.-Y., L., 1969 (s MA Gavrilov);

3. Algoritmy pro syntézu diskrétních automatů. M.: Nauka, 1971, 512 s.;

4. Logické rovnice. Minsk: Věda a technika, 1975, 96 s.;

5. Syntéza asynchronních automatů na počítači. Minsk: Věda a technika, 1975, 184 s. (spoluautor);

6. Programovací systém LYAPAS-M. Minsk: Věda a technika, 1978, 220 s. (s N. R. Toropovem);

7. Logická syntéza kaskádových obvodů. M.: Nauka, 1981, 416 s.;

8. Boolesche Gleichungen: Theorie, Anwendung, Algorithmen. VEB Verlag Technik, Berlín, 1984, 304 s. (mit Dieter Bochmann a Christian Posthoff);

9. Logika rozpoznávání. Minsk: Věda a technika, 1988, 118 s.;

10. Algoritmy řízení paralelní logiky. Mn.: Ústav technické kybernetiky Akademie věd Běloruska, 1999, 202 s.;

11. Polynomiální implementace dílčích booleovských funkcí a systémů. Minsk: Ústav technické kybernetiky Běloruské národní akademie věd, 2001, 200 s. (s N. R. Toropovem);

12. Logika rozpoznávání. Druhé vydání, rozšířené. M., URSS, 2003, 140 s.;

13. Algoritmy řízení paralelní logiky. Druhé vydání, stereotypní. M.: URSS, 2003, 200 s.;

14. Polynomiální implementace dílčích booleovských funkcí a systémů. Druhé vydání, stereotypní. M.: URSS, 2003, 200 s. (s N. R. Toropovem);

15. A. D. Zakrevskii, Logické rovnice. Druhé vydání, stereotypní. M.: URSS, 2003, 95 s.

16. Základy logického návrhu. Kniha 1. Kombinatorické algoritmy pro diskrétní matematiku. Minsk: OIPI NAS Běloruska, 2004, 226 s. (s Yu. V. Pottosinem a L. D. Cheremisinovou);

17. Základy logického návrhu. Kniha 2. Optimalizace v booleovském prostoru. Mn: OIPI NAS Běloruska, 2004, 240 s. (s Yu. V. Pottosinem a L. D. Cheremisinovou);

18. Základy logického návrhu. Kniha 3. Návrh logických řídicích zařízení. Minsk: OIPI NAS Běloruska, 2006, 254 s. (s Yu. V. Pottosinem a L. D. Cheremisinovou);

19. Logické základy pro návrh diskrétních zařízení. M.: Fizmatlit, 2007, 589 s. (s Yu. V. Pottosinem a L. D. Cheremisinovou);

20. Kombinatorické algoritmy diskrétní matematiky. Tallinn: TUT Press, 2008, 192 s. (s Yu. Pottosinem, L. Cheremisinovou);

21. Optimalizace v booleovském prostoru. Tallinn: TUT Press, 2009, 241 s. (s Yu. Pottosinem, L. Cheremisinovou);

22. Řešení velkých soustav logických rovnic. Minsk: OIPI NAS Běloruska, 2009, 96 s.;

23. Návrh logických řídicích zařízení. Tallinn: TUT Press, 2009, 304 s. (s Yu. Pottosinem, L. Cheremisinovou);

24. Výpočty ve vícerozměrném booleovském prostoru. Minsk: OIPI NAS Běloruska, 2011, 106 s.;

25. Kombinatorické výpočty v mnohorozměrném booleovském prostoru. Tallinn: TUT Press, 2012, 121 s.;

26 Řešení logických rovnic velkých systémů. Tallinn: TUT Press, 2013, 114 s.

Literatura

• Arkady Dmitrievich Zakrevskii (u příležitosti jeho 70. narozenin) // Izv. Národní akademie věd Běloruska. Ser. fyzika a technologie vědy. 1998, č. 1.
• Zakrevsky, Arkady Dmitrievich // Tomsk od A do Z: Stručná encyklopedie města. / Ed. N. M. Dmitrienko . - 1. vyd. - Tomsk: Nakladatelství NTL, 2004. - S. 120. - 440 s. - 3000 výtisků.  — ISBN 5-89503-211-7 .

Odkazy

Člen korespondent ZAKREVSKY Arkady Dmitrievich (nepřístupný odkaz) . Národní akademie věd Běloruska. Datum přístupu: 30. března 2010. Archivováno z originálu 25. ledna 2012.  (Ruština)  Profil na stránkách Spojeného institutu pro problémy informatiky Národní akademie věd Běloruska

• Zakrevskiy Arkady Dmitrievich v databázi "Historie běloruské vědy v osobách" Ústřední vědecké knihovny Ya. Kolas Národní akademie věd Běloruska