Filters
total: 2378
-
Catalog
- Publications 2179 available results
- Journals 7 available results
- Conferences 24 available results
- Publishing Houses 1 available results
- People 26 available results
- Inventions 10 available results
- Projects 4 available results
- Laboratories 3 available results
- Research Teams 2 available results
- e-Learning Courses 75 available results
- Events 35 available results
- Open Research Data 12 available results
displaying 1000 best results Help
Search results for: WZGLĘDY FORMALNE
-
Ocena przydatności komercyjnych elektrod otulonych do spawania mokrego pod wodą z wykorzystaniem analizy skupień
PublicationNajbardziej uniwersalną i ekonomiczną metodą remontów konstrukcji eksploatowanych pod wodą jest spawanie mokre elektrodami otulonymi. Ze względu na bardzo dobrą operatywność i stabilność jarzenia się łuku w środowisku wodnym stosuje się elektrody o otulinie rutylowej. Na rynku dostępnych jest kilka gatunków elektrod dedykowanych do prac podwodnych, których cena jest znacznie wyższa niż elektrod komercyjnych. Celem pracy było statystyczne...
-
Miało być pięknie a wyszło jak zwykle
PublicationPrzedstawiono kwestie barier funkcjonowania i rozwoju infrastruktury energetycznej w aspektach formalno-prawnych.
-
Niektóre przyczyny awarii kanalizacyjnych studzienek rewizyjnych (1). Warunki posadowienia
PublicationAnaliza najczęstszych przyczyn awarii kanalizacyjnych studzienek rewizyjnych. Problem posadowienia kanalizacyjnej studzienki rewizyjnej. Formalne wymagania normowe w stosunku do studzienek. Zagadnienie występowania gruntów ekspansywnych w Polsce. Przygotowanie inwestycji, dostosowanie się do wymagań konstrukcji.
-
Ochrona pośrednia ujęć wody
PublicationProblemy ochrony sanitarnej ujęć wody pitnej. Formalne wymagania prawne dotyczące wyznaczania stref. Kontrowersyjność polskich rozstrzygnięć prawnych. Potrzeba zmiany polityki w celu podwyższenia rzeczywistego poziomu bezpieczeństwa. Gra pozorów. Konieczność określania stref podwyższonej ochrony.
-
Historia jednej inwestycji
PublicationAnaliza przyczyn niepowodzenia inwestycji zbiorvczej gminnej kanalizacji. Rozwiązania projektowe i zrealizowane. Błędy procesu inwestycyjnego, formalne procedury, odstępstwa od wymagań formalnych. Ocena błędów oraz konsekwencji zaistniałej sytuacji. Odpowiedzialność zawodowa i karna uczestników procesu inwestycyjnego.
-
Problemy z deszczem. Wody opadowe – ustalenia ilościowe
PublicationProblemy określenia wskaźników ilościowych przy zagospodarowaniu wód opadowych w Polsce. Wymagania formalne, problematyczność ustaleń ilościowych wg wzorów empirycznych. Tworzenie atlasu elektronicznego. Problem zdarzeń niemieszczących się typowych schematach. Zmiany wprowadzane nową ustawą prawo wodne.
-
Ontology-Aided Software Engineering
PublicationThis thesis is located between the fields of research on Artificial Intelligence (AI), Knowledge Representation and Reasoning (KRR), Computer-Aided Software Engineering (CASE) and Model Driven Engineering (MDE). The modern offspring of KRR - Description Logic (DL) [Baad03] is considered here as a formalization of the software engineering Methods & Tools. The bridge between the world of formal specification (governed by the mathematics)...
-
Dokumentacja projektowa w procesie budowlanym
PublicationProblemy dokumentacji technicznej występującej w procesie budowlanym. Wymagania formalne w stosunku do dokumentacji. Znaczenie dokumentacji wstępnej, w tym koncepcji, dla prawidłowego przebiegu procesu budowlanego. Znaczenie SIWZ dla ograniczeń w zakresie stosowanych materiałów. Relacje y PYP.
-
Czas koncentracji w uproszczonych obliczeniach odpływu ze zlewni zurbanizowanej
PublicationArtykuł poświęcony jest wybranym aspektom związanym z określaniem czasu koncentracji dla potrzeb inżynierskich obliczeń odpływu wód deszczowych ze zlewni zurbanizowanych, w tym m.in. wymiarowania kanalizacji deszczowej. Celem artykułu jest przedstawienie funkcjonującego powszechnie w polskich realiach projektowych podejścia do kwestii określania czasu trwania deszczu miarodajnego dla zlewni zurbanizowanej oraz wynikających z tego...
-
Mechanika (PG_00055048), Ć, Gr. 2, I st., sem 02, letni, 2023/24, ZIP
e-Learning CoursesĆwiczenia tablicowe: 1) Statyka: moment siły względem punktu i względem osi; przypadki redukcji układu sił; warunki równowagi układu sił; środki ciężkości; tarcie posuwiste, tarcie cięgien i opory toczenia; statyka kratownic. 2) Kinematyka: opisy ruchu punktu we współrzędnych wektorowych, kartezjańskich, biegunowych oraz naturalnych; kinematyka bryły: ruch postępowy, obrotowy i płaski; chwilowy środek prędkości i przyspieszenia;...
-
Hipermarkety i miasta pod miastem
PublicationJednym z elementów procesu suburbanizacji jest jego silna zależność od rozwoju współczesnych obiektów handlowych jakimi są hipermarkety. Opracowanie analizuje podstawowe aspekty wpływu tych obiektów na struktury podmiejskie, takie jak zagadnienia: funkcjonalne, komunikacyjne, formalne, społeczne i ekonomiczne.
-
Aromatic heptaene antibiotics as an alternative for synthetic triazole fungicides in plant protection
PublicationAn in vitro antifungal activity of candicidin and ascosin antibiotics (0,01-10 μg/mL) towards representative strains of phytopathogenic fungi was detd. Both compds. exhibited similar half max. effective concns. inhibiting growth of the fungi as that of tebuconazole used for comparison.
-
Jak sobie pościelisz… czyli o roli prac przedprojektowych
PublicationPrace przedprojektowe w inwestycjach liniowych. Przygotowanie procesu inwestycyjnego. Znaczenie poznania rzeczywistych warunków w jakich będzie prowadzony proces inwestycyjny. Ocena podłoża. Wymagania formalne, błędy. Błędy w ocenach cech materiałowych rozwiązań. Identyfikacja cech i warunków. Problemy wykonawstwa. Szczególne ryzyko.
-
Modelowanie architektoniczno-materiałowe obiektów architektonicznych na styku lądu i wody.
PublicationObiekty o silnie zindywidualizowanej funkcji posiadają swe odrębne wymagania formalne. Projektowanie ich wymaga od architekta fantazji i wiedzy. Forma inaczej jest kształtowana w krajach nadmorskich o klimacie gorącym inaczej w krajach strefy umiarkowanej. Można to prześledzić na przykładach.
-
Uporządkowanie procesu budowlanego w fazie odbiorów
PublicationProces budowlany, konieczność dyscyplinowania procesu. Konsekwencje braku jednoznacznych regulacji prawnych oraz procedur. Problemy związane z dokumentacją projektową. Zasady prowadzenia odbioru, formalne wymagania, konieczność zastrzeżeń w kontraktach. Dwuznaczność roli inspektora nadzoru inwestorskiego. Konsekwencje braku właściwych odbiorów przejściowych oraz ostatecznego.
-
Piotr Chrzan prof. dr hab. inż.
PeopleUrodził się w 1954 r. w Sopocie. Jest absolwentem Wydziału Elektroniki Politechniki Gdańskiej (1978). W 1980 r. podjął pracę na Wydziale Elektrycznym w zespole prof. Jerzego Jaczewskiego. W 1988 r. uzyskał stopień naukowy doktora nauk technicznych, habilitację w 1999 r., w zakresie elektrotechniki: energoelektroniki i automatyki napędu, a tytuł profesora w 2017 r. Był promotorem 6 obronionych prac doktorskich (w tym 3 z wyróżnieniem)....
-
Opinia ekspercka w zakresie ustalenia przyczyn powstania ujawnionej wady kolektora zrealizowanego w ramach zadania inwestycyjnego „Budowa kanalizacji sanitarnej w miejscowości Rozwadza wraz z tranzytem do oczyszczalni ścieków w Zdzieszowicach, pompownie P1 i P2 Rozwadza”
PublicationAnaliza przyczyn i konsekwencji zaistniałej awarii nowo budowanego kolektora. Ocena przebiegu procesu inwestycyjnego. Braki formalne - zawodowe uczestników procesu, braki w dokumentacji. Problem niewłaściwej oceny warunków posadowienia kanału w dokumentacji projektowej. Błędy kierownika budowy. Negatywna ocena propozycji rozwiązania problemów. Wnioski dotyczące kierunku rozwiązania.
-
Łagodne wprowadzenie do analizy algorytmów
PublicationKsiążka jest 11. wydaniem podręcznika akademickiego poświęconego podstawom algorytmiki. Składa się z trzech rozdziałów. Rozdział 1 daje podstawy formalne niezbędne przy analizie algorytmów pod kątem złożoności obliczeniowej. Rozdział 2 wprowadza w zagadnienia analizy algorytmów z różnych punktów widzenia.Rozdział 3 przedstawia podstawowe struktury danych.
-
Wyznaczanie charakterystyk hydraulicznych dla trójwymiarowych obiektów przepływowych
PublicationZaproponowano systematyczną klasyfikację reaktorów, służących do oczyszczania wody i ścieków, uwzględniającą formalny charakter zmiennych przepływu. Opisano zasady wymiarowania obiektów dla poszczególnych kategorii.
-
Równoważność klasyfikatorów binarnych
PublicationTematem wielu prac dotyczących zagadnienia klasyfikacji jest porównanie różnych powszechnie znanych klasyfikatorów pod względem przydatności w konkretnych zastosowaniach.W artykule pokazana zostanie równoważność klasyfikatorów funkcji boolowskich ze względu na średnią liczbę błędów generalizacji,zaproponowane zostanie kryterium podobieństwa klasyfikatorów oparte o współczynnik korelacji oraz przedstawiony zostanie wpływzłożoności...
-
Projekt posadowienia rurociągu jako element projektu budowlanego
PublicationWymagania formalne w stosunku do dokumentacji projektowej fazy projektu budowlanego. Dokumentacja geotechniczna (w tym projekt posadowienia) jako część projektu budowlanego. Konsekwencje przyjęcia Eurokodów. Zaostrzenie wymagań formalnych w stosunku do projektu budowlanego. Aktualne wymagania prawne. Możliwe konsekwencje pomijania w dokumentacji projektowej dokumentacji posadowienia obiektu budowlanego.
-
Quantum aspects of semantic analysis and symbolic artificial intelligence.
PublicationNowoczesne podejścia do analizy semantycznej, jeśli przeformułować je w język przestrzeni Hilberta, ujawniają formalne struktury znane z mechaniki kwantowej. Podobna sytuacja występuje w rozproszonych reprezentacjach struktur poznawczych rozwijanych na użytek sieci neuronowych. W pracy przyglądamy się różnicom i podobieństwom owych teorii do kwantowej teorii informacji.
-
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 nowoczesnych siłowni jądrowych
PublicationW pracy analizowano obiegi termodynamiczne siłowni wykorzystujących reaktory jądrowe IV generacji. Obliczano sprawność obiegów siłowni jądrowych z nowoczesnymi reaktorami, a wyniki obliczeń porównano z tradycyjnym układem obecnie stosowanym typu PWR. Każdy z badanych układów optymalizowano ze względu na maksymalną sprawność dla zadanych parametrów początkowych. Układ nadkrytyczny wodny SCWR okazał się najkorzystniejszy ze względów...
-
Architektura a sprawy bezpieczeństwa na statku
PublicationStatek - jako obiekt pływający, o złożonym wielofunkcyjnym układzie, spełnia jednocześnie rolę miejsca pracy, mieszkania i oraz odpoczynku. Ze względu na tę wielorakość funkcji oraz specyfikę tego szczególnego środowiska człowieka, w referacie poświęcono uwagę względom bezpieczeństwa na statku, które dotyczą również aspektów zdrowotnych. Te ostatnie wiążą się z wpływem czynników fizykochemicznych i biologicznych decydujących o...
-
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...
-
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...
-
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.
-
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...
-
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ą.
-
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...
-
Alternative shaper: a model for automatic design generation
Publication -
UWARUNKOWANIA ZMIAN TARYFOWYCH W MIEJSKIM TRANSPORCIE ZBIOROWYM NA OBSZARZE FUNKCJONOWANIA METROPOLITALNEGO ZWIĄZKU KOMUNIKACYJNEGO ZATOKI GDAŃSKIEJ
PublicationW sytuacji gdy transport zbiorowy jest obsługiwany przez więcej niż jednego organizatora, powstają problemy koordynacji taryf w różnych przekrojach i konkurencji cenowej pomiędzy ofertą poszczególnych organizatorów transportu komunalnego. Obszarem takim jest licząca ponad 1 mln mieszkańców Metropolia Zatoki Gdańskiej, na terenie której obowiązują taryfy uchwalane przez kilka rad miast i gmin oraz ustanowione przez operatorów kolejowych....
-
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ą,...
-
FINANSOWANIE ODNOWY ZABYTKÓW W POLSCE PRZY WYKORZYSTANIU POMOCY UE
PublicationRola zabytków w gospodarce rynkowej jest dwojaka. Z jednej strony budują tożsamość narodową i pełnią funkcje społeczne, a z drugiej – stanowią produkt rynkowy, który wspiera rozwój regionalny pod względem atrakcyjności turystycznej oraz inwestycyjnej. Polskie zabytki nieruchome mogą być wykorzystywane do budowy przewagi konkurencyjnej kraju, jednak z uwagi na ich zły stan techniczny, wymagają nieustannych prac konserwatorskich....
-
Formal and Computational Cryptography
Conferences -
Integrated Formal Methods
Conferences -
Formal Methods Pacific
Conferences -
International Symposium on Formal Methods (Formal Methods Europe [FME])
Conferences -
Modernization of large music studio at Polish Radio Szczecin
PublicationStudio Muzyczne S-1 w Polskim Radiu Szczecin należy do największych studiów nagrań w Polsce. Wymiary studia wynoszą 15.3 x 17 x 8.6 m, powierzchnia 261 m2, kubatura 2244 m3. W wyniku licznych korekt akustycznych dokonanych w ciągu ostatnich lat, warunki akustyczne studia są akceptowane przez szeroki krąg realizatorów i wykonawców, co uznano to za cenny i trudno odtwarzalny walor techniczny. W związku z tym, modernizację Studia...
-
XIX OKNMUT
EventsXIX Ogólnopolska Konferencja Nauczania Matematyki w Uczelniach Technicznych
-
Zmiany w poziomie dochodów gmin województwa pomorskiego w latach 1999-2004
PublicationW artykule analizie poddana została strona dochodowa budżetów gmin wchodzących w skład województwa pomorskiego. Ze względu na dużą niestałość przepisów prawnych dotyczących funkcjonowania samorządów terytorialnych, w szczególności ich gospodarki finansowej, okres badawczy zawężono do lat 1999-2004, charakteryzujących się względną stabilnością. Badanie nie ograniczyło się do przedstawienia podstawowych wskaźników, tj. dochodów ogółem...
-
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.