検索結果 37 件
紙図書
国立国会図書館
- 内容細目...c Principle of the Verification Fixed-Point Formulation of the Problem Finite......ions Criterion for Infinite-Dimen......Part Criterion for Finite-Dimensi......Application to the Second-Order E......ple of FS-Int Other Examples of F......ain An Example for ... -Error Est......Computation of the Constant c₂(h)......Computation of the Constants c₃ a......Computation of the Constant K₁ Computation of the Constant K₂ Computation of the Constant K₃ An......Nh Fixed-Point Formulation by New......ple of FN-Int Other Examples of F......n Verification for Bifurcated Sol......ments Residual Formulation Direct Residual Formulation An Example of Direct ...
- 件名Differential equations, Partial. Automatic theorem proving. Numerical calculations--Verification.
- タイトル標目Springer series in computational mathematics ; 53. 0179-3632
紙図書
国立国会図書館全国の図書館
- 内容細目... a solution to the one-dimensiona......, A. Kadoya On the asymptotic behaviour of the p-Laplace equa......Weak solutions for Stefan problem......w-up phenomena for a nonlocal par......ions to non-isothermal phase sepa......near diffusion equations with boundary ......npeng Index of the gradient mappings for non-smooth fun......zed generators for nonlinear none......erence schemes for degenerate par......lic-hyperbolic equations by Y. Kobayash......attering rates for the wave equation ...... a balance law for microforces by A. Miran......p-Lq estimates for damped wave equations and their applications......sis effect and their numerical simulation by T. ...
紙デジタル記事
国立国会図書館全国の図書館
- 要約等A numerical scheme has been developed for solving the two-dimensiona......incompressible Navier-Stokes equations on a domain th......is infinite in the vertical (y) d...... and finite in the streamwise (x) direction. The fourth-order equation for the streamwise vel......hod is used in the x direction an......tral method in the y direction. The various parts of the code are teste......own solutions. The nonlinear Stua......ployed to test the convective parts, the Poisson part of the code and the time advanceme......, we find that the disturbance ob......near stability theory grows in the linear regime ...... flow and that the nonlinear growth of the ampli...
デジタル記事
全国の図書館
- 参照Fluctuating Hydrodynamics for a Rarefied Gas......ed on Extended Thermodynamics Dyn...... fluctuations: Theory – phenomenology – heavy-io...
デジタル記事
インターネットで読める全国の図書館
- 並列タイトル等（連結）State of the Art for the Numerical Verification Method of Navier-Stokes Equations (Numerical Analysis and New Information Technology)
- 並列タイトル等State of the Art for the Numerical Verification Method of Navier-Stokes Equations (Numerical Analysis and New Information Technology)
デジタル記事
インターネットで読める全国の図書館
- 要約等...t is presented for the Navier-Stokes equations. We use P1/P1 element and the resulting line...... is symmetric. Numerical results in two......are presented. Navier-Stokes方程式のための,圧力安定化有限要素法と時間刻み1次精度特性曲...
- 並列タイトル等（連結）...c-curve method for the Navier-Stokes equations(Theory,Scientific ......omputation and Numerical Analysis,<Special Issue>Joint...
- 並列タイトル等...c-curve method for the Navier-Stokes equations(Theory,Scientific ......omputation and Numerical Analysis,<Special Issue>Joint...
デジタル記事
全国の図書館
- 件名...ous) Applied Mathematics Computational Mathematics Modeling......and Simulation Numerical Analysis
紙図書
全国の図書館
- 関連情報Notes on numerical fluid mechanics
- 掲載誌Notes on numerical fluid mechanics
記事
全国の図書館
デジタル記事
全国の図書館
- 件名Applied Mathematics Computational Mathematics Software
- 参照Computer-assisted proof for the stationary sol......n existence of the Navier–Stokes equation over ......ror estimation for the finite element......tion of Stokes equations 偏微分方程式の解に対する数値的存在検証 Numerical verification methods for solutions of semilinear ellip...
マイクロ博士論文
国立国会図書館
- 著者標目Bullister, Edward Theodore.
- 学位論文注記博士論文 Thesis (doctoral) --Massachusetts...
記事
全国の図書館
紙図書
全国の図書館
デジタル記事
全国の図書館
- 件名...ous) Applied Mathematics Computational Mathematics Modeling......and Simulation Numerical Analysis
- 参照...hing principle for Euler equation......hemes in split forms A weakly com......terface method for low Mach numbe......usivity scheme for the high-order flu......penalty method for nearly incompr...... Volume Solver for Euler Equations on Unstructure......onal structure Numerical Simulation of ......nuous Galerkin methods for second-order e......tured CFD code for aerodynamic an......ruction method for the Navier-Stokes equations
記事
全国の図書館
マイクロ博士論文
国立国会図書館
- 学位論文注記博士論文 Thesis (doctoral) --Massachusetts...
デジタル記事
インターネットで読める全国の図書館
- 要約等A numerical scheme has been developed for solving the two-dimensiona......incompressible Navier-Stokes equations on a domain th......is infinite in the vertical (y) d...... and finite in the streamwise (x) direction. The fourth-order equation for the streamwise vel......hod is used in the x direction an......tral method in the y direction. The various parts of the code are teste......own solutions. The nonlinear Stua......ployed to test the convective parts, the Poisson part of the code and the time advanceme......, we find that the disturbance ob......near stability theory grows in the linear regime ...... flow and that the nonlinear growth of the ampli...
- 件名... Method Direct Numerical Simulation Numerical Analysis Shear Flow Computati...