because of inhomogeneity and anisotropy of composite materials, defining a unique fatigue criterion to be suitable for different loading conditions is much more difficult in comparison with traditional materials. for this reason many tests on evaluating the damages such as crack density, stiffness reduction and residual strength are used by various researchers to monitor the fatigue process. in...

Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quality of approximations and consequently the performance of the model checkers. Recently, it was observed that for the same resolution proof a complete lattice of interpolants ordered by strength can be derived. Most stat...

A major premise upon which this paper by Macaulay was written is flawed as is the formulation (both conceptually and mathematically) of the scattering models. The formulation is actually an assemblage and adaptation of previously published approximate solutions rather than a generalization. The physics of the scattering isblurred through a multitude of empirical parameters. In order for this ne...

The effect of pellet chemical composition and burning temperature on pellets’ properties of the Gol-e-Gohar hematite recovery plant was investigated in this study. Green pellets of different sodium hydroxide ratio and hydrated lime were prepared as well. Then the pellets were burnt in a muffle kiln under different temperature conditions. The Design Expert software was employed to explore ...

In this paper, dissimilar resistance spot welding of AISI 1075 eutectoid steel to AISI 201 stainless steel is investigated experimentally. For this purpose, the experiments are designed using response surface methodology and based on four-factor, five-level central composite design. The effects of process parameters such as welding current, welding time, cooling time and electrode force are inv...