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ę "real-time model" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 18
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
Powiązania:
https://bibliotekanauki.pl/articles/456633.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Rzeszowski
Tematy:
model czasu rzeczywistego
energoelektronika
falownik
sterowanie
real-time model
power electronic
inverter
control
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.
Źródło:
Edukacja-Technika-Informatyka; 2016, 7, 4; 387-393
2080-9069
Pojawia się w:
Edukacja-Technika-Informatyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Electrical system elements aggregation for parallel computing in real-time digital simulators
Autorzy:
Cieślik, S
Powiązania:
https://bibliotekanauki.pl/articles/97569.pdf
Data publikacji:
2013
Wydawca:
Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Tematy:
digital simulation of electrical systems
real-time simulation
mathematical model decomposition
parallel computation
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.
Źródło:
Computer Applications in Electrical Engineering; 2013, 11; 110-121
1508-4248
Pojawia się w:
Computer Applications in Electrical Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Ocena efektywności działania priorytetów dla tramwajów realizowanych w systemie SPRINT/ITS/SCATS za pomocą narzędzia VISSIM
Evaluation of trams priorities efficiency in VISSIM simulation of SPRINT/ITS/SCATS system
Autorzy:
Czerliński, M.
Ruść, R.
Suda, J.
Powiązania:
https://bibliotekanauki.pl/articles/193124.pdf
Data publikacji:
2016
Wydawca:
Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
Tematy:
priorytety
transport miejski
SPRINT/ITS/SCATS
Vissim
model układu drogowego
modelowanie
system czasu rzeczywistego
priority
urban transport
road system model
modelling
real time system
Opis:
W artykule przedstawiono ocenę efektywności działania priorytetów realizowanych w zintegrowanym systemie zarządzania ruchem SPRINT/ITS/SCATS wdrożonym w Bydgoszczy. Dla potrzeb analizy zrealizowany został model układu drogowego czterech skrzyżowań w ciągu ulicy Fordońskiej. We wstępie wymieniono dokładną lokalizację analizowanego układu drogowego oraz cel podjęcia tematu. Zdefiniowano również zakres przeprowadzonych badań, jak również opisano wskaźnik efektywności. W głównej części artykułu przedstawiono szczegółowy opis każdego ze skrzyżowań znajdującego się na badanym odcinku układu drogowego. Następnie opisany został sposób sterowania w systemie SCATS, jak również sposób detekcji pojazdów transportu indywidualnego oraz zbiorowego. Dodatkowo omówiono sposób realizacji priorytetu dla pojazdów szynowych. Zdefiniowane zostały również cztery modele sterowania ruchem wybrane do porównania. Po wdrożeniu układu drogowego oraz zaimplementowaniu zdefiniowanych sposobów sterowania do badanego modelu, przeprowadzona została symulacja w programie PTV Vissim. Na jej podstawie uzyskane zostały wartości wskaźników oceniających efektywność wdrożonego rozwiązania. W podsumowaniu dokonano analizy wyników osiągniętych podczas przeprowadzonych symulacji. Dokonana została również analiza każdego z proponowanych rozwiązań priorytetu.
The article discusses the assessment of the effectiveness of trams priorities implemented in traffic management system SPRINT/ITS/SCATS being completed in Bydgoszcz. For the purpose of analyses the model of four junctions on the Fordońska street was implemented. The introduction describes the exact location of analysed road system and the purpose of considerations. Also the scope of the study and performance indicator have been defined. The main part of article presents detailed description of each intersection located on the test section of the road. Moreover it describes control method in traffic management system SCATS as well as a way of individual and collective transport vehicle detection. In addition the methods of realization of tram priority were described. Four models of traffic control have also been defined. After the implementation of the road system and control methods to the model, the PTV Vissim simulation was carried out. On such basis, the indicators of effectiveness of the implemented solution have been achieved. In summary, the analysis of the achieved results during simulation was made. Additionally, the analysis of each of the proposed solutions priority has been conducted.
Źródło:
Transport Miejski i Regionalny; 2016, 5; 29-33
1732-5153
Pojawia się w:
Transport Miejski i Regionalny
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Timed concurrent state machines
Współbieżne maszyny stanowe z czasem
Autorzy:
Daszczuk, W. B.
Powiązania:
https://bibliotekanauki.pl/articles/305419.pdf
Data publikacji:
2007
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
metody formalne
weryfikacja modelowa
weryfikacja w czasie rzeczywistym
automaty czasowe
formal methods
model checking
real time verification
Timed Automata
Opis:
Timed Concurrent State Machines are an application of Alur Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea of testing automata, allowing to specify time properties easier than temporal formulas. Also, calculation of a global state space in real-time domain (Region Concurrent State Machines) is defined, allowing to storę a verified system in ready-to-verification form, and to multiply it by various testing automata.
Współbieżne maszyny stanowe z czasem TCSM są aplikacją automatów czasowych Alura w środowisku koincydencyjnym współbieżnych maszyn czasowych CSM (w przeciwieństwie do środowisk przeplotowych). TCSM pasują do idei automatów testujących, które pozwalają wyspecyfikować zależności czasowe łatwiej niż poprzez formuły temporalne. Ponadto zdefiniowano sposób wyznaczania globalnej przestrzeni stanów w dziedzinie czasu (współbieżne maszyny stanowe regionów RCSM), co pozwala przechowywać badany system w postaci gotowej do weryfikacji i mnożyć go przez różne automaty testujące.
Źródło:
Computer Science; 2007, 8, Spec. Ed; 23-36
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modeling and analysis of probabilistic real-time systems through integrating event-b and probabilistic model checking
Autorzy:
Debbi, Hichem
Powiązania:
https://bibliotekanauki.pl/articles/27312896.pdf
Data publikacji:
2022
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
event-B
probabilistic event-B
real-time probabilistic model checking
PTA
PRISM
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.
Źródło:
Computer Science; 2022, 23 (4); 545--570
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Model based compensation of geometrical deviations due to process forces
Autorzy:
Denkena, B.
Dahlmann, D.
Peters, R.
Witt, M.
Powiązania:
https://bibliotekanauki.pl/articles/99994.pdf
Data publikacji:
2017
Wydawca:
Wrocławska Rada Federacji Stowarzyszeń Naukowo-Technicznych
Tematy:
model based compensation
reduction of geometrical errors
real-time model
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.
Źródło:
Journal of Machine Engineering; 2017, 17, 1; 5-16
1895-7595
2391-8071
Pojawia się w:
Journal of Machine Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
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
Powiązania:
https://bibliotekanauki.pl/articles/22606557.pdf
Data publikacji:
2011
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
А. Pushkin
The Tales of Belkin
story time
real time
model of personality
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.
Źródło:
Acta Universitatis Lodziensis. Folia Litteraria Rossica; 2011, 4; 62-69
1427-9681
2353-4834
Pojawia się w:
Acta Universitatis Lodziensis. Folia Litteraria Rossica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Multitask real-time architecture supporting predictable management and memory system
Zarządzanie oraz organizacja systemu pamięci wielozadaniowej przewidywalnej czasowo struktury czasu rzeczywistego
Autorzy:
Golly, Ł.
Powiązania:
https://bibliotekanauki.pl/articles/152228.pdf
Data publikacji:
2014
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
precision time model
pipeline interleave
system-level design
simulation and modeling
real-time electronic embedded systems
precyzyjne modele czasowe
przeplot wątków
projektowanie systemowe
symulacja i modelowanie
elektroniczne systemy wbudowane czasu rzeczywistego
Opis:
The paper presents an extension of interleave pipeline PRET architecture. The main emphasize is made on obtaining deterministic, time predicable data and a program memory system which cooperates with the pipeline processor. The idea is to pass control of all IO operations to a special unit called MACU (Memory Access Control Unit). Thread State Controller (TSC), Dynamic Interleave Controller (DIC) and MACU together with a pipeline processor are proposed, to deliver microarchitecture details, which deal with a number of hardware threads working in the system. The paper also discusses several arbitration policies in MACU and DIC. A few experiments are performed to show benefits of the proposed methodology.
Praca porusza tematykę przewidywalności czasowej systemów elektronicznych. Problem ten był obiektem badań różnych grup badaczy. Zdaniem autora największym osiągnięciem było przedstawienie architektury potokowej z przeplotem wątków sprzętowych. Główną cechą tego podejścia było usunięcie zjawiska hazardu danych i sterowania. Autor niniejszej pracy zwraca uwagę na kwestie wypracowania schematu zarządzania wielozadaniową architekturą przewidywalną czasowo oraz przewidywalnego czasowo systemu pamięci (pkt. nr 3). Pierwsza kwestia została rozwiązana dzięki zastosowaniu kontrolera kontekstu potoku (pkt. nr 4). Identyfikatory, pamięć stanów wątków (rys. 1), specjalne kolejki do przechowywania identyfikatorów (rys. nr 2) i danych (rys. nr 4) umożliwiły efektywne zarządzanie wątkami sprzętowymi. Zmiana kontekstu potoku (punkt nr 4., rys. 3 oraz 4) następuje, gdy wątek wykonuje rozkaz operacji z pamięcią (rys. nr 5). Dzięki temu podczas wykonywania operacji wejścia/wyjścia, inny wątek będzie mógł realizować swój program. Takie podejście pozwala na ukrycie detali związanych z dostępem do pamięci głównej (implementacja w module MACU) oraz zwiększenie wydajności systemu (pkt. nr 7.). Przedyskutowano także różne schematy arbitrażu przy wprowadzaniu wątków do potoku (algorytmy zaimplementowane w DIC) oraz dostępu do pamięci (algorytmy zaimplementowane w MACU) (pkt. nr 6). Wysunięte tezy potwierdzono wynikami eksperymentalnymi (pkt. nr 6).
Źródło:
Pomiary Automatyka Kontrola; 2014, R. 60, nr 6, 6; 346-349
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Ocena jakości usług telefonii pakietowej
Quality evaluation of the IP packet telephony
Autorzy:
Janowski, R.
Powiązania:
https://bibliotekanauki.pl/articles/91256.pdf
Data publikacji:
2013
Wydawca:
Warszawska Wyższa Szkoła Informatyki
Tematy:
telefonia pakietowa
ocena jakości
mean opinion score
MOS
e-model
Real Time Control Protocol
RTCP
voice over IP
quality evaluation
E-Model
Real Tome Control Protocol
Opis:
W artykule kompleksowo opisano podejście do zagadnienia oceny jakości usług telefonii pakietowej. Na wstępnie dokonano systematyki pojęć związanych z oceną jakości, wyjaśniając m.in. różnicę pomiędzy używanymi w tym kontekście terminami QoS (Quality of Service) oraz QoE (Quality of Experience). Następnie omówiono możliwe poziomy oceny jakości, tj. poziom sieci, aplikacji i użytkownika, opisując dla każdego z nich adekwatne metryki jakościowe, stosowne rekomendacje organizacji standaryzujących oraz sugerowane wartości graniczne warunkujące akceptowalną jakość. Dla poziomu użytkownika dokonano krótkiej systematyki stosowanych metod oceny, koncentrując się na metodzie E-model z zalecenia ITU-T G.107 [1]. E-model jest nieinwazyjną, pasywną metodą pozwalającą na oszacowanie subiektywnej oceny użytkownika w skali MOS (Mean Opinion Score) na bazie wartości parametrów obiektywnych tzn. w pełni mierzalnych. W pracy zilustrowano praktyczne zastosowanie E-modelu, wyjaśniając sposób pozyskiwania niezbędnych dla niego wartości m.in. z raportów protokołu RTCP (Real Time Control Protocol).
This paper summarizes quality evaluation of the IP packet telephony service. At the beginning the taxonomy of the quality related concepts is introduced and the fundamental differences between QoS (Quality of Service) and QoE (Quality of Experience) approaches are explained. Furthermore the possible quality evaluation levels including user, application and network perspective are proposed and for each quality evaluation level the relevant recommendations of 23 standardization bodies, the adequate metrics and associated thresholds necessary for the acceptable service quality are discussed. For the user level, the brief review of the quality evaluation methods is presented with the special focus on E-model as defined in ITU-T G.107 [1] recommendation. E-model is a not invasive passive method that let to estimate the user subjective opinion in MOS (Mean Opinion Score) scale based on the values of the measurable objective parameters. In this paper the practical application of the E-model is described including details related to acquisition of the necessary values from RTCP (Real Tome Control Protocol) reports.
Źródło:
Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki; 2013, 7, 10; 7-24
1896-396X
2082-8349
Pojawia się w:
Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki
Dostawca treści:
Biblioteka Nauki
Artykuł
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.
Powiązania:
https://bibliotekanauki.pl/articles/268999.pdf
Data publikacji:
2015
Wydawca:
Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:
przekształtniki mocy
simulink Real-Time
Matlab
model odbioru
power converter
simulink real-time
MATLAB
load
tap controller
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.
Źródło:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2015, 42; 215-218
1425-5766
2353-1290
Pojawia się w:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
Dostawca treści:
Biblioteka Nauki
Artykuł
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.
Powiązania:
https://bibliotekanauki.pl/articles/952909.pdf
Data publikacji:
2018
Wydawca:
ENERGA
Tematy:
symulator pracujący w czasie rzeczywistym
stabilność symulacji
model matematyczny transformatora
real-time simulator
simulation stability
mathematical model of transformer
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.
Źródło:
Acta Energetica; 2018, 2; 31-37
2300-3022
Pojawia się w:
Acta Energetica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Using Big Data in Innovation Research
Używanie Big Data w badaniach nad innowacjami
Autorzy:
Nawojczyk, Maria
Królewski, Jarosław
Powiązania:
https://bibliotekanauki.pl/articles/577410.pdf
Data publikacji:
2016-09
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
Big Data
social sciences computing
analysis in real time
social innovation
social change
model to study innovations
Mixed-Methods Research
informatyka społeczna
analiza w czasie rzeczywistym
innowacje społeczne
zmiana społeczna
model badania innowacji
łączone metody badawcze
Opis:
One of the major contemporary trends revolutionizing social-sciences computing is, inter alia, the so-called Big Data effect, meaning fast and multidimensional analyses of large volumes of data. Technologies related to Big Data (Volume, Velocity, Variety) have considerable impact on the tools of contemporary sociologists, providing them with immense data resources in real time. Big Data is a term encompassing all data, the analysis of which may bring quantifi able benefi ts, not only in terms of business but also in science and research. Modern technologies change and greatly impact the methodology of research conducted, giving rise to numerous questions and doubts both strictly methodological and ethical in nature. One of the main challenges related to Big Data is the possibility of using large data agglomerates as early as at the stage of conceptualizing and operationalizing the subject of social-sciences computing. The possibility of transforming raw data into pieces of information, and then into knowledge, may soon become an indispensable and desirable element applied in social engineering in establishing the practical applications of research and in predicting future social phenomena. The latter could be particularly useful in such an important and sensitive fi eld as innovation research. Two cases of innovation: a social and technological ones are discussed in the paper. Using these two cases we will present a model of analyzing innovations in real time. The proposed model is a new approach to study innovations.
Jednym z głównych, współczesnych trendów przynoszących rewolucyjne zmiany w informatyce społecznej jest efekt Big Data, czyli szybkiej wielowymiarowej analizy wielkich zbiorów danych. Technologie związane z Big Data mają znaczący wpływ na narzędzia badawcze jakimi mogą posługiwać się współcześni socjologowie. Dają im one możliwość dostępu do źródeł danych w czasie rzeczywistym. Big Data to termin odnoszący się do wszystkich danych, których analiza może przynieść policzalne efekty, zarówno w kategoriach ekonomicznych jak i badawczych. Nowe technologie wpływają w znaczącym stopniu na metodologię badań, przynosząc szereg pytań i wątpliwości tak natury metodologicznej jak i etycznej. Jednym z wyzwań związanych z Big Data jest możliwość posługiwania się wielkimi zbiorami danych na wczesnych etapach konceptualizacji i operacjonalizacji problemów i hipotez badawczych. Przekształcanie surowych danych w informacje i wiedzę stanie się nieodłącznym elementem nie tylko inżynierii społecznej ale również praktyki badawczej dającej lepsze możliwości predykcyjne naukom społecznym niż to miało miejsce dotychczas. Te możliwości wydają się szczególnie użyteczne w badaniach nad innowacjami. Przedstawiamy je w szczegółach na dwóch przykładach innowacji – jednej technologicznej i drugiej społecznej. Przykłady te służą nam do zaprezentowania modelu, który stanowi nowe podejście do badania innowacji
Źródło:
Zagadnienia Naukoznawstwa; 2016, 52, 4(210); 431-450
0044-1619
Pojawia się w:
Zagadnienia Naukoznawstwa
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Speed Analysis of a Digital Controller in Time Critical Applications
Autorzy:
Piątek, P.
Grega, W.
Powiązania:
https://bibliotekanauki.pl/articles/384616.pdf
Data publikacji:
2009
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
digital control
real-time control
time-critical systems
FPGA
magnetic levitation
timing model
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.
Źródło:
Journal of Automation Mobile Robotics and Intelligent Systems; 2009, 3, 1; 57-61
1897-8649
2080-2145
Pojawia się w:
Journal of Automation Mobile Robotics and Intelligent Systems
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Real time computer tester for automatic voltage regulators used in marine generators
Autorzy:
Płachtyna, O.
Bastian, B.
Kutsyk, A.
Powiązania:
https://bibliotekanauki.pl/articles/378183.pdf
Data publikacji:
2016
Wydawca:
Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Tematy:
synchronous generator
mathematical model
numerical method
real time
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.
Źródło:
Poznan University of Technology Academic Journals. Electrical Engineering; 2016, 85; 465-476
1897-0737
Pojawia się w:
Poznan University of Technology Academic Journals. Electrical Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
ON-TIME: A Closed-Loop Real-Time Traffic Control Framework in a Realistic Railway Environment
ON-TIME: Struktura kierowania ruchem kolejowym w czasie rzeczywistym oparta na układzie zamkniętym w rzeczywistym środowisku
Autorzy:
Quaglietta, E.
Corman, F.
Goverde, R. M. P.
Powiązania:
https://bibliotekanauki.pl/articles/952276.pdf
Data publikacji:
2015
Wydawca:
Instytut Kolejnictwa
Tematy:
real-time rescheduling
closed-loop model predictive control
stability analysis
quality of dispatching plans
zmiana rozkładu w czasie rzeczywistym
sterowane predykcyjne zamkniętego układu
analiza stabilności
jakość systemu kierowania ruchem
Opis:
A wide literature is available on models and tools for the optimal real-time management of railway traffic, but the knowledge of their effects on real operations is still blurry and very limited due to the scarce implementation of these systems in practice. This paper analyses how these tools perform when interfaced in a closed-loop setup with a realistic traffic environment. A framework is developed that couples the rescheduling tool ROMA with the microscopic simulation model EGTRAIN. Railway traffic is managed for different perturbed scenarios using a rolling horizon scheme where optimal plans are periodically computed based on current traffic information and implemented in the simulation model. The closed-loop setup is investigated for different combinations of its parameters relatively to quality and stability of rescheduling plans. A comparison is performed against a typical open-loop approach that implements only the plan computed on the basis of expected train entrance delays. Both the closed-loop and the open-loop approaches are evaluated against the case in which no rescheduling is considered and trains keep on following the original timetable. Results obtained for the Dutch corridor Utrecht-Den Bosch show that the closed-loop always outperforms the open-loop in terms.
Istnieje wiele dostępnej literatury na temat modeli i narzędzi do optymalnego kierowania ruchem kolejowym w czasie rzeczywistym, ale wiedza na temat ich wpływu na funkcjonowanie jest wciąż nieprecyzyjna i bardzo ograniczona na skutek słabego ich wdrożenia w praktyce. W niniejszej pracy dokonano analizy zachowań opisanych narzędzi przy zastosowaniu ustawień obiegu zamkniętego w realnym środowisku. Opracowano strukturę łączącą narzędzie do zmiany rozkładu jazdy ROMA z mikroskopowym modelem symulacji EGTRAIN. Możliwe jest zarządzanie ruchem kolejowym w sytuacjach różnych zakłóceń ruchu przy użyciu przesuwnego horyzontu, gdzie optymalne plany są wyliczane na podstawie bieżących informacji o ruchu i ładowane do modelu symulacji. Ustawienia obiegu zamkniętego są badane w różnych kombinacjach parametrów w odniesieniu do jakości i stabilności zmienionych rozkładów. Porównanie jest dokonywane względem typowego podejścia z obiegiem otwartym, które wdraża tylko jeden plan, wyliczony na podstawie przewidywanych opóźnień pociągów. Obydwa podejścia są oceniane w porównaniu do przypadku, w którym pociągi poruszają się zgodnie z oryginalnym rozkładem. Rezultaty uzyskane w holenderskim korytarzu Utrecht – Den Bosch wykazały, że zamknięty obieg zawsze sprawdza się lepiej niż obieg otwarty.
Źródło:
Problemy Kolejnictwa; 2015, 168; 39-45
0552-2145
2544-9451
Pojawia się w:
Problemy Kolejnictwa
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 18

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