Informacja

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

Wyszukujesz frazę "computations" wg kryterium: Temat


Tytuł:
Comcutejs:a Web browser based platform for large-scale computations
Autorzy:
Dębski, R.
Krupa, T.
Majewski, P
Powiązania:
https://bibliotekanauki.pl/articles/305741.pdf
Data publikacji:
2013
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
volunteer computing
parallel computations
large-scale computations
augmented cloud computing
Opis:
The paper presents a new, cost effective,volunteer computing based platform. It utilizes volunteers’web browsers as computational nodes. The computational tasks are delegated to the browsers and executed in the background (independently of any user interface scripts) making use of the HTML5 web workers technology. The capabilities of the platform hale been proved by experiments performer in a wide range of numbers of computational nodes (1–400).
Źródło:
Computer Science; 2013, 14 (1); 143-152
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Purpose of cephalometric computations in craniofacial surgery
Autorzy:
Tomaka, A.
Luchowski, L.
Powiązania:
https://bibliotekanauki.pl/articles/200691.pdf
Data publikacji:
2010
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
cephalometric computations
craniofacial surgery
Opis:
The main goal of this article is to present ways of creating a parametric, dynamic model of the physical frame of the human head in order to cope with the badly disfigured patient’s appearance, affecting various functions (e.g. breathing, speaking, chewing and swallowing).
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2010, 58, 3; 403-407
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
O różnych sposobach rozumienia analogowości w informatyce
Autorzy:
Stacewicz, Paweł
Powiązania:
https://bibliotekanauki.pl/articles/429157.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Papieski Jana Pawła II w Krakowie
Tematy:
continuous computations
analog computations
analogicity
GPAC model
Turing machine
natural computing
hypercomputations
computability
Opis:
Two different types of analog computations are discussed in the paper: 1)analog-continuous computations (performed physically upon continuous signals),2) analog-analogical computations (performed naturally by means of socalled natural analogons of mathematical operations). They are analyzed withregard to such questions like: a) are continuous computations physically implementable?b) what is the actual computational power of different analogtechniques? c) can natural (empirical) computations be such reliable as digital?d) is it possible to develop universal analog computers (assuming that theyshould be functionally similar to universal Turing machine)? Presented analysesare rather methodological than formal.
Źródło:
Semina Scientiarum; 2017, 16
1644-3365
Pojawia się w:
Semina Scientiarum
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Steam turbines start-ups
Autorzy:
Banaszkiewicz, M.
Powiązania:
https://bibliotekanauki.pl/articles/175428.pdf
Data publikacji:
2014
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
turbine
numerical computations
liquid flow parameters
Opis:
The article presents a procedure and the chosen results of numerical computations of liquid flow parameters, which use the data from their measurements realized on the test stand, for the model of formed suction intake with a rib, supplied by the screened open wet well. Comparative analysis of numerical computations and these determined by measurements, did concern the standard flow acceptance criteria.
Źródło:
Transactions of the Institute of Fluid-Flow Machinery; 2014, 126; 169-198
0079-3205
Pojawia się w:
Transactions of the Institute of Fluid-Flow Machinery
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Liquid flow parameters at the outlet of the formed suction intake with a rib
Autorzy:
Błaszczyk, A.
Powiązania:
https://bibliotekanauki.pl/articles/175592.pdf
Data publikacji:
2014
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
numerical computations
liquid flow
liquid parameters
Opis:
The article presents a procedure and the chosen results of numerical computations of liquid flow parameters, which use the data from their measurements realized on the test stand, for the model of formed suction intake with a rib, supplied by the screened open wet well. Comparative analysis of numerical computations and these determined by measurements, did concern the standard flow acceptance criteria.
Źródło:
Transactions of the Institute of Fluid-Flow Machinery; 2014, 126; 83-110
0079-3205
Pojawia się w:
Transactions of the Institute of Fluid-Flow Machinery
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The impact of the modelling method of the front loader on the accuracy of the FEM calculations results
Wpływ sposobu modelowania konstrukcji nośnej ładowacza czołowego na dokładność wyników obliczeń MES
Autorzy:
Rutkowski, J.
Powiązania:
https://bibliotekanauki.pl/articles/337299.pdf
Data publikacji:
2018
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Maszyn Rolniczych
Tematy:
FEM computations
finite elements method
strength computations
agricultural machines
obliczenia
MES
metoda elementów skończonych
wytrzymałość
maszyny rolnicze
Opis:
The article discusses selected issues of front loader modelling for the needs of FEM calculations. Particular attention was paid to the necessity of correct modelling clevis pin connections and hydraulic cylinders. In the case of hydraulic actuators, the effects of a different approach in modelling the actuators on the quality of the structure under operating load were demonstrated. Differences in the modelling cylinders equipped with a hydraulic lock and cylinders connected in parallel without locks were taken into account. The results of calculations obtained on the examples are discussed and the methodology of self-control of the results of FEM computations is presented. Some examples of various machines and possible errors during strength analyzes were also presented.
W artykule omówiono wybrane zagadnienia modelowania ładowacza czołowego dla potrzeb realizacji obliczeń MES. Zwrócono szczególną uwagę na konieczność prawidłowego modelowania połączeń sworzniowych oraz siłowników hydraulicznych. W przypadku siłowników hydraulicznych wykazano skutki różnego podejścia w modelowaniu siłowników na jakość pracy konstrukcji pod obciążeniem eksploatacyjnym. Uwzględniono różnice w modelowaniu siłowników, wyposażonych w zamek hydrauliczny i siłowników połączonych równolegle bez zamków. Omówiono wyniki uzyskanych obliczeń na przykładach oraz przedstawiono metodykę samokontroli wyników obliczeń MES. Przedstawiono także kilka przykładów różnych maszyn i możliwych do popełnienia błędów podczas analiz wytrzymałościowych.
Źródło:
Journal of Research and Applications in Agricultural Engineering; 2018, 63, 4; 184-192
1642-686X
2719-423X
Pojawia się w:
Journal of Research and Applications in Agricultural Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Vortex particle method and parallel computing
Metoda cząstek wirowych w obliczeniach równoległych
Autorzy:
Kosior, A.
Kudela, H.
Powiązania:
https://bibliotekanauki.pl/articles/282033.pdf
Data publikacji:
2012
Wydawca:
Polskie Towarzystwo Mechaniki Teoretycznej i Stosowanej
Tematy:
vortex particle method
vortex ring
parallel computations
Opis:
In this paper, it was presented numerical results related to three dimensional simulation of motion of a vortex ring. For the simulation it was chosen the Vortex In Cell method. The method was shortly described in the paper. The numerical results were obtained on the single processor (x86) architecture. The disadvantage of the single processor computation is a very long time of computation. To menage this problem, we switched to the parallel architecture. In our first approach to the multicore architecture we tested the possibility and algorithms for the solution of the algebraic system of equations that resulted form discretization of the Poisson equation. We presented the results obtained with CUDA architecture. In order to better understand how does the parallel algorithms work on CUDA architecture, it was shortly presented a scheme of the device and how programs are executed on it. We showed also our results which are related to the parallelization of some simple iterative methods like the Jacobi method and Red-Black Gauss-Seidel method for solution of the algebraic system. The results were ncouraging. For the Red Black Gauss-Seidel using GTX480 card, the calculations were 90-times shorter than on a single processor. As we know the solution to the Poisson equation is equivalent to the solution to the algebraic systems.
W pracy przedstawiono wyniki numeryczne ruchu trójwymiarowego pierścienia wirowego. W obliczeniach zastosowano metodę cząstek wirowych, która została pokrótce opisana. Obliczenia przeprowadzono na pojedynczym procesorze (x86). Wadą takiej realizacji jest długi czas obliczeń. Dla przyspieszenia obliczeń zaproponowano algorytm obliczeń równoległych w środowisku wieloprocesorowym karty graficznej z technologią CUDA. Architekturę karty krótko opisano. Znajomość architektury ma istotne znaczenie dla efektywności kodu. Napisany program przetestowano, rozwiązując układ równań algebraicznych otrzymany po dyskretyzacji równania Poissona. Przedstawiono wyniki obliczeń dla zrównoleglonych, prostych metod iteracyjnych rozwiązywania układów równań takich jak metoda Jacobiego czy „Red-Black Gauss-Seidel”. Dla metody „Red-Black Gauss-Seidel” oraz karty GTX480 otrzymano 90-krotne przyspieszenie czasu obliczeń względem pojedynczego procesora.
Źródło:
Journal of Theoretical and Applied Mechanics; 2012, 50, 1; 285-300
1429-2955
Pojawia się w:
Journal of Theoretical and Applied Mechanics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Influence of break shoes wearing in drum break - numerical approach
Autorzy:
Damaziak, K.
Jachimowicz, J.
Małachowski, J.
Powiązania:
https://bibliotekanauki.pl/articles/246894.pdf
Data publikacji:
2010
Wydawca:
Instytut Techniczny Wojsk Lotniczych
Tematy:
road transport
simulation
brakes
thermal dynamic computations
Opis:
Braking system is one of the key components influencing passenger safety. Today, a design process of brakes is usually experience - driven, based on brake manufactures know - how. Using this approach, it is fairly difficult predict the brake components exact working condition or durability - parameters still more often required in a modern design process, what results in a rising demand for an exact simulation of a braking process. This paper presents numerical analyses of a drum brake. Both static and dynamic FE analyses were conducted in order to verify behaviour of numerical procedures affecting the braking process. The phenomena of heat generation by friction forces and the influence of a wear pattern was emphasized during dynamic calculations, while static analyses were focused on sensitivity to thermal properties of materials. FE models, including loads and boundary conditions, are described in details. Some of the data used during the simulation were taken from experiments. These laboratory tests are also briefly described in the paper. Based on the obtained results, it is shown that a numerical procedure converting sliding energy coming from friction to heat used in a coupled mechanical - thermal dynamic calculation works properly, but is very sensitive to material thermal properties. Proper FE modelling of the contact area and contact forces is also crucial. Unfortunately, due to lack of real material data, the presented results have quantitive character only.
Źródło:
Journal of KONES; 2010, 17, 2; 81-87
1231-4005
2354-0133
Pojawia się w:
Journal of KONES
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Investigating the applicability of unmanned aerial vehicles (uav) photogrammetry for the estimation of the volume of stockpiles
Autorzy:
Ajayi, Oluibukun Gbenga
Ajulo, John
Powiązania:
https://bibliotekanauki.pl/articles/1050771.pdf
Data publikacji:
2021-03-31
Wydawca:
Uniwersytet im. Adama Mickiewicza w Poznaniu
Tematy:
stockpiles
earthworks
volumetric computations
ground survey
UAV photogrammetry
Opis:
Accurately estimating the volume of earthworks is very important in mining engineering and construction. This estimation can be difficult because of the morphological condition of the stockpiles, hence, devising simpler, yet accurate methods of stockpile volume estimation is still a research problem in mining. Two non-invasive survey methods were compared in this research: the conventional ground-based and UAV-approach, for the survey of a twin-stockpile of gravel using Leica TS06 Total Station and DJI Mavic Air UAV, respectively. About 128 images of the area were acquired at 50 m flying height and 75% overlap during the flight mission. The images were processed using Agisoft Metashape Pro; a digital photogrammetric software, and the DEM obtained was used for the volume estimation. The total station data was also processed in ArcGIS to generate a TIN-model from which the volume was also estimated. The volume estimated from the TIN-model was compared with the volume estimated from the UAV-based DEM, using the volume obtained from the mill-machine as the standard. The obtained result shows that while 2750 m³ was obtained as the cumulative volume from the mill machine, the UAV approach yielded 2686.252 m³ and the ground survey approach gave 2830.713 m³. The percentage difference between the two methods compared to the actual volume is 2.94% and −2.31%, respectively. These results, and the result of the processing time analysis show that UAV approach is both accurate and time economical, which attests to the potentials of low-cost UAVs to provide robust alternative to the time-consuming and rigorous ground survey approach.
Źródło:
Quaestiones Geographicae; 2021, 40, 1; 25-38
0137-477X
2081-6383
Pojawia się w:
Quaestiones Geographicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
ASimJava: a Java-based library for distributed simulation
Autorzy:
Niewiadomska-Szynkiewicz, E.
Sikora, A.
Powiązania:
https://bibliotekanauki.pl/articles/308988.pdf
Data publikacji:
2004
Wydawca:
Instytut Łączności - Państwowy Instytut Badawczy
Tematy:
parallel computations
parallel asynchronous simulation
computer networks simulation
Opis:
The paper describes the design, performance and applications of ASimJava, a Java-based library for distributed simulation of large networks. The important issues associated with the implementation of parallel and distributed simulation are discussed. The focus is on the effectiveness of different synchronization protocols implemented in ASimJava. The practical example -computer network simulation - is provided to illustrate the operation of the presented software tool.
Źródło:
Journal of Telecommunications and Information Technology; 2004, 3; 12-17
1509-4553
1899-8852
Pojawia się w:
Journal of Telecommunications and Information Technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The J-matrix method: numerical computations
Autorzy:
Syty, P.
Powiązania:
https://bibliotekanauki.pl/articles/1954523.pdf
Data publikacji:
1999
Wydawca:
Politechnika Gdańska
Tematy:
atomic physics
scattering theory
J-matrix method
numerical computations
Opis:
Numerical calculations of scattering phase shifts have been done using J-matrix method (both non-relativistic and relativistic versions). Results of computations for some simple potentials are described and discussed in this paper. In particularly, it has been shown, that successive numerical approximations converge to results obtained using an analytical formula.
Źródło:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk; 1999, 3, 3; 269-276
1428-6394
Pojawia się w:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Parallel computations of the step response of a floor heater with the use of a graphics processing unit. Part 2: results and their evaluation
Autorzy:
Gołębiowski, J.
Forenc, J.
Powiązania:
https://bibliotekanauki.pl/articles/201532.pdf
Data publikacji:
2013
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
air floor heating
step response computation
parallel computations
GPGPU
Opis:
Using models and algorithms presented in the first part of the article, a spatio-temporal distribution of the step response of a floor heater was determined. The results have been presented in the form of heating curves and temperature profiles of the heater in the selected time moments. The computations results were verified through comparing them with the solution obtained with the use of a commercial program - NISA. Additionally, the distribution of the average time constant of thermal processes occurring in the heater was determined. The analysis of the use of a graphics processing unit in numerical computations based on the conjugate gradient method was done. It was proved that the use of a graphics processing unit is profitable in the case of solving linear systems of equations with dense coefficient matrices. In the case of a sparse matrix, the speed-up depends on the number of its non-zero elements.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2013, 61, 4; 949-954
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Numerical investigation of airfoil in ground proximity
Numeryczne badanie efektu przypowierzchniowego profilu aerodynamicznego
Autorzy:
Abramowski, T.
Powiązania:
https://bibliotekanauki.pl/articles/281576.pdf
Data publikacji:
2007
Wydawca:
Polskie Towarzystwo Mechaniki Teoretycznej i Stosowanej
Tematy:
wing-in-ground effect
ekranoplan
numerical computations
fast transport
Opis:
The paper presents numerical investigation of the ground effect which affects an air flow when a craft's wing approaches the ground or sea surface. The effect has crucial significance for the wing-in-ground craft operation and decides about the purpose of building one at alI. The two-dimensional viscous flow problem is solved and the results of calculations are presented. Furthermore, some most important issues related to the basics of an ekranoplan application are very briefly discussed. On the basis of numerical calculations, an empirical formula has been proposed for quantitative assessment of the chord dominated ground effect.
Artykuł prezentuje wyniki badań numerycznych jednego z dwóch zjawisk zmieniających opływ skrzydła zbliżającego się do powierzchni gruntu lub morza. Efekt ten ma podstawowe znaczenie dla eksploatacji obiektu typu WIG, a przede wszystkim stanowi o sensie budowania takiej jednostki w ogóle. Uzyskano rozwiązanie dla przepływu dwuwymiarowego i zaprezentowano wyniki. Bardzo ogólnie zaprezentowano również podstawowe problemy związane z zastosowaniem ekranoplanu jako środka transportu. W oparciu o wyniki badań numerycznych zaproponowano wzór empiryczny do oceny ilościowej efektu przypowierzchniowego związanego ze zbliżaniem się profilu aerodynamicznego do powierzchni gruntu lub morza. Zależność tą można wykorzystać w praktyce, jeżeli tylko efekt związany z wirem wierzchołkowym skrzydła będzie miał pomijalny wpływ na cały efekt przypowierzchniowy.
Źródło:
Journal of Theoretical and Applied Mechanics; 2007, 45, 2; 425-436
1429-2955
Pojawia się w:
Journal of Theoretical and Applied Mechanics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Selected problems concerning strength of a floating dock with roof
Autorzy:
Bogdaniuk, M.
Górecki, Z.
Puch, W.
Powiązania:
https://bibliotekanauki.pl/articles/260313.pdf
Data publikacji:
2005
Wydawca:
Politechnika Gdańska. Wydział Inżynierii Mechanicznej i Okrętownictwa
Tematy:
floatin dock structure and strength
FEM computations
linear programming
Opis:
The paper presents models and results of the structural strength analysis of a roofed floating dock. Computed thickness of the roof structure walls capable of withstanding the environmental loads is 24 mm. Heavy sliding roof segments generate the dock pontoon floor plate stresses reaching 25% of the permissible stress value. The dock pontoon structure effort under the roof and docked ship weight load was minimized by seeking an optimum balancing ballast distribution. The problem was solved in two ways: analytically, by means of a simplified model of a continuous beam on elastic foundation and numerically, using the linear programming method to construct an accurate discrete FEM model.
Źródło:
Polish Maritime Research; 2005, S 1; 51-55
1233-2585
Pojawia się w:
Polish Maritime Research
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
AH Method: a Novel Routine for Vicinity Examination of the Optimum Found with a Genetic Algorithm
Autorzy:
Piętak, Daniel Andrzej
Bilski, Piotr
Napiorkowski, Paweł Jan
Powiązania:
https://bibliotekanauki.pl/articles/2200688.pdf
Data publikacji:
2022
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
heuristics
evolutionary computations
genetic algorithms
uncertainty estimation
parameter study
Opis:
The paper presents a novel heuristic procedure (further called the AH Method) to investigate function shape in the direct vicinity of the found optimum solution. The survey is conducted using only the space sampling collected during the optimization process with an evolutionary algorithm. For this purpose the finite model of point-set is considered. The statistical analysis of the sampling quality based upon the coverage of the points in question over the entire attraction region is exploited. The tolerance boundaries of the parameters are determined for the user-specified increase of the objective function value above the found minimum. The presented test-case data prove that the proposed approach is comparable to other optimum neighborhood examination algorithms. Also, the AH Method requires noticeably shorter computational time than its counterparts. This is achieved by a repeated, second use of points from optimization without additional objective function calls, as well as significant repository size reduction during preprocessing.
Źródło:
International Journal of Electronics and Telecommunications; 2022, 68, 4; 695--708
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Stimulus with limited band optimization for analogue circuit testing
Autorzy:
Golonek, T.
Jantos, P.
Rutkowski, J.
Powiązania:
https://bibliotekanauki.pl/articles/221641.pdf
Data publikacji:
2012
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
analogue circuit testing
faults isolation
evolutionary computations
amplitude spectrum
Opis:
The paper presents an analogue circuit testing method that engages the analysis of the time response to a nonperiodic stimulus specialized for the verification of selected specifications. The decision about the current circuit diagnostic state depends on an amplitude spectrum decomposition of the time response measured during the test. A shape of the test excitation spectrum is optimized with the use of a differential evolution algorithm and it allows for achieving maximum fault coverage and the optimal conditions for fault isolation. Genotypes of the evolutionary system encode the amplitude spectrum of candidates for testing stimuli by means of rectangle frequency windows with amplitudes determined evolutionarily.
Źródło:
Metrology and Measurement Systems; 2012, 19, 1; 73-84
0860-8229
Pojawia się w:
Metrology and Measurement Systems
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Real-time motion tracking using optical flow on multiple GPUs
Autorzy:
Mahmoudi, S. A.
Kierzynka, M.
Manneback, P.
Kurowski, K.
Powiązania:
https://bibliotekanauki.pl/articles/200476.pdf
Data publikacji:
2014
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
Lucas-Kanade method
sparse optical flow
multiple GPU computations
Opis:
Motion tracking algorithms are widely used in computer vision related research. However, the new video standards, especially those in high resolutions, cause that current implementations, even running on modern hardware, no longer meet the needs of real-time processing. To overcome this challenge several GPU (Graphics Processing Unit) computing approaches have recently been proposed. Although they present a great potential of a GPU platform, hardly any is able to process high definition video sequences efficiently. Thus, a need arose to develop a tool being able to address the outlined problem. In this paper we present software that implements optical flow motion tracking using the Lucas-Kanade algorithm. It is also integrated with the Harris corner detector and therefore the algorithm may perform sparse tracking, i.e. tracking of the meaningful pixels only. This allows to substantially lower the computational burden of the method. Moreover, both parts of the algorithm, i.e. corner selection and tracking, are implemented on GPU and, as a result, the software is immensely fast, allowing for real-time motion tracking on videos in Full HD or even 4K format. In order to deliver the highest performance, it also supports multiple GPU systems, where it scales up very well.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2014, 62, 1; 139-150
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Interval Methods for Computing Strong Nash Equilibria of Continuous Games
Autorzy:
Kubica, B. J.
Woźniak, A.
Powiązania:
https://bibliotekanauki.pl/articles/375870.pdf
Data publikacji:
2015
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
strong Nash equilibria
continuous games
interval computations
numerical game solving
Opis:
The problem of seeking strong Nash equilibria of a continuous game is considered. For some games, these points cannot be found analytically, only numerically. Interval methods provide us with an approach to rigorously verify the existence of equilibria in certain points. A proper algorithm is presented. We formulate and prove propositions, that give us features which have to be used by the algorithm (to the best knowledge of the authors, these propositions and properties are original). Parallelization of the algorithm is also considered, and numerical results are presented. As a particular example, we consider the game of “misanthropic individuals”, a game, invented by the first author, that may have several strong Nash equilibria depending on the number of players. Our algorithm is able to localize and verify these equilibria.
Źródło:
Decision Making in Manufacturing and Services; 2015, 9, 1; 63-78
1896-8325
2300-7087
Pojawia się w:
Decision Making in Manufacturing and Services
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Verification of a model as a scientific tool of operations research : a methodological approach
Autorzy:
Radosiński, E.
Radosiński, Ł.
Powiązania:
https://bibliotekanauki.pl/articles/406438.pdf
Data publikacji:
2018
Wydawca:
Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
Tematy:
validation of OR computations
scientific tools of operations research
verification
Opis:
The aim of the research presented in this paper was to solve one of the fundamental problems of modelling and simulation, i.e., verification of a model as a scientific tool of operations research. To attack this problem, certain crucial issues in the philosophy of science (the demarcation problem, the principle of verifiability) must be redefined. In discussing the question of verification, a procedure (the so called RAD-VER procedure) for verifying a model of a microeconomic system, in our case – a firm, is formulated. It is assumed that verification is a ceaseless process of evaluating a model’s scientificity from the standpoints of deductive reasoning, coherency and empiricism. Verification has been divided into two stages: the verification of the assumptions underlying the model of a firm and the verification of the simulator.
Źródło:
Operations Research and Decisions; 2018, 28, 3; 45-62
2081-8858
2391-6060
Pojawia się w:
Operations Research and Decisions
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modelowanie układów dynamicznych i technika obliczeń wielowątkowych
Dynamic systems modelling and multithreaded computations technology
Autorzy:
Stabrowski, M.
Powiązania:
https://bibliotekanauki.pl/articles/157785.pdf
Data publikacji:
2005
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
układy dynamiczne
symulacja
obliczenia wielowątkowe
dynamic systems
simulation
multithreaded computations
Opis:
Artykuł prezentuje system symulacyjny AMIL służący do modelowania układów opisywanych za pomocą równań różniczkowych zwyczajnych i równań algebraicznych. System AMIL został zrealizowany w dwóch wersjach - z informacją wejściową mającą postać programu lub schematu blokowego. Pokazano przykłady użycia obu wersji systemu. najnowszy kierunek prac nad systemem AMIL koncentruje się na badaniu celowości i efektywności wprowadzenia wielowątkowych metod obliczeniowych.
Simulation system AMIL presented in this paper is targeted at modelling the systems described with the aid of ordinary differential equations and algebraic equations. AMIL system has been implemented in two complimentary variants. The first one accepts program text as input. Integrated development environment of this AMIL version is presented in fig. 1 and 2. Alternative AMIL version uses block diagram as dynamic system model. Examples of user interface for this version are ahown in fig. 3 and 4. Most recent research in the field of dynamic systems modelling is aimed at implementation and investigation of multithreaded computations. As a testbed scalable heat transfer equation has been selected (fig.5). The results of the tests carried on dual HT processor platform (tab.1) lead to the conclusion that this computational technology offers real speed-up for large problems only.
Źródło:
Pomiary Automatyka Kontrola; 2005, R. 51, nr 3, 3; 17-20
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Homotopy perturbation Shehu transform method for solving fractional models arising in applied sciences
Autorzy:
Maitama, Shehu
Zhao, Weidong
Powiązania:
https://bibliotekanauki.pl/articles/1839856.pdf
Data publikacji:
2021
Wydawca:
Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
Tematy:
homotopy perturbation technique
Shehu transform
numeric computations
symbolic computations
fractional model
metoda transformacji Shehu
model ułamkowy
obliczenia numeryczne
obliczenia symboliczne
technika homotopii
metoda perturbacji homotopii
Opis:
Using the recently proposed homotopy perturbation Shehu transform method (HPSTM), we successfully construct reliable solutions of some important fractional models arising in applied physical sciences. The nonlinear terms are decomposed using He’s polynomials, and the fractional derivative is calculated in the Caputo sense. Using the analytical method, we obtained the exact solution of the fractional diffusion equation, fractional wave equation and the nonlinear fractional gas dynamic equation.
Źródło:
Journal of Applied Mathematics and Computational Mechanics; 2021, 20, 1; 71-82
2299-9965
Pojawia się w:
Journal of Applied Mathematics and Computational Mechanics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Basic Aspects of Designing a High-performance Processor Structure for Calculating a "true" Discrete Fractional Fourier Transform
Autorzy:
Cariow, A.
Majorkowska-Mech, D.
Powiązania:
https://bibliotekanauki.pl/articles/114579.pdf
Data publikacji:
2018
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
discrete fractional Fourier transform
parallelization of computations
hardware implementation
complexity reduction
Opis:
This paper presents a basic aspects of structural design of the highperformance processor for implementation of discrete fractional Fourier transform (DFrFT). The general idea of the possibility of parallelizing the calculation of the so-called “true” discrete Fourier transform on the basis of our previously developed algorithmic approach is presented. We specifically focused only on the general aspects of the organization of the structure of such a processor, since the details of a particular implementation always depend on the implementation platform used, while the general idea of constructing the structure of the processor remains unchanged.
Źródło:
Measurement Automation Monitoring; 2018, 64, 2; 43-45
2450-2855
Pojawia się w:
Measurement Automation Monitoring
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Parallel Dynamic Programming Algorithms : Multitransputer Systems
Autorzy:
Sadecki, J.
Powiązania:
https://bibliotekanauki.pl/articles/907983.pdf
Data publikacji:
2002
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
automatyka
dynamic programming
parallel computations
transputers
multitransputer systems
parallel optimization algorithms
Opis:
The present paper discusses real parallel computations. On the basis of a selected group of dynamic programming algorithms, a number of factors affecting the efficiency of parallel computations such as, e.g., the way of distributing tasks, the interconnection structure between particular elements of the parallel system or the way of organizing of interprocessor communication are analyzed. Computations were implemented in the parallel multitransputer SUPER NODE 1000 system using from 5 to 50 transputers.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2002, 12, 2; 241-255
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The "Second Derivative" of a Non-Differentiable Function and its Use in Interval Optimization Methods
Autorzy:
Kubica, B. J.
Powiązania:
https://bibliotekanauki.pl/articles/308398.pdf
Data publikacji:
2011
Wydawca:
Instytut Łączności - Państwowy Instytut Badawczy
Tematy:
Dirac delta
distributions
generalized derivative
interval computations
interval Newton method
nondifferentiable optimization
Opis:
The paper presents an idea to use weak derivatives in interval global optimization. It allows using the Newton operator to narrow domains of non-differentiable functions. Preliminary computational experiments are also presented.
Źródło:
Journal of Telecommunications and Information Technology; 2011, 4; 81-85
1509-4553
1899-8852
Pojawia się w:
Journal of Telecommunications and Information Technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Distributed asynchronous algorithms in the Internet - new routing and traffic control methods
Autorzy:
Karbowski, A.
Powiązania:
https://bibliotekanauki.pl/articles/309014.pdf
Data publikacji:
2005
Wydawca:
Instytut Łączności - Państwowy Instytut Badawczy
Tematy:
computer networks
optimization
shortest path
traffic control
decomposition
distributed computations
asynchronous algorithms
Opis:
The paper presents several new algorithms concerning the third (network) and the fourth (transport) layer of ISO/OSI network model. For the third layer two classes of the shortest paths algorithms - label correcting and auction algorithms - are proposed. For the fourth layer an application of price decomposition to network optimization and Internet congestion control is suggested.
Źródło:
Journal of Telecommunications and Information Technology; 2005, 3; 29-36
1509-4553
1899-8852
Pojawia się w:
Journal of Telecommunications and Information Technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Java-based secure platform for distributed computation
Autorzy:
Glebov, A.
Powiązania:
https://bibliotekanauki.pl/articles/115751.pdf
Data publikacji:
2010
Wydawca:
Fundacja na Rzecz Młodych Naukowców
Tematy:
distributed computations
Java RMI
remote method invocation security
authentication and encryption overhead.
Opis:
We present a platform for distributed computation that employs Java RMI as the underlying communication technology, making use of its remote class-loading features. The platform permits dynamic connection of executor nodes and guarantees that executors are properly released. Security is reinforced by authentication based on X.509 certifi cates and SSL encryption. We show that the overhead associated with authentication and encryption is negligible in practically important cases.
Źródło:
Challenges of Modern Technology; 2010, 1, 1; 76-78
2082-2863
2353-4419
Pojawia się w:
Challenges of Modern Technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Computations of an unsteady viscous flow in a three-dimensional system of ducts. Part II: Implementation of the spectral element method and sample results
Wyznaczanie nieustalonych przepływów cieczy lepkiej w trójwymiarowym układzie przewodów. Część II: Implementacja metody spektralnych elementów skończonych i przykładowe wyniki
Autorzy:
Szumbarski, J.
Olszewski, P.
Wawruch, K.
Małota, Z.
Powiązania:
https://bibliotekanauki.pl/articles/281860.pdf
Data publikacji:
2004
Wydawca:
Polskie Towarzystwo Mechaniki Teoretycznej i Stosowanej
Tematy:
Navier-Stokes equations
spectral element methods
pressure preconditioners
fast diagonalization
parallel computations
Opis:
The second part the paper focuses on implementation issues of the spectral element technique and presents sample results of numerical simulations. Particular algorithms like preconditioning of the presser solver, fast diagonalization method and the projection method for solving sequences of large linear systems are described in some details. The computational results, obtained for both test domains and geometries of medical origin, are presented. The comparison with the results of computations with the FIDAP package is provided. The difficulties and limitations of the spectral method and current implementation are discussed. Attempts of the parallelization of the spectral code and the obtained efficiency are briefly described.
Druga część pracy omawia zagadnienia związane z implementacją metody spektralnych elementów skończonych oraz prezentuje wybrane wyniki obliczeń. Przedstawiono również wybrane algorytmy: skalowanie (ang. preconditioning) procesu iteracyjnego dla ciśnienia, metodę FDM oraz metodę efektywnego rozwiązywania sekwencji układów liniowych dużych rozmiarów z ustaloną macierzą. Omówiono wyniki obliczeń testowych. Przedyskutowano trudności i ograniczenia aktualnej implementacji oraz zaprezentowano wstępne efekty paralelizacji solwera spektralnego.
Źródło:
Journal of Theoretical and Applied Mechanics; 2004, 42, 4; 869-903
1429-2955
Pojawia się w:
Journal of Theoretical and Applied Mechanics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Parallel computations of the step response of a floor heater with the use of a graphics processing unit. Part 1: models and algorithms
Autorzy:
Gołębiowski, J.
Forenc, J.
Powiązania:
https://bibliotekanauki.pl/articles/200428.pdf
Data publikacji:
2013
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
air floor heating
step response
implicit finite difference method
parallel computations
GPGPU
Opis:
The article presents a method of computing the step response of an air floor heater. The method implements parallel algorithms on a graphics processing unit. In the analyzed concrete slab heating ducts are placed. Hot air is transferred through them, thanks to which the heat penetrates into the slab. Heat transfer into the environment takes place on the top surface of the floor by natural convection and radiation. The bottom surface of the slab is thermally insulated. A two-dimensional heat equation was discretized with the use of the implicit finite difference method. In order to solve the obtained system of equations, the conjugate gradient method was used. Moreover, in order to examine the possibility of shortening the computations time, the algorithm of this method was implemented on a graphics processing unit. A computer program, using the CUDA parallel computing platform and linear algebra libraries CUBLAS and CUSPARSE, was developed.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2013, 61, 4; 943-948
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Liczby nieobliczalne a granice kodowania w informatyce
Autorzy:
Stacewicz, Paweł
Powiązania:
https://bibliotekanauki.pl/articles/561262.pdf
Data publikacji:
2018
Wydawca:
Polskie Towarzystwo Semiotyczne
Tematy:
kodowanie liczbowe
liczby obliczalne
liczby nieobliczalne
maszyna Turinga
obliczenia cyfrowe
obliczenia analogowe
nieskończoność
numerical coding
computable numbers
uncomputable numbers
Turing machine
digital computations
analogue computations
infinity
Opis:
Opis danych i programów komputerowych za pomocą liczb jest epistemologicznie użyteczny, ponieważ pozwala określać granice różnego typu obliczeń. Dotyczy to w szczególności obliczeń dyskretnych (cyfrowych), opisywalnych za pomocą liczb obliczalnych w sensie Turinga. Matematyczny fakt istnienia liczb rzeczywistych innego typu, tj. nieobliczalnych, wyznacza minimalne ograniczenia technik cyfrowych; z drugiej strony jednak, wskazuje na możliwość teoretycznego opracowania i fizycznej implementacji technik obliczeniowo silniejszych, takich jak obliczenia analogowe-ciągłe. Przedstawione w artykule analizy prowadzą do wniosku, że fizyczne implementacje obliczeń niekonwencjonalnych (niecyfrowych) wymagają występowania w przyrodzie wielkości nieskończonych aktualnie (a nie tylko potencjalnie). Za fizycznym istnieniem takich wielkości przemawiają wprawdzie pewne argumenty fizyki teoretycznej, nie są one jednak ostateczne.
The description of data and computer programs with the use of numbers is epistemologically valuable, because it allows the definition of the limits of different types of computations. This applies in particular to discrete (digital) computations, which can be described by means of computable numbers in the Turing sense. The mathematical fact that there are other types of real numbers, i.e. uncomputable numbers, determines the minimal limitations of digital techniques; on the other hand, however, it points to the possibility of theoretical development and physical implementation of computationally stronger techniques, such as analogue-continuous computations. Analyses presented in this article lead to the conclusion that physical implementations of unconventional (non-digital) computations require the occurrence of actually infinite entities in nature. Although some arguments of theoretical physics support the physical existence of such entities, they are not definitive.
Źródło:
Studia Semiotyczne; 2018, 32, 2; 131-152
0137-6608
Pojawia się w:
Studia Semiotyczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Using a spreadsheet for surveying computations
Wykorzystanie arkusza kalkulacyjnego na potrzeby obliczeń geodezyjnych
Autorzy:
Jasińska, E.
Ruchel, J.
Powiązania:
https://bibliotekanauki.pl/articles/385390.pdf
Data publikacji:
2010
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
obliczenia geodezyjne
sieci niwelacyjne
Visual Basic for Applications
mała firma geodezyjna
programy komputerowe
Excel
surveying computations
geodetic computations
leveling nets
Visual Basic
small geodetic company
computer programs
Opis:
The paper features the method of creating a computer application (assuming intermediate programming skills) that shall perform geodetic computations. Computation of a leveling net is used as an example, as being the most often analyzed by small geodetic companies. In order to perform computations of this kind a proper program is required. The paper shows a way to create a spreadsheet based application providing the particular requirements fulfillment, especially controlling and displaying the computation results.
W pracy pokazano sposób tworzenia (przy średnim zaawansowaniu umiejętności programistycznych) aplikacji komputerowej, której zadaniem jest prowadzenie obliczeń geodezyjnych (oparto się na przykładzie obliczenia sieci kątowo-liniowej). Sieci takie są często mierzone przez małe firmy geodezyjne. Obliczenia wymagają odpowiedniego programu. Pokazano sposób realizacji aplikacji opartej na arkuszu kalkulacyjnym, która pozwoli na zaspokojenie indywidualnych potrzeb, w szczególności kontroli i prezentacji wyników obliczeń.
Źródło:
Geomatics and Environmental Engineering; 2010, 4, 4; 77-87
1898-1135
Pojawia się w:
Geomatics and Environmental Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Direct method of hierarchical nonlinear optimization - reassessment after 30 years
Autorzy:
Karbowski, A.
Powiązania:
https://bibliotekanauki.pl/articles/308864.pdf
Data publikacji:
2004
Wydawca:
Instytut Łączności - Państwowy Instytut Badawczy
Tematy:
hierarchical optimization
decomposition
direct method
Benders method
cutting plane method
distributed computations
Opis:
We consider the optimization problems which may be solved by the direct decomposition method. It is possible when the performance index is a monotone function of other performance indices, which depend on two subsets of decision variables: an individual for every inner performance index and a common one for all. Such problems may be treated as a generalization of separable problems with the additive cost and constraints functions. In the paper both the underlying theory and the basic numerical techniques are presented and compared. A special attention is paid to the guarantees of convergence in different classes of problems and to the effectiveness of calculations.
Źródło:
Journal of Telecommunications and Information Technology; 2004, 3; 3-11
1509-4553
1899-8852
Pojawia się w:
Journal of Telecommunications and Information Technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Quantum simulation of the tunnel effect
Autorzy:
Ostrowski, M.
Powiązania:
https://bibliotekanauki.pl/articles/201242.pdf
Data publikacji:
2015
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
quantum computations
quantum simulations
tunnel effect
obliczenia kwantowe
symulacje kwantowe
efekt tunelowy
Opis:
In this paper, we examine whether a quantum computer can efficiently simulate quantum processes such as the tunnel effect. We examine a quantum algorithm that calculates the value of transition and reflection coefficients for the Gaussian wave packet scattered on a rectangular potential. We compare the results obtained in this way with the results of classical simulations and analytical calculations.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2015, 63, 2; 379-383
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Assessment of negative effects of a coach running with the wheel-flat on a track by means of simulation computations
Autorzy:
Dižo, J.
Blatnický, M.
Steišūnas, S.
Powiązania:
https://bibliotekanauki.pl/articles/328430.pdf
Data publikacji:
2017
Wydawca:
Polska Akademia Nauk. Polskie Towarzystwo Diagnostyki Technicznej PAN
Tematy:
coach
wheel flat
simulation computations
dynamic analysis
koło
obliczenia symulacyjne
analiza dynamiczna
Opis:
The objective of this paper is focused on the computer modelling and dynamic simulation of a coach with damaged wheel and the assessment of these negative effects on a track. The article is composed of two parts. Firstly, problems about the operation of rolling stocks with damaged wheels are described. There are also mentioned diagnostic systems installed on a track for detection and assessment their negative impacts on a track. The second part of the article is dedicated to computer modelling of a coach running on a railway track with the damaged wheel, in this case with the wheel-flat. For these purposes the virtual model of a coach were created. After simulations of its running there were performed analyses needed for the evaluation of its negative impacts on a railway track.
Źródło:
Diagnostyka; 2017, 18, 3; 31-37
1641-6414
2449-5220
Pojawia się w:
Diagnostyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Elementy informatyki kwantowej w nowych technologiach obliczeniowych
Examples of quantum it in new technologies of computation
Autorzy:
Kluczerski, Tomasz
Majczak, Mateusz
Powiązania:
https://bibliotekanauki.pl/articles/2055594.pdf
Data publikacji:
2021
Wydawca:
Wojskowy Instytut Techniczny Uzbrojenia
Tematy:
informatyka kwantowa
obliczenia kwantowe
bramki kwantów
quantum information technologies
quantum computations
quantum gates
Opis:
Artykuł zawiera definicje elementów informatyki kwantowej w odniesieniu do klasycznych technologii obliczeniowych. Wyjaśnia zasady transformacji algorytmów obliczeniowych do dziedziny obliczeń kwantowych z wykorzystaniem optymalizacji i rachunku macierzowego. Przedstawia przykładowe zastosowania klasycznych algorytmów i ukazuje możliwości ich realizacji w dziedzinie informatyki kwantowej. Autor wskazuje na możliwość zastosowania algorytmów kwantowych w nowych technologiach obliczeniowych w zakresie kryptografii kwantowej i złożonych obliczeniowo analiz danych.
The paper includes definitions of elements of quantum IT referred to classical technologies of computation. It explains the principles of transformation of calculating algorithms to the domain of quantum computations using the optimisation and matrix calculus. Exemplary applications of classical algorithms are presented with possibilities of their realisation in domain of quantum IT. Autor presents some possibilities for using quantum algorithms in new computation technologies concerning quantum cryptography and data analyses with complex computations.
Źródło:
Problemy Techniki Uzbrojenia; 2021, 50, 158; 65--90
1230-3801
Pojawia się w:
Problemy Techniki Uzbrojenia
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Optimization of the Multi-Threaded Interval Algorithm for the Pareto-Set Computation
Autorzy:
Kubica, B. J.
Wodniak, A.
Powiązania:
https://bibliotekanauki.pl/articles/308050.pdf
Data publikacji:
2010
Wydawca:
Instytut Łączności - Państwowy Instytut Badawczy
Tematy:
interval computations
multicriterial analysis
multithreaded programming
Pareto set
POSIX threads
shared-memory parallelization
Opis:
Previous investigations of the authors surveyed the possibility of applying interval methods to seek the Paretofront of a multicriterial nonlinear problem. An efficient algorithm has been proposed and its implementation in a multicore environment has been done and tested. This paper has two goals. First one is to tune the developed algorithm to increase the speedup of the multi-threaded variant. The second one is to extend the algorithm to compute not only the Paretofront (in the criteria space), but also the Pareto-set (in the decision space). Numerical results for suitable test problems are presented.
Źródło:
Journal of Telecommunications and Information Technology; 2010, 1; 70-75
1509-4553
1899-8852
Pojawia się w:
Journal of Telecommunications and Information Technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Application of a Java-Based Framework to Parallel Simulation of Large-Scale Systems
Autorzy:
Niewiadomska-Szynkiewicz, E.
Żmuda, M.
Malinowski, K.
Powiązania:
https://bibliotekanauki.pl/articles/908095.pdf
Data publikacji:
2003
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
informatyka
parallel computations
simulation
large-scale systems
computer systems
computer-aided system design
Opis:
Large-scale systems, such as computer and telecommunication networks, complex control systems and many others, operate in inherently parallel environments. It follows that there are many opportunities to admit parallelism into both the algorithm of control implementation and simulation of the system operation considered. The paper addresses issues associated with the application of parallel discrete event simulation (PDES). We discuss the PDES terminology and methodology. Particular attention is paid to the software environment CSA&S/PV (Complex Systems Analysis & Simulation-Parallel Version), which provides a framework for simulation experiments performed on parallel computers. CSA&S/PV was applied to investigate several real-life problems. The case studies are presented for both computer and water networks.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2003, 13, 4; 537-547
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Metoda numerycznej analizy aerosprężystości
Aeroelastic computations for aircraft model for flutter analysis based on GVT model
Autorzy:
Roszak, R.
Rychlik, M.
Stankiewicz, W.
Kotecki, K.
Hausa, H.
Morzyński, M.
Nowak, M.
Powiązania:
https://bibliotekanauki.pl/articles/212640.pdf
Data publikacji:
2011
Wydawca:
Sieć Badawcza Łukasiewicz - Instytut Lotnictwa
Tematy:
badania flatterowe samolotów
analiza numeryczna aerosprężystości
flutter tests of aircraft structures
aeroelastic computations
Opis:
In this paper fluid-structure interaction, taking into account the nonlinearity of structural models, is concerned. Aeroelastic simulation of model aircraft based on GVT model configuration presents the capability of used numerical codes to analyze large-scale complex geometries. All computations were carried out in parallel environment for CFD mesh of order of millions tetrahedral elements.
Źródło:
Prace Instytutu Lotnictwa; 2011, 11 (220); 148-160
0509-6669
2300-5408
Pojawia się w:
Prace Instytutu Lotnictwa
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Symbolic approach to the general cubic decomposition of polynomial sequences. Results for several orthogonal and symmetric cases
Autorzy:
Mesquita, T. A.
Rocha, Z. Da
Powiązania:
https://bibliotekanauki.pl/articles/255977.pdf
Data publikacji:
2012
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
symmetric polynomials
orthogonal polynomials
cubic decomposition
symbolic computations
Mathematica 8.0.1.0.
Opis:
We deal with a symbolic approach to the cubic decomposition (CD) of polynomial sequences - presented in a previous article referenced herein - which allows us to compute explicitly the first elements of the nine component sequences of a CD. Properties are investigated and several experimental results are discussed, related to the CD of some widely known orthogonal sequences. Results concerning the symmetric character of the component sequences are established.
Źródło:
Opuscula Mathematica; 2012, 32, 4; 675-687
1232-9274
2300-6919
Pojawia się w:
Opuscula Mathematica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Właściwości wirników zastosowanych w wysokoobrotowej hamownicy indukcyjnej
Performance of Rotors in High-Speed Eddy-Current Brake/ Dynamometer
Autorzy:
Kołodziej, J.
Kowol, M.
Powiązania:
https://bibliotekanauki.pl/articles/1368663.pdf
Data publikacji:
2013
Wydawca:
Sieć Badawcza Łukasiewicz - Instytut Napędów i Maszyn Elektrycznych Komel
Tematy:
hamownica indukcyjna
prądy wirowe
metody polowe
electromagnetic brake
eddy currents
finite element computations
Opis:
This paper investigates operation of a high-speed eddy-current brake designed and manufactured for testing high-speed electric motors. The system is modeled using a three-dimensional time-stepping nonlinear finite elements with the aim of assessing performance of different rotors. The rotor thickness and the impact of copper coating on the brake performance are analysed. The computations compare well with partial measurements carried out on the laboratory test-stand.
W artykule zawarto analizę hamownicy wiroprądowej zaprojektowanej oraz wykonanej do badań silników elektrycznych wysokoobrotowych. Celem pracy, jest zbadanie wpływu budowy wirnika na charakterystykę mechaniczną hamownicy. Analizie poddano wpływ grubości wirnika oraz wprowadzenie warstwy powierzchniowej z materiału o znacznie większej przewodności – miedzi. Obliczenia przeprowadzono przy zastosowaniu trójwymiarowego nieliniowego modelu polowego. Wyniki obliczeń zweryfikowano na stanowisku pomiarowym.
Źródło:
Maszyny Elektryczne: zeszyty problemowe; 2013, 4, 100/2; 115-119
0239-3646
2084-5618
Pojawia się w:
Maszyny Elektryczne: zeszyty problemowe
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Implementacja w układach FPGA operacji eksponenty dla liczb w standardzie IEEE-754 o podwójnej precyzji
FPGA Implementation of Exponent Function for Double Precision IEEE-754 Standard
Autorzy:
Wielgosz, M.
Jamro, E.
Wiatr, K.
Powiązania:
https://bibliotekanauki.pl/articles/152817.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
obliczanie funkcji elementarnych
przyspieszanie obliczeń, układy programowalne
elementary functions computations
computing acceleration
programmable devices
Opis:
W artykule przedstawiono implementację operacji obliczania eksponenty o podwójnej precyzji obliczeń w układach FPGA. Zaproponowano metodę tablicowo - aproksymacyjną, dla której wykorzystano 3 niezależne tablice 512´64-bity do obliczenia 27 najstarszych bitów mantysy oraz aproksymacje wielomianową ex"1+x dla pozostałych bitów mantysy. Wyniki implementacji pokazują że proponowany moduł zajmuje około 7.5% układu Virtex-4 LX200.
This paper presents FPGA implementation of exponent operation in double precision format. A mixture of Look-Up Table (LUT) and approximation methods was employed. Twenty seven most significant bits of input mantissa are calculated employing 3 independent LUTs, the rest input bits are calculated by approximation: ex"1+x. Implementation results in roughly 7.5% occupation of Virtex-4 LX-200.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 126-128
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Optymalizacja systemów elektroenergetycznych z zastosowaniem obliczeń ewolucyjnych
Optimization of electrical energetic systems with the use of evolutionary computations
Autorzy:
Gajer, M.
Powiązania:
https://bibliotekanauki.pl/articles/276458.pdf
Data publikacji:
2013
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
systemy elektroenergetyczne
optymalizacja wielokryterialna
obliczenia ewolucyjne
electrical energetic systems
multi-objective optimization
evolutionary computations
Opis:
Tematyka artykułu dotyczy zagadnień związanych z optymalizacją pracy urządzeń wchodzących w skład systemu elektroenergetycznego. W artykule optymalizacja sposobu pracy urządzeń systemu elektroenergetycznego została potraktowana jako optymalizacja wielokryterialna. Głównymi kryteriami branymi pod uwagę podczas poszukiwania rozwiązania są przede wszystkim koszt produkcji energii elektrycznej w rozpatrywanym horyzoncie czasowym oraz całkowita moc termicznych strat przesyłowych powstających w liniach wysokich napięć. Ponadto moc w systemie elektroenergetycznym powinna być zbilansowana, co stanowi kolejne kryterium oceny jakości uzyskiwanych rozwiązań. W celu rozwiązania rozpatrywanego w artykule zagadnienia optymalizacyjnego zaproponowano wykorzystanie techniki obliczeń ewolucyjnych.
The topic of the paper is about the optimization of the mode of work of electrical energetic systems. This kind of optimization is considered as multi-objective optimization. The main criteria that are taken under account are the amount of fuel burnt in energetic blocks in the time unit and total thermal losses in power transmission lines. In the paper in order to solve such multi-objective optimization problem the computational technique base on the use of evolutionary algorithms was implemented.
Źródło:
Pomiary Automatyka Robotyka; 2013, 17, 2; 345-350
1427-9126
Pojawia się w:
Pomiary Automatyka Robotyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Matematyka eksperymentalna – kilka refleksji historyka nauki
Experimental mathematics – several remarks from historian of science
Autorzy:
Maślanka, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/691188.pdf
Data publikacji:
2015
Wydawca:
Copernicus Center Press
Tematy:
history of science
philosophy of mathematics
number theory
history of computations
computer-assisted proof
Opis:
The paper deals with the ever growing role of computers in pure mathematics. Several examples, mainly from number theory, when numerical experiments did shed some light on difficult problems are given.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2015, 58; 115-150
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Granular computational homogenisation of composite structures with imprecise parameters
Autorzy:
Beluch, W.
Hatłas, M.
Ptaszny, J.
Powiązania:
https://bibliotekanauki.pl/articles/38696696.pdf
Data publikacji:
2023
Wydawca:
Instytut Podstawowych Problemów Techniki PAN
Tematy:
computational homogenisation
granular computations
fuzzy number
directed interval arithmetic
response surface
finite element method
Opis:
The paper presents the formulation of a granular computational homogenisation problem and the proposition of a method to solve it, which enables multiscale analysis of materials with uncertain microstructure parameters. The material parameters and the geometry, represented by the interval and fuzzy numbers, are assumed to be unprecise. An _-cut representation of fuzzy numbers allows the use of interval arithmetic for epistemic uncertainties. Directed interval arithmetic is used to reduce the effect of interval widening during arithmetic operations. Response surfaces of diverse types, including Artificial Neural Networks, are used as model reduction methods. The finite element method is employed to solve the boundary value problem on a micro scale. Numerical examples are provided to demonstrate the effectiveness of the proposed approach.
Źródło:
Archives of Mechanics; 2023, 75, 3; 271-300
0373-2029
Pojawia się w:
Archives of Mechanics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Podstawy teoretyczne obliczeń kwantowych
Theoretical basics of quantum computations
Autorzy:
Kuczerski, Tomasz
Dyszyński, Michał
Powiązania:
https://bibliotekanauki.pl/articles/2055596.pdf
Data publikacji:
2021
Wydawca:
Wojskowy Instytut Techniczny Uzbrojenia
Tematy:
obliczenia kwantowe
komputer kwantowy
kubit
pułapka jonowa
quantum computations
quantum computer
qubit
ion trap
Opis:
Opracowanie zawiera podstawowe informacje z dziedziny fizyki kwantowej potrzebne do zrozumienia zasad działania komputerów kwantowych i obliczeń kwantowych. Wyjaśnia od podstaw zagadnienia takie jak jednostka informacji kwantowej - kubit oraz sfera Blocha. Celem tego opracowania jest wprowadzenie do świata informatyki kwantowej osób nie będących fizykami kwantowymi, które planują zastosowanie algorytmów kwantowych w swoich badaniach naukowych
The paper includes basic information over the domain of quantum physics needed to understand basic principles of calculations and operations with the use of quantum computers. Questions of the unit of quantum information – qubit, and the Bloch’s zone are thoroughly explained. The paper is aimed to be an introduction into the world of quantum IT for persons beyond the quantum physics who want to use the quantum algorithms for their scientific researches.
Źródło:
Problemy Techniki Uzbrojenia; 2021, 50, 158; 7--38
1230-3801
Pojawia się w:
Problemy Techniki Uzbrojenia
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Parallelization of computations for generating combinations
Autorzy:
Novikov, S.
Powiązania:
https://bibliotekanauki.pl/articles/92810.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
Tematy:
sequential algorithm
parallel algorithm
Boolean vector
combinations without repetitions
combinations with repetitions
parallelization of computations
Opis:
An effective sequential algorithm and two parallel algorithms for generating combinations without repetitions of m out n of objects, represented by Boolean vectors, are proposed. One of them allows one to calculate starting and ending combinations for the subset, generated by each computing processor. The second algorithm firstly generates short (m-component) vectors on several computing processors. After that, by using special [n/m]-component vectors, it connects the short vectors into n-component Boolean vectors, each of which containing of exactly m units.
Źródło:
Studia Informatica : systems and information technology; 2017, 1-2(21); 47-62
1731-2264
Pojawia się w:
Studia Informatica : systems and information technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Closely Intermeshing Counter-Rotating Twin Screw Extrusion of Polymers
Autorzy:
Lewandowski, A.
Powiązania:
https://bibliotekanauki.pl/articles/115554.pdf
Data publikacji:
2011
Wydawca:
Fundacja na Rzecz Młodych Naukowców
Tematy:
Polymeric Materials
Counter-Rotating Twin Screw Extrusion
Composite Modeling
Closely Intermeshing Screw Configuration
FEM Computations
Opis:
The state-of-the-art is presented for composite modeling of counter-rotating twin screw extrusion of polymeric materials. The closely intermeshing screw configuration is considered. A new approach for composite modeling of counter-rotating twin screw extrusion is discussed. This approach is based on the three dimensional nonNewtonian FEM simulation of flow in an intermeshing modular counter-rotating twin screw extruder. Some experimental and theoretical results of the study are presented. The polymer melting behaviour and degree of filling of the screw channel during the process, as well as the pressure and temperature developments are discussed.
Źródło:
Challenges of Modern Technology; 2011, 2, 1; 36-40
2082-2863
2353-4419
Pojawia się w:
Challenges of Modern Technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Application MS Access for surveying computations
Zastosowanie programu Access w obliczeniach geodezyjnych
Autorzy:
Ruchel, J.
Adamczyk, T.
Powiązania:
https://bibliotekanauki.pl/articles/385749.pdf
Data publikacji:
2011
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
obliczenia geodezyjne
Visual Basic for Applications
programy komputerowe
Access
surveying computations
MS Access
computer applications
Opis:
The paper presents a method of building a complementary computer application for the Surveying Database program, capable of executing various surveying computations. The application uses for the computations data stored in the Database, especially the points’ coordinates. The computations can be also executed for any coordinates entered manually into proper forms of the application. The method presented application the database management system of MS Access, which allows to fulfill individual needs in computations, control and display of the results. The coordinates gained in the computations can be automatically added to the Database resources.
W pracy pokazano sposób tworzenia aplikacji uzupełniającej bazę danych geodezyjnych, której zadaniem jest prowadzenie różnorodnych obliczeń geodezyjnych. Aplikacja korzysta w trakcie obliczeń z danych zawartych w bazie, w szczególności ze współrzędnych punktów. Obliczenia mogą być wykonywane również dla dowolnych współrzędnych wprowadzanych do odpowiednich formularzy. Pokazano sposób działania aplikacji opartej na systemie zarządzania bazą danych programu Access, która pozwoli na zaspokojenie indywidualnych potrzeb w zakresie obliczeń, kontroli i prezentacji wyników. Uzyskane w wyniku obliczeń współrzędne mogą być automatycznie aktualizowane w bazie danych.
Źródło:
Geomatics and Environmental Engineering; 2011, 5, 4; 85-97
1898-1135
Pojawia się w:
Geomatics and Environmental Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Applications of a hyper-graph grammar system in adaptive finite-element computations
Autorzy:
Gurgul, P.
Jopek, K.
Pingali, K.
Paszyńska, A.
Powiązania:
https://bibliotekanauki.pl/articles/331397.pdf
Data publikacji:
2018
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
adaptive finite element method
hypergraph grammar
mesh-based computations
metoda elementów skończonych
gramatyka hipergrafu
siatka obliczeniowa
Opis:
This paper describes application of a hyper-graph grammar system for modeling a three-dimensional adaptive finite element method. The hyper-graph grammar approach allows obtaining a linear computational cost of adaptive mesh transformations and computations performed over refined meshes. The computations are done by a hyper-graph grammar driven algorithm applicable to three-dimensional problems. For the case of typical refinements performed towards a point or an edge, the algorithm yields linear computational cost with respect to the mesh nodes for its sequential execution and logarithmic cost for its parallel execution. Such hyper-graph grammar productions are the mathematical formalism used to describe the computational algorithm implementing the finite element method. Each production indicates the smallest atomic task that can be executed concurrently. The mesh transformations and computations by using the hyper-graph grammar-based approach have been tested in the GALOIS environment. We conclude the paper with some numerical results performed on a shared-memory Linux cluster node, for the case of three-dimensional computational meshes refined towards a point, an edge and a face.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2018, 28, 3; 569-582
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Platforma sprzętowa do obliczeń kwantowych
Hardware for quantum computations
Autorzy:
Kuczerski, Tomasz
Mikke, Włodzimierz
Powiązania:
https://bibliotekanauki.pl/articles/2055598.pdf
Data publikacji:
2021
Wydawca:
Wojskowy Instytut Techniczny Uzbrojenia
Tematy:
obliczenia kwantowe
symulacja zjawisk fizycznych
kwantowa platforma sprzętowa
quantum computations
simulation of physical effects
quantum hardware platform
Opis:
Opracowanie zawiera przykładową realizację platformy sprzętowej przeznaczonej do symulacji wybranych elementarnych obliczeń kwantowych. Opisano podstawowe karty zestawu Sinara wraz z oprogramowaniem oraz platformą do eksperymentów z dziedziny fizyki kwantowej oraz obliczeń kwantowych. Przedstawiono przykładowe zastosowania platformy sprzętowej łącznie z instrukcją uruchomienia podstawowych algorytmów kwantowych.
An exemplary hardware platform for simulation of some elementary quantum computations is presented in the paper. Basic cards of Sinara system with software and platform for experiments in domain of quantum physics and computations were described. Some exemplary applications of the hardware platform and instruction for starting up basic quantum algorithms are presented.
Źródło:
Problemy Techniki Uzbrojenia; 2021, 50, 158; 49--63
1230-3801
Pojawia się w:
Problemy Techniki Uzbrojenia
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modelowanie rzeczywistych zakłóceń występujących podczas lotu na podstawie zapisów rejestratora pokładowego
Modeling real disturbances observed during the flight on the basis of on-board flight data recording
Autorzy:
Tomczyk, A.
Powiązania:
https://bibliotekanauki.pl/articles/194769.pdf
Data publikacji:
2017
Wydawca:
Politechnika Rzeszowska im. Ignacego Łukasiewicza. Oficyna Wydawnicza
Tematy:
zakłócenia pomiarowe
statek powietrzny
sterowanie statkiem powietrznym
obliczenia symulacyjne
disturbances of measurement
aircraft
aircraft control
simulation computations
Opis:
W artykule przedstawiono metodę i wyniki modelowania zakłóceń dla celów obliczeń symulacyjnych w procesie syntezy właściwości pokładowego systemu sterowania statkiem powietrznym. Wykorzystano pomiary w locie do wyodrębnienia zakłóceń będących właściwością układu pomiarowego (szumy pomiarowe) oraz zakłóceń będących efektem oddziaływań zewnętrznych, np. turbulencji atmosferycznej. Opracowane algorytmy pozwalają na symulację działania pokładowego systemu sterowania w warunkach zbliżonych do występujących w rzeczywistym locie.
This paper presents the method and results of modeling disturbances for the purposes of simulation computations in the synthesis process of properties of flight-control system. In this method, the in–flight measurements were used for separation of disturbances of measuring system (measuring noise) and external disturbances caused by e.g., atmospheric turbulence. The developed algorithms enable the simulation of on-board control system operation in conditions of real flight.
Źródło:
Zeszyty Naukowe Politechniki Rzeszowskiej. Mechanika; 2017, z. 89 [295], 1; 123-130
0209-2689
2300-5211
Pojawia się w:
Zeszyty Naukowe Politechniki Rzeszowskiej. Mechanika
Dostawca treści:
Biblioteka Nauki
Artykuł

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