Search
Filters
total: 1124
filtered: 961
Search results for: WERYFIKACJA MODELI PROPAGACYJNYCH
-
Optymalizacja pobudzeń dla celów identyfikacji parametrów kompartmentowych modeli systemów farmakokinetycznych.
PublicationPobudzenia optymalne, według kryterium optymalizacji czułociowej, wykorzystano do estymacji parametrów kompartmentowych modeli systemów farmakokinetycznych metodš minimalizacji błędów predykcji. Na pobudzenia optymalne nałożono ograniczenia na energię i czas trwania. Uzyskane, dla pobudzeń optymalnych, dokładnoci estymat parametrów porównano z dokładnociami uzyskanymi dla pobudzeń nieoptymalnych, standardowo stosowanych w praktyce...
-
Weryfikacja asynchronicznych układów cyfrowych w strukturach FPGA
PublicationW 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 modelu hydrostatycznego wspomagania łożyska nośnego hydrogeneratora
PublicationW 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...
-
Weryfikacja poziomu nienaruszalności funkcji związanych z bezpieczeństwem
PublicationFunkcje 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...
-
Kryteria i metody wyznaczania optymalnego punktu granicznego dla modeli prognozowania zagrożenia przedsiębiorstw upadłością
PublicationW artykule zwrócono uwagę na trzy kryteria oceny modeli zagrożenia przedsiębiorstw upadłością, tzn. na kalibrację, sprawność ogólną oraz minimalizację kosztów błędnych decyzji. Autor posługując się przykładem przedstawił sposób wyznaczania punktu granicznego dla modeli, pozwalającego zminimalizować koszt błędnych decyzji.
-
Własności zachowawcze uproszczonych nieliniowych modeli transformacji fali wezbraniowej w kanałach otwartych
Publicationw pracy dokonano analizy właściwości zachowawczych nieliniowych uproszczonych modeli propagacji fal wezbraniowych takich jak model fali kinematycznej, dyfuzyjnej oraz modelu muskingum. wykazano zasadniczy wpływ postaci równania adwekcji i adwekcji- dyfuzji na spełnienie całkowych zasad zachowania masy i pędu.
-
Ograniczenia w zastosowaniu wybranych modeli reologicznych do opisu właściwości emulsji
PublicationPrzeprowadzono analizę wybranych modeli reologicznych, w celu weryfikacji ich przydatności do opisu właściwości emulsji. Badano właściwości reologiczne emulsji typu O/W i W/O, otrzymywanych w wewnątrzobiegowym reaktorze dwukolumnowym z mieszaniem w kolumnie wewnętrznej. Dla emulsji O/W, najlepszą zgodność wyników doświadczalnych z obliczonymi uzyskano stosując równania Yaron - Gal-Ora i Kriegera - Dougherty. W przypadku emulsji...
-
Optymalizacja sygnału testującego dla potrzeb identyfikacji modeli procesów biologicznych i medycznych
PublicationRozprawa poświęcona jest optymalizacji sygnału testującego dla celów identyfikacji modeli procesów biologicznych i medycznych. Zagadnienie to zawiera się w szerszym zagadnieniu optymalizacji eksperymentu, polegającym na poszukiwaniu tej wartości wybranej zmiennej eksperymentu (w rozprawie jest to sygnał testujący), która zapewni maksimum obranego kryterium optymalności. Optymalizacja eksperymentu jest szczególnie istotna w zastosowaniach...
-
MOŻLIWOŚCI WYKORZYSTANIA METOD I MODELI PROBABILISTYCZNYCH W PROJEKTOWANIU OKRĘTOWYCH INSTALACJI PAROWYCH
PublicationArtykuł przedstawia możliwości wykorzystania metod i modeli probabilistycznych w projektowaniu okrętowych instalacji parowych w siłowniach spalinowych. Zaproponowano dwie możliwości opisu eksploatacyjnych wydajności kotłów utylizacyjnych oraz eksploatacyjnego zapotrzebowania ciepła. Pierwsza to zastosowanie do opisu rozkładu normalnego, drugą jest zamodelowanie okrętowej instalacji parowej jako systemu masowej...
-
Dostosowanie modeli planowania rozwoju systemów energetycznych do prowadzenia analiz w skali regionalnej
PublicationOmówiono dostosowanie uznanych modeli planowania rozwoju systemów energetycznych do analiz systemów lokalnych i analiz w skali regionu, np. województwa. Samorządy lokalne, w tym urzędy marszałkowskie województw, odpowiedzialne są za kreowanie strategii rozwoju regionu. Dotyczy to także planowania rozwoju gospodarki energetycznej regionu. Istniejące i sprawdzone w skali kraju narzędzia pomagają w tworzeniu zintegrowanej z założeniami...
-
Badania eksperymentalne parametrów dynamicznych modeli zbiorników stalowych na stole sejsmicznym
PublicationStalowe zbiorniki walcowe są niezwykle popularnymi konstrukcjami używanymi przy magazynowaniu produktów przemysłu naftowego i chemicznego. Ich bezpieczeństwo i niezawodność są kluczowe, ponieważ jakiekolwiek uszkodzenie może nieść za sobą poważne konsekwencje. Celem niniejszego artykułu jest przedstawienie rezultatów badań eksperymentalnych na stole sejsmicznym dotyczących wyznaczenia parametrów dynamicznych modeli zbiorników stalowych...
-
Model identification in urban structures revitalisation = Metody identyfikacji modeli stosowane w rewitalizacji budowli miejskich
PublicationW pracy zaprezentowano wybrane metody diagnostyki dynamicznej stosowane w identyfikacji modeli budowli zabytkowych. Do tego celu wykorzystano pomiary częstości i postaci drgań własnych budowli poddanych oddziaływaniom środowiskowych. Wykazano efektywność stosowanych metod identyfikacji parametrycznej modeli oraz identyfikacji uszkodzeń na przykładzie trzech budowli: dzwonnicy Archikatedry w Wilnie, wieży Twierdzy Wisłoujście w...
-
Analiza modeli opisujących wrzenie w przepływie w kanałach konwencjonalnych
PublicationW artykule przedstawiona została analiza wybranych korelacji pozwalających na wyznaczenie współczynników przejmowania ciepła podczas wrzenia w przepływie, które przeznaczone są dla kanałów o średnicach konwencjonalnych. Przedstawiona w pracy analiza została wykonana na podstawie badań eksperymentalnych dostępnych w literaturze, które prowadzone były dla pełnego zakresu zmiany stopnia suchości oraz stosunkowo szerokiego zakresu...
-
Analiza problemu zaufania do ontologii dla różnych modeli wnioskowania
PublicationW rzeczywistych systemach zarządzania wiedzą, a przede wszystkim w systemach rozproszonych gromadzących wiedzę z różnych źródeł, problem niepewności i zaufania do ontologii, jak również odpowiedzi udzielanych przez bazy wiedzy nabiera szczególnego znaczenia. Sformalizowanie problemu i przyjęcie właściwego modelu wnioskowaniaw różnych zastosowaniach wymaga szczegółowej analizy. Niniejsza praca podejmuje próbę usystematyzowania tej...
-
Integrating quality criteria and methods of evaluation for software models
PublicationRozdział podejmuje zagadnienia jakości modeli w inżynierii oprogramowania. Zawiera on przegląd i systematyzację kryteriów jakości modeli oraz metod oceny jakości modeli. Podaje metodologię tworzenia metod oceny jakości modeli w zależności od kryteriów jakości oraz innych parametrów oceny. Zawiera również studia przypadków zastosowania tej metodologii.
-
Przetwarzanie hydroakustycznych i lidarowych danych przestrzennych w celu konstrukcji trójwymiarowych modeli rzeczywistych obiektów
PublicationZautomatyzowana rekonstrukcja kształtu powierzchni reprezentowanych przez chmury punktów jest zagadnieniem badanym od wielu lat, jednak rezultaty osiągane za pomocą istniejących algorytmów odtwarzania modeli są dalekie od satysfakcjonujących, jeżeli wejściowe zbiory punktów cechują się nieregularną strukturą przestrzenną, co jest częstym zjawiskiem w przypadku danych pochodzących z sondowania hydroakustycznego czy skaningu laserowego....
-
Optimal inputs in pharmacokinetics model's identification
PublicationW pracy przedstawiono zagadnienie optymalizacji pobudzeń dla identyfikacji parametrycznej kompartmentowych modeli zmiennych stanu SISO systemów farmakokinetycznych. Zaimplementowano kryterium w postaci śladu macierzy informacyjnej Fishera (kryterium czułościowe). Rozważono klasę pobudzeń dopuszczalnych o ograniczonej energii, gdyż w przypadku wielu leków zbyt szybkie ich podawanie wiąże się z występowaniem skutków ubocznych. Zadanie...
-
Weryfikacja agentów systemu agentowego do oceny technologii informatycznych
PublicationRozdział 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
PublicationZweryfikowano dokumentację techniczną systemu ochrony katodowej rurociągu paliwowego
-
Drgania i hałaśliwość silników asynchronicznych - weryfikacja nowych hipotez
PublicationArtykuł 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
PublicationPrzedmiotem 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...
-
WERYFIKACJA WZMOCENIANIA ŚRODNIKÓW KROKWI DACHU ZBIORNIKA NA GAZ
PublicationPraca 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...
-
Empiryczna Weryfikacja Hipotezy Collatza za pomocą obliczeń Gridowych
Publication -
Weryfikacja rozmytego modelu wspomagania zarządzania wybranymi usługami internetowymi
PublicationRozwinięcie koncepcji rozmytego modelu wspomagania zarządzania wybranymi usługami w internecie poprzez dedykowany model dla rynku internetowych kredytów hipotecznych.
-
Adaptacyjna identyfikacja ciagłoczasowych modeli procesów niestacjonarnych z uwzględnieniem przekłamań pomiarowych.
PublicationW pracy wykorzystano metody identyfikacji parametrycznej do pozyskiwania użytecznej dla diagnostyki informacji o zmianach dynamiki nadzorowanych procesów. W proponowanym podejściu ciągłym analizie poddano procesy przemysłowe modelowane za pomocą fizycznie interpretowalnych liniowych i nie liniowych równań różniczkowych zwyczajnych. Zachowanie sensu fizycznego estymowanych parametrów ułatwiło weryfikację wyników identyfikacji, wpływając...
-
Analizy numeryczne na podstawie różnych modeli konstytutywnych gruntu na przykładzie posadowienia pylonu mostu MA21 (A8)
PublicationPrzedstawiono rezultaty analiz numerycznych z zastosowaniem trzech różnych modeli gruntów w odniesieniu do rzeczywistego obiektu. Zamieszczono opisy wszystkich wykorzystanych modeli. Obliczenia wykonano metodą elementów skończonych na modelach w płaskim i przestrzennym stanie odkształcenia. Uzyskane wyniki porównano i opatrzono komentarzem.
-
Identyfikacja parametryczna modeli systemów farmakokinetycznych na podstawie pobudzenia optymalnego według kryterium optymalizacji czułościowej
PublicationPrzedstawiono identyfikację parametryczną modeli systemów farmakokinetycznych opisanych w kategoriach zmiennych stanu. Identyfikacja przeprowadzana jest na podstawie pobudzenia optymalnego według kryterium optymalizacji czułościowej, na które nałożono dodatkowe ograniczenia na energie i czas trwania.
-
Porównawcza analiza wyboczeniowa silosów z blachy falistej przy zastosowaniu różnych modeli MES
PublicationW artykule zaprezentowano wyniki analizy wyboczeniowej cylindrycznego silosu wypełnionego materiałem sypkim wykonanego z blachy falistej i usztywnionego słupami. Wykonano nieliniową analizę statyczną całego silosu z uwzględnieniem wstępnych imperfekcji geometrycznych przy zastosowaniu różnych przestrzennych modeli numerycznych MES. Napór materiału sypkiego na ściany przyjęto według Eurokodu 1. Obliczone numerycznie nośności wyboczeniowe...
-
PORÓWNAWCZA ANALIZA WYBOCZENIOWA SILOSÓW Z BLACHY FALISTEJ PRZY ZASTOSOWANIU RÓŻNYCH MODELI MES
PublicationW artykule zaprezentowano wyniki analizy wyboczeniowej cylindrycznego silosu wypełnionego materiałem sypkim wykonanego z blachy falistej i usztywnionego słupami. Wykonano nieliniową analizę statyczną całego silosu z uwzględnieniem wstępnych imperfekcji geometrycznych przy zastosowaniu różnych przestrzennych modeli numerycznych MES. Napór materiału sypkiego na ściany przyjęto według Eurokodu 1. Obliczone numerycznie nośności wyboczeniowe...
-
Metodyka i analiza naziemnych pomiarów propagacyjnych dla potrzeb radiokomunikacyjnych ośrodków kontroli ruchu powietrznego
PublicationW referacie zaprezentowano metodykę wykonywania i analizy wyników naziemnych pomiarów propagacyjno-zasięgowych w celu weryfikacji poprawności pracy naziemnych nadawczych ośrodków radiokomunikacyjnych kontroli ruchu powietrznego. Przedstawiono i omówiono rezultaty pomiarowej weryfikacji opracowanej metody, a także zaprezentowano wnioski z niej płynące.
-
Review of road safety theories and models
PublicationW artykule przedstawiono rozwój teorii i modeli stosowanych w badaniach bezpieczeństwa ruchu drogowego oraz wykorzystywanych w zarzadzaniu bezpieczeństwem ruchu drogowego. Wyrózniono cztery grupy najbardziej rozwiniętych teorii: teorie statystyczne, teorie przyczynowe, teorie systemowe i teorie behawioralne. Według tak podzielonych teorii sklasyfikowano modele stosowane w badaniach i analizach bezpieczeństwa ruchu drogowego.
-
Modyfikacje modeli układów regulacji napięcia prądnic synchronicznych dla potrzeb badań synchronizatorów automatycznych
PublicationW artykule przedstawiono sposób modyfikacji powszechnie stosowanych w elektroenergetyce krajowej modeli matematycznych układów regulacji napięcia prądnic synchronicznych, na potrzeby badań realizacji warunku napięciowego przez synchronizatory automatyczne. Modele te, po ich zaimplementowaniu w procesorach nowoczesnych urządzeń testujących (pracujących w czasie rzeczywistym) pozwalają narzucić badanemu synchronizatorowi zbliżone...
-
Możliwości wykorzystania istniejących modeli do prognozowania zapotrzebowania na ciepło do ogrzewania i wentylacji
PublicationW pracy omówiono wpływ różnych algorytmów obliczeniowych na zużycie energii do ogrzewania i wentylacji w budynku mieszkalnym. Całoroczne pomiary zużycia ciepła przez mieszkańców pozwoliły na weryfikację zastosowanych metod obliczeniowych. W artykule przedstawiono problem prognozowania, który wynika z dokładności przyjętego algorytmu. Analizę dokładności modeli przeprowadzono na podstawie badań eksperymentalnych.
-
Identyfikacja stałych przepływu modeli systemów farmakokinetycznych opisanych równaniami stanu. VII Ogólnopolska Konferencja Przepływów Wielofazowych.
PublicationPrzedstawiono identyfikację parametrów (stałych przepływu) modeli systemów farmakokinetycznych opisanych równaniami stanu.Estymowane wartości parametrów zapewniają najlepsze dopasowanie odpowiedzi modelu do danych pomiarowych. Estymację przeprowadzono metodą największej wiarygodności na podstawie pobudzenia optymalnego według kryterium optymalizacji czułościowej oraz pobudzenia impulsowego.
-
Weryfikacja obliczeń numerycznych czteroprzęsłowego ciągłego wiaduktu kablobetonowego metodą analityczną
PublicationW 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 Poziomów Nienaruszalności Bezpieczeństwa z uwzględnieniem Zagadnień Ochrony Informacji
PublicationNiniejszy 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
PublicationPoszczegó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 autentyczności kolorów na zdjęciach wykonanych w technice analogowej
PublicationW 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 doświadczalna analizy numerycznej stanowiska do badania silników wiatrowych
PublicationW 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
PublicationW 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 mes badań właściwości sprężysto-lepkoplastycznych stali p9 (9cr1mo).
PublicationW 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...
-
Weryfikacja działania blokad przeciwkołysaniowych na przykładzie zabezpieczeń firmy Siemens
PublicationReferat 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 algorytmów MPPT dla modułów fotowoltaicznych w warunkach przesłonięcia
PublicationIntensywny 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....
-
Konkurs studencki budowy modeli mostów z papieru
PublicationW artykule przedstawiono relację ze studenckiego konkursu budowy mostów z papieru, który odbył się w Politechnice Gdańskiej. Konkurs wyKOMBinuj mOst bazuje na powszechnie dostępnym materiale, jakim jest papier typu brystol. Wybór papieru jako materiału inżynierskiego podyktowany jest faktem, iż analogia pomiędzy zachowaniem papieru i blachy stalowej umożliwia obserwację mechanizmów zniszczeń charakterystycznych dla konstrukcji...
-
Automatyczne generowanie testów na podstawie modeli UML
PublicationRozdział stanowi wprowadzenie do problematyki automatycznej generacji przypadków testowych na podstawie dokumentacji wykonanej w UML. Zaprezentowano powiązania pomiędzy dokumentacją wykonaną w fazach analizy i projektowania systemu a dokumentacją testową, szersze ujęcie zagadnień automatycznego generowania testów, metody generowania przypadków testowych, wyniki podobnych prac (projekt AGEDIS, profil testowy UML) oraz dyskusję efektywności...
-
Generowanie modeli symulacyjnych na potrzeby systemu ekspertowego wspomagającego projektowanie układów automatyki statku
PublicationOmówiono automatyczne generowanie modeli symulacyjnych na potrzeby systemu ekspertowego wspomagającego projektowanie układów automatyki statków. Na podstawie przyjętych założeń projektowych system ekspertowy zleca badania wybranych struktur podsystemów elektroenergetycznych statków. Aplikacja symulacyjna pobiera z biblioteki modele matematyczne elementów składowych struktur, a następnie zestawia modele symulacyjne, wykonuje badania...
-
Wpływ maksymalizacji danych wejściowych na skuteczność modeli parametrycznych i nieparametrycznych prognozowania upadłości spółek akcyjnych notowanych na WGPW
PublicationCelem tego opracowania było zbadanie wpływu maksymalizacji danych wejściowych na skuteczność prognozowania upadłości spółek giełdowych na podstawie takiej samej populacji spółek S.A. notowanych na WGPW dla modeli parametrycznych (logitowych, probitowych, analizy dyskryminacyjnej) oraz nieparametrycznych ( sztucznych sieci neuronowych. Realizacja tego celu pozwoliła między innymi na stwierdzenie, czy i do jakich modeli opłaca się...
-
Kluczowe kompetencje jako narzędzie do tworzenia nowych modeli biznesu w przedsiębiorstwach
PublicationKoncepcja kluczowych kompetencji wywodzi się z nurtu zasobowego, który zakłada, iż o efektywności i konkurencyjności każdego podmiotu decydują odpowiednio dobrane zasoby i umiejętności ich optymalnego wykorzystania. Model biznesu to narzędzie do realizacji strategii organizacji, które wspomaga rozwój oraz zarządzanie strategiczne w przedsiębiorstwie. Dysertacja wypełnia lukę, jaką było wskazanie na zależność pomiędzy kluczowymi...
-
Możliwości wykorzystania istniejących modeli do prognozowania zapotrzebowania budynków na ciepło do ogrzewania i wentylacji
PublicationW pracy omówiono wpływ różnych algorytmów obliczeniowych na zużycie energii do ogrzewania i wentylacji w budynku mieszkalnym. Całoroczne pomiary zużycia ciepła przez mieszkańców pozwoliły na weryfikację zastosowanych metod obliczeniowych. W artykule przedstawiono problem prognozowania, który wynika z dokładności przyjętego algorytmu. Analizę dokładności modeli przeprowadzono na podstawie badań eksperymentalnych.
-
Diagnostyka budowli i identyfikacja ich modeli jednowymiarowych przy wykorzystaniu oddziaływań środowiskowych
PublicationRozprawa doktorska dotyczy problemów diagnostyki budowli zabytkowych. Zagadnienie potraktowano szeroko. Uwzględniono zarówno rozważania teoretyczne jak i badania eksperymentalne obiektów rzeczywistych. Celem pracy jest zaproponowanie efektywnego algorytmu oceny stanu technicznego budowli, łączącego trzy dziedziny nauki, w których wspólnym mianownikiem jest pomiar drgań konstrukcji przy wymuszeniach środowiskowych (wiatr, ruch uliczny,...