Wyszukiwarka
Filtry
wszystkich: 3646
-
Katalog
- Publikacje 2464 wyników po odfiltrowaniu
- Czasopisma 90 wyników po odfiltrowaniu
- Wydawnictwa 2 wyników po odfiltrowaniu
- Osoby 576 wyników po odfiltrowaniu
- Wynalazki 1 wyników po odfiltrowaniu
- Projekty 26 wyników po odfiltrowaniu
- Laboratoria 5 wyników po odfiltrowaniu
- Zespoły Badawcze 4 wyników po odfiltrowaniu
- Kursy Online 108 wyników po odfiltrowaniu
- Wydarzenia 369 wyników po odfiltrowaniu
- Dane Badawcze 1 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: Biblioteka Politechniki Gdańskiej
-
Simulation and measurements for the substance identification by AFM
Publikacja -
Ochrona odgromowa dużych obiektów sportowych na przykładzie stadionu PGE ARENA w Gdańsku
PublikacjaW artykule przedstawiono specyfikę ochrony dużych obiektów sportowych przed skutkami wyładowań atmosferycznych. Omówiono zasady ochrony tych obiektów przed bezpośrednim uderzeniem pioruna oraz sposoby ograniczenia przepięć powstających w instalacjach elektroenergetycznych oraz sterujących i pomiarowych zainstalowanych w takich obiektach. Wskazano konieczność indywidualnego rozwiązywania systemów ochronnych.
-
Układ indukcyjnego systemu grzewczego o zmniejszonej emisji zaburzeń
PublikacjaPrzedstawiono wyniki pracy nad indukcyjnym systemem grzewczym, w którym w szczególności uwzględniono problemy minimalizacji zaburzeń elektromagnetycznych wprowadzanych w czasie pracy do sieci zasilającej. W pracy przedstawiono i opisano zastosowany układ indukcyjnego systemu grzejnego oraz przedstawiono uzyskane wyniki badań rozwijanej konstrukcji i zalecenia konstrukcyjne
-
Mechanizmy wsparcia rozwoju wysokosprawnej kogeneracji i OZE oraz wykorzystania energii odpadowej w Polsce i UE
PublikacjaPrzedstawiono zobowiązania i główne wnioski zawarte w dyrektywach Komisji Europejskiej oraz w krajowych ustawach i rozporządzeniach ministerialnych, dotyczących wdrożenia mechanizmu wsparcia źródeł rozproszonego wytwarzania energii. Skupiono się głównie na wsparciu dla rozwoju wysokosprawnej kogeneracji. Zaprezentowano szanse wynikające dla małych i średnich przedsiębiorstw, działających w branży instalatorskiej i energetycznej,...
-
Zespół źródeł sygnałow zaburzających małych i wysokich częstotliwości
PublikacjaPrzedstawiono podstawowe przyczyny powstawania zakłóceń w urządzeniach elektrycznych i elektronicznych. Wskazano również główne drogi propagacji sygnałów zakłócających w zakresie małych i wysokich częstotliwości. Wskazano w referacie koncepcje układów elektronicznych mających być wzorcowymi źródłami zaburzeń stosowanymi podczas ćwiczeń laboratoryjnych.
-
Rozległe systemy uziemień w ochronie odgromowej
PublikacjaW artykule zostały omówione procedury i wymagania stawiane systemom uziemień przez przepisy normalizacyjne z punktu widzenia ich skuteczności w systemie ochrony odgromowej. Podstawą tak sformułowanej oceny są pomiary z zastosowaniem metody udarowej. Metoda taka okazuje się bardzo przydatna zwłaszcza w przypadku uziemień rozległych, jakie pojawiają się we współczesnych obiektach wskutek połączenia różnych elementów uziemiających...
-
Pomiar prędkości kątowej z użyciem specjalizowanego interfejsu enkodera kwadraturowego
PublikacjaPrzedstawiono metodę pomiaru prędkości kątowej z użyciem enkodera kwadraturowego i procesora sygnałowego TMS320F28335 wyposażonego w interfejs enkoderowy eQEP. Omówiono budowę i zasadę działania optoelektronicznego enkodera kwadraturowego. Opisano dwie podstawowe metody enkoderowego pomiaru prędkości kątowej, wskazano ich ograniczenia. Zaproponowano połączenie podstawowych metod, uzyskując metodę łączoną odznaczającą się dużą dokładnością...
-
Komputerowa weryfikacja układów cyfrowych CMOS utworzonych z podukładów zasilanych ze źródeł o różnych wartościach napięcia
PublikacjaW pracy zaprezentowano wyniki komputerowej weryfikacji cyfrowego układu CMOS utworzonego z klastrów, z których każdy jest zasilany odpowiednio malejącymi wartościami napięć. Zbiór klastrów został utworzony przy pomocy algorytmu ECA (Evolutionary Clustering Algorithm) dla potrzeb redukcji mocy pobieranej ze źródła zasilającego. Otrzymane rozwiązanie, charakteryzujące się zmniejszeniem zapotrzebowania na moc, nie powoduje pogorszenia...
-
Metody formułowania ontologicznych zapytań
PublikacjaArtykuł dotyczy problemu wydobywania danych wyrażonych w postaci ontologii opisanej językiem Web Ontology Language. Dane takie mogą być wydobywane przy użyciu ontologicznych zapytań. Artykuł przedstawia rodzaje języków umożliwiających formułowanie tego rodzaju zapytań. Ontologiczne zapytania mogą być formułowane przez użytkowników podobnie jak zapytania w wyszukiwarkach internetowych tworzone w celu znajdowania stron internetowych....
-
Wykorzystanie analizy falkowej do odszumiania oraz kompresji sygnałów
Publikacjaw pierwszej części referatu przedstawiono informacje teoretyczne dotyczące analizy falkowej. szczegółowo omówione zostały cwt, dwt oraz pakiety falkowe. druga część referatu to zastosowanie praktyczne falek do poprawy jakości oraz kompresji sygnałów 1d oraz 2d.
-
Wykorzystanie metod zorientowanych obiektowo do programowania sterowników programowalnych
PublikacjaW artykule zostały przedstawione główne udogodnienia wynikające z wykorzystywania zasad i metod podejścia obiektowego do programowania sterowników programowalnych. Omówiona została aktualna sytuacja tradycyjnych języków tekstowych i graficznych po wprowadzeniu rozszerzenia IEC 61499 normy IEC61131. W dalszej części zaprezentowano podział cyklu tworzenia programu na trzy zasadnicze części - analizę, projektowania oraz programowanie...
-
ZASADY MONTAŻU INSTALACJI FOTOWOLTAICZNYCH WEDŁUG OBOWIĄZUJĄCYCH PRZEPISÓW I NORM
Publikacja -
Jakość identyfikacji parametrów obwodu elektrycznego z wykorzystaniemanalizy częstotliwościowej prądów
PublikacjaSymulacja przepływu krwi przez nerkę prądem elektrycznym jest możliwa z zastosowaniem modelu będącego obwodem elektrycznym RLC. Zastosowanie medyczne wyników symulacji wymaga identyfikacji parametrów zaproponowanego modelu elektrycznego lub przynajmniej charakteru ich zmian. Specyfika poszukiwanych parametrów i danych wykorzystywanych w identyfikacji narzuca modyfikację znanych metod diagnozowania stanu badanego obiektu. Została...
-
Automatyzacja określania wymagań bezpieczeństwa na podstawie wyników analizy czasowej drzew błędów
PublikacjaW odpowiedzi na potrzebę wprowadzania formalnych narzędzi opisu do analizy bezpieczeństwa systemów zawierających komponenty programowalne powstała notacja ECSDM. Jej zaletą jest to iż umożliwia nie tylko definiowanie zależności czasowych obowiązujących w opisywanym systemie, ale również, przy zastosowaniu jej do drzew błędów, pozwala na prowadzenie wnioskowania odnośnie zależności czasowych pomiędzy zdarzeniami z minimalnych zbiorów...
-
charakterystyki sygnału w realizacji software'owego odbiornika systemu GPS
PublikacjaRealizacja odbiornika w postaci aplikacji komputerowej pozwala nie tylko na kilkukrotne obniżenie kosztów jego produkcji, ale również wykorzystanie procesora ogólnego przeznaczenia do zadań związanych z odbiorem sygnału GPS i określaniem pozycji, a tym samym uproszczenie systemu. Analiza procesu przetwarzania sygnału GPS z wykorzystaniem standardowych narzędzi kompilacji i debugging'u, pozwala na poznanie działania odbiornika GPS...
-
Nowa generacja systemu do badań endoskopowych
PublikacjaPrzedstawiono rozwój systemu komputerowego do badań endoskopowych ERS, szczególną uwagę przywiązując do czynników, które wymusiły nowe podejście do problemu. Opisano wpływ ewolucji technologii i wymagań systemowych na podejście do analizy i projektowania systemów. Omówiono architekturę i komponenty systemu oraz metodologię wprowadzania zmian w systemie.
-
Rozproszony system akwizycji, prezentacji i analizy informacji przestrzennej
PublikacjaW artykule przedstawiono skalowalny system prezentacji danych przestrzennych pochodzących z różnych źródeł, ze szczególnym uwzględnieniem specyfikacji Open Geospatial Consortium (OGC). System został zaimplementowany w technologii .NET i pracuje w środowisku rozproszonym w oparciu o Web Service. Aplikacja zrealizowana jest w formie apletu .NET, dzięki czemu można ją w prosty sposób osadzić w dokumencie HTML i umieścić na serwerze...
-
Wpływ prędkości terminala i liczby częstotliwości nosnych na jakość odbioru w systemie GSM z hoppingiem częstotliwościowyn
PublikacjaW pracy przedstawiono wyniki badań wpływu hoppingu częstotliwościowego na poprawę charakterystyk jakościowych systemu GSM dla transmisji sygnałów mowy. Charakterystyki te obrazują wpływ prędkości przemieszczania się terminala ruchomego oraz liczby częstotliwości nośnych wykorzystywanych w stacji bazowej do hoppingu na wartość Eb/N0, w różnych środowiskach propagacyjnych. Osiągana poprawa jakości jest szczególnie znacząca przy małych...
-
Analizator do elektrochemicznej spektroskopii impedancyjnej
PublikacjaW artykule przedstawiono metode pomiaru impedancji oparta na próbkowaniu i cyfrowym przetwarzaniu sygnałów pomiarowych w zastosowaniu do elektrochemicznej spektroskopii impedancyjnej. Metoda została zaimplementowana w analizatorze EIS składającym się z potencjostatu, generatora z cyfrowa syntezą częstotliwości i woltomierza wektorowego. Omówiono podstawy teoretyczne metody pomiaru impedancji i konstrukcji analizatora EIS. Zaprezentowano...
-
Prototypowy system analizy ruchu obiektów
PublikacjaZaprezentowano system automatycznej analizy ruchu SARO, który umożliwia identyfikowanie poruszających się obiektów, określanie ich lokalizacji oraz wyznaczanie kierunku i prędkości ruchu. Przedstawiono pokrótce podstawy teoretyczne zaimplementowanych metod analizy ruchu, podano także wyniki eksperymentów przeprowadzonych przy użyciu systemu SARO.
-
Teoretyczne i praktyczne aspekty zastosowania modulatora sigma-delta w testerze wbudowanym BIST
PublikacjaPrzedstawiono teoretyczne i praktyczne aspekty zastosowania modulatora sigma-delta w testerze wbudowanym BIST, przeznaczonym do diagnostyki mieszanych sygnałowo pakietów elektronicznych. Omówiono podstawowe parametry modulatorów. Przeprowadzono dyskusję możliwych wariantów wyboru rodzaju, parametrów, architektury oraz technologii wykonania modulatora sigma-delta. Opracowano behawioralny model modulatora drugiego rzędu o własciwościach...
-
Ankietyzacja elektroniczna uczelni artystycznych
PublikacjaW pracy dokonano analizy istniejących podejść do problemu ankietyzacji. Przedstawiono problem ankietyzacji elektronicznej wyższych uczelni artystycznych pod kątem raportowania działalności twórczej ich pracowników naukowych, artystycznych i dydaktycznych. W pracy podkreślono specyfikę tych uczelni, zarówno pod kątem prowadzonej w nich działalności twórczej jak i socjotechnicznych problemów jej ankietyzacji. Przedstawiono również...
-
Internetowy portal wspomagający symulacje i analizę sytuacji krytycznych w regionie oraz zespołowe podejmowanie decyzji
PublikacjaOmówiono internetowy portal dostepowy zintegrowanego systemu służącego do analizy sytuacji wyjatkowych, wizualizacji przestrzennej kluczowych obiektów infrastruktury wraz z numerycznymi ocenami różnego typu zagrożeń terrorystycznych lub katastrof naturalnych. Portal zapewnia interakcję pomiędzy rozproszonymi grupami terenowymi oraz centrami zarządzania sytuacjami kryzysowymi, również decydentami, współdzieloną wizualizację wyników...
-
MPEG-7 jako format zapisu cyfrowych dokumentów muzycznych
PublikacjaW pracy zwrócono uwagę na problem przechowywania różnych postaci muzyki w cyfrowych dokumentach muzycznych. Przedstawiono ogólną charakterystykę formatu MPEG7. Pokazano możliwości wynikające z zastosowania MPEG7 do cyfrowej reprezentacji dokumentów muzycznych. Zwrócono uwagę na możliwość rozszerzania standardu w celu dopasowania go do przechowywania dokumentów muzycznych zawierających pełną informację muzyczną.
-
Zastosowanie sztucznej inteligencji do identyfikacji groźnych wypadków samochodowych
PublikacjaOgromna liczba ofiar wypadków drogowych i ofiar śmiertelnych z tym związanych jest powodem priorytetowego podejścia organizacji światowych do problemu bezpieczeństwa pojazdów samochodowych. Pomimo dużych nakładów finansowych nadal nie powstał system globalnego zarządzania wypadkami. Celem tej pracy jest inteligentny system pokładowy, który na podstawie sygnałów pomiarowych będzie wnioskować o występujących zagrożeniach. W dalszej...
-
Komputerowa rejestracja oraz analiza parametrów autonomicznego pojazdu elektrycznego
PublikacjaW referacie przedstawiono układ rejestrujący elektryczne oraz mechaniczne parametry auto-nomicznego pojazdu elektrycznego małej mocy, tj. wózka Melex 745. Pojazd wyposażony jest fabrycznie w przekształtnik energoelektroniczny realizujący płynny rozruch, jazdę oraz hamowanie odzyskowe. Układ rejestrujący oparty jest na przemysłowym komputerze PC wy-posażonym w kartę pomiarową. Zasilacz UPS daje możliwość rejestracji podczas jazdy...
-
Multimedia mobile services for the semantic web
PublikacjaDokument przedstawia metodologię tworzenia semantycznie rozszerzonych multimedialnych usług mobilnych z wykorzystaniem narzędzi i ułatwień oferowanych przez projekt DESYME. Zaprezentowano zwięzły wstęp do tematyki sieci Semantycznej wraz z wyjaśnieniem jej związku z zagadnieniami Web Services. Następnie przedstawiono opis projektu DESYME. Przedstawiono również przykładowe usługi multimedialne, które są opracowywane w Katedrze Systemów...
-
Wielokryterialna klasyfikacja pakietów na potrzeby kierowania ruchem wieloma trasami w niskoorbitowych systemach satelitarnych
PublikacjaW artykule rozważana jest możliwość wykorzystania algorytmów wielokryterialnej klasyfikacji pakietów w celu zrealizowania zadania polegającego na kierowaniu ruchu wieloma trasami w niskoorbitowych systemach satelitarnych. Autorzy skupili się głównie na dokonaniu przeglądu znanych algorytmów wielokryterialnej klasyfikacji pakietów, których użycie we wspomnianym celu wydaje się możliwe.
-
System informacji przestrzennej do analizy, wizualizacji i zdalnego udostępniania danych o infrastrukturach krytycznych
PublikacjaOchrona ludności, jak i infrastruktur krytycznych państwa przed różnego rodzaju zagrożeniami w postaci ataków terrorystycznych, katastrof naturalnych, itp. wymaga w obecnej dobie podejmowania zdecydowanych i skutecznych działań. Powstajace zaawansowane narzędzia z dziedziny technologii informacyjnych i komunikacyjnych coraz skuteczniej pomagają przewidywać możliwość wystąpienia tych zagrożeń oraz wspomagać podejmowanie działań...
-
Bezstykowy hybrydowy ogranicznik prądów zwarciowych w symulacji komputerowej
PublikacjaW artykule podano metody i wyniki analizy działania superszybkiego bezstykowego hybrydowego ogranicznika prądów zwarciowych w oparciu o symulację komputerową z wykorzystaniem programu MATALB. Szczególną uwagę zwrócono na problem właściwego doboru modeli matematycznych poszczególnych torów prądowych ogranicznika. Przedstawiono wpływ parametrów obwodu zwarciowego na proces komutacji prądu oraz ograniczania prądu zwarciowego
-
Internetowy system oceny jakości oprogramowania
PublikacjaPrzedstawiono nową wersję systemu oceny jakości oprogramowania QES), zrealizowaną w technologii WWW. QES charakteryzuje się bardziej elastycznym modelem jakości oraz zawiera znacznie większą funkcjonalność niż jego poprzednik (SOJO). Pozostawia użytkownikowi dużą swobodę oceny konkretnego procesu wytwarzania lub produktu wynikającego z tego procesu. Zapewnia możliwość porównania jakości różnych metodologii lub szczegółowych rozwiązań....
-
Nowe podejście do zasad optymalizacji koegzystencji sieci standardów Bluetooth i IEEE 802.11b
PublikacjaNiektóre z istniejących algorytmów formowania sieci scatternet Bluetooth (BT) można usprawnić, aby poprawić efektywność współistnienia urządzeń IEEE 802.11b (Wi-Fi) z urządzeniami BT. W niniejszym opracowaniu nakreślono ideę nowego podejścia do zasad optymalizacji współistnienia sieci BT i Wi-Fi, opartą o algorytmy formowania sieci BT.
-
Analiza sygnału mowy w foniatrii
PublikacjaPraca zawiera opis algorytmów analizy sygnału mowy opracowanych do zastosowań medycznych. Mają one znaczenie wspomagające w diagnostyce schorzeń krtani, objawiających się jako np. chrypka, dwugłos oraz nieprawidłowa artykulacja tonu krtaniowego (głos drżący). Opisano algorytmy służące do ekstrakcji tonu krtaniowego (parametr F0 i jego przebieg zmienności w czasie) oraz do wygładzania widma (np. do estymacji parametrów formantowych...
-
Klasyfikacja sygnału EKG przy użyciu konwolucyjnych sieci neuronowych
PublikacjaAutomation and improvement of diagnostic process is a vital element of medicine development and patient’s condition self-control. For a long time different ECG signal classification methods exist and are successfully applied, nevertheless their accuracy is not always satisfying enough. The lack of identification of an existing abnormality, which is very similar to a normal heartbeat is the biggest issue - for example premature...
-
Klasyfikacja sygnału EKG przy użyciu konwolucyjnych sieci neuronowych
PublikacjaAutomation and improvement of diagnostic process is a vital element of medicine development and patient’s condition self-control. For a long time different ECG signal classification methods exist and are successfully applied, nevertheless their accuracy is not always satisfying enough. The lack of identification of an existing abnormality, which is very similar to a normal heartbeat is the biggest issue - for example premature...
-
Wpływ urządzeń dławiących na odpływ z retencyjnych zbiorników wód opadowych
Publikacja -
Badanie wybranych algorytmów rutingu QoS w sieciach MPLS
PublikacjaW pracy dokonano przeglądu wybranych, opublikowanych algorytmów rutingu QoS dla sieci MPLS. Zrealizowano program "Ruting QoS" w środowisku MATLAB, w którym zaimplementowano trzy algorytmy: Profile-Based Routing, Kowalika-Colliera oraz Erbasa-Mathara. Przedstawiono i omówiono sieci, które zostały użyte do badań. Przebadano zaimplementowane algorytmy w przykładowych sieciach. Porównano badane algorytmy pod względem: procentu obsłużonych...
-
Telekomunikacja jako element Globalnej Infrastruktury Informacyjnej i wynikające stąd oczekiwania oraz wyzwania
PublikacjaSpołeczeństwo informacyjne wymaga realizacji Globalnej Infrastruktury Informacyjnej składnikiem której jest Telekomunikacja ze ściśle zdefiniowanymi oczekiwaniami. Jest ona realizowana w postaci koncepcji Sieci Następnej Generacji. W artykule omówiono każdy z tych elementów i pokazano związki między nimi, charakteryzując także główne wybory dotyczące technologii i architektur. Wskazano także na silne związki telekomunikacji z informatyką,...
-
Dynamiczny model uogólnionego łącznika energoelektronicznego do symulacji układów przekształtnikowych
PublikacjaZaproponowano strategię modelowania, w której po określeniu postaci modelu dobiera się numeryczne metody obliczeniowe stosowane w symulacji. Przedstawiono opracowany uogólniony, nieliniowy model tranzystora mocy IGBT. Przyjęto, że do określenia parametrów tego modelu powinna wystarczać znajomość standardowych, katalogowych para-metrów i charakterystyk. Przedstawiono model zaciskowy o klasycznej strukturze, odwzorowujący z wystarczającą...
-
Modulacja hierarchiczna - właściwości i wykorzystanie w bezprzewodowych systemach transmisji danych
PublikacjaW artykule przedstawiono możliwości wprowadzenia hierarchicznej modulacji w kanałach radiowych. Hierarchiczna konstelacja zmodulowanych sygnałów, o różnym stopniu protekcji przed błędami pozwala poprawić efektywność wykorzystania kanału i wprowadzić usługi wymagające większych przepływności binarnych. Dzięki temu można poprawić jakość oferowanych usług multimedialnych bez poszerzania pasma kanału
-
Wyznaczanie parametrów modelu obwodowego maszyny komutatorowej prądu przemiennego z wykorzystaniem programu polowego Opera3D
PublikacjaW referacie przedstawiono liniowy model matematyczny silnika komutatorowego z więzami holonomicznymi. Taki model wymaga zastosowania większej liczby stopni swobody, ale umożliwia uwzględnienie asymetrii i zjawisk zachodzących w zestyku ślizgowym. W modelu tym wymagane są macierze indukcyjności, które uwzględniają sprzężenia magnetyczne pomiędzy elementarnymi cewkami. Do wyznaczenia tych macierzy zastosowano program Opera3D. Aby...
-
Projektowanie filtrów ułamkowo-opóźniających metodą nierównomiernego próbkowania w dziedzinie częstotliwości
PublikacjaW pracy przedstawiono nową metodę projektowania filtrów ułamkowo-opóźniających typu FIR. W metodzie tej wymusza się zerową wartość zespolonego błędu aproksymacji charakterystyki częstotliwościowej projektowanego filtru lub zerową wartość pochodnej tego błędu w punktach nierównomiernie rozłożonych na osi częstotliwości. W pracy pokazano, że zaproponowana metoda, przy odpowiednim doborze punktów dokładnej aproksymacji, pozwala na...
-
Optoelektroniczne sensory fluorescencyjne dla monitoringu zanieczyszczeń środowiska
Publikacjaw pracy zaproponowano i opisano optoelektroniczny fluorescencyjny sensor do pomiaru stężenia kobaltu w wodzie. opisano zasadę działania tego typu sensorów. zaproponowano konfigurację laboratoryjnego stanowiska pomiarowego i przeprowadzono dobór niektórych jego komponentów. przedstawiono także etapy dalszych prac badawczych nad konstrukcją sensora.
-
Nowe podejście do gwarancji QoS w sieciach IP - Flow Aware Networking (FAN)
PublikacjaArtykuł przedstawia nowy sposób gwarantowania jakości w sieciach IP zaproponowany przez dział R&D France Telecom. W oparciu o istotne cechy ruchu internetowego opisane zostały problemy napotykane przez dotychczasowe architektury QoS. Przybliżono założenia FAN oraz przykład praktycznej implementacji - ruter Cross-protect. FAN realizuje gwarancje QoS poprzez sterowanie przyjęciem do obsługi oparte o przepływy i pomiary ruchu na...
-
Analysis of nonlinear effects as a diagnostic tool
PublikacjaMetody analizy efektów nieliniowych nieliniowej analizy sygnałów na wyjściu testowanych obiektów umożliwiają badanie występowania defektów i uszkodzeń w materiałach i elementach elektronicznych, co jest niezbędne w predykcji niezawodności. W odniesieniu do elementów biernych bardzo skutecznym narzędziem okazuje się być wskaźnik trzeciej harmonicznej (THI - Third Harmonic Index). W artykule bardziej szczegółowo opisano pomiary parametru...
-
Porównanie właściwości układu napędowego z falownikiem napięcia i prądu
PublikacjaW referacie porównano dwa układy napędowe zasilane z falownika napięcia i prądu. Przed-stawiono budowę obydwu układów. Wyróżniono cechy szczególne oraz dwoistość struktur (dual relationships). Przedstawiono metodę szerokości impulsów dla falownika napięcia i prądu. Pokazano multiskalarne układy regulacji. Przedstawiono badania symulacyjne ukła-dów.
-
Usuwanie niejednolitego tła z obrazów tekstu przy użyciu zmodyfikowanego algorytmu wyostrzania i filtracji nieliniowej
PublikacjaCelem referatu jest przedstawienie algorytmu poprawy jakości obrazów zawierających tekst na niejednolitym tle. Pierwsza faza realizacji algorytmu obejmuje usunięcie tła poprzez wykorzystanie zmodyfikowanej operacji wyostrzania, w której od oryginalnego obrazu odejmowany jest wynik filtracji dolnoprzepustowej. W tym celu zaproponowano metodę wyznaczenia optymalnej wielkości maski filtru dolnoprzepustowego. W drugiej fazie działania...
-
Wykorzystanie programu AutoFocus do analizy protokołów kryptograficznych
PublikacjaAutoFocus jest narzędziem wspomagającym wytwarzanie systemów wbudowanych charakteryzujących się wysoką niezawodnością. Artykuł prezentuje studium przypadku zastosowania narzędzia i związanej z nim metody formalnej Focus do analizy bezpieczeństwa (ang. security) protokołu tworzenia podpisu cyfrowego w środowisku rozproszonym. Zastosowana metoda formalna wykorzystana została jako ostatni etap zintegrowanej metody oceny protokołów...
-
Praca z normą Common Criteria wspomagana szablonami Trust Case
PublikacjaTrust Case stanowi strukturę danych zawierającą argumentację oraz związany z nią materiał dowodowy uzasadniający, że interesujący nas obiekt (system, infrastruktura, organizacja) posiada wskazane własności. Metoda jest przedmiotem intensywnych badań. Jeden z kierunków rozwoju dotyczy tworzenia szablonów oceny zgodności ze standardami. Szablon Trust Case jest odwzorowaniem wymagań zawartych w normie w strukturę drzewa dowodowego....
-
Algorytm porządkowania tablic wynikowych informacji statystycznych
PublikacjaW artykule przedstawiono algorytm filtrowania danych służący do porządkowania tablic wynikowych. Celem artykułu jest zdefiniowanie miary ilości informacji, tak aby możliwe stało się wyselekcjonowanie takich tablic, które niosą największy ładunek informacyjny - największą ilość informacji. Autorzy skoncentrowali się na badaniu ilości informacji strukturalnej zawartej w tablicach statystycznych. Zadaniem proponowanej miary ilości...