Search-based optimization methods have been used for software engineering activities such as software testing. In the field of software testing, search-based test data generation refers to application of meta-heuristic optimization methods to generate test data that cover the code space of a program. Automatic test data generation that can cover all the paths of software is known as a major cha...

in this paper, the maximal dissipative extensions of a symmetric singular 1d discrete hamiltonian operator with maximal deficiency indices (2,2) (in limit-circle cases at ±∞) and acting in the hilbert space ℓ_{ω}²(z;c²) (z:={0,±1,±2,...}) are considered. we consider two classes dissipative operators with separated boundary conditions both at -∞ and ∞. for each of these cases we establish a self...

This paper is concerned with investigation of vertical impedance function of a surface rigid circular foundation resting on a semi-infinite transversely isotropic alluvium. To this end, the equations of motion in cylindrical coordinate system, which because of axissymmetry are two coupled equations, are converted into one partial differential equation using a method of potential function. The g...

In this paper, the maximal dissipative extensions of a symmetric singular 1D discrete Hamiltonian operator with maximal deficiency indices (2,2) (in limit-circle cases at ±∞) and acting in the Hilbert space ℓ_{Ω}²(Z;C²) (Z:={0,±1,±2,...}) are considered. We consider two classes dissipative operators with separated boundary conditions both at -∞ and ∞. For each of these cases we establish a self...