Filtry
wszystkich: 3980
wybranych: 2663
-
Katalog
- Publikacje 2663 wyników po odfiltrowaniu
- Czasopisma 91 wyników po odfiltrowaniu
- Osoby 556 wyników po odfiltrowaniu
- Wynalazki 3 wyników po odfiltrowaniu
- Projekty 41 wyników po odfiltrowaniu
- Laboratoria 6 wyników po odfiltrowaniu
- Zespoły Badawcze 7 wyników po odfiltrowaniu
- Kursy Online 278 wyników po odfiltrowaniu
- Wydarzenia 334 wyników po odfiltrowaniu
- Dane Badawcze 1 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: ARCHITEKTURA POLITECHNIKI GDAŃSKIEJ
-
Reprezentacje dynamiczne podpisu odręcznego
PublikacjaZdefiniowano zespolone reprezentacje dynamiczne podpisu składanego odręcznie, zarejestrowanego za pomocą tabletu graficznego. Przedstawiono metody uzyskiwania tych reprezentacji oraz metody wspomagające ocenę zgodności aktualnych podpisów z wzorcem. Omówiono również zalety i wady tych metod. Zaprezentowano wyniki działania oryginalnych algorytmów przetwarzania i podejmowania decyzji, zaimplementowanych w środowisku MATLAB.
-
Ocena jakości nowego rozwiązania systemu TETRA
PublikacjaW pracy przedstawiono nowe rozwiązania modulacji i kodowania kanałowego przewidziane dla systemu TETRA i sprecyzowane w najnowszej specyfikacji technicznej. Następnie przedstawiono wyniki badań jakości transmisji dla modulacji pi/8 DQPSK, przy założeniu stosowania schematów kodowania i przeplotu obowiązujących w pierwotnej wersji systemu, Uzyskane wyniki ukazują wyraźną poprawę jakości transmisji i potrzebę uzupełnienia specyfikacji...
-
WOPT-uniwersalny system do analizy i symulacji widm optycznych cienkich struktur dielektrycznych
PublikacjaPrzedstawiono system WOPT umożliwiający symulację złożonych, dielektrycznych powłok cienkowarstwowych. Oprogramowanie służy zarówno do projektowania specjalistycznych wielowarstwowych powłok optycznych jak i do kontroli parametrów gotowych produktów cienkowarstwowych. Za pomocą programu można wykonać analizę grubości oraz optycznych parametrów materiałowych powłok dielektrycznych na postawie wykonanych pomiarów spektralnych. Wykonano...
-
Analiza wpływu konfiguracji stacji pomiarowych na dokładność pozycjonowania w metodzie TDOA
PublikacjaW artykule dokonano analizy wpływu konfiguracji stacji pomiarowych na dokładność estymacji położenia geograficznego terminala w systemach wykorzystujących metodę TDOA (Time Difference of Arrival). W pierwszej części przedstawiono model symulacyjny wykorzystany do badań. Zaprezentowano również model statystyczny, który wykorzystano do wyznaczenia parametru geometrycznego rozmycia pozycji GDOP (Geometric Dilution of Precision) w...
-
Spatial analysis of Critical Infrastructure risk assessment results using a Web-based GIS
PublikacjaArtykuł prezentuje Sieciowy System Informacji Przestrzennej dla Szacowania i Wizualizacji Infrastruktur Krytycznych i ich Zagrożeń, stworzony dla Urzędu Miejskiego w Gdańsku przez Politechnikę Gdańską. System ten jest przeznaczony do przetwarzania przestrzennego i mapowania wyników różnych analiz Infrastruktur Krytycznych, zaś CARVER2 pełni w nim rolę głównego ''sensora''.
-
Realizacja łącza sygnalizacyjnego SS7 w sieci IP QoS
PublikacjaWykorzystanie technologii IP dla realizacji połączeń między sieciami PSTN/ISDN wymaga obsługi sygnalizacji SS7 ISUP. Jednym z rozwiązań tego problemu jest utworzenie łącza sygnalizacyjnego na platformie IP dla połączenia punktów sygnalizacyjnych łączonych sieci. W niniejszej pracy opisano pojęcie łącza sygnalizacyjnego SS7, jego ekwiwalent w sieci IP oraz propozycję rozwiązania programowego realizującego takie łącze w sieci IP...
-
Usprawnienie procesu formułowania zapytań dla cyfrowej biblioteki dokumentów muzycznych
PublikacjaW pracy przedstawiono program Melody Explorer, służący jako interfejs użytkownika dla multimedialnej bazy danych (biblioteki cyfrowej)dokumentów muzycznych. Zadaniem programu jest m.in. zamiana danych wprowadzanych przez użytkownika w formie akustycznej (takiej jak śpiew, nucenie, gra na instrumencie) na zapis symboliczny w postaci notacji muzycznej. W pracy omówiono doświadczenia z dotychczasowej eksploatacji programu, zaproponowano...
-
Stałoprądowy model tranzystora typu HSD MAGFET
PublikacjaZaproponowano stałoprądowy model dwudrenowego tranzystora polowego typu HSD MAGFET, wykorzystywanego jako czujnik pola magnetycznego o dużej czułości na zmiany pola magnetycznego i dużej geometrycznej rozdzielczości pomiarowej. Zaprezentowany model odzwierciedla zjawisko podziału prądu płynącego w kanale tranzystora na prądy drenów i uwzględnia wzajemne oddziaływanie napięć drenów VDS1 i VDS2 na prady drenów ID1 i ID2 poprzez wprowadzenie...
-
Kierunki standaryzacji w zdalnym nauczaniu
PublikacjaDziedzina zdalnego nauczania rozwija się dzięki wielu współpracującym organizacjom i konsorcjom. Opracowały one kilkadziesiąt specyfikacji i modeli referencyjnych, z których część została zaakceptowana jako standardy takich organizacji jak ISO czy IEEE. Artykuł zawiera przegląd najważniejszych instytucji zajmujących się dziedziną zdalnego nauczania oraz wskazuje ich wkład w dotychczasowe dokonania dziedziny. Wskazano także obszary,...
-
Heurystyczne algorytmy szeregowania zadań wieloprocesorowych na procesorach dedykowanych
PublikacjaProblem szeregowania zadań wieloprocesorowych na procesorach dedykowanych można zaprezentować przy pomocy modelu kolorowania krawędzi hipergrafów. Hipergrafem nazywamy pewne uogólnienie grafu, w którym krawędzie mogą zawierać dowolnie wiele wierzchołków. Model taki pozwala symulować rozmaite zjawiska praktyczne oraz teoretyczne. Kolorowanie hiperkrawędzi hipergrafów jest uogólnieniem kolorowania krawędzi grafów, zatem jest problemem...
-
Porównanie heurystyk dla problemu szeregowania zadań czasowo-zależnych o wspólnym podstawowym czasie wykonywania
PublikacjaW pracy rozważany jest następujący, jednoprocesorowy problem szeregowania zadań czasowo-zależnych. danych jest n+1 zadań o czasach wykonywania postaci pi = a + bisi, gdzie si oznacza czas rozpoczęcia wykonywania i-tego zadania, a > 0, bi > 0, i = 0, 1, ..., n. wszystkie zadania są niepodzielne i dostępne w chwili t0 = 0. należy znaleźć harmonogram minimalizujący łączny czas zakończenia. w pracy przedstawiono algorytm, który, o...
-
Wprowadzenie do analizy obrazu w procesie detekcji i identyfikacji twarzy
PublikacjaOpisano proces analizy obrazu na podstawie biometrycznych metod rozpoznawania twarzy. Przedstawiono algorytm detekcji oraz identyfikacji człowieka na podstawie punktów charakterystycznych twarzy oraz opisano szczegółowo jego etapy. Zdefiniowano pojęcia: biometria, proces pomiaru biometrycznego, analiza obrazu. Przedstawiono wybrane, istniejące systemy monitoringu wykorzystujące algorytmy wypracowane na podstawie biometrycznych...
-
Hiperheurystyki w kolorowaniu grafów
PublikacjaHiperheurystyki to jeden z nowych trendów w technice obliczeniowej. Można je zdefiniować jako algorytmy, które wykorzystują zdefiniowany zbiór prostych heurystyk do znalezienia przybliżonego rozwiązania. Celem algorytmu jest znalezienie takiej sekwencji uruchamiania tych prostych operacji, która będzie dawała najlepsze rozwiązanie dla danej instancji problemu lub danej klasy instancji problemu. W pracy zdefiniowano heurystyki dla...
-
Kolorowanie końcówkowe multidrzew
PublikacjaW pracy przedstawiono nowy model kolorowania grafów, mianowicie kolorowanie końcówkowe. Naszkicowano związki łączące ten model z klasycznymi modelami kolorowania oraz przedstawiono wielomianowy algorytm optymalnie końcówkowo kolorujący multidrzewa.
-
Zastosowania trójkątnych płytek w grafice komputerowej
PublikacjaPraca opisuje metody pokrywania trójkątnymi płytkami dowolnych powierzchni trójwymiarowych reprezentowanych przez siatki trójkątne. Omówione są znane metody konstruowania i układania trójkątnych płytek oraz ich optymalizacja algorytmami kolorowania grafów. Zaproponowana jest ulepszona hybrydowa metoda, umożliwiająca pokrycie dowolnej powierzchni wzorem, który wymaga kierunkowego uporządkowania.
-
Wizualizacja w systemach sterowania
PublikacjaPodano przegląd stosowanych w systemach automatyki typów interfejsów HMI. Przedstawiono także technologię wykorzystywaną do produkcji ekranów dotykowych. Omówiono ponadto rolę systemów HMI w procesie sterowania a przydatność tego rodzaju systemów przedstawiono na przykładzie interfejsu zaprojektowanego dla stacji uzdatniania wody.
-
Zwarte końcówkowe kolorowanie grafów
PublikacjaPraca dotyczy jednego z nowych modeli kolorowania grafów, tzw. zwartego końcówkowego kolorowania. Praca zawiera definicję modelu, informacje o jego zastosowaniach, dolne i górne oszacowania na liczbę kolorów oraz wartości dokładne zwartego końcówkowego indeksu dla wybranych klas grafów: ścieżek, cykil, gwiazd, kół, grafów pełnych i innych.
-
Oddziaływanie przepięć atmosferycznych na bezpieczniki SN: badania wstępne
PublikacjaObserwowane sš liczne przypadki błędnego działania w czasie burz bezpieczników SN chronišcych transformatory słupowe SN/nn. W artykule przedstawiono wyniki eksperymentów i symulacji wpływu przepięcia atmosferycznego na zachowanie się bezpieczników SN. Zauważono, że udary krótsze niż około 15 ms nie powodujš znacznego zwiększenia całki Joule`a pršdu płynšcego przez bezpiecznik mogšcego doprowadzić do jego zadziałania. Choć w rzeczywistoci...
-
Protekcja ruchu pakietowego w technice MPLS
PublikacjaW artykule przedstawiono podstawowe koncepcje techniki komutacji etykietowej MPLS z punktu widzenia obsługi ruchu, ze szczególnym uwzględnieniem aspektów techniki MPLS związanych ze wsparciem inżynierii ruchu, metodami wyznaczania i zestawiania ścieżek komutowanych etykietowo oraz integracją z architekturą DiffServ. Następnie dokonano przeglądu metod protekcyjnych dla techniki MPLS oraz zaproponowano model analizy czasu wznawiania...
-
Perspektywy rozwoju robotyki
PublikacjaPrzedstawiono krótko historię rozwoju robotyki, jej wpływ na życie człowieka oraz przewidywane kierunki rozwoju na tle rozwoju innych dziedzin wiedzy, z których robotyka korzysta.
-
Komputerowe wspomaganie diagnostyki układu oddechowego człowieka
PublikacjaCelem pracy jest weryfikacja praktycznej przydatności parametrów modelu procesu respiracji w diagnostyce układu oddechowego. Modelowanie oparto o wyniki badania układu oddechowego techniką oscylacji wymuszonych. Zaprezentowano dwa modele wymiany gazowej: czteroparametrowy i sześcioparametrowy.
-
Realizacja bezprzewodowej sieci czujników w standardzie ZigBee
PublikacjaPrzedstawiono koncepcję budowy bezprzewodowej sieci ZigBee, z wykorzystaniem mikrokontrolerów firmy MicroChip Technology Inc. oraz modułów radiowych wykonanych na układzie CC2420 i pracujących w paśmie częstotliwości 2,5GHz. Podano szczegóły dotyczące opracowanego oprogramowania realizującego zadania routingu. Opisano najistotniejsze problemy techniczne, jakie pojawiają się przy realizacji sieci bezprzewodowej w tym standardzie.
-
Przegląd mechanizmów zabezpieczania systemu operacyjnego
PublikacjaZapewnienie bezpieczeństwa systemu komputerowego jest jednym z najważniejszych zadań systemu operacyjnego. W artykule zostaną przedstawione mechanizmy i technologie zabezpieczania systemu operacyjnego Linux. Zostaną opisane metody aktywnej ochrony systemów operacyjnych poprzez blokowanie połączeń sieciowych i ograniczanie praw dostępu aplikacji do zasobów. Przedstawione zostaną również rozwiązania ograniczające szkody dokonywane...
-
A current-controlled FET
PublikacjaA novel semiconductor device, viz., Horizontally-Split-Drain Current-Controlled Field-Effect Transistor (HSDCCFET) with two control electrodes is proposed in this works. For the sake of brevity, the device can be called a CCFET. Operating principle of the proposed transistor is based on one of the galvanomagnetic phenomena, the Biot-Savart-Laplace law and a Gradual Channel Detachment Effect (GCDE). The transistor is dedicated...
-
Nieliniowa spektroskopia ultradźwiękowa jako narzędzie informacyjno-diagnostyczne
PublikacjaPrzedstawiono nowa metodę badań nieniszczących elementów przewodzących do wykrywania defektów. W metodzie wykorzystano efekty nieliniowe powstające wskutek nieharmonicznego ruchu atomów podlegających wibracjom ultradźwiękowym (wzajemnego oddziaływania fononów ultradźwiękowych i elektronów wskutek istnienia defektu powodującego nieliniowości). Testowana próbka jest pobudzana przez sygnały harmoniczne: elektryczny i ultradźwiękowy...
-
Koncepcja nawigacyjnego odbiornika systemu Galileo
PublikacjaW artykule przedstawiono sposób działania odbiornika systemu nawigacyjnego Galielo. Przedstawiony został tor odbiorczy oraz model odbionik a systmu GNSS dla częstotliwości L1.Scharaektyryzowano również niektóre dostępne serwisy Galileo oraz częstotliwości służące do ich realizacji.
-
MEMS based voice message system for elevators
PublikacjaW artykule przedstawiono implementację systemu głosowych komunikatów w windach. Prezentowany system posiada unikalną cechę polegającą na tym, że do działania nie potrzebuje połączenia z systemem sterującym windy. Zasilany z baterii lub akumulatorów może być zamontowany w ścianie windy, wymaga tylko prostej kalibracji. System oparty jest na akcelerometrach MEMS dokonujących pomiaru przeciążeń w kabinie windy. W artykule przedstawiono...
-
Hybrydowy symulator zachowań niekooperacyjnych w sieciach wieloskokowych
PublikacjaW referacie przedstawiono projekt symulatora sprzętowo-programowego (hybrydowego) służącego do analizy protokołów sieciowych. Symulator, ze względu na swoją konstrukcję, może być zastosowany do symulacji szerokiego zakresu aspektów pracy sieci komputerowych zarówno przewodowych, jak i bezprzewodowych. Aplikacją podstawową jest badanie zachowań niekooperacyjnych w sieciach wieloskokowych.
-
Implementacja cyfrowego równoległego systemu rozmytego w układzie FPGA
PublikacjaW artykule przedstawiono praktyczną implementację cyfrowego równoległego systemu rozmytego w układzie FPGA. Poszczególne zbiory rozmyte posiadają swój kod, który wykorzystywany jest do adresowania pamięci przechowującej reguły. W proponowanym systemie proces wnioskowania przebiega równolegle dla aktywowanych reguł.
-
Metody sprzętowej implementacji kryptografii odpornej na kryptoanalizę
PublikacjaW pracy zaprezentowano problematykę kryptoanalizy implementacji sprzętowych bazującej na informacji z kanału bocznego. Opisano rodzaje ataków pasywnych ze szczególnym uwzględnieniem analizy czasowej i analizy poboru mocy. Przedstawiono podstawowe metody zapobiegania atakom. Zaproponowano metodę projektowania wykorzystującą wyrównywanie mocy w asynchronicznych układach kombinacyjnych oraz w układach synchronicznych. Dokonano implementacji...
-
Scalony analogowy filtr kanałowy CMOS wielosystemowego odbiornika komunikacji bezprzewodowej
PublikacjaNa przestrzeni ostatnich lat powstało wiele nowych standardów komunikacji bezprzewodowej, co prowadzi do zwiększonego zapotrzebowania na urządzenia wielosystemowe. Konieczność zmniejszenia kosztów produkcji, obniżenia pobieranej mocy i zmniejszenia rozmiarów tych urządzeń zmusza do poszukiwania nowych rozwiązań układowych. Jednym z ważniejszych bloków toru odbiornika telefonii bezprzewodowej jest dolnoprzepustowy filtr kanałowy....
-
What is information?
PublikacjaPojęcie informacji było dotąd kwantyfikowane głównie w terminach statystycznych, dając początek shannonowskiej teorii informacji i zasad cyfrowej transmisji danych. Współczesne systemy komunikacyjne łączące skomplikowane, inteligentne i autonomiczne podmioty wymagają nowego spojrzenia na miary informacji, uwzględniającego kontekst i semantykę przekazu oraz racjonalne działania podmiotów. W niniejszym eseju zaproponowano podejście...
-
Zastosowanie metody podziału i ograniczeń w wielokryterialnym problemie podziału hw/sw do implementacji algorytmów kryptograficznych
PublikacjaW niniejszej pracy przedstawiono zastosowanie metody podziału i ograniczeń B&B (ang. Branch and Bound) do problemu podziału funkcjonalności między sprzęt i oprogramowanie. Metoda B&B daje rozwiązanie optymalne, ma jednak wykładniczą złożoność obliczeniową. Przyspieszenie uzyskiwane jest na drodze eliminacji nierokujących gałęzi w przestrzeni poszukiwań, a jej kluczowym elementem jest definicja funkcji ograniczenia dolnego. W niniejszej...
-
Zastosowanie kompresji wartości chwilowej w analogowym przetwarzaniu sygnałów
PublikacjaKompresja wartości chwilowej sygnału jest metodą alternatywną w stosunku do klasycznej kompresji obwiedni. W referacie omówiono podstawowe zagadnienia związane z projektowaniem i realizacją w technologii CMOS filtrów analogowych z kompresją wartości chwilowej typu pierwiastek kwadratowy. Przedstawiono również wyniki pomiarów wykonanego w technologii CMOS 0.35mm scalonego filtru 6 go rzędu z kompresją typu pierwiastek kwadratowy.
-
Dwuwymiarowy obraz zjawisk w tranzystorze MOS - badania numeryczne
PublikacjaZaprezentowano wyniki badań numerycznych, z których wynika, że w tranzystorze MOS występuje zjawisko łagodnego odrywania się kanału i zjawisko powiększania grubości kanału. Obydwa zjawiska można uwzględnić w quasi-dwuwymiarowym modelowaniu pracy tranzystora polowego, dzięki czemu można opracowywać dokładniejsze modele analityczne takiego przyrządu półprzewodnikowego.
-
Stopień wejściowy odbiornika satelitarnego systemu nawigacyjnego Galileo
PublikacjaW artykule przedstawiono koncepcję odbiornika dla europejskiego satelitarnego systemu nawigacyjnego Galileo oraz najistotniejsze cechy takiego odbiornika. W szczegolności zwróceono uwage na jego stopień wejściowy, kluczoey z punktu widezenia akwizycji oraz śledzenia sygnału, pominięte natomiast zostały kolejne stopnie przetwarzania sygnału, związanie już z samymi obliczeniami nawigacyjnymi.
-
Zastosowanie magistrali testującej IEEE 1149.6 do diagnostyki układów cyfrowych sprzężonych pojemnościowo
PublikacjaPrzedstawiono magistralę ułatwionego testowania standardu IEEE 1149.6 przeznaczoną do diagnostyki złożonych układów cyfrowych sprzężonych pojemnościowo. Zaprezentowano metody transmisji sygnałów cyfrowych o b. wysokich częstotliwościach, a następnie przedstawiono rozwiązania kluczowych elementów magistrali: komórkę brzegowego rejestru wyjściowego z nadajnikiem sygnałów testowych oraz detektor sygnałów różnicowych o sprzężeniu pojemnościowym....
-
Wontougo - kooperacyjny edytor Wordnetu
PublikacjaArtkuł zawiera opis systemu pozwalającego na kooperacyjną edycją słownika opartego na wordnecie[1]. w ramach projektu dokonano przeniesienia słownika z wersji zorganizowanej na plikach do relacyjnej bazy danych. wykonano również interfejs użytkownika w postaci aplikacji opartej na bibliotece touchgraph[2]. w niniejszym artykule przedstawiono sposób odzwierciedlenia struktury plików wordnetu na bazę danych oraz możliwości, jakie...
-
Problemy projektowania oświetlenia elektrycznego w chłodniach składowych
PublikacjaProjektowanie oświetlenia elektrycznego w chłodniach składowych jest zadaniem utrudnionym ze względu na to, że niska temperatura otoczenia bardzo niekorzystnie wpływa na działanie niektórych źródeł światła. Utrzymanie wymaganych przez normę wartości natężenia oświetlenia wiąże się ze stosowaniem kosztownych opraw oświetleniowych lub koniecznością wprowadzania współczynników korekcyjnych wartości strumienia świetlnego. W referacie...
-
OCENA WKŁADU PROGRAMISTY W KOŃCOWY KOD ŹRÓDŁOWY PROGRAMU
PublikacjaOcena pracy programistów jest zadaniem złożonym. Kierownicy projektów biorą pod uwagę takie czynniki jak jakość tworzonego kodu, zdolność do rozwiązywania problemów technicznych i biznesowych oraz produktywność. Mierzenie produktywności poszczególnych programistów jest jednak zadaniem skomplikowanym. W artykule zostanie przedstawiona nowa metoda oceny wkładu programisty w końcowy kod źródłowy programu. Na podstawie przechowywanej...
-
Modele kompensatorów energoelektronicznych do analiz pracy systemu elektroenergetycznego
PublikacjaArtykuł prezentuje wybrane modele kompensatorów energoelektronicznych wykorzystanych do analizy ich pracy w systemie elektroenergetycznym. Wykazano wady, jak i zalety modeli, wraz z zaznaczeniem zakresu ich przydatności do modelowania określonych zjawisk.Artykuł prezentuje wybrane modele kompensatorów energoelektronicznych wykorzystanych do analizy ich pracy w systemie elektroenergetycznym. Wykazano wady, jak i zalety modeli, wraz...
-
Zastosowanie wielopopulacyjnego algorytmu ewolucyjnego do problemu wyznaczania ścieżki przejścia
PublikacjaArtykuł przedstawia zastosowanie wielopopulacyjnego algorytmu ewolucyjnego do wyznaczania ścieżki przejścia. Zastosowany algorytm oparty jest na modelu z częściowo wymienianą populacją oraz migracją między niezależnie ewoluującymi populacjami. W pracy porównano działanie algorytmu wielopopulacyjnego z jednopopulacyjnym oraz zbadano wpływ poszczególnych parametrów na jakość uzyskanego rozwiązania. Wykazano, że zastosowanie kilku...
-
WPŁYW ZMIAN ROZMIESZCZENIA ELMENTÓW NA EMISJĘ PRZEWODOWĄ PRZETWORNICY ST1S10PUR
PublikacjaW referacie przedstawiono wpływ zmian w topologii (rozłożeniu elementów) przetwornicy ST1S10PUR o topologii typu Buck na emisję zaburzeń przewodowych. Wpływ był analizowany na przykładzie wprowadzania drobnych zmian w rozkładzie ścieżek mozaiki połączeń układu przy zastosowaniu we wszystkich rozpatrywanych konfiguracjach tych samych komponentów. Zastosowane zmiany w topologii połączeń pozwalają na oszacowanie ich wpływu na charakterystyki...
-
Odnawialne źródła energii na rynku energii elektrycznej w Polsce
PublikacjaW referacie przedstawiono aktualny stan wykorzystania odnawialnych źródeł energii do produkcji energii elektrycznej w Polsce. Omówiono aktualne zasady wsparcia źródeł odnawialnych oraz proponowane zmiany w tym zakresie. Wskazano perspektywy rozwojowe w zakresie wykorzystania odnawialnych źródeł energii do produkcji energii elektrycznej.
-
Redukcja czasu analizy MZP przez ograniczenie rozmiaru rozwiązania
PublikacjaAnaliza drzew niezdatności jest uznaną metodą analizy bezpieczeństwa systemów. Notacja ECSDM pozwala definiować zależności czasowe między zdarzeniami drzewa oraz przeanalizować je w celu określenia zależności pomiędzy zdarzeniami z Minimalnych Zbiorów Przyczyn (MZP). Dzięki wprowadzeniu klasyfikacji zdarzeń z MZP można wyodrębnić zależności czasowe istotne dla zapobiegania wywoływania hazardu przez konkretny MZP. Pozostałe zależności...
-
Wspomagane komputerowo określanie wymaganego poziomu nienaruszalności bezpieczeństwa z wykorzystaniem autorskiej aplikacji ProSIL
PublikacjaW referacie przedstawiony został autorski moduł oprogramowania ProSIL wspomagający zarządzanie bezpieczeństwem funkcjonalnym. W module ProSILen wykorzystuje się metody matrycy oraz grafów ryzyka. Referat nawiązuje w swej tematyce do zagadnień związanych z etapem określania specyfikacji wymagań bezpieczeństwa dla zidentyfikowanych funkcji bezpieczeństwa realizowanych przez systemy E/E/PE. Składa się ona z dwóch podstawowych grup...
-
Wykorzystanie systemu komputerowego ALEP-PL w planowaniu rozwoju lokalnych systemów energetycznych
PublikacjaZaprezentowano autorski system komputerowy ALEP-PL, który wspomaga proces planowania rozwoju lokalnych systemów energetycznych. Narzędzie zostało przygotowane z uwzględnieniem metodyki planowania zaawansowanego. System składa się z serwisu internetowego, bazy danych i modułów logiki biznesowej. Serwis internetowy został stworzony w technologii ASP.NET z użyciem środowiska Visual Studio 2010 i serwera baz danych MS SQL Server 2008...
-
MOŻLIWOŚCI POPRAWY PROCESU WYTWARZANIA OPROGRAMOWANIA W MAŁYCH FIRMACH INFORMATYCZNYCH
PublikacjaW artykule wykazano, że jest możliwa poprawa jakości procesu wytwarzania oprogramowania poprzez wdrożenie zaleceń standardu CMMI oraz wykorzystywanie doświadczeń z poprzednich udanych i udokumentowanych projektów. Wykazano znaczącą rolę szablonów dokumentacji w poprawie jakości procesu. Przeanalizowano praktyczne konsekwencje nierównomiernego zapotrzebowaniu na zasoby i zmiennej w czasie intensywności prac w cyklu życia oprogramowania....
-
Modyfikacja wariantów sukcesji w ewolucyjnej metodzie planowania ścieżki przejścia
PublikacjaW pracy analizowano wpływ sukcesji na kształtowanie nacisku selektywnego w ewolucyjnej metodzie planowania ścieżek przejść. Opisano metody sukcesji oraz przedstawiono pojęcie nacisku selektywnego. Zrealizowano badania dla 4 rodzajów algorytmów ewolucyjnych, w każdym przypadku stosując inną metodę sukcesji. Przeprowadzono symulację, uwzględniając liczbę wymienianych osobników oraz różne metody zastępowania. Otrzymane rezultaty pozwalają...
-
Symulacja komputerowa obiektu dynamicznego na przykładzie biogazowni
PublikacjaW artykule przedstawiono symulator czasu rzeczywistego biogazowni rolniczej. Przedstawiony symulator obejmuje obiegi biomasy, biogazu a także obieg grzewczy wraz z systemem sterowania urządzeniami układów biogazowni oraz wizualizacją procesów. Badania koncentrowały się na wykonaniu symulatora, który odzwierciedla istniejące instalacje. Oprogramowaniem służącym do symulacji jest system CFD (Computational Fluid Dynamics) dający...