Filtry
wszystkich: 1654
-
Katalog
- Publikacje 1413 wyników po odfiltrowaniu
- Czasopisma 3 wyników po odfiltrowaniu
- Konferencje 24 wyników po odfiltrowaniu
- Osoby 50 wyników po odfiltrowaniu
- Wynalazki 11 wyników po odfiltrowaniu
- Projekty 10 wyników po odfiltrowaniu
- Laboratoria 1 wyników po odfiltrowaniu
- Zespoły Badawcze 2 wyników po odfiltrowaniu
- Kursy Online 58 wyników po odfiltrowaniu
- Wydarzenia 25 wyników po odfiltrowaniu
- Dane Badawcze 57 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: WERYFIKACJA FORMALNA
-
R/EXAMS JAKO WSPARCIE W WERYFIKACJI WIEDZY STUDENTÓW
PublikacjaPrzydatność 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
PublikacjaCyfrowe 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.
-
Eksploatacja obiektu budowlanego weryfikacją prac projektowych i wykonawczych
PublikacjaW referacie opisano w jaki sposób zwiększone oddziaływania środowiskowe występujące w okresie zimowym przyczyniły się do powstania uszkodzeń konstrukcji nośnej obiektów budowlanych.
-
Analizator do weryfikacji składu mieszanin gazowych dla nurków
PublikacjaW 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...
-
Certyfikacja przyszłością amerykańskiego inżyniera konstruktora budowlanego
PublikacjaArtykuł 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.
-
Weryfikacja skuteczności metod statystycznych w prognozowaniu upadłości firm na próbie niezbilansowanej
PublikacjaW 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...
-
Weryfikacja założeń do badań sonarowych oraz pomiary testowe w basenie portowym
Publikacja.
-
Eksperymentalna weryfikacja procedury szacowania wytrzymałości młodego betonu wg normy ASTM C1074
PublikacjaW 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...
-
Analityczna weryfikacja dokładności komercyjnych programów komputerowych wspomagających projektowanie układów geometrycznych toru
PublikacjaW 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
PublikacjaW 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 wybranych korelacji dla przepływu podczas kondensacji w minikanałach i mikrokanałach
Publikacja -
Weryfikacja parametru K rozkładu Rice'a dla środowiska miejskiego w paśmie UHF
PublikacjaReferat 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.
-
DBpedia As a Formal Knowledge Base – An Evaluation
PublikacjaDBpedia 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.
-
Formalna metoda oceny bezpieczeństwa statków w stanie uszkodzonym na podstawie analizy przyczyn i skutków wypadków
PublikacjaW 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...
-
Wykorzystanie rejestracji przebiegów szybkozmiennych do weryfikacji modeli dynamicznych KSE
PublikacjaW 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
PublikacjaW 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.
PublikacjaW 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
-
Heterogeniczne środowisko testowe na potrzeby weryfikacji mechanizmów systemu netBaltic
PublikacjaPrzedstawiono 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
PublikacjaW 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...
-
Rozkład logarytmiczno-normalny a względne i absolutne miary rozproszenia.
PublikacjaW artykule przedstawiono rozważania dotyczące miar rozproszenia zmiennej losowej, która charakteryzuje się rozkładem logarytmiczno- normalnym.
-
Standaryzacja i certyfikacja degradacji środowiskowej tworzyw sztucznych
PublikacjaDegradują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...
-
On the use of instantaneous complex frequency for pitch and formant tracking.
PublikacjaW 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
PublikacjaLet 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.
-
WERYFIKACJA KONCEPCJI PRZEGUBÓW PLASTYCZNYCH PROJEKTOWANYCH NA ODZIAŁYWANIA SEJSMICZNE WIADUKTU V6 OBWODNICY ISTAMBUŁU
PublikacjaW 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...
-
Obliczeniowa weryfikacja pewności ruchowej hydrodynamicznych łożysk wzdłużnych na przykładzie elektrowni wodnej Dychów
PublikacjaW 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
Publikacja -
Formal Institutions: the Source of Unproductive Entrepreneurship in Poland
PublikacjaThe 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...
-
Piotr Jasiński prof. dr hab. inż.
OsobyPiotr 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...
-
Procedura weryfikacji stanu technicznego urządzeń dźwignicowych na przykładzie żurawi portowych.
PublikacjaOmó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.
-
Wytwarzanie architektury korporacyjnej środowiskiem weryfikacji struktur baz wiedzy systemu wieloagentowego
PublikacjaRozdział 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...
-
Jak zorganizować stanowisko pracy od strony formalnej? (cz.2)
PublikacjaW 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
PublikacjaArtykuł 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...
-
Systemy zarządzania i ich certyfikacja w przedsiębiorstwach spożywczych
PublikacjaW 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
PublikacjaW 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...
-
Mazur-Orlicz theorem and asymptotic formula for the error in supreme norm.
PublikacjaObliczono formułę asymptotyczną błędu interpolacji dla normy supremum.
-
The ancient formula of master-apprentice relevance in contemporary architecture education.
PublikacjaThe 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...
-
Seiberg-Witten invariants the topological degree and wall crossing formula
PublikacjaFollowing 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.
-
Verification of multiband system for non-contact emissivity measurements
PublikacjaW 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"
PublikacjaW 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)...
-
Termowizja jako narzędzie weryfikacji stanu elementów ochronnych SMD podczas badań udarowych
PublikacjaPrzedstawiono 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
-
Środowisko testowe i symulacyjne do weryfikacji bezpieczeństwa kooperacyjnego w sieciach bezprzewodowych
PublikacjaWraz 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
PublikacjaPrzedstawiono 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)
Publikacja -
Set of experience : a knowledge structure for formal decision events
PublikacjaOmówiono strukturę wiedzy w obszarze formalnych zadań decyzyjnych. Zaproponowano zbiór doświadczeń jako podstawę tej struktury.
-
Eksperymentalna weryfikacja przydatności wybranych parametrów standardu MPEG-7 w procesie klasyfikacji dźwięków instrumentów muzycznych
PublikacjaObecnie 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
PublikacjaWię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ść...
-
Ocena stanu technicznego młyna rurowego średnicy 3,4m i długości 13.5m oraz weryfikacja wprowadzonych zmian
PublikacjaPrzeprowadzono 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.
-
Certyfikacja wielokryterialna jako narzędzie kształtowania wysokiej jakości przestrzeni miejskiej
PublikacjaCelem 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.
-
Standarycja i certyfikacja degradacji środowiskowej tworzyw sztucznych, cz II
PublikacjaRozkład tworzyw sztucznych w środowisku jest złożonym procesem, którego przebieg w dużym stopniu zależy od rodzaju tworzywa sztucznego, jak również od warunków, na które tworzywo jest narażone. W niniejszej pracy przedstawiono usystematyzowany, aktualny stan szybko rosnących zasobów normatywnych w zakresie biodegradacji. Opracowanie to powstało na podstawie analizy danych różnych organów normalizacyjnych takich jak: Amerykańskie...
-
Speech formant frequency and pitch estimation using instantaneous complex frequency
PublikacjaW 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.