Filters
total: 858
-
Catalog
Search results for: TESTOWANIE ZGODNOŚCI
-
Generating reliable conformance test suites for parallel and distributed languages, libraries, and APIs.
PublicationArtykuł nakreśla nową metodykę dla tworzenia Zestawów Testów Zgodności (ZTG) dla języków, bibliotek i API programowania równoległego i rozproszonego. Autor rozpoczął swoje badania w zakresie testowania zgodności dla języka równoległego sterowanego danymi Athapascan, opracował metodykę dla projektowania i analizowania ZTG nazwaną Metodą Kolejnych Zawężeń (ang. Consecutive Confinements Methods - CoCoM), stworzył narzędzie CTS Designer,...
-
Inconsistent i contradictory judgements in pairwise comparison method in AHP.
PublicationCelem artykułu jest pokazanie zależności pomiędzy niezgodnymi i sprzecznymi macierzami danych, otrzymywanymi w wyniku porównań parami niewielkiej, skończonej libzy wariantów decyzyjnych. W szczególności pokazuje się macierze, które mimo prawidłowego wyniku testu zgodności posiadają oceny sprzeczne. Przedstawia się algorytm sprawdzający zgodność ocen.
-
Michał Michna dr hab. inż.
PeopleMichal Michna received the M.Sc. and Ph.D. degrees in electrical engineering from the Gdansk University of Technology (GUT), Gdansk, Poland, in 1998 and 2005, respectively. Since 2004, he was employed at the Department of Power Electronics and Electrical Machines of the Gdańsk University of Technology (assistant, assistant professor, senior lecturer). In 2010-2015 he was a deputy of head of the Department of Power Electronics and...
-
Zastosowanie numerycznego modelu obiektu do oceny zgodności realizacji pro-jektu budowli gabionowej. W: Współczesna geodezja w rozwoju nauk techni- cznych, przyrodnicznych i ekonomicznych. Warszawa::SGGH**2003 s. 315-321, 3 rys. bibliogr. 6 poz.
PublicationW pracy przedstawiono sposoby badania oceny zgodności realizacji projektu budowli gabionowej. Zastosowano numeryczny model obiektu (NMO) i wyniki geodezyjnej inwentaryzacji powykonawczej (GIP) budowli gabionowej. Opracowano etapy badania oceny zgodności realizacji projektu. Opisano wewnętrzne i zewnętrzne błędy realizacji projektu. Na przykładzie muru oporowego wykonanego z gabionów dokonano wizualizacji wykrytych błędów realizacji...
-
Quality assessment of varistor ZnO structures by resonant ultrasound spectroscopy
PublicationWarystory sa wytwarzane z tlenku cynku ZnO jako cylindrycznie uformowane struktury, a ich jakość zależy od zmieniających się uwarunkowań technologicznych na etapach formowania ich kształtu oraz spiekania. W związku z tym są one testowane w końcowej fazie produkcji, a elementy wadliwe się odrzuca. Proponujemy testowanie jakości struktur ZnO we wcześniejszej fazie ich wytwarzania w celu wyeliminowania elementów wadliwych z dalszej,...
-
Molecular and chemical monitoring of growth and Ochratoxin A biosynthesis of P. verrucosum in wheat stored at different moisture conditions
PublicationDoświadczenie polegało na obserwacji wzrostu P. verrucosum na ziarnach pszenicy, składowanej w różnych warunkach (wilgotność, temperatura) oraz zdolności do produkcji Ochratoksyny A (OTA) przez tę pleśń. Wzrost mierzony był w jednostkach tworzących kolonie (cfu colony forming units). Biosynteza OTA kontrolowana była przy pomocy HPLC, a ekspresja genu otapksPV syntetazy OTA mierzona w czasie przy pomocy odwrotnej transkryptazy...
-
Comparison of dry and living Sphagnum palustre moss samples in determining their biocumulative capability as biomonitoring tools
PublicationPorównano właściwości suchych i żyjących mchów Sphagnum palustre poprzez wyznaczenie ich zdolności biokumulacyjnych jako narzędzia przy biomonitoringu. Zastosowano dwie formy mchów w celu porównania ich wad i zalet i wybraniu najlepszej. Badania przeprowadzono na terenie zurbanizowanym w celu wyznaczenia głównych źródeł zanieczyszczeń. Przeprowadzono analizę klasterową oraz analizę głównych składowych w celu zidentyfikowania profilu...
-
Symulator Sym-PS4 sterownika programowalnego PS4-201-MM1
PublicationW 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...
-
Test limitations induced by fault-driven instability of analog circuits.
PublicationCelem pracy jest ocena ograniczeń testowania uszkodzeń parametrycznych wynikajacych z utraty stabilności przez testowany układ analogowy. Zastosowano metody zapożyczone z teorii sterowania: liniową transformacje frakcyjną i analizę metodą strukturalnych wartości szczególnych. Przykładowej analizie poddano filtr typu leapfrog. Do obliczeń wykorzystano środowisko Matlab/Simulink. Wyniki obliczeń wykazały dużą podatność testowanego...
-
Effective methods for functional confermance testing of parallel and distributed programming libraries.
PublicationRozprawa przedstawia kompletna metodykę tworzenia Zestawów Testów Zgodności dla języków programowania, bibliotek i API, ze szczególnym uwzględnieniem języków i bibliotek programowania równoleglego i rozproszonego. Autor rozpoczął badania w dziedzinie testowania zgodności dla bibliotek programowania równoleglego i rozproszonego, ale Metodyka Kolejnych zawężeń (ang. Consecutive Confinenments Method -CoCoM, stworzona przez Autora,...
-
Andrzej Augusiak dr inż.
People -
Praca z normą Common Criteria wspomagana szablonami Trust Case
PublicationTrust 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....
-
Testing interaction models by using x-ray absorption spectroscopy: solid Pb
PublicationPraca prezentuje zastosowanie metody EXAFS jako narzędzia do testowania potencjałów oddziaływań międzyatomowych używanych w symulacjach dynamiczno-molekularnych na przykładzie czystego ołowiu w fazie stałej (od temperatury pokojowej do temperatury topnienia). Testowaniu poddano następujące potencjały: dwuciałowy empiryczny potencjał Dzugutova, Larssona i Ebbsjo (DLE), potencjał ciasnego wiązania (TB) i potencjał w modelu osadzonego...
-
Self-testing of fully differential multistage circuits using common-mode excitation
PublicationPrzedmiotem artykułu jest, zorientowane na uszkodzenia, testowanie wielostopniowych układów w pełni różnicowych. Zaproponowano metodę testowania z zastosowaniem pobudzenia układu testowanego sygnałem wspólnym. Rozważane są dwa warianty metody. Pierwszy wariant wykorzystuje do pobudzenia wejście każdego różnicowego stopnia. Drugi wariant wykorzystuje dodatkowe wejście wzmacniacza operacyjnego i testuje wielostopniowy układ bez jego...
-
Diagnostyka układów elektronicznych z wykorzystaniem magistrali testujących
PublicationPrzedstawiono przegląd magistral testujących przeznaczonych do diagnostyki układów elektronicznych: magistralę IEEE 1149.1 dla układów cyfrowych, magistralę IEEE 1149.4 dla układów mieszanych sygnałowo oraz magistralę IEEE 1149.6 dla układów cyfrowych sprzężonych pojemnościowo. Pokazano wyniki badań nad wykorzystaniem magistrali IEEE 1149.4 do pomiarów interkonektów typu RLC na pakietach układów elektronicznych. Do badań użyto...
-
Detekcja uszkodzeń w analogowych układach w pełni różnicowych.
PublicationPrzedmiotem pracy jest detekcja uszkodzeń w analogowych układach elektronicznych o architekturze w pełni różnicowej, cechującej się strukturalną redundancją ułatwiającą testowanie i diagnostykę. W oparciu o model matematyczny układów w pełni różnicowych, usystematyzowano metody ich testowania. Wykazano, że dotychczas stosowane metody są kosztowne w odniesieniu do układów ze wzmacniaczami operacyjnymi, w których zastosowano sprzężenie...
-
Built-in Test Scheme for detection, classification and evaluation of nonlinearities
PublicationW artykule przedstawiono koncepcję testera wbudowanego (BIST) przeznaczonego do detekcji nieliniowości, klasyfikacji rodzaju nieliniowości i oceny zniekształceń nieliniowych sygnału testowanego, bez użycia drogiego systemu automatycznego testowania. Tester bazuje na modulatorze sigma-delta umieszczonym na pakiecie testowanym i sztucznej sieci neuronowej zaimplementowanej w komputerze osobistym. Koncepcję testera zweryfikowano poprzerz...
-
Ryszard Woźniak dr inż.
PeopleRyszard Woźniak received his M.Sc. (1984) from the Lublin University of Technology specializing in Cars and Tractors. In 2002, at the Gdansk University of Technology he defended his doctoral thesis on: "Tyre/road noise when large longitudinal forces are applied in tyre/road contact patch" and obtained a doctorate degree in technical sciences in the field of construction and operation of machines. Currently he is an adjunct at the...
-
Teresa Olszewska dr hab. inż.
People -
Kurs do testowania (M.Stępniak)
e-Learning Courses -
Współczesne trendy w diagnostyce układów elektronicznych z wykorzystaniem magistral testujących
PublicationPrzedstawiono najnowsze trendy w dziedzinie testowania układów elektronicznych z wykorzystaniem opartych na brzegowej ścieżce sterująco-obserwacyjnej magistral testujących. Dla każdej magistrali przedstawiono jej strukturę oraz rozwiązania kluczowych elementów. Przedstawiono wyniki badań nad wykorzystaniem magistrali IEEE 1149.4 do testowania i identyfikacji uszkodzeń w układach elektronicznych z użyciem wyposażonych w magistralę...
-
Testowanie oprogramowania systemów krytycznych - zima'22
e-Learning Coursesxxx
-
Testowanie oprogramowania systemów krytycznych - zima'23
e-Learning Courses -
Marek Olesz dr hab. inż.
PeopleWydział Elektrotechniki i Automatyki, Prodziekan ds. rozwoju dr hab. inż. Marek Olesz, prof. PG data urodzenia 1966 wykształcenie Politechnika Gdańska, Wydział Elektryczny (1990) stopień / tytuł naukowy doktor habilitowany – Politechnika Gdańska, Wydział Elektrotechniki i Automatyki (2017), doktor – Politechnika Gdańska, Wydział Elektrotechniki i Automatyki (1998) zatrudnienie Politechnika Gdańska: asystent stażysta (1989 –...
-
Conformance testing of parallel languages
PublicationPrzedstawiono propozycję formalizacji opisu procesu generacji, wykonania ioceny testów zgodności dla języków i bibliotek programowania równoległego, wzakresie zgodności funkcjonalnej i wydajnościowej. Przykłady ilustrujące proponowany formalizm wykorzystują platformę programowania Athapascan.
-
Analiza techniczna funkcjonalności pilarki PZS-350. Ekspertyza techniczna opracowana na zlecenie REMA S.A.
PublicationWykonana ekspertyza techniczna dotyczyła prototypowej pilarki tarczowej PZS-350 przeznaczonej do cięcia surowej sklejki drzewnej na arkusze o żądanym wymiarze. Celem była analiza funkcjonalności wykonanego prototypu oraz jego zgodności z przyjętymi założeniami technicznymi. Główne funkcje realizowane przez pilarkę obejmują: a) transport sklejki ze stołu podawczego do cięcia wzdłużnego; b) cięcie wzdłużne i usuwanie odpadu po tym...
-
Some aspects of physical and numerical modeling of water hammer in pipelines
PublicationCharakterystyki ciśnieniowe otrzymywane w wyniku symulacji numerycznych uderzenia hydraulicznego różnią się zasadniczo od charakterystyk obserwowanych na drodze doświadczalnej. Stosowane zabiegi matematyczne i numeryczne pozwalające na poprawę zgodności między obliczeniami a pomiarami okazują się skuteczne tylko w przypadku prostych rurociągów o stałej średnicy. Dla bardziej skomplikowanych przypadków prawidłowe odwzorowanie zjawiska...
-
Testing method of analog parts for mixed signal microsystems based on microcontrolles.
PublicationZaproponowano nową metodę detekcji i lokalizacji pojedynczych uszkodzeń parametrycznych, która może znaleźć zastosowanie do samo-testowania sieci analogowych w mikrosystemach mieszanych sygnałowo sterowanych mikrokontrolerami. Metoda ta jest oparta na przekształceniu transformującym próbki odpowiedzi czasowej na pobudzenie impulsem prostokątnym na krzywe identyfikacyjne na płaszczyźnie. Metoda pozwala na detekcję i lokalizację...
-
Zastosowanie szablonów Trust Case w pracy z normą BS 7799
PublicationTrust 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. Wykorzystanie Trust Case do analizy i uzasadniania zaufania do systemów IT jest przedmiotem aktywnych badań. Podejście to znalazło zastosowanie w stosunku do systemów związanych z bezpieczeństwem (ang. safety critical), a ostatnio...
-
Electrochemical behaviour of Cr coating in acidic sulphate solution studied by cyclic polarization and impedance spectroscopy
PublicationOdporność korozyjną powłok chromowych w 0.01 M H2SO4 zbadano metodami woltamperometrii cyklicznej i spektroskopii impedancyjnej. Stwierdzono, że właściwości ochronne powłoki chromowej w kontakcie z powietrzem wzrastają dzięki tworzeniu się warstwy tlenkowej zapełniającej defekty w powłoce. W trakcie polaryzacji anodowej następuje częściowe roztwarzanie tej warstwy i penetracja agresywnego środowiska do podłoża (stali), co powoduje...
-
Badania pojazdów zabytkowych - wymagane dokumenty
PublicationBadanie, jakiemu poddawany jest pojazd w stacji kontroli pojazdów, kwalifikujące go do pojazdów zabytkowych nazywane jest "Badaniem co do zgodności z warunkami technicznymi pojazdów zabytkowych". Rozporządzenie określa zakres i sposób prowadzenia badań zgodności z warunkami technicznymi pojazdów zabytkowych.
-
Proportional-derivative and Model-based Controllers for Control of a Variable Mass Manipulator
PublicationW artykule prezentowano wyniki analiza numeryczna dynamiki manipulatora o zmiennej masie. W skład manipulatora wchodzą jedynie członu i przeguby obrotowe. Ładowność chwytaka jest traktowana jako jedyny element o zmiennej masie. Podobnie jak w przypadku innych manipulatorów wyposażonych w przeguby obrotowe, parametry jego dynamika zależą od aktualnego ustawienia. Gdy przemieszczenia obejmują większy zakres roboczy, w równaniach...
-
Pattern matching localization in ZigBee wireless sensor networks.
PublicationLokalizacja typu Pattern matching w sieciach sensorów bezprzewodowych ZigBee.Prezentacja metod implementacji algorytmów lokalizacji. Praktyczne zastosowanie i testowanie lokalizacji sieci ZigBee.
-
Naprowadzanie i pozycjonowanie obiektów oceanotechnicznych
e-Learning CoursesAnaliza zdolności dynamicznego pozycjonowania wybranego statku
-
Ocena stanu technicznego obiektów budowlanych Pomorskiej Kolei Metropolitarnej po ekstremalnym opadzie atmosferycznym w dniach 14 - 15 lipca 2016 r
PublicationOpinię wykonano w związku z powołaniem przez Marszałka Województwa Pomorskiego, Zespołu Ekspertów ds. analizy inwestycji Pomorskiej Kolei Metropolitarnej w kontekście stanu infrastruktury PKM po deszczu nawalnym w dniu 14/15.07.2016 r. Celem przeprowadzonych prac studialnych (uzupełnionych o wizje lokalne) była analiza udostępnionych dokumentacji pod kątem poprawności rozwiązań technicznych. Zakres prac: • Ocena zgodności dokumentacji...
-
Internetowa telediagnostyka układów elektronicznych.
PublicationPrzedstawiono realizację sprzętową i programistyczną prototypowej usługi sieciowej, której zadaniem jest testowanie i lokalizowanie uszkodzeń w mieszanych sygnałowo układach elektronicznych za pośrednictwem Internetu.
-
Opinia dotycząca systemu nawierzchni torowej proponowanej przez wykonawcę odcinka centralnego II linii metra w Warszawie
PublicationOpinia dotyczy zgodności zaproponowanej konstrukcji nawierzchni z zapisami zawartymi w Programie Funkcjonalno-Użytkowym
-
Od projektu do programu
PublicationPraca wprowadza w zagadnienia implementacji i testowania, pod kątem proble-mów i metod przekształcania wyników fazy projektowania w oprogramowanie. O-mówienie poprzedza krótkie wprowadzenie w zagadnienia modelowania zachowańprogramu. Treść rozdziału uwzględnia też problem implementacji w postaci o-programowania równoległego, zarówno w zakresie specyfiki jego wytwarzania,jak i testowania.
-
Badania składu chemicznego materiału rury 323,90x12,70 mm
PublicationWykonano badania składu chemicznego materiału rury i dokonano oceny zgodności z atestem i normą.
-
Jacek Namieśnik prof. dr hab. inż.
PeopleScientific discipline: chemistryRector in 2016-2019 He was born on 10 December, 1949 in Mogilno. He graduated in 1972 at the Faculty of Chemistry at Gdańsk University of Technology, obtaining a master's degree in chemical engineering. In 1972 he started working at Gdańsk University of Technology, where in 1978 he defended his doctoral thesis and in 1985 he completed his habilitation. He was appointed an associate professor in 1991...
-
Emulator analogowych uszkodzeń parametrycznych
PublicationW artykule przedstawiono emulator uszkodzeń analogowych bazujący na mikrosystemie jednoukładowym. Użycie struktur programowalnych znacznie ułatwia wprowadzanie uszkodzeń parametrycznych pojedynczych i wielokrotnych w szerokim zakresie zmian wartości parametrów. Urządzenie służy do wspomagania badań w zakresie testowania zorientowanego na uszkodzenia. Mechanizm dynamicznej rekonfiguracji układu obniża koszty i przyspiesza eksperymentalną...
-
Emulator analogowych uszkodzeń parametrycznych w programowalnym systemie jednoukładowym
PublicationW referacie przedstawiono emulator uszkodzeń analogowych bazujacy na mikrosystemie jednoukładowym. Użycie struktur programowalnych znacznie ułatwia wprowadzanie uszkodzeń parametrycznych pojedynczych i wielokrotnych w szerokim zakresie zmian wartości parametrów. Urzadzenie służy do wspomagania badań w zakresie testowania zorientowanego na uszkodzenia. Mechanizm dynamicznej rekonfiguracji układu obniża koszty i przyspiesza eksperymentalną...
-
Wdrażanie prawa unijnego
PublicationAutorka opisuje system oceny zgodności, któremu podlegają wszystkie wyroby znajdujące się na rynkach krajów unijnych.
-
Showing compliance of probabilistic assessments with safety goals
PublicationW niektórych standardach formułuje się wymagania, że wyniki modelowania probabilistycznego i oszacowań ryzyka powinny zawierać ocenę niepewności. Modelowanie złożonych systemów bazuje w praktyce na kategoriach zdarzeń, które są mniej lub więcej rozmyte. Artykuł dotyczy kwestii wykazywania zgodności wyników modelowania probabilistycznego z ilościowymi kryteriami bezpieczeństwa. Proponuje się metodę definiowania takich kryteriów...
-
EKSPERTYZA W ZAKRESIE POPRAWY DOSTĘPNOŚCI ZGODNIE Z ZARZĄDZENIEM PREZYDENTA MIASTA GDYNI Z DN. 17 MAJA 2013 W SPRAWIE PRZYJĘCIA STANDARDÓW DOSTĘPNOŚCI DLA MIASTA GDYNI dot.: inwestycji pn. Panorama Office – budynek usługowo-biurowy z garażem podziemnym wraz z projektem zagospodarowania terenu i infrastrukturą techniczną w Gdyni.
PublicationOcena dostępności do potrzeb osób z niepełnosprawnościami otoczenia budynku usługowo-biurowego Panorama Office i zgodności ze Standardami Dostępności
-
Sztywność obwodowa rurociągi - studzienki
PublicationZagadnienia sztywności obwodowej rur, złączy, rurociągów, studzienek rewizyjnych. Charakterystyczne problemy klasyfikacyjne, zagrożenia. Problem braku zgodności o rozwiązaniu systemowym.
-
A prediction of the fault-induced instability of circuit under test as a new approach in categorisation of faults.
PublicationW artykule przedstawiono nowy sposób kategoryzacji uszkodzeń w analogowych układach elektronicznych. Zaproponowano kryterium oparte na predykcji niestabilności indukowanej przez uszkodzenie w testowanym układzie. Przyjeto, że granicą pomiędzy uszkodzeniem miękkim i katastroficznym jest najmniejsza odchyłka parametru elementu, która sprowadza układ testowany do granicy stabilności. Wzrost wartości odchyłki poza wyznaczony margines...
-
Badania pojazdów zabytkowych - sprawdzanie działania zespołów
PublicationBadanie co do zgodności z warunkami technicznymi pojazdów zabytkowych diagnosta podsumowuje przez przygotowanie dla wnioskodawcy dwóch zaświadczeń po przeprowadzonym badaniu. Zaświadczenia oraz część badania technicznego zostały opisane w nr. 9 i 10/2018 SM. W tym artykule przyjrzyjmy się ostatniemu etapowi badania co do zgodności z warunkami technicznymi pojazdu zabytkowego, a mianowicie: sprawdzeniu prawidłowości działania poszczególnych...
-
EKSPERTYZA W ZAKRESIE POPRAWY DOSTĘPNOŚCI ZGODNIE Z ZARZĄDZENIEM PREZYDENTA MIASTA GDYNI NR 10740/13/VI/U Z DN. 17 MAJA 2013 W SPRAWIE PRZYJĘCIA STANDARDÓW DOSTĘPNOŚCI DLA MIASTA GDYNI. Dotyczy: projektu węzła integracyjnego i publicznego parkingu związanego z obsługą drogową w Gdyni Chyloni.
PublicationOcena dostępności do potrzeb osób z niepełnosprawnościami projektu integracyjnego węzła komunikacyjnego w Gdyni Chyloni. Sprawdzenie zgodności z wytycznymi Standardów Dostępności.
-
Zastosowanie sztucznych sieci neuronowych do prognozowania cen na Giełdzie Energii
PublicationOpisano narzędzie wykorzystujące sztuczne sieci neuronowe do prognozowania cen energii na giełdzie. Przedstawiono wyniki testowania modelu.