Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "för, R." wg kryterium: Wszystkie pola

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 135
Tytuł:
Evaluating new architectural features of the Intel(r) Xeon(r) 7500 Processor for hpc workloads
Ewaluacja nowej architektury procesorów intel xenon w obliczeniach wysokiej wydajności
Autorzy:
Gepner, P.
Fraser, D.L.
Kowalik, M.F.
Waćkowski, K.
Powiązania:
https://bibliotekanauki.pl/articles/305471.pdf
Data publikacji:
2011
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
obliczenia wysokiej wydajności
klaster
testy wydajnościowe
HPC
benchmarking
cluster
performance evaluation
Opis:
In this paper we take a look at what the Intel Xeon Processor 7500 family, code named Nehalem-EX, brings to high performance computing. We compare two families of Intel Xeon based systems (Intel Xeon 7500 and Intel Xeon 5600) and present a performance evolution of 16 node clusters based on these CPUs. We compare CPU generations utilizing dual socket platforms and a cluster across a number of HPC benchmarks and focused on different performance field and aspect. We will evaluate also technologies and features like Intels Hyper Threading Technology (HT) and Intel Turbo Boost Technology (Turbo Mode) and the performance implication of these technologies for HPC.
W artykule przedstawiamy możliwości procesorów z rodziny Intel Xeon 7500 w obliczeniach wysokiej wydajności. Porównaniu poddano dwa 16-węzłowe klastry oparte na rodzinach procesorów Intel Xeon (7500 i 5600). Eksperyment przeprowadzono na klastrach zbudowanych w oparciu o platformę sprzętową wyposażoną w dwa gniazda procesorowe, wykorzystując popularne benchmarki z dziedziny HPC, koncentrując się na różnych aspektach wydajności. Przedstawiono również wpływ technologii Intel Hyper Threading oraz Intel Turbo Boost Technology na wydajność obliczeń.
Źródło:
Computer Science; 2011, 12; 5-17
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analiza powtarzalności i odtwarzalności (R&R) jako narzędzie oceny porównawczej różnych metod laboratoryjnych badania współczynnika filtracji gruntów
Analysis of Repeatability and Reproducibility (R&R) method for comparing various laboratory methods of ground filtration parameter analysis
Autorzy:
Drożdżak, R.
Twardowski, K.
Powiązania:
https://bibliotekanauki.pl/articles/299457.pdf
Data publikacji:
2011
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
współczynnik filtracji
laboratoryjne metody badań
błędy pomiarów
analiza powtarzalności
analiza odtwarzalności
filtration coefficient
laboratory analysis methods
measurement errors
Repeatability and Reproducibility (R&R) analysis
Opis:
W pracy przedstawiono jedną z bardziej efektywnych metod wykorzystywanych do analizy porównawczej różnych metod badawczych - tzw. analizy powtarzalności i odtwarzalności (R&R). Omówiono ją na przykładzie oceny porównawczej czterech różnych metod laboratoryjnych stosowanych w praktyce do badania współczynnika filtracji gruntów.
One of the most efficient tools used for comparative analysis of various investigation methods, i.e. Repeatability and Reproducibility (R&R) analysis is described in the paper. It was discussed on the example of comparative analysis of four different laboratory methods used in practice for investigating ground filtration parameters.
Źródło:
Wiertnictwo, Nafta, Gaz; 2011, 28, 1-2; 83-94
1507-0042
Pojawia się w:
Wiertnictwo, Nafta, Gaz
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Positive solutions with specific asymptotic behavior for a polyharmonic problem on $\mathbb{R}^n$
Autorzy:
Dhifli, A.
Powiązania:
https://bibliotekanauki.pl/articles/1397483.pdf
Data publikacji:
2015
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
asymptotic behavior
Dirichlet problem
Schauder fixed point theorem
positive bounded solutions
Opis:
This paper is concerned with positive solutions of the semilinear polyharmonic equation $(-\Delta)^m u = a(x)u^\alpha$ on $\mathbb{R}^n$, where m and n are positive integers with n > 2m, $\alpha \in (—1,1)$. The coefncient a is assumed to satisfy $a(x) \approx (1+|x|)^{-\lambda}L(1+|x|)$ for $ x \in \mathbb{R}^n$, where $ \lambda \in [2m,\infty)$ and $L \in C^1([q,\infty))$ is positive with $ {tL^\prime (t)}/{L(t)} \rightarrow 0 $ as $ t \rightarrow \infty $ if $ \lambda = 2m$, one also assumes that $\int_1^\infty t^{-1} L(t) dt < \infty $. We prove the existence of a positive solution $u$ such that $ u(x) \approx (1 + |x|)^{-\tilde{\lambda}} L(1+|x|)$ for $ x \in \mathbb{R}^n$, with $\tilde{\lambda} := \text{min}(n-2m, {\lambda-2m}/{1-\alpha})$ and a function $ \tilde{L} $, given explicitly in terms of $L$ and satisfying the same condition as infinity. (Given positive functions $f$ and $g$ on $\mathbb{R}^n$, $f \approx g $ means that $c^{-1} g \leq f \leq cg $ for some constant c > 1.)
Źródło:
Opuscula Mathematica; 2015, 35, 1; 5-19
1232-9274
2300-6919
Pojawia się w:
Opuscula Mathematica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Sufficient optimality criteria and duality for multiobjective variational control problems with B-(p,r)-invex function
Autorzy:
Antczak, T.
Jimenez, M. A.
Powiązania:
https://bibliotekanauki.pl/articles/255711.pdf
Data publikacji:
2014
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
multiobjective variational control problems
efficient solution
B-(p, r)-invex functions
optimality conditions
duality
Opis:
In this paper, we generalize the notion of B-(p, r)-invexity introduced by Antczak in [A class of B-(p; r)-invex functions and mathematical programming, J. Math. Anal. Appl. 286 (2003), 187–206] for scalar optimization problems to the case of a multiobjective variational programming control problem. For such nonconvex vector optimization problems, we prove sufficient optimality conditions under the assumptions that the functions constituting them are B-(p, r)-invex. Further, for the considered multiobjective variational control problem, its dual multiobjective variational control problem in the sense of Mond-Weir is given and several duality results are established under B-(p, r)-invexity.
Źródło:
Opuscula Mathematica; 2014, 34, 4; 665-682
1232-9274
2300-6919
Pojawia się w:
Opuscula Mathematica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Numerical methods for hyperbolic differential functional problems
Autorzy:
Ciarski, R.
Powiązania:
https://bibliotekanauki.pl/articles/255099.pdf
Data publikacji:
2008
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
functional differential equations
stability and convergence
Opis:
The paper deals with the initial boundary value problem for quasilinear first order partial differential functional systems. A general class of difference methods for the problem is constructed. Theorems on the error estimate of approximate solutions for difference functional systems are presented. The convergence results are proved by means of consistency and stability arguments. A numerical example is given.
Źródło:
Opuscula Mathematica; 2008, 28, 1; 29-46
1232-9274
2300-6919
Pojawia się w:
Opuscula Mathematica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Environment emulation for WSN testbed
Autorzy:
Kapłoniak, R.
Kwiatkowski, Ł.
Szydło, T.
Powiązania:
https://bibliotekanauki.pl/articles/305451.pdf
Data publikacji:
2012
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
sensor networks
testbed platform
emulation
Opis:
The development of applications for wireless sensor networks is a challenging task. For this reason, several testbed platforms have been created. They simplify the manageability of nodes by offering easy ways of programming and debugging sensor nodes. These platforms, sometimes composed of dozens of sensors, provide a convenient way for carrying out research on medium access control and data exchange between nodes. In this article, we propose the extension of the WSN testbed, which could be used for evaluating and testing the functionality of sensor networks applications by emulating a real-world environment.
Źródło:
Computer Science; 2012, 13 (3); 101-111
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Decision support system for search & rescue operations
Autorzy:
Wysokiński, M.
Marcjan, R.
Powiązania:
https://bibliotekanauki.pl/articles/305652.pdf
Data publikacji:
2015
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
Decission Support System
SAR
GIS
Opis:
SAR (Search and Rescue) operation is a complex process, often carried out in the absence of resources and time. Every single minute matters, as it puts the lost person in more danger. Therefore, it is really crucial to plan and coordinate SAR operation effectively. Because the search area is often very extensive, any leads about where to look first are invaluable. This can be achieved by modelling lost person’s behaviour based on the data from past operations. Generated results present probabilities of finding a subject in different segments of the search area, which might benefit the planning and the execution phases of the operation. The authors evaluate one of the commonly used modelling methods and propose several ways to improve it, together with some preliminary evaluation results and an already implemented system, which incorporates the described methodology.
Źródło:
Computer Science; 2015, 16 (3); 281-293
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Grounds for the selection of software components for building FEM simulation systems for coupled problems
Analiza wybranych komponentów oprogramowania do budowy systemów symulacji MES problemów sprzężonych
Autorzy:
Putanowicz, R.
Powiązania:
https://bibliotekanauki.pl/articles/368986.pdf
Data publikacji:
2011
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
komponenty
analiza numeryczna
problemy sprzężone
MES (metoda elementów skończonych)
software
coupled fields
numerical analysis
finite element method
Opis:
This paper discusses rationales for selection of software components for building scientific simulation tools. Nowadays no single research team has the resources or knowledge to build non-trivial simulation software form scratch. Sharing experience about the motives behind the choice of software components and the consequences of particular decisions seems a valuable knowledge as it can help to avoid some potential traps. In the paper we discuss software selection decisions for our problem solving environment for numerical modelling of coupled problems. For selected tools we discuss pros and cons of their use and mention potential alternatives. The detailed discussion concerns implementation of a solver for thermoelasticity problems.
Artykuł prezentuje analizę wybranych komponentów oprogramowania pod kątem ich zastosowania do budowy systemów symulacji MES dla problemów sprzężonych. Budowa takich systemów bez wykorzystania pewnych gotowych komponentów jest praktycznie niemożliwa, jednak decyzja o ich użyciu uwarunkowana jest szeregiem czynników, a wybór konkretnego komponentu wpływa na przebieg tworzenia całego systemu symulacji. Istotne jest jak najwcześniejsze rozpoznanie możliwości oraz ograniczeń, często ukrytych, konkretnych komponentów, stąd cenna jest wymiana doświadczeń związanych z ich zastosowaniem. Artykuł omawia wybrane biblioteki i programy na przykładzie tworzenia programu od analizy zagadnień termosprężystości.
Źródło:
Mechanics and Control; 2011, 30, 4; 234-244
2083-6759
2300-7079
Pojawia się w:
Mechanics and Control
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A toolkit for storage QoS provisioning for data-intensive applications
Autorzy:
Słota, R.
Król, D.
Skałkowski, K.
Orzechowski, M.
Nikolow, D.
Kryza, B.
Wrzeszcz, M.
Kitowski, J.
Powiązania:
https://bibliotekanauki.pl/articles/305571.pdf
Data publikacji:
2012
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
data-intensive application
storage management
QoS
grid
Opis:
This paper describes a programming toolkit developed in the PL-Grid project, named QStorMan, which supports storage QoS provisioning for data-intensive applications in distributed environments. QStorMan exploits knowledgeoriented methods for matching storage resources to non-functional requirements, which are defined for a data-intensive application. In order to support various usage scenarios, QStorMan provides two interfaces, such as programming libraries or a web portal. The interfaces allow to define the requirements either directly in an application source code or by using an intuitive graphical interface. The first way provides finer granularity, e.g., each portion of data processed by an application can define a different set of requirements. The second method is aimed at legacy applications support, which source code can not be modified. The toolkit has been evaluated using synthetic benchmarks and the production infrastructure of PL-Grid, in particular its storage infrastructure, which utilizes the Lustre file system.
Źródło:
Computer Science; 2012, 13 (1); 63-73
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Convolution algebras for topological groupoids with locally compact fibres
Autorzy:
Buneci, M. R.
Powiązania:
https://bibliotekanauki.pl/articles/254971.pdf
Data publikacji:
2011
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
convolution algebra
groupoid
uniform continuity
Haar system
Opis:
The aim of this paper is to introduce various convolution algebras associated with a topological groupoid with locally compact fibres. Instead of working with continuous functions on G, we consider functions having a uniformly continuity property on fibres. We assume that the groupoid is endowed with a system of measures (supported on its fibres) subject to the "left invariance" condition in the groupoid sense.
Źródło:
Opuscula Mathematica; 2011, 31, 2; 159-172
1232-9274
2300-6919
Pojawia się w:
Opuscula Mathematica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Oscillation criteria for third order nonlinear delay differential equations with damping
Autorzy:
Grace, S. R.
Powiązania:
https://bibliotekanauki.pl/articles/1397865.pdf
Data publikacji:
2015
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
oscillation
third order
delay differential equation
Opis:
This note is concerned with the oscillation of third order nonlinear delay differential equations of the form (r_2(t) (r_q(t)y^\prime(t))^\prime)^\prime + p(t)y^\prime(t)+q(t)f(y(g(t))) = 0$. (*) In the papers [A.Tiryaki, M.F. Aktas, Oscillation criteria of a certain class of third order nonlinear delay differential equations with damping, J. Math. Anal. Appl. 325 (2007), 54-68] and [M.F. Aktas, A. Tiryaki, A. Zafer, Oscillation criteria for third order nonlinear-functional differential equations, Applied Math. Letters 23 (2010), 756-762], the authors established some sufficient conditions which insure that any solution of equation (*) oscillates or converges to zero, provided that the second order equation $(r_2(t)z^\prime(t))^\prime + (p(t)//r_1(t))z(t)=0$ (**) is nonoscillatory. Here, we shall improve and unify the results given in the above mentioned papers and present some new sufficient conditions which insure that any solution of equation (*) oscillates if equation (**) is nonoscillatory. We also establish results for the oscillation of equation (*) when equation (**) is oscillatory.
Źródło:
Opuscula Mathematica; 2015, 35, 4; 485-497
1232-9274
2300-6919
Pojawia się w:
Opuscula Mathematica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Selecting recipes of cement slurry for sealing casing columns in wellbores used for CCS
Autorzy:
Formela, M.
Stryczek, S.
Wiśniowski, R.
Pikłowska, A.
Powiązania:
https://bibliotekanauki.pl/articles/298986.pdf
Data publikacji:
2016
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
cement sheath
cement slurry
cement corrosion
carbon capture and storage (CCS)
carbon dioxide
fly ashes
Opis:
Cement sheath serves primarily as a zonal isolation for the life of the well while protecting and supporting the casing. Nowadays, more and more solutions in the term of different cement slurries compositions appear on the market. One of them is application of fluid ashes as an alternative substitution of cement itself. The purpose of it is to overcome a challenging environment where a high concentration of corrosive gases or fluids exist. An example of that aggressive substance is carbon dioxide. Moreover, this is how it might reduce the cost of the cementing process. Laboratory research was conducted at the Drilling, Oil and Gas Faculty and Materials Science and Ceramics Faculty at AGH University of Science and Technology in Krakow.
Źródło:
AGH Drilling, Oil, Gas; 2016, 33, 3; 609-618
2299-4157
2300-7052
Pojawia się w:
AGH Drilling, Oil, Gas
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Laboratory measurement of wettability for Ciężkowice sandstone
Autorzy:
Czarnota, R.
Janiga, D.
Stopa, J.
Wojnarowski, P.
Powiązania:
https://bibliotekanauki.pl/articles/298866.pdf
Data publikacji:
2016
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
Ciężkowice sandstone
rock wettability
oil fields
Opis:
The type of reservoir rock wettability is one of the most important factors affecting flow of formation fluids in rock pores. It impacts on the characteristics of capillary pressure curves and residual oil saturation, what result in final recovery factor. There are generally, four differ states of wettability for hydrocarbon fields. These are: water wet, oil wet, mixed and fractional. For determination of wettability both quantitative and qualitative methods are implemented. In presented work, the results of wettability laboratory measurement for Ciężkowice sandstone by Amott–Harvey has been shown. Obtained outcomes underline the influence of wettability phenomena on the recovery factor for Carpathian hydrocarbon fields, where Ciężkowice sandstone is the oil bearing formation. The proper understanding of the wettability of reservoir is essential for determining the most efficient way of oil production.
Źródło:
AGH Drilling, Oil, Gas; 2016, 33, 1; 167-172
2299-4157
2300-7052
Pojawia się w:
AGH Drilling, Oil, Gas
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Parallelized algorithms for finding similar images and object recognition
Autorzy:
Frączek, R.
Cyganek, B.
Wiatr, K.
Powiązania:
https://bibliotekanauki.pl/articles/305784.pdf
Data publikacji:
2013
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
color descriptors
code optimization
parallelization
OpenMP
Opis:
The paper addresses the issue of searching for similar images and objects in arepository of information. The contained images are annotated with the help of the sparse descriptors. In the presented research, different color and edge histogram descriptors were used. To measure similarities among images,various color descriptors are compared. For this purpose different distance measures were employed. In order to decrease execution time, several code optimization and parallelization methods are proposed. Results of these experiments, as well as discussion of the advantages and limitations of different combinations of metods are presented.
Źródło:
Computer Science; 2013, 14 (1); 113-127
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
An optimization model for managing compressors in salt cavern gas storage
Autorzy:
Stopa, J.
Mrzygłód, R.
Powiązania:
https://bibliotekanauki.pl/articles/298862.pdf
Data publikacji:
2013
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
salt cavern
gas storage
compressors
optimization
Opis:
The article presents issues related to technical and economic optimization of filling underground gas storage in salt cavern (CUGS) on the example of Mogilno. Operation practice suggests that the first step is to inject the caverns with a high convergence, then with smaller and at the end caverns with the smallest convergence. In the withdraw process, the situation is reversed. On the other hand, the gas injection into the deepest caverns requires more compressor power. Optimization that takes into account only the speed of storage caverns convergence is not ideal. While injecting gas into storage caverns, compressors typically use about 1–3% of the transported gas, depending on the management of compressors operation. Taking into account the amount of gas supplied to the CUGS Mogilno, the cost of fuel gas that is used can be significant. In the liberalized gas market an underground gas storage operator will have to account carefully and buy fuel gas at market prices. These facts raise an important question: how to manage the operation, in a free gas market in the most efficient way which affects the profitability service storage provision in underground gas storage in salt caverns. This paper presents the optimization model, developed by the authors, that minimizes the consumption of fuel gas, while preventing overdependence loss of underground salt caverns volume, during the gas injecting process into storage caverns.
Źródło:
AGH Drilling, Oil, Gas; 2013, 30, 3; 385-403
2299-4157
2300-7052
Pojawia się w:
AGH Drilling, Oil, Gas
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 135

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies