In this work, an application of artificial intelligence in the oils & gas industry is developed to identify flow patterns horizontal and vertical pipes two-phase oil water, normalizing word information converting it numerical values through development neural network, whose input layer composed surface velocities each fluid, velocity mixture, volumetric fraction substances, diameter inclina...

Solar Heat for Industrial Processes (SHIP) is one of the most promising alternatives to decarbonize industry. The present work aims analyze influence thermal pipelines inertia on a small-scale solar concentrator 20 kW with phase-change material storage. Two dynamic simulations this SHIP system integrated into tube steel factory in Romania were developed Dymola software: them considered and othe...

Recently, corrosion perforation has been frequently seen in surface pipelines the oil and gas industry, resulting operational environmental challenges. Due to complex characteristics mechanisms of such corrosion, a new pragmatic method designed identify evaluate phenomenon via hanging ring installed pipeline. In addition respectively analyzing ions water samples with chemical titration, ion chr...

We present a method for pipeline verification using SMT solvers. It is based on a non-deterministic “mother pipeline” machine (MOP) that abstracts the instruction set architecture (ISA). The MOP vs. ISA correctness theorem splits naturally into a large number of simple subgoals. This theorem reduces proving the correctness of a given pipelined implementation of the ISA to verifying that each of...

Large software systems often have complex subparts and complex build processes, and engage in subtle relationships with the underlying technologies from which they are designed and constructed. Most reverse engineering toolkits ignore the attributes and relationships of system construction; instead, they concentrate on static relationships among externally visible source code elements. This pap...

In order to conduct analyses on genome data, different calculation steps have to be done in a specific order, which constitutes a genome data processing pipeline. Still a lot of research is in process, in order to find faster and more reliable ways to do various analyses, so single steps or the whole sequence of the pipelines might be subject to change. Amodular and flexibleway to configure pip...