in wireless channel the noise has a zero mean. this channel property can be used in the enhancement of the noise performance in the digital receivers by oversampling the received signal and calculating the decision variable based on the time average of more than one sample of the received signal. the averaging process will reduce the effect of the noise in the decision variable that will approa...

We will discuss Craig’s interpolation property (CIP), deductive interpolation property (DIP), pseudo-relevance property (PRP), principle of variable separation (PVS) and Halldén completeness (HC) of substructural logics, and give algebraic characterizations of these properties. These characterizations have been studied for modal and superintuitionistic logics, e.g. in Maksimova (1977), [2] etc....

A natural framework for real-time specification is monadic first-order logic over the structure (R, <,+1)—the ordered real line with unary +1 function. Our main result is that (R, <,+1) has the 3-variable property: every monadic first-order formula with at most 3 free variables is equivalent over this structure to one that uses 3 variables in total. As a corollary we obtain also the 3-variable ...

One of the important components of a local search strategy for satisfiability testing is the variable selection heuristic, which determines the next variable to be flipped. In a greedy local search such as GSAT, the major decision in variable selection is the strategy for breaking ties between variables that offer the same improvement in the number of unsatisfied clauses. In this paper, we anal...

One of the important components of a local search strategy for satisfiability testing is the variable selection heuristic, which determines the next variable to be flipped. In a greedy local search such as GSAT, the major decision in variable selection is the strategy for breaking ties between variables that offer the same improvement in the number of unsatisfied clauses. In this paper, we anal...

In this paper the steady state performance of a variable conductance heat pipe, which its working fluid consists of two components (R11+ R113) is modeled. The role of the liquid film momentum and axial normal stresses are considered by use of the mean property of mixture and the governing equations are solved by conventional numerical methods. The results of the present model have been compared...