Filtry
wszystkich: 3447
-
Katalog
- Publikacje 2843 wyników po odfiltrowaniu
- Czasopisma 10 wyników po odfiltrowaniu
- Konferencje 24 wyników po odfiltrowaniu
- Wydawnictwa 1 wyników po odfiltrowaniu
- Osoby 114 wyników po odfiltrowaniu
- Wynalazki 1 wyników po odfiltrowaniu
- Projekty 4 wyników po odfiltrowaniu
- Laboratoria 2 wyników po odfiltrowaniu
- Zespoły Badawcze 2 wyników po odfiltrowaniu
- Aparatura Badawcza 1 wyników po odfiltrowaniu
- Kursy Online 95 wyników po odfiltrowaniu
- Wydarzenia 28 wyników po odfiltrowaniu
- Dane Badawcze 322 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: FORMALNE PROCEDURY
-
Application of 3D Whole Body Scanning in Research on Human Body Surface Area
PublikacjaHuman body surface area (BSA) is one of the major parameters used in several medical fields. Its heterogeneity caused by individual human characteristics sustains a many-decades-long research on the matter. Today’s technology allows to create exact body models in mere seconds. However, an extensive research that includes scanning people with major disfigurements or people suffering from diseases, which often prevent their mobility,...
-
Statistical analysis of pressuremeter tests for the north transversal tunnel in Grenoble
PublikacjaInterpretacja 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
PublikacjaZaprezentowano 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.
PublikacjaOd 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ń...
-
Paweł Tysiąc dr inż.
Osobydr inż. Paweł Tysiąc Urodził się 25 marca 1992 w Gdańsku. Po ukończeniu Gimnazjum nr 32 uczęszczał do VIII Liceum Ogólnokształcącego im. Komisji Edukacji Narodowej w Gdańsku, klasy o profilu matematyczno-geograficznym, uzyskując w 2011 roku świadectwo dojrzałości. Następnie w latach 2011-2016 kontynuował naukę na Wydziale Inżynierii Lądowej i Środowiska Politechniki Gdańskiej. Ukończył studia I stopnia w specjalności Geodezja...
-
Recent Developments in the Synthesis of Unsymmetrical Disulfanes (Disulfides). A Review
PublikacjaThe 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.
PublikacjaWykorzystują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....
-
Roof over PGE Arena in Gdansk. Review of structure and monitoring system
PublikacjaThis 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
PublikacjaKonfrontowanie 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
PublikacjaA 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
PublikacjaProblemy 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
PublikacjaIn 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...
-
Application of hybrid finite-difference mode-matching method to analysis of structures loaded with axially-symmetrical posts
PublikacjaW 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
PublikacjaPestycydy 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...
-
Scattering by parallel cylindrical posts with conducting strips.
PublikacjaRozwinię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...
-
An integrated framework for security protocol analysis
PublikacjaAssurance 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
PublikacjaDlaczego 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
PublikacjaRozdział 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
PublikacjaRozdział 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
PublikacjaArtykuł 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.
PublikacjaArtykuł 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
PublikacjaA 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
PublikacjaW 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.
PublikacjaW 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
PublikacjaProblemy 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
PublikacjaW 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
PublikacjaAnaliza 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
Publikacja -
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.
Publikacjapublikacja 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
PublikacjaPraca 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)
PublikacjaKrzysztof 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)
PublikacjaKrzysztof 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
Konferencje -
Integrated Formal Methods
Konferencje -
Formal Methods Pacific
Konferencje -
Rola związków znaczonych izotopowo w analityce środowiskowej
PublikacjaKaż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...
-
Wykorzystanie techniki ekstrakcji do fazy stałej w procedurach przygotowania próbek do analizy chromatograficznej
PublikacjaKaż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])
Konferencje -
A diagnosis method of analog parts of mixed-signal systems controlled by microcontrollers.
PublikacjaPrzedstawiono 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
Kursy OnlineWykł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
PublikacjaA 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
PublikacjaW 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
PublikacjaThis 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
PublikacjaThe 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
PublikacjaW 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
PublikacjaArtykuł 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.
PublikacjaW 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
PublikacjaPraca 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
Dane BadawczeDataset 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
PublikacjaMeticulous 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...