In this paper we find all solutions of four kinds of the Diophantine equations begin{equation*} ~x^{2}pm V_{t}xy-y^{2}pm x=0text{ and}~x^{2}pm V_{t}xy-y^{2}pm y=0, end{equation*}% for an odd number $t$, and, begin{equation*} ~x^{2}pm V_{t}xy+y^{2}-x=0text{ and}text{ }x^{2}pm V_{t}xy+y^{2}-y=0, end{equation*}% for an even number $t$, where $V_{n}$ is a generalized Lucas number. This pape...

Safety and failure in gas pipelines are very important in gas and petroleum industry. For this reason, it is important to study the effect of different parameters in order to reach the maximum safety in design and application. In this paper, a three dimensional finite element analysis is carried out to study the effect of crack length, crack depth, crack position, internal pressure and pipe thi...

Según la OMS (1), el tabaquismo y el alcoholismo son las drogodependencias más extendidas en nuestra sociedad, y representan, respectivamente, la primera y la tercera causa de años de vida con discapacidades. El Observatorio Español sobre Drogas asegura en su último informe que la mayoría de los españoles consume bebidas alcohólicas esporádica o habitualmente (2). En 2008, 72,9% de estudiantes ...

The maximum quasi-biclique problem has been proposed for finding interacting protein group pairs from large protein-protein interaction (PPI) networks. The problem is defined as follows: THE MAXIMUM QUASI-BICLIQUE PROBLEM: Given a bipartite graph G= (X∪ Y,E) and a number 0 < δ ≤ 0.5, find a subset Xopt of X and a subset Yopt of Y such that any vertex x ∈Xopt is incident to at least (1−δ)|Yopt |...

A Railway Interloc king System (RIS) is an Embedded System (namely a Supervisory Control System) that ensures the safe op eration of the devic es in a R ailway Station. Of course a RIS is a Safet y Critical System. In this p aper we explore the p ossibility of integrating automatic formal veri cation methods in a given industry RIS design ow. The main obstructions to be over come in our work ar...

this paper describes the design of a 2x2 micro strip patch antenna array in the frequency of 9.5ghz for radar applications, using substrate integrated waveguide, siw, for feeding network. the micro strip patches are aperture-coupled with the feeding network of siw. the feeding network consisting of a perpendicular coax-to-siw transition and two y-junction power dividers. the antenna is simulate...