Filters
total: 3447
-
Catalog
- Publications 2843 available results
- Journals 10 available results
- Conferences 24 available results
- Publishing Houses 1 available results
- People 114 available results
- Inventions 1 available results
- Projects 4 available results
- Laboratories 2 available results
- Research Teams 2 available results
- Research Equipment 1 available results
- e-Learning Courses 95 available results
- Events 28 available results
- Open Research Data 322 available results
displaying 1000 best results Help
Search results for: FORMALNE PROCEDURY
-
Statistical analysis of pressuremeter tests for the north transversal tunnel in Grenoble
PublicationInterpretacja wyników badań presjometrycznych metodą statystyczną. Wartości charakterystyczne. Zastosowano rozkłady normalny, log-normalny, wykładniczy, Weybulla, Gamma, Chiz, Studenta i Pareto. Określono zmienność parametrów geotechnicznych zastosowanych do projektu tunelu i współczynnika bezpieczeństwa w czasie drążenia tunelu.
-
Analiza częstotliwościowa sprzężeń elektromagnetycznych w układach ścieżek mikroelektronicznego układu hybrydowego
PublicationZaprezentowano problematykę sprzężeń elektromagnetycznych pomiędzy układem ścieżek mikroelektronicznego układu hybrydowego. Przedstawiono aplikację metody operatorowej (w połączeniu z przekształceniem przez podobieństwo i przekształceniem Fouriera) do analizy procesu propagacji zakłóceń przewodzonych w dziedzinie częstotliwości. Przy wykorzystaniu opcji programowania strukturalnego w programie Mathcad, opracowano, uruchomiono i...
-
Metody ewaluacji kursów internetowych - przykłady projektów UE.
PublicationOd 1997 Centrum Edukacji Niestacjonarnej Politechniki Gdańskiej bierze udział w projektach UE, które dotyczą kształcenia na odległość. Nie wszystkie z tych projektów dają w efekcie wysokiej jakości produkty. Główna przyczyna tkwi w pomijaniu procedur jakości, które bądź w ogóle nie są brane pod uwagę, albo pojawiają się zbyt późno. W artykule zaproponowano procedury określające jakość kursów na odległość na przykładzie doświadczeń...
-
Joanna Kabrońska dr inż. arch.
PeoplePhD with honours: Forma architektoniczna jako droga realizacji idei biblioteki przyszłości (Form of Architectural Solutions as a Means of Implementing the idea of Libraries of the Future), 1994 IV International Biennale of Architecture in Cracow Prize winner, 1991 DAAD post-doctoral scholarship, Berlin, 2002 Author of publications on architecture, art and memory, including the monograph Architektura jako forma pamięci. Rola architektury...
-
Recent Developments in the Synthesis of Unsymmetrical Disulfanes (Disulfides). A Review
PublicationThe synthesis of unsymmetrical disulfanes is an important transformation in organic synthesis and medicinal chemistry. The current review is intended to summarize achievements in the synthesis of unsymmetrical disulfanes over the last decade (2004–2014).
-
Scattering in junction by posts consisting of a segment of conducting cy linder.
PublicationWykorzystując zmodyfikowaną procedurę iteracyjną i metodę dopasowania rodzajów opracowano teorię rozpraszania fali elektromagnetycznej w złączu falowodowym na obiektach będących wycinkami metalowego cylindra. W wyniku analizy uzyskano wielorodzajową macierz rozproszenia złącza falowodowego zawierającego opisywane elementy. Zarówno zmiana położenia jak i obrót elementu w złączu powoduje zmianę jego parametrów elektrycznych....
-
Paweł Tysiąc dr inż.
PeopleHe was born on March 25, 1992 in Gdańsk. After graduating from Junior High School No. 32, he attended the VIII Liceum Ogólnokształcące im. National Education Commission in Gdańsk, classes with a mathematical and geographical profile, obtaining a secondary school-leaving examination certificate in 2011. Then, in 2011-2016, he continued his studies at the Faculty of Civil and Environmental Engineering of the Gdańsk University of...
-
Roof over PGE Arena in Gdansk. Review of structure and monitoring system
PublicationThis paper presents general structural assumptions of the steel construction designed for a newfootball stadium to be built for UEFA Championship 2012 in the city of Gdańsk. The superstructureis founded directly on the modified abutment. The facade and the roof are collected from 82 steelgirders made of tube profiles. The girders are braced by circular beams and X tension rods. All thiscreates a quasi - dome covered by polycarbonate...
-
Cifrovaâ reprezentaciâ leksem russkogo âzyka
PublicationKonfrontowanie zasobów leksyki pokrewnych systemów języka etnicznego w celu określenia stopnia zbieżności przynależnych im homonimik wymaga stosowania wysublimowanych procedur językoznawczych mających na celu oszacowanie wspólnoty akustycznej zawartej w paralelnych parlacjach użytkowników owych języków. Ewidentne zróżnicowanie nawyków aktu artykulacji a zwłaszcza, co szczególnie istotne, nieświadomego procesu intelektualnej percepcji...
-
EIA in teaching sustainable development and environmental protection in engineering education
PublicationA multifaceted approach in teaching the environmental impact assessment (EIA) as a way to stress the role of environmental education in technical sciences is the focus of this article. The EIA is an example of an effective tool that supports spatial planning in implementing sustainable development. The aim is to present the idea and benefits of a facilitative and collaborative approach in teaching the EIA, stressing the role of...
-
Nowe oblicze melioracji i retencji w Polsce
PublicationProblemy związane z formalnie nieistniejącymi "melioracjami miejskimi". Nowe zadania, obowiązki i możliwości wprowadzone nowym prawem wodnym. Zadania gmin, potencjalne nowe możliwości przedsiębiorstwa "wodociągów i kanalizacji". Zagadnienia organizacyjne i ekonomiczne.
-
Buckling of frame braced by linear elastic springs
PublicationIn the design codes and specifications, simplifed formulae or diagrams are given for determining the buckling lengths of frame columns based on the ruling criterion of considering frames as sway or non sway. Due to the fact that, the code formulae utilize onlylocal stifness distributions, these formulae may yield in certain cases rather erroneous results. In most code formulas a case of weakly braced frames is usually not considered.In...
-
Scattering by parallel cylindrical posts with conducting strips.
PublicationRozwinięto teorię rozpraszania fali elektromagnetycznej w obszarach otwartych i zamkniętych na metalizowanych obiektach cylindrycznych przy użyciu zmodyfikowanej procedury iteracyjnej i metody dopasowania rodzajów. W wyniku analizy uzyskano pole rozproszone w przypadku struktur otwartych oraz odpowiedzi częstotliwościowe współczynników odbicia i transmisji w prostokątnych złączach falowodowych. Obrót i przemieszczenie opisywane...
-
Application of hybrid finite-difference mode-matching method to analysis of structures loaded with axially-symmetrical posts
PublicationW artykule przedstawiono nową metodę hybrydową do analizy układów falowodowych zawierających dowolne konfiguracje obiektów osiowo-symetrycznych. Metoda oparta jest na połączeniu metody różnic skończonych, metody dopasowania rodzajów oraz iteracyjnej procedury rozpraszania. W pracy przedstawiono badania zbieżności metody. Uzyskane wyniki numeryczne porównano z wynikami odniesienia. Duża zgodność wyników potwierdziła poprawność opracowanego...
-
Przegląd metod oznaczania pestycydów i PCB w żywności. Methods of determination of pesticides and PCB´s in food - review
PublicationPestycydy i PCB występują w różnych elementach środowiska w dość małych stężeniach, ale związki te ulegają kumulacji i stąd są bardzo niebezpieczne dla zdrowia i życia ludzi i zwierząt. Różnorodność matryc i właściwości fizyko-chemicznych tych związków wymaga stosowania wielu metod przygotowania próbek do analizy i oznaczania. Procedura analityczna składa się z kolejnych bardzo ważnych etapów: pobrania i przygotowania próbki do...
-
An integrated framework for security protocol analysis
PublicationAssurance of security protocols needs particular attention. Flaws in a protocol can devastate security of the applications that rely on it. Analysis of the protocols is difficult and it is recommended that formal methods are employed to provide for higher levels of assurance. However, the formal methods can cover only a part of the scope of the problem. It is important that the formal models are valid representations of the protocol...
-
Local Development Strategies in Shaping Rural Landscape
PublicationDlaczego krajobraz kulturowy wsi jako zintegrowana całość wymyka się procedurom planistycznym i zarządzaniu? Dlaczego praktyka życia społecznego w dziedzinie gospodarowania przestrzenią na terenach wiejskich przeciwstawia się i zaprzecza równie powszechnie deklarowanej intencji kształtowania harmonijnego krajobrazu?Profesjonalne diagnozy kryzysu krajobrazu kulturowego wsi koncentrują się zwyczajowo na nieskuteczności, często rzeczywiście...
-
Państwowy zasób geodezyjny i kartograficzny
PublicationRozdział poświęcony państwowemu zasobowi geodezyjnemu i kartograficznemu. Przedstawia zasady formalno-prawne jego funkcjonowania we współczesnym świecie. Rozdział w kontekście monografii podaje zasady na poziomie masowego użytkownika zasobu geodezyjnego i kartograficznego.
-
Państwowy zasób geodezyjny i kartograficzny
PublicationRozdział poświęcony państwowemu zasobowi geodezyjnemu i kartograficznemu. Przedstawia zasady formalno-prawne jego funkcjonowania we współczesnym świecie. Rozdział w kontekście monografii podaje zasady na poziomie masowego użytkownika zasobu geodezyjnego i kartograficznego.
-
Wpływ niszczącego oddziaływania wody i mrozu na trwałość zmęczeniową betonu asfaltowego
PublicationArtykuł przedstawia badania zmęczeniowe betonu asfaltowego poddanego niszczącemu oddziaływaniu wody i mrozu. Laboratoryjną symulację oddziaływania wody i mrozu oparto na oryginalnej i zmodyfikowanej procedurze normy AASHTO T283. Modyfikacja procedury polegała na wprowadzeniu zamiast 1 cyklu zamrażania i odmrażania 50 i 150 cykli. Badania zmęczeniowe betonu asfaltowego wykonano w aparacie NAT w schemacie pośredniego rozciągania....
-
Krajobraz wyznacznikiem skuteczności ocen środowiskowych.
PublicationArtykuł omawia rolę oceny oddziaływania na krajobraz i aspekty wizualne w podnoszeniu efektywności systemu OOS. Ocena dotychczasowych sposobów ochrony krajobrazu, mało skutecznych z powodu traktowania go w procedurze OOS jako wyizolowanego komponentu środowiska, oraz bagatelizowania jego znaczenia,stała się punktem wyjścia do zaprezentowania koncepcji wzmocnienia roli ocen krajobrazowych za pomocą badania sąsiedztwa funkcji,...
-
Novel fast analytical method for indirect determination of MCPD fatty acid esters in edible oils and fats based on simultaneous extraction and derivatization
PublicationA novel method for indirect determination of MCPD esters levels in lipid samples has been developed. The method is based on combination of extraction and derivatisation in the same sample preparation step. It is achieved by the application of diethyl ether as extraction solvent for isolation of released from esterified forms analytes from water phase and dilution solvent for solid PBA – derivatisation agent. It is a noteworthy...
-
Non-quadratic quality criteria in parameter estimation of continuous-time models
PublicationW pracy wykorzystuje się procedury estymacji parametrycznej do identyfikacji modeli z czasem ciągłym. Rozważane algorytmy minimalizują wskaźnik jakości w postaci sumy lub całki wartości bezwzględnej błędu predykcji. Zastosowanie techniki zmiennych instrumentalnych umożliwia ponadto znaczące polepszenie dokładności ocen parametrów, a wprowadzony do w procedur estymacji mechanizm ważenia błędów predykcji pozwala identyfikować modele...
-
Problemy gospodarki przestrzennej w Parku Narodowym ''Bory Tucholskie'' i w jego otoczeniu.
PublicationW artykule omówiono problemy gospodarki przestrzennej w następujących ujęciach formalno-terytorialnych: Park Narodowy ''Bory Tucholskie''; otulina parku narodowego; Zaborski Park Krajobrazowy; jednostki samorządu terytorialnego (gminy i powiat); rezerwat biosfery ''Bory Tucholskie''.
-
Posadowienie obiektu liniowego
PublicationProblemy posadowienia obiektu liniowego w warunkach zmiennych (na długości i głębokości) stosunków gruntowo -wodnych, konsekwencje błędnych decyzji. Posadowienie praktycznie dominuje jako przyczyna awarii. Wymagania formalne w zakresie opracowania warunków posadowienia. Konieczność zwiększenia wymagań formalnych na skutek powszechnego lekceważenia prawa. Warunki gruntowe oraz kategorie geotechniczne obiektów. Zasady kwalifikacji...
-
Leksykograficzna polioptymalizacja w zadaniu wyrównoważania sferycznego wieloboku przegubowego
PublicationW pracy zajęto się problemem wyrównoważania sferycznego czworoboku przegubowego. W tym celu skorzystano z metody alokacji przeciwmas. Zadanie to wymagalo połączenia procedur dynamiki układów wielomasowych z procedurą optymalizacji. Zadanie to wykonano i opisano w pracy. W procesie optymalizacji skorzystano z metody sympleksów. Wykazano, że po wprowadzeniu do ukłądu dwóch przeciwmas uzyskano pełną eliminację siły niewyrównoważenia....
-
Przede wszystkim rachunek ekonomiczny. Wnioski o dofinansowaniu ze środków unijnych
PublicationAnaliza dokumentacji związanych z inwestycjami. Spójność dokumentacji, formalna zgodność z programami, strona ekonomiczna. Wykazano dyskwalifikujące braki w zakresie dokumentacji projektowej oraz kosztorysowej. Brak liczenia się ze stroną ekonomiczną inwestycji komunalnych oraz eksploatacją.
-
Alternative shaper: a model for automatic design generation
Publication -
Trzy historyczne miejsca kultu - włączone-wyłączone a przestrzeń miasta Gdańska = Three historic sities for religious cult - included-excluded in the space of the city of Gdansk.
Publicationpublikacja przedstwia historię 3 wybranych świątyń w gdańsku, które zmieniały obrządek oraz ich deklaratywną rolę we współczesnym mieście wynikajacą z potrzeb i możliwości obrządku oraz lokalizacji.trzy obiekty to: cerkiew prawosławna ul. traugutta w gdańsku-wrzeszczu,synagoga w gdańsku-wrzeszczu, kośiół-cerkiew unicka w gdańsku głównym. autor zwraca uwagę na wartości zarówno formalne jak i duchowe oraz związki nieformalne.
-
Współczesne cykle wytwarzania oprogramowania
PublicationPraca omawia inne stosowane współcześnie cykle wytwórcze. Do dyskusji wybra-ne zostały modele, których wykorzystanie przynosi satysfakcjonujące rezulta-ty (wytwarzanie obiektowe, ponowne użycie oprogramowania z wykorzystaniemkomponentów i wzorców, ponowna inżynieria systemów), podejścia, których sto-sowanie nie jest oceniane jednoznacznie (jak to ma miejsce w wypadku metody-ki SSM Checklanda) oraz modele uważane, obok wymienionych,...
-
Grimm Grass 1 (Słówka Grimmów)
PublicationKrzysztof Wróblewski | Eksperyment: Ekslibris - ekslibris do powieści „Słówka Grimmów” Güntera Grassa LINK DO PREZENTACJI EKSLIBRISU → https://youtu.be/823ryLQzxas W swoim ekslibrisie Krzysztof Wróblewski sięgnął po technikę graficzną linorytu. Dzięki niej artysta osiągnął efekt powtarzalnego, dynamicznego znaku-plamy, który stanowi kwintesencję wypowiedzi z pogranicza sztuk wizualnych i literatury. Zainspirowany poezją konkretną,...
-
Grimm Grass 2 (Słówka Grimmów)
PublicationKrzysztof Wróblewski | Eksperyment: Ekslibris - ekslibris do powieści „Słówka Grimmów” Güntera Grassa LINK DO PREZENTACJI EKSLIBRISU → https://youtu.be/823ryLQzxas W swoim ekslibrisie Krzysztof Wróblewski sięgnął po technikę graficzną linorytu. Dzięki niej artysta osiągnął efekt powtarzalnego, dynamicznego znaku-plamy, który stanowi kwintesencję wypowiedzi z pogranicza sztuk wizualnych i literatury. Zainspirowany poezją konkretną,...
-
Formal and Computational Cryptography
Conferences -
Integrated Formal Methods
Conferences -
Formal Methods Pacific
Conferences -
Wykorzystanie techniki ekstrakcji do fazy stałej w procedurach przygotowania próbek do analizy chromatograficznej
PublicationKażdą procedurę analityczną można potraktować jako łańcuch złożony z ogniw, które obrazują poszczególne czynności i operacje. Zgodnie ze znanym przysłowiem, które mówi, że ''Łańcuch jest tak mocny jak jego najsłabsze ogniwo'', także i w przypadku procedur analitycznych szczególną uwagę należy zwrócić na te czynności i operacje (wykonywane zarówno w terenie, czyli in situ, jak i w laboratorium), które wymagają szczególnej troski...
-
Rola związków znaczonych izotopowo w analityce środowiskowej
PublicationKażdą procedurę analityczną można potraktować jako łańcuch złożony z ogniw, które obrazują poszczególne czynności i operacje. Zgodnie ze znanym przysłowiem, które mówi, że ''Łańcuch jest tak mocny jak jego najsłabsze ogniwo'', także i w przypadku procedur analitycznych szczególną uwagę należy zwrócić na te czynności i operacje (wykonywane zarówno w terenie, czyli in situ, jak i w laboratorium), które wymagają szczególnej troski...
-
International Symposium on Formal Methods (Formal Methods Europe [FME])
Conferences -
A diagnosis method of analog parts of mixed-signal systems controlled by microcontrollers.
PublicationPrzedstawiono nową klasę K-D metod diagnostyki analogowych części mieszanych sygnałowo mikrosystemów bazujących na mikrokontrolerach. Metody składają się z trzech etapów: etapu przedtestowego tworzenia słownika uszkodzeń, etapu pomiarowego bazujacego na pomiarach próbek napięcia odpowiedzi układu analogowego na pobudzenie impulsem prostokątnym wykonywanych przez wewnętrzne zasoby mikrokontrolera i z etapu detekcji i lokalizacji...
-
Biomimetics in Fluid Mechanics with practical application using CFD, S-30, WIMiO, Energetyka, II st., sem. 03, stacjonarne, (PG_00060130), semestr letni 2022/2023
e-Learning CoursesWykład wprowadza do procesu biomimetycznego, systematycznej procedury mającej na celu wykorzystania w technice rozwiązań z natury. Szczególny nacisk położony jest na zastosowania w mechanice płynów.
-
IR-THERMAL IMAGING IN CARDIOSURGERY
PublicationA method for monitoring the state of the myocardium during cardiosurgical interventions based on thermal IR imaging is presented. These methods called Static Thermography and Active Dynamic Thermography (ADT) uses information about distribution of temperature on the surface and an external excitation source to induce thermal transient processes in a tested object. Recording time series of thermograms allows to calculate parametric...
-
CP2015 – zmodyfikowana metodyka przewidywania hałasu powstającego na parkingach, stacjach paliw, MOP-ach i punktach poboru opłat
PublicationW przypadku przedsięwzięć „mogących zawsze lub potencjalnie znacząco oddziaływać na środowisko” pierwszą decyzją, którą należy uzyskać w ramach procedury inwestycyjnej, jest decyzja o środowiskowych uwarunkowaniach (w skrócie: decyzja środowiskowa, DŚU). Procedura związana z uzyskaniem DŚU została opisana w Ustawie z 3 października 2008 r. o udostępnianiu informacji o środowisku i jego ochronie, udziale społeczeństwa w ochronie...
-
Review of Methods for Diagnosing the Degradation Process in Power Units Cooperating with Renewable Energy Sources Using Artificial Intelligence
PublicationThis work is based on a literature review (191). It mainly refers to two diagnostic methods based on artificial intelligence. This review presents new possibilities for using genetic algorithms (GAs) for diagnostic purposes in power plants transitioning to cooperation with renewable energy sources (RESs). The genetic method is rarely used directly in the modeling of thermal-flow analysis. However, this assignment proves that the...
-
Smooth least absolute deviation estimators for outlier-proof identification
PublicationThe paper proposes to identify the parameters of linear dynamic models based on the original implementation of least absolute deviation estimators. It is known that the object estimation procedures synthesized in the sense of the least sum of absolute prediction errors are particularly resistant to occasional outliers and gaps in the analyzed system data series, while the classical least squares procedure unfortunately becomes...
-
Zarządzanie bezpieczeństwem w złożonych obiektach i instalacjach krytycznych
PublicationW rozdziale scharakteryzowano wybrane metody wspomagające zarządzanie bezpieczeństwem w systemach technicznych, w tym metodę RCM (reliability-centered maintenance) polegającą na proaktywnej obsłudze, której celem jest nie dopuszczać lub przynajmniej ograniczać skutki potencjalnych uszkodzeń oraz metodę RBM (risk-based maintanance) i procedurę RIMAP (risk-based inspection and maintanance procedures) stosowaną w zarządzaniu bezpieczeństwem...
-
Confronting representative spectral structures of vocal tract pulse responses
PublicationArtykuł niniejszy jest kolejnym w cyklu prac publikowanych na łamach Materiałów OSA, które poświęcono problemowi klasyfikacji formalnej leksemów odmiennych języków.W pracy omówiono metody i rezultaty automatycznego kwalifikowania wybranych leksemów trzech systemów języka na podstawie konfrontowania ich cyfrowych reprezantacji.
-
Pozyskiwanie wiedzy dla zarządzania przepływem informacji.
PublicationW pracy scharakteryzowano problemy formalnego (ilościowego) i miękkiego (jakościowego) modelowanie przepływu informacji w systemach autonomicznych.
-
A risk-based method for ship safety assessment at the preliminary designstage
PublicationPraca zawiera wyniki badań dotyczących opracowania metody do analizy bezpieczeństwa statku w warunkach krytycznych. Metoda oparta jest na podejściu systemowym do oceny bezpieczeństwa, formalnej ocenie bezpieczeństwa FSA i hydromechanice okrętu. Podano przykłady oceny ryzyka utraty statku w warunkach krytycznych.
-
Clinical situations text database for Polish language
Open Research DataDataset contains a database of anonymized texts in Polish for the purposes of building a medical speech corpus, for clinical situations in the following areas: medical interview, interview and description of the result of an oncological examination, description of a radiological examination, description of a pathomorphological examination, description...
-
Rapid Antenna Optimization with Restricted Sensitivity Updates by Automated Dominant Direction Identification
PublicationMeticulous tuning of geometry parameters turns pivotal in improving performance of antenna systems. It is more and more often realized using formal optimization methods, which is demonstrably the most efficient way of handling multiple design variables, objectives, and constraints. Although in some cases a need for launching global search arises, a typical design scenario only requires local optimization, especially when a decent...