Temat: systemy współbieżne - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Modelling concurrent systems with Alvis
Modelowanie systemów współbieżnych w języku Alvis
Autorzy:: Szpyrka, M.
Powiązania:: https://bibliotekanauki.pl/articles/275277.pdf
Data publikacji:: 2011
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: Alvis
systemy wbudowane
systemy współbieżne
modelowanie i weryfikacja
embedded systems
concurrent systems
modelling and verification
Opis:: Alvis is a new modeling language for developing concurrent (embedded) systems. The language is being developed within the confines of the Alvis project at AGH University of Science and Technology, Department of Automatics. The Alvis language combines hierarchical graphical modelling with a high level programming language. Moreover, a formal verification of a model, based on an LTS graph (Labelled Transition System) is possible. The paper describes selected features of the language and the future plans of the project.
Alvis jest nowym językiem modelowania przeznaczonym do rozwijania systemów współbieżnych, zwłaszcza systemów wbudowanych. Język jest rozwijany w Katedrze Automatyki AGH w ramach projektu o tej samej nazwie. Język Alvis łączy w sobie cechy języków programowania wysokiego poziomu z hierarchicznym językiem modelowania połączeń między agentami. Ponadto umożliwia on formalną weryfikację systemu wbudowanego bazującego na grafie LTS, stanowiącego formalną reprezentację przestrzeni stanów modelu. Artykuł zawiera przegląd podstawowych informacji na temat języka i projektu.
Źródło:: Pomiary Automatyka Robotyka; 2011, 15, 12; 239-240
1427-9126
Pojawia się w:: Pomiary Automatyka Robotyka
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: A survey of Alvis communication modes
Autorzy:: Szpyrka, M.
Biernacki, J.
Matyasik, P.
Wypych, M.
Powiązania:: https://bibliotekanauki.pl/articles/397797.pdf
Data publikacji:: 2017
Wydawca:: Politechnika Łódzka. Wydział Mikroelektroniki i Informatyki
Tematy:: Alvis language
communication modes
concurrent systems
real-time systems
język modelowania Alvis
tryby komunikacji
systemy współbieżne
systemy czasu rzeczywistego
Opis:: Concurrent systems appear natural and intuitive solution for many real IT problems. However, designing a more complex concurrent system is a difficult task. The main problem is that for systems that have more than several subsystems it becomes difficult to control their properties at the design stage. Applications of formal methods in the development process may remarkable reduce the problem. An important issue is to choose a suitable formal modelling language, that supports the required methods of communication between subsystems. The paper provides a survey of communication modes introduced to the Alvis modelling language and discusses how the communication modes may be used while modelling concurrent systems.
Źródło:: International Journal of Microelectronics and Computer Science; 2017, 8, 1; 1-9
2080-8755
2353-9607
Pojawia się w:: International Journal of Microelectronics and Computer Science
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 3.

Tytuł:: Przyszłościowe współbieżne mikroprocesorowe inteligentne systemy mechatroniczne w sterowaniu i diagnostyce pojazdów szynowych (narzędzia sprzętowe i programistyczne)
Future synchronous microprocessor intelligent mechatronic systems in controlling and diagnostic of the rail Vehicles (equipment and software tools)
Autorzy:: Bocian, Stanisław
Powiązania:: https://bibliotekanauki.pl/articles/34670986.pdf
Data publikacji:: 2008
Wydawca:: Sieć Badawcza Łukasiewicz - Poznański Instytut Technologiczny
Tematy:: współbieżne mikroprocesorowe inteligentne systemy mechatroniczne
sterowanie i diagnostyka pojazdów szynowych
narzędzia sprzętowe i programistyczne
Opis:: W artykule przedstawiono przyszłościowe rozproszone współbieżne mikroprocesorowe inteligentne systemy mechatroniczne w sterowaniu i diagnostyce pojazdów szynowych. Systemy te będą podstawą do tworzenia różnych modeli i układów informatycznych i informacyjnych dla pojazdów szynowych. Artykuł stanowi trzecią część powyższej publikacji. Zawiera opis stosowanych narzędzi sprzętowych i programistycznych w rozwiązywaniu podjętego problemu badawczego. Artykuł powstał w wyniku realizacji projektu badawczego KBN 4T 12C 04929 pt. " Rozproszone współbieżne mikroprocesorowe inteligentne podsystemy mechatroniczne w sterowaniu i diagnostyce pojazdów szynowych ".
The future scattered synchronous microprocessor intelligent mechatronic systems in controlling and diagnostic of the rail vehicles are presented in this article. These systems will be base for creation the different models and informatic and information systems for the rail vehicles. This article is the third part (3) of the above publication. It includes the description of the used equipment and software tools in solving the undertaken research problem. This article was madę as a results of realization of the research project of the KBN 4T 12C 04929 under the title: " The scattered synchronous microprocessor intelligent mechatronic subsystems in controlling and diagnostic of the rail vehicles".
Źródło:: Rail Vehicles/Pojazdy Szynowe; 2008, 2; 37-41
0138-0370
2719-9630
Pojawia się w:: Rail Vehicles/Pojazdy Szynowe
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 4.

