Studia Informatica (E-Journal)
Not a member yet
712 research outputs found
Sort by
Analiza asynchronicznego transferu danych w modelach systemów komunikacyjnych USB i Firewire
No full textThis paper presents an analysis of asynchronous data transfer in communication system models for USB and FireWire. The analysis shows the details of communication between the computer and mass storage and time of data transfer is estimated in these communication systems. Estimated value of execution time of data transfer allowed to specify a communication interface for mass storage.W niniejszym artykule przeprowadzono analizę transferu asynchronicznego w zaproponowanych modelach systemów komunikacyjnych USB i FireWire. W ramach analizy przybliżono szczegóły komunikacji pomiędzy komputerem a pamięcią masową oraz wyznaczono czasy realizacji transferu danych w analizowanych systemach komunikacyjnych. Oszacowane wartości czasów realizacji transferu danych umożliwiły wskazanie interfejsu komunikacyjnego dla pamięci masowej
Rozszerzenie typowego narzędzia o warstwę hosta wirtualnego w celu monitorowania systemów agentowych
No full textNagios is a free software for IT infrastructure monitoring. Out-of-the-box it is not suited for monitoring multi-agent systems, because agents may dynamically join and leave the system or change roles. But Nagios’ flexible configuration makes extensions possible. This paper presents and verifies Nagios configuration and extensions for monitoring multi-agent systems.Nagios to bezpłatne oprogramowanie do monitorowania infrastruktury IT. Nie jest ono dostosowane do monitorowania systemów agentowych, gdyż agenty mogą swobodnie podejmować lub zarzucać realizację działań czy zmieniać pełnioną rolę. Bogate możliwości konfigurowania Nagios pozwalają poszerzyć jego możliwości. Artykuł przedstawia i weryfikuje konfigurację oraz rozszerzenie Nagios, umożliwiające monitorowanie systemów agentowych
Odwzorowania międzyontologiczne w algebrze konglomeratów
No full textModularization and integration of ontologies are domains that are recently of great interest among researchers in the domain of Semantic Web. In the paper we analyze the possibility of expressing two main branches of methods: mappings and links by means of s-module algebra and discuss possibility of using the algebra as a uniform medium of description of such methods.Modularyzacja i integracja ontologii to dziedziny, które w ostatnim okresie są obiektem intensywnego rozwoju. Rozwój nowych idei spowodował konieczność wprowadzenia ich systematyzacji i klasyfikacji. W niniejszym artykule przeanalizowano możliwość wyrażenia odwzorowań i złączeń za pomocą algebry konglomeratów oraz przedyskutowano możliwość wykorzystania roli algebry jako ujednoliconego medium opisu metod integracji i modularyzacji
Zastosowanie konstrukcji deklaratywnych do rozpraszania i optymalizacji przetwarzania danych
No full textIn that article will be shown concept of extending imperative properties of programming languages with declarative constructions. Those constructions allow estimate the cost of processing with the ability to declare independent processing steps. Steps can be then dispersed within the processing node (i.e. GPU or different cores of CPU) as well as whole distributed system. Effectiveness of whole computation process (optimization) is taken into consideration during that distribution.W artykule zostanie przedstawiona koncepcja rozszerzenia własności imperatywnych języków programowania o elementy konstrukcji deklaratywnych, które pozwalają na oszacowanie kosztów przetwarzania wraz z możliwością określenia niezależnych kroków przetwarzania, które mogą podlegać rozproszeniu zarówno w obrębie danego węzła przetwarzania (np. GPU lub różne rdzenie CPU), jak i całego systemu rozproszonego, biorąc pod uwagę efektywność całego procesu przetwarzania (optymalizacja)
Dobór struktur danych pod kątem optymalizacji przetwarzania analitycznego
No full textFor several years, the analysts have admitted, that demand for the computing power of analytic applications grows exponentially. For this reason, the new technologies of resource usage are still looking for. The result of these quests are the column-based processing and the in-memory database solutions which are suggested through more and more companies. In order to verify the opinion, the new approach gives more efficient results than classic, a series of tests were executed and the results was summarized in this article.Od kilku lat analitycy przyznają, że zapotrzebowanie na moc obliczeniową ze strony aplikacji analitycznych rośnie w tempie wykładniczym. Potrzebne jest więc poszukiwanie nowych technologii wykorzystywania zasobów przez tego typu aplikacje. Wynikiem owych poszukiwań są, proponowane przez coraz więcej firm, rozwiązania bazujące na kolumnowym przetwarzaniu i przechowywaniu danych oraz technologii baz rezydujących w pamięci (ang. in-memory database). W celu zweryfikowania tezy głoszącej przewagę nowych rozwiązań nad podejściem klasycznym wykonano wiele badań, których wyniki zestawiono w niniejszym artykule
Regułowa optymalizacja zapytań w bazach danych przestrzennych
No full textThis article addresses how to optimize queries in spatial databases. Authors as mainstream considerations adopted to optimize adjustable speed performance which allows queries on the stage of their development. The result of the study are the observations in the form of proposed rules of optimization, where the effectiveness is verified experimentally. Proposed three methods for decomposition of queries into a less time-consuming computationally. The first is to replace spatial functions in a Boolean search. In the second case, the decomposition property of communication used in the context of the function sum. The third property concerns the identification of communication in terms of joint function.Niniejszy artykuł porusza temat optymalizacji zapytań w bazach danych przestrzennych. Autorzy, jako główny nurt rozważań, przyjęli optymalizację regułową, która pozwala przyśpieszyć wykonywanie zapytań na etapie ich tworzenia. Efektem badań są spostrzeżenia w postaci proponowanych reguł optymalizacji, których efektywność została sprawdzona eksperymentalnie. Zaproponowano trzy metody dekompozycji zapytań do postaci mniej czasochłonnych obliczeniowo. Pierwszą z nich jest zastąpienie funkcji przestrzennych w warunkach wyszukiwania operatorami logicznymi. W drugim przypadku do dekompozycji wykorzystano własność łączności w kontekście funkcji sumy. Trzecie rozpoznanie dotyczy własności łączności w aspekcie funkcji części wspólnej
System monitoringu z automatycznym wykrywaniem potencjalnych zagrożeń
No full textPublication contains description of building monitoring system. System has AI module to allow it to identify people on camera images. System detects danger situations in real-time and allows user to analyze recorded events.Praca zawiera opis systemu monitoringu budynku. System wyposażony został w moduł sztucznej inteligencji, pozwalający na rozpoznanie widocznych na zdjęciach kamer osób. System umożliwia wykrycie zagrożeń w czasie rzeczywistym oraz analizę zarejestrowanych zdarzeń w celu ich wyjaśnienia
Reguły niedeterministyczne w systemach decyzyjnych
No full textThe short non-deterministic rules were described in the paper. This type of rules is used to build up rule-based classifiers. Special emphasis is put on the way of extraction this kind of rules. The proposed methods of such rules generation were compeered in terms of the classifiers quality.W artykule przedstawiono problem generowania skróconych reguł niedeterministycznych w systemach decyzyjnych. Tego typu reguły wykorzystano do budowy klasyfikatorów regułowych. W pracy położono szczególny nacisk na sposób tworzenia skróconych reguł niedeterministycznych. Przedstawiono porównanie zaproponowanych metod tworzenia reguł niedeterministycznych pod względem jakości uzyskanych klasyfikatorów
S-Pellet jako implementacja zdaniowej reprezentacji modułów algebry konglomeratów
No full textIn the article we introduce a prototypical system, named S-Pellet, which reasons over semantic modules with use of a standard reasoning engine, Pellet. The architecture, interfaces and a scenario of use of S-Pellet are presented. For the reasoning S-Pellet exploits the theory of sentential representation of s-modules; the theory is described and discussed in the paper.W niniejszym artykule opisano zdaniową reprezentację konglomeratów (semantycznych modułów ontologicznych). Pokazano, w jaki sposób reprezentacja ta może być przydatna do wnioskowania z konglomeratów. Zaprezentowano też prototypowy system o nazwie S-Pellet, realizujący działania algebry konglomeratów za pomocą reprezentacji zdaniowej. System ten wykorzystuje do wnioskowania program Pellet, realizujący algorytm tableau
Regułowy model logiczny rekonfigurowalnego sterownika logicznego do weryfikacji i syntezy
No full textThe article presents rule-based logical model of reconfigurable logic controller, by means of Control Interpreted Petri Nets, which are formal specification of discrete systems behavior. Logical model, as an abstract description, is easy to formally verify and to synthesize. In the paper, various rules notations are discussed.Artykuł przedstawia regułowy model logiczny rekonfigurowalnego sterownika logicznego opisanego za pomocą interpretowanej sieci Petriego, która jest formalną specyfikacją zachowania systemów dyskretnych. Model logiczny, jako abstrakcyjny opis, nadaje się zarówno do formalnej weryfikacji, jak i syntezy logicznej. W pracy są rozpatrywane różne warianty opisu reguł