Temat: real-time model - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Model based compensation of geometrical deviations due to process forces
Autorzy:: Denkena, B.
Dahlmann, D.
Peters, R.
Witt, M.
Tematy:: model based compensation
reduction of geometrical errors
real-time model; Pokaż więcej
Wydawca:: Wrocławska Rada Federacji Stowarzyszeń Naukowo-Technicznych
Powiązania:: https://bibliotekanauki.pl/articles/99994.pdf Link otwiera się w nowym oknie
Opis:: Machining accuracy can be considerably affected by deflections of machine tool components and the workpiece. This work presents a new approach for real-time deflection compensation, based on control integrated models. A real-time material removal rate (MRR) simulation determines the depth of cut which is used for process force calculation by Kienzle-Equations. Machine tool and workpiece deflections are then derived from a mechanical model using the calculated process forces. For this purpose, control based signals are used as model inputs. The total deviation is sent to the position controller as a setpoint offset. A dynamometer was applied to validate the simulated process forces. The presented approach was validated for cylindrical turning operations on chucked steel shafts. The experiments were carried out on a high-precision slant bed lathe. The results show, that geometrical errors could be reduced by more than 70% on average.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 2.

Tytuł:: Cyfrowy automat sterujący urządzeń energoelektronicznych z wykorzystaniem modelu czasu rzeczywistego falownika
Digital state machine of power electronic device with the use of inverter’s real-time model
Autorzy:: BINKOWSKI, Tomasz
KWIATKOWSKI, Bogdan
Tematy:: model czasu rzeczywistego
energoelektronika
falownik
sterowanie
real-time model
power electronic
inverter
control; Pokaż więcej
Wydawca:: Uniwersytet Rzeszowski
Powiązania:: https://bibliotekanauki.pl/articles/456633.pdf Link otwiera się w nowym oknie
Opis:: Artykuł przedstawia koncepcję stanowiska laboratoryjnego przeznaczonego do badań układów sterowania przekształtników energoelektronicznych. Zakłada się, że przekształtnik energoelektroniczny symulowany jest sprzętowo jako współbieżny proces w stosunku do testowanego układu sterowania. Jako platformę sprzętową wykorzystuje się układ o programowalnej strukturze logicznej umożliwiający testowanie procesu sterowania na modelu czasu rzeczywistego przekształtnika lub bezpośrednie sterowanie modelem laboratoryjnym. Jako przykład przedstawiono cyfrowy model falownika napięcia sterowany automatem realizującym przełączanie półokresowe. Prezentowana koncepcja ma zastosowanie w badaniach naukowych i dydaktyce.
The article presents the concept of the laboratory stand for testing of power electronic control systems. It is assumed that the converter unit and the control process are simulated in parallel as a hardware. The hardware platform uses the programmable logical structure for testing the control process on real time inverter model or can directly control the laboratory inverter model. The digital model of the inverter voltage controlled by digital state machine that makes half-period switching was used as an example. The presented concept is applicable in scientific research and teaching.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 3.

Tytuł:: Modeling and analysis of probabilistic real-time systems through integrating event-b and probabilistic model checking
Autorzy:: Debbi, Hichem
Tematy:: event-B
probabilistic event-B
real-time probabilistic model checking
PTA
PRISM; Pokaż więcej
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Powiązania:: https://bibliotekanauki.pl/articles/27312896.pdf Link otwiera się w nowym oknie
Opis:: Event-B is a formal method that is used in the development of safety-critical systems; however, these systems may introduce uncertainty and also need to meet real-time requirements, which make the modeling and analysis of such systems a challenging task. While some works exist that try to extend Event-B with probability and over time, they fail to address both in a single framework. Besides, these works mainly addressed extending the language itself, not integrating extended Event-B with verification. In this paper, we aim to represent both probability and time in the Event-B language, and we will show how such a representation can be automatically translated into the probabilistic timed automata (PTA) that are described in the language of the PRISM probabilistic model checker. This transformation approach would allow us to analyze the probabilistic and time-bounded probabilistic reachability properties of probabilistic real-time systems through probabilistic timed CTL (PTCTL) logic.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 4.

Tytuł:: Real time computer tester for automatic voltage regulators used in marine generators
Autorzy:: Płachtyna, O.
Bastian, B.
Kutsyk, A.
Tematy:: synchronous generator
mathematical model
numerical method
real time; Pokaż więcej
Wydawca:: Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Powiązania:: https://bibliotekanauki.pl/articles/378183.pdf Link otwiera się w nowym oknie
Opis:: This article briefly introduces the characteristics of ships' electrical power networks, and an existing system is described as an example. A mathematical model of a selected power system, including generators with a drive and its loads, is presented. The algorithm implementing the author's numerical method, named 'the average step voltages method', is described. The chosen numerical method is notable for its stability and high accuracy, even in combination with a large integration step size. Software and hardware applications of the RT AVR tester are also shown. To check the adequacy of the simulations using the implemented model, experimental measurements were carried out. The measurements, including dynamic states, obtained by the computer tester with the AVR system, as well as the physical model with the AVR system, are summarized. Possibilities for usage in the marine industry in the future are also outlined.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 5.

