19 research outputs found

    ЛогичСскоС ΡƒΠΏΡ€Π°Π²Π»Π΅Π½ΠΈΠ΅ ΠΈ тСхнологичСскиС Π·Π°Ρ‰ΠΈΡ‚Ρ‹ : мСтодичСскиС указания ΠΊ практичСским Ρ€Π°Π±ΠΎΡ‚Π°ΠΌ

    Get PDF
    Π’ пособии прСдставлСны практичСскиС задания ΠΏΠΎ дисциплинС «ЛогичСскоС ΡƒΠΏΡ€Π°Π²Π»Π΅Π½ΠΈΠ΅ ΠΈ Π·Π°Ρ‰ΠΈΡ‚Ρ‹Β» КаТдая Ρ€Π°Π±ΠΎΡ‚Π° содСрТит ΠΊΡ€Π°Ρ‚ΠΊΠΎΠ΅ ΠΈΠ·Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅ тСорСтичСских свСдСний, Ρ€Π°Π·ΠΎΠ±Ρ€Π°Π½Π½Ρ‹Π΅ ΠΏΡ€ΠΈΠΌΠ΅Ρ€Ρ‹ выполнСния Π·Π°Π΄Π°Π½ΠΈΠΉ ΠΈ Π²Π°Ρ€ΠΈΠ°Π½Ρ‚Ρ‹ для ΡΠ°ΠΌΠΎΡΡ‚ΠΎΡΡ‚Π΅Π»ΡŒΠ½ΠΎΠΉ ΠΈΠ½Π΄ΠΈΠ²ΠΈΠ΄ΡƒΠ°Π»ΡŒΠ½ΠΎΠΉ ΠΏΡ€ΠΎΡ€Π°Π±ΠΎΡ‚ΠΊΠΈ ΠΈΠ·ΡƒΡ‡Π΅Π½Π½ΠΎΠ³ΠΎ ΠΌΠ°Ρ‚Π΅Ρ€ΠΈΠ°Π»Π°. Π’ практичСских Ρ€Π°Π±ΠΎΡ‚Π°Ρ… Π·Π°Ρ‚Ρ€Π°Π³ΠΈΠ²Π°ΡŽΡ‚ΡΡ Π·Π°ΠΊΠΎΠ½Ρ‹ Π°Π»Π³Π΅Π±Ρ€Ρ‹ Π»ΠΎΠ³ΠΈΠΊΠΈ Буля, основныС логичСскиС элСмСнты, извСстныС ΠΌΠ΅Ρ‚ΠΎΠ΄Ρ‹ построСния ΠΈ ΠΌΠΈΠ½ΠΈΠΌΠΈΠ·Π°Ρ†ΠΈΠΈ логичСских схСм, Π° Ρ‚Π°ΠΊΠΆΠ΅ вопросы синтСза ΠΈ Π°Π½Π°Π»ΠΈΠ·Π° ΠΊΠΎΠ½Π΅Ρ‡Π½Ρ‹Ρ… логичСских Π°Π²Ρ‚ΠΎΠΌΠ°Ρ‚ΠΎΠ². ΠŸΡ€Π΅Π΄Π½Π°Π·Π½Π°Ρ‡Π΅Π½ΠΎ для магистров, ΠΎΠ±ΡƒΡ‡Π°ΡŽΡ‰ΠΈΡ…ΡΡ ΠΏΠΎ Π½Π°ΠΏΡ€Π°Π²Π»Π΅Π½ΠΈΡŽ 13.04.01 «ВСплоэнСргСтика ΠΈ Ρ‚Π΅ΠΏΠ»ΠΎΡ‚Π΅Ρ…Π½ΠΈΠΊΠ°Β»

    Fast computation tools for adaptive wavelet schemes

    Get PDF
    During the past few years, a new algorithmic paradigm for adaptive wavelet schemes was developed. First approaches covered elliptic problems, but meanwhile, the class of feasible problems could be significantly enlarged, including even certain nonlinear problems. This thesis will present and analyze routines for key tasks arising in connection with those schemes. The central point will be a so called recovery scheme that allows to compute arrays of wavelet coefficients efficiently by treating the array as a whole instead of treating each entry separately by quadrature schemes. The tools and methods we develop are realized in a C++ implementation by the author, which we present in form of a schematic overview. All numerical studies presented in the thesis are based on this implementation

    Adaptive Application of Operators in Standard Representation βˆ—

    No full text
    Recently adaptive wavelet methods have been developed which can be shown to exhibit an asymptotically optimal accuracy/work balance for a wide class of variational problems including classical elliptic boundary value problems, boundary integral equations as well as certain classes of non coercive problems such as saddle point problems [8, 9, 12]. A core ingredient of these schemes is the approximate application of the involved operators in standard wavelet representation. Optimal computational complexity could be shown under the assumption that the entries in properly compressed standard representations are known or computable in average at unit cost. In this paper we propose concrete computational strategies and show under which circumstances this assumption is justified in the context of elliptic boundary value problems

    The IGPM Villemoes Machine

    No full text
    In this note, we describe a program which can be used to estimate the HΓΆlder regularity of refinable functions. The regularity estimates are carried out by means of the refinement mask. The theoretical background is briefly explained and a detailed description how to install and to use the program is given

    Fast computation of adaptive wavelet expansions : (extended version)

    No full text

    Some Remarks on Quadrature Formulas for Refinable Functions and Wavelets

    No full text
    This paper is concerned with the efficient computation of integrals of (smooth) functions against refinable functions and wavelets, respectively. We derive quadrature formulas of Gauss-type using these functions as weight functions. The methods are tested for several model problems and possible practical applications are discussed
    corecore