Zakrevsky, Arkady Dmitrievich

Arkady Dmitrievich Zakrevskiy ( vitryska: Arkadz Dzmіtryevich Zakreўskі ; 22 maj 1928 , Leningrad  - 24 februari 2014 , Minsk ) var en sovjetisk och vitrysk cybernetiker , specialist på logisk design och diskret matematik. Han tog examen från sitt liv som chefsforskare vid Joint Institute for Informatics Problems . Han var motsvarande medlem av National Academy of Sciences of Vitryssland , akademiker vid International Academy of Information, Information Processes and Technologies, doktor i tekniska vetenskaper, professor. Arkady Dmitrievich, som stod vid ursprunget till cybernetikens födelse i Sovjetunionen, var grundaren av en av de mest kända skolorna för logisk design i Sovjetunionen och i världen.

Biografi

Född i en familj av anställda. Efter att ha fått yrket som radiooperatör vid Krasnoyarsk yrkesskola för kommunikation, arbetade han från 1943 till 1951 som radiooperatör för Zheldorproekt på expeditioner i Sibirien (Taimyr, Igarka, Norilsk, Turukhanfloden, sedan Transbaikalia, Chita, Mongoliet) . År 1949, i Ulaanbaatar (Mongolien), klarade han gymnasieproven externt och fick ett studentexamen.

1951 blev han student vid fakulteten för fysik vid Tomsk State University, två år senare gick han över till den nyligen organiserade fakulteten för radiofysik och tog examen med utmärkelser med en examen i fysik och radioelektronik. 1956 gick han in på forskarskolan hos prof. V. D. Kessenikha, bedriver undervisningsarbete vid universitetet, väljer en grupp entusiastiska studenter och börjar tillsammans med dem engagera sig i en ny (inte bara inom universitetets väggar, utan också i Sovjetunionen) vetenskap - cybernetik.

Efter att ha fått reda på att serietillverkning av URAL-1-datorn började i Penza, tog A. D. Zakrevsky 1957 en aktiv del i mottagandet, installationen och driftsättningen vid Tomsk University, och sedan kritiskt utvärderade denna senaste prestation inom datorteknik i Sovjetunionen, föreslår han en projektoriginaldator med samma prestanda som URAL-1 (kräver ett rum på 100 m² för sin placering), men bara på 18 flip-flops. Mer än en generation av cybernetikstudenter studerade senare under detta projekt, och inte bara vid TSU, utan också vid Sevastopol Instrument-Making Institute.

Efter att ha uppskattat av sin egen erfarenhet komplexiteten i att lösa logiskt-kombinatoriska problem, föreslår Arkady Dmitrievich, på jakt efter sätt att lösa dem, en L-maskin - en logisk förlängning av Ural-1-datorn, som ökar dess produktivitet med flera beställningar av omfattning när man löser sådana problem. Att göra en layout av L-maskinen fungerade som ämnet för examensarbeten för cybernetikstudenter vid den första examen vid Tomsk State University.

År 1960 disputerade han för graden av kandidat i fysikaliska och matematiska vetenskaper på ämnet "Matrix method for synthesizing relay circuits". Avhandlingens kvalitet bevisas vältaligt av det faktum att hennes första opponent, Dr. n. A. B. Sapozhnikov föreslog, efter att ha läst upp sin recension, att sökanden inte skulle tilldelas graden av en kandidat, utan omedelbart av en doktor i naturvetenskap. Komplexiteten i att programmera logiska syntesproblem i maskinkoder leder A. D. Zakrevskii till slutsatsen att det är nödvändigt att skapa ett programmeringsspråk, och 1962 utvecklade han det logiska språket för att representera algoritmer för syntesen av reläenheter - LYAPAS - det första programmeringsspråket för logiska problem implementerade på en dator.

Resultatet av A. D. Zakrevskiis fruktbara vetenskapliga verksamhet var hans första monografi "The Algorithmic Language of LYAPAS and Automation of the Synthesis of Discrete Automata" (1966), enligt vilken han 1967 försvarade sin avhandling vid Institute of Automation and Telemechanics of USSR Academy of Sciences (Moskva) för doktorsgraden i tekniska vetenskaper. Intresset för LYAPAS-språket utomlands stimulerades av uppkomsten av en översättning till engelska av en samling vetenskapliga artiklar som beskriver LYAPAS-språket och algoritmer för syntes av diskreta automater presenterade på detta språk - "LYaPAS, A Programming Language for Logic and Coding Algorithms " (Red. av M. Gavrilov och A. Zakrevskij), ACM Monograph Series, New York, London, 1969.

