Wyszukiwarka
Filtry
wszystkich: 3536
wybranych: 2397
-
Katalog
- Publikacje 2397 wyników po odfiltrowaniu
- Czasopisma 81 wyników po odfiltrowaniu
- Osoby 553 wyników po odfiltrowaniu
- Wynalazki 1 wyników po odfiltrowaniu
- Projekty 41 wyników po odfiltrowaniu
- Laboratoria 5 wyników po odfiltrowaniu
- Zespoły Badawcze 4 wyników po odfiltrowaniu
- Kursy Online 101 wyników po odfiltrowaniu
- Wydarzenia 352 wyników po odfiltrowaniu
- Dane Badawcze 1 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: PIONIERZY POLITECHNIKI GDAŃSKIEJ
-
Trendy rozwojowe technologii radia programowalnego.
PublikacjaW referacie omówiono koncepcję technologii radia programowalnego, które w niedalekiej przyszłości zdominuje rynek usług radiokomunikacyjnych. Przedstawiono główne tendencje rozwojowe radia programowalnego oraz ograniczenia wynikające z praktycznej realizacji terminali ruchomych w tej technologii.
-
Symulacja obwodów elektrycznych zasilanych pulsacyjnie w badaniach patologii nerek. Zastosowanie Komputerów w Nauce i Technice.XIII cykl seminariów zorganizowanych przez PTETiS, Oddział Gdańsk.
PublikacjaPrzedstawiono istotę odwzorowania krwiobiegu nerki za pomocą prostego obwodu elektrycznego. Podano wpływ zmiany oporów przepływu krwi na współczynnik oporu RI w nerce.
-
Obsługa wirtualnych przyrządów pomiarowych przez Internet
PublikacjaW referacie przedstawiono metody przygotowania przyrządów wirtualnych z możliwością udostępnienia danych pomiarowych przez Internet. Porównano wykorzystane do tego celu technologie CGI, Java i ActiveX. Przedstawiono wykorzystanie tych technologii w LabVIEW i ułatwienia jakie wprowadzono w LabVIEW 6.1.
-
Procesory sygnałowe w laboratoriach cyfrowego przetwarzania sygnałów. Zastosowanie Komputerów w Nauce i Technice.XII cykl seminariów zorganizowanych przez PTETiS, Oddział Gdańsk.
PublikacjaPrzedstawiono problematykę ćwiczeń laboratoryjnych realizowanych przez studentów z zastosowaniem zestawów uruchomieniowych z procesorami sygnałowymiTMS320C5x, ADSP-21xx oraz TMDS320C6711 w ramach laboratoriów cyfrowego przetwarzania sygnałów. Z uwagi na stopień złożoności, jak i możliwości techniczne, najwięcej uwagi poświęcono zestawom zawierającym procesory sygnałoweTMS6711 oraz środowisku programistycznemu Code Composer...
-
Zastosowanie programów Mathematica i 20-sim do modelowania i analizy układów o parametrach rozłożonych
PublikacjaCelem pracy jest zaprezentowanie zastosowania pojęcia transmitancji układów o parametrach rozłożonych do konstruowania modalnych grafów wiązań dla układów zawierających jednowymiarowe podukłady o parametrach rozłożonych. Zaprezentowano sposób i efekty zastosowania programów Mathematica (do przygotowania parametrów modeli) i programu 20-Sim (do konstruowania modeli i do symulacji) w procesie modelowania i analizy układów zawierających...
-
System diagnostyki sieci trakcyjnej DST2000 w środowisku windows. Zastosowanie Komputerów w Nauce i Technice. XII cykl seminariów zorganizowanych przez PTETiS, Oddział Gdańsk.
PublikacjaW referacie przedstawiono najnowszą wersję systemu diagnostyki sieci trakcyjnej DST2000, zainstalowanego w wagonie pomiarowym i wdrożonego do eksploatacji w PKP w 2001 roku. Opisano metody pomiarowe i strukturę sprzętową systemu. Składa się ono z działającego w czasie rzeczywistym program, sterującego przebiegiem procesu pomiarowego oraz programów służących do przetwarzania i wszechstronnej analizy wyników, w tym także do...
-
Procesory sygnałowe do sterowania ruchem. Zastosowanie Komputerów w Nauce i Technice. XII cykl seminariów zorganizowanych przez PTETiS, Oddział Gdańsk.
PublikacjaW artykule dokonano przeglądu wybranych procesów sygnałowych do sterowania ruchem przeznaczonych do budowy serwomechanizmów położeniowych wieloosiowych układów sterowania maszyn manipulacyjnych i obrabiarek. Omówiono opracowaną przez autorów kartę rozszerzeń komputera PC umożliwiającą budowę 4- osiowych serwomechanizmów do sterowania numerycznego maszyn.
-
Symulator Sym-PS4 sterownika programowalnego PS4-201-MM1
PublikacjaW pracy przedstawiono opis opracowanego programowego symulatora Sym-PS4 sterownika programowalnego PS4-201-MM1. Symulator umożliwia tworzenie i testowanie programów sterowania napisanych dla samego sterownika, jak również programów napisanych dla sterownika z dołączonymi do niego modułami rozszerzenia lokalnego LE4. Symulator posiada możliwość dołączania do niego tworzonych modeli sterowanych obiektów i pozwala na symulację działania...
-
Zastosowanie programu SCA w badaniu zakłóceń sprzężenia podłożowego w układach scalonych CMOS
PublikacjaW pracy przedstawiono charakterystykę programu SCA (Substrate Coupling Analysis), który służy do generowania impedancyjnego modelu podłoża układu scalonego na podstawie danych topografii układu oraz parametrów technologii. Format danych wejściowych oraz model podłoża zaprezentowano na przykładzie układu inwertera CMOS. Przedstawiono również wyniki symulacji mieszanego układu scalonego: dzielnik częstotliwości i analogowe źródło...
-
Sposób segmentacji przebiegu losowego, złożonego z szumu białego i impulsów prostokątnych o stałych amplitudach oraz przypadkowych czasach trwania i przerw
PublikacjaPodano sposób segmentacji sygnału losowego o składowej stacjonarnej będącej szumem białym oraz niestacjonarnej w formie impulsów prostokątnych o stałych amplitudach oraz przypadkowych czasach trwania i przerw. Obserwowany sygnał jest dzielony na N segmentów, w których składowa niestacjonarna, impulsowa posiada ustaloną amplitudę. Momenty czasu, w których zaczynają się i kończą kolejne segmenty określono przez wyznaczenie minimum...
-
Zwiększenie czułości systemu do pomiaru szumów metodą korelacyjnej analizy widmowej. Zastosowanie Komputerów w Nauce i Technice. XII cykl seminariów zorganizowanych przez PTETiS, Oddział Gdańsk.
PublikacjaPrzedstawiono dwukanałowy system do pomiaru szumów o bardzo niskim poziomie metodą bezpośrednią. W celu poprawy dokładności pomiaru koherencji między mierzonymi w obu kanałach za pomocą wzmacniaczy transimpedancyjnych prądami szumów proponowany jest dodatkowy etap pomiaru z wykorzystaniem przedwzmacniacza napięciowego oraz włączenie w kanale wejściowym pomiędzy mierzonym czwórnikiem a wzmacniaczem transimpedancyjnym wzmacniacza...
-
Algorytm konstruowania modeli matematycznych złożonych układów dynamicznych dla programu Simulink
PublikacjaW pracy omówiono metodę budowy modelu matematycznego w postaci schematu blokowego dla złożonych pod względem natury fizycznej układów. Istota proponowanej metody polega na tym, że równania opisujące układ wyprowadzane są w sposób tradycyjny. Jednak podejście energetyczne i podział badanego układu na podukłady - wielowrotniki pozwala na kontrolowane wyprowadzanie równań. Następnie, wykorzystując tę samą, co w grafach wiązań procedurę...
-
Poziomy komputeryzacji procesu edukacyjnego. Zastosowanie Komputerów w Nauce i Technice. XII cykl seminariów zorganizowanych przez PTETiS, Oddział Gdańsk.
PublikacjaArtykuł omawia możliwości komputeryzacji procesu dydaktycznego. Omówiono elementy wchodzące w skład modelu nauczania. Dla każdego komponentu opisano możliwości wspomagania pracy za pomocą technologii informacyjnych. W artykule przedstawiono także trzy poziomy wdrożenia nauczania przez internet. Zaproponowano rozwiązanie dotyczące serwera materiałów dydaktycznych dla nauczycieli.
-
Symulacje ochrony przeciwnapięciowej w instalacjach niskiego napięcia
PublikacjaPrzedstawiono utworzone w programie Matlab Simulink modele ograniczników przepięć niskiego napięcia oraz podano wyniki symulacji typowych układów ochrony przeciwprzepięciowej.
-
Estymacja częstotliwości podstawowej sygnałów muzycznych w środowisku Matlab
PublikacjaEstymacja częstotliwości podstawowej dźwięków wydaje się stosunkowo mało złożonym zagadnieniem z dziedziny cyfrowego przetwarzania sygnałów, niemniej jednak w celu uniknięcia dość licznie występujących w praktyce błędów estymacji konieczne jest stosowanie wiedzy o charakterystyce analizowanych sygnałów i o zakresie występowania dopuszczalnych częstotliwości. W referacie zaprezentowano praktyczne aspekty implementacji algorytmu...
-
Metody sterowania i kontroli silników piezoelektrycznych
PublikacjaW pracy przedstawiono podstawowe metody sterowania i kontroli silników piezoelektrycznych. Przedstawiono podstawowe zalety i wady stosowanych metod pomiarowych do wyznaczania prędkości obrotowej silnika. Wyniki przeprowadzonych analiz oraz zdobyte doświadczenia zostaną wykorzystane zarówno w pracach naukowych jak i zajęciach dydaktycznych.
-
Implementacja algorytmu szybkiej transformacji falkowej w mikrosystemie pomiarowym
PublikacjaReferat zawiera opis implementacji algorytmu Szybkiej Transformacji Falkowej w mokrosystemie badawczo-dydaktycznym. Stanowi on podsumowanie pracy mającej na celu zweryfikowanie przydatności tanich mikrokontrolerów do obróbki danych pomiarowych z zastosowaniem Transformacji Falkowej. W referacie zawarto skrótowy opis optymalizacji algorytmu Transformacji Falkowej dla potrzeb mikrokontrolera, na który składa się jego przyspieszenie...
-
Filtracja zakłóceń w obwodzie wyjściowym falownika napięcia w symulacji komputerowej
PublikacjaW referacie zamieszczono wyniki badań symulacyjnych układu filtru wejściowego falownika napięcia, połączonego z obwodem pośredniczącym przemiennika częstotliwości. Dokonano opisu matematycznego filtru oraz przy pomocy programu TCAD przeprowadzono analizę modelowego obwodu. Przedstawiono przebiegi prądów i napięć w układzie oraz amplitudy harmonicznych zawarte w prądzie wyjściowym falownika napięcia.
-
Algorytmiczne metody redukcji poboru mocy w układach CMOS
PublikacjaW pracy przedstawiono wybrane możliwości zredukowania poboru mocy układów CMOS z wykorzystaniem dwóch algorytmów szeregowania zadań w procesie syntezy wysokiego poziomu układów cyfrowych. Zaprezentowano dwa opracowane algorytmy, a mianowicie MAREL i UNILO, dla których utworzono odpowiednie programy pozwalające uzyskać redukcję mocy projektowanych układów CMOS. Przeprowadzone badania testowe przy pomocy standardowych benchmarków...
-
Automatyzacja sprawdzania dokładności elementów układu do pomiaru prądu. Zastosowanie Komputerów w Nauce i Technice.XII cykl seminariów zorganizowanych przez PTETiS, Oddział Gdańsk.
PublikacjaDla diagnostyki silnika indukcyjnego przy wykorzystaniu pomiarów prądu został stworzony układ pomiarowy, składający się z przetworników pomiarowych, filtrów, komputera z kartą aktywizacji danych. Ocena jakości uzyskiwanych informacji diagnostycznych wymaga m.in. wiedzy o dokładności użytego sprzętu. Dla oceny dokładności zastosowanych elementów zbudowano skomputeryzowany system pomiarowy. Przedstawiono strukturę systemu jak...
-
ADVISOR - symulacja trybów pracy pojazdu autonomicznego. Zastosowanie Komputerów w Nauce i Technice.XII cykl seminariów zorganizowanych przez PTETiS, Oddział Gdańsk.
PublikacjaW artykule przedstawiono program ADVISOR, pozwalający na analizę symulacyjną samochodów z napędem klasycznym, hybrydowym i elektrycznym, w oparciu o parametry techniczne samochodów istniejących, domyślnych i o parametrach narzuconych przez użytkownika programu. Program ADVISOR pozwala przy założonej konfiguracji obwodu głównego, przy określonym cyklu jazdy i istniejących oporach ruchu na wyznaczanie charakterystyk napędowych,...
-
Komputerowe stanowisko pomiarowe pneumatycznego układu hamulcowego. Zastosowanie Komputerów w Nauce i Technice. XII cykl seminariów zorganizowanych przez PTETiS, Oddział Gdańsk.
PublikacjaRozwój komputerowych technik pomiarowych pozwala na dokładniejsze wyznaczanie mierzonych parametrów. Stosowane układy kontroli układu hamulcowego wagonów nie pozwalają na wyznaczanie powtarzalnych wyników pomiaru tego układu. Normy branżowe i wymagania użytkowników wagonów narzucają na zakłady naprawcze nowe standardy jakościowe wykonanej usługi. Dzięki technice komputerowej i zastosowaniu specjalistycznych kart pomiarowych...
-
Optymalizacja z wykorzystywaniem algorytmu kolonii mrówek
PublikacjaW referacie przedstawiono nowoczesną mataheurystykę - algorytm kolonii mró- wek oraz przykłady zastosowań do rozwiązywania trudnych problemów optymali- zacji kombinatorycznej. Zaprezentowano wyniki szeregowania zadań niezależ-nych i niepodzielnych na wielu procesorach równoległych przy użyciu algo- rytmu kolonii mrówek.
-
Wykorzystanie sieci neuronowych w diagnostyce silników indukcyjnych. Zastosowanie Komputerów w Nauce i Technice.XII cykl seminariów zorganizowanych przez PTETiS, Oddział Gdańsk.
PublikacjaWyniki badań prezentowane w referacie dotyczą diagnostyki klatek wirników. W środowisku LabVIEW została stworzona aplikacja służąca do pomiaru, prezentacji i zapisu przebiegów widma prądu stojana z uwzględnieniem potrzeb pomiarowych występujących podczas badania wirników silników indukcyjnych przy użyciu sieci neuronowych.
-
Oprogramowanie przyrządu wirtualnego do pomiaru impedancji pętli zwarciowej. Zastosowanie Komputerów w Nauce i Technice. XII cykl seminariów zorganizowanych przez PTETiS, Oddział Gdańsk.
PublikacjaPrzedstawiona w referacie tematyka dotyczy pomiaru impedancji pętli zwarciowej. Zagadnienie to jest istotne gdyż na podstawie znajomości wartości impedancji możliwa jest ocena skuteczności zerowania i uziemienia ochronnego jak również jakości energii elektrycznej dostarczanej odbiorcom. W referacie pokazano założenia metody oraz opracowanie miernika impedancji pętli zwarciowej z rezystancyjnym obciążeniem pomiarowym, które zostało...
-
Projekt CURE - wykorzystanie technik kształcenia na odległość
PublikacjaZaprezentowano projekt CURE, który został złożony do Komisji Europejskiej w ramach konkursu na Centra Doskonałości (NAS-2) w V Programie Ramowym Unii Europejskiej. Projekt został zaakceptowany i otrzymał dofinansowanie na trzy lata (2002-2005). W projekcie CURE zastosowane będą techniki kształcenia na odległość. Wybrane przedmioty na studiach doktoranckich i podyplomowych oferowane będą z wykorzystaniem systemów wspomagających...
-
Wykorzystanie technologii cienkiego klienta w systemie informacyjnym GDASKON
PublikacjaReferat ten przedstawia propozycję adaptacji technologii cienkiego klienta do potrzeb systemu GDASKON. Propozycja ta obejmuje dwie platformy: prostszą odpowiadającą telefonom komórkowym oraz bardziej złożoną dotyczącą palmtopów. W przypadku pierwszej z platform założono, iż na wyświetlaczu telefonu komórkowego prezentowana jest jedynie informacja tekstowa, co wymusza odrzucenie generowanej przez system GDASKON informacji graficznej...
-
Analiza projektowa radiowej stacji dostępowej w terenie zabudowanym
PublikacjaPrzedstawiono zagadnienie planowania radiowej stacji dostępowej w mieście, uwzględniając przy tym rodzaj zabudowy. Przedstawiono zagadnienie budowy i wdrożenia takiej inwestycji telekomunikacyjnej. Omówiono procedurę projektowania stacji w oparciu o bilans energetyczny łącza radiowego. Przeanalizowano problem wyznaczania tłumienia sygnału radiowego przy użyciu wybranych modeli propagacyjnych, takich jak: model wolnej przestrzeni,...
-
Filtry Gm-C czasu ciągłego - ogólna struktura i zastosowania w zagadnieniach analizy i projektowania
PublikacjaW pracy przedstawiono ogólny model filtrów Gm-C czasu ciągłego oraz jego opis macierzowy. Wykazano, że dowolny filtr aktywny tej klasy jest szczególnym przypadkiem zaprezentowanej struktury. Struktura ta jest szczególnie przydatna do analizy i projektowania filtrów Gm-C wysokiego rzędu, między innymi filtrów z wielopętlowym sprzężeniem zwrotnym takich jak Leap-Frog(LF) czy Follow-the-Leader (FLF). W pracy zaprezentowano szereg...
-
Technika satelitarna w telekomunikacji
PublikacjaScharakteryzowano różne rozwiązania satelitarnych systemów telekomunikacyjnych, głównie pod względem rodzaju zastosowanej orbity, co ma zasadnicze znaczenie użytkowe. Dokonano przeglądu dotychczasowych reprezentatywnych projektów takich systemów, analizując kolejne fazy ich rozwoju oraz występujące bariery technologiczno-ekonomiczne. Przedstawiono stan prac ETSI w zakresie specyfikacji GMR, której praktycznym przykładem są pierwsze...
-
Projekt IST-2001-33441-MEMORIAL: zestaw narzędziowy do tworzenia dokumentów cyfrowych z zapisów osobowych
PublikacjaKonsorcjum projektu MEMORIAL zakłada osiągnięcie w 2,5 roku czterech podstawowych celów: opracowania nowych metod i narzędzi do przetwarzania i rozpoznawania dokumentów papierowych wypełnianych na maszynie, opracowanie narzędzi do interaktywnej manipulacji i oceny jakości dokumentu cyfrowego w różnych fazach jego cyklu życia, określenie prawnych, społecznych, etycznych i politycznych uwarunkowań tworzenia bibliotek cyfrowych zawierających...
-
Pomiar jakości procesu automatycznego rozpoznawania maszynopisów
PublikacjaAutomatyczne rozpoznawanie maszynopisów jest celem międzynarodowego projektu Memorial. Artykuł ten podejmuje temat pomiaru jakości takiego rozpoznawania. Zidentyfikowano w nim potencjalne miejsca pojawiania się błędów oraz omówiono i sklasyfikowano odpowiednie miary.
-
Jak trudno jest dobierać i weryfikować źródła informacji na przykładzie historii tramwaju elektrycznego
PublikacjaArtykuł skupia się na przeglądzie literatury dotyczącej wynalazku tramwaju elektrycznego, z naciskiem na różne perspektywy dotyczące tożsamości wynalazcy. Wskazuje na znaczenie geopolityki w historii nauki i konsekwencje różnic w interpretacjach dla badaczy i entuzjastów tematu. Pierwsza część artykułu omawia technologiczny postęp, który doprowadził do wynalezienia tramwaju elektrycznego, z uwzględnieniem kluczowych odkryć, takich...
-
Algorytmy ewolucyjne o wielowarswowych chromosomach i ich zastosowania w elektronice
PublikacjaW artykule przedstawiono koncepcje chromosomów wielowarstwowych w algorytmach ewolucyjnych. Ukazano strukturę chromosomu wielowarstwowego oraz opisano możliwe zastosowania algorytmów ewolucyjnych z jego wykorzystaniem. Omówiono zastosowanie algorytmu ewolucyjnego z wielowarstwowym chromosomem do: projektowania i optymalizacji kombinacyjnych układów cyfrowych budowanych zarówno w oparciu o bramki napięciowe jak i bramki prądowe,...
-
Komputerowe modelowanie układów przekształtnikowych przy wykorzystaniu różnych programów symulacyjnych - analiza porównawcza
PublikacjaNiniejsze opracowanie przedstawia porównanie wybranych, często stosowanych środowisk służących modelowaniu i symulacji. Porównanie jest oparte na analizie pracy układu prze-kształtnikowego wraz z niezbędnym obwodem sterowania. Założeniem autorów referatu jest porównanie nakładów pracy i czasu koniecznego na przygotowanie modelu do obliczeń, jak również ocena trudności w przygotowaniu, wymaganego czasu obliczeń przy zadanej dokład-ności,...
-
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...
-
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.
-
Czasowe wymagania bezpieczeństwa wobec systemu monitoringu ruchu drogowego
PublikacjaAnaliza drzew błędów jest dedukcyjną metodą analizy pozwalającą ustalić przyczyny wybranego zdarzenia niepożądanego. Posługuje się w tym celu koncepcją przyczyn bezpośrednich i logiki boolowskiej, a pozwala ustalić przyczyny podstawowe analizowanego zdarzenia. Technika ta wykorzystuje jednak w swoich modelach notację nieformalną, co może powodować niejednoznaczności i ograniczyć wartość analizy, szczególnie, jeśli pracuje nad nią...
-
Integracja Inżynierii oprogramowania, inżynierii dokumentu i inżynierii wiedzy
PublikacjaW artykule przedstawiono postępy w nowej dziedzinie inżynierii dokumentu, umożliwiające reprezentowanie i przetwarzanie informacji w postaci czytelnej równocześnie dla człowieka i komputera. Jest to nowe wyzwanie dla zmian w tradycyjnie pojmowanym cyklu życia produktu informatycznego, gdyż procesy i produkty oprogramowania stają się w sposób naturalny realizacją ludzkich przedsięwzięć.
-
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...
-
Usługa lokalizowania terminala ruchomego w sieciach komórkowych
PublikacjaW referacie przedstawiono problem wyznaczania położenia terminala ruchomego w systemach komórkowych. Omówiono wybrane metody estymacji położenia terminala stosowane w systemach GSM i UMTS.
-
Międzysystemowa kompatybilność elektromagnetyczna radia impulsowego
PublikacjaW referacie przedstawiono uwarunkowania kompatybilnościowe transmisji ultraszerokopasmowej, z uwzględnieniem wymagań FCC (Federal Communications Commission). W szczególności scharakteryzowano system radia impulsowego oraz kształtowania widma częstotliwości zajmowanego przez transmisję impulsową.
-
Przegląd interdyscyplinarnych zapożyczęń do modelowania systemów w podręcznikach do analizy i projektowania obiektowego
PublikacjaPrzegląd interdyscyplinarnych zapożyczeń do modelowania systemów wpisuje się w nurt katalogowania i oceny istniejących zapożyczeń interdyscyplinarnych w inżynierii oprogramowania. W referacie poddano ocenie zapożyczenia opisane w czterech najbardziej popularnych i wpływowych podręcznikach do analizy i projektowania obiektowego. Wykorzystano następujące kryteria oceny: systematyczność badań, jawność opisów oraz możliwość wykorzystania...
-
Analiza metody szyfrowania ''ZT-UNITAKOD''
PublikacjaW pracy dokonano analizy protokołu kryptograficznego nazwanego ''metoda szyfrowania ZT-UNITAKOD'' i zaproponowanego przez Zygmunta Topolewskiego. Autor metody twierdzi, że zaproponował metodę szyfrowania nie wymagającą klucza. W pierwszej części pracy przedstawiono opis metody i wariantów niektórych proponowanych algorytmów szyfrowania. W drugiej części przeprowadzono analizę protokołu kryptograficznego zaproponowanego w opisie...
-
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...
-
Badania kompatybilności elektromagnetycznej urządzeń okrętowych
PublikacjaW artykule omówiono zagadnienia zagrożenia, jakim mogą podlegać urządzenia i systemy instalowane na okrętach. Zaprezentowano wymagania dotyczące dopuszczalnych poziomów emisji i odporności elektromagnetycznej dla urządzeń stosowanych w środowisku okrętowym. Na przykładzie Wielofunkcyjnej Konsoli Operatorskiej przedstawiono program badań dla urządzeń instalowanych pod pokładami okrętów. Zaprezentowano metody badań konsoli i ich...
-
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....
-
Zachłanne algorytmy kolorowania grafów w modelu rozproszonym
PublikacjaW artykule porównano cztery rozproszone algorytmy kolorowania grafów. Zaprezentowano wyniki eksperymentów komputerowych, w których badano liczbę rund i kolorów uzyskanych dla grafów losowych.
-
Modelowanie budynków w interakcyjnym systemie wizualizacji terenu rzeczywistego
PublikacjaArtykuł zawiera dyskusję różnych metod opisu i prezentacji budynków w interakcyjnych systemach wizualizacji terenu rzeczywistego. Jest on wynikiem doświadczeń zebranych podczas realizacji systemu Wiz3D przeznaczonego do interakcyjnej wizualizacji terenu rzeczywistego na podstawie danych GIS. Przedstawiono wady i zalety poszczególnych rozwiązań.
-
Optymalizacja sceny dla potrzeb interakcyjnej wizualizacji terenu rzeczywistego wykorzystująca klaster obliczeniowy
PublikacjaInterakcyjny system Wiz3D przeznaczony do wizualizacji terenu rzeczywistego na podstawie danych pochodzących z Geograficznych Systemów Informacyjnych (GIS) wymaga dużych mocy obliczeniowych na etapie upraszczania sceny służącego płynnej generacji kolejnych kadrów animacji. W związku z tym zaplanowano realizację tego etapu przez klaster obliczeniowy. Aby osiągnąć jak najkrótszy czas wykonania należy zadbać o równomierne obciążenie...