Tytuł:: Laboratoryjny model odbiornika dużej mocy. Koncepcja, wykonanie, eksperymenty
Laboratory large power load model. Concept, implementation, experiments
Autorzy:: Kędra, B.
Małkowski, R.
Tematy:: przekształtniki mocy
simulink Real-Time
Matlab
model odbioru
power converter
simulink real-time
MATLAB
load
tap controller; Pokaż więcej
Wydawca:: Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Powiązania:: https://bibliotekanauki.pl/articles/268999.pdf Link otwiera się w nowym oknie
Opis:: W referacie przedstawiono koncepcję oraz sposób realizacji laboratoryjnego modelu odbioru o mocy 150 kVA. Odbiornik zaprojektowano w taki sposób aby umożliwić emulację zmienności mocy dowolnego odbiorcy, jak również pracę transformatora zasilającego takiego odbiorcę. W referacie zaprezentowano też przykładowe wyniki prób eksperymentalnych potwierdzające słuszność przyjętej koncepcji sterowania.
First section of the paper provides concept of laboratory load model basing on 150 kVA power frequency converter and Simulink Real-Time platform. Assumptions, as well as control algorithm structure is presented. Theoretical considerations based on criteria which load types may be simulated using discussed laboratory setup, are described. Implementation details are given in second section of paper. Hardware structure is presented and described. Information about used communication interface, data maintenance and storage solution, as well as used Simulink real-time features are presented. Third section describes performed laboratory tests and their results.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 6.

Tytuł:: Speed Analysis of a Digital Controller in Time Critical Applications
Autorzy:: Piątek, P.
Grega, W.
Tematy:: digital control
real-time control
time-critical systems
FPGA
magnetic levitation
timing model; Pokaż więcej
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Powiązania:: https://bibliotekanauki.pl/articles/384616.pdf Link otwiera się w nowym oknie
Opis:: Traditionally, control algorithms are designed without a consideration of their real-time implementation details. The performance of a digital control system, besides the sampling period, depends on many variables, such as the control loop execution time, jitter, complexity of the control algorithm etc. In this paper attention is focused on the inter-action of the parameters of the scheduled tasks and on the performance of control loops closed with digital controller. A design approach that is based on the relative speed classification of the control system has been proposed. The approach is illustrated by the analysis of control systems developed for laboratory magnetic levitation process.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 7.

Tytuł:: Время как фактор, преобразующий модель личности («Повести Белкина» – от «поэтического» к «прозаическому»), ч. 2
The time as a factor in transforming the model of personality (Belkin Tales – from “poetics” to the “prose” of life), part 2
Autorzy:: Główko, Olga
Tematy:: А. Pushkin
The Tales of Belkin
story time
real time
model of personality; Pokaż więcej
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Powiązania:: https://bibliotekanauki.pl/articles/22606557.pdf Link otwiera się w nowym oknie
Opis:: The article examines how A. Pushkin uses the category of the time in his Tales of Belkin epic cycle; the second part, a short story The Blizzard, lets us specify a variety of solutions which are representative of the cycle as a whole. Pushkin’s poetics of time consists in that the time can improve and destroy the personality. Time in its course creates conditions for the formation of the full and harmonious personality, combining poetry and the prose of life.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 8.