Åren 1959-1971. A. D. Zakrevskii — Assistent, seniorforskare, chef för laboratoriet för beräkningsenheter vid Siberian Institute of Physics and Technology , professor, chef för institutionen för matematisk logik och programmering vid Tomsk State University. 1971 publicerade han den grundläggande monografin "Algorithms for the synthesis of discrete automata", allmänt känd i Sovjetunionen. Under hans ledning skapades det första systemet i Sovjetunionen för automatisk syntes av diskreta automater, antaget av kommissionen för cybernetik vid presidiet för USSR Academy of Sciences och drevs på 1970-1980-talet vid många företag i de elektroniska ministerierna industri och radioelektronik.

1971, med en grupp anställda, flyttade han till Minsk och organiserade Laboratory of System Programming and Logic Synthesis vid Institutet för teknisk cybernetik vid BSSR:s vetenskapsakademi , senare omdöpt till Laboratory of Logic Design. 1972 valdes han till motsvarande medlem av BSSR:s vetenskapsakademi.

Resultaten av vetenskaplig forskning av A. D. Zakrevsky presenteras i 540 vetenskapliga publikationer, inklusive 26 monografier (6 av dem är utomlands). Han upprätthöll aktivt internationella vetenskapliga kontakter, var medlem i organisations- och programkommittéer för olika konferenser, symposier och seminarier, samt höll presentationer. Samarbetat med forskare från Ryssland, Ukraina, de baltiska staterna, Polen, USA, Tyskland, Portugal. För vetenskaplig och organisatorisk verksamhet tilldelades A.D. Zakrevsky diplom från BSSR:s högsta råd. A. D. Zakrevskii kombinerade framgångsrikt sin vetenskapliga verksamhet med undervisning. Han gav kurser med föreläsningar av egen design om matematisk logik, diskret matematik, sannolikhetsteori, automatteori, grafteori, boolesk funktionsteori, programmering, logiska designmetoder, etc. vid TSU (Tomsk), BSU och BSUIR (Minsk). Han skapade en vetenskaplig skola för logisk design, mer än tre dussin av hans doktorander blev kandidater (åtta av dem - doktorer). Filialer till denna skola fungerar framgångsrikt i Tomsk och Sevastopol.

Arkady Dmitrievich kombinerade framgångsrikt sitt vetenskapliga arbete med vetenskapligt och organisatoriskt arbete: han var medlem av råden för försvar av avhandlingar i UIPI NAS i Vitryssland och BSU ; medlem av UIPI:s råd för akademiska och vetenskapliga ("modellering av intellektuell verksamhet"); medlem av redaktionen för tidskrifterna "International Journal on Information Theories and Applications" (Sofia, Bulgarien), "Control Systems and Machines" (Kiev, Ukraina), "Applied Discrete Mathematics" (Tomsk, Ryssland), "Radioelectronics & Informatics" " (Kharkov, Ukraina) ), "Informatik" (OIPI NAS i Vitryssland, Minsk), samling "Problem of information security" ( BSU , Minsk). Ledde det vetenskapliga seminariet för UIPI NAS i Vitryssland om logisk design.

Efter att ha kastat sig huvudstupa in i vetenskapen förlorade Arkady Dmitrievich inte sin kärlek till naturen. Under semestern organiserade han vandring i bergen i Tien Shan, Altai, Sayan; på helgerna - många timmars vandring och skidåkning i utkanten av Tomsk, och sedan Minsk. Eftersom han var på många affärsresor missade han inte tillfället och där organiserade han resor till utkanten av platser som han inte känner till.

Vetenskapliga intressen

Ett karakteristiskt drag i det vetenskapliga arbetet av Arkady Dmitrievich var kombinationen av bredden av täckningen av det aktuella problemet (fram till sökandet efter analogier i närliggande områden) med rigoriteten och djupet i dess studie (med förslag på praktiskt effektiva metoder för lösa det, ofta till algoritmisk, och ibland till och med mjukvaruimplementering).

