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...

A theory satisses the k-variable property if every rst-order formula is equivalent to a formula with at most k bound variables (possibly reused). Gabbay has shown that a model of temporal logic satisses the k-variable property for some k if and only if there exists a nite basis for the temporal connectives over that model. We give a model-theoretic method for establishing the k-variable propert...

A theory satis es the k variable property if every rst order formula is equivalent to a formula with at most k bound variables possibly reused Gabbay has shown that a model of temporal logic satis es the k variable property for some k if and only if there exists a nite basis for the temporal connectives over that model We give a model theoretic method for establishing the k variable property in...

A theory satis es the k variable property if every rst order formula is equivalent to a formula with at most k bound variables possibly reused Gabbay has shown that a model of temporal logic satis es the k variable property for some k if and only if there exists a nite basis for the temporal connectives over that model We give a model theoretic method for establishing the k variable property in...

Thermal shock property of the material can be improved by improving fracture property of the material. In this paper, factors affecting fracture property have been studied and the effect of residual stress, microstructure, strain rate and stress concentration on fracture property of material has been analyzed, which may provide help for improving thermal shock property of material. Thermal shoc...

A method using experimental nanoindentation and inverse finite-element analysis (FEA) has been developed that enables the spatial variation of material constitutive properties to be accurately determined. The method was used to measure property variation in a three-dimensional printed (3DP) polymeric material. The accuracy of the method is dependent on the applicability of the constitutive mode...

This paper introduces a new approach to the problem of quantitatively reconstructing cylindrically symmetric objects from radiograph data obtained via x-ray tomography. Specifically, a mixed variable programming (MVP) problem is formulated, in which the variables of interest are the number and types of materials and the thickness of each concentric layer. The objective function is a measure of ...

Steady state natural convection is numerically investigated in an enclosure using variable thermal conductivity, viscosity and thermal expansion coefficient of Al2O3–water nanofluid. This study has been conducted for a wide range of Rayleigh numbers (103≤ Ra ≤ 106), concentrations of nanoparticles (0% ≤ Φ ≤ 7%), enclosure aspect ratios (0.5 ≤ AR ≤ 2) and temperature differences between the cold...