In this paper, we obtain the solution forms of fifth order systems rational difference equations P n + 1 = 4 S 2 Q / − 3 ± , </m...

In this paper, we study the egalitarian solution for games with discrete side payment, where characteristic function is integer-valued and payoffs of players are integral vectors. The solution, introduced by Dutta Ray in 1989, a concept transferable utility cooperative form, which combines commitment egalitarianism promotion indivisual interests consistent manner. We first point out that nice p...

in recent years, formal methods have been used as an important tool forperformance evaluation and verification of a wide range of systems. in the viewpoints of engineers and practitioners, however, there are still some major difficultiesin using formal methods. in this paper, we introduce a new formal modelinglanguage to fill the gaps between object-oriented programming languages (oopls)used by...

Consider a continuous dynamical system for which partial information about its current state is observed at a sequence of discrete times. Discrete data assimilation inserts these observational measurements of the reference dynamical system into an approximate solution by means of an impulsive forcing. In this way the approximating solution is coupled to the reference solution at a discrete sequ...

In this paper, we propose a new numerical method for solution of Urysohn two dimensional mixed Volterra-Fredholm integral equations of the second kind on a non-rectangular domain. The method approximates the solution by the discrete collocation method based on inverse multiquadric radial basis functions (RBFs) constructed on a set of disordered data. The method is a meshless method, because it ...

in recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. in the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. in this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (oopls) us...

We present a robust scheme for solving the electrokinetic equations. This goal is achieved by combining the lattice-Boltzmann method with a discrete solution of the convection-diffusion equation for the different charged and neutral species that compose the fluid. The method is based on identifying the elementary fluxes between nodes, which ensures the absence of spurious fluxes in equilibrium....

The most interesting discrete optimization problems are computationally very hard. That is why we cannot hope for efficient (practicable) algorithms that would guarantee to compute appropriate exact optimal solutions. The only way to attack these hard problems is to relax our demand on acceptable solutions and to hope for the efficient solvability of the resulting problem variants. To shift fro...