We propose and study two second-order in time implicit-explicit (IMEX) methods for the coupled Stokes-Darcy system that governs flows in karst aquifers. The first is a combination of a second-order backward differentiation formula and the second-order Gear’s extrapolation approach. The second is a combination of the second-order Adams-Moulton and second-order Adams-Bashforth methods. Both algor...

This paper is concerned with finding numerical solutions of a flow of ODE solutions. It describes a new method, based on Euler Backward method and interpolation, for finding solutions of autonomous problems. The special aspect is that this method is explicit, and resolves the flow with similar accuracy as Euler Backward method, even when the problem is stiff. An analysis is given of both stabil...

To simplify the task of proving termination of term rewriting systems, several elimination methods, such as the dummy elimination, the distribution elimination, the general dummy elimination and the improved general dummy elimination, have been proposed. In this paper, we show that the argument ltering method combining with the dependency pair technique is essential in all the above elimination...

An exponentially fitted second derivative extended backward differentiation formula (SDEBDF) is derived from the class of composite, multiderivative linear multistep method with a free parameter to allow for the exponential fitting. Some numerical properties such as stability of the methods are investigated as a pair of predictor-corrector (P-C) technique based on a proposed algorithm, to which...

This paper proposes a fast method of calculating high-order backward Linear Prediction (LP) coefficients for wideband Code Excited LP (CELP) coders operating at around 16 kbit/s. The fast calculation is achieved by a recursive calculation for the high-order autocorrelation of the decoded signal. The recursive calculation can be employed thanks to a novel method of converting the autocorrelation...

In a closed die forging process, it is impossible to form complex shapes in one stage, and thus it becomes necessary to use preform dies. In the present study, Backward Deformation Method and FE simulation via ABAQUS software has been used in order to design preform die of the H-shaped parts. In the Backward Deformation Method, the final shape of the part is considered as a starting point and u...