Studia Informatica (E-Journal)
Not a member yet
712 research outputs found
Sort by
Trwałe przechwytywanie elementów graficznego interfejsu użytkownika
Paper presents a mechanism of collecting data of graphical user interface elements pointed by user as well as method of searching based on collected data. The mechanism was called a permanent capture of GUI elements because it allows to find pointed element independently on application’s instance. Task implementation assumed usage of API functions available in Windows operating system without additional, external libraries. Solution was tested with Windows applications as well as .NET and Java platforms.Artykuł przedstawia mechanizm pobierania danych wskazanych elementów graficznego interfejsu użytkownika oraz metodę ponownego ich zlokalizowania bez względu na instancję aplikacji. Mechanizm nazwano trwałym przechwytywaniem elementów GUI . Podczas realizacji założono wykorzystanie jedynie funkcji API systemu operacyjnego Windows. Działanie przetestowano na interfejsach graficznych aplikacji systemu Windows oraz platform .NET i Java
Statystyczna i eksploracyjna analiza czasu życia systemów pomp głębinowych ESP
Electrical submersible pump (ESP) systems are one of the more commonly used artificial lift methods that improve oil production from the well. This review of the literature describes survival analysis of ESP systems using statistical and data mining methodologies. Statistical analysis is based on the Kaplan-Meier estimator, while data mining utilizes a few traditional data mining algorithms.Systemy elektrycznych pomp głębinowych (ESP) wykorzystują jedną z metod sztucznego podnoszenia ropy naftowej, udoskonalającą proces produkcji w rezerwuarze. W artykule przeprowadzona jest statystyczna i eksploracyjna analiza czasu życia systemów ESP. W tym celu zastosowano estymator Kaplan-Meier oraz różne algorytmy eksploracji danych
Analiza mechanizmów aukcyjnych do sterowania alokacją zadania dla węzłów obliczeniowych
In this paper an analysis of auction mechanisms in computer cluster system will be presented. Taxonomy of bidding approaches will be described and some bidding level will be distinguished aimed to control of computing nodes. Vickrey mechanism will be in detail considered and some performance indexes will be evaluated and discussed.Celem niniejszego rozdziału jest przedstawienie zagadnień i analiza algorytmów aukcyjnych do sterowania klastrem komputerowym. Omówiono taksonomię aukcji oraz etapy licytacji w zastosowaniu do sterowania węzłami obliczeniowymi. Przedstawiono przykład z zastosowaniem algorytmu Vickreya oraz wskaźniki oceny algorytmów
Model kosztowy x-BR-drzewa w przestrzennych bazach danych
The paper proposes the cost model for spatial databases based on x BR-tree index. The model evaluates the cost for spatial queries in database, meant as a number of node accesses or disc reads. In addition, experimental results are presented, which shows the accuracy of analytical estimation compared with actual results.W artykule przestawiono model kosztowy x-BR-drzewa dla zapytań realizowanych w przestrzennych bazach danych. Model wyznacza koszt dla zapytań przestrzennych w bazach danych, rozumiany jako liczba dostępów do węzłów lub odczytów z dysku. Zaprezentowano wyniki testów, które pokazują dokładność analitycznych estymacji w porównaniu z rzeczywistymi wynikami
Analiza i rozwinięcie metod optymalizacji zapytań o pierwszych k preferowanych lokalizacji
The paper presents a general description of top-k spatial preference queries and an overview of its existing, R-tree based, execution methods. It also introduces an optimization method based on a widened top-k spatial reference query description. All discussed techniques are then analyzed and their characteristics are presented together with the fields of their potential use.Artykuł przedstawia opis zapytań o pierwszych k preferowanych lokalizacji oraz przegląd opartych na R-drzewie istniejących metod ich realizacji. Przedstawiona zostaje także metoda optymalizacji procesu wykonywania zapytania oparta na poszerzonym opisie formalnym zapytań o pierwszych k preferowanych lokalizacji. Wszystkie opisane metody są następnie poddane analizie i przedstawiona jest ich charakterystyka. Artykuł wskazuje także algorytmy najbardziej efektywne w zależności od cech zapytania i konfiguracji danych
Sterowanie topologią dla zredukowania zakłóceń w ruchomych sieciach sensorowych i ad hoc
Topology control (TC) attempts to find efficient but sparse subgraphs of the maxpower communication graph in mobile ad hoc and sensor networks. The TC for interference reduction makes it possible to minimize link interference and improve the quality of data transmission. This paper provides an algorithm for constructing a network topology for mobile ad hoc and sensor networks, such that the maximum link interference of the topology is minimized.Sterowanie topologią pozwala na znalezienie w grafie komunikacji o maksymalnej mocy efektywnych, ale rzadkich podgrafów. Umożliwia to redukcję zakłóceń oraz poprawienie jakości transmisji. Artykuł dostarcza algorytmu dla konstrukcji topologii sieci dla ruchomych sieci ad hoc oraz sieci sensorowych, w których jest minimalizowane maksymalne zakłócenie łącza
Szacowanie selektywności zapytań z wykorzystaniem metod estymacji jednowymiarowych rozkładów prawdopodobieństwa
The paper presents methods of a selectivity value estimation, which is required for a preliminary approximation of a query result size. The selectivity value is used by database management system query optimizer for obtaining the most effective query execution plan. The paper shows selectivity approximation methods based on a histogram estimation of a single-dimensional attribute value distribution.Artykuł opisuje sposoby obliczania selektywności – parametru wyznaczanego w celu wstępnego oszacowania rozmiaru wyniku zapytania. Wartość tego parametru wykorzystywana jest przez optymalizator zapytań serwera bazy danych w procesie uzyskania możliwie najefektywniejszego sposobu realizacji zapytania. Artykuł prezentuje techniki wyznaczania selektywności, bazujące na histogramowej estymacji jednowymiarowego rozkładu wartości atrybutu
Półformalny system szkieletowy do konstruowania zabezpieczeń informatycznych zgodny z metodyką Wspólne kryteria
The monograph presents an IT Security Development Framework (ITSDF) based on the Common Criteria (ISO/IEC 15408) family of standards for the product designers and evaluators. The system, compliant with ISO/IEC TR 15446, is based on the enhanced generics, advanced functionality, recent information security management standards, and risk analysis. The concept presented in the monograph, dealing with the elaboration of the ITSDF framework, encompasses two basic issues:- creating the means to build the security specifications; the means include defined enhanced generics and Common Criteria components for any stage of IT security development, i.e.: security problem definition, elaborating security objectives, requirements and functions, - workout of the semiformal (UML/OCL-based) model of this development process, encompassing a data model and processes responsible for the issuing of the security specifications.Using the UML/OCL-based framework presented there, a computer-aided tool was developed (ITSDF-tool). The main goal of creating this tool is to make the IT security developers’ activities easier and more effective. Due to the semiformal character of the Common Criteria and the UML methodologies, the framework presented there has a semiformal character as well. The formal method elements were introduced in the selected areas of this framework where they can bring real advantages, especially to improve the specification means.Monografia dotyczy zagadnienia konstruowania zabezpieczeń wbudowywanych w produkty lub systemy informatyczne (IT) z zamiarem poddania niezależnej ocenie tych zabezpieczeń, zgodnie ze standardem ISO/IEC 15408 „Wspólne kryteria oceny zabezpieczeń teleinformatycznych” (Common Criteria). Przedstawia ona szkieletowy system do konstruowania zabezpieczeń (ITSDF – IT Security Development Framework) zgodny z ISO/IEC TR 15446, który zawiera:- jednolity zbiór środków specyfikacji (język), obejmujący zbiór zdefiniowanych w pracy tak zwanych rozszerzonych (udoskonalonych) generyków (enhanced generics) oraz zbiór modeli komponentów funkcjonalnych i uzasadniających zaufanie zdefiniowanych przez standard,- model procesu konstruowania zabezpieczeń, rozumianego zgodnie ze standardem jako wypracowanie zadania lub profilu zabezpieczeń, obejmującego modele struktur danych i wykorzystujących je procesów.Modele UML/OCL znalazły odzwierciedlenie w postaci komputerowego narzędzia wspomagania konstruowania i oceny zabezpieczeń ułatwiającego realizację pracochłonnych czynności, takich jak na przykład uzasadnienie projektu (rationale) oraz pozwalającego na powtórne wykorzystanie opracowanych elementów zabezpieczeń w podobnych projektach (reusability), wizualizację i ocenę projektu, zarządzanie materiałem dowodowym dostarczanym wraz z produktem do laboratorium oceniającego, itp. System ITSDF bazuje na analizie ryzyka i jest zgodny ze standardami dotyczącymi zarządzania bezpieczeństwem informacji. Ma charakter półformalny, podobnie jak sam standard Common Criteria czy też język UML, wykorzystywany do jego budowy. Posiada pewne elementy formalne, służące zwłaszcza do uzyskania lepszej dokładności tworzonych specyfikacji
Algorytmy haszujące – sposoby ochrony aplikacji
This article presents one of the mechanisms of ensuring security in applications designed in Java programming language – hashing algorithms. It describes selected elements of Java Cryptographic Architecture library. Chosen algorithms were scrutinized in terms of the security and how fast they work.W artykule został przedstawiony jeden z mechanizmów zapewniania bezpieczeństwa w aplikacjach wytwarzanych w środowisku Java – algorytmy haszujące. Zostały również opisane wybrane elementy biblioteki Java Cryptographic Architecture. Wybrane algorytmy zostały przeanalizowane pod kątem zarówno bezpieczeństwa, jak i szybkości działania
Idea systemu komunikacji kryzysowej pracującego w pasmach ISM
The paper describes novel system of emergency communication based on ISM bands. Possible theoretical range of the system is estimated. Moreover background on the emergency communication is presented.Artykuł opisuje nowatorski system komunikacji kryzysowej pracu¬jący w pasmach ISM. Oszacowany jest teoretyczny zasięg systemu. Ponadto, opisane jest wprowadzenie do komunikacji kryzysowej