I en kort anteckning är det svårt att sammanfatta Arkady Dmitrievichs vetenskapliga och organisatoriska verksamhet och utvärdera hans bidrag till vetenskapen. Det är svårt att ens räkna upp de vetenskapsområden där han riktade sitt nyfikna vetenskapliga intresse. Därför begränsar vi oss till en kort lista över huvudområdena inom cybernetik, där han lämnade det djupaste spåret.

1. Logisk teori för diskreta enheter (tillämpning av den brus-immuna Hamming-koden för syntes av tillförlitliga logiska kretsar; apparater för matrislogiska ekvationer för att lösa problem med analys, syntes och diagnostik av programmerbara logiska matriser; effektiva metoder för nedbrytning av booleska funktioner och diskreta automater, kodning av interna tillstånd för synkrona och asynkrona automater). Han föreslog en matrisapparat för logisk analys, syntes och diagnostik av diskreta enheter baserad på programmerbara logiska matriser, resultaten av dessa studier presenterades i hans monografi "Logisk syntes av kaskadkretsar" (M.: Fizmatlit, 1980).

2. Automatisering av programmering av logiska uppgifter (LYAPAS programmeringsspråk och system, effektivt för logisk-kombinatoriska uppgifter och allmänt använt i många organisationer i landet och utomlands: i Polen, DDR, Tjeckoslovakien, Jugoslavien, BRD, USA ).

3. Automatisering av logisk design (effektiva metoder för att minimera och implementera helt och svagt definierade booleska funktioner av många variabler; minimering av system av booleska funktioner i klassen Zhegalkin och Reed-Muller polynom; metoder för att implementera system med flervärdiga delfunktioner av Reed Muller polariserade polynom, diagnos av konstanta fel i EXOR-scheman, såväl som ett antal datorstödda logiska designsystem som introducerats i produktion (TsKB ALMAZ (Moskva), Research Institute of Computers, NPO Integral, etc.).

4. Logiska grunder för intelligenta system (metoder för att lösa stora system av logiska ekvationer, linjära och olinjära; generalisering av metoderna för teorin om booleska funktioner till ändliga predikat; metoder för induktiv och deduktiv slutledning som tillämpas på mönsterigenkänning inom utrymmet för binära och flervärdiga funktioner; identifiering av implikativa mönster i dessa utrymmen, expertsystem för logisk mönsterigenkänning).

5. Automatisering av designen av logiska styrsystem (PRALU-språk för att beskriva parallella logiska styralgoritmer, metoder för att verifiera, modellera och implementera parallella algoritmer, begreppen parallella och sekventiella automater och metoder för att syntetisera logiska styrenheter baserade på dem, metoder för komponera och sönderdela parallella automater som beskrivs på språket PRALU).

6. Kombinatoriska problem med diskret matematik (teknik för beräkningar i booleskt rymd, kombinatorisk grund för logisk design - en uppsättning effektiva metoder och program för att lösa kombinatoriska problem på logiska matriser och grafer som har många användbara praktiska tolkningar; teknik för beräkningar i rymden av ändliga predikat, metoder för deras minimering och sönderdelning; högeffektiva metoder för att lösa system av logiska ekvationer).

Resultaten av hans teoretiska forskning låg till grund för ett antal mjukvarusystem för att automatisera lösningen av logiskt-kombinatoriska problem: logisk design av diskreta styrenheter på basis av VLSI; mjukvara och hårdvara implementering av parallella styralgoritmer och ett expertsystem för logisk igenkänning.

Publikationer

Resultaten av vetenskaplig forskning av AD Zakrevsky presenteras i mer än 540 vetenskapliga publikationer, inklusive 26 monografier.

Lista över monografier av Arkady Dmitrievich Zakrevskii.

1. Algoritmiskt språk LYAPAS och automatisering av syntesen av diskreta automater. Tomsk, 1966;

2. LYaPAS: Ett programmeringsspråk för logik och kodningsalgoritmer. Academic Press, N.-Y., L., 1969 (med MA Gavrilov);

3. Algoritmer för syntes av diskreta automater. M.: Nauka, 1971, 512 sid.;

4. Logiska ekvationer. Minsk: Science and technology, 1975, 96 s.;

5. Syntes av asynkrona automater på en dator. Minsk: Science and technology, 1975, 184 sid. (medförfattare);

6. LYAPAS-M programmeringssystem. Minsk: Science and technology, 1978, 220 s. (med N. R. Toropov);

7. Logisk syntes av kaskadkretsar. M.: Nauka, 1981, 416 sid.;

8. Boolesche Gleichungen: Theorie, Anwendung, Algorithmen. VEB Verlag Technik, Berlin, 1984, 304 s. (mit Dieter Bochmann och Christian Posthoff);

9. Igenkänningslogik. Minsk: Science and technology, 1988, 118 s.;

10. Parallella logiska styralgoritmer. Mn.: Institutet för teknisk kybernetik vid Vitrysslands vetenskapsakademi, 1999, 202 s.;

11. Polynomimplementering av partiella booleska funktioner och system. Minsk: Institute of Technical Cybernetics vid National Academy of Sciences of Vitryssland, 2001, 200 s. (med N. R. Toropov);

12. Igenkänningslogik. Andra upplagan, förstorad. M., URSS, 2003, 140 s.;

13. Parallella logiska styralgoritmer. Andra upplagan, stereotypt. M.: URSS, 2003, 200 s.;

14. Polynomimplementering av partiella booleska funktioner och system. Andra upplagan, stereotypt. M.: URSS, 2003, 200 sid. (med N. R. Toropov);

15. A. D. Zakrevskii, logiska ekvationer. Andra upplagan, stereotypt. M.: URSS, 2003, 95 sid.

16. Grunderna i logisk design. Bok 1. Kombinatoriska algoritmer för diskret matematik. Minsk: OIPI NAS i Vitryssland, 2004, 226 s. (med Yu. V. Pottosin och L. D. Cheremisinova);

17. Grunderna i logisk design. Bok 2. Optimering i booleskt utrymme. Mn: OIPI NAS i Vitryssland, 2004, 240 sid. (med Yu. V. Pottosin och L. D. Cheremisinova);

18. Grunderna i logisk design. Bok 3. Design av logiska styrenheter. Minsk: OIPI NAS i Vitryssland, 2006, 254 s. (med Yu. V. Pottosin och L. D. Cheremisinova);

19. Logiska grunder för design av diskreta enheter. M.: Fizmatlit, 2007, 589 sid. (med Yu. V. Pottosin och L. D. Cheremisinova);

20. Kombinatoriska algoritmer för diskret matematik. Tallinn: TUT Press, 2008, 192 sid. (med Yu. Pottosin, L. Cheremisinova);

21. Optimering i booleskt utrymme. Tallinn: TUT Press, 2009, 241 s. (med Yu. Pottosin, L. Cheremisinova);

22. Lösa stora system av logiska ekvationer. Minsk: OIPI NAS i Vitryssland, 2009, 96 s.;

23. Design av logiska styrenheter. Tallinn: TUT Press, 2009, 304 sid. (med Yu. Pottosin, L. Cheremisinova);

24. Beräkningar i flerdimensionell boolesk rymd. Minsk: OIPI NAS i Vitryssland, 2011, 106 s.;

25. Kombinatoriska beräkningar i mångdimensionellt booleskt utrymme. Tallinn: TUT Press, 2012, 121 s.;

26 Lösa logiska ekvationer för stora system. Tallinn: TUT Press, 2013, 114 s.

Litteratur

• Arkady Dmitrievich Zakrevskii (med anledning av hans 70-årsdag) // Izv. National Academy of Sciences i Vitryssland. Ser. fysik och teknik Vetenskaper. 1998, nr 1.
• Zakrevsky, Arkady Dmitrievich // Tomsk från A till Ö: Kort uppslagsverk över staden. / Ed. N.M. Dmitrienko . - 1:a uppl. - Tomsk: NTL Publishing House, 2004. - S. 120. - 440 sid. - 3000 exemplar.  — ISBN 5-89503-211-7 .

Länkar

Motsvarande medlem ZAKREVSKY Arkady Dmitrievich (otillgänglig länk) . National Academy of Sciences i Vitryssland. Datum för åtkomst: 30 mars 2010. Arkiverad från originalet den 25 januari 2012.  (ryska)  Profil på webbplatsen för Joint Institute for Informatics Problems of the National Academy of Sciences of Vitryssland

• Zakrevskiy Arkady Dmitrievich i databasen "History of Belarusian Science in Persons" från Ya. Kolas Central Scientific Library vid National Academy of Sciences of Vitryssland