Filtry
wszystkich: 1669
-
Katalog
- Publikacje 1415 wyników po odfiltrowaniu
- Czasopisma 3 wyników po odfiltrowaniu
- Konferencje 24 wyników po odfiltrowaniu
- Osoby 50 wyników po odfiltrowaniu
- Wynalazki 11 wyników po odfiltrowaniu
- Projekty 10 wyników po odfiltrowaniu
- Laboratoria 1 wyników po odfiltrowaniu
- Zespoły Badawcze 2 wyników po odfiltrowaniu
- Kursy Online 68 wyników po odfiltrowaniu
- Wydarzenia 25 wyników po odfiltrowaniu
- Dane Badawcze 60 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: WERYFIKACJA FORMALNA
-
Wymagania formalne
PublikacjaFormalne wymagania w procesie budowlanym. Dokumentacja projektowa. Samodzielne funkcje w budownictwie. Uprawnienia budowlane. Zasady uzyskiwania uprawnień, ograniczenia i problemy
-
Języki i gramatyki formalne
PublikacjaRozdział zawiera wprowadzenie do teorii języków formalnych, gramatyk i automatów. Przedstawione zostały podstawowe pojęcia i definicje oraz przykłady dotyczące w szczególności analizy leksykalnej, składniowej i semantycznej zdań w językach formalnych.
-
Języki formalne, automaty i translatory
PublikacjaKsiążka stara się w przystępny sposób przedstawić zagadnienia związane z teorią języków formalnych, automatów i translatorów. Wiedza ta pomoże nie tylko zrozumieć zasady stosowanych na co dzień narzędzi informatycznych, ale pomoże również w rozwiązywaniu częstych problemów związanych z przetwarzaniem danych tekstowych o zdefiniowanej strukturze.Książka ta przeznaczona jest przede wszystkim dla szerokiego grona studentów informatyki...
-
Pomiarowa weryfikacja wybranych modeli propagacyjnych
PublikacjaWciąż rosnące zapotrzebowanie na usługi wymagające coraz większej przepływności oraz jakości stawia projektanta sieci radiokomunikacyjnej w niełatwej sytuacji. W celu wspomagania projektanta w tym skomplikowanym zadaniu, opracowano liczne modele tłumienia propagacyjnego. Jednym z podstawowych zjawisk zachodzących w kanale radiowym jest tłumienie sygnału. Stanowi ono jeden z najważniejszych oraz niezbędnych czynników branych pod...
-
Polska Organizacja Turystyczna-charakterystyka formalno-prawna
Publikacjacelem opracowania jest przyblizenie celu, działania oraz regulacji formalno- prawnej Polskiej organizacji turystycznej.
-
Aspekty formalno-prawne współczesnej gospodarki energetycznej
PublikacjaPrzedstawiono najbardziej istotne akty prawne , dyrektywy,zarządzenia rozporządzenia regulujące procesy gospodarowania energią
-
Weryfikacja stałoprądowego modelu tranzystora typu MAGFET
PublikacjaZaproponowano kompletny, stałoprĄdowy model tranzystora typu MAGFET wykorzystywanego jako czujnik pola magnetycznego. Zaprezentowany model odzwierciedla zależnoŚć podziału prĄdu płynącego w kanale tranzystora na prądy drenów od napięć drenów.
-
Eksperymentalna weryfikacja metody wielopasmowego pomiaru emisyjności
PublikacjaW pracy zaproponowano i opisano wielopasmową pasywną metodę pomiaru emisyjności obiektu. W oparciu o zrealizowane stanowisko pomiarowe dokonano pomiarów emisyjności wybranych obiektów. Uzyskano dobrą zgodność wyników pomiarów z wynikami wcześniejszej komputerowej analizy systemu. Potwierdziło to przydatność wielopasmowej metody do pomiaru emisyjności w warunkach roboczych.
-
Obliczeniowa weryfikacja parametrów konstrukcyjnych podpory hydrostatycznej.
PublikacjaCelem pracy jest przeprowadzenie weryfikacji przyjętych parametrów konstrukcyjnych układu hydrostatycznego wspomagania łożyska wzdłużnego turbiny elektrowni wodnej Dychów. Weryfikację przeprowadzono na drodze obliczeniowej z wykorzystaniem MES, uwzględniając w obliczeniach deformacje klocka łożyska, warunki jego podparcia oraz przepływ oleju w szczelinie smarowej. Przedstawiono wyniki obliczeń które potwierdzają poprawność przyjętych...
-
Certyfikacja wyrobów elektronicznych
PublikacjaDziałania jednostki certyfikującej wyroby mają na celu zapewnienie zaufania użytkownika do jakości wyrobu. Uzyskanie certyfikatu bezpieczeństwa dla wyrobu podlegającego temu obowiązkowi decyduje o wprowadzeniu go na rynek. W przypadku certyfikacji dobrowolnej, uzyskanie certyfikatu służy promocji wyrobu. Aktualnie wprowadzony jest w Polsce system oceny wyrobów obowiązujący w Unii Europejskiej (UE), oparty na dyrektywach nowego...
-
Formalne przejawy procesów transformacji w architekturze współczesnej
PublikacjaW referacie przedstawiono aspekty podejścia topologicznego w projektowaniu architektonicznym. Omówiono wybrane tendencje i teorie panujące na badanym polu tema-tycznym, na tle podstaw alternatywnych geometrii w dobie CAAD, podstaw filozoficznych i uwarunkowań cywilizacyjnych.
-
System Weryfikacji Autentyczności Podpisu Odręcznego
PublikacjaW referacie przedstawiono system statycznej i dynamicznej weryfikacji autentyczności podpisu odręcznego, składanego piórem biometrycznym, wyposażonym w 2 akcelerometry, 2 żyroskopy i 3 czujniki ścisku, na rezystancyjnej powierzchni dotykowej, łączącym się bezprzewodowo z urządzeniami komputerowymi. We wstępie przedstawiono architekturę sieciową wielomodalnego systemu biometrii. Przedstawiono warstwę sprzętową systemu weryfikacji...
-
Modelowanie konstrukcji mostowych - obliczenia i weryfikacja ''in situ''
PublikacjaObiekty mostowe są konstrukcjami inżynierskimi, które ze względu na ich odpowiedzialność i długi okres eksploatacji - przed oddaniem do użytkowania poddawane są wszechstronnej ocenie w formie badań, zwanych potocznie próbnym obciążeniem. Zadaniem tych badań jest sprawdzenie poprawności pracy konstrukcji i przyjętych założeń projektowych. Przyciągające uwagę społeczeństwa próbne obciążenie na moście poprzedza projekt jego badań....
-
Weryfikacja asynchronicznych układów cyfrowych w strukturach FPGA
PublikacjaW artykule przedstawione zostały podstawowe informacje dotyczące typowych klas układów asynchronicznych. Wymienione klasy zostały następnie przeanalizowane pod kątem możliwości ich implementacji w układach programowalnych FPGA. Klasa "micropipelines" omówiona została dokładniej. W tej klasie został zaimplementowany w układzie FPGA typu Virtex2 przykładowy procesor asynchroniczny realizujący listę rozkazów swojego synchronicznego...
-
Weryfikacja poziomu nienaruszalności funkcji związanych z bezpieczeństwem
PublikacjaFunkcje związane z bezpieczeństwem są realizowane przez systemy sterowania i zabezpieczeń zawierające elementy elektryczne, elektroniczne i programowalne elektroniczne (E/E/PE). Systemy te należą do środków pozwalających na zmniejszenie ryzyka pochodzącego od instalacji technicznej i procesu. Właściwe zaprojektowanie systemu E/E/PE realizującego funkcje związane z bezpieczeństwem jest problematyczne. Zagadnienia weryfikacji poziomów...
-
Weryfikacja modelu hydrostatycznego wspomagania łożyska nośnego hydrogeneratora
PublikacjaW referacie przedstawiono model MES szczeliny olejowej oraz klocka łożyska nośnego hydrogeneratora elektrowni Porąbka-Żar. W obliczeniach uwzględniano deformacje sprężyste klocka, przepływ oleju przez szczelinę olejową oraz warunki podparcia klocka. Przedstawiono również niektóre wyniki obliczeń uzyskane za pomocą opisanego modelu MES i porównano je z wynikami pomiarów doświadczalnych przeprowadzonych na stanowisku badawczym AGH...
-
Czasowe i formalne instrumenty polityki bilansowej i podatkowej
PublikacjaPublikacja zawiera omówienie czasowych i formalnych instrumentów polityki bilansowej i podatkowej. Wyjaśniono w nim pojęcie roku podatkowego i roku obrotowego. Zaprezentowano obowiązki i odpowiedzialność za prawidłowe rozliczenia podatkowe.
-
Empiryczna Weryfikacja Hipotezy Collatza za pomocą obliczeń Gridowych
Publikacja -
Weryfikacja rozmytego modelu wspomagania zarządzania wybranymi usługami internetowymi
PublikacjaRozwinięcie koncepcji rozmytego modelu wspomagania zarządzania wybranymi usługami w internecie poprzez dedykowany model dla rynku internetowych kredytów hipotecznych.
-
Weryfikacja agentów systemu agentowego do oceny technologii informatycznych
PublikacjaRozdział podejmuje próbę weryfikacji agentów systemu agentowego do oceny technologii informatycznych. W pierwszej części zaprezentowano rozwój i dojrzewanie samej koncepcji systemu po to aby w dalszej części dokonać weryfikacji zbudowanego prototypu. Artykuł poza samą weryfikacją pokazuje jednocześnie kierunki dalszego rozwoju przyjętej struktury systemu agentowego do oceny technologii IT.
-
Weryfikacja dokumentacji technicznej systemu ochrony katodowej rurociągu paliwowego
PublikacjaZweryfikowano dokumentację techniczną systemu ochrony katodowej rurociągu paliwowego
-
WERYFIKACJA WZMOCENIANIA ŚRODNIKÓW KROKWI DACHU ZBIORNIKA NA GAZ
PublikacjaPraca dotyczy wariantowej analizy wyselekcjonowanych detali konstrukcji dachu zbiornika na gaz w terminalu regazyfikacyjnym LNG w Świnoujściu. W kontekście bezpieczeństwa konstrukcji badano fakt pominięcia w trakcie budowy części przewidzianych w projekcie żeberek usztywniających środniki krokwi w strefie mocowania wieszaków. Obliczenia w środowisku MES przeprowadzono w dwóch etapach. Etap pierwszy obejmował liniową analizę całej...
-
Drgania i hałaśliwość silników asynchronicznych - weryfikacja nowych hipotez
PublikacjaArtykuł zawiera nowe spojrzenie na postaci drgań kadłuba i tarcz silników asynchronicznych wymuszanych siłami elektromagnetycznymi. Omówiono badania postaci drgań własnych i eksploatacyjnych kadłuba i tarcz łożyskowych. Poddano analizie związki przyczynowo-skutkowe postaci drgań tarcz łożyskowych z łożyskami tocznymi i ślizgowymi. Wykazano, że wibracyjne eksploatacyjne odkształcenia tarcz silników klatkowych małej i średniej mocy,...
-
Weryfikacja dynamicznego podpisu odręcznego za pomocą filtru dopasowanego
PublikacjaPrzedmiotem referatu jest dynamiczny podpis odręczny, traktowany jako sygnał telekomunikacyjny, a więc weryfikowany (wykrywany) za pomocą filtru dopasowanego. Niezawodność takiej weryfikacji wymaga uprzedniej unifikacji i normalizacji wszystkich podpisów zgromadzonych w bazie i podpisu właśnie składanego. Celem tego przetwarzania wstępnego jest pozbawienie podpisów ich parametrów biernych (wielkości, położenia i orientacji) oraz...
-
Wybrane zagadnienia weryfikacji projektów obiektów inżynierskich
PublikacjaArtykuł omawia wybrane zagadnienia nadzorów autorskich na przykładzie obiektów nadzorowanych przez zespół autora
-
Stanowisko badawcze do weryfikacji algorytmów sterowania
PublikacjaOpisano laboratoryjne stanowisko do badania algorytmów sterowania z możliwością oceny metod stosowanych przy ich tworzeniu. Przedstawiono praktyczne zastosowanie środowiska Matlab-Simulink do modelowania elementów układu sterowania, współpracujących z obiektem rzeczywistym.
-
Model formalny dla problemu lokalizacji błędów w kodzie programu
PublikacjaIstnieje szereg sposobów badania poprawności programów komputerowych. W niniejszym referacie podejmujemy problem automatycznego testowania oprogramowania przy założeniu, iż dany jest zbiór testów (asercji) dla poszczególnych fragmentów kodu. Dla uproszczenia analizy zakładamy, że badany fragment kodu zawiera dokładnie jeden błąd, co nie zmniejsza ogólności rozważań. W artykule analizujemy praktyczne aspekty powyższego problemu...
-
Formalne wymagania w stosunku do ustalenia geotechnicznych warunków posadowienia
PublikacjaSzczegółowe omówienie formalnych wymagań prawnych w stosunku do dokumentacji posadowienia obiektu budowlanego. Konsekwencje przystąpienia Polski do CEN skutkują koniecznością wprowadzenia EUROKODÓW, a dalej odpowiednich wymagań w stosunku do dokumentacji posadowienia. Wprawdzie w dotychczasowych regulacjach prawnych były zamieszczone informacje dotyczące zagadnienia, a podstawowe klasyfikacje nie uległy zmianom,. jednak wcześniejsze...
-
Sytuacja odbiorcy komunalno – bytowego w aktualnych uwarunkowaniach formalno - prawnych
PublikacjaW artykule zostanie przedstawiona analiza funkcjonowania zasady wolnego wyboru dostawcy energii elektrycznej. Podstawą do analizy sytuacji polskich gospodarstw domowych będą obowiązujące akty formalno – prawne. Rezultatem będzie wyznaczenie głównych przeszkód organizacyjnych, utrudniających zmianę sprzedawcy odbiorcom na niskim napięciu oraz próba wskazania obszarów, w których zmiany wydają się najistotniejsze.
-
Weryfikacja algorytmów MPPT dla modułów fotowoltaicznych w warunkach przesłonięcia
PublikacjaIntensywny rozwój technologii powoduje obniżenie ceny modułów fotowoltaicznych i dedykowanych przetwornic. Podstawą opłacalności jest wysoka sprawność całego układu na którą składają się sprawności modułów, przetwornic oraz algorytmu śledzenia maksymalnej mocy (MPPT - Maximum Power Point Tracking). Znane i stosowane algorytmy mają MPPT sprawności od ok. 95 do 99%, o ile ogniwa mają identyczne parametry i są jednakowo nasłonecznione....
-
Weryfikacja działania blokad przeciwkołysaniowych na przykładzie zabezpieczeń firmy Siemens
PublikacjaReferat podejmuje tematykę działania zabezpieczeń impedancyjnych w czasie trwania synchronicznych i asynchronicznych kołysań mocy. W referacie analizowano działanie zabezpieczeń impedancyjnych generatora synchronicznego oraz linii blokowej. Wskazano na niebezpieczeństwo błędnego działania zabezpieczeń przy obecnie stosowanych sposobach ich nastawiania.
-
Weryfikacja skuteczności parametrycznych oraz nieparametrycznych modeli prognozowania upadłości przedsiębiorstw
PublikacjaArtykuł ten miał na celu weryfikację skuteczności modeli parametrycznych tj. logitowych, probitowych i analizy dyskryminacyjnej, oraz modeli nieparametrycznych, czyli sztucznych sieci neuronowych, w prognozowaniu upadłości przedsiębiorstw. Autor na podstawie takiej samej populacji spółek akcyjnych notowanych na warszawskiej Giełdzie Papierów Wartościowych opracował modele prognozowania upadłości spółek na rok i na dwa lata wstecz....
-
Weryfikacja doświadczalna analizy numerycznej stanowiska do badania silników wiatrowych
PublikacjaW pracy zawarto analizę porównawczą badań doświadczalnych i symulacyjnych stanowiska do badania silników wiatrowych. Stanowisko to zostało zbudowane w Pracowni podstaw Konstrukcji Maszyn znajdującej się na terenie Uniwersytetu Warmińsko-Mazurskiego w Olsztynie. W artykule zamieszczono wyniki badań doświadczalnych oraz symulacyjnych przeprowadzonych w systemach CAD/CAE. Wykorzystano analizy statyczne, dynamiczne z uwzględnieniem...
-
Weryfikacja doświadczalna analizy numerycznej stanowiska do badania silników wiatrowych
PublikacjaW pracy zawarto analizę porównawczą badań doświadczalnych i symulacyjnych stanowiska do badania silników wiatrowych. Stanowisko to zostało zbudowane w Pracowni podstaw Konstrukcji Maszyn znajdującej się na terenie Uniwersytetu Warmińsko-Mazurskiego w Olsztynie. W artykule zamieszczono wyniki badań doświadczalnych oraz symulacyjnych przeprowadzonych w systemach CAD/CAE. Wykorzystano analizy statyczne, dynamiczne z uwzględnieniem...
-
Weryfikacja Poziomów Nienaruszalności Bezpieczeństwa z uwzględnieniem Zagadnień Ochrony Informacji
PublikacjaNiniejszy rozdział poświęcono wybranym istotnym zagadnieniom analizy bezpieczeństwa funkcjonalnego, w szczególności weryfikacji poziomów nienaruszalności bezpieczeństwa SIL funkcji bezpieczeństwa implementowanych w rozproszonych systemach sterowania i zabezpieczeń z uwzględnieniem zagadnień ochrony informacji. Zaproponowano metodę opartą na informacji ilościowej i jakościowej do weryfikacji SIL (IEC 61508, 61511) z uwzględnieniem...
-
WERYFIKACJA POZIOMÓW NIENARUSZALNOŚCI BEZPIECZEŃSTWA Z UWZGLĘDNIENIEM ASPEKTÓW OCHRONY INFORMACJI
PublikacjaPoszczególnym poziomom SIL projektowanego systemu elektrycznego/elektronicznego/programowalnego elektr onicznego E/E/PE (BPCS lub SIS) odpowiadają ilościowe kryteria probabilistyczne. Dowód spełnienia przez system zabezpieczeń wymagań SIL nazywa się weryfikacją. Model probabilistyczny dowolnego systemu zabezpieczeń SIS można przedstawić za pomocą schematów blokowych niezawodności RBD, grafów Markowa, równań uproszczonych oraz drzew niezdatności...
-
Weryfikacja obliczeń numerycznych czteroprzęsłowego ciągłego wiaduktu kablobetonowego metodą analityczną
PublikacjaW artykule poddano analizie obliczeniowej czteroprzęsłowy wiadukt kablobetonowy zaprojektowany w schemacie statycznym belki ciągłej, zrealizowany przed kilku laty nad autostradą A1. Porównano wyniki obwiedni naprężeń normalnych w przekroju betonowym dźwigara, zarówno rozciągających jak i ściskających, uzyskanych przy pomocy obliczeń analitycznych oraz numerycznych. Do obliczeń komputerowych wykorzystano dwa modele: belkowy oraz...
-
Weryfikacja autentyczności kolorów na zdjęciach wykonanych w technice analogowej
PublikacjaW artykule opisano zagadnienie odróżniania historycznych fotografii pomiędzy oryginalnie kolorowe a koloryzowane. Rozważono problem doboru zdjęć pod względem technologii, w jakiej zostały wykonane. Następnie wykorzystując sieci neuronowe już w części wyuczone na innych zbiorach danych, sprawdzono ich efektywność w rozwiązywaniu badanego problemu. Rozważono wpływ rozmiaru obrazu podanego na wejściu, architektury zastosowanej sieci,...
-
Weryfikacja mes badań właściwości sprężysto-lepkoplastycznych stali p9 (9cr1mo).
PublikacjaW niniejszej pracy opisano zastosowanie MES do weryfikacji badań, które miały na celu określenie właściwości sprężysto-lepkoplastycznych stali ferrytycznej P9 (9Cr1Mo) w temp. 500[°C]. W referacie skupiono się na błędach w geometrii próbek powstałych przy ich przygotowaniu. Wyniki analizy numerycznej miały na celu potwierdzenie wpływu wybranych imperfekcji na zaobserwowane deformacje próbek. W obliczeniach wykorzystano komercyjny...
-
Content of odd-numbered carbon fatty acids in the milk of lactating women and in infant formula and follow-on formula
PublikacjaBadano zależność pomiędzy występowaniem w mleku ludzkim kwasów pentadekanowego C15:0 (PA) i heptadekanowego C17:0 (HA) a rodzajem diety matek oraz oznaczono zawartość kwasów PA i HA w preparatach do początkowego i następnego żywienia niemowląt, dostępnych w sprzedaży. Badaniu poddano mleko ludzkie uzyskane od 34 zdrowych kobiet w wieku 24-33 lata. Matki podzielono na dwie grupy zgodnie ze spożywana przez nie dietą: grupa kobiet...
-
System do prognozowania zanieczyszczeń środowiskiem weryfikacji ontologii
PublikacjaW rozdziale zaprezentowano stan badań prowadzonych nad zastosowaniem ontologii w modelu wieloagentowego systemu wspomagania decyzji. Przedstawiono model systemu, dobór środowiska weryfikacji ontologii oraz procesy weryfikacji z wykorzystaniem danych opisujących środowisko zanieczyszczeń powietrza w Gdańsku. Dobór środowiska weryfikacji wynikał z potrzeby wykorzystania powtarzalnych danych oraz ilościowej ich reprezentacji. Procesy...
-
The asymptotic formula for the error in orthogonal projection
PublikacjaW pracy podano formułę asymptotyczną błędu aproksymacji dla rzutów ortogonalnych w normie L^p.
-
Diagnostyka weryfikacyjna podsystemów i urządzeń
PublikacjaRozdział dotyczy diagnostyki weryfikacyjnej podsystemów i urządzeń technologicznych. Diagnostykę techniczną podzielono na diagnostykę uszkodzeniową, która zajmuje się identyfikacją i lokalizacją uszkodzeń i defektów maszyn lub jego podzespołów oraz na diagnostykę weryfikacyjną, której zadaniem jest kontrola i ciągła weryfikacja istotnych parametrów z przyjętym ich modelem, traktowanym jako wzorcowy. Diagnostykę weryfikacyjną można...
-
Weryfikacja nastawień zabezpieczeń od utraty wzbudzenia na przykładzie elektrociepłowni przemysłowej
PublikacjaW artykule przedstawiono rozważania dotyczące działania zabezpieczeń reaktancyjnych od utraty wzbudzenia generatorów synchronicznych, pracujących w elektrociepłowni przemysłowej. Pokazano możliwości niewłaściwego działania zabezpieczenia od utraty wzbudzenia, wskazując że dobór nastawień powinien każdorazowo wykorzystywać badania modelowe. Przyjmowanie nastawień typowych zgodnych z wiedzą inżynierską może być przyczyną niewłaściwego...
-
Weryfikacja sprawności I stopnia wybranych krajowych modeli zagrożenia upadłości przedsiębiorstw
PublikacjaArtykuł niniejszy poświecony jest weryfikacji sprawności I stopnia polskich modeli służących prognozowaniu zagrożenia upadłości przedsiębiorstw. Zawiera on wyniki testowania dziesięciu krajowych modeli na próbie walidacyjnej, w skład której weszło 49 firm. Uzyskane w czasie weryfikacji wyniki zostały skonfrontowane ze sprawnością modeli podawaną przez autorów poszczególnych modeli.
-
Weryfikacja struktur baz wiedzy systemu agentowego do oceny technologii informatycznych
PublikacjaRozdział dokumentuje przebieg i wyniki weryfikacji opracowywanego w Zakładzie Zarządzania Technologiami Informatycznymi modelu systemu wieloagentowego do oceny technologii informatycznych. Wykorzystanie tego modelu (zaprojektowanego w oparciu o ontologie i zasoby baz wiedzy) ma docelowo wspomagać procesy decyzyjne z zakresu doboru technologii informatycznych dla danej organizacji. Dla potrzeb jego weryfikacji wykorzystano dane...
-
Automatyczna weryfikacja klienta bankowego w oparciu o multimodalne technologie biometryczne
PublikacjaW referacie przedstawiono przegląd rozwiązań wykorzystywanych w bankach do weryfikacji tożsamości klientów. Ponadto zawarto opis metod biometrycznych aktualnie wykorzystywanych w placówkach bankowych wraz z odniesieniem do skuteczności i wygody korzystania z dostępnych rozwiązań. Zaproponowano rozszerzenie zakresu wykorzystania technologii biometrycznych, wskazując kierunek rozwoju systemów bezpieczeństwa dla poprawy dostępu do...
-
Weryfikacja istniejącego oszacowania ilości ścieków sanitarnych odprowadzanych z Gminy Michałowice
PublikacjaOpracowanie stanowi ekspertyzę oceniającą poprawność istniejącego oszacowania ilości ścieków sanitarnych dla Gminy Michałowice. Praca jest efektem analizy wyników terenowych pomiarów ilości ścieków oraz oszacowań o charakterze analitycznym
-
Weryfikacja efektów kształcenia jako element Wewnętrznego Systemu Zapewnienia Jakości Kształcenia
PublikacjaPojęcie weryfikacji efektów kształcenia jest pojęciem nowym, wprowadzonym w ostatniej nowelizacji ustawy. Pojęcie to jest ściśle związane z osiągniętymi przez studenta efektami kształcenia, które precyzyjnie definiują jego kompetencje. Efekty kształcenia określane są przez uczelnię jako specyficzne dla danego kierunku studiów i pogrupowane są w kategorie: wiedza, umiejętności i kompetencje społeczne.
-
Eksploatacja obiektu budowlanego weryfikacją prac projektowych i wykonawczych
PublikacjaW referacie opisano w jaki sposób zwiększone oddziaływania środowiskowe występujące w okresie zimowym przyczyniły się do powstania uszkodzeń konstrukcji nośnej obiektów budowlanych.