Kurochkin, Vladimir Mikhailovich (vetenskapsman)

Vladimir Mikhailovich Kurochkin
Födelsedatum	1 juni 1926( 1926-06-01 )
Födelseort	Moskva , Sovjetunionen
Dödsdatum	15 maj 1999 (72 år)( 1999-05-15 )
En plats för döden	Moskva , Ryssland
Land	Sovjetunionen → Ryssland
Vetenskaplig sfär	allmän datavetenskap , tillämpad matematik
Arbetsplats	ITMiVT , CC RAS ​​, MIPT
Alma mater	Moscow State University (Mekhmat)
vetenskaplig rådgivare	A.G. Kurosh
Studenter	V. A. Serebryakov
Utmärkelser och priser

Vladimir Mikhailovich Kurochkin ( 1 juni 1926  - 15 maj 1999 ) - sovjetisk datavetare (specialist på beräkningsmatematik och datorprogramvara), kandidat för fysikaliska och matematiska vetenskaper (1949). Han stod i ursprunget till inhemsk programmering, ledde avdelningen för mjukvarusystem vid den ryska vetenskapsakademins datorcenter från grundandet av organisationen 1955 till 1966 och sedan från 1971 till 1991 .

Biografi

V. M. Kurochkin började sin vetenskapliga karriär som en algebraisk matematiker vid fakulteten för mekanik och matematik vid Moscow State University . Han specialiserade sig på algebra under ledning av den enastående algebraisten A.G. Kurosh . Han publicerade ett antal artiklar om teorin om ringar och algebror. 1949 disputerade han på sin doktorsavhandling.

År 1950 gick V. M. Kurochkin till jobbet vid Institutet för finmekanik och datorteknik vid USSR Academy of Sciences , där vid den tiden, under ledning av akademikern S. A. Lebedev , arbete pågick för att skapa de första sovjetiska datorerna. Han deltog aktivt i utvecklingen av datorkommandosystemet BESM . För detta arbete tilldelades V. M. Kurochkin Order of the Red Banner of Labor.

1955 bildades Computing Center för vetenskapsakademin i Sovjetunionen . V. M. Kurochkin ledde programmeringslaboratoriet, som blev ett av huvudcentrumen för detta då nya vetenskapsområde i Sovjetunionen . Under laboratoriets existens dök flera lag upp från det, som utgjorde kärnan i andra avdelningar i Computing Center vid USSR Academy of Sciences, såväl som andra institut (Computing Center of the Siberian Branch of the USSR Academy of Sciences - nu Institute of Computational Technologies av den sibiriska grenen av den ryska vetenskapsakademin , Central Economics and Mathematics Institute of the Russian Academy of Sciences ).

En av de första i Sovjetunionen , V. M. Kurochkin började ta itu med frågorna om automatisering av programmering. Under de åren när tillförlitligheten hos rördatorer var extremt låg, och kommunikationsmöjligheterna mellan datorer och omvärlden förblev på nivån för beräknings- och analysmaskiner, ledde V. M. Kurochkin arbetet med att skapa programmeringsprogram och senare - programmering språk och översättare.

Under ledning av V. M. Kurochkina skapades en PPS-översättare för Strela-3- datorn och en översättare från ALGOL -språket för BESM-2-datorn. Efter detta kompilerade V. M. Kurochkin det ursprungliga, allmänt använda "Compiling and Interpreting System" (CIS) för BESM-2- datorn . Samtidigt implementerades ett antal nya då, men nu klassiska metoder framgångsrikt: en tabellform för syntaktisk analys, programmering av aritmetiska uttryck som var optimalt sett till antalet arbetsvariabler.

V. M. Kurochkin gjorde ett stort bidrag till arbetet med programmeringsspråk. Han var en aktiv medlem i den internationella programmeringsautomationsgruppen som utvecklade ALGAMS- språket och, senare, den internationella arbetsgruppen för Ada-språket . Av stor betydelse var översättaren från ALGOL 60 -språket för BESM-6- datorn (i programmerarjargong, Kurochkins Algol), skapad vid Computing Center vid USSR Academy of Sciences under ledning av V. M. Kurochkin. En av de första översättarna av högnivåprogrammeringsspråk för högpresterande datorer, fungerade i många år som ett viktigt verktyg för att lösa tillämpade problem från olika naturvetenskapliga områden och användes flitigt i många organisationer.

Från 1955 till 1962 laboratoriet löste även tillämpade problem av stor nationell betydelse, inklusive de som rör uppskjutningen av de första konstgjorda jordsatelliterna. Metodiken och programmen för beräkning av satellitbanor utvecklades under ledning av V. M. Kurochkin. Under satellituppskjutningar var institutet stängt för alla förutom en grupp miniräknare, vakter med strålkastare sattes ut på gården.

Arbetet med översättare uppmärksammade naturligtvis V. M. Kurochkin på frågorna om att automatisera deras utveckling och formalisera beskrivningen av programmeringsspråk. Denna formalisering baserades på apparaten för attributgrammatik. Generaliseringar av attributgrammatik har gjorts för att de ska kunna användas mer effektivt för att definiera programmeringsspråk. V. M. Kurochkin föreslog en original asynkron algoritm för beräkning av semantiska attribut.

