Search
Filters
total: 65
Search results for: METODY FORMALNE
-
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.
-
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,...
-
Zachowanie poprzez sieciowanie w przedsiębiorczości społecznej w odpowiedzi na trudne otoczenie instytucjonalne – przypadek 5 spółdzielni socjalnych
PublicationCelem niniejszego artykułu jest zobrazowanie procesów, jakimi są zachowania przedsiębiorców, zachodzących w przedsiębiorczości społecznej w odpowiedzi na trudne otoczenie instytucjonalne. Opisano zachowania przedsiębiorcze przedstawicieli pięciu spółdzielni socjalnych na podstawie pogłębionych wywiadów i obserwacji . Za pomocą metody ciągłego porównywania wyodrębniono 3 główne kategorie zachowań badanych przedsiębiorców, które...
-
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...
-
Zbiorowe zaopatrzenie w wodę i odprowadzanie ścieków (2). Definicje niekompletne.
PublicationKomentarz do nowej ustawy. Formalne braki w regulacjach. Konieczne korekty.
-
Sprawdzanie dokumentacji projektowej
PublicationAnaliza problemu sprawdzenia projektu budowlanego. Wymagania prawne. Zmiany formalne, zagrożenia, konflikty.
-
Warunki wprowadzania ścieków do wód lub ziemi.
PublicationOmówienie aktualnej regulacji prawnej w przedmiotowym zakresie. Rozporządzenie, wymagania formalne, preferencje.
-
Wycena rozrachunków w prawie bilansowym i podatkowym
PublicationOmówiono czasowe i formalne instrumenty polityki bilansowej i podatkowej na przykładzie rozrachunków
-
Sprawność egzaminowania. Uprawnienia budowlane - nowe reguły.
PublicationNowe zasady prowadzenia egzaminów na uprawnienia budowlane w 2004 roku. Zmiany formalne i rzeczywiste
-
Samodzielne funkcje w budownictwie wprowadzone w 2014 r; Rozdział w pracy zbiorowej
PublicationKonsekwencje zmian prawnych wprowadzonych w 2014 r. Samodzielne funkcje w budownictwie. Wymagania formalne. Zasady uzyskiwania.
-
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.
-
Rura dobrze posadowiona
PublicationPosadowienie rurociągu. Znaczenie poznania warunków posadowienia. Podłoże rurociągu - formalne wymagania prawne, Eurokod 07. Konsekwencje rozporządzenia. Podstawowe błędy.
-
Minimalizm jako metoda twórcza w architekturze współczesnej na wybranych przykładach z lat 1990-2005
PublicationPunktem wyjścia do pracy nad niniejszą książką była zaobserwowana zarówno w języku krytyki architektonicznej jak i w języku potocznym tendencja do utożsamiania, a za tym ograniczania, znaczenia architektonicznego minimalizmu do jego aspektu wizualnego. Niemal każde formalne lub stylistyczne uproszczenie wpisane zostaje w jakiś szeroki nurt minimalizmu, a prosty wygląd architektury stał się jego podstawowym kryterium klasyfikacyjnym....
-
Wymagania formalne
PublicationFormalne wymagania w procesie budowlanym. Dokumentacja projektowa. Samodzielne funkcje w budownictwie. Uprawnienia budowlane. Zasady uzyskiwania uprawnień, ograniczenia i problemy
-
Uprawnienia budowlane. Wykształcenie w cenie
PublicationWarunki spełniania samodzielnych funkcji w budownictwie po zmianie ustawy prawo budowlane. Warunki uzyskania uprawnień zawodowych - wymagania formalne, postępowanie kwalifikacyjne.
-
Action Research - przygotowanie sądu do zmiany poprzez uczenie się - współpraca praktyków i badaczy
PublicationW praktyce zarządzanie sądem na ogół jest oddalone od teorii zarządzania. Prezesi sądów rzadko zwracają się do naukowców z prośbą o rozwiązanie ich problemów w zarządzaniu. W sądach brakuje nie tylko stałych form współpracy z naukowcami zajmującymi się zarządzaniem, ale także z innymi interesariuszami. Jedyną formą komunikacji, i to z ograniczoną liczbą interesariuszy, są formalne środki wyznaczone przez procedurę cywilną lub karną....
-
Uprawnienia budowlane.
Publicationprzedstawiono formalne wymagania stawiane osobom ubiegającym się o przyznanie uprawnień. Omówiono specjalności, specjalizacje oraz zasady kwalifikacji i prowadzenia egzaminu na uprawnienia
-
Rura w gruncie. Niekończąca się historia?
PublicationKonsekwencje 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
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ń.
-
Uwagi do wniosków o dofinansowanie w ramach ZPORR (Zintegrowanego Programu Operacyjnego Rozwoju Regionalnego)
PublicationOmó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.
-
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
-
Ogólne warunki procesu inwestycyjnego
PublicationSpecyficzne 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.
PublicationOmó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.
-
A model-based approach to analysis of security protocols - a case study
PublicationArtykuł przedstawia zintegrowane środowisko analizy protokołów bezpieczeństwa. Środowisko zostało oparte o znaną metodę formalną CSP oraz wspierające ją narzędzia: Casper oraz FDR. Integralną częścią opisywanego środowiska jest pół-formalne zorientowane obiektowo podejście do modelowania protokołów kryptograficznych, ich kontekstu aplikacyjnego oraz wymagań bezpieczeństwa. Modelowanie obiektowe zostało oparte o język UML oraz...
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
Ł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.
-
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.
-
Seminarium dyplomowe, S-30, WIMiO, MiBM, II st., sem. 02, stacjonarne, (PG_00057411), semestr letni 2022/2023
e-Learning CoursesWymagania formalne przy realizacji pracy dyplomowej. Dyskusja nad postępami w pracy, w szczególności przeglądu literatury. Prezentacja multimedialna osiągnięć z pracy dyplomowej w dwu wystąpieniach: pierwsze przeglądu literatury i założeń, drugie uzyskanych wyników. Przygotowanie do egzaminu dyplomowego. Źródła: https://wimio.pg.edu.pl/studenci/sprawy-studenckie/zasady-dyplomowania
-
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...
-
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.
-
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...
-
Dofinansowania z powiatowych urzędów pracy na rozpoczęcie działalności gospodarczej jako forma wsparcia mikro i małej przedsiębiorczości wraz z oceną jej efektywności na wybranych przykładach.
PublicationArtykuł opisuje zagadnienia związane z dofinansowaniami ze środków oferowanych przez powiatowe urzędy pracy na prowadzenie działalności gospodarczej. Uzyskanie dotacji wynoszącej nawet sześciokrotność przeciętnego wynagrodzenia w gospodarce narodowej, wymaga spełnienia kilku kryteriów. Poniższy artykuł opisuje najważniejsze kwestie i wymogi formalne związane z ubieganiem się o środki na dofinansowanie jednoosobowej działalności...
-
JEDNORAZOWE DOTACJE NA PODJĘCIE DZIAŁALNOŚCI GOSPODARCZEJ NA PRZYKŁADZIE DOTACJI UDZIELANYCH PRZEZ POWIATOWY URZĄD PRACY W GDYNI
PublicationW artykule dokonano opisu możliwości uzyskania dofinansowania w ramach środków pochodzących z Funduszu Pracy przyznawanych przez urzędy pracy. Tego typu jednorazowe i bezzwrotne wsparcie należy do stosunkowo łatwo dostępnych form finansowania nowo powstałych przedsiębiorstw zakładanych przez osoby bezrobotne. Niemniej jednak uzyskanie dotacji, wynoszącej nawet sześciokrotność przeciętnego wynagrodzenia w gospodarce narodowej, wymaga...
-
Uwarunkowania dotyczące zawartości granulatu asfaltowego w mieszankach mineralno-asfaltowych produkowanych na gorąco w otaczarkach cyklicznych
PublicationRecykling MMA na gorąco jest obecnie szeroko wykorzystywany w budownictwie drogowym. Pozwala on na uzyskanie istotnych korzyści ekologicznych i ekonomicznych. W artykule przedstawiono uwarunkowania wpływające na zawartość granulatu asfaltowego w MMA. Powinny być one uwzględniane, aby uzyskać MMA z granulatem asfaltowym o właściwościach, takich jak w przypadku mieszanek wykonanych z nowych materiałów. Omówiono głównie uwarunkowania...
-
Oceny środowiskowe jako narządzie kształtowania krajobrazu.
PublicationArtykuł prezentuje możliwości wykorzystania procedury oceny oddziaływania na środowisko do ochrony i kształtowania krajobrazu miasta. Przedstawiono zagrożenia krajobrazów miast we współczesnym świecie, istotę ocen środowiskowych, jak i możliwości wykorzystania tej procedury z punktu widzenia uwarunkowań formalno-prawnych, czyli działań organów administracji publicznej oraz innych zainteresowanych instytucji i organizacji. Usystematyzowano...
-
Kaszubskie zamieszkiwanie. Studium
PublicationGraficzne, malarskie i fotograficzne przedstawianie przestrzeni zamieszkiwania poprzez obraz oraz formalne poprzez rzeźbę to poszukiwanie nowych środków wyrazu dla ukazania osobistych refleksji na temat domu i jego relacji środowiskowych. Stanowią dopełnienie pracy naukowej i projektowej. Cykl „kaszubskie zamieszkiwanie. studium” to efekt projektu stypendialnego (stypendium dla twórców kultury Marszałka Województwa Pomorskiego...
-
Przegląd mechanizmów integracji wiedzy w projektach interdyscyplinarnych
PublicationCelem referatu było dokonanie przeglądu i porównania mechanizmów integracji wiedzy pochodzących z różnych źródeł, zaczynając od podejść kreatywnych, poprzez mniej i bardziej formalne podejścia powiązane z inżynierią oprogramowania, a kończąc na teorii badań interdyscyplinarnych i menadżerskim podejściu do zarządzania zespołami interdyscyplinarnymi. Pod względem metodologicznym, w referacie zastosowano wielodyscyplinarną analizę...
-
Nowoczesny menedżeryzm sądowy
PublicationCelem artykułu jest ocena rozwiązań przyjętych w wymiarze sprawiedliwości dotyczących zarządzania nim przez profesjonalne podmioty. Artykuł odpowiada na pytania, na ile formalne kompetencje menedżerów sądowych pokrywają się z kompetencjami merytorycznymi i praktycznymi. I wreszcie, na ile menedżerowie są świadomi wyzwań stojących przed współczesnym wymiarem sprawiedliwości w Polsce. Brak wiedzy i umiejętności z zakresu zarządzania...
-
Elektrownia Ostrołęka C w budowie a „momentum-FSI”
PublicationMimo przeszkód, trwa budowa elektrowni Ostrołęka C. O tym zapewniają nas główni decydenci – Jarosław Małkowski, Prezes Elektrowni Ostrołęka, czy Sławomir Żygowski, Prezes GE Power, firmy odpowiedzialnej projekt, wykonanie i budowę. Możemy o tym dowiedzieć się w mediach społecznościowych. Ale te same media informują również, że 31 lipca 2019 r. Sąd okręgowy w Poznaniu stwierdził nieważność uchwały Walnego Zebrania Akcjonariuszy...
-
Wzornictwo regionalne jako źródło inspiracji we współczesnym projektowaniu architektonicznym
PublicationKaszuby to region o wyjątkowym wzornictwie regionalnym. Ocalało wiele dobrze zachowanych przykładów zabudowy ruralistycznej i samych obiektów architektonicznych. Szczególną rolę pełni tu wdzydzki skansen stanowiący pełnowymiarowy wzornik inspirujący współczesnych twórców. Rozwiązania formalne oraz detale rzemieślnicze utrwalone tradycją zdobniczą i określoną topografią oraz zasobnością regionu, a także elementy dekoracyjne towarzyszące...
-
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...
-
Analiza holenderskich doświadczeń w zakresie logistyki miejskiej
PublicationW artykule dokonano analizy holenderskich doświadczeń w zakresie logistyki miejskiej i organizacji systemu dostaw towarów na przykładzie Utrechtu. Wybór miasta podyktowany był ponad 20 letnim konsekwentnym zaangażowaniem i doświadczeniem w tej dziedzinie. Przedstawiono zmiany w podejściu do problemów miejskiego transportu ładunków z punktu widzenia polityki krajowej oraz przebieg procesu decentralizacji odpowiedzialności na poziom...
-
Szpital -- forma i funkcja
PublicationForma architektoniczna obiektów służby zdrowia, zwłaszcza szpitali, zdeterminowana jest funkcją. Powiązania między działami szpitala, technologia medyczna, wyposażenie techniczne i instalacyjne, konstrukcja budynku wynikają bezpośrednio z przyjętego układu funkcjonalnego i w znaczący sposób wpływają na rozwiązania formalne i estetyczne. Istotnym elementem prawidłowego funkcjonowania szpitala jest układ komunikacji wewnętrznej,...
-
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ą,...
-
Skills Mismatch in the Context of Technological Change
PublicationThis dissertation examines the impact of technological change (TC) on skills and competences and how higher education’s role has changed along the way. Quantitative research was conducted to reveal the perceptions of students and employers in Poland on the relevance of particular skills in an ICT based economy. The results of this research show that there is generally a rather insignificant discrepancy in these perceptions....
-
Manifesty urbanistyczne. W poszukiwaniu współczesnego modelu miasta
PublicationPrzypominane w tym tomie manifesty urbanistyczne powstały w odpowiedzi na „szok urbanizacyjny” XIX i początku XX wieku, kiedy problemy wyrosłe z nienotowanego nigdy wcześniej wzrostu miast odsunęły na bardzo daleki plan wcześniejsze rozwiązania geometryczne jako nieadekwatne do palących problemów społecznych, ekonomicznych, technicznych i środowiskowych. Wizje miast zaczęli budować nie tylko, a może nawet nie przede wszystkim,...
-
A system automating repairs of IT systems
PublicationThis paper presents two problems that are important nowadays: the problem of IT systems monitoring and the problem of repairing them. It shows the developed solution, aimed to automate the existing industrial repair process and to integrate it with the existing monitoring solutions and mechanisms. Described solution is a part of a bigger whole, called the Repair Management Framework (RMF). This paper presents also briefly a case...
-
An integrated method for security protocols analysis
Publication -
OF-FEMEA: an approach to safety analysis of object oriented software intensive systems.
PublicationArtykuł przedstawia rozszerzenie metody FMEA znanej z jej zastosowań w stosunku do systemów związanych z bezpieczeństwem, w sposób umożliwiający jej stosowanie do systemów zawierających oprogramowanie i budowanych zgodnie z podejściem obiektowym. Punktem wyjścia dla metody są modele współpracy wyrażone w notacji UML. Komponenty systemu są modelowane z zastosowaniem notacji formalnej CSP. Metoda wspomaga systematyczną identyfikacje...
-
Wykorzystanie programu AutoFocus do analizy protokołów kryptograficznych
PublicationAutoFocus jest narzędziem wspomagającym wytwarzanie systemów wbudowanych charakteryzujących się wysoką niezawodnością. Artykuł prezentuje studium przypadku zastosowania narzędzia i związanej z nim metody formalnej Focus do analizy bezpieczeństwa (ang. security) protokołu tworzenia podpisu cyfrowego w środowisku rozproszonym. Zastosowana metoda formalna wykorzystana została jako ostatni etap zintegrowanej metody oceny protokołów...
-
A model-based approach to analysis of authentication protocols.
PublicationW referacie przedstawiono zintegrowane podejście do analizy protokołów uwierzytelniania o nazwie Object-oriented Formal Authentication Protocol Security Analysis Framework (OF-APSAF). Podejście to jest zaprojektowane na bazie sprawdzonej metody formalnej CSP wraz z narzędziami ją wspierającymi: Casper oraz FDR. Jego integralną częścią jest półformalna zorientowana obiektowo technika modelowania protokołów, ich kontekstu oraz wymagań...