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ę "computations" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-25 z 75
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ł:
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ł:
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ł:
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ł:
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ł:
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ł:
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ł
Wyświetlanie 1-25 z 75

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