نتایج جستجو برای: cut method. eventually

تعداد نتایج: 1731426  

2005
Henry Towsner

Hilbert’s epsilon substitution method provides a technique for showing that a theory is consistent by producing progressively more accurate computable approximations to the non-computable components of a proof. If it can be shown that this process eventually halts with a sufficiently good approximation, the theory is consistent. Here we produce a new formulation of the method for the theory ID1...

Journal: :international journal of maritime technology 0
saeed booshi 424 hafez avenue,, tehran-iran, mohammad javad ketabdari 424 hafez avenue,, tehran-iran,

in this paper wave transformation in a submerged sloped breakwater and its hydraulic performance was simulated by developing a numerical model in fortran. the code was established by combining porous flow and a two-phase model using vof method. modified navier-stokes and k-ε equations implemented to the model to simulate the flow in porous media. cut cell method was modified to simulate fluid t...

Journal: :Bulletin of the Australian Mathematical Society 1983

Journal: :International Journal of Number Theory 2017

Journal: :Physics Letters B 2007

Journal: :Proceedings of the Japan Society of Civil Engineers 1971

Journal: :Ergodic Theory and Dynamical Systems 2020

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید