Temat: system baz danych - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems
Autorzy:: Wojnakowski, Marcin
Wiśniewski, Remigiusz
Bazydło, Grzegorz
Popławski, Mateusz
Powiązania:: https://bibliotekanauki.pl/articles/2055147.pdf
Data publikacji:: 2021
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: safeness
control part
cyber physical system
Petri net
state machine cover
place invariant
bezpieczeństwo baz danych
część kontrolna
system cyberfizyczny
sieć Petriego
maszyna stanów
niezmiennik miejsca
Opis:: The paper proposes an algorithm for safeness verification of a Petri net-based specification of the control part of cyber-physical systems. The method involves a linear algebra technique and is based on the computation of the state machine cover of a Petri net. Contrary to the well-known methods, the presented idea does not require obtaining all sequential components, nor the computation of all reachable states in the system. The efficiency and effectiveness of the proposed method have been verified experimentally with a set of 243 test modules (Petri net-based systems). The results of experiments show high efficiency of the proposed method since a solution has been found even for such nets where popular techniques are not able to analyze the safeness of the system. Finally, the presented algorithm is explained in detail using a real-life case-study example of the control part of a cyber-physical system.
Źródło:: International Journal of Applied Mathematics and Computer Science; 2021, 31, 4; 647--657
1641-876X
2083-8492
Pojawia się w:: International Journal of Applied Mathematics and Computer Science
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: Badanie strategii rozmieszczenia elementów obiektowych baz danych
Investigation of the allocation strategy of elements in an objective database
Autorzy:: Koszela, J.
Nowicki, T.
Powiązania:: https://bibliotekanauki.pl/articles/209596.pdf
Data publikacji:: 2008
Wydawca:: Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:: modelowanie systemów informatycznych
obiektowe bazy danych
rozproszone bazy danych
alokacja elementów baz danych
information system modelling
objective data bases
distributed databases
allocation of data base elements
Opis:: W pracy przedstawiono metodę badania wydajności rozproszonej obiektowej bazy danych, a w szczególności jednego z podstawowych aspektów związanych ze zwiększaniem wydajności rozproszonego systemu - alokacji jej elementów. Przestawiono definicję modelu klas, obiektów, atrybutów, metod i powiązań w rozproszonej obiektowej bazie danych. Zdefiniowano model zapytania, strukturę systemu rozproszonego, model rozproszenia zasobów obiektowej bazy danych oraz oszacowano jednostkowy czas odpowiedzi systemu i koszt wykonania zapytania przez dany węzeł, jak i cały system rozproszony. Sformułowano zadanie wyznaczania zasobów obiektowej bazy danych. Praca opisuje metodę wyznaczania optymalnego rozmieszczenia atrybutów, metod i powiązań w rozproszonej obiektowej bazie danych, wykorzystując algorytmy genetyczne. Zaprezentowano zastosowane metody generowania kolejnych elementów populacji (alokacji zasobów) dla wyznaczenia rozwiązania optymalnego. Przedstawiono aplikację do wyznaczania rozmieszczenia elementów obiektowej bazy danych. Pokazano też wybrane własności uzyskanego rozwiązania.
In this work, the method of efficiency investigation of a distributed objective data base is presented, particularly in the aspect connected to the evolution of the efficiency of distributed data bases using an allocation of elements. This work contains the definitions of model of classes, objects, attributes, methods and the connections in a distributed object oriented database. The model question of the database, the structure of a distributed computer system, distribution model of resources of an object-oriented data base have been defined, as well as the response time of the realisation answer system question via a selected node in the computer network including the whole distributed computer system was estimated. The problem of resource allocation in an object-oriented database has been formulated. The method for the allocation of attributes, methods and connections of an objected database is described. The method is connected with well-known genetic algorithms. Several methods for the evolving population, in order to obtain optimal solutions, are presented. Soft ware application for determining the allocation of objected data base elements is also shown. Several characteristics of various solutions obtained are illustrated.
Źródło:: Biuletyn Wojskowej Akademii Technicznej; 2008, 57, 4; 39-58
1234-5865
Pojawia się w:: Biuletyn Wojskowej Akademii Technicznej
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 3.

Tytuł:: Zastosowanie systemów bazo-danowych w monitoringu diagnostycznym maszyn
Application of database systems in machine diagnostic monitoring
Autorzy:: Batko, W.
Borkowski, B.
Głocki, K.
Powiązania:: https://bibliotekanauki.pl/articles/301854.pdf
Data publikacji:: 2008
Wydawca:: Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
Tematy:: system baz danych
monitoring
diagnostyka
database systems
diagnostic
Opis:: Efektywność działania współczesnych systemów monitorujących pracę maszyn jest w istotny sposób określona zaimplementowanymi w nich rozwiązaniami systemów bazo-danowych, wspomagającymi procesy podejmowania decyzji diagnostycznych. W referacie omówiono problem konstrukcji systemu bazo-danowego dla systemu monitorującego prace pracę szlifierki łopatek silników lotniczych, który powstał w ramach realizacji grantu celowego nr: 6T0220005C09545 dla WSK Rzeszów, a także prac nad budową systemu oceny stanu stalowych konstrukcji szybowych w kopalni "RUDNA" KGHM Polska Miedź. Opisano strukturę budowanych systemów, jak i uwarunkowania ich wykorzystania dla potrzeb wnioskowań diagnostycznych.
The action effectiveness of modern monitoring systems of machine run is essentially defined by database systems they implement, supporting diagnostic decision making process. The paper describes the issue of database construction for the jet engine rotor blade grinder monitoring system that was developed as part of the grant nr.: 6T0220005C09545 for WSK Rzeszow, and also during the development of diagnostic system of the steel shaft construction in the mine "RUDNA", KGHM Polska Miedz. The structure of the systems is described and the conditions of their application to diagnostic decision making.
Źródło:: Eksploatacja i Niezawodność; 2008, 1; 7-10
1507-2711
Pojawia się w:: Eksploatacja i Niezawodność
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 4.

Tytuł:: A method of ensuring data integrity in a data stream management system
Autorzy:: Widera, M.
Wróbel, J.
Widera, A.
Matonia, A.
Powiązania:: https://bibliotekanauki.pl/articles/333295.pdf
Data publikacji:: 2004
Wydawca:: Uniwersytet Śląski. Wydział Informatyki i Nauki o Materiałach. Instytut Informatyki. Zakład Systemów Komputerowych
Tematy:: zarządzanie integralnością systemu baz danych
biomedyczne strumienie danych i przetwarzanie sygnałów
database management system integrity
biomedical data stream and signal processing
Opis:: Assurance of data integrity is one of the prerequisites for each computer system. The paper presents a method enabling on-line maintenance of stream data set integrity. This method is implemented in a data stream management system prototype designed to find application in a biomedical monitoring system. In the case of medical computer systems assurance of data integrity is particularly important for documenting formal results and for the patient's safety.
Źródło:: Journal of Medical Informatics & Technologies; 2004, 8; MM141-148
1642-6037
Pojawia się w:: Journal of Medical Informatics & Technologies
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "system baz danych" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język