Temat: real-time - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: A simple and cost-effective method to construct reliable real-time programs
Autorzy:: Elzer, P. F.
Gollub, M.
Trenkel, S.
Powiązania:: https://bibliotekanauki.pl/articles/384543.pdf
Data publikacji:: 2010
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: real-time systems
real-time programming
structured programming
reliability
graphical representation
Opis:: This paper presents a proposal for structuring real-time programs in a way that improves their reliability. Basically, it consists of five constructs that have been designed after the model of classical "structured programming", together with a generalized way of dealing with resources. After some considerations about reliability these constructs are presented and explained. Then, a test implementation for two different programming languages and operating systems is briefly described. Finally, some pieces of code give an impression of the character of the method.
Źródło:: Journal of Automation Mobile Robotics and Intelligent Systems; 2010, 4, 1; 28-42
1897-8649
2080-2145
Pojawia się w:: Journal of Automation Mobile Robotics and Intelligent Systems
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: Using Pre-emption For Dependable Urban Vehicle Traffic
Autorzy:: Letia, T.
Barbu, S.
Dinga, F.
Powiązania:: https://bibliotekanauki.pl/articles/384863.pdf
Data publikacji:: 2009
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: urban vehicle traffic control
real time scheduling
traffic congestion
real time control
dependability
Opis:: A new approach for design and implementation of urban vehicle control system is proposed. The vehicle streams on lanes are considered similar with the streams of instructions in multitask programs. Real-time scheduling algorithms are used to allocate the green lights to phases. An adaptive component is used to calculate new vehicle flow parameters when a failure appears as a consequence of an accident. The real-time schedulers use the parameters to obtain new feasible resource allocations.
Źródło:: Journal of Automation Mobile Robotics and Intelligent Systems; 2009, 3, 1; 40-45
1897-8649
2080-2145
Pojawia się w:: Journal of Automation Mobile Robotics and Intelligent Systems
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 3.

Tytuł:: Real-Time Operating Systems for Robotic Applications : a Comparative Survey
Autorzy:: Kmiecik, P.
Granosik, G.
Powiązania:: https://bibliotekanauki.pl/articles/385011.pdf
Data publikacji:: 2015
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: real-time operating system
survey
Opis:: Modern robotics brings up a variety of new challenges. Industrial-only times are gone forever. Nowadays, by performing many diversified services, robots turned out to be a part of our everyday life. There is no doubt that they should be able to interact with this new miscellaneous environment seamlessly. Along with the number of requirements, the importance of software increases. While gaining more autonomy, besides standard motion control, a wide range of cogntive tasks has to be executed simultaneously. It is quite obvious that complex systems with a lot of independent modules and many functions to perform need flexible and reliable sofware solutions. This article takes a Real-Time Operating System as an answer to the problems of the new generation robotics.By comparing selected features, it provides an evaluation of the most popular commercial and non-commercial solutions. Paper describes the key characteristics that should be taken into consideration during the design process and presents several examples of their successful robotic applications, including our own choices for decentralized controllers.
Źródło:: Journal of Automation Mobile Robotics and Intelligent Systems; 2015, 9, 3; 9-17
1897-8649
2080-2145
Pojawia się w:: Journal of Automation Mobile Robotics and Intelligent Systems
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 4.

Tytuł:: ILERT - International Learning Environment for Real-Time Software-Intensive Control Systems
Autorzy:: Kornecki, A. J.
Hilburn, T. B.
Grega, W.
Sveda, M.
Thiriet, J. M.
Powiązania:: https://bibliotekanauki.pl/articles/384607.pdf
Data publikacji:: 2009
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: real-time software Engineering
engineering Curricula
Opis:: Due to the heavily software-centric nature of modern reactive and time-critical systems, there is an increasing demand for efficient development of high quality Real-Time Software-Intensive Control systems (RSIC). The study discussed in this paper is focused on the creation of international curriculum framework centred on RSIC - this important aspect of computer-system-control-software engineering education. The study explores the mechanism for involving students from multilingual, geographically separated institutions in a coordinated educational experience. It exposes them to the problems, methods, solution techniques, infrastructure, technologies, regulatory issues, and tools in the domain of dependable real-time, safety-critical, software-intensive control systems. The ultimate objective is the creation of a model RSIC curriculum, which can be used by engineering schools both in the USA and the EU.
Źródło:: Journal of Automation Mobile Robotics and Intelligent Systems; 2009, 3, 1; 66-71
1897-8649
2080-2145
Pojawia się w:: Journal of Automation Mobile Robotics and Intelligent Systems
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 5.

