Filters
total: 1994
filtered: 1527
-
Catalog
- Publications 1527 available results
- Journals 46 available results
- Conferences 24 available results
- Publishing Houses 1 available results
- People 57 available results
- Inventions 1 available results
- Projects 4 available results
- Laboratories 1 available results
- Research Teams 3 available results
- e-Learning Courses 233 available results
- Events 95 available results
- Open Research Data 2 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: PRAKTYKI FORMALNE
-
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)...
-
Wybrane zagadnienia dotyczące geosyntetyków stosowanych w drogownictwie
PublicationPowszechność stosowania geosyntetyków mogłaby świadczyć, że dogłębnie poznano już ich zalety i nauczono się je wykorzystywać w praktyce budowlanej. Niestety, praktyka dowodzi, że sytuacja nie jest na pewno doskonała - zauważalne są luki w podstawach (mylone są wyroby), a i stosowane rozwiązania konstrukcyjne pozostawiają wiele do życzenia. W artykule przedstawiono stan normalizacji w dziedzinie geosyntetyków, ich prawidłowy...
-
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...
-
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.
-
Nowe perspektywy rozwoju fotowoltaiki
PublicationPrzedstawiono aktualne osiągnięcia w zakresie wdrożenia organicznych ogniw fotowoltaicznych do praktyki.
-
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.
-
Czynniki sukcesu w zarządzaniu projektem marketingowym
PublicationAutorka porusza problem jednoznacznego formułowania kryteriów sukcesu projektu marketingowego, których realizacja zapewniałaby sukces przedsiębiorstwa. Stawia tezę, że projekty marketingowe mają szczególną specyfikę związaną z determinującym wpływem zewnętrznych czynników niemierzalnych, a tym samym niedefiniowalnych, na powodzenie projektu marketingowego rozumianego jako sukces rynkowy, przez co określenie jasnych kryteriów sukcesu...
-
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.
-
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.
-
Konflikt trwa.
PublicationOd niepamiętnych czasów przewija się temat konfliktowy teorii praktyki w dziedzinie nauczania architektur.
-
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.
-
Wybrane aspekty związane z zastosowaniem równania Manninga dla potrzeb szacowania ilości ścieków sanitarnych
PublicationPrawidłowe oszacowanie ilości ścieków sanitarnych odprowadzanych z danej jednostki administracyjnej jest niezmiernie istotnym zagadnieniem. Odgrywa ono znaczącą rolę zarówno z punktu widzenia poprawnego i efektywnego funkcjonowania systemu kanalizacyjnego, jak i ma swoje przełożenie także na inne zagadnienia, m.in. natury sanitarnej, technicznej, projektowej, ekologicznej, a także kwestie formalno-prawne oraz ekonomiczno-finansowe....
-
Ł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.
-
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.
-
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.
-
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.
-
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.
-
Badania statyczne i dynamiczne pali, zasady stosowania i metody interpretacji
PublicationBadania terenowe nośności pali wykonywane są od bardzo dawna i stanowią jedyną miarodajną ocenę rzeczywistej możliwości przekazywania obciążeń na podłoże gruntowe. Tradycyjną metodą wykorzystywaną w praktyce inżynierskiej są próbne obciążenia statyczne (SPLT). Uwzględniając czynniki techniczne, ekonomiczne i czas, obecnie coraz częściej, już na skalę codziennej praktyki inżynierskiej, wykorzystuje się badania dynamiczne, np. typu...
-
Debata społeczna "Gospodarka wodna w Poznaniu"
PublicationPrezentacja rezultatów przeprowadzonej w Poznaniu publicznej debaty o wodzie. Przykład współpracy z ludnością - jedna z dróg poszukiwania ''najlepszej praktyki''.
-
Problemy jakości w metodach Agile
PublicationZwinne metody wytwarzania osiągnęły w zawrotnym tempie niebywały sukces. Według różnych doniesień od 50 do 70% firm IT stosuje metody zwinne na stałe lub okazjonalnie . Jednak znaczna część firm stosuje wybiórczo praktyki zalecane przez Agile . Jakie to praktyki? Jakie problemy występują przy ich stosowaniu i jak firmy radzą sobie z tymi problemami? Jak wpływają na jakość wytwarzanego oprogramowania? Jakie są warunki krytyczne...
-
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.
-
Wymagania w stosunku do projektu budowlanego.
PublicationAktualne (2003) rozporządzenia określające szczegółowe wymagania w stosunku do projektu budowlanego. Zmiany w stosunku do dotychczasowej praktyki tolerowania dość szeroko idących odstępstw.
-
Projekt wytycznych planowania tras dla pieszych
PublicationW ramach prowadzonych przez resort infrastruktury prac zmierzających do zmiany warunków technicznych, jakie powinny spełniać drogi oraz standardów ich projektowania, powstał m.in. zbiór wytycznych poświęcony projektowaniu infrastruktury dla pieszych. W artykule przedstawiono cele, założenia oraz najistotniejsze elementy „Wytycznych planowania tras dla pieszych” stanowiących pierwszą część zbioru. Prezentowane wytyczne są odpowiedzią...
-
W poszukiwaniu zielonej techniki ekstrakcyjnej
PublicationKonieczność wprowadzania do praktyki analitycznej zasad zielonej chemii, ktore bezpośrednio wynikają z koncepcji zrównoważonego rozwoju, sprawia, że trwają poszukiwania nowych rozwiązań metodycznych i aparaturowych.
-
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.
-
Obciążenie rurociągów podziemnych posadowionych na słabym podłożu gruntowym.
PublicationAnaliza obciążeń działających na podziemne rurociągi posadowione na palach.Wytłumaczenie przyczyn powstania zwiększonych obciążęń na tego typu rurociągi. Przedstawienie przykładu z praktyki awarii rurociągu spowodowanej nadmiernymi obciążeniami.
-
Palisady – rozwiązania, realizacje i problemy
PublicationZastosowania pali do obudów głębokich wykopów. Charakterystyka technologii wykonania i rozwiązań konstrukcyjnych. Przykłady realizacji z praktyki. Charakterystyka problemów związanych z wykonawstwem i zapewnieniem szczelności przed wodą.
-
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ą.
-
Alternative shaper: a model for automatic design generation
Publication -
Konserwacja zamku w Malborku jako przykład kształtowania się doktryny konserwatorskiej
PublicationTekst przedstawia historię działań konserwatorskich prowadzonych na zamku w Malborku od końca XVIII w do czasów współczesnych jako przykład ilustrujący kształtowanie się teorii i praktyki konserwatorskiej w Europie.
-
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ą,...
-
Introducing the concept of sustainable development into analytical practice: green analytical chemistry
PublicationW rozdziale przedstawiono innowacyjne techniki analityczne spełniające wymogi zrównoważonego rozwoju w kontekscie praktyki analitycznej. Przedstawiono bezrozpuszczalnikowe metody przygotowania próbek oraz przykłady calych procedur analitycznych spełniajacych warunek zielonej chemii analitycznej
-
Oceny środowiskowe w lokalizacji węzłów integracyjnych : przykład węzła integracyjnego "Czerwony Most" w Gdańsku
PublicationArtykuł prezentuje system ocen oddziaływania na środowisko (OOŚ) jako narzędzie przewidywania, oceny i łagodzenia skutków środowiskowych, wynikających z realizacji i funkcjonowania wielkich inwestycji infrastrukturalnych, jakimi są węzły zintegrowane oraz dworce kolejowe, zwłaszcza gdy są one lokowane na obszarach o dużych wartościach historycznych i estetycznych. Procedura OOŚ jest pokazana nie tylko jako formalny wymóg niezbędny...
-
Logistyka robót budowlanych. Projektowanie i realizacja zgodne z systemem zarządzania jakością ISO 9000
PublicationProjektowanie i zarządzanie w budownictwie dotyczy nie tylko samej realizacji określonego obiektu inżynierskiego, ale jest też ściśle związane z planowaniem logistycznym. Logistyka przedsięwzięcia budowlanego polega na zaprojektowaniu m.in. placu budowy, planu transportu zamówień oraz sposobu przemieszczania na terenie budowy zarówno pojazdów, materiałów, jak i pracowników. W artykule przedstawiono ideę systemu zarządzania jakością...
-
Przejrzystość informacyjna spółek w świecie nadzoru korporacyjnego
PublicationOmówiono zagadnienia związane z zakresem nadzoru korporacyjnego, transparentność rynku kapitałowego oraz wymogi informacyjne spółek giełdowych. Określono role transparentności w nadzorze korporacyjnym. Zwrócono uwagę na niewłaściwe w tym zakresie praktyki spółek giełdowych.
-
Społeczne wytwarzanie miejsca w czasach globalizacji
PublicationCelem tekstu jest próba pokazania miejsca jako kategorii zmiennej i dynamicznie zmieniającej się w czasie, wykraczającej poza tradycyjne konceptualizacje a jednocześnie społeczenie wytwarzanej i rekonstruowanej przez materialne i dyskursywne praktyki życia codziennego.
-
Wpływ błędów projektowych, wykonawczych oraz sposobu eksploatacji na trwałość podłóg przemysłowych
PublicationCelem artykułu jest wskazanie najczęściej popełnianych błędów przy projektowaniu podłóg przemysłowych. Artykuł stanowi częśc 1 serii publikacji. Artykuł ma charakter studium przypadku i został ograniczony do wybranych przypadków z praktyki inżynierskiej
-
Rozdział 9. Przykłady procedur diagnostycznych wybranych urządzeń składowych bloków energetycznych
PublicationZajęto się możliwościami diagnozowania pomocniczych urządzeń składowych bloków energetycznych. Opisano te możliwości i podano przykłady z praktyki przemysłowej. Opisano: skraplacze, odgazowywacze, pompy wody chłodzącej i pompy zasilające oraz układy obejść, tzw. by-pasy.
-
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.