Siedlce University Publishing House Journals
Not a member yet
3067 research outputs found
Sort by
Wirtualne laboratoria optymalizacji heurystycznej – wykorzystanie algorytmów mrówkowych
W życiu codziennym spotykamy się z różnego rodzaju problemami heurystycznymi. Do ich rozwiązania możemy stosować istniejące już deterministyczne metody optymalizacji. Istnieje jednak wiele zdarzeń kombinatorystycznych o niezwykle wysokiej złożoności obliczeniowej, dla których deterministyczne metody rozwiązania nie są do zaakceptowania, ponieważ ich złożoność i koszt obliczeniowy przekracza możliwości obliczeniowe najszybszych nawet komputerów. Wtedy dla inżyniera, pragnącego w rozsądnym czasie znaleźć rozwiązanie jeżeli nie optymalne, to przynajmniej suboptymalne, odpowiednim narzędziem stają się metody heurystyczne. Szukanie rozwiązania za ich pomocą sprowadza się do wygenerowania i zastosowania zbioru reguł kierujących procesem przeszukiwania przestrzeni rozwiązań. Istnieje kilka różnych paradygmatów pozwalających na generowanie szeregu algorytmów heurystycznych. Paradygmaty te nazywane są metaheurystykami, ponieważ nie definiują konkretnych algorytmów ale opisują ogólne podejścia. W ramach takiego podejścia istnieje możliwość szerokiego wariantowania poszczególnych reguł, co w rezultacie prowadzi do różnych algorytmów należących jednak do wspólnej rodziny
Metoda szacowania wartości wskaźników niezawodności systemów czasu rzeczywistego
W artykule przedstawione zostały informacje o najważniejszych cechach techniczno-eksploatacyjnych systemów czasu rzeczywistego oraz o metodach, które wykorzystać można do oceny niezawodności tego rodzaju systemów. Przedstawiony został zarys metodyki modelowania niezawodnościowego oraz przedstawiona została idea szacowania wartości wybranych miar niezawodności tej specyficznej klasy systemów technicznych wykorzystująca programową symulację procesu ich funkcjonowania
Architecture of the common intrusion detection framework
Efficiency of the Intrusion Detection Systems (IDS) mainly depends on their organizational, technical and functional structures, i.e. from the implemented of the system architecture. The fact, that in the designing process of several IDS different models were used, resulted in lack, of co-operation between those systems in complex computer systems environment. At this stage, as a natural consequence, R&D efforts were undertaken aimed at creation of a common model of the IDS architectur
Aspekty systemowe w paradygmacie obiektowym
W artykule zostało dokonane porównanie metodologii systemowej i podejścia obiektowego w analizie systemów empirycznych. Szczególną uwagę zwrócono na spójność metodologii podejścia obiektowego obu poziomów tworzenia modeli pojęciowych oraz ich implementacji w kodzie danego języka programowania
Specyfikacja i automatyczna analiza protokołu komunikacyjnego
W pracy opisano automatyczną walidację protokołu TCP. W tym celu została napisana specyfikacja protokołu TCP w języku Estelle. Następnie przeprowadzono symulację z użyciem pakietu EDT. Część sterująca protokołu TCP została poddana weryfikacji modelowej przy użyciu narzędzi Verics i Kronos. Dla wszystkich testowanych i weryfikowanych własności potwierdzono poprawność protokołu TCP. Mimo iż weryfikacja modelowa pełnego protokołu nie została przeprowadzona, to jego specyfikacja w Estelle będzie podstawą do dalszych prób dokonania takiej weryfikacji
Neuronowy model dokumentu tekstowego
W pracy przedstawiono nową metodę otrzymywania neuronowego modelu dokumentu tekstowego. Taki model może być wykorzystywany m.in. do zdalnego sterowania poszukiwaniem odkryć w sztucznym świecie dokumentów internetowych. A zatem na bazie teorii sterowania i inżynierii systemów zdefiniowano w tym względzie model elementarnego dokumentu tekstowego oraz model elementarnego systemu przetwarzania wiedzy zawartej w dokumentach tekstowych. Następnie zaproponowano neutronowy model dokumentu tekstowego oraz sieć neutronową jako schemat zastępczy modelu przetwarzania wiedzy zawartej w neuronowym modelu dokumentu tekstowego
Poszukiwanie odkryć w rozwijającej się elektroenergetycznej sieci przesyłowej przy wykorzystaniu środowiska Matlab i Simulink
Praca dotyczy ważnego w chwili obecnej zagadnienia, którym jest poszukiwanie prawidłowości rozwoju systemu elektromagnetycznego rozumianego jako fabryka bezludna funkcjonująca w oparciu o wirtualną organizację systemu informacyjno-decyzyjnego. Jednym z podsystemów tak rozumianego systemu jest elektroenergetyczna sieć przesyłowa. W referacie przedstawiono wyniki badań w zakresie modelowania i badania prawidłowości rozwoju systemu za pomocą związania zagadnienia rozwoju z ruchem pierwiastków na płaszczyźnie zmiennej zespolonej s. dla celów obliczeniowych przyjęto uproszczony model prakseologiczny systemu, który po przyjęciu odpowiednich założeń został przekształcony w model cybernetyczny oraz w schemat blokowy a stąd wyprowadzając równanie charakterystyczne otrzymano sztuczny kod genetyczny systemu. Do identyfikacji charakterystyk modelu wykorzystano dane z roczników Statystyki Elektroenergetyki Polskiej. Zmieniając parametry i strukturę systemu, obserwowano przebieg linii pierwiastkowych Evansa. Do badań aplikacyjnych wykorzystano środowisko Matlab i Simulink z takimi przybornikami jak Control System Toolbox, Neural Network Toolbox czy też System Identification Toolbox. Badania są kontynuowane w kierunku bardziej szczegółowego prowadzenia odkryć a pomocą sieci neuronowych samoorganizujących się