Filters
total: 3436
-
Catalog
- Publications 2833 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 321 available results
displaying 1000 best results Help
Search results for: FORMALNE PROCEDURY
-
Zastosowanie badań symulacyjnych w projektowaniu układów automatyki podsystemów energetycznych statków
PublicationPrzedstawiono strukturę i funkcje systemu informatycznego wspomagania projektowania układów automatyki statku. Szczególną uwagę zwrócono na funkcję oceny rozwiązań projektowych na podstawie prowadzonych badań symulacyjnych. Omówiono reprezentację wiedzy o projektowanym podsystemie energetycznym statku, dobór struktur modeli elementów składowych podsystemów umożliwiający zastosowanie reguł do budowy modeli symulacyjnych i reguły...
-
Oszacowanie kąta tarcia wewnętrznego piasków morskich na podstawie sondowań statycznych metodą CPTU
PublicationOszacowanie kąta tarcia wewnętrznego piasków na Wybrzeżu Bałtyku w gruntach normalnie skonsolidowanych i prekonsolidowanych, starych złożach i refulatach. Porównanie tych wartości z wynikami badań w aparacie trójosiowego ściskania.Dobór odpowiednich zależności korelacyjnych między wynikami badań laboratoryjnych i terenowych.
-
Workshop on Formal Techniques for Java-like Programs (Workshop on Formal Techniques for Java Programs [FTJP])
Conferences -
Programming languages 2021/22
e-Learning CoursesThe aim of the course is to present four basic programming models (procedural, object-oriented, functional and in logic) and to demonstrate their practical use in information systems.
-
Programming languages 2022/23
e-Learning CoursesThe aim of the course is to present four basic programming models (procedural, object-oriented, functional and in logic) and to demonstrate their practical use in information systems.
-
Programming languages 2023/24
e-Learning CoursesThe aim of the course is to present four basic programming models (procedural, object-oriented, functional and in logic) and to demonstrate their practical use in information systems.
-
Programming languages
e-Learning CoursesThe aim of the course is to present four basic programming models (procedural, object-oriented, functional and in logic) and to demonstrate their practical use in information systems.
-
Influence of the counterweight model on optimization of balancing of four-bar mechanism
PublicationPraca opisuje rozważania na temat wyrównoważania płaskiego czworoboku przegubowego. Do wyrównoważenia wykorzystano metodę alokacji przeciwmas. Zadanie to wymagało połączenia procedur analizy dynamiki układów wielomasowych z procedurą optymalizacji. W pracy umieszczono opis metody dynamiki układów wielomasowych. W procesie optymalizacji skorzystano z metody sympleksów. Opisano model analizowanego układu składający się z dwóch sekcji...
-
W sprawie prac kontrolno-pomiarowych.
PublicationOdpowiedź na list czytelnika w sprawie zakresu i procedury okresowej kontroli stanu instalacji, zwłaszcza stanu ochrony od porażeń.
-
Czynniki kształtujące środowisko pacjenta w szpitalu
PublicationSzpital jest miejscem szczególnym – z założenia przebywają w nim osoby, znajdujące się w sytuacji niekomfortowej. Możliwości adaptacji w nowym środowisku u osób chorych, osłabionych lub osób z niepełnosprawnościami są znacząco obniżone, a przecież szpital należy do budynków o najbardziej skomplikowanej strukturze funkcjonalno-przestrzennej. Stan emocjonalny pacjenta w środowisku szpitalnym jest uzależniony od relacji z lekarzami...
-
A compact smart resistive sensor based on a microcontroller
PublicationPrzedstawiono nowe rozwiązanie inteligentnego czujnika rezystancyjnego bazującego na mikrokontrolerze, w którym czujnik rezystancyjny jest elementem składowym filtra anty-aliazingowego przetwornika A/C. Procedura pomiaru temperatury obejmuje pobudzenie filtra dwoma impulsami prostokątnymi o zadanym czasie trwania oraz próbkowanie jego odpowiedzi czasowej. Następnie na podstawie wartości pomierzonych próbek napięcia wyznaczana jest...
-
Identyfikacja ryzyka projektu informatycznego na podstawie modelu procesu.
PublicationArtykuł prezentuje nowe systematyczne techniki identyfikacji ryzyka w projektach informatycznych wykorzystujące modele procesu projektowego. Jawne modelowanie rozważanego obszaru biznesowego umożliwia kontrolę zakresu identyfikacji i zapewnia kompletność analiz. W artykule przedstawiono szczegółowe procedury postępowania dla proponowanych technik, a następnie omówiono eksperyment, w którym zastosowano te procedury do identyfikacji...
-
passive spice networks from non-passive data
PublicationArtykuł przestawia technike generacji schematow zastepczych w formacie SPICE dla pasywnych układów mikrofalowych. Wynikowy schemat zastepczy ma zagwarantowana pasywnosc. Schematy zastepcze powstaja na podstawie symulacji lub pomiarow w dziedzinie czestotliwosci i moga byc wykorzystane do symulacji w dziedzinie czasu.
-
LongLife Zrównoważone, energooszczędne i chroniące zasoby budynki mieszkalne uwzględniające ujednolicone procedury oraz nowe zaadaptowane technologie
ProjectsProject realized in Faculty of Civil and Environmental Engineering according to #006 agreement from 2009-02-23
-
Kontrola jakości ograniczników przepięć w zakładach apator s.a.
PublicationW artykule omówiono etapy produkcji warystorów ZnO oraz procedury kontroli jakości ograniczników przepięć na przykładzie zakładów APATOR S.A. w Toruniu.
-
A systematic approach to selenium speciation in selenized yeast.
PublicationPrzedstawiono nowe zaawansowane metody specjacji selenu w drożdżach spożywczych. Zoptymizowano procedury analityczne dotyczące frakcjonowania i identyfikacji rozpuszczalnych w wodzie selenoprotein.
-
EKSPERTYZA TECHNICZNA WOZÓW WYCIĄGOWYCH NA POCHYLNIACH KANAŁU ELBLĄSKIEGO – DLA POCHYLNI BUCZYNIEC I JELENIE
PublicationGłównym celem wykonanej ekspertyzy było wykonanie oceny stanu technicznego wozów wyciągowych znajdujących się na pochylniach Buczyniec i Jelenie, wraz ze wskazaniem przyczyn ich nieprawidłowego funkcjonowania oraz sformułowaniem zaleceń dotyczących dalszej eksploatacji. W ramach wykonanej ekspertyzy przeanalizowano istniejącą dokumentację techniczną i formalną oraz wykonano trzy wizje lokalne na pochylni Buczyniec i dwie wizje...
-
Karol Grębowski dr inż.
PeopleKarol Grębowski (M.Sc.) works as an assistant at the Department of Technical Fundamentals of Architecture Design of the Faculty of Architecture at Gdansk University of Technology. His scientific research deals with dynamic phenomena occurring during the vibration of structures, bridges, and studies the design methodology of the elements forming passive protection system of the vehicles degraded by struck or explosion in the context...
-
Elektrownia Ostrołęka C w budowie a „momentum-FSI”
PublicationMimo przeszkód, trwa budowa elektrowni Ostrołęka C. O tym zapewniają nas główni decydenci – Jarosław Małkowski, Prezes Elektrowni Ostrołęka, czy Sławomir Żygowski, Prezes GE Power, firmy odpowiedzialnej projekt, wykonanie i budowę. Możemy o tym dowiedzieć się w mediach społecznościowych. Ale te same media informują również, że 31 lipca 2019 r. Sąd okręgowy w Poznaniu stwierdził nieważność uchwały Walnego Zebrania Akcjonariuszy...
-
Wzornictwo regionalne jako źródło inspiracji we współczesnym projektowaniu architektonicznym
PublicationKaszuby to region o wyjątkowym wzornictwie regionalnym. Ocalało wiele dobrze zachowanych przykładów zabudowy ruralistycznej i samych obiektów architektonicznych. Szczególną rolę pełni tu wdzydzki skansen stanowiący pełnowymiarowy wzornik inspirujący współczesnych twórców. Rozwiązania formalne oraz detale rzemieślnicze utrwalone tradycją zdobniczą i określoną topografią oraz zasobnością regionu, a także elementy dekoracyjne towarzyszące...
-
Zapewnienie jakości konstrukcji stalowych na wszystkich etapach przedsięwzięcia inwestycyjnego
PublicationOpisano warunki i z zasady oraz procedury normowe i prawne zapewniania jakości stalowych konstrukcji budowlanych na etapie projektowania, wytwarzania i montażu.
-
Filtry Gm-C czasu ciągłego - ogólna struktura i zastosowania w zagadnieniach analizy i projektowania
PublicationW pracy przedstawiono ogólny model filtrów Gm-C czasu ciągłego oraz jego opis macierzowy. Wykazano, że dowolny filtr aktywny tej klasy jest szczególnym przypadkiem zaprezentowanej struktury. Struktura ta jest szczególnie przydatna do analizy i projektowania filtrów Gm-C wysokiego rzędu, między innymi filtrów z wielopętlowym sprzężeniem zwrotnym takich jak Leap-Frog(LF) czy Follow-the-Leader (FLF). W pracy zaprezentowano szereg...
-
Anita Maria Dąbrowicz-Tlałka dr
PeopleAnita Dąbrowicz-Tlałka graduated from the Faculty of Mathematics and Physics at the University of Gdańsk with an outstanding grade, having written her thesis in the field of geometric topology. She concurrently obtained a diploma in Postgraduate Studies in the Basics of Computer Science at the University of Gdańsk. In 2001 she received a Ph.D. degree in mathematical studies at the Poznań University of Technology after defending...
-
Seminarium dyplomowe, S, Mtr, sem. 03, lato 21/22 (M:00039987)
e-Learning CoursesOgólne zasady wykonywania pracy magisterskiej.Dobór i wykorzystanie źródeł do pracy.Formalna strona pracy: poprawność języka, spis treści, spis literatury, odsyłacze.Zasady sporządzania prezentacji dotyczącej pracy magisterskiej.Zasady referowania głównych założeń i tez realizowanej pracy magisterskiej.
-
Development of SPME fiber coatings with tunable porosity for physical confinement of ionic liquids as an extraction media
PublicationExtending the use of ionic liquids in sample preparation techniques remains a challenge. This paper presents procedures enabling the easy application of ionic liquids to the SPME technique. For this purpose, two approaches for producing a porous silica coating on a metal rod were investigated. Two silica precursor and porogen systems were used in the research: K2SiO3 + Formamide and Tetramethyl-orthosilicate + Polyethylene oxide....
-
Certification of vehicles used for tire/road noise evaluation by CPX method
PublicationJednym ze sposobów oceny hałasu opon i nawierzchni drogowych jest metda CPX polegająca na pomiarze hałasu w polu bliskim miejsca współpracy opony z nawierzchnią. Aby uzyskać wysoką dokładność pomiarów niezbędne jest ustanowienie procedur ustanowienie procedur certyfikacyjnych sprzętu pomiarowego a więc głównie pojazdu badawczego. Praca dotyczy procedur certyfikacyjnych wypracowanych przez Grupę Roboczą WG33 ISO/TC43/SC1 oraz w...
-
Methane (CH4) calibration set of FTIR spectra
Open Research DataThe calibration spectra for CH4 concentration calibration were supplied with this dataset
-
Carbon (II) oxide (CO) calibration set of FTIR spectra
Open Research DataThe calibration spectra for CO concentration calibration were supplied with this dataset
-
Carbon dioxide (CO2) calibration set of FTIR spectra
Open Research DataThe calibration spectra for CO2 concentration calibration were supplied with this dataset
-
Wykorzystanie wiązań niekowalencyjnych do otrzymywania jedno- i dwuskładnikowych struktur supramolekularnych
PublicationPrzedstawiona rozprawa doktorska dotyczy badań nad wykorzystaniem oddziaływań międzycząsteczkowych do projektowania i syntezy uporządkowanych struktur krystalicznych, ze szczególnym uwzględnieniem wiązań halogenowych i chalkogenowych jako stosunkowo nowych i bardzo atrakcyjnych z punktu widzenia inżynierii kryształu. Praca podzielona jest na kilka części. Pierwsza z nich stanowi wstęp teoretyczny obejmujący opis, założenia oraz...
-
Koncepcja oszacowania zanieczyszczeń zawartych w spalinach silników o zapłonie samoczynnym
PublicationZaproponowano model procesu rozruchu silników o zapłonie samoczynnym, w formie procesu semimarkowskiego. Zaproponowano również możliwość uwzględnienia w badaniach ilości substancji szkodliwych, zawartych w spalinach masy substancji zanieczyszczonej, jako zmiennej losowej. W rozważaniach tych przyjęto, że statystyka tej zmiennej ma rozkład asymptotycznie normalny.
-
Ciepłownia geotermalna w Uniejowie na tle warunków hydrogeologicznych Polski
PublicationPrzeprowadzono szczegółowy przegląd warunków hydrogeologicznycb Polski, charakteryzując poszczególne obszary wartościami gęstości podpowierzchniowego strumienia ciepła i gradientu temperatury, a także podając ich powierzchnie i kubatury zawartych tam wód termalnych. Podano szczegółowy opis systemu grzewczego w uniwejowie, wykorzystującego lokalne wody termalne i wspomaganego pracą kotłów weodnych.
-
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,...
-
Skills mismatch in the context of technological change
PublicationThe main purpose of this dissertation is to assess the perception asymmetry of smart skills and formal education in ICT based economy. In other words, the goal of this research is to assess perceptions of smart skills and competences in the context of technological change from the perspectives of employers and students in Poland. Determining the fore-mentioned relationship gives insight into the hypothetical perception asymmetry...
-
An improved scalable method of isolating asphaltenes
PublicationA new, improved and scalable procedure of asphaltene fraction isolation is presented and compared to standard test methods. The new procedure uses 1:40 feedstock to solvent (n-heptane) ratio (g/mL), filtration through a cellulosic thimble and extensive washing in a Soxhlet type extractor. The group type composition and purity of the asphaltene fractions have been examined using thin-layer chromatography with flame-ionization detection....
-
The Optimal Spindle Speed Map for Reduction of Chatter Vibration During Milling of Bow Thruster Blade
PublicationW artykule przedstwiono przykład wykorzystania procedury tworzenia mapy optymalnych prędkosci obrotowych w celu ograniczenia drgań samowzbudnych podczas frezowania płata śruby okrętowego steru strumieniowego.
-
Assessment of tensile forces in Sopot Forest Opera membrane by in situ measurements and iterative numerical strategy for inverse problem
PublicationAssessment of tensile forces in newly build Sopot Forest Opera roofing membrane is presented. The procedure is based on in situ measurements and solution of the inverse problem by an iterative procedure. The goal of the analysis is to determine whether the stress state of the membrane is consistent with the design assumptions. The paper contains the description of measurements, used instruments, applied loadings, numerical investiga-tions...
-
Influence of wall temperature on heat transfer coefficient during R 22 boiling in microfin tube
PublicationPrzedstawiono wyniki badań współczynnika przejmowania ciepła i spadku ciśnienia podczas wrzenia czynnika R 22 w rurze nisko żebrowanej. Opisano stanowisko i procedurę badawczą. Zaobserwowano spadek współczynnika przejmowania. Opisano stanowisko i procedurę badawczą. Zaobserwowano spadek współczynnika przejmowania ciepła wraz ze wzrostem temperatury ścianki rury.
-
Lekkie Konstrukcje Metalowe mgr 2022/23 zima
e-Learning CoursesZajęcia obejmują zakres projektowania konstrukcji z elementów wykonanych z kształtowników giętych na zimno. Studenci poznają specyfikę projektowania zimno-giętych elementów na podstawie procedur zawartych w normie PN-EN 1993-1-3.
-
Wpływ specyficznych właściwości czynnych systemów wodociągowych w Polsce na metodykę pomiarów terenowych i interpretacje ich wyników
PublicationW opracowaniu scharakteryzowano trzy następujące cechy: 1) przewymiarowanie sieci wodociągowej, 2) pozorną chropowatość przewodów z odłożonymi osadami, 3) pulsację ciśnienia w układzie wodociągowym. Następnie wskazano na utrudnienia jakie one powodują w przygotowaniu pomiarów, ich przeprowadzeniu, a niekiedy interpretacji uzyskanych wyników. W efekcie dowiedziono, że normalne warunki eksploatacji nie pozwalają na bezpośrednie pomiary...
-
Programowanie Obiektowe z Użyciem Adnotacji Semantycznych
PublicationW tym artykule przedstawiono jak przy udziale standardowych mechanizmów nowoczesnych języków obiektowych, osiągnięć z zakresu formalnej reprezentacji wiedzy oraz lingwistyki komputerowej wytworzyć zbiór narzędzi wzbogacających warsztat programisty o narzędzia semantyczne. Przedstawione tu Programowanie Obiektowe z Użyciem Adnotacji Semantycznych jest częścią rozwijanej przez autora referatu metodologii wytwarzania oprogramowania...
-
Model zmian stanu technicznego ślizgowych układów tribologicznych silników o zapłonie samoczynnym i jego zastosowanie przy podejmowaniu decyzji
PublicationW publikacji przedstawiono formalny opis procesu zmian stanu technicznego ślizgowych układów tribologicznych silników o zapłonie samoczynnym i uzasadniono, że modelem tego procesu może być proces semimarkowski o skończonym zbiorze stanów. Przydatność tego modelu została wykazana na przykładzie często spotykanej w praktyce eksploatacyjnej sytuacji decyzyjnej, w której należy podjąć najlepszą decyzję spośród możliwych do podjęcia....
-
Remote Stateful Autoconfiguration for Mobile IPv6 Nodes with Server Side Duplicate Address Detection
PublicationDuring interdomain handover, IPv6 node requires new address at its new location. Once the L2 handover procedure is completed, mobile node (MN) starts its IPv6 configuration, using stateless (router advertisements) or stateful (DHCPv6 communication) mode. Once the address is obtained, its uniqueness has to be verified, using Duplicate Address Detection (DAD) procedure. Depending on the interface type, this procedure may easily take...
-
Przygotowanie przemysłowego obiektu o stalowej konstrukcji nośnej do remontu po pożarze
PublicationW artykule przedstawiono warunki i sposób podejścia do naprawy stalowej konstrukcji nośnej kilkukondygnacyjnego obiektu przemysłowego, który uległ uszkodzeniu w wyniku oddziaływania wysokiej temperatury pożaru. Omówiono rodzaje badań i sprawdzeń oraz sposób przeprowadzenia kontroli konstrukcji, które stały się podstawą do wydania oceny technicznej o możliwości odbudowy i remontu obiektu, bez jego nadmiernej rozbiórki. Wskazany...
-
Efektywność przewodowego transportu paliw gazowych. Część 1
PublicationW pracy przeprowadzono badanie możliwości podwyższenia efektywności transportu rurociągowego gazu ziemnego. Przeanalizowano różnorodne aspekty z zakresu procedur projektowania. Zaproponowano modele określania kosztów kapitałowych (inwestycyjnych) i kosztów zmiennych. Określono równania jednostkowych kosztów całkowitych (rocznych), które poddano „quasi-optymalizacji”, w celu wyznaczenia średnic racjonalnych dla gazociągów.
-
Efektywność przewodowego transportu paliw gazowych. Część 2
PublicationW pracy przeprowadzono badanie możliwości podwyższenia efektywności transportu rurociągowego gazu ziemnego. Przeanalizowano różnorodne aspekty z zakresu procedur projektowania. Zaproponowano modele określania kosztów kapitałowych (inwestycyjnych) i kosztów zmiennych. Określono równania jednostkowych kosztów całkowitych (rocznych), które poddano „quasi-optymalizacji”, w celu wyznaczenia średnic racjonalnych dla gazociągów.
-
Evaluation of affective intervention process in development of affect-aware educational video games
PublicationIn this paper initial experiences are presented on implementing specific methodology of affective intervention design (AFFINT) for development of affect-aware educational video games. In the described experiment, 10 student teams are to develop affect-aware educational video games using AFFINT to formalize the whole process. Although all projects are still in progress, first observations and conclusions may already be presented.
-
Remote learning among students with and without reading difficulties during the initial stages of the COVID-19 pandemic
PublicationThis article presents the results of a survey on yet under-researched aspects of remote learning and learning difficulties in higher education during the initial stage (March – June 2020) of the COVID-19 pandemic. A total of 2182 students from University of Warsaw in Poland completed a two-part questionnaire regarding academic achievements in the academic year 2019/2020, living conditions and stress related to learning and pandemic,...
-
Matematyczne modele konstrukcji inżynierskich w diagnostyce.
PublicationW pracy przedstawiono procedurę aproksymacji wykorzystującą funkcje spline.
-
Zmiany prawa budowlanego w 2015 roku
PublicationW 2016 r. wprowadzono 7 istotnych zmian w ustawie prawo budowlane. Przedstawiono te zmiany. Omówiono nowe procedury wynikające m.in. z ustawy deregulacyjnej. Aktualny stan prawny.