Wyniki wyszukiwania dla: WZGLĘDY FORMALNE - MOST Wiedzy

Wyszukiwarka

Wyniki wyszukiwania dla: WZGLĘDY FORMALNE

Wyniki wyszukiwania dla: WZGLĘDY FORMALNE

  • Ocena przydatności komercyjnych elektrod otulonych do spawania mokrego pod wodą z wykorzystaniem analizy skupień

    Najbardziej 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...

    Pełny tekst do pobrania w portalu

  • Miało być pięknie a wyszło jak zwykle

    Publikacja

    Przedstawiono kwestie barier funkcjonowania i rozwoju infrastruktury energetycznej w aspektach formalno-prawnych.

  • Ochrona pośrednia ujęć wody

    Problemy 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.

  • Niektóre przyczyny awarii kanalizacyjnych studzienek rewizyjnych (1). Warunki posadowienia

    Publikacja

    Analiza 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.

  • Problemy z deszczem. Wody opadowe – ustalenia ilościowe

    Publikacja

    Problemy 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.

  • Historia jednej inwestycji

    Publikacja

    - Instal - Rok 2012

    Analiza 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.

  • Ontology-Aided Software Engineering

    Publikacja

    - Rok 2012

    This 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)...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Dokumentacja projektowa w procesie budowlanym

    Publikacja

    - Rok 2015

    Problemy 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

    Publikacja

    Artykuł 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

    Kursy Online
    • B. Rozmarynowski

    Ć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

    Publikacja

    - Rok 2006

    Jednym 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.

  • Jak sobie pościelisz… czyli o roli prac przedprojektowych

    Publikacja

    Prace 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.

    Publikacja

    - Pismo PG - Rok 2002

    Obiekty 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

    Proces 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.

    Pełny tekst do pobrania w portalu

  • Aromatic heptaene antibiotics as an alternative for synthetic triazole fungicides in plant protection

    Publikacja

    - Przemysł Chemiczny - Rok 2016

    An 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.

  • Piotr Chrzan prof. dr hab. inż.

    Urodził 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)....

  • Łagodne wprowadzenie do analizy algorytmów

    Publikacja

    - Rok 2014

    Książ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.

  • 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”

    Publikacja

    - Rok 2014

    Analiza 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.

  • Wyznaczanie charakterystyk hydraulicznych dla trójwymiarowych obiektów przepływowych

    Publikacja

    - Rok 2008

    Zaproponowano 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

    Publikacja

    - Rok 2009

    Tematem 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...

  • Quantum aspects of semantic analysis and symbolic artificial intelligence.

    Publikacja

    - Rok 2004

    Nowoczesne 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.

    Pełny tekst do pobrania w portalu

  • Projekt posadowienia rurociągu jako element projektu budowlanego

    Wymagania 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.

  • Statistical analysis of pressuremeter tests for the north transversal tunnel in Grenoble

    Publikacja

    - Rok 2005

    Interpretacja 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

    Publikacja

    W 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

    Statek - 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

    Publikacja

    Problemy 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

    In 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...

    Pełny tekst do pobrania w portalu

  • An integrated framework for security protocol analysis

    Publikacja

    - Rok 2008

    Assurance 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

    Publikacja

    - Rok 2011

    Rozdział 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

    Publikacja

    - Rok 2011

    Rozdział 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.

    Publikacja

    - Rok 2002

    W 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

    Publikacja

    Problemy 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

    Publikacja

    - Rok 2006

    Analiza 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ż.

    Karol Grębowski (dr inż.) pracuje jako adiunkt w Katedrze Technicznych Podstaw Projektowania Architektonicznego na Wydziale Architektury Politechniki Gdańskiej. Jego badania naukowe dotyczą zjawisk szybkozmiennych zachodzących podczas drgań konstrukcji budowlanych, obiektów mostowych (trzęsienia ziemi) oraz badania w zakresie metodologii projektowania budynków stanowiących system ochrony pasywnej (SOP) odpornych na uderzenia pojazdów...

  • Alternative shaper: a model for automatic design generation

    Publikacja

    - FORMAL ASPECTS OF COMPUTING - Rok 2018

    Pełny tekst do pobrania w serwisie zewnętrznym

  • UWARUNKOWANIA ZMIAN TARYFOWYCH W MIEJSKIM TRANSPORCIE ZBIOROWYM NA OBSZARZE FUNKCJONOWANIA METROPOLITALNEGO ZWIĄZKU KOMUNIKACYJNEGO ZATOKI GDAŃSKIEJ

    Publikacja

    - Transport Economics and Logistics - Rok 2016

    W 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....

    Pełny tekst do pobrania w portalu

  • Współczesne cykle wytwarzania oprogramowania

    Publikacja

    Praca 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,...

  • 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.

    Publikacja

    - Rok 2007

    publikacja 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.

  • Grimm Grass 1 (Słówka Grimmów)

    Publikacja

    - Rok 2020

    Krzysztof 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)

    Publikacja

    - Rok 2020

    Krzysztof 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

    Publikacja

    Rola 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....

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Formal and Computational Cryptography

    Konferencje

  • Integrated Formal Methods

    Konferencje

  • Formal Methods Pacific

    Konferencje

  • International Symposium on Formal Methods (Formal Methods Europe [FME])

    Konferencje

  • Modernization of large music studio at Polish Radio Szczecin

    Publikacja

    - Rok 2011

    Studio 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

    Wydarzenia

    22-09-2021 00:00 - 24-09-2021 23:59

    XIX Ogólnopolska Konferencja Nauczania Matematyki w Uczelniach Technicznych

  • Zmiany w poziomie dochodów gmin województwa pomorskiego w latach 1999-2004

    Publikacja

    - Rok 2007

    W 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

    Publikacja

    - Archives of Acoustics - Rok 2006

    Artykuł 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.

    Pełny tekst do pobrania w portalu

  • Pozyskiwanie wiedzy dla zarządzania przepływem informacji.

    Publikacja

    - Rok 2004

    W pracy scharakteryzowano problemy formalnego (ilościowego) i miękkiego (jakościowego) modelowanie przepływu informacji w systemach autonomicznych.