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

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

      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