Informacja

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

Wyszukujesz frazę "real-time" wg kryterium: Wszystkie pola


Wyświetlanie 1-14 z 14
Tytuł:
Real-time interpolation of streaming data
Autorzy:
Dębski, Roman
Powiązania:
https://bibliotekanauki.pl/articles/1839246.pdf
Data publikacji:
2020
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
streaming algorithm
online algorithm
spline interpolation
cubic Hermite spline
Opis:
One of the key elements of the real-time C 1 -continuous cubic spline interpolation of streaming data is an estimator of the first derivative of the interpolated function that is more accurate than those based on finite difference schemas. Two such greedy look-ahead heuristic estimators, based on the calculus of variations (denoted as MinBE and MinAJ2), are formally defined (in closed form), along with the corresponding cubic splines that they generate. They are then comparatively evaluated in a series of numerical experiments involving different types of performance measures. The presented results show that the cubic Hermite splines generated by heuristic MinAJ2 significantly outperformed those that were based on finite difference schemas in terms of all of the tested performance measures (including convergence). The proposed approach is quite general. It can be directly applied to streams of univariate functional data like time-series. Multi-dimensional curves that are defined parametrically (after splitting) can be handled as well. The streaming character of the algorithm means that it can also be useful in processing data sets that are too large to fit in the memory (e.g., edge computing devices, embedded time-series databases).
Źródło:
Computer Science; 2020, 21 (4); 513-532
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dynamic fuzzy model for detecting verbal violence in real time
Autorzy:
Campos, Obed
Pancardo, Pablo
Hernandez-Nolasco, Jose Adan
Powiązania:
https://bibliotekanauki.pl/articles/27312892.pdf
Data publikacji:
2022
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
fuzzy logic
dynamic
verbal violence
real time
Opis:
The crime rates in Mexico have been increasing in recent years; every day, there are reports on social media and in the news where assaults and verbal aggression by criminals can be seen. Public transportation units suffer from violence that authorities have not been able to reduce despite their efforts. This is why we have developed a fuzzy logic model that can adapt to almost any scenario thanks to the dynamism that we have implemented in each of its stages. We have obtained promising results that we believe will be of great help to the authorities for detecting the exact moment in which verbal aggression that is typical of a violent assault is happening in real time. This is a tool to help the authorities, not a substitution; we are simply making use of the latest technologies that are available to us. The goal of this paper is to provide a novel method for Mexican authorities in Mexico City in order to help the actual surveillance systems make faster decisions about whether violent assaults are happening or not.
Źródło:
Computer Science; 2022, 23 (4); 467--493
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Database Replication for Disconnected Operations with Quasi Real-Time Synchronization
Autorzy:
Mucha, Rafał
Baliś, Bartosz
Grigoras, Costin
Kitowski, Jacek
Powiązania:
https://bibliotekanauki.pl/articles/27312921.pdf
Data publikacji:
2023
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
multi-primary database replication
Bucardo
EDB Replication Server
PostgreSQL
PostgresBDR
TPC
CAP theorem
continuous synchronizatio
Opis:
Database replication is a way to improve system throughput or achieve highavailability. In most cases, the use of an active-active replica architecture isefficient and easy to deploy. Such a system has CP properties (from the CAPtheorem: consistency, availability, and network-partition tolerance). Creat-ing an AP (available and partition-tolerant) system requires the use of multi-primary replication. Because of the many difficulties in its implementation, thisapproach is not widely used; however, ALICE’s deployment of CCDB (exper-iment conditions and calibration database) needs to be an AP system in twolocations. This necessity became the inspiration for examining the state-of-the-art methods in this field and testing the available solutions. The tests thatwere performed evaluated the performance of the chosen replication tools: Bu-cardo, and EDB Replication Server; these showed that the tested tools couldbe successfully used for the continuous synchronization of two independentdatabase instances.
Źródło:
Computer Science; 2023, 24 (3); 407--426
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modeling and rendering of convective cumulus clouds for real-time graphics purposes
Autorzy:
Kobak, P.
Alda, W.
Powiązania:
https://bibliotekanauki.pl/articles/305238.pdf
Data publikacji:
2017
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
computer graphics
natural phenomena
GPU programming
Opis:
The paper presents a simulation and rendering model of three dimensional covective cloud evolution. The model is physically based, however its purpose is graphical. The main stress is put on balancing two parts of a model: the atmsphere simulation with convective motion of air and water vapor combined with rendering of semi-transparent and light-scattering clouds, in order to achieve realistic animation in real-time. We examine and compare two algorithmic approaches based on CPU and GPU computations.
Źródło:
Computer Science; 2017, 18 (3); 241-268
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Visibility determination in beam tracing with application for real-time sound simulation
Autorzy:
Pałka, S.
Głut, B.
Ziółko, B.
Powiązania:
https://bibliotekanauki.pl/articles/305801.pdf
Data publikacji:
2014
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
beam tracing
adaptive frustum
visibility determination
Opis:
This work presents some aspects of beam-tracing techniques used in sound simulation. The Adaptive Frustum algorithm, which was designed for detecting obstacles using beam subdivision, was reviewed for its efficiency as well as its accuracy. Some possible improvements have been suggested; however, they do not fully solve the problems of using this algorithm in real-time applications. Improved algorithm implementation was tested in five scenes with different characteristics and varying complexity.
Źródło:
Computer Science; 2014, 15 (2); 197-214
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ł:
Immersive feedback in fencing training using mixed reality
Autorzy:
Malawski, Filip
Powiązania:
https://bibliotekanauki.pl/articles/27312848.pdf
Data publikacji:
2022
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
mixed reality
augmented reality
object tracking
real time
immersive
Opis:
During sports training, providing athletes with real-time feedback that is based on the automatic analysis of motion is both useful and challenging. In this work, a novel system that is based on mixed reality is proposed and verified. The system allows for immersive and real-time visual feedback in fencing training. Novel methods have been introduced for 3D blade tracking from a single RGB camera, creating weapon-action models by recording the actions of a coach and evaluating the trainee’s performance against these models. Augmented reality glasses with see-through displays are employed, and a method for coordinate mapping between the virtual and real environments is proposed; this will allow for the provision of real-time visual cues and feedback by overlaying virtual trajectories on the real-world view. The system has been verified experimentally in fencing bladework training (with the supervision of a fencing coach). The results indicate that the proposed system allows novice fencers to perform their exercises more precisely.
Źródło:
Computer Science; 2022, 23 (1); 37--62
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The ATLAS experiment on-line monitoring and filtering as an example of real-time application
System monitoringu i filtracji eksperymentu ATLAS jako przykład aplikacji czasu rzeczywistego
Autorzy:
Korcyl, K.
Szymocha, T.
Funika, W.
Kitowski, J.
Słota, R.
Bałos, K.
Dutka, Ł.
Guzy, K.
Kryza, T.
Pieczykolan, J.
Powiązania:
https://bibliotekanauki.pl/articles/305349.pdf
Data publikacji:
2008
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
fizyka wysokich energii
przetwarzanie w czasie rzeczywistym
system filtracji
zdalne farmy
high energy physics
real-time procesing
trigger system
remote farms
Opis:
The ATLAS detector, recording LHC particles' interactions, produces events with rate of 40 MHz and size of 1.6 MB. The processes with new and interesting physics phenomena are very rare, thus an efficient on-line filtering system (trigger) is necessary. The asynchronous part of that system relays on few thousands of computing nodes running the filtering software. Applying refined filtering criteria results in increase of processing times what may lead to lack of processing resources installed on CERN site. We propose extension to this part of the system based on submission of the real-time filtering tasks into the Grid.
Detektor ATLAS, rejestrujący zderzenia protonów rozpędzanych w zderzaczu LHC, będzie generował przypadki o rozmiarze 1.6MB z częstotliwością 40MHz. Aby wyselekcjonować bardzo rzadko występujące przypadki z interesującymi oddziaływaniami fizycznymi, konieczne będzie zastosowanie wydajnego systemu filtracji (trigger). Część asynchroniczna takiego systemu wykorzystuje kilka tysięcy komputerów, na których wykonywane jest oprogramowanie filtrujące. Zwiększenie selektywności systemu wymaga zwiększenia czasu procesowania, co może doprowadzić do wyczerpania zasobów komputerowych zainstalowanych w CERN-ie. Proponujemy rozszerzenie tej części systemu poprzez umożliwienie wykonywania oprogramowania filtrującego w czasie rzeczywistym na komputerach w środowisku gridowym.
Źródło:
Computer Science; 2008, 9; 77-86
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Per-pixel extrusion mapping with correct silhouette
Autorzy:
Chahdi, Adnane Ouazzani
Ragragui, Anouar
Halli, Akram
Satori, Khalid
Powiązania:
https://bibliotekanauki.pl/articles/2097961.pdf
Data publikacji:
2021
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
image-based rendering
real-time rendering
texture mapping
per-pixel extrusion mapping
ray-tracing
silhouette
Opis:
Per-pixel extrusion mapping consists of creating a virtual geometry that is stored in a texture over a polygon model without increasing its density. There are four types of extrusion mapping; namely, basic extrusion, outward extru sion, beveled extrusion, and chamfered extrusion. These different techniques produce satisfactory results in the case of plane surfaces; however, when it is about curved surfaces, a silhouette is not visible at the edges of the extruded forms on the 3D surface geometry, as they not take the curvatures of the 3D meshes into account. In this paper, we present an improvement that consists of using curved ray-tracing to correct the silhouette problem by combining per-pixel extrusion-mapping techniques with a quadratic approximation that is computed at each vertex of a 3D mesh.
Źródło:
Computer Science; 2021, 22 (3); 403-428
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Hardware and software architectures for reconfigurable time-critical control tasks
Architektury sprzętowe i programowe dla rekonfigurowalnych krytycznych czasowo zadań sterowania
Autorzy:
Piłat, A.
Grega, W.
Powiązania:
https://bibliotekanauki.pl/articles/305427.pdf
Data publikacji:
2007
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
diagnoza wykonania zadań
sterowanie w czasie rzeczywistym
szybkie prototypowanie
execution profiling
real-time control
rapid prototyping
Opis:
The most popular configuration of the controlled laboratory test-rigs is the personal computer (PC) equipped with the I/O board. The dedicated software components allow to conduct a wide range of user-defined tasks. The typical configuration functionality can be customized by PC hardware components and their programmable reconfiguration. The next step in the automatic control system design is the embedded solution. Usually, the design process of the embedded control system is supported by the high-level software. The dedicated programming tools support multitasking property of the microcontroller by selection of different sampling frequencies of algorithm blocks. In this case the multilayer and multitasking control strategy can be realized on the chip. The proposed solutions implement rapid prototyping approach. The available toolkits and device drivers integrate system-level design environment and the real-time application software, transferring the functionality of MATLAB/Simulink programs to PCs or microcontrolers application environment.
Najbardziej popularną konfiguracją wykorzystywaną do sterowania systemami laboratoryjnymi jest komputer klasy PC, wyposażony w kartę wejść/wyjść. Dedykowane oprogramowanie pozwala na realizację wielu zadań definiowanych przez użytkownika. Typowa funkcjonalność karty może być dostosowana w sposob programowy do potrzeb użytkownika. Ta platforma sprzętowo-programowa pozwala na opracowanie i zweryfikowanie działania algorytmów sterowania. Kolejnym krokiem w projektowaniu układu sterowania jest wykorzystanie docelowego systemu dedykowanego. Dostępne oprogramowanie i sterowniki urządzeń pozwalają na wykorzystanie funkcjonalności pakietu MATLAB/Simulink podczas uruchomienia algorytmów na PC lub w jednostce mikrokontrolera.
Źródło:
Computer Science; 2007, 8, Spec. Ed; 69-81
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Real-time implementation of moving object detection in video surveillance systems using FPGA
Implementacja detekcji obiektów ruchomych w czasie rzeczywistym w systemach nadzoru wizyjnego z wykorzystaniem układów FPGA
Autorzy:
Kryjak, T.
Gorgoń, M.
Powiązania:
https://bibliotekanauki.pl/articles/305415.pdf
Data publikacji:
2011
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
generacja tła
odejmowanie tła
przetwarzanie obrazów
akceleracja sprzętowa
układy FPGA
background generation
background subtraction
image processing
hardware acceleration
FPGA
Opis:
The article presents the concept of real-time implementation computing tasks in video surveillance systems. A pipeline implementation of a multimodal background generation algorithm for colour video stream and a moving objects segmentation based on brightness, colour and textural information in reconfigurable resources of FPGA device is described. System architecture, resource usage and segmentation results are presented.
W artykule zaprezentowano koncepcję implementacji zadań obliczeniowych wykorzystywanych w systemach nadzoru wizyjnego w czasie rzeczywistym. Opisano implementację wielomodalnej metody generacji tła dla sekwencji wideo zarejestrowanych w kolorze oraz segmentację obiektów ruchomych z wykorzystaniem informacji o jasności, kolorze i teksturze w zasobach rekonfigurowalnych układów FPGA. Zaprezentowano architekturę systemu, zużycie zasobów i przykładowe rezultaty segmentacji.
Źródło:
Computer Science; 2011, 12; 149-162
1508-2806
2300-7036
Pojawia się w:
Computer Science
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ł:
RT-UML in modeling of multimedia applications
RT-UML w modelowaniu aplikacji multimedialnych
Autorzy:
Cichoń, P.
Powiązania:
https://bibliotekanauki.pl/articles/305417.pdf
Data publikacji:
2007
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
aplikacja multimedialna
UML
czas rzeczywisty
modelowanie
RT-UML
synchronizacja
zdarzenia czasowe
multimedia application
real-time
modeling
timed events
synchronization
Opis:
RT-UML enables a structural and behavioral description of multimedia applications including time characteristic, however it does not offer mechanisms of a multimedia objects presentation (arrangement) expression or the time constrains expression between events. This fact illustrates RT-UML lack of expressive capabilities, especially in the context of multimedia applications modeling. The presented in the paper extension of RT-UML illustrates how multimedia objects arrangement and events synchronizations can be presented, which means new type of diagrams addition to UML (presentation diagrams) and a synchronized events set class placing into the time model of RT-UML. Moreover extensions provide an application a graphical presentation of synchronized events to sequence and activity diagrams of UML, which enables time constrains of multimedia objects and their activities expression (synchronization of time events, which occur during presentation of multimedia objects). The originality of this approach relies on the extension of RT-UML syntax and on the presentation of an original method of multimedia applications modeling, which can make the production process more formalized and thus more precise.
RT-UML umożliwia opis właściwości strukturalnych oraz behawioralnych aplikacji multimedialnych z uwzględnieniem charakterystyki czasowej, jednak nie oferuje mechanizmów wyrażania prezentacji (rozmieszczenia) obiektów multimedialnych oraz ograniczeń czasowych między zdarzeniami. Fakt ten ilustruje brak wystarczającej ekspresywności języka RT-UML, szczególnie w kontekście modelowania aplikacji multimedialnych. W artykule zaproponowano rozszerzenie RT-UML o mechanizmy opisu rozmieszczenia obiektów multimedialnych oraz synchronizacji zdarzeń. Ponadto wprowadzono nowy rodzaj diagramów od języka UML, tj. diagramy prezentacji, umożliwiające opis aranżacji obiektów multimedialnych. Zaprezentowane rozszerzenie stanowi wartość oryginalną artykułu. Opisana w artykule rozszerzona składnia RT-UML, a także przykłady jej użycia stanowią oryginalną metodę modelowania aplikacji multimedialnych, która może przyczynić się do formalizacji ich procesu wytwórczego.
Źródło:
Computer Science; 2007, 8, Spec. Ed; 11-22
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
FPGA as a part of MS WINDOWS control environment
FPGA jako część środowiska sterowania MS Windows
Autorzy:
Kołek, K.
Turnau, A.
Powiązania:
https://bibliotekanauki.pl/articles/305425.pdf
Data publikacji:
2007
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
rozszerzenie MS Windows
miękkie systemy operacyjne czasu rzeczywistego
sterowniki oparte na technologii FPGA
MS Windows extensions
soft real time operating system
FPGA-based controller
Opis:
The attention is focused on the Windows operating system (OS) used as a control and measurement environment. WlNDOWS OS due to extensions becomes a real-time OS (RTOS). Benefits and drawbacks of typical software extensions are compared. As far as hardware solutions are concerned the field programmable gate arrays FPGA technology is proposed to ensure fast time-critical operations. FPGA-based parallel execution and hardware implementation of the data processing algorithms significantly outperform the classical microprocessor operating modes. Suitability of the RTOS for a particular application and FPGA hardware maintenance is studied.
Uwagę skupiono na WlNDOWS - systemie operacyjnym (OS) użytym jako środowisko pomiarów i sterowania. WlNDOWS OS, dzięki rozszerzeniom, staje się systemem operacyjnym czasu rzeczywistego (RTOS). Porównano wady i zalety typowych programowych rozszerzeń. W przypadku sprzętowych rozwiązań, proponuje się użycie technologii FPGA, by wykonać szybkie, krytyczne czasowo operacje. Równolegle wykonanie algorytmu oparte na technologii FPGA i sprzętowa implementacja algorytmów przetwarzania danych w sposób znaczący przewyższają klasyczne mikroprocesorowe tryby pracy. Badane są: dostosowanie oraz użyteczność RTOS dla wybranych aplikacji i rozwiązania sprzętowe wykorzystujące technologię FPGA.
Źródło:
Computer Science; 2007, 8, Spec. Ed; 61-68
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-14 z 14

    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