in this paper, the ritz-galerkin method in bernstein polynomial basis is applied for solving the nonlinear problem of the magnetohydrodynamic (mhd) flow of third grade fluid between the two plates. the properties of the bernstein  polynomials together with the ritz-galerkin method are used to reduce the solution of the mhd couette flow of non-newtonian fluid in a porous medium to the solution o...

A new method for analyzing relational specifications is described. A property to be checked is cast as a relational formula, which, if the property holds, has no finite models. The relational formula is translated into a boolean formula that has a model for every model of the relational formula within some finite scope. Errors in specifications can usually be demonstrated with small counterexam...

This article presents a numerical method to find the heat flux in an inhomogeneous inverse heat conduction problem with linear boundary conditions and an extra specification at the terminal. The method is based upon applying the satisfier function along with the Ritz-Galerkin technique to reduce the approximate solution of the inverse problem to the solution of a system of algebraic equations. ...

This paper proposes a new algorithm for solving the Boolean satisfiability (SAT) problem. On the basis of this algorithm a software/reconfigurable hardware SAT solver was designed, implemented and compared to a similar realization of the Davis-Putnam-like method. The satisfier suggested uses an application-specific approach, thus an instancespecific hardware compilation is completely avoided.

As the first illustration of a potential satisfier for the ‘platitudes for truth’ in the appendix to his engaging recent discussion of the concept of truth (Wright 1999), Crispin Wright has proposed a notion of ‘truth conceived as coherence’ for arithmetic. This paper attempts to clarify certain aspects of Wright’s proposal. Take the standard first-order language of arithmetic L. Let B be some ...

With the emergence of COVID-19 worldwide, interest in blended learning higher education is rapidly increasing. Despite fact that unipolar view satisfaction and dissatisfaction are measured separately has been emphasized education, fewer efforts have made a context. Therefore, this study attempts to document context by adopting Kano model. More specifically, objectives (1) conceptualize online o...

In this article, we explore the concept of consumption corridors as it might apply to energy use, with specific attention both wellbeing and power relations. We employ distinction between provisioning human-need satisfaction different configurations well their possible dynamics. Specifically, draw on past research documenting benefits decoupling our thinking about services needs use a basis ide...

In this paper, the Ritz-Galerkin method in Bernstein polynomial basis is applied for solving the nonlinear problem of the magnetohydrodynamic (MHD) flow of third grade fluid between the two plates. The properties of the Bernstein  polynomials together with the Ritz-Galerkin method are used to reduce the solution of the MHD Couette flow of non-Newtonian fluid in a porous medium to the solution o...