Third pillar of scientific discovery: scientific supercomputations

Yu. S. Vasil'ev ; V. G. Korneev

Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki, Kazanskii Gosudarstvennyi Universitet. Uchenye Zapiski. Seriya Fiziko-Matematichaskie Nauki, Tome 149 (2007) no. 4, pp. 6-32

Résumé

Second half of the 20-th century is characterized by astonishingly fast development of numerical techniques for solution of problems of mechanics, physics, chemistry, as well as scientific and applied problems from many other domains of the human life. It was paralleled and stimulated by fast development of computers. Many new important directions have arisen, such as, e.g. computational medicine or computer engineering. Powerful commercial and scientific program packages have been created which allowed to save huge means at the perception of the surrounding world and design of variable objects of human activity. At the same time problems facing the mankind are becoming incredibly more complex, and their resolving demands huge efforts from science and changes its outlook. Advancing in many most important branches of science and engineering has became possible only on the basis of computational science, which is understood as an aggregate of all interacting components, necessary for solving challenge problems by means of computer modelling and simulation. In scientific and wider communities, it is becoming acknowledged that the computational science has became the third pillar of scientific discovery, a peer alongside theory and physical experiment. Nevertheless, Russia has lost advanced positions in a number of directions in this branch of science and the lag is comparable to the lag in the computer development. In such circumstances choice of directions of efforts is especially important. Not posing an unrealizable aim of a thorough analysis of causes and the answer to the question what to do, the authors attempted to give an adequate picture of the role of the computational science in the modern, mostly western, society and, at some extent, of its influence upon higher education. Primarily, we employ experience of the USA, which is better reflected in the literature and internet. The paper do not pretend to reach ultimate conclusions, its aim will be attained, if it will promote productive discussion of the rased in it questions.

Bibliographie

[1] Computational science ensuring America's competitivness: Report to the President of the President's information technology advisory committee, [Elektronnyi resurs], 2005, June Rezhim dostupa: http://www.nitrd.gov.pitac

[2] Samarskii A. A., “Pryamoi raschet moschnosti vzryva”, Mezhdunarodnyi simpozium “Nauka i obschestvo – istoriya sovmestnogo atomnogo proekta (40-50-e gody)”: sb. nauch. tr (Dubna, 14–15 maya 1996), v. I, IPM AN SSSR, M., 1996, 1–9

[3] Reis V., “Advanced Computing: Scientific, Socio-Political and Global Solutions”, SciDAC Review, 2006, no. 2, 8–12; Режим доступа: http://www.scidacreview.org/0602/html/interview.html

[4] What is CAS? Rezhim dostupa: http://www.homepage2.nifty.com/cas/what.htm#4

[5] “Predicting plasma perfomance. Fusion simulation advance spheromack research”, Energy research scientific computing center 2004 annual report, 2004, 29–31; Режим доступа: $reports/annrep04/ annrep04.pdf} http://www.nersc.gov/news/ annual<nobr>$_{-

[6] Sinitsyna T., ITER project to solve global energy problem Rezhim dostupa: http://www.rian.ru

[7] Simon H. D., Kramer T. C., “The year in perspective”, Energy research scientific computing center 2005 annual report, 2005, 2–4; Режим доступа: $reports/annrep05/ annrep05.pdf} http://www.nersc.gov/news/annual<nobr>$_{-

[8] Schwarz H.A., “Über einige Abbildungseigenschaften”, J. Reine Angew. Numer. Math., 70 (1869), 105–120 | DOI

[9] Sobolev S. L., “Algoritm Shvartsa v teorii uprugosti”, Dokl. AN SSSR, 4:6 (1936), 243–246 | Zbl

[10] Matsokin A. M., Nepomnyaschikh S. V., “A Schwarz alternating method in a subspace”, Soviet Mathematics, 29:10 (1985), 78–84 | MR | Zbl

[11] Korneev V., Langer U., “Domain Decomposition Methods and Preconditioning”, Encyclopedia of Computational Mechanics, eds. E. Stein, R. de Borst, Th. J. R. Hudges, John Wiley and Sons, Ltd., 2004, 617–647, 1 pp.

[12] Toselli A., Widlund O., Domain Decomposition Methods – Algorithms and Theory Springer, 2005 | MR

[13] Fedorenko R. P., “Relaksatsionnyi metod resheniya raznostnykh ellipticheskikh uravnenii”, Zhurn. vychisl. matem. i matem. fiz., 1:5 (1964), 922–972 | MR

[14] Bakhvalov N. S., “O skhodimosti relaksatsionnogo metoda pri estestvennykh ogranicheniyakh na ellipticheskii operator”, Zhurn. vychisl. matem. i matem. fiz., 6:5 (1966), 101–135

[15] Hackbusch W., Multigrid Methods and Applications, Springer-Verlag, Berlin, 1985 | MR | Zbl

[16] Shaidurov V. V., Mnogosetochnye metody konechnykh elementov, Nauka, M., 1989 | MR

[17] Shaidurov V. V., Multigrid Methods for Finite Elements, Kluwer Academic Publishers, 1995 | MR | Zbl

[18] Bramble J. H., Pasciak J. E., Xu J., “Parallel multilevel preconditioners”, Math. Comp., 55 (1990), 1–22 | DOI | MR | Zbl

[19] Ainsworth M., Oden J. T., A posteriori estimation in finite element analysis, John Wiley and Sons, Inc., N. Y., 2000, 240 pp. | MR

[20] Neittaanmäki P., Repin S. I., Reliable methods for computer simulation Error control and a posteriori estimates, Elsevier, N. Y., 2004, 305 pp. | MR

[21] Anufriev I. E., Korneev V. G., Kostylev V. S., “Exactly equilibrated fields, can they be efficiently used for a posteriori error estimation?”, Uchen. zap. Kazan. un-ta. Ser. Fiz.-matem. nauki, 148, kn. 4 (2006), 94–143 | Zbl

[22] Wavelets – All Books http://www.non.com/books/Wavelets_cc.html

[23] Karniadakis G. E., Sherwin S. J., Spectral/$hp$ element methods for CFD, Oxford Univ. Press, Oxford, 1999, 390 pp. | MR | Zbl

[24] Schwab Ch., $p$- and $hp$-Finite element Methods. Theory and Applicatons in Solid and Fluid Mechanics, Clarendon Press, Oxford, 1998 | MR | Zbl

[25] Korneev V., Langer U., Xanthis L., “Fast adaptive domain decomposition algorithms for $hp$-discretizations of 2-$d$ and 3-$d$ elliptic equations: recent advances. Hermis-$\mu\pi$”, Internat. J. Comput. Math. and its Applic., 2003, no. 4, 27–44 | MR | Zbl

[26] T. J. Barth, H. Deconinck(eds.), Error estimation and adaptive discretization methods in computational fluid dynamics, Springer, 2003 | MR

[27] Venner C. H., Lubrecht A. A., Multilevel methods in lubrication, Elsevier Science, 2000

[28] “SciDAC-2 – the next fase of discovery”, SciDAC Review, 2007, no. 3, 16–35; Режим доступа: http://www.scidacreview.org/0702/index.html

[29] Colella Ph., “APDEC: Algorithms and software for discovery”, SciDAC Review, 2007, no. 4, 22–33; Режим доступа: http://www.scidacreview.org/0702/index.html

[30] McCoy M. G., A Summary Report to the Director's Review Committee: FY03 LLNL ASCI DRC Report, Lawrence Livermore National Laboratory, 2003; Режим доступа: http://http://www.llnl.gov/tid/lof/documents/pdf/243957.pdf

[31] Academic Strategic Alliances Program Rezhim dostupa: http://www.sandia.gov/ NNSA/ASC/pdfs/ 3642-Krell

[32] ASCI Academic Strategic Alliances Program (ASAP). Request for Proposal ASAP-02, Level 2 – Strategic Investigations, 1997 Rezhim dostupa: http://www.llnl.gov/asci-alliances/asap/L2-RPF.html

[33] Moore G., “Cramming More Components Onto Integrated Circuits”, Electronics Magazine, 38:8 (1965) | Zbl

[34] Fly G., Xin Q., Faerman M., Kremenek G., Shkoler B., Day S., Olsen K., Minster B., Moore R., Data handling and of a high resolution ground motion Rezhim dostupa: $Description.pdf} http://www.epicenter.usc.edu/cmeportal/ docs/RDM<nobr>$_{-

[35] The SCEC community modelling environment (SCEC/CME), An information infrastructure for system-level earthquake research (EAR–0122464). Fourth annual research Rezhim dostupa: $CME$\_{-}$Year4Status.pdf} http://www.scec.org/aboutscec/documents/ SCEC<nobr>$_{-

[36] Bell J. W., Good prospects Rezhim dostupa: http://www.access.ncsa.uiuc.edu/Stories/oil

[37] Discovery by VO demo Rezhim dostupa: http://www.us-vo.org/news/ story.cfm?ID=9

[38] Hullquist J. O., A procedure for the solution of finite deformation contact-impact problems by the finite element method, Rept UCRL-52066, University of California, Lawrence Livermore National Laboratory, 1976

[39] Marchuk G. I., “Uchenyi i grazhdanin. K 80-letiyu M. V. Keldysha”, M. V. Keldysh. Tvorcheskii portret po vospominaniyam sovremennikov, sbornik, Nauka, M., 2002, 29–33

[40] A. Fursenko predlozhil biznesu sotrudnichestvo v razvitii sistemy obrazovaniya. [Elektronnyi resurs], Delovaya pressa Rezhim dostupa: http://www.businesspress.ru/newspaper/ article_mId_44_aId_346722.html

[41] University of Wesrminster Factcard 2006–2007 Rezhim dostupa: http://www.wmin.ac.uk/pdf/Factcard

[42] Recktenwald G. W., Numerical Methods with Mathlab. Implementation and applications, Prentice Hall, New Jersey, 2000, 786 pp.

[43] Samarskii A. A., Vvedenie v chislennye metody, Lan, Mosk. gos. un-t, M., 2005, 288 pp.

[44] Credit hour Rezhim dostupa: http://www.dbu.edu/academics/policies/credit<nobr>$_-$</nobr>hour.asp

[45] Semester credit hours guidelines Rezhim dostupa: http://www.purdue.edu/registrar/ Forms/general/Credit<nobr>$_ -$</nobr>Hour<nobr>$_- $</nobr>Guidelines.pdf

[46] Studying mathematics at Oxford Rezhim dostupa: http://www.maths.ox.ac.uk

[47] Superkompyutery TOP 50, Tekuschii reiting, 7-ya redaktsiya ot 25.09.2007 Rezhim dostupa: http://www.supercomputers.ru/?page=rating

[48] Kuznetsov D., Scientific computing at the largest scale Rezhim dostupa: http://www.krellinst.org/DOE<nobr>$_-$</nobr>HPCS/hardwired/fall<nobr>$_-$</nobr>04/hardwired<nobr>$_-$</nobr>fall04.pdf

[49] Stenograficheskii otchet o zasedanii Soveta po nauke, tekhnologiyam i obrazovaniyu Rezhim dostupa: http://www.kremlin.ru/text/appears/2007/11/152987.shtml#