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ę "solvers" wg kryterium: Wszystkie pola

  Lista filtrów

Dostawca treści

Podbaza

Wyrównaj
Wyświetlanie 1-10 z 23
Tytuł:
Finite-volume solvers for a multilayer Saint-Venant system
Autorzy:
Audusse, E.
Bristeau, M. O.
Powiązania:
https://bibliotekanauki.pl/articles/929697.pdf
Data publikacji:
2007
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
równanie Saint-Venanta
równanie płytkiej wody
wolumen skończony
problem Riemanna
model wielowarstwowy
Saint-Venant system
shallow water equations
finite volumes
kinetic solver
approximate Riemann solvers
multilayer model
Opis:
We consider the numerical investigation of two hyperbolic shallow water models. We focus on the treatment of the hyperbolic part. We first recall some efficient finite volume solvers for the classical Saint-Venant system. Then we study their extensions to a new multilayer Saint-Venant system. Finally, we use a kinetic solver to perform some numerical tests which prove that the 2D multilayer Saint-Venant system is a relevant alternative to 3D hydrostatic Navier-Stokes equations.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2007, 17, 3; 311-320
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Numerical efficiency of iterative solvers for the poisson equation using equation using computer cluster
Efektywność numeryczna iteracyjnych technik rozwiązania równania Poissona na klastrze komputerowym
Autorzy:
Gościk, J.
Powiązania:
https://bibliotekanauki.pl/articles/341125.pdf
Data publikacji:
2008
Wydawca:
Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
Tematy:
metody iteracyjne
metoda różnic skończonych
równanie Poissona
iterative solvers
finite difference method
Poisson equation
Opis:
We present a set of numerical results which were obtained by systematic investigation of eciency of compilers implemented on Mordor cluster (http://mordor.wi.pb.edu.pl) running Linux distribution CentOS 4, kernel ver. 2.6. As a generic problem the finite dierence based framework for solution of the Poisson equation has been taken (with discretization on grid topologically equivalent to a Cartesian grid). The PDE converted to an algebraic system of equations is solved by adopting so-called nonstationary, Krylov type, iterative methods: conjugate gradient (CG), bi-conjugate gradient (Bi-CG), conjugate gradient squared (CGS) and bi-conjugate gradient stabilized (Bi-CGSTAB). The code was implemented using two dierent compilers, such as gcc (GNU Compiler Collection - ver. 3.4.6) and icc (Intel C++ Compiler - ver. 9.1). All performances reported were done with the Xeon 3.2 GHz processor that has own memory 2 GB.
Przedstawiono wstępne wyniki badania efektywności sekwencyjnego przetwarzania danych w algorytmach rozwiązywania dużych układów równań liniowych na klastrze obliczeniowym Mordor (http://mordor.wi.pb.edu.pl) zarządzanym przez system operacyjny Linux (dystrybucja CentOS 4, wersja jądra 2.6). Szczególną uwagę zwrócono na wpływ doboru opcji optymalizacyjnych w dost˛epnych kompilatorach na wydajność obliczeniową kodu komputerowego. Jako bazowe do rozważań przyjęto duże układy równań liniowych z macierzą współczynników o strukturze rzadkiej. Takie układy równań generowane są w procedurze numerycznego rozwiązania równania Poissona, którego aproksymację otrzymuje się na gruncie metody różnic skończonych (dyskretyzacja na uporządkowanej siatce różnicowej w kartezjańskim układzie współżędnych prostokątnych). Cząstkowe równanie różniczkowe przekształcone do postaci układu równań liniowych rozwiązano z wykorzystaniem czterech metod iteracyjnych typu Kryłowa: gradientów sprzężonych (CG), gradientów bisprzężonych (Bi-CG), kwadratowego gradientu sprzężonego (CGS) oraz stabilizowaną metodą wzajemnie sprzężonych gradientów (Bi-CGSTAB). Metody te wdrożono generując własne oprogramowanie oraz zaimplementowano z wykorzystaniem dwóch różnych kompilatorów gcc (GNU Compiler Collection - wesja 3.4.6) oraz icc (Intel C++ Compiler - wersja 9.1). Wyniki wszystkich testów efektywności obliczeniowej uzyskano rozwiązując sformułowane zagadnienie testowe przy użyciu jednego procesora Xeon 3.2 Ghz wchodzącego w skład jednego węzła obliczeniowego z pamięcią własną 2GB.
Źródło:
Zeszyty Naukowe Politechniki Białostockiej. Informatyka; 2008, 3; 39-52
1644-0331
Pojawia się w:
Zeszyty Naukowe Politechniki Białostockiej. Informatyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Convergence of iterative solvers for non-linear step-and-flash imprint lithography simulations
Zbieżność solwerów iteracyjnych dla nieliniowych symulacji procesu nanolitografii przez naświetlanie i wyciskanie
Autorzy:
Paszyński, M.
Powiązania:
https://bibliotekanauki.pl/articles/305487.pdf
Data publikacji:
2011
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
solwery iteracyjne
problemy nieliniowe
symulacje nanolitografii
non-linear problems
iterative solvers
Step-and-Flash Imprint Lithography
Opis:
The paper presents the analysis of the iterative solvers utilized to solve the non-linear problem of Step-and-Flash Imprint Lithography (SFIL) a modern patterning process. The simulations consists in solving molecular statics problem for the polymer network, with quadratic potentials. The model distinguishes the strong interparticle interactions between particles forming a polymer network, and weak interactions between remaining particles. It also allows for large deformations, which all together implies the non-linear model. To illustrate the convergence of the iterative solvers, we present snapshots of the deformation of the sample being subject to the iterative solution. We claim that the animation is an interesting way of illustrating the convergence of the iterative solvers.
Artykuł analizuje zbieżność solwerów iteracyjnych dla nieliniowych symulacji procesu nanolitografii przez naświetlanie i wyciskanie. Symulacje polegają na rozwiązaniu zadania statyki cząsteczkowej dla sieci polimerów, w którym przyjęto kwadratowe potencjały międzycząsteczkowe, rozróżniono silniejsze oddziaływania pomiędzy cząstkami tworzącymi łańcuchy polimerów oraz słabsze oddziaływania pomiędzy pozostałymi cząstkami, a także dopuszczono występowanie dużych odkształceń, co implikuje model nieliniowy. W celu ilustracji zbieżności solwerów przedstawiono wizualizacje odksztalceń sieci polimerów w kolejnych iteracjach. Taka animacja jest interesującą metodą ilustracji zbieżności solwerów iteracyjnych.
Źródło:
Computer Science; 2011, 12; 63-83
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Comparison of solvers performance for load flow analysis
Autorzy:
Suresh, Vishnu Sidaarth
Powiązania:
https://bibliotekanauki.pl/articles/1396955.pdf
Data publikacji:
2019
Wydawca:
EEEIC International Barbara Leonowicz Szabłowska
Tematy:
load flow
IEEE 30 bus
IEEE 57 bus
numerical methods
Opis:
Load flow studies are carried out in order to find a steady state solution of a power system network. It is done to continuously monitor the system and decide upon future expansion of the system. The parameters of the system monitored are voltage magnitude, voltage angle, active and reactive power. This paper presents techniques used in order to obtain such parameters for a standard IEEE – 30 bus and IEEE-57 bus network and makes a comparison into the differences with regard to computational time and effectiveness of each solver.
Źródło:
Transactions on Environment and Electrical Engineering; 2019, 3, 1; 26-32
2450-5730
Pojawia się w:
Transactions on Environment and Electrical Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A comparison of SMT-solvers for timed weighted interpreted systems
Autorzy:
Zbrzezny, A. M.
Powiązania:
https://bibliotekanauki.pl/articles/122082.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Tematy:
SMT
model (BMC)
system wieloagentowy (MAS)
multi-agent (MAS)
Opis:
We compare four SMT-solvers for the same SMT-based bounded model checking algorithm for multi-agent systems modelled by timed weighted interpreted systems and for properties expressed in the existential fragment of epistemic weighted linear-time temporal logic (WELTLK). To this end, we use the timed weighted generic pipeline paradigm (TWGPP) and the timed weighted train controller system (TWTCS). We consider several properties of the problems that can be expressed in WELTLK, and we present the performance evaluation of the mentioned bounded model checking method using four different SMT-solvers: Z3, Yices, CVC4 and Mathsat, by means of the running time and the memory used.
Źródło:
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2016, 21; 189-206
2450-9302
Pojawia się w:
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modeling and simulation aspects of AC machines
Autorzy:
Popp, M.
Laza, P.
Mathis, W.
Powiązania:
https://bibliotekanauki.pl/articles/141659.pdf
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
State Space Modeling
AC Machines
ODE and DAE Solvers
MATLAB
Opis:
In the field of power and drive systems, electrical AC machines are mostly modeled using a set of explicit ordinary differential equations in a state space representation. It is shown, that by using other equation types for simulation, algebraic constraints arising from aggregating several machines to a more complex system can directly be considered. The effects of different model variants on numerical ODE/DAE solvers are investigated in the focus of this work in order perform efficient simulations of larger systems possessing electrical AC machines.
Źródło:
Archives of Electrical Engineering; 2016, 65, 2; 315-326
1427-4221
2300-2506
Pojawia się w:
Archives of Electrical Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Linear computational cost implicit solver for parabolic problems
Autorzy:
Gurgul, Grzegorz
Łoś, Marcin
Paszynski, Maciej
Calo, Victor
Powiązania:
https://bibliotekanauki.pl/articles/1839258.pdf
Data publikacji:
2020
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
isogeometric analysis
implicit dynamics
linear computational cost
direct solvers
Opis:
In this paper, we use the alternating direction method for isogeometric finite elements to simulate transient problems. Namely, we focus on a parabolic problem and use B-spline basis functions in space and an implicit time-marching method to fully discretize the problem. We introduce intermediate time-steps and separate our differential operator into a summation of the blocks that act along a particular coordinate axis in the intermediate time-steps. We show that the resulting stiffness matrix can be represented as a multiplication of two (in 2D) or three (in 3D) multi-diagonal matrices, each one with B-spline basis functions along the particular axis of the spatial system of coordinates. As a result of these algebraic transformations, we get a system of linear equations that can be factorized in a linear O(N) computational cost at every time-step of the implicit method. We use our method to simulate the heat transfer problem. We demonstrate theoretically and verify numerically that our implicit method is unconditionally stable for heat transfer problems (i.e., parabolic). We conclude our presentation with a discussion on the limitations of the method.
Źródło:
Computer Science; 2020, 21 (3); 335-352
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On the computational cost and complexity of stochastic inverse solvers
Autorzy:
Faliszewski, P.
Smołka, M.
Schaefer, R.
Paszyński, M.
Powiązania:
https://bibliotekanauki.pl/articles/305383.pdf
Data publikacji:
2016
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
hierarchic genetic strategy
inverse problem
hybrid method
Opis:
The goal of this paper is to provide a starting point for investigations into a mainly underdeveloped area of research regarding the computational cost analysis of complex stochastic strategies for solving parametric inverse problems. This area has two main components: solving global optimization problems and solving forward problems (to evaluate the misfit function that we try to minimize). For the first component, we pay particular attention to genetic algorithms with heuristics and to multi-deme algorithms that can be modeled as ergodic Markov chains. We recall a simple method for evaluating the first hitting time for the single-deme algorithm and we extend it to the case of HGS, a multi-deme hierarchic strategy. We focus on the case in which at least the demes in the leaves are well tuned. Finally, we also express the problems of finding local and global optima in terms of a classic complexity theory. We formulate the natural result that finding a local optimum of a function is an NP-complete task, and we argue that finding a global optimum is a much harder, DP-complete, task. Furthermore, we argue that finding all global optima is, possibly, even harder (#P-hard) task. Regarding the second component of solving parametric inverse problems (i.e., regarding the forward problem solvers), we discuss the computational cost of hp-adaptive Finite Element solvers and their rates of convergence with respect to the increasing number of degrees of freedom. The presented results provide a useful taxonomy of problems and methods of studying the computational cost and complexity of various strategies for solving inverse parametric problems. Yet, we stress that our goal was not to deliver detailed evaluations for particular algorithms applied to particular inverse problems, but rather to try to identify possible ways of obtaining such results.
Źródło:
Computer Science; 2016, 17 (2); 225-264
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Using SAT Solvers to Finding Short Cycles in Cryptographic Algorithms
Autorzy:
Dudzic, Władysław
Kanciak, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/226471.pdf
Data publikacji:
2020
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
NLFSR
short cycles
stream ciphers
Trivium
Bivium
Grain-80
Grain-128
Opis:
A desirable property of iterated cryptographic algorithms, such as stream ciphers or pseudo-random generators, is the lack of short cycles. Many of the previously mentioned algorithms are based on the use of linear feedback shift registers (LFSR) and nonlinear feedback shift registers (NLFSR) and their combination. It is currently known how to construct LFSR to generate a bit sequence with a maximum period, but there is no such knowledge in the case of NLFSR. The latter would be useful in cryptography application (to have a few taps and relatively low algebraic degree). In this article, we propose a simple method based on the generation of algebraic equations to describe iterated cryptographic algorithms and find their solutions using an SAT solver to exclude short cycles in algorithms such as stream ciphers or nonlinear feedback shift register (NLFSR). Thanks to the use of AIG graphs, it is also possible to fully automate our algorithm, and the results of its operation are comparable to the results obtained by manual generation of equations. We present also the results of experiments in which we successfully found short cycles in the NLFSRs used in Grain-80, Grain-128 and Grain-128a stream ciphers and also in stream ciphers Bivium and Trivium (without constants used in the initialization step).
Źródło:
International Journal of Electronics and Telecommunications; 2020, 66, 3; 443-448
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Preconditioned Conjugate Gradient Method for Solution of Large Finite Element Problems on CPU and GPU
Autorzy:
Fialko, S. Y.
Zeglen, F.
Powiązania:
https://bibliotekanauki.pl/articles/307602.pdf
Data publikacji:
2016
Wydawca:
Instytut Łączności - Państwowy Instytut Badawczy
Tematy:
conjugate gradient
incomplete Cholesky factorization
iterative solvers
NVIDIA CUDA
preconditioned conjugate gradient
Opis:
In this article the preconditioned conjugate gradient (PCG) method, realized on GPU and intended to solution of large finite element problems of structural mechanics, is considered. The mathematical formulation of problem results in solution of linear equation sets with sparse symmetrical positive definite matrices. The authors use incomplete Cholesky factorization by value approach, based on technique of sparse matrices, for creation of efficient preconditioning, which ensures a stable convergence for weakly conditioned problems mentioned above. The research focuses on realization of PCG solver on GPU with using of CUBLAS and CUSPARSE libraries. Taking into account a restricted amount of GPU core memory, the efficiency and reliability of GPU PCG solver are checked and these factors are compared with data obtained with using of CPU version of this solver, working on large amount of RAM. The real-life large problems, taken from SCAD Soft collection, are considered for such a comparison.
Źródło:
Journal of Telecommunications and Information Technology; 2016, 2; 26-33
1509-4553
1899-8852
Pojawia się w:
Journal of Telecommunications and Information Technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-10 z 23

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