Filters
total: 1161
-
Catalog
- Publications 1001 available results
- Journals 7 available results
- Conferences 24 available results
- Publishing Houses 1 available results
- People 16 available results
- Laboratories 1 available results
- e-Learning Courses 74 available results
- Events 35 available results
- Open Research Data 2 available results
displaying 1000 best results Help
Search results for: FORMALNE%20WYMAGANIA
-
O topologii w architekturze
PublicationOpracowanie dotyczy inspiracji we współczesnej architekturze topologicznymi koncepcjami. Wzbogacenie warsztatu projektowego o komputerowe narzędzia obliczeniowe umożliwiające tworzenie i modyfikowanie unikalnej, krzywoliniowej, geometrii katalizuje formalne i konceptualne eksploracje przestrzeni topologicznej przez awangardowych projektantów. Podejście topologiczne manifestuje się zarówno w dynamice procesu projektowania opartego...
-
Agnieszka Szymik mgr
PeopleAgnieszka Szymik is an e-resources librarian at Gdańsk University of Technology Library in Scientific Information Services. Agnieszka graduated from Jagiellonian University in Cracow with a major in Information and Library Science, specializing in Digital Resources and Electronic Publishing. Currently, she is responsible for managing online resources and databases and teaches an e-learning course on Information Literacy. Agnieszka...
-
Wody opadowe - aspekty prawne, ekonomiczne i techniczne
PublicationProblemy zagospodarowania wód opadowych. Zagadnienia formalne i techniczne, trudności, poszukiwanie dróg rozwiązania. Konflikty. Rezultaty branżowego spotkania włocławskiego.
-
A Method Supporting Monitoring And Repair Processes of Information Systems
PublicationW pracy zaproponowano nową metodę (ARM) zarządzania monitorowaniem i naprawą systemów IT, bez przerywania ciągłości ich funkcjonowania. Metoda ta integruje procesy monitorowania (uwzględniając już istniejące i stosowane rozwiązania) z procesami naprawy. Stworzono formalny model koncepcyjny opisujący dziedzinę monitorowania i naprawy oraz formalne specyfikacje mechanizmu napraw oraz wybranych procedur naprawczych. Do specyfikacji...
-
Zmiany w procesie inwestycyjnym
PublicationKonsekwencje 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.
PublicationOmó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.
PublicationPrzedstawiono 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ń.
-
Stanisław Galla dr inż.
PeopleStanisław Galla was born in 1970 in Gdańsk. He graduated from the Secondary Technical School of Mechanical and Electrical Engineering in Gdansk (1990). He studied at the Faculty of Electrical Engineering at Gdansk University of Technology (graduated in 1996). His PhD thesis entitled "Methodology for increasing the accuracy of low frequency measurements of periodic disturbance indicators in low voltage networks" was defended in...
-
Powodzie miejskie. Wody opadowe – aspekty prawne, ekonomiczne i techniczne.
PublicationPowodzie 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
-
Rzeczywiste charakterystyki czasowo-prądowe wyłączników różnicowoprądowych 30 mA przy prądzie sinusoidalnym
PublicationPrzedstawiono wymagania norm odnoszące się do charakterystyki czasowo-prądowej wyłączników różnicowoprądowych o znamionowym prądzie różnicowym zadziałania równym 30 mA. Zaprezentowano wyniki badań laboratoryjnych czasu wyłączania takich wyłączników przy sinusoidalnym prądzie różnicowym i oceniono je z punktu widzenia tych wymagań. Badania wykazały, że czasy wyłączania dwóch lub większej liczby porównywanych wyłączników różnicowoprądowych...
-
Próbne obciążenia statyczne i dynamiczne pali w odniesieniu do zaleceń Eurokodu 7
PublicationOmó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.
-
Semi-Markow Processes as Models of Devices´ Operating Process of Ship Pro-pulsion System
PublicationReferat zawiera formalny opis procesu eksploatacji urządzeń.
-
Theoretical and practical solving of hydroengineering problems
PublicationRozważ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.
-
Miało być pięknie a wyszło jak zwykle
PublicationPrzedstawiono kwestie barier funkcjonowania i rozwoju infrastruktury energetycznej w aspektach formalno-prawnych.
-
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.
-
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)...
-
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...
-
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.
-
Stanisław Taryma dr hab. inż.
People -
Analiza drgań przewodu jezdnego dla potrzeb walidacji modelu matematycznego sieci trakcyjnej
PublicationNieprawidłowa współpraca odbieraka z siecią jezdną, w niekorzystnych warunkach lokalnych, prowadzi do uszkodzeń sieci lub odbieraka. Najczęściej spowodowane to jest niewłaściwą regulacją tych elementów układu zasilania. Awarie te wywołują z reguły duże opóźnienia w ruchu pociągów i generują olbrzymie koszty. Sieć trakcyjna nie posiada rezerwy, stąd wysokie wymagania jakościowe i niezawodnościowe określa się szczególnie dla niej....
-
Podstawy systemów okrętowych, W, PiBJ, sem.3, zimowy 24/25
e-Learning CoursesPojęcie systemu okrętowego, funkcje i klasyfikacja systemów okrętowych, wymagania formalno - prawne wodniesieniu do instalacji i urządzeń okrętowych, zdolność do ruchu statku ogólne wiadomości o układzienapędowym, ogólne wiadomości o instalacjach okrętowych, instalacje przeciwpożarowe, instalacje zęzowe ibalastowe, instalacje sanitarne statku, wentylacja i klimatyzacja okrętowa, okrętowe urządzenia i instalacjechłodnicze. Systemy...
-
Podstawy systemów okrętowych, W, OiKM, sem. 3, zimowy 24/25
e-Learning CoursesPojęcie systemu okrętowego, funkcje i klasyfikacja systemów okrętowych, wymagania formalno - prawne wodniesieniu do instalacji i urządzeń okrętowych, zdolność do ruchu statku ogólne wiadomości o układzienapędowym, ogólne wiadomości o instalacjach okrętowych, instalacje przeciwpożarowe, instalacje zęzowe ibalastowe, instalacje sanitarne statku, wentylacja i klimatyzacja okrętowa, okrętowe urządzenia i instalacjechłodnicze. Systemy...
-
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.
-
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.
-
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''.
-
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 -
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ą,...
-
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,...
-
Formal and Computational Cryptography
Conferences -
Integrated Formal Methods
Conferences -
Formal Methods Pacific
Conferences -
Wymagania inżynierii systemów dla maszyn wirujących (PG-00060237)
e-Learning CoursesTurbiny wiatrowe, gazowe, mikroturbiny, silniki lotnicze, turbosprężarki i inne systemy mechaniczne to przykłady maszyn wirujących, które wymagają wysoko wykwalifikowanych inżynierów. Powinni oni zrozumieć złożoność procesów projektowania i produkcji, w tym wytwarzania przyrostowego, oraz konserwacji prognostycznej opartej na inżynierii cyfrowej dla bezawaryjnej pracy silnika. Kurs zapewnia fundamentalną wiedzę wymaganą w przemyśle...
-
International Symposium on Formal Methods (Formal Methods Europe [FME])
Conferences -
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.
-
A risk-based method for ship safety assessment at the preliminary designstage
PublicationPraca zawiera wyniki badań dotyczących opracowania metody do analizy bezpieczeństwa statku w warunkach krytycznych. Metoda oparta jest na podejściu systemowym do oceny bezpieczeństwa, formalnej ocenie bezpieczeństwa FSA i hydromechanice okrętu. Podano przykłady oceny ryzyka utraty statku w warunkach krytycznych.
-
Kulturowe determinanty zarządzania przedsiębiorstwami klastrowymi
PublicationCelem prezentowanego artykułu jest próba określenia swoistego kulturowego profilu zarządzania specyficznym rodzajem organizacji, jaką jest tzw. przedsiębiorstwo klastrowe, czyli podmiot gospodarczy wchodzący w skład formalnie wyodrębnionej z otoczenia „nadorganizacji” (lub po prostu organizacji wyższego rzędu), za jaką uważana jest inicjatywa klastrowa.
-
Arte and Arche. On Art and Architecture
PublicationArchitekci poszukują inspiracji i wzorców dla form architektonicznych wśród innych dziedzin sztuki. Zapożyczenia, cytaty i reinterpretacje malarstwa, rzeźby, muzyki, a nawet tańca mogą przynieść oryginalne koncepcje i rozwiązania formalne, przy okazji wiążąc architekturę z szerszym kontekstem historycznym, duchowym i kulturowym. Współczesne formy architektoniczne nieraz powstają jako przestrzenna interpretacja kompozycji malarskich...
-
Seminarium dyplomowe inżynierskie 2024/2025 - semestr zimowy
e-Learning CoursesMateriały do pracy na seminarium dyplomowym inżynierskim: Plan ogólny to: 1. Prezentowanie treści w pracy : prezentacje graficzne i organizowanie rysunków 2. Przegląd nowej wiedzy - praca z literaturą 3. Budowanie i opracowywanie bibliografii 4. Cel pracy, przygotowanie konspektu zawierającego strukturę pracy 5. Metodyka pracy z tekstem / Strona edytorska pracy - cz. I 6. Metodyka pracy z tekstem / Strona edytorska pracy...