Filters
total: 1669
-
Catalog
- Publications 1415 available results
- Journals 3 available results
- Conferences 24 available results
- People 50 available results
- Inventions 11 available results
- Projects 10 available results
- Laboratories 1 available results
- Research Teams 2 available results
- e-Learning Courses 68 available results
- Events 25 available results
- Open Research Data 60 available results
displaying 1000 best results Help
Search results for: WERYFIKACJA FORMALNA
-
Analizator do weryfikacji składu mieszanin gazowych dla nurków
PublicationW artykule przedstawiono własną konstrukcję prostego i niezawodnego w działaniu analizatora do pomiaru stężeń helu i tlenu (w mieszaninach typu helioks), dwóch istotnych podstawowych parametrów gwarantujących bezpieczeństwo nurkowania. Zawartość helu mierzona jest czujnikiem termokonduktometrycznym własnej konstrukcji a tlenu za pomocą handlowej celki elektrochemicznej firmy Figaro. Maksymalny błąd względny dla obu składników nie...
-
R/EXAMS JAKO WSPARCIE W WERYFIKACJI WIEDZY STUDENTÓW
PublicationPrzydatność zasobów e-learningowych, takich jak testy i quizy online, można dostrzec w wielu sytuacjach: duża liczba studentów uczęszczających na dane zajęcia, utrwalanie, podsumowanie i weryfikacja wiedzy czy nauczanie na odległość. Celem artykułu jest zaprezentowanie pakietu R/exams dostępnego w programie statystycznym R jako wsparcia do tworzenia losowych i dynamicznych pytań oraz ich wykorzystania na platformie Moodle. Omówione...
-
Zestaw narzędzi wspomagających weryfikację koncepcji cyfrowego przetwarzania sygnałów
PublicationCyfrowe przetwarzanie sygnałów jest szeroko stosowane. Zagadnienia wydajnościowe złożonych filtrów powodują konieczność szukania nowych rozwiązań. Opracowywanie i weryfikacja filtrów z wykorzystaniem systemu resztowego czy przetwarzanie w systemach wieloagentowych nie ma aktualnie wsparcia w gotowych narzędziach. Planuje się stworzenie modułów programowych do weryfikacji koncepcji opartych o powyższe techniki, w języku C.
-
Negocjacyjny model weryfikacji wiedzy w wirtualych zespołach roboczych
Publicationzaproponowano medel interakcji dwukierunkowej oparty na negocjacjach i przeznaczony do rozwiązywania problemów związanych z akwizycją zasobów ludzkich (eksperckich) dla potrzeb rozproszonych systemów decyzyjnych i diagnostycznych, szczególnie systemów zarządzania sytuacjami kryzysowymi. Uzyskane wyniki eksperymentalne potwierdzają adekwatność przyjętego modelu, którego wdrożenie w formie usługi sieciowej jest planowane w przyszłości.
-
Certyfikacja przyszłością amerykańskiego inżyniera konstruktora budowlanego
PublicationArtykuł przywołuje potrzebę ogólnopaństwowego unormowania sprawy uprawnień zawodowych inżynierów budownictwa w USA. Wynika to z coraz większych wymagań stawianych współcześnie tym inżynierom w zakresie projektowania i wykonawstwa budowli - także w sferze pozatechnicznej.
-
DBpedia As a Formal Knowledge Base – An Evaluation
PublicationDBpedia is widely used by researchers as a mean of accessing Wikipedia in a standardized way. In this paper it is characterized from the point of view of questions answering system. Simple implementation of such system is also presented. The paper also characterizes alternatives to DBpedia in form of OpenCyc and YAGO knowledge bases. A comparison between DBpedia and those knowledge bases is presented.
-
Weryfikacja założeń do badań sonarowych oraz pomiary testowe w basenie portowym
Publication.
-
Weryfikacja skuteczności metod statystycznych w prognozowaniu upadłości firm na próbie niezbilansowanej
PublicationW opracowaniu tym porównano 5 różnych metod statystycznych prognozowania zagrożenia firm upadłością. Jest to pierwsza próba weryfikacji skuteczności tak szerokiego wachlarza metod statystycznych prognozowania upadłości firm w Polsce na jednej, takiej samej próbie badawczej. Celem tych badań było wskazanie metody statystycznej charakteryzującej się najlepszymi właściwościami predykcyjnymi upadłości firm na rok, na dwa i na trzy...
-
Analityczna weryfikacja dokładności komercyjnych programów komputerowych wspomagających projektowanie układów geometrycznych toru
PublicationW pracy podjęto próbę wyjaśnienia kwestii uzyskiwanej dokładności w projektowaniu układów geometrycznych toru z wykorzystaniem komercyjnych programów komputerowych typu CAD. Użytkownikowi najczęściej nie są znane zasady działania tych programów, w tym również wykorzystywane algorytmy obliczeniowe. Opisano w sposób ogólny funkcjonowanie dwóch wiodących programów. Przedstawiono własną, analityczną metodę projektowania układów torowych,...
-
Analityczna weryfikacja wybranego układu geometrycznego toru z wykorzystaniem profesjonalnego programu CAD
PublicationW pracy podjęto próbę wyjaśnienia, jak przedstawia się kwestia uzyskiwanej dokładności w projektowaniu układów geometrycznych toru z wykorzystaniem profesjonalnych programów komputerowych typu CAD. Użytkownikowi najczęściej nie są znane zasady działania tych programów, w tym również wykorzystywane algorytmy obliczeniowe. Opisano w sposób ogólny funkcjonowanie wybranego programu. Przedstawiono własną, analityczną metodę projektowania...
-
Weryfikacja parametru K rozkładu Rice'a dla środowiska miejskiego w paśmie UHF
PublicationReferat przedstawia wyniki pomiarów wartości parametru K rozkładu Rice’a modelu zaników dla kanałów UHF w terenie miejskim na podstawie zarejestrowanych sygnałów łącza w dół ze stacji bazowych CDMA2000. Przedstawiono sposób rejestracji i obróbki sygnałów oraz zaproponowano model rozkładu prawdopodobieństwa parametru K dla danego terenu.
-
Eksperymentalna weryfikacja procedury szacowania wytrzymałości młodego betonu wg normy ASTM C1074
PublicationW referacie przedstawiono metodę służącą oszacowaniu wytrzymałości betonu w trakcie procesu dojrzewania (ang. Maturity Method) bazującą na procedurze określonej zgodnie z amerykańską normą, która uwzględnia wpływ połączonych efektów temperatury i czasu na rozwój wytrzymałości betonu. Standardy ASTM C1074 zostały opracowane przez NBS (ang. National Bureau of Standards) z uwagi na powtarzające się wypadki na palcu budowy wynikające...
-
Weryfikacja wybranych korelacji dla przepływu podczas kondensacji w minikanałach i mikrokanałach
Publication -
Formalna metoda oceny bezpieczeństwa statków w stanie uszkodzonym na podstawie analizy przyczyn i skutków wypadków
PublicationW pracy przedstawiono elementy formalnej analizy bezpieczeństwa statków w oparciu o analizę przyczyn i skutków wypadków. Do analizy bezpieczeństwa zastosowano metodykę Formalnej Oceny Bezpieczeństwa FSA. Zgodnie z metodyką FSA analize bezpieczeństwa przeprowadzono w następującym zakresie: identyfikacja zagrożeń, ocena zagrożeń, identyfikacja scenariuszy wypadków, ocenaę ryzyka i kontrola ryzyka. Metoda umożliwia podejmowanie decyzji...
-
Heterogeniczne środowisko testowe na potrzeby weryfikacji mechanizmów systemu netBaltic
PublicationPrzedstawiono heterogeniczne środowisko testowe integrujące różne techniki transmisji, wykorzystywane w testach elementów systemu netBaltic. Omówiono poszczególne istotne komponenty systemu testowego: sieć nabrzeżną, instalację na jednostkach pływających oraz instalację na boi pomiarowej. Jako ilustrację możliwości systemu zaprezentowano przykładowe wyniki uzyskane w opisanym środowisku.
-
Stanowisko do weryfikacji nowej metody pomiaru rezystancji pętli zwarciowej
PublicationW artykule przedstawiono budowę i zasadę działania stanowiska laboratoryjnego, które umożliwia weryfikację eksperymentalną nowej metody pomiaru rezystancji pętli zwarciowej. Metoda ta charakteryzuje się tym, że nie następuje wyzwalanie wyłączników różnicowoprądowych, mimo wykorzystania stosunkowo dużej wartości prądu pomiarowego. Weryfikacja metody na stanowisku laboratoryjnym jest podstawą do skonstruowania prototypowego miernika...
-
Wykorzystanie rejestracji przebiegów szybkozmiennych do weryfikacji modeli dynamicznych KSE
PublicationW referacie przedstawiono koncepcję narzędzia pozwalającego na weryfikowanie parametrów modeli dynamicznych elementów KSE. Narzędzie wykorzystuje program obliczeniowy PSLF, stosowany powszechnie przez operatora systemu przesyłowego. Nowatorstwo polega na wykorzystaniu dodatkowej aplikacji (programu w systemie MS Windows), która steruje pracą programu obliczeniowego. Powstaje w ten sposób tandem wygodnego interfejsu użytkownika...
-
Wykorzystanie rejestracji przebiegów szybkozmiennych do weryfikacji modeli dynamicznych KSE
PublicationW referacie przedstawiono koncepcję narzędzia pozwalającego na weryfikowanie parametrów modeli dynamicznych elementów KSE. Narzędzie wykorzystuje program obliczeniowy PSLF, stosowany powszechnie przez operatora systemu przesyłowego. Nowatorstwo polega na wykorzystaniu dodatkowej aplikacji (programu w systemie MS Windows), która steruje pracą programu obliczeniowego. Powstaje w ten sposób tandem wygodnego interfejsu użytkownika...
-
Modele obliczeniowe krótkich żelbetowych wsporników w świetle weryfikacji eksperymentalnej.
PublicationW pracy przedstawiono kratownicowe modele obliczeniowe krótkich wsporników żelbetowych a także model oparty na teorii ścinania -tarcia oraz weryfikację tych modeli na podstawie wyników z badań eksperymentalnych własnych i obcych. Uwzględniono także modele wg nowej polskiej normy żelbetowej PN-B-03264:2002
-
Rozkład logarytmiczno-normalny a względne i absolutne miary rozproszenia.
PublicationW artykule przedstawiono rozważania dotyczące miar rozproszenia zmiennej losowej, która charakteryzuje się rozkładem logarytmiczno- normalnym.
-
On the use of instantaneous complex frequency for pitch and formant tracking.
PublicationW pracy opisano algorytm śledzenia częstotliwości podstawowej i formantów mowy z wykorzystaniem zespolonej pulsacji chwilowej. Działanie algorytmu przetestowano na nagraniach polskich samogłosek, których wysokość zmieniała się płynnie. Wyniki testów wraz z porównaniem działania opisanej metody i metody predykcji liniowej zawarto w artykule.
-
Degree product formula in the case of a finite group action
PublicationLet V, W be finite dimensional orthogonal representations of a finite group G. The equivariant degree with values in the Burnside ring of G has been studied extensively by many authors. We present a short proof of the degree product formula for local equivariant maps on V and W.
-
Standaryzacja i certyfikacja degradacji środowiskowej tworzyw sztucznych
PublicationDegradujące w środowisku naturalnym produkty z tworzyw sztucznych są grupą materiałów polimerowych, których ilość znacznie wzrosła w ostatnich latach. Ustanowiono wiele testów degradacji środowiskowej przez różne jednostki normalizacyjne. Testy te są również wykorzystywane, przy ustalaniu podstawowych systemów certyfikacji. Standardowe testy określają na przykład, jak pomiary biodegradacji danego materiału muszą być wykonane lub...
-
WERYFIKACJA KONCEPCJI PRZEGUBÓW PLASTYCZNYCH PROJEKTOWANYCH NA ODZIAŁYWANIA SEJSMICZNE WIADUKTU V6 OBWODNICY ISTAMBUŁU
PublicationW pracy zawarto wyniki analiz betonowego wiaduktu V6 budowanego w ciągu obwodnicy Istambułu w Turcji realizowanego w ramach projektu Northern Marmara Highway. Przeprawę stanowią dwie niezależne nitki o skrzynkowym przekroju poprzecznym i szerokości 22,00 m. Schemat statyczny obiektu to belka dziewięcioprzęsłowa o długości całkowitej 446,86 m oparta na podporach słupowych o zmiennej sztywności (rys.1) i wysokościach zmieniających...
-
Pomiarowa weryfikacja efektywności pracy asynchronicznej metody jednoczesnej estymacji położenia i orientacji obiektu
PublicationW referacie opisano wyniki pomiarowej weryfikacji efektywności pracy asynchronicznej metody lokalizowania obiektu na płaszczyźnie za pomocą sygnałów lokalizacyjnych wysyłanych jednocześnie z dwóch nadajników umieszczonych na tym obiekcie w znanej odległości od siebie.
-
Obliczeniowa weryfikacja pewności ruchowej hydrodynamicznych łożysk wzdłużnych na przykładzie elektrowni wodnej Dychów
PublicationW związku z modernizacją hydrozespołów elektrowni szczytowo-pompowej (esp) Dychów analizie poddano łożysko wzdłużne. Przeprowadzona analiza, która będzie podstawą do podjęcia decyzji o zakresie wymaganych zmian konstrukcyjnych w łożysku objęła ocenę danych o dotychczasowej eksploatacji oraz obliczenia sprawdzające prawidłowości pracy łożyska w nowych warunkach. W obliczeniach uwzględniono odkształcenia termosprężyste segmentu oraz...
-
Selected reflections on formal modeling in Industry 4.0
Publication -
Formal Institutions: the Source of Unproductive Entrepreneurship in Poland
PublicationThe purpose of this article is to determine the entrepreneurs' perception of formal institutions in Poland as a source of non-productive behaviours. The research methodology was developed based on many years of the teams' research experience. It involved three stages of research: 1) panel of experts and 2) telephone surveys of 1,612 entrepreneurs in Poland, which were the basis for 3) development of detailed research to be conducted...
-
Wytwarzanie architektury korporacyjnej środowiskiem weryfikacji struktur baz wiedzy systemu wieloagentowego
PublicationRozdział dokumentuje przebieg i wyniki weryfikacji opracowywanego w Zakładzie Zarządzania Technologiami Informatycznymi modelu systemu wieloagentowego do oceny technologii informatycznych. Wykorzystanie tego modelu (zaprojektowanego w oparciu o ontologie i zasoby baz wiedzy) ma docelowo wspomagać procesy decyzyjne z zakresu doboru technologii informatycznych dla danej organizacji. Dla potrzeb weryfikacji rozwiązania w zakresie...
-
Procedura weryfikacji stanu technicznego urządzeń dźwignicowych na przykładzie żurawi portowych.
PublicationOmówiono wymogi formalne dopuszczenia dźwignic o przekroczonym resursie do dalszej eksploatacji. Podano algorytmy przeglądów specjalnych. Przedstawiono przykłady weryfikacji stanu technicznego żurawi portowych.
-
Piotr Jasiński prof. dr hab. inż.
PeoplePiotr Jasinski obtained MSc in electronics in 1992 from the Gdansk University of Technology (GUT), Poland. Working at GUT, he received PhD in 2000 and DSc in 2009. Between 2001 and 2004 Post Doctoral Fellow at Missouri University of Science and Technology, while between 2008 and 2010 an Assistant Research Professor. Currently is an Associate Professor at Gdansk University of Technology working in the field of electronics, biomedical...
-
Jak zorganizować stanowisko pracy od strony formalnej? (cz.2)
PublicationW artykule omówione zostały zasady sporządzania karty opisu stanowiska pracy.
-
Formalno-prawne uwarunkowania rozwoju mieszkalnictwa w Polsce w aspekcie eksploatacji mieszkalnych jednistek pływających
PublicationArtykuł zawiera analizę sytuacji prawnej obiektów jakimi są Domy Na Wodzie oraz konsekwencji jakie powodują dla właścicieli aktualne zapisy najważniejszych Ustaw z nimi związanych tzn.: ustawy Prawo budowlane, ustawy o gospodarce nieruchomościami, Kodeksu cywilnego oraz Prawa wodnego. W pracy opisano światowe trendy osadnictwa na wodzie i porównano do sytuacji mieszkalnictwa na wodzie w Polsce. Na podstawie doświadczeń innych krajów...
-
The ancient formula of master-apprentice relevance in contemporary architecture education.
PublicationThe universalization of the methodology for determining the quality of European higher education exposes the aspect of supporting the student in the education process, which takes the form of tutoring or supervising - a modern form of ancient master-apprentice relationship. The 'master' in architectural education has lawful building qualification and is a member in national architect association - a sine qua non with respect to...
-
Mazur-Orlicz theorem and asymptotic formula for the error in supreme norm.
PublicationObliczono formułę asymptotyczną błędu interpolacji dla normy supremum.
-
Seiberg-Witten invariants the topological degree and wall crossing formula
PublicationFollowing S. Bauer and M. Furuta we investigate finite dimensional approximations of a monopole map in the case b 1 = 0. We define a certain topological degree which is exactly equal to the Seiberg-Witten invariant. Using homotopy invariance of the topological degree a simple proof of the wall crossing formula is derived.
-
Systemy zarządzania i ich certyfikacja w przedsiębiorstwach spożywczych
PublicationW opracowaniu ukazano rolę obligatoryjnych systemów jakości odpowiedzialnych za bezpieczeństwo żywności z punktu widzenia przedsiębiorcy. W pracy omówiono wybrane systemy (GMP/GHP, HACCP) oraz certyfikację systemu HACCP obowiązującą normą ISO 22000. Przedstawiono również liczbę certyfikacji Systemu Zarządzania Bezpieczeństwem Żywności – Wymagania dla organizacji w całym łańcuchu żywnościowym w latach 2007-2011 w Polsce i na świecie,...
-
Wspomagana komputerowo weryfikacja określonego poziomu nienaruszalności bezpieczeństwa sil z wykorzystaniem autorskiej aplikacji ProSIL
PublicationW referacie przedstawiono oprogramowanie Pro SIL wspomagające zarządzanie bezpieczeństwem funkcjonalnym. Program ProSIL składa się z trzech modułów wspomagających: określanie wymaganego poziomu SIL (moduł ProSILen) weryfikację SIL (moduł ProSILer) oraz przeprowadzenie analizy warstw zabezpieczeń metodą LOPA. W aplikacji ProSIL zaimplementowano opracowaną w trakcie badań metodykę analizy bezpieczeństwa funkcjonalnego w projektowaniu...
-
Verification of multiband system for non-contact emissivity measurements
PublicationW pracy przeprowadzono weryfikację wielopasmowej pasywnej metody pomiaru emisyjności obiektu na drodze eksperymentalnej. W oparciu o zrealizowane stanowisko pomiarowe dokonano pomiarów emisyjności wybranych obiektów. Uzyskano dobrą zgodność wyników pomiarów z wynikami wcześniejszej komputerowej analizy systemu. Potwierdziło to przydatność wielopasmowej metody do pomiaru emisyjności w warunkach roboczych.
-
Przyczyny i kierunki weryfikacji "Katalogu typowych konstrukcji nawierzchni podatnych i półsztywnych"
PublicationW artykule przedstawiono przegląd przyczyn i kierunków weryfikacji obecnego "Katalogu typowych konstrukcji nawierzchni podatnych i półsztywnych" z 1997 roku, której celem jest wyeliminowanie niedostatków obecnego Katalogu. Główne kierunki weryfikacji Katalogu, którą realizuję zespół Politechniki Gdańskiej to dostosowanie Katalogu do: (1) obecnych technologii i materiałów, (2) obecnych sposobów wzmacniania podłoży drogowych, (3)...
-
Środowisko testowe i symulacyjne do weryfikacji bezpieczeństwa kooperacyjnego w sieciach bezprzewodowych
PublicationWraz z rozwojem bezprzewodowych sieci komputerowych rośnie potrzeba zapewnienia zadowalającego poziomu bezpieczeństwa ich unkcjonowania. Potrzeba taka istniała już w przypadku klasycznych sieci przewodowych, lecz środowisko sieci bezprzewodowej okazuje się szczególnie podatne na różnorodne zagrożenia, poczynając od atakówtypu DoS, poprzez zagrożenia poufności i integralności danych oraz manipulację informacją o tożsamości użytkowników,...
-
Termowizja jako narzędzie weryfikacji stanu elementów ochronnych SMD podczas badań udarowych
PublicationPrzedstawiono wyniki badań przyrostów temperatury rejestrowanych za pomocą kamery termowizyjnej ochronnych elementów SMD podczas wykonywania badań odporności na udary napięciowe wykonywane wg normy EN61000-4-5 dla różnych poziomów sprzężeń impedancyjnych
-
Termowizja jako narzędzie weryfikacji stanu elementów ochronnych SMD podczas badań udarowych
PublicationPrzedstawiono wyniki badań przyrostów temperatury rejestrowanych za pomocą kamery termowizyjnej ochronnych elementów SMD podczas wykonywania badań odporności na udary napięciowe wykonywane wg normy EN61000-4-5 dla różnych poziomów sprzężeń impedancyjnych
-
On a systematic perspective on risk for formal safety assessment (FSA)
Publication -
Set of experience : a knowledge structure for formal decision events
PublicationOmówiono strukturę wiedzy w obszarze formalnych zadań decyzyjnych. Zaproponowano zbiór doświadczeń jako podstawę tej struktury.
-
Ocena stanu technicznego młyna rurowego średnicy 3,4m i długości 13.5m oraz weryfikacja wprowadzonych zmian
PublicationPrzeprowadzono obszerną analizę wytrzymałościową młyna do mielenia cementu. Opracowano własną metodykę symulowania działania obciążenia. Wyznaczono obszary największych naprężeń. Opracowano zalecenia zmiany geometrii młyna.
-
Eksperymentalna weryfikacja przydatności wybranych parametrów standardu MPEG-7 w procesie klasyfikacji dźwięków instrumentów muzycznych
PublicationObecnie stosowane metody wyszukiwania informacji muzycznej w internecie bazują na parametrycznym opisie zawartości danych multimedialnych. W standardzie MPEG-7 w części dotyczącej sygnałów fonicznych zawarto opis oparty w dużej mierze o analizę widmową, przy czym dla dźwięków muzycznych parametryzowane jest widmo FFT fragmentu stanu quasi-ustalonego.
-
Weryfikacja systemu dopasowania protez słuchu w oparciu o badanie percepcji sygnału mowy w szumie
PublicationWiększość systemów dopasowania protez słuchu koncentruje się na poprawie zrozumiałości mowy. Problem dopasowania protez słuchu może w uproszczeniu być przedstawiony jako problem dopasowania szerokiej dynamiki sygnału mowy do zawężonej dynamiki uszkodzonego słuchu. Głównym celem badań było przetestowanie opracowanego systemu oraz sprawdzenie w jakim stopniu zaimplementowany moduł wirtualnej protezy słuchu może poprawić zrozumiałość...
-
Speech formant frequency and pitch estimation using instantaneous complex frequency
PublicationW pracy opisany został algorytm estymacji częstotliwości podstawowej oraz częstotliwości środkowych i pasm formantów mowy z wykorzystaniem zespolonej pulsacji chwilowej. W artykule przedstawiono również wyniki działania algorytmu dla polskich samogłosek.
-
Certyfikacja wielokryterialna jako narzędzie kształtowania wysokiej jakości przestrzeni miejskiej
PublicationCelem tego artykułu jest omówienie systemów certyfikacji wielokryterialnej - zarówno narzędzi służących ocenie pojedynczych budynków, jak i zespołów zabudowy. Przeanalizowano rolę systemów certyfikacji oraz innowacyjnych technologii jako sposobu redukcji zużycia energii i osiągania wysokiej jakości energetycznej środowiska zbudowanego.