Tytuł:: Zastosowanie ukrytych modeli Markowa do analizy finansowych szeregów czasowych
The Application of Hidden Markov Models in Financial Time Series Analysis
Autorzy:: Brania, Krzysztof
Opis:: Niniejsza praca magisterska realizuje dwa naczelne cele: wprowadzenie do teorii ukrytych modeli Markowa oraz zbadanie danych empirycznych w kontekście praktycznego zastosowania tych modeli. Poprawnie zbudowany model matematyczny powinien dobrze odzwierciedlać rzeczywistość oraz być w stanie efektywnie przewidywać przyszłość. Ukryte modele Markowa spełniają te warunki, posiadają solidne podstawy matematyczne, a także łatwość interpretacji oraz wnioskowania na ich podstawie. W pracy przedstawiono genezę i podstawowe własności łańcuchów Markowa oraz ukrytych modeli Markowa. Ponadto, omówiono metody rozwiązywania trzech podstawowych problemów związanych z tymi modelami – problemu ewaluacji, problemu dekodowania oraz problemu uczenia. Są to, odpowiednio, algorytm prefiksowo-sufiksowy, algorytm Viterbiego oraz algorytm Bauma-Welcha (szczególny przypadek algorytmu maksymalizacji wartości oczekiwanej). W części empirycznej niniejszej pracy przetestowano ukryte modele Markowa jako narzędzie analizy cykli ekonomicznych w czasie rzeczywistym. Zaimplementowano przełącznikowy model Markowa oparty na modelu Hamiltona. Użyte dane pochodzą z kwartalnego szeregu czasowego amerykańskiego produktu krajowego brutto oraz dziennego szeregu czasowego największego światowego indeksu akcji - Standard and Poors 500.
This master's thesis has two major purposes: to provide an introduction to Hidden Markov Models theory and to investigate empirical data in the aim to show practical application of such models. A correctly developed mathematical model should create an accurate reflection of reality and it should be able to forecast the future effectively. Hidden Markov Models have this properties and they also have a solid mathematical background and easiness of interpretation and inference. The thesis describes the genesis and basic properties of Markov Chains and Hidden Markov Models. Moreover, we discuss solution methods of three fundamental problems connected with Hidden Markov Models - the evaluation problem, the decoding problem and the learning problem. These methods are, respectively, forward-backward algorithm, Viterbi algorithm and Baum-Welch algorithm (special case of Expectation Maximization algorithm). In the empirical part of this study, Hidden Markov Models are evaluated as a tool for Real-Time Business Cycle Dating. We implemented the Markov Switching Model based on Hamilton’s model. Data for this research comes from quarterly time series of American Gross Domestic Product and from the daily time series of the world's biggest stock index, Standard and Poors 500.
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Skocz do pozycji: 9.

Tytuł:: Electrical system elements aggregation for parallel computing in real-time digital simulators
Autorzy:: Cieślik, S
Tematy:: digital simulation of electrical systems
real-time simulation
mathematical model decomposition
parallel computation; Pokaż więcej
Wydawca:: Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Powiązania:: https://bibliotekanauki.pl/articles/97569.pdf Link otwiera się w nowym oknie
Opis:: Above article is about the issues of constructing digital real-time simulators of electrical systems. A characteristic thing of this type of simulators is the possibility of direct cooperation with physical devices, such as regulators etc. It is expected to obtain the results of numerical computations for a given level of adequacy in a particular time. To allow perform parallel calculations, it is appropriate mathematical models of electric system have to be used. We can achieve this using decomposition of the mathematical models of electrical systems at the simulator design stage. To accelerate calculations it is recommended to use mathematical models of aggregated electrical system elements. In this article we derived the mathematical model of the aggregated linear sample of three-phase element, which is used afterwards in the simulator of linear electrical system sample. Experiment results with the use of digital platform with 6-core processor have been also covered in this paper.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 10.

Tytuł:: Stability Analysis of Real-Time Simulation of a Power Transformer’s Operating Conditions
Analiza stabilności symulacji stanów pracy transformatora elektroenergetycznego w czasie rzeczywistym
Autorzy:: Kłosowski, Z.
Cieślik, S.
Tematy:: symulator pracujący w czasie rzeczywistym
stabilność symulacji
model matematyczny transformatora
real-time simulator
simulation stability
mathematical model of transformer; Pokaż więcej
Wydawca:: ENERGA
Powiązania:: https://bibliotekanauki.pl/articles/952909.pdf Link otwiera się w nowym oknie
Opis:: Real-time computer simulation of a power system’s operating conditions requires the use of mathematical modelling algorithms that guarantee the execution of calculations in an assumed time and with an assumed precision. A power transformer is a power system’s basic element, the mathematical model of which is relatively complex (magnetic couplings, non-linear magnetization characteristics). Computer simulation of a transformer’s operating conditions is meant as a numerical representation of its operation. Simulation stability is another important issue in the context of the simulators’ operation in real time. This paper presents a stability analysis of real-time simulation using the numerical integration trapezoid algorithm for mathematical modelling of power transformers.
Komputerowa symulacja stanów pracy systemów elektroenergetycznych w czasie rzeczywistym wymaga stosowania algorytmów modelowania matematycznego, które będą gwarantowały wykonanie obliczeń w założonym czasie i z określoną precyzją. Transformator elektroenergetyczny jest jednym z podstawowych elementów systemu elektroenergetycznego, którego model matematyczny jest stosunkowo złożony (m.in.: sprzężenia magnetyczne, nieliniowość charakterystyki magnesowania). Symulacja komputerowa stanów pracy transformatora jest rozumiana jako numeryczne odwzorowanie jego działania. Stabilność symulacji jest kolejnym ważnym zagadnieniem w kontekście pracy symulatorów w czasie rzeczywistym. W artykule przedstawiono analizę stabilności symulacji realizowanej w czasie rzeczywistym z zastosowaniem algorytmu trapezów całkowania numerycznego w modelowaniu matematycznym transformatorów elektroenergetycznych.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Informacja

Wyszukujesz frazę "real-time model" wg kryterium: Temat