Wyszukiwarka
Wyniki wyszukiwania dla: ROZWÓJ OPROGRAMOWANIA
-
Model formalny dla problemu lokalizacji błędów w kodzie programu
PublikacjaIstnieje szereg sposobów badania poprawności programów komputerowych. W niniejszym referacie podejmujemy problem automatycznego testowania oprogramowania przy założeniu, iż dany jest zbiór testów (asercji) dla poszczególnych fragmentów kodu. Dla uproszczenia analizy zakładamy, że badany fragment kodu zawiera dokładnie jeden błąd, co nie zmniejsza ogólności rozważań. W artykule analizujemy praktyczne aspekty powyższego problemu...
-
Poll Reader - the working prototype of optical mark recognition software
PublikacjaAutomatyczne rozpoznawanie zaznaczeń wydaje się stosunkowo prostym zadaniem z dziedziny przetwarzania dokumentów, a komercyjne systemy OMR są dostępne na rynku już od dłuższego czasu. Zdecydowaliśmy się jednak na stworzenie prostego darmowego oprogramowania, które mogłoby być wykorzystywane przez uczelnie zobowiązane do przeprowadzania ankiet wśród studentów. W rozdziale opisano konstrukcję programu oraz najważniejsze algorytmy...
-
Szkoła systemu Linux
PublikacjaKsiążka ''Szkoła systemu Linux'' wprowadza czytelnika w świat oprogramowania typu open source. Przedstawione zostały liczne programy, które umożliwiają między innymi zarządzanie danymi, pisanie i drukowanie dokumentów czy korzystanie z sieci. Za pomocą ksiązki można się nauczyć używania środowiska graficznego oraz wiersza poleceń. Opisano również działanie systemów operacyjnych, w tym Linux. Na płycie dołączonej do książki znajduje...
-
Quality model for UML tools in application to UML tool selection and market analysis
PublikacjaJęzyki modelowania i wspierające je narzędzia odgrywają istotną rolę w procesie wytwarzania i utrzymania oprogramowania. Wraz ze wzrostem liczby narzędzi UML na rynku pojawia się potrzeba ich porównania i oceny. Artykuł prezentuje wielowymiarowy model oceny narzędzi UML, opisuje ankietę przydatną do oceny narzędzi UML oraz przedstawia system oceny narzędzi UML wraz ze studium przypadku jego zastosowania do poszukiwania narzędzi...
-
System sterowania sesją RTP
PublikacjaW artykule przedstawiono koncepcję systemu sterowania sesją protokołu RTP oraz praktyczną realizację tego systemu w oparciu o dostępne aplikacje należące do kategorii wolnego oprogramowania. Zaproponowana architektura umożliwia Operatorowi realizowanie następujących funkcji systemu: nagrywanie, podsłuch oraz generowanie zapowiedzi. System przeszedł pozytywnie testy laboratoryjne i możliwe jest jego praktyczne wykorzystanie. W artykule...
-
Verification of the fit to user profiles for UML tools
PublikacjaDopasowanie do profilu użytkownika ma wpływ na efektywność pracy użytkownika. W referacie postawiono pytanie, czy narzędzia UML rzeczywiście wspomagają pracę konkretnych ról w procesie wytwarzania oprogramowania. W ramach prac wykonano następujace zadania: opisano profile użytkowników narzędzi UML; wyodrębniono cechy narzędzi UML, które mają wpływ na dopasowanie do profili użytkowników; zaprojektowano model pokazujący związek pomiędzy...
-
Implementacja uogólnionego algorytmu szczególnego próbkowania dla wyznaczania harmonicznej podstawowej w środowisku LabVIEW.
PublikacjaPraca dotyczy opisu oraz implementacji uogólnionego algorytmu szczególnego próbkowania dla wyznaczania amplitudy harmonicznej podstawowej w środowisku LabVIEW. Algorytm szczególnego próbkowania umożliwia wyodrębnienie informacji o wartości amplitudy harmonicznej podstawowej ze spróbkowanego, odkształconego sygnału przy zastosowaniu stosunkowo prostych środków technicznych. Aplikacja może mieć zastosowanie w urządzeniach pomiarowych...
-
TECHNOLOGIA RADIA PROGRAMOWALNEGO W ZASTOSOWANIACH WOJSKOWYCH
PublikacjaTechnologia radia programowalnego (Software Defined Radio) jest nowoczesnym rozwiązaniem umożliwiającym realizację urządzeń pracujących w różnego rodzaju systemach łączności radiowej, zarówno cywilnych, jak i wojskowych. W artykule zaprezentowano zagadnienia dotyczące koncepcji realizacji radia programowalnego. Opisano w sposób funkcjonalny platformę sprzętową i programową takiego rozwiązania. Zaprezentowano budowę przykładowej...
-
The influence of the filler on the magnetic field distribution in ferromagnetic objects.
PublikacjaDuże obiekty ferromagnetyczne umieszczone w zewnętrznym polu magnetycznym (np. ziemskim polu magnetycznym) ulegają namagnesowaniu. W pewnych przypadkach konieczna jest demagnetyzacja obiektu ferromagnetycznego. Demagnetyzacja polega na umieszczeniu obiektu w wytworzonym w układzie zewnętrznym polu magnetycznym o określonych właściwościach. Jeżeli obiekt ferromagnetyczny posiada duże rozmiary, wówczas jego demagnetyzacja jest problemem...
-
Ryzyko etyczne w procesie wytwarzania oprogramowania [online]
PublikacjaW artykule rozpatrywane są współczesne problemy wytwarzania oprogramowania. Jednym z możliwych sposobów ich rozwiązywania jest uwzględnienie w procesie wytwarzania zagadnień ryzyka etycznego, rozumianego jako zagrożenia, jakie dla sukcesu przedsięwzięcia stwarzają problemy etyki podejmowanych decyzji, odstępstwa od obowiązującego prawa, uwarunkowań polityki prowadzenia projektu, wpływu projektu na ludzi, biorących w nim udział...
-
Transmisja danych pomiarowych przez sieć Internet z wykorzystaniem środowiska LabVIEW
PublikacjaPrzedstawiono sposób transmisji danych pomiarowych za pomocą sieci Internet, przy wykorzystaniu oprogramowania LabView firmy National Instruments. Biblioteki do programu LabView stanowiły podstawę przygotowania przyrządów wirtualnych realizujących transmisję danych przez Internet. Transmisja dotyczy przesyłania danych między przygotowanym systemem kontrolno-pomiarowym na bazie mikrokontrolera dołączonego do komputera IBM PC za...
-
Technologie agentowe w elastycznej produkcji.
PublikacjaNiniejszy artykuł pokazuje możliwości stosowania technologii agentowych w elastycznej produkcji. Na wstępie sformułowano właściwości oprogramowania agentowego wskazując na powiązania dynamicznych metod sztucznej inteligencji z elastycznym wytwarzaniem. Z kolei pokazano przykłady zastosowań systemów rozproszonego rozwiązywania zadań w różnych dziedzinach. Obszerniejszej ocenie poddano przykład praktycznego wdrożenia przemysłowego...
-
Demagnetyzacja własnego pola obiektu ferromagmetycznego.
PublikacjaObiekt ferromagnetyczny umieszczony w polu magnetycznym Ziemi ulega namagnesowaniu. W wielu sytuacjach technicznych konieczne jest zlikwidowanie tego namagnesowania nazywane demagnetyzacją. Demagnetyzacja polega na umieszczeniu obiektu w wytworzonym w układzie zewnętrznym polu magnetycznym o określonych właściwościach. Jeżeli obiekt ferromagnetyczny posiada duże rozmiary, wówczas jego demagnetyzacja jest problemem trudnym technicznie....
-
Computer aided funcional safety assessment
PublikacjaReferat porusza wybrane zagadnienia związane z oceną bezpieczeństwa funkcjonalnego w nawiązaniu do normy międzynarodowej IEC 61508. Podkreśla się znaczenie modelowania probabilistycznego systemów elektrycznych, elektronicznych i programowalnych elektronicznych (E/E/PE). Opisuje się wyznaczanie poziomu nienaruszalności bezpieczeństwa (SIL). W następnym kroku analizy weryfikuje się poziom SIL w procesie modelowania probabilistycznego...
-
Realizacja warstwy serwerów sterowania połączeniami dla ASON/GMPLS
PublikacjaW materiale przedstawiono wyniki prac badawczych wykonanych w ramach projektu PBZ w podprojekcie Architektury i protokoły sieciowe. Obejmują krótką charakterystykę wytworzonych modeli analitycznych i symulacyjnych przeznaczonych do badania sieci pakietowych z gwarancją jakości klas usług dla technologii IP QoS, MPLS, OBS oraz uzyskane wyniki. Jednakże główny punkt ciężkości został położony na sieci z architekturą ASON/GMPLS dla...
-
Konferencja ORConf 2018
WydarzeniaORConf to konferencja na temat projektowania układów cyfrowych oraz systemów wbudowanych typu "open source", obejmująca obszary elektroniki od poziomu tranzystora po system Linux i nie tylko.
-
Podeście do doskonalenia procesów w firmie informatycznej wspierane przez narzędzie Eclipse Process Framework Composer
PublikacjaArtykuł przedstawia podejście do doskonalenia procesów w mniejszych firmach informatycznych z wykorzystaniem narzędzia Eclipse Process Framework Composer. Podejście obejmuje modelowanie procesów wytwarzania oprogramowania w EPF Composer oraz wykorzystanie tych modeli do bieżącego zarządzania projektami w istniejących narzędziach wspomagających. Omówiono kroki wdrożenia rozwiązania, w tym sposób integracji modelu procesu z posiadanymi...
-
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ą...
-
Projektowanie inteligentnych instalacji elektrycznych z wykorzystaniem programu ETS
PublikacjaJednym z systemów inteligentnych dedykowanych do budynków mieszkalnych oraz użyteczności publicznej jest system Europejskiej Magistrali Instalacyjnej KNX/EIB. Jest to system zdecentralizowany pozwalający, poprzez zmianę oprogramowania, na zmianę funkcji i parametrów urządzeń istniejących w danym budynku, bez konieczności przebudowy instalacji. Projektowanie instalacji i programowanie urządzeń odbywa się za pomocą specjalistycznego...
-
Parallel simulations of electrophysiological phenomena in myocardium on large 32 and 64-bit Linux clusters.
PublikacjaW pracy podjęto badania i przeprowadzono symulacje zjawisk elektrofizjologicznych w mięśniu sercowym z wykorzystaniem wytworzonego w tym celu oprogramowania równoległego opartego na MPI. Zaimplementowano i zbadano ulepszenia kodu prowadzące do uzyskania dobrej skalowalności oraz przeprowadzono testy wydajności na najnowszych 32 i 64-bitowych klastrach linuksowych. Praca stanowi próbę równoległej implementacji znanego podejścia...
-
Chip geometry while sawing frozen wood.
PublikacjaW pracy przedstawiono analizę geometrii wiórów zebranych podczas przecierania pryzm sosnowych o temperaturach -5 st. C, -20 st. C, + 18 st. C na pilarce ramowej przecieranych za pomocą cienkich pił. Analizowano rozkład wiórów w funkcji ich wymiarów podłużnych oraz pola powierzchni. W badaniach wykorzystywano kamere cyfrową, a obrazy z niej uzyskane obrabiano za pomoca oprogramowania opracowanego w srodowisku LabView. W widmach...
-
Komputerowy system pomiarowy do diagnostyki łożysk
PublikacjaW artykule przedstawiono komputerowy system do diagnostyki łożysk silników indukcyjnych metodą pomiaru i analizy mocy chwilowej pobieranej przez badane maszyny. Do realizacji oprogramowania systemu pomiarowego wybrano środowisko programowania w języku graficznym LabVIEW. Opracowane oprogramowanie umożliwia analizę, archiwizację i wizualizację danych uzyskanych z pomiarów mocy chwilowej, pobieranej przez badane silniki indukcyjne,...
-
Ocena funkcjonalna środowisk modelowania UML jako składowa wielokryterialnej oceny technologii informatycznych
PublikacjaW artykule przedstawiono koncepcję systemu wieloagentowego do oceny technologii informatycznych stosowanych do wytwarzania oprogramowania. Jednym z komponentów takiego rozwiązania ma być system ekspertowy bazujący na wiedzy. Jako, że niezbędnym etapem prac będzie przygotowanie bazy wiedzy, konieczny będzie w pierwszej kolejności dobór adekwatnych parametrów. Autor prezentuje wyniki pierwszych, wstępnych badań nad środowiskami do...
-
Wykrywanie sygnałów z widmem rozproszonym o małej mocy
PublikacjaNiniejszy artykuł podzielony został na trzy części. Pierwsza z nich zawiera opis koncepcji oraz schemat blokowy stanowiska do wykrywania sygnałów z widmem rozproszonym o małej mocy. Ponadto, w tej części jest zaprezentowana realizacja praktyczna takiego stanowiska. Część druga jest charakterystyką oprogramowania, realizującego cyfrowe przetwarzanie sygnałów i stanowiącego interfejs użytkownika dla operatora stanowiska. W ostatniej...
-
METODA ANALIZY NIEZAWODNOŚCI CZŁOWIEKA SPAR-H W APLIKACJI ProSIL-EAL
PublikacjaW referacie przedstawiono zagadnienie wyznaczania prawdopodobieństwa błędu człowieka HEP za pomocą metody SPAR-H w oprogramowaniu ProSIL-EAL. Oprogramowanie wspomaga proces zarządzania bezpieczeństwem funkcjonalnym w cyklu życia systemów technicznych. Prawdopodobieństwo błędu człowieka jest zagadnieniem związanym z etapem weryfikacji określonych poziomów nienaruszalności bezpieczeństwa SIL dla funkcji bezpieczeństwa. ProSIL-EAL...
-
SYSTEM POMIAROWY DO URZĄDZENIA TYPU STEPPER DEDYKOWANY DO PRÓB WYSIŁKOWYCH
PublikacjaW artykule przedstawiono system pomiarowy opracowany do urządzenia typu stepper, umożliwiającego przeprowadzenie próby wysiłkowej zgodnie z testem Astrand’a-Ryhminga. Budowa prototypu systemu pomiarowego wymagała modyfikacji mechanicznej urządzenia typu stepper udostępnionego przez Akademię Wychowania Fizycznego i Sportu w Gdańsku oraz doboru części sprzętowej systemu pomiarowego (czujników, mikrokontrolera). Celem projektu było...
-
Performance and Security Testing for Improving Quality of Distributed Applications Working in Public/Private Network Environments
PublikacjaThe goal of this dissertation is to create an integrated testing approach to distributed applications, combining both security and performance testing methodologies, allowing computer scientist to achieve appropriate balance between security and performance charakterstics from application requirements point of view. The constructed method: Multidimensional Approach to Quality Analysis (MA2QA) allows researcher to represent software...
-
Problemy pozycjonowania satelitarnego w aglomeracjach miejskich
PublikacjaW artykule przedstawiono rozważania teoretyczne i wyniki eksperymentów, których celem było zasygnalizowanie pewnych problemów związanych z zastosowaniem GNSS (z ang.: Global Navigation Satellite Systems - Globalne Satelitarne Systemy Nawigacyjne) w aglomeracjach miejskich. W pierwszej części artykułu przedstawiono rozważania dotyczące potencjalnych problemów związanych z wyznaczaniem współrzędnych pozycji w środowisku występowania...
-
Koncepcja bazy danych fotogrametrycznych bliskiego zasięgu
PublikacjaPublikacja opisuje bazę danych przechowującą i udostępniającą w środowisku internetowym zasób cyfrowych danych fotogrametrycznych i termowizyjnych oraz numerycznych danych pomiarowych, które mogą być pozyskane z n-wymiarowych opracowań bliskiego zasięgu, realizowanych w i-epokach. W projekcie autorzy określili uprawnienia użytkowników oraz zaproponowali strukturę bazy danych - model pojęciowy i funkcjonalny. Rozwiązanie informatyczne...
-
On the characteristic impedance definition in microstrip and coplanar lines
PublikacjaW niniejszej pracy rozważono definicję impedancji charakterystycznej dla bezstratnych linii mikropaskowych i koplanarnych. Wykazano, że ze względu na znaczne wartości prądu przesunięcia związanego z podłużną składową pola elektrycznego, definicja impedancji staje się niejednoznaczna. W rezultacie może to przyczyniać się do istotnych błędów powstających już na etapie projektowania układów. Pokazano, iż efekt ten jest szczególnie...
-
Modelowanie internetowych aplikacji rozproszonych w zastosowaniach ekonomicznych i biznesowych
PublikacjaPrzestawiono problematykę rozproszonych aplikacji internetowych w zastosowaniach biznesowych. Zaprezentowano podejścia do modelowania oprogramowania dla rozwiązań komercyjnych. Scharakteryzowano podstawowe języki służące do modelowania oraz pokazano schematy operacyjne. W zakresie rozwiązań praktycznych pokazano modularną strukturę systemu zarządzającego ze zwróceniem uwagi na jego skalowalność oraz modyfikowalność. Omówiono etapy...
-
OPROGRAMOWANIE I SPRZĘT W TECHNOLOGII RADIA PROGRAMOWALNEGO
PublikacjaTechnologia radia programowalnego (ang. Software Defined Radio) umożliwia realizację urządzeń pracujących w różnego rodzaju cywilnych i wojskowych systemach radiowych. W pracy zaprezentowano zagadnienia dotyczące koncepcji realizacji radia programowalnego. Zaprezentowano oprogramowanie GNU Radio, służące do realizacji operacji przetwarzania sygnałów w torach nadawczo-odbiorczych urządzeń zrealizowanych w technologii SDR. Przedstawiono...
-
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...
-
Przegląd metod współbieżnej symulacji heterogenicznych systemów wbudowanych.
PublikacjaW pracy opisano współbieżną symulację sprzętowo-programową heterogenicznych systemów wbudowanych jako metodę weryfikującą spełnienie wyspecyfikowanych założeń. Podkreślono jej znaczenie na każdym etapie projektowania. Przedstawiono zasadę działania symulatorów HDL i symulatorów oprogramowania oraz dokonano charakterystyki środowisk współbieżnej symulacji podkreślając najważniejsze cechy. Szczegółowo opisano modele procesora stosowane...
-
Analiza nowej konstrukcji wirnika kaplana w zakresie problemów łożyskowania
PublikacjaReferat przedstawia wszechstronną analizę nowej konstrukcji głowicy wirnika turbiny wodnej Kaplana - za pomocą kompleksowego modelowania Metodą Elementów Skończonych (MES), z wykorzystaniem komercyjnego oprogramowania. Dla zmniejszenia rozmiarów oraz osiągnięcia korzyści technologicznych w nowym projekcie zastosowano rzadko współcześnie stosowany tzw. odwrotny mechanizm jarzmowy z hydraulicznie przesuwanym jarzmem skośnym. Nowością...
-
Możliwości poprawy sprawności pomp głębinowych HYDRO-VACUUM SA drogą zastosowania nowoczesnych komputerowych metod projektowania
PublikacjaW prezentacji omówiono algorytm postępowania jaki został zrealizowany przy modernizacji istniejącej konstrukcji pompy głębinowej. Modernizacji dokonano przy użyciu nowoczesnych metod komputerowych z wykorzystaniem własnego oprogramowania do obliczeń jedno i dwu-wymiarowych oraz komercyjnych programów CAD i do obliczeń przepływów 3D (Fluent). Porównano wyniki badań na konstrukcji rzeczywistej z badaniami numerycznymi konstrukcji...
-
Concept of web service for real-time satellite imagery dissemination
PublikacjaW artykule zaproponowano system upowszechniania obrazów satelitarnych w czasie niemal rzeczywistym realizujący ideę oprogramowania jako usługi. System jest złożony z 4 logicznych modułów - modułu akwizycji danych, zarządzania, serwera Web oraz klienta. Protokół zapytań WCS jest wykorzystywany jako interfejs pomiędzy większością modułów. System tworzony jest z myślą o udostępnianiu danych dla zdalnych użytkowników w formie usługi...
-
Analysis of scattering from arbitrary configuration of cylindrical objects using hybrid finite-difference mode-matching method
PublikacjaW artykule przedstawiono nową metodę hybrydową stanowiącą połączenie metody różnic skończonych z metodą dopasowania rodzajów, pozwalającą na analizę obiektów cylindrycznych o dowolnym przekroju poprzecznym. W prezentowanej metodzie poszczególne obiekty reprezentowane są poprzez wielorodzajową macierz impednacyjną zdefiniowaną na powierzchni bocznej zastępczego cylindra zawierającego badany obiekt. Celem określenia parametrów rozproszenia...
-
Wybrane metody efektywnej integracji komponentów w systemach rozproszonych
PublikacjaW pracy przedstawiono problemy wytwarzania efektywnych aplikacji rozproszonych ze szczególnym uwzględ-nieniem wytwarzania zorientowanego na integrację komponentów. Opisano metody komunikacji stosowane w aplikacjach rozproszonych oraz architektury oprogramowania, takie jak: SOA, ESB i SCA. Metody komunikacji obejmują standardy usług sieciowych XML Web services oraz RESTful Web services. Ponadto opisano wykorzystanie interfejsu programistycznego...
-
ANALIZA BIBLIOMETRYCZNA BADAŃ NAD KONKURENCYJNOŚCIĄ MIĘDZYNARODOWĄ
PublikacjaCelem artykułu jest prezentacja wyników metaanalizy prac naukowych z zakresu międzynarodowej konkurencyjności, opublikowanych w ciągu ostatnich siedemdziesięciu lat w bazach ISI Web of Science oraz EconLit. W analizie wykorzystane zostały podstawowe metody bibliometryczne przy wsparciu oprogramowania HistCite. Przeprowadzona analiza umożliwiła ocenę w czasie rozwoju badań nad międzynarodową konkurencyjnością oraz identyfikację...
-
Przegląd mechanizmów integracji wiedzy w projektach interdyscyplinarnych
PublikacjaCelem referatu było dokonanie przeglądu i porównania mechanizmów integracji wiedzy pochodzących z różnych źródeł, zaczynając od podejść kreatywnych, poprzez mniej i bardziej formalne podejścia powiązane z inżynierią oprogramowania, a kończąc na teorii badań interdyscyplinarnych i menadżerskim podejściu do zarządzania zespołami interdyscyplinarnymi. Pod względem metodologicznym, w referacie zastosowano wielodyscyplinarną analizę...
-
Modelowanie, sterowanie i wizualizacja quadrocoptera
PublikacjaArtykuł przedstawia podejście do budowy modelu matematycznego quadrocoptera. Głównym celem budowy modelu było zaprojektowanie odpowiedniego sterowania obiektu oraz analiza jego zachowania się w różnych sytuacjach. Jako założenie przyjęto budowę modelu, systemu sterowania oraz wszelkich towarzyszących algorytmów w otwartym środowisku programistycznym, co pozwoli na późniejszą ich implementację w rzeczywistym obiekcie, bez konieczności...
-
Transiluminacyjne monitorowanie stanu przestrzeni podpajęczynówkowej
PublikacjaTransiluminacja tkanek ludzkiego ciała w celach diagnostycznych jest stosowana od ponad stu lat. Metoda transiluminacji w bliskiej podczerwieni z rozpraszaniem zwrotnym (NIRT-BSS) umożliwia ciągłe, bezinwazyjne monitorowanie zmian szerokości przestrzeni podpajęczynówkowej, które może być cennym narzędziem w ocenie zagrożenia obrzękiem mózgu. W rozprawie przedstawiono optyczny model rozchodzenia się promieniowania podczerwonego...
-
Seminarium popularnonaukowe na WETI
WydarzeniaWETI zaprasza na seminarium popularnonaukowe adresowane do uczniów szkół licealnych Trójmiasta i Pomorza. Więcej informacji na stronie WETI.
-
Teledetekcja w diagnostyce żelbetowych elementów konstrukcyjnych
PublikacjaPomiary teledetekcyjne przy użyciu naziemnych skanerów laserowych to nowo-czesne narzędzie pracy wykorzystywane nie tylko w geodezji, ale też w medycynie, inżynierii produkcji, a nawet kryminalistyce. W obszarze inżynierii budowlanej znajduje on zastosowanie w badaniu geometrii budowli(hale przemysłowe) i obiektów inżynier-skich(mosty, wiadukty), a także w pracach związanych z inwentaryzacją obiektów. Skaning laserowy pozwala na...
-
TELEDETEKCJA W DIAGNOSTYCE ŻELBETOWYCH ELEMENTÓW KONSTRUKCYJNYCH
PublikacjaPomiary teledetekcyjne przy użyciu naziemnych skanerów laserowych to nowoczesne narzędzie pracy wykorzystywane nie tylko w geodezji, ale też w medycynie, inżynierii produkcji, a nawet kryminalistyce. W obszarze inżynierii budowlanej znajduje on zastosowanie w badaniu geometrii budowli(hale przemysłowe) i obiektów inżynierskich(mosty, wiadukty), a także w pracach związanych z inwentaryzacją obiektów. Skaning laserowy pozwala na...
-
Wizyjna metoda oceny przemieszczeń poprzecznych mobilnych systemów GNSS i INS w procesie wyznaczania trajektorii osi toru kolejowego
PublikacjaW referacie przedstawiono metodę pomiaru przemieszczeń poprzecznych kolejowej platformy zawierającej systemy pomiarowe GNSS, INS, MLS oraz fotogrametryczny. Do pomiaru przemieszczeń poprzecznych zastosowano system fotogrametryczny składający się z kamer wizyjnych, oświetlaczy, kontrolera systemu pomiarowego, oraz oprogramowania do akwizycji plików. Zaprezentowano algorytm przetwarzania plików rastrowych w celu pomiaru przemieszczeń....
-
Wpływ prawa na systemy informatyczne - studia przypadków
PublikacjaZgodność systemów informatycznych z prawem jest jednym z podstawowych wymagań względem systemów. Jednak transformacja przepisów prawa na wymagania względem oprogramowania nie jest łatwym zadaniem. W referacie zaprezentowano trzy różne rodzaje wpływu prawa na systemy informatyczne. W przypadku pierwszym, prawo reguluje określoną dziedzinę pozostawiając dowolność wyboru sposobu realizacji przepisów. W drugim przypadku, przepisy...
-
Wykorzystanie e-narzędzi w nauczaniu, egzaminacji i certyfikacji Autodesk
PublikacjaAutoryzowane Centrum Szkolenia Autodesk Politechniki Gdańskiej zostało założone w 1995 roku. Stanowiło odpowiedź na rosnące zainteresowanie zdobywaniem umiejętności obsługi oprogramowania typu CAD wśród studentów i młodych inżynierów. Rosnące zainteresowanie zaowocowało stopniowym wdrażaniem kolejnych narzędzi e-learningowych. Wraz ze zdobyciem statusu Autoryzowanego Akademickiego Partnera Autodesk w 2016 roku pojawiły się nowe...
-
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...