Tytuł:: Przyszłościowe współbieżne mikroprocesorowe inteligentne systemy mechatroniczne w sterowaniu i diagnostyce pojazdów szynowych (1)
Future synchronous microprocessor intelligent mechatronic systems in controlling and diagnostic of the rail vehicles (1)
Autorzy:: Bocian, Stanisław
Powiązania:: https://bibliotekanauki.pl/articles/35127708.pdf
Data publikacji:: 2007
Wydawca:: Sieć Badawcza Łukasiewicz - Poznański Instytut Technologiczny
Tematy:: rozproszone współbieżne mikroprocesorowe inteligentne systemy mechatroniczne
sterowanie i diagnostyka pojazdów szynowych
rozproszone układy sterowania
modele sieci CAN
Opis:: W artykule przedstawiono przyszłościowe rozproszone współbieżne mikroprocesorowe inteligentne systemy mechatroniczne w sterowaniu i diagnostyce pojazdów szynowych. Systemy te będą podstawą do tworzenia różnych modeli i układów informatycznych i informacyjnych dla pojazdów szynowych. Artykuł składa się z kilku części. Pierwsza część artykułu (1) obejmuje ogólne wiadomości na temat problemów rozproszonych układów sterowania oraz stosowanych modeli sieci CAN. Zawiera informacje na temat stosowanych systemów sterowania przez firmy europejskie.
The future scattered synchronous microprocessor intelligent mechatronic systems in controlling and diagnostic of the rail vehicles are presented in this article. These systems will be base for creation the different models and informatic and information systems for the rail vehicles. This article consists of the few parts. The first part of this article (1) includes the general information on the subject of the problems of the scattered control systems and the used models of CAN network. It includes the information on the subject of the used control systems by the European companies.
Źródło:: Rail Vehicles/Pojazdy Szynowe; 2007, 4; 26-30
0138-0370
2719-9630
Pojawia się w:: Rail Vehicles/Pojazdy Szynowe
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 5.

Tytuł:: Przyszłościowe współbieżne mikroprocesorowe inteligentne systemy mechatroniczne w sterowaniu i diagnostyce pojazdów szynowych (2)
Future synchronous microprocessor intelligent mechatronic systems in controlling and diagnostic of the rail vehicles (2)
Autorzy:: Bocian, Stanisław
Powiązania:: https://bibliotekanauki.pl/articles/34670971.pdf
Data publikacji:: 2008
Wydawca:: Sieć Badawcza Łukasiewicz - Poznański Instytut Technologiczny
Tematy:: współbieżne mikroprocesorowe inteligentne systemy mechatroniczne
sterowanie i diagnostyka pojazdów szynowych
programy agentowe rozproszonych układów cyfrowych
wieloagentowy system sterowania lokomotywą
Opis:: W artykule przedstawiono przyszłościowe rozproszone współbieżne mikroprocesorowe inteligentne systemy mechatroniczne w sterowaniu i diagnostyce pojazdów szynowych. Systemy te będą podstawą do tworzenia różnych modeli i układów informatycznych i informacyjnych dla pojazdów szynowych. Artykuł stanowi drugą (2) część publikacji i jest jej dalszym ciągiem. Zawiera opis programów agentowych rozproszonych układów cyfrowych oraz przedstawia ogólny schemat wieloagentowego systemu sterowania lokomotywą. Artykuł powstał w wyniku realizacji projektu badawczego KBN 4T12C 04929 pt. "Rozproszone współbieżne mikroprocesorowe inteligentne podsystemy mechatroniczne w sterowaniu i diagnostyce pojazdów szynowych ".
The future scattered synchronous microprocessor intelligent mechatronic systems in controlling and diagnostic of the rail vehicles are presented in this article. These systems will be base for creation the different models and informatic and information systems for the rail Vehicles. This article is the second (2) part of the publication and it is its continuation. It includes the description of the agent programmes of the scattered digital systems and presents the general scheme of the multiagent system of the locomotive controlling. This article was made as a results of realization of the research project of the KBN 4T 12C 04929 under the title:" The scattered synchronous microprocessor intelligent mechatronic subsystems in controlling and diagnostic of the rail vehicles".
Źródło:: Rail Vehicles/Pojazdy Szynowe; 2008, 1; 46-49
0138-0370
2719-9630
Pojawia się w:: Rail Vehicles/Pojazdy Szynowe
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 6.

Tytuł:: Graphical representations of multithreaded applications
Autorzy:: Giebas, Damian
Wojszczyk, Rafał
Powiązania:: https://bibliotekanauki.pl/articles/118235.pdf
Data publikacji:: 2018
Wydawca:: Polskie Towarzystwo Promocji Wiedzy
Tematy:: graphical representation
Petri nets
Control Flow Graph
Concurrent Process Systems
multithreaded applications
reprezentacja graficzna
sieci Petriego
wykres przepływu sterowania
współbieżne systemy procesów
aplikacja wielowątkowa
Opis:: This article contains a brief description of existing graphical methods for presenting multithreaded applications, i.e. Control Flow Graph and Petri nets. These methods will be discussed, and then a way to represent multithreaded applications using the concurrent process system model will be presented. All these methods will be used to present the idea of a multithreaded application that includes the race condition phenomenon. In the summary, all three methods will be compared and subjected to the evaluation, which will depend on whether the given representation will allow to find the mentioned phenomenon.
Źródło:: Applied Computer Science; 2018, 14, 2; 20-37
1895-3735
Pojawia się w:: Applied Computer Science
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "systemy współbieżne" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język