Tytuł:: Towards the Safety Verification of Real-Time Systems with the Coq Proof Assistant
Autorzy:: Tveretina, O.
Powiązania:: https://bibliotekanauki.pl/articles/384877.pdf
Data publikacji:: 2009
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: formal methods
real-time
theorem proving
Opis:: Hybrid systems involve the interaction of discrete and continuous dynamics. Hybrid systems have been used as a mathematical model for many safety critical applications. One of the most important analysis problems of hybrid systems is the reachability problem. In this paper we argue that the proof assistant Coq can be used for the hybrid systems verification. An example of a train crossing control is provided.
Źródło:: Journal of Automation Mobile Robotics and Intelligent Systems; 2009, 3, 1; 30-32
1897-8649
2080-2145
Pojawia się w:: Journal of Automation Mobile Robotics and Intelligent Systems
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 6.

Tytuł:: Real-time Video Vectorization Method for the Purpose of Surroundings Recognition and Mobile Robot Navigation
Autorzy:: Zachara, M.
Tadeusiewicz, R.
Powiązania:: https://bibliotekanauki.pl/articles/384314.pdf
Data publikacji:: 2008
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: robot vision
surroundings recognition
real time navigation
edge detection
Opis:: In thise paper a very simple method of the visual information interpretation for recognition and navigation purposes is presented and discussed. The proposed method consists of six steps: image acquisition, edge detection, fast edge vectorization using a high number of short preliminary vectors, aggregation of the preliminary vectors into the form of final vectors. The next stages of the visualthe visual information interpretation for recognition and navigation purposes will be description of the objects’ shapes by means of the final vectors, object recognition and/or robot navigation on the base of comparison between actual shape description and templates memorized during the programming/training process, but they are not discussed in this paper. The main advantage of the proposed method is a simple and time-effective algorithm, which can be performed in real time also by a simple and cheap processor, working as a “brain” of the considered robot.
Źródło:: Journal of Automation Mobile Robotics and Intelligent Systems; 2008, 2, 2; 10-17
1897-8649
2080-2145
Pojawia się w:: Journal of Automation Mobile Robotics and Intelligent Systems
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 7.

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ł

Zmień widok

na półce

Skocz do pozycji: 8.

Tytuł:: Task jitter measurement under RTLinux operating system
Autorzy:: Moryc, P.
Černohorský, J.
Powiązania:: https://bibliotekanauki.pl/articles/384605.pdf
Data publikacji:: 2009
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: real-time
jitter
latency
measurement
RT-Linux
benchmark
workload effects
saturation method
Opis:: This paper deals with real-time task jitter measurement under RTLinux operating system. In the first part, it describes methods and tools developed to measure jitter in the RTLinux environment. In the second part, it is focused on discussion of results, obtained on PC hardware, and their interpretation.
Źródło:: Journal of Automation Mobile Robotics and Intelligent Systems; 2009, 3, 1; 62-65
1897-8649
2080-2145
Pojawia się w:: Journal of Automation Mobile Robotics and Intelligent Systems
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 9.

Tytuł:: Cloud-based sentiment analysis for measuring customer satisfaction in the Moroccan banking sector using Naïve Bayes and Stanford NLP
Autorzy:: Riadsolh, Anouar
Lasri, Imane
ElBelkacemi, Mourad
Powiązania:: https://bibliotekanauki.pl/articles/2141901.pdf
Data publikacji:: 2020
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: Big Data processing
Apache Spark
Apache Kafka
real-time text processing
sentiment analysis
Stanford core NLP
Naïve Bayes classifier
Opis:: In a world where every day we produce 2.5 quintillion bytes of data, sentiment analysis has been a key for making sense of that data. However, to process huge text data in real-time requires building a data processing pipeline in order to minimize the latency to process data streams. In this paper, we explain and evaluate our proposed real-time customer’ sentiment analysis pipeline on the Moroccan banking sector through data from the web and social network using open-source big data tools such as data ingestion using Apache Kafka, In-memory data processing using Apache Spark, Apache HBase for storing tweets and the satisfaction indicator, and ElasticSearch and Kibana for visualization then NodeJS for building a web application. The performance evaluation of Naïve Bayesian model show that for French Tweets the accuracy has reached 76.19% while for English Tweets the result was unsatisfactory and the resulting accuracy is 56%. To remedy this problem, we used the Stanford core NLP which, for English Tweets, reaches a precision of 80.7%.
Źródło:: Journal of Automation Mobile Robotics and Intelligent Systems; 2020, 14, 4; 64-71
1897-8649
2080-2145
Pojawia się w:: Journal of Automation Mobile Robotics and Intelligent Systems
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

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

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język