By introducing the notion of harmonic congruences for ordered monoids,a M-valuation on a commuttative ring is decomposed into a cancellative M-valuation and a Manis valuation with null core on the residue ring of this cancellative M-valuation.

AIM to Ensure the evaluation standard system about the building lighting and the lighting environment,to make the evaluate toward scientific equitableness.

Present two special data types in Verilog HDL And the source programs of Verilog HDL is given Then get some conclusions about how to evaluate these two kinds of variables in different situation It has common guide significance to the Verilog HDL user

Valuations on Surfaces and on Arithmetic Surfaces;

Classification of valuations on surfaces

On the basis of the classical valuation method of generalized functions, the set value of a generalized function has been defined by the equivalent value mode and the uniform convergence method.

Thus, assignments are in fact write-operations applied .

Based on the consistence of logical equivalence and provable equivalence of formulas in two-valued proposition logic,the general expression of formulas in F(Sn) in the meaning of provable equivalence with the help of assignment of formulas is given.