Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 2

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  tabling
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
EN
Primary concentrations of Azara barite deposit in Nassarawa state, Nigeria were conducted; employing simplified gravity concentration techniques. Particle size distribution, specific gravity, physicochemical and morphological analyses of the sample was conducted. These analyses were done in order to establish process efficacy and effectiveness of gravity concentration processes for recovery of barium from the ore deposit, as well as its suitability in various industrial applications, such as the oil and gas sectors. Thus, microstructural, chemical composition and certain physicochemical characteristics/properties of the mineral sample of Azara-Nassarawa barite were determined. XRD, XRF, SEM and EDS analyses were utilized in determining morphology as well as quantitative and qualitative chemical analyses of the sample. Barite sample with average particle size of -355+150μm was subjected to concentration, adopting jigging and tabling gravity separation as the concentration methods. Hitherto, based on quantitative and qualitative chemical analyses conducted, the sample was composed of about 36.2% BaO and 40.5% Ba, respectively; and also possessed an average specific gravity (SG) of about 3.85. Further, the qualitative analysis of the mineral products of jiggling and tabling indicated that jigging had a concentrate recovery of 130.98% Ba with SG increase of 11.2% while tabling had 89.81% Ba recovery with 8.6% SG increase. Assay and SG results confirm gravity concentration efficiency and thus, establish the barite from Azara-Nassarawa ore deposits suitable for certain industrial applications. This will serve as a tool and a step further towards mitigating existing problems or challenges in mineral concentration and processing of such deposits for industrial purposes.
EN
Logic programming provides a declarative framework for modeling and solving many combinatorial problems. Until recently, it was not competitive with state-of-the-art planning techniques partly due to search capabilities limited to backtracking. Recent development brought more advanced search techniques to logic programming such as tabling that simplifies implementation and exploitation of more sophisticated search algorithms. Together with rich modeling capabilities this progress brings tabled logic programing on a par with current best planners. This paper describes the planner module of the tabled logic programming language Picat, its modeling capabilities, and core search procedures behind the planner. The major contribution is an experimental comparison of the influence of various modeling techniques, namely factored vs. structured representations of states, control knowledge, and heuristics on the performance of two search procedures – iterative deepening and branch and bound-behind the planner. The paper also compares the Picat planner with winning automated planners both domain dependent and domain independent to demonstrate that the presented techniques are competitive with state-of-the-art.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.