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ę "itération" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 51
Tytuł:
Solutions of the nonlinear evolution problems and their applications
Autorzy:
Amir, Muhammad
Haider, Jamil Abbas
Rahman, Jamshaid Ul
Ashraf, Asifa
Powiązania:
https://bibliotekanauki.pl/articles/2233663.pdf
Data publikacji:
2023
Wydawca:
Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
Tematy:
Laplace variational iteration method
nonlinear problems
duffing equation
simple pendulum
mass and spring oscillator
Simulink
Opis:
In this article, a well-known technique, the variational iterative method with the Laplace transform, is used to solve nonlinear evolution problems of a simple pendulum and mass spring oscillator, which represents the duffing equation. In the variational iteration method (VIM), finding the Lagrange multiplier is an important step, and the variational theory is often used for this purpose. This paper shows how the Laplace transform can be used to find the multiplier in a simpler way. This method gives an easy approach for scientists and engineers who deal with a wide range of nonlinear problems. Duffing equation is solved by different analytic methods, but we tackle this for the first time to solve the duffing equation and the nonlinear oscillator by using the Laplace-based VIM. In the majority of cases, Laplace variational iteration method (LVIM) just needs one iteration to attain high accuracy of the answer for linearization anddiscretization, or intensive computational work is needed. The convergence criteria of this method are efficient as compared with the VIM. Comparing the analytical VIM by Laplace transform with MATLAB’s built-in command Simulink that confirms the method’s suitability for solving nonlinear evolution problems will be helpful. In future, we will be able to find the solution of highly nonlinear oscillators.
Źródło:
Acta Mechanica et Automatica; 2023, 17, 3; 357--363
1898-4088
2300-5319
Pojawia się w:
Acta Mechanica et Automatica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Improving modified policy iteration for probabilistic model checking
Autorzy:
Mohagheghi, Mohammadsadegh
Karimpour, Jaber
Isazadeh, Ayaz
Powiązania:
https://bibliotekanauki.pl/articles/27312850.pdf
Data publikacji:
2022
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
probabilistic model checking
Markov decision processes
modified policy iteration
probabilistic reachability
Opis:
Along with their modified versions, value iteration and policy iteration are well-known algorithms for the probabilistic model checking of Markov decision processes. One challenge with these methods is that they are time-consuming in most cases. Several techniques have been proposed to improve the performance of iterative methods for probabilistic model checking; however, the running times of these techniques depend on the graphical structure of the utilized model. In some cases, their performance can be worse than the performance of standard methods. In this paper, we propose two new heuristics for accelerating the modified policy iteration method. We first define a criterion for the usefulness of the computations of each iteration of this method. The first contribution of our work is to develop and use a criterion to reduce the number of iterations in modified policy iteration. As the second contribution, we propose a new approach for identifying useless updates in each iteration. This method reduces the running time of the computations by avoiding the useless updates of states. The proposed heuristics have been implemented in the PRISM model checker and applied on several standard case studies. We compare the running time of our heuristics with the running times of previous standard and improved methods. Our experimental results show that our techniques yields a significant speed-up.
Źródło:
Computer Science; 2022, 23 (1); 63--80
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Numerical scheme methods for solving nonlinear pseudo-hyperbolic partial differential equations
Autorzy:
Abdulazeez, Sadeq Taha
Modanli, Mahmut
Husien, Ahmad Muhamad
Powiązania:
https://bibliotekanauki.pl/articles/2202054.pdf
Data publikacji:
2022
Wydawca:
Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
Tematy:
nonlinear pseudo-hyperbolic partial differential equation
homotopy analysis method
variational iteration method
approximate solution
nieliniowe pseudohiperboliczne równanie różniczkowe cząstkowe
homotopijna metoda analizy
metoda iteracji wariacyjnych
rozwiązanie przybliżone
Opis:
The numerical solutions to the nonlinear pseudo-hyperbolic partial differentia equation with nonlocal conditions are presented in this study. This equation is solved using the homotopy analysis technique (HAM) and the variational iteration method (VIM). Both strategies are compared and contrasted in terms of approximate and accurate solutions. The results show that the HAM technique is more appropriate, effective, and close to the exact solution than the VIM method. Finally, the graphical representations of the obtained results are given.
Źródło:
Journal of Applied Mathematics and Computational Mechanics; 2022, 21, 4; 5--15
2299-9965
Pojawia się w:
Journal of Applied Mathematics and Computational Mechanics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Iteracje we współczesnej architekturze oraz nauczaniu architektonicznym
Iterations in contemporary architecture and architectural teaching
Autorzy:
Wawrzyniak, Cezary
Powiązania:
https://bibliotekanauki.pl/articles/38143143.pdf
Data publikacji:
2021
Wydawca:
Wyższa Szkoła Techniczna w Katowicach
Tematy:
iteracja
edukacja architektoniczna
projektowanie parametryczne
iteration
architectural education
parametric design
Opis:
Artykuł przybliża uświadomione wykorzystywanie iteracji w kształtowaniu formy architektonicznej na wybranych przykładach: stadionu Aami Park w Melbourne oraz wieżowca Al Hamra Tower w Kuwejcie. Ważnym aspektem poruszonym w pracy jest przybliżenie doświadczeń własnych związanych iteracją i dydaktyką na uczelni wyższej na kierunku architektura. Działalność architektoniczna osadzona na pograniczu techniki i sztuki. Skomplikowanie jej natury może do tego stopnia zmieniać obraz projektowania, że proste logiczne cykle ulegają ukryciu, rozmyciu w gąszczu wszelkich zasad. Zasad tych w wielu wypadkach nie można określić prostą regułą. Doświadczony architekt stawiając przysłowiową kreską decyduje o kilkunastu aspektach jednocześnie. Przy czym znaczna ich część wynika z jego doświadczenia jednostkowego i własnej interpretacji zasad ogólnych. Nie trudno więc o opinię negującą iteracje w architekturze wśród zawodowców zajmujących się innymi zawodami, które w ogólnej ocenie mogą być do architektury bardzo podobne.
The paper presents the iteration in architectural design, using selected examples: the Aami Park stadium in Melbourne and the Al Hamra Tower in Kuwait. An important aspect of the paper is the presentation of the author’s own experiences related to the introduction of iteration in the didactic process of an design course in the field of architecture. Architectural activity is set on the borderline between technology and art. The complexity of its nature can change the image of design to such an extent that simple logical cycles become hidden, blurred in the thicket of all the rules. In many cases, these principles cannot be defined by a simple rule. An experienced architect making the proverbial line decides about a dozen or so aspects at the same time. A considerable part of them results from his individual experience and his own interpretation of general principles. Therefore, it is not difficult to find an opinion negating iterations in architecture among professionals dealing with other professions, which in general assessment may be very similar to architecture.
Źródło:
Zeszyty Naukowe Wyższej Szkoły Technicznej w Katowicach; 2021, 13; 17-26
2082-7016
2450-5552
Pojawia się w:
Zeszyty Naukowe Wyższej Szkoły Technicznej w Katowicach
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Le malade d’Alzheimer autre à soi et à ses proches : la circularité comme mal et la régularité comme remédiation
Alzheimer’s Patients Other Than Themselves and Their Loved Ones: Circularity as Evil and Regularity as Remedy
Autorzy:
Cusimano, Christophe
Vítková, Kristýna
Powiązania:
https://bibliotekanauki.pl/articles/2056729.pdf
Data publikacji:
2021
Wydawca:
Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
Tematy:
Alzheimer's disease
memory
repetition
regularity
iteration
semantics
speech analysis
maladie d'Alzheimer
mémoire
répétition
régularité
itération
sémantique
analyse de discours
Opis:
Tout aidant qui fait face aux répétitions discursives et gestuelles des patients atteints de la maladie d'Alzheimer doit néanmoins mettre en place un programme de routine quotidien. Cet apparent paradoxe combine circularité d’une part et régularité d’autre part, deux principes fondés sur le même axiome: l’itération. L’itération peut entraîner l’enfermement du patient en lui-même lorsqu’elle prend la forme d’une circularité, alors qu’elle est bénéfique lorsqu’elle prend la forme d’une rassurante régularité. Cette dernière permet d’éloigner, au moins provisoirement, la menace d’un double éloignement du malade, de lui-même et de son entourage. Dans cet article, nous envisageons l’itération sous deux angles, linguistique et comportementale.
Any caregiver who has to face the discursive and gestural repetitions of Alzheimer’s patients must nevertheless set up a daily schedule routine. This apparent paradox brings together circularity on the one hand and regularity on the other, two principles based on the same axiom: iteration. Iteration can cause the patient to be locked up within himself when it takes the shape of circularity, whereas it can be beneficial when it takes the form of a reassuring regularity. The latter removes, at least temporarily, the threat of a dual break of the patient, from himself and from his friends and family. In this article, we consider iteration from two angles, linguistic and behavioural.
Źródło:
Lublin Studies in Modern Languages and Literature; 2021, 45, 4; 80-88
0137-4699
Pojawia się w:
Lublin Studies in Modern Languages and Literature
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Nonhomogeneous equations with critical exponential growth and lack of compactness
Autorzy:
Figueiredo, Giovany M.
Radulescu, Vicentiu D.
Powiązania:
https://bibliotekanauki.pl/articles/255035.pdf
Data publikacji:
2020
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
exponential critical growth quasilinear equation Trudinger-Moser inequality
Moser iteration
Opis:
We study the existence and multiplicity of positive solutions for the following class of quasilinear problems [formula] where e∈ is a positive parameter. We assume that [formula] is a continuous potential and ƒ : R → R is a smooth reaction term with critical exponential growth.
Źródło:
Opuscula Mathematica; 2020, 40, 1; 71-92
1232-9274
2300-6919
Pojawia się w:
Opuscula Mathematica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The subspace iteration method for eigenproblems of frames with viscoelastic dampers described using internal variables
Autorzy:
Łasecka-Plura, Magdalena
Powiązania:
https://bibliotekanauki.pl/articles/2146616.pdf
Data publikacji:
2020
Wydawca:
Politechnika Poznańska. Instytut Mechaniki Stosowanej
Tematy:
subspace iteration method
Hermitian quadratic eigenproblem
dampers
Zener model
metoda iteracji podprzestrzeni
amortyzator
model Zenera
Opis:
In the paper, the subspace iteration method is used to solve quadratic eigenproblems written for structures with viscoelastic dampers. This allows a certain previously assumed number of eigenvalues and corresponding eigenvectors to be determined. A shear frame with mass lumped on the storey level with built-in dampers is considered. Dampers are modelled with the classical Zener model. Equations of motion are written in the matrix form and include the internal variables resulting from built-in dampers. The subspace iteration method starts from adopting the number of sought solution for the quadratic eigenproblem, then the starting point of the iteration is determined and the iterative procedure is initiated. In each iterative loop the reduced quadratic eigenproblem with Hermitian matrices is solved by rearranging it into a state space form.
Źródło:
Vibrations in Physical Systems; 2020, 31, 3; art. no. 2020313
0860-6897
Pojawia się w:
Vibrations in Physical Systems
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A simple technique for approximate evaluation of permeability and skin of a dry gas zone with low to moderate permeability using wellhead pressure data
Nowa metoda interpretacji danych odbudowy ciśnienia głowicowego w odwiertach gazowych udostępniających złoże o niskiej lub umiarkowanej przepuszczalności
Autorzy:
Szpunar, T.
Budak, P.
Dziadkiewicz, M.
Powiązania:
https://bibliotekanauki.pl/articles/1835156.pdf
Data publikacji:
2018
Wydawca:
Instytut Nafty i Gazu - Państwowy Instytut Badawczy
Tematy:
gas well
wellhead buildup pressure
bottom hole pressure
diffusivity equation
iteration procedure
odwiert gazowy
odbudowa ciśnienia głowicowego
ciśnienie denne
równanie dyfuzji
procedura iteracyjna
Opis:
This paper presents a technique for approximate evaluation of permeability and skin of a dry gas zone with low to moderate permeability. The herein given technique may be used for analyzing the wellhead buildup pressure data of a gas well. The results obtained using the presented technique are approximate, because of some simplifying assumptions of the mathematical model and use of the classical method of downhole pressure calculation in static gas column, which is known to be of rather moderate accuracy. In a computer program (not shown) we used the trial and error method to improve the accuracy of down hole pressure calculation and for the evaluation of the average value of gas deviation factor. In the case of thick, highly permeable gas zones, the duration of wellhead pressure build up time may be too short to obtain reliable results. The procedure of execution of the presented technique is very similar to that of the well known “slug test” method, which is used for the evaluation of permeability and skin of reservoirs which do not flow to the surface, or for analyzing the drill stem test flow period data. Contrary to “Horner type” analysis of pressure build up data, neither the flow rate of gas nor the flow duration, need not be known. The procedure of permeability calculation is shown using five examples of gas wells from the domestic oil industry. To facilitate calculations all equations were converted to the engineering system of units.
W artykule zaproponowano sposób obliczania przepuszczalności i skin efektu odwiertu gazowego o niskiej i umiarkowanej przepuszczalności warstwy gazonośnej. Niniejszy sposób można zastosować do analizy krzywej odbudowy ciśnienia głowicowego po krótkotrwałej eksploatacji gazu z odwiertu. W przeciwieństwie do interpretacji danych metodą Hornera nie jest potrzebna znajomość wydatku gazu oraz czasu, przez jaki wydatek ten był utrzymywany. Podano model matematyczny leżący u podstaw proponowanej metody oraz pięć przykładów obliczeń dla odwiertów z krajowego przemysłu naftowego. Należy podkreślić, że do obliczeń przepuszczalności ani wydatek gazu podczas wypływu z odwiertu, ani sumaryczna jego objętość i czas trwania wypływu nie muszą być znane, natomiast konieczna jest znajomość parametrów i składu gazu oraz pojemności odwiertu z uwagi na użycie metod bilansu masowego zamiast zasady superpozycji rozwiązań przyjętej w metodzie Hornera. W przypadku grubych, wysoce przepuszczalnych stref gazowych czas narastania ciśnienia w odwiercie może być zbyt krótki, aby uzyskać wiarygodne wyniki. W programie komputerowym (niezaprezentowany) wykorzystano metodę „prób i błędów”, aby poprawić dokładność obliczeń ciśnienia dennego w odwiercie oraz oszacowania średniej wartości współczynnika ściśliwości gazu. Procedura interpretacji danych za pomocą prezentowanego sposobu jest bardzo podobna do powszechnie znanej metody slug test, która jest używana do oceny przepuszczalności i skin efektu dla złóż cieczy, z których nie ma wypływu na powierzchnię, lub do analizy danych uzyskiwanych podczas opróbowań otworów. Równania przyjęte do obliczeń zostały przeliczone z systemu jednostek SI na system jednostek przyjmowany w przemyśle naftowym.
Źródło:
Nafta-Gaz; 2018, 74, 12; 905-918
0867-8871
Pojawia się w:
Nafta-Gaz
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Collocation method based on barycentric interpolation iteration for analysis of nonlinear microbeams
Autorzy:
Zhuang, M.
Miao, C.
Wang, Z.
Powiązania:
https://bibliotekanauki.pl/articles/279890.pdf
Data publikacji:
2018
Wydawca:
Polskie Towarzystwo Mechaniki Teoretycznej i Stosowanej
Tematy:
nonlinear microbeams
barycentric Lagrange interpolation
collocation method
linearization method
iteration method
Opis:
A powerful computational methodology, named the barycentric Lagrange interpolation iteration collocation method (BLIICM), for solving nonlinear bending problems of a doubly clamped microbeam under electrostatic loads is presented. The nonlinear governing equation of the microbeam is converted into a linear differential equation by assuming the initial function. The barycentric Lagrange interpolation collocation method (BLICM) is used to solve the linear differential equation. The direct linearization formulations and Newton linearization calculation formulations for the nonlinear differential equation have been given. The calculation method and formulation of the nonlinear integral term have been discussed in details. By applying a barycentric Lagrange interpolation differential matrix, a matrix-vector calculation formula of BLIICM has been established. Numerical results of calculation examples show that the advantages of the proposed methodology are efficient, simple and of high precision.
Źródło:
Journal of Theoretical and Applied Mechanics; 2018, 56, 3; 741-749
1429-2955
Pojawia się w:
Journal of Theoretical and Applied Mechanics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The Development of Iteration Method for Optimization of Pair "Signal-filter"
Autorzy:
Koshevyy, V.M.
Gorishna, I.
Powiązania:
https://bibliotekanauki.pl/articles/116953.pdf
Data publikacji:
2018
Wydawca:
Uniwersytet Morski w Gdyni. Wydział Nawigacyjny
Tematy:
iteration method for optimization
iteration method
method for optimization
Matlab
radar signals
signal-to-noise ratio
signal processing
pair signal-filter
Opis:
This paper is devoted to the improvement of the working methods of the "signal-filter" pair using an iterative procedure to maximize the signal-to-noise ratio, namely, to highlight the useful signals to provide information about the environment during the adaptive radar sensing in the conditions of obstacles. An algorithm for determining the optimal filter for suppressing undesired side lobes is proposed, which allows improving the process of detection and identification the target objects. Qualitative characteristics and the stages of space-time signal processing in the radar were justified under correlation conditions (ССF) between the received and expected signals. The using of probing radar signals, shortened in their duration were proposed in order to reduce the power of reflections from the underlying surface and increase the contrast of the radar image. A simulation test of the developed methodology was carried out in order to confirm the reliability of the proposed algebraic expressions using a mathematical model implemented in the Matlab programming environment, and a conclusion is drawn about the practical quality of the technical solutions developed on the basis of the iteration method.
Źródło:
TransNav : International Journal on Marine Navigation and Safety of Sea Transportation; 2018, 12, 3; 541-544
2083-6473
2083-6481
Pojawia się w:
TransNav : International Journal on Marine Navigation and Safety of Sea Transportation
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Control design for untimed Petri nets using Markov Decision Processes
Autorzy:
Daoui, C.
Lefebvre, D.
Powiązania:
https://bibliotekanauki.pl/articles/406340.pdf
Data publikacji:
2017
Wydawca:
Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
Tematy:
discrete event systems
Petri nets
control design
Markov decision process
value iteration algorithm
Opis:
Design of control sequences for discrete event systems (DESs) has been presented modelled by untimed Petri nets (PNs). PNs are well-known mathematical and graphical models that are widely used to describe distributed DESs, including choices, synchronizations and parallelisms. The domains of application include, but are not restricted to, manufacturing systems, computer science and transportation networks. We are motivated by the observation that such systems need to plan their production or services. The paper is more particularly concerned with control issues in uncertain environments when unexpected events occur or when control errors disturb the behaviour of the system. To deal with such uncertainties, a new approach based on discrete time Markov decision processes (MDPs) has been proposed that associates the modelling power of PNs with the planning power of MDPs. Finally, the simulation results illustrate the benefit of our method from the computational point of view.
Źródło:
Operations Research and Decisions; 2017, 27, 4; 27-43
2081-8858
2391-6060
Pojawia się w:
Operations Research and Decisions
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Fixed-point iteration based algorithm for a class of nonlinear programming problems
Autorzy:
Belegundu, A. D.
Powiązania:
https://bibliotekanauki.pl/articles/122443.pdf
Data publikacji:
2017
Wydawca:
Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
Tematy:
fixed-point iteration
resource allocation
nonlinear programming
optimality criteria
iteracja punku stałego
alokacja zasobów
programowanie nieliniowe
kryteria optymalizacji dwukierunkowych torów wodnych
algorytm punktu stałego
Opis:
A fixed-point algorithm is presented for a class of singly constrained nonlinear programming (NLP) problems with bounds. Setting the gradient of the Lagrangian equal to zero yields a set of optimality conditions. However, a direct solution on general problems may yield non-KKT points. Under the assumption that the gradient of the objective function is negative while the gradient of the constraint function is positive, and that the variables are positive, it is shown that the fixed-point iterations can converge to a KKT point. An active set strategy is used to handle lower and upper bounds. While fixed-point iteration algorithms can be found in the structural optimization literature, these are presented without clearly stating assumptions under which convergence may be achieved. They are also problem specific as opposed to working with general functions f, g. Here, the algorithm targets general functions which satisfy the stated assumptions. Further, within this general context, the fixed-point variable update formula is given physical significance. Unlike NLP descent methods, no line search is involved to determine step size which involves many function calls or simulations. Thus, the resulting algorithm is vastly superior for the subclass of problems considered. Moreover, the number of function evaluations remains independent of the number of variables allowing the efficient solution of problems with a large number of variables. Applications and numerical examples are presented.
Źródło:
Journal of Applied Mathematics and Computational Mechanics; 2017, 16, 2; 29-41
2299-9965
Pojawia się w:
Journal of Applied Mathematics and Computational Mechanics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Procedural generation of aesthetic patterns from dynamics and iteration processes
Autorzy:
Gdawiec, K.
Powiązania:
https://bibliotekanauki.pl/articles/329905.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
dynamical system
dynamics process
iteration process
aesthetic pattern
układ dynamiczny
proces dynamiczny
proces iteracji
wzorzec estetyczny
Opis:
Aesthetic patterns are widely used nowadays, e.g., in jewellery design, carpet design, as textures and patterns on wallpapers, etc. Most of the work during the design stage is carried out by a designer manually. Therefore, it is highly useful to develop methods for aesthetic pattern generation. In this paper, we present methods for generating aesthetic patterns using the dynamics of a discrete dynamical system. The presented methods are based on the use of various iteration processes from fixed point theory (Mann, S, Noor, etc.) and the application of an affine combination of these iterations. Moreover, we propose new convergence tests that enrich the obtained patterns. The proposed methods generate patterns in a procedural way and can be easily implemented on the GPU. The presented examples show that using the proposed methods we are able to obtain a variety of interesting patterns. Moreover, the numerical examples show that the use of the GPU implementation with shaders allows the generation of patterns in real time and the speed-up (compared with a CPU implementation) ranges from about 1000 to 2500 times.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2017, 27, 4; 827-837
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Tiling arbitrarily nested loops by means of the transitive closure of dependence graphs
Autorzy:
Bielecki, W.
Pałkowski, M.
Powiązania:
https://bibliotekanauki.pl/articles/331155.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
tiling
transitive closure
source-to-source compiler
polyhedral model
iteration space slicing
domknięcie przechodnie
kompilator
model wielościenny
Opis:
A novel approach to generation of tiled code for arbitrarily nested loops is presented. It is derived via a combination of the polyhedral and iteration space slicing frameworks. Instead of program transformations represented by a set of affine functions, one for each statement, it uses the transitive closure of a loop nest dependence graph to carry out corrections of original rectangular tiles so that all dependences of the original loop nest are preserved under the lexicographic order of target tiles. Parallel tiled code can be generated on the basis of valid serial tiled code by means of applying affine transformations or transitive closure using on input an inter-tile dependence graph whose vertices are represented by target tiles while edges connect dependent target tiles. We demonstrate how a relation describing such a graph can be formed. The main merit of the presented approach in comparison with the well-known ones is that it does not require full permutability of loops to generate both serial and parallel tiled codes; this increases the scope of loop nests to be tiled.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2016, 26, 4; 919-939
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Opracowanie i konstrukcja regulatora pompy ciepła typu powietrze-woda: modelowanie obiektu
Design and construction of the controller for air-water heat pump: modeling of control plant
Autorzy:
Tatjewski, P.
Ławryńczuk, M.
Marusak, P.
Rubik, M.
Ziętek, P.
Szumski, M.
Powiązania:
https://bibliotekanauki.pl/articles/930313.pdf
Data publikacji:
2015
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
pompa ciepła
modelowanie
metoda iteracji prostych
heat pump
modeling
direct iteration method
Opis:
W artykule opisano metodę tworzenia modelu pompy ciepła, który docelowo zostanie wykorzystany do opracowania urządzenia sterującego. Ze względu na szybkie działanie obiektu, skoncentrowano się na opracowaniu modelu statycznego obiektu. Model ten jest złożony z szeregu równań, które opisują poszczególne elementy pompy ciepła, czyli: sprężarkę, skraplacz, zawór rozprężny oraz parowacz. Pomimo stosunkowo bogatej literatury, w której zostały opisane modele poszczególnych elementów pompy ciepła, ich połączenie w jeden model nie jest niestety działaniem prostym i, ze względu na stosunkowo duży stopień skomplikowania zagadnienia, wymaga opracowania funkcji (najczęściej w postaci wielomianów), które opisują zmiany parametrów modelu. Ponadto okazało się być potrzebne zastosowanie algorytmu otrzymywania wartości wyjść, który bazuje na metodzie iteracji prostych. Dzięki opisanemu w referacie podejściu, została uzyskana dobra jakość modelowania, o czym świadczą wyniki przeprowadzonych eksperymentów. Podczas tych badań, przebiegi zmiennych odwzorowujących pracę obiektu zostały porównane z danymi pozyskanymi z rzeczywistego obiektu (pompy ciepła).
A method of design of a heat pump model for developing optimizing control device is described. The control plant is fast, therefore a static control plant model is considered. The model consists of many equations describing elements of the heat pump, namely: a compressor, a condenser, an expansion valve and an evaporator. Despite relatively rich literature describing models of the elements of the heat pump, connection of these models into one is not a simple task. Due to the complexity of the problem some functions describing changes of parameters of the control plant must be obtained (in most cases polynomials are used as these functions). Moreover, as the complexity of the model is considerable an algorithm based on direct iteration method must be used to obtain output values. Thanks to the approach which was described in the paper, good quality of modeling was obtained, what is well illustrated by results of comparison of variables obtained from the model with data collected from the real plant.
Źródło:
Pomiary Automatyka Robotyka; 2015, 19, 1; 21-28
1427-9126
Pojawia się w:
Pomiary Automatyka Robotyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 51

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