Filtry
wszystkich: 988
-
Katalog
- Publikacje 852 wyników po odfiltrowaniu
- Czasopisma 3 wyników po odfiltrowaniu
- Konferencje 24 wyników po odfiltrowaniu
- Osoby 17 wyników po odfiltrowaniu
- Wynalazki 6 wyników po odfiltrowaniu
- Projekty 7 wyników po odfiltrowaniu
- Laboratoria 1 wyników po odfiltrowaniu
- Zespoły Badawcze 1 wyników po odfiltrowaniu
- Kursy Online 53 wyników po odfiltrowaniu
- Wydarzenia 12 wyników po odfiltrowaniu
- Dane Badawcze 12 wyników po odfiltrowaniu
Wyniki wyszukiwania dla: FORMALNA SPECYFIKACJA
-
Rura w gruncie. Niekończąca się historia?
PublikacjaKonsekwencje błędów posadowienia rurociągu w podłożu gruntowym. Formalne wymagania w stosunku do posadowienia. Główne odstępstwa, ich konsekwencje. Problem zmian podłoża w czasie.
-
Zmiany w procesie inwestycyjnym
PublikacjaKonsekwencje zmian w procesie inwestycyjnym, nowe regulacje w zakresie prawa budowlanego. Zmienione procedury. Problemy formalne. Sankcjonowanie odstępstw. Nowe technologie i nowe wyposażenie.
-
Procedura weryfikacji stanu technicznego urządzeń dźwignicowych na przykładzie żurawi portowych.
PublikacjaOmówiono wymogi formalne dopuszczenia dźwignic o przekroczonym resursie do dalszej eksploatacji. Podano algorytmy przeglądów specjalnych. Przedstawiono przykłady weryfikacji stanu technicznego żurawi portowych.
-
Ochrona zabudowy przed zalewaniem.
PublikacjaPrzedstawiono ogólne zasady ochrony budynku przed zalewanie. Wykazano potrzebę nowego podejścia do problemu. Określono braki formalne oraz ogólne zalecenia co do zabezpieczeń.
-
Uwagi do wniosków o dofinansowanie w ramach ZPORR (Zintegrowanego Programu Operacyjnego Rozwoju Regionalnego)
PublikacjaOmówiono podstawowe uchybienia dyskwalifikujące wnioski składane w ramacj ZPORR. Wymagania formalne, motywacje, realność rozwiązań. Prymat eksploatacji nad samą realizacją. Braki w systemie samorządowym.
-
Stalowe zbiorniki i konstrukcje powłokowe
PublikacjaReferat zawiera opis aktualnych problemów dotyczących projektowania zbiorników na paliwa płynne. W artykule przedstawione zostały aktualne wytyczne normowe dotyczące projektowania i wykonania zbiorników: normę „PN-EN 1993-1-6. Projektowanie konstrukcji stalowych. Część 1-6: Wytrzymałość i stateczność konstrukcji powłokowych”, normę „PN-EN 1993-4-2. Projektowanie konstrukcji stalowych. Część 4-2: Zbiorniki” i normę „PN-EN 14015....
-
Powodzie miejskie. Wody opadowe – aspekty prawne, ekonomiczne i techniczne.
PublikacjaPowodzie miejskie. Problemy formalne, prawne i techniczne zagospodarowania wód opadowych. Podstawowe braki polskich rozwiązań. Opłaty za wody opadowe - utrudnienia wprowadzania, konsekwencje braku regulacji prawnych
-
Estymacja odpowiedzi impulsowej kanału w systemie UMTS.
PublikacjaW referacie omówiono zagadnienie estymacji odpowiedzi impulsowej kanału w technice DS-CDMA oraz metody jej implementacji w odbiorniku RAKE. Przedstawiono warunki systemowe zdefiniowane w specyfikacjach systemu UMTS umożliwiające wiarygodną estymację odpowiedzi impulsowej kanału. Na podstawie badań symulacyjnych porównano jakość różnych algorytmów estymacji odpowiedzi impulsowej dla systemu UMTS.
-
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.
-
Alternative shaper: a model for automatic design generation
Publikacja -
Adaptacja francuskich kryteriów zmęczeniowych do projektowania nawierzchni podatnych w warunkach polskich
PublikacjaNiniejszy artykuł przedstawia francuską metodę projektowania konstrukcji nawierzchni podatnych oraz próbę przystosowania jej do polskich specyfikacji dotyczących mieszanek mineralno-asfaltowych. Opisano sposób dobierania parametrów materiałowych oraz obliczania współczynników modyfikujących trwałość zmęczeniową warstw asfaltowych konstrukcji nawierzchni. Dodatkowo opisano sposób obliczania trwałości nawierzchni ze względu na kryterium...
-
Nowy mechanizm dynamicznego sterowania mocą w systemie UMTS.
PublikacjaW referacie zaprezentowano nowy mechanizm dynamicznego sterowania mocą, pracujący z częstotliwością 3000 rozk/sek, możliwy do zastosowania w interfejsie radiowym WCDMA/FDD systemu UMTS. Na podstawie badań, przeprowadzonych w oparciu o własne oprogramowanie symulujące pracę systemu i kanał, dokonano porównana nowego mechanizmu z mechanizmem zaproponowany w specyfikacji systemu UMTS, pracującym z częstotliwością 1500 rozk/sek. Ponadto...
-
Próbne obciążenia statyczne i dynamiczne pali w odniesieniu do zaleceń Eurokodu 7
PublikacjaOmówiono metody badań oraz zalecenia formalne Eurokodu 7. Na przykładach przedstawiono interpretacje badań nośności pali wg PN-83/B-02482 porównując je do Eurokodu 7.
-
Ogólne warunki procesu inwestycyjnego
PublikacjaSpecyficzne warunki realizacji procesu inwestycyjnego. Wymagania formalne. Zagadnienie inwestycji nietypowych, potrzeba zewnętrznego fachowego nadzoru. Podstawowe błędy na etapie projektowania i wykonawstwa. Problem wiarygodności inspektora nadzoru inwestorskiego.
-
Wymagania w stosunku do projektu budowlanego.
PublikacjaOmówiono nowe regulacje prawne określające formalne wymagania w stosunku do dokumentacji w fazie projektu budowlanego. Zwrócono uwagę na daleko idące obostrzenie wymagań formalnych w tym zakresie.
-
Formal and Computational Cryptography
Konferencje -
Integrated Formal Methods
Konferencje -
Formal Methods Pacific
Konferencje -
Czas koncentracji w uproszczonych obliczeniach odpływu ze zlewni zurbanizowanej
PublikacjaArtykuł 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...
-
Kwalifikowanie technologii spawania zgodnie z wytycznymi normy pn-en iso 15614-8 na przykładzie płyt sitowych stosowanych w u-rurowych wymiennikach ciepła
PublikacjaW artykule przedstawiono charakterystykę normy PN-EN ISO 15614-8:2005 "Specyfikacja i kwalifikowanie technologii spawania metali. Badanie technologii spawania. Część 8: Spawanie rur z płytami sitowymi". Zaprezentowano algorytm postępowania w przypadku stosowania tej normy, podano warunki, które uzasadniają wybór normy PN-EN ISO 15614-8 do zatwierdzania technologii spawania. Przedstawiono przykład złączy spawanych stosowanych w...
-
International Symposium on Formal Methods (Formal Methods Europe [FME])
Konferencje -
Wymagania dotyczące przygotowania dokumentacji projektowej oraz wykonania konstrukcji stalowych
PublikacjaW pierwszej części omówione zostały wymagania odnośnie przygotowania dokumentacji projektowej dla obiektów budowlanych o stalowej konstrukcji nośnej. W materiale odniesiono się do kwestii związanych z tolerancjami wykonania i montażu konstrukcji, opracowaniem dokumentacji rysunkowej oraz opisowej projektowanej konstrukcji, a w szczególności do specyfikacji technicznej. W drugiej części przedstawiono wymagania odnośnie realizacji...
-
Metody realizacji pomiarów składowych natężenia promieniowania słonecznego dla monitoringu naukowego w różnych zakresach widmowych na potrzeby zastosowań fotowoltaicznych
PublikacjaW niniejszej pracy dokonano specyfikacji i analizy trybów monitorowania radiometrycznego systemów fotowoltaicznych. Przeprowadzono teoretyczne wprowadzenie do teorii detektorów termicznych i fotonowych. Zaprezentowano równania promieniowania krótkofalowego, długofalowego oraz bilansowego. Opisano profesjonalne komercyjne radiometry do specjalistycznych pomiarów meteorologicznych. Stwierdzono, że dla uzyskania szczegółowych danych...
-
Implementacja elementów SCORM w systemie zarządzającym nauczaniem Moodle.
PublikacjaW referacie dokonano analizy możliwoci takiej rozbudowy systemu Moodle, aby uzyskać zgodnoć z modelami danych okrelonymi w specyfikacji SCORM. Zaprezentowano idee podstawowych mechanizmów zdolnych do obsługi dodatkowych formatów kursów on-line, w tym metody dostarczania odpowiednich zasobów wiedzy do użytkownika. Przedstawiono problemy zwišzane z rozszerzeniem systemu Moodle o obsługę API zgodnego z SCORM oraz opis zaimplementowanych...
-
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...
-
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.
-
Theoretical and practical solving of hydroengineering problems
PublikacjaRozważono wzajemne relacje pomiędzy znaczeniem terminów ''teoretyczny'' i ''praktyczny'', w kontekście problematyki nauk technicznych, analizujac aspekty terminologiczne, poznawcze, wolicjonalne i formalne. Wskazano na potrzebę różnicowania ścisłych i potocznych znaczeń uzywanych terminów.
-
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''.
-
Niektóre przyczyny awarii kanalizacyjnych studzienek rewizyjnych (1). Warunki posadowienia
PublikacjaAnaliza 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
PublikacjaProblemy 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
PublikacjaAnaliza 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
PublikacjaProblemy 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.
-
Charakterystyka sieciowania, statyczne i dynamiczne właściwości mechaniczne mieszanin kauczuk butadieno-styrenowy/regenerat gumowy
PublikacjaPrzedstawiono wyniki badań wpływu zawartości regeneratu gumowego na charakterystykę procesu wulkanizacji, prowadzonego z użyciem różnych ilości przyspieszaczy, oraz na statyczne i dynamiczne właoeciwooeci mechaniczne zwulkanizowanych mieszanin kauczuku butadienowo-styrenowego i regeneratu gumowego. Regenerację miału gumowego prowadzono w wytłaczarce dwuślimakowej współbieżnej. Wzrost zawartości regeneratu gumowego (10-50 phr) w...
-
Efficiency of thermomechanical reclaiming of ground tire rubber conducted in counter-rotating and co-rotating twin screw extruder
PublikacjaIn this article the results of research on a continuous thermomechanical reclaiming process of ground tire rubber (GTR) conducted in a twin screw extruder are presented. The effects of the rotation direction (co-rotating/counter-rotating), design of co-rotating plasticizing units and the rotational speed of the screws on the extruder working parameters, sol fraction and the degree of reclaiming in the obtained products were described....
-
Definicje ontologii w wieloagentowym systemie do oceny technologii informatycznych
PublikacjaCelem artykułu jest zdefiniowanie ontologii dla potrzeb systemu wieloagentowego do oceny technologii informatycznych. Definicje ontologii stanowią podstawę do przygotowania ich specyfikacji dla potrzeb JADE (Java Agent Development Framework). W założeniu ma to być rozwiązanie wieloagentowe korzystające z takich elementów jak bazy wiedzy oraz ontologie traktowane z punktu widzenia JADE jako dołączane biblioteki. W artykule zaprezentowano...
-
Systemy agentowe - cechy, zastosowanie oraz przegląd narzędzi do ich tworzenia
PublikacjaRosnące zapotrzebowanie na systemy inteligentne powoduje jednoczesny wzrost zainteresowania tematyką systemów agentowych, mogących znaleźć zastosowanie w budowie wieloagentowych środowisk systemów inteligentnych. Niniejszy artykuł stanowi przegląd problematyki systemów agentowych poczynając od prezentacji definicji a kończąc na specyfikacji środowisk do wywarzania takich systemów. Stanowi także próbę odpowiedzi na ważne pytanie...
-
Nierówności pionowe toru kolejowego
PublikacjaOcena jakości geometrycznej toru kolejowego wymaga od zarządców infrastruktury stosowania jednolitych metod pomiarów, obliczania i interpretacji wyników. W tym zakresie należy stosować się do norm europejskich i technicznych specyfikacje interoperacyjności. W artykule przedstawiono podstawowe zagadnienia związane z pomiarem i oceną nierówności pionowych toru kolejowego. Zapisano odchyłki dopuszczalne nierówności pionowych według...
-
SDL i prosty scheduler - zastosowania.
PublikacjaRozdział przedstawia uzupełnienia, usprawnienia i zastosowania prostego schedulera zaproponowanego w [1]. Podstawowym uzupełnieniem jest powiązanie funkcji schedulera z językiem specyfikacji protokołów telekomunikacyjnych SDL [2]. Pokazano na czym polega problem w odmierzaniu czasu w ''procesach'' obsługiwanych przez scheduler oraz istotne ograniczenia mechanizmu odmierzania czasu w systemach warstwowych. Zaproponowano rozwiązania...
-
Dokumentacja projektowa w procesie budowlanym
PublikacjaProblemy 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.
-
Hipermarkety i miasta pod miastem
PublikacjaJednym 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.
-
Seminarium dyplomowe, S, Mtr, sem. 03, lato 21/22 (M:00039987)
Kursy OnlineOgó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.
-
Jak sobie pościelisz… czyli o roli prac przedprojektowych
PublikacjaPrace 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.
PublikacjaObiekty 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
PublikacjaProces 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.
-
Anna Sobolewska mgr
OsobyBiogram Anna Sobolewska pracuje w Bibliotece Politechniki Gdańskiej w Sekcji Budowy Zbiorów Cyfrowych i Multimedialnych na stanowisku starszego bibliotekarza. Ukończyła studia na Wydziale Historycznym Uniwersytetu Mikołaja Kopernika, na kierunku Bibliotekoznawstwo i Informacja Naukowa. W Bibliotece Politechniki Gdańskiej zajmuje się zbiorami zabytkowymi, ich katalogowaniem zarówno formalnym jak i przedmiotowym, ich udostępnianiem...
-
Efektywna warstwa pośrednicząca dla obliczeń typu master-slave w środowisku C++/MPI
PublikacjaPokazano, jak dla wysokowydajnościowego algorytmu pisanego w modelu master-slave w języku C++ i spełniającego pewne ograniczenia można napisać i wykorzystać warstwę komunikacyjną zupełnie oddzielającą kod odpowiedzialny za komunikację od kodu odpowiedzialnego za dzie-dzinę problemową. Przedstawiona zostaje specyfkacja wymagań, jakie powinien spełniać hipotetyczny system rozproszony oraz warstwa komunikacyjna, a także wymagania...
-
Monomeric Triphosphinoboranes: Intramolecular Lewis Acid–Base Interactions between Boron and Phosphorus Atoms
PublikacjaHerein, we present the synthesis of the first fully characterized monomeric triphosphinoboranes. The simple reaction of boron tribromide with three equivalents of bulky lithium phosphide tBu2PLi yielded triphosphinoborane (tBu2P)3B. Triphosphinoboranes with diversified phosphanyl substituents were obtained via a two-step reaction, in which isolable bromodiphosphinoborane (tBu2P)2BBr is first formed and then reacts with one equivalent...
-
Visual Languages and Formal Methods
Konferencje -
Uwagi do metodyki projektowania układów geometrycznych toru
PublikacjaW pracy podjęto kwestię zmian, jakie w zakresie projektowania układów geometrycznych toru wprowadziły nowe akty prawne - Techniczne Specyfikacje Interoperacyjności oraz Standardy Techniczne przyjęte przez PKP PLK S.A. Rozpatrzono w sposób szczegółowy dopuszczalne wartości parametrów kinematycznych, skupiając się w głównym stopniu na analizie wartości normatywnych. Następnie omówiono ogólne zasady określania podstawowych parametrów...