consistency 
On the consistency of linear and quadratic systems


A criterion for the consistency of a system of quadratic inhomogeneous equations and inequalities is proposed.


The thermodynamic consistency of modern models of nonideal aqueous solutions is evaluated.


Criteria were proposed for the thermodynamic consistency of physicochemical models of the nonideality of real solutions.


Comparison of the model with measurements during the LITFASS98 and LITFASS2003 experiments (Germany) shows good consistency.


Particular attention is given to the consistency between different regimes of the exact equations and their quasigeostrophic approximations, which is manifested for small Rossby numbers and is generally absent for large Rossby numbers.


The capabilities of assumptionbased truth maintenance systems (the socalled ATMS), which allow one to maintain consistency in DBs, are employed.


Equations of motion are derived from the given Hamiltonian, which guarantees the validity of conservation laws and thermodynamic selfconsistency.


The phosphate inclusions variable in shapes and consistency are largely confined to the lower sedimentary layer, although occurring as single fragments of compact rock and nonlithified small inclusions in voids of altered tuffs as well.


The first consists in marked flexural deformations of the fine objects, which are not taken into account in the welldeveloped analytical techniques based on selfconsistency approximations.


The consistency of this definition with the notion of a classical solution and with the minimax approach to the generalized solution is substantiated.


In order to obtain better consistency between the experimental and calculated results, two empirical parameters have been introduced in a DebyeHuckeltype equation.


Empirical estimates were used to check the reliability and mutual consistency of literature experimental data on the enthalpies of formation and entropies of several ferrocene derivatives.


Special attention is paid to selfconsistency of all processes.


A few actual cases were considered to show that the deterministic approach to determination of the reliability of heating surfaces lacks consistency.


The method of protein application determines the consistency the matrix coating and the formation of different collagen structures on the film.


Theoretical study on the size consistency of the second and third order energies of the multireference perturbation theory


The size consistency of the second and third order energies of the multireference perturbation theory (Chen F, Davidson E, Iwata S.


This paper investigates the consistency property ofFCnormal logic program and presents an equivalent deciding condition whether a logic programP is anFCnormal program.


Finally, we have presented algorithms about computation of consistency property and a few equivalent deciding methods of the finiteFCnormal program.