Sedan 1948 har V. M. Kurochkin undervisat vid Moskvas institut för fysik och teknik . Han utvecklade universitetsprogram om datorstöd, om linjär programmering, om översättningsmetoder. Under hans ledning har många avhandlingar inom området implementering av programmeringsspråk och programmeringsteori slutförts.

V. M. Kurochkin var medlem av redaktionen för Journal of Computational Mathematics and Mathematical Physics och tidskriften " Programmering ", redaktör och översättare av ett antal publikationer.

Utmärkelser och erkännande

• Order of the Red Banner of Labor (1956) - för framgångsrikt deltagande i laget av skapare av BESM .
• Medalj "Till åminnelse av 100-årsdagen av Vladimir Ilyich Lenins födelse" (1970) - för framgång i vetenskapliga och undervisningsaktiviteter.
• Pris från programmeringsavdelningen vid M. V. Keldysh Institute of Applied Mathematics vid den ryska vetenskapsakademin "För bidrag till utvecklingen av rysk programmering" (tilldelas Vladimir Mikhailovich Kurochkin genom beslut av institutionsrådet och ledningen för vetenskapliga skolor den 8 januari , 1998)

Vetenskapliga arbeten och manualer

Artiklar och tal

• Kurochkin VM Om teorin om lokalt enkla och lokalt normala algebror. // Matematik. lö. 22(64):3 (1948). sid. 443-454.
• Kurochkin V. M. Ringar med ett minimivillkor för tillhörande ideal. // Rapporter från vetenskapsakademin i Sovjetunionen . 1949. Band LXVI. sid. 549-551.
• Kurochkin VM Uppdelning av algebror i en halvdirekt summa av en radikal och en halvenkel subalgebra. // Usch. anteckningar från Moskva. stat un-ta, 148 (1951). sid. 192-203.
• Kurochkin, V. M., Representation of Lie rings in associative rings , Mat. Sat., 28(70):2 (1951). sid. 467-472.
• Kurochkin V. M. , Ershov A. P. Automatisk programmering, aktuellt tillstånd, huvudproblem // Tez. Rapportera möte enligt beräkn. matematik och användning av beräkningsmedel. teknologi. Baku, 1958, s. 15.
• Kurochkin V. M. , Ershov A. P. , Velikanova T. M. , Kim K. V. Programmeringsprogram för maskinen "Strela" (PPS) // Tez. Rapportera möte enligt beräkn. matematik och användning av beräkningsmedel. Tekniker. Baku, 1958, s. 16.
• Kurochkin V. M. , Podshivalov D. B. , Sedankina G. I. , Sragovich A. I. , Strelkova N. N. , Faletova A. Ya. BESM-Algol-system. // Andra All-Union. konf. programmering. Novosibirsk, 1970
• Kurochkin V.M. , Biryukov A.N. , Serebryakov V. A. Globala attribut och deras användning för att definiera programmeringsspråk // ZhVMiMF, 1980, V. 20, nr 5. P. 1284-1293.
• Kurochkin V. M. , Serebryakov V. A. Utveckling och användning av attributsystem för att konstruera översättare. // Lör. Problem med tillämpad matematik och informatik. Moskva: Nauka, 1987.
• Kurochkin VM A Universal Economical Algorithm of Attrubute Evaluation. Informatik'88. Handlingar av det fransk-sovjetiska symposiet. INRIA. trevlig. 1988.
• Kurochkin V. M. Kriterium för LR(1)-grammatik. // Programmering. 1993. Nr 4. S. 26-28.
• Kurochkin VM Algoritmer för beräkning av attribut i attributgrammatik . // Programmering. 1995. Nr 3. S. 3-8.
• Kurochkin VM Snabb metod för lexikal analys . // Programmering. 1997. Nr 5. S. 33-35.

Handledningar

• Abramov A. A., Antipov I. N., Kurochkin V. M., Ulyanova V. I. Algol för skolbarn. M.: VTs AN SSSR , 1969.
• Abramov A. A. , Antipov I. N., Kurochkin V. M., Ulyanova V. I. Simplified Algol. Syntax och semantik. Moskva: VTs AN SSSR , 1972. 28 sid.
• Kurochkin V. M. , Stolyarov L. N. , Sushkov B. G. , Flerov Yu. A. Teori och implementering av programmeringsspråk: en kurs med föreläsningar . M.: MIPT, 1973 och 1978 (1:a och 2:a upplagan)

Redaktionell aktivitet

En framträdande plats i V. M. Kurochkins verksamhet upptogs också av redaktionell verksamhet i förlagen Fizmatgiz , Foreign Literature och Mir . Samtidigt fördjupade han sig ofta i många beskrivningar och i essensen. Så han upptäckte och korrigerade en felaktighet i artikeln av D. Knuth (i samlingen "Programming Languages". M .: Mir, 1972), som ägnas åt beräkningen av attribut i attributgrammatik, och artikeln publicerades i en redan korrigerad form.

1. Booth, Andrew Donald . Automatiska digitala maskiner / E. D. Booth, K. Booth  ; Per. från engelska. T. M. Ter-Mikaelyan, I. N. Lebedev-Sorin  ; Ed. V. M. Kurochkina . - Moskva: Fizmatgiz, 1959. - 320 sid.
2. Booth, Andrew Donald . Numeriska metoder / Per. från engelska. T. M. Ter-Mikaelyan  ; Ed. V. M. Kurochkina . - Moskva: Fizmatgiz, 1959. - 239 s.
3. McCracken, Daniel Delbert . Programmering för digitala datorer / Per. från engelska. V. M. Kurochkina [och andra]; Ed. V. M. Kurochkina . - Moskva: Izd-vo inostr. lit., 1960. - 306 sid.
4. Lance, J. N. Numeriska metoder för höghastighetsdatorer / Per. från engelska. I. A. Brina  ; Ed. V. M. Kurochkina . - Moskva: Izd-vo inostr. lit., 1962. - 208 sid.
5. Carr, J. Föreläsningar om programmering: Per. från engelska. / Ed. V. M. Kurochkina . - Moskva: Izd-vo inostr. lit., 1963. - 288 sid.
6. B. Rendell, L. Russell. Implementering av Algol -60. Per. från engelska. D. B. Podshivalova , red. V. M. Kurochkina . M.: Mir, 1967. 475 sid.
7. Universellt programmeringsspråk PL / 1  : Per. från engelska. / Ed. [och med ett förord] V. M. Kurochkina . - Moskva: Mir, 1968. - 352 sid.
8. Flores, Ivan. Programvara / A. Flores  ; Per. från engelska. D. B. Podshivalova ; Ed. V. M. Kurochkina . - Moskva: Mir, 1971. - 519 s.
9. Programmeringsspråk: [Lärobok. bidrag] / Ed. F. Jenuy  ; Översättning från engelska. V. P. Kuznetsova  ; Ed. V. M. Kurochkina . - Moskva: Mir, 1972. - 406 sid.
10. A. Aho , J. Ullman. Teori om analys, översättning och sammanställning. T. 1. Per. från engelska. V. N. Agafonov , red. V. M. Kurochkina . M.: Mir, 1978. 614 sid.
11. A. Aho, J. Ullman. Teori om analys, översättning och sammanställning. T. 2. Per. från engelska. A.N. Biryukov och V.A. Serebryakov , red. V. M. Kurochkina . M.: Mir, 1978. 487 sid.
12. Gilman, L. The course of the Premier League : a dialogue approach / Översatt från engelska. S. P. Prokhorov; Ed. V. M. Kurochkina. - Moskva: Mir, 1979. - 524 sid.
13. Semantik för programmeringsspråk: lör. artiklar / Översättning från engelska. A. N. Biryukova, V. A. Serebryakova ; Ed. V. M. Kurochkina . — M.: Mir, 1980. — 395 sid.
14. Modern dator: lör. vetenskapligt-populärt. Konst. / Översatt från engelska, red. V. M. Kurochkin ; förord L. N. Koroleva. - M.: Mir, 1986. - 210, [1] sid.
15. Wirth, Niklaus . Programmering i Modula-2- språket / N. Wirth; Översättning från engelska. V. A. Serebryakova, V. M. Khodukina ; Ed. V. M. Kurochkina . — M.: Mir, 1987. — 222 sid.
16. Möt: dator / [P. Brearley, M. Rothen, R. Zaks och andra]; Översättning från engelska. K. G. Bataeva ; Ed. V. M. Kurochkina . - M .: Mir, 1989. - 238, [2] sid.
17. Datorspråk / [ O. Woods, D. Furlong, S.E. Rowe et al.]; Per. från engelska. S. E. Morkovina, V. M. Khodukina ; Ed. V. M. Kurochkina . - M .: Mir, 1989. - 239, [1] sid.

Källor och länkar

• Serebryakov V. A. , Abramov S. A. , Sragovich A. I., Filippov V. I. Institutionen för mjukvarusystem // Insamling av artiklar. 50 år av Computing Center för den ryska vetenskapsakademin: historia, människor, prestationer. M.: VTS RAS, 2005. 320 sid. ISBN 5-201-09837-1 . sid. 115-127.
• Kurochkin, Vladimir Mikhailovich (om honom) på sidan av Computing Center för den ryska vetenskapsakademin.
• Proceedings of V. M. Kurochkin på Math-Net.Ru
• Publikationer under den vetenskapliga ed. V. M. Kurochkin i RSL :s elektroniska kataloger .
• Förfaranden i RSCI .

Tematiska platser	Matematisk släktforskning
I bibliografiska kataloger	ISNI : 0000 0001 1231 833X J9U : 987007448438205171 NUKAT : n97061333 VIAF : 163616260 WorldCat VIAF : 163616260