Search
Search results for: weryfikacja
-
Pomiarowa weryfikacja wybranych modeli propagacyjnych
PublicationWciąż 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...
-
Weryfikacja stałoprądowego modelu tranzystora typu MAGFET
PublicationZaproponowano 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
PublicationW 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.
PublicationCelem 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...
-
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...
-
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...
-
Modelowanie konstrukcji mostowych - obliczenia i weryfikacja ''in situ''
PublicationObiekty 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 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 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 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...
-
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 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...
-
Weryfikacja dokumentacji technicznej systemu ochrony katodowej rurociągu paliwowego
PublicationZweryfikowano dokumentację techniczną systemu ochrony katodowej rurociągu paliwowego
-
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.
-
Weryfikacja skuteczności parametrycznych oraz nieparametrycznych modeli prognozowania upadłości przedsiębiorstw
PublicationArtykuł 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 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 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 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....
-
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 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 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 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 sprawności I stopnia wybranych krajowych modeli zagrożenia upadłości przedsiębiorstw
PublicationArtykuł 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
PublicationRozdział 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...
-
Weryfikacja istniejącego oszacowania ilości ścieków sanitarnych odprowadzanych z Gminy Michałowice
PublicationOpracowanie 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
-
Automatyczna weryfikacja klienta bankowego w oparciu o multimodalne technologie biometryczne
PublicationW 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 nastawień zabezpieczeń od utraty wzbudzenia na przykładzie elektrociepłowni przemysłowej
PublicationW 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 efektów kształcenia jako element Wewnętrznego Systemu Zapewnienia Jakości Kształcenia
PublicationPoję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.
-
Weryfikacja założeń do badań sonarowych oraz pomiary testowe w basenie portowym
Publication.
-
Weryfikacja wybranych korelacji dla przepływu podczas kondensacji w minikanałach i mikrokanałach
Publication -
Weryfikacja skuteczności metod statystycznych w prognozowaniu upadłości firm na próbie niezbilansowanej
PublicationW opracowaniu tym porównano 5 różnych metod statystycznych prognozowania zagrożenia firm upadłością. Jest to pierwsza próba weryfikacji skuteczności tak szerokiego wachlarza metod statystycznych prognozowania upadłości firm w Polsce na jednej, takiej samej próbie badawczej. Celem tych badań było wskazanie metody statystycznej charakteryzującej się najlepszymi właściwościami predykcyjnymi upadłości firm na rok, na dwa i na trzy...
-
Analityczna weryfikacja wybranego układu geometrycznego toru z wykorzystaniem profesjonalnego programu CAD
PublicationW pracy podjęto próbę wyjaśnienia, jak przedstawia się kwestia uzyskiwanej dokładności w projektowaniu układów geometrycznych toru z wykorzystaniem profesjonalnych programów komputerowych typu CAD. Użytkownikowi najczęściej nie są znane zasady działania tych programów, w tym również wykorzystywane algorytmy obliczeniowe. Opisano w sposób ogólny funkcjonowanie wybranego programu. Przedstawiono własną, analityczną metodę projektowania...
-
Analityczna weryfikacja dokładności komercyjnych programów komputerowych wspomagających projektowanie układów geometrycznych toru
PublicationW pracy podjęto próbę wyjaśnienia kwestii uzyskiwanej dokładności w projektowaniu układów geometrycznych toru z wykorzystaniem komercyjnych programów komputerowych typu CAD. Użytkownikowi najczęściej nie są znane zasady działania tych programów, w tym również wykorzystywane algorytmy obliczeniowe. Opisano w sposób ogólny funkcjonowanie dwóch wiodących programów. Przedstawiono własną, analityczną metodę projektowania układów torowych,...
-
Eksperymentalna weryfikacja procedury szacowania wytrzymałości młodego betonu wg normy ASTM C1074
PublicationW referacie przedstawiono metodę służącą oszacowaniu wytrzymałości betonu w trakcie procesu dojrzewania (ang. Maturity Method) bazującą na procedurze określonej zgodnie z amerykańską normą, która uwzględnia wpływ połączonych efektów temperatury i czasu na rozwój wytrzymałości betonu. Standardy ASTM C1074 zostały opracowane przez NBS (ang. National Bureau of Standards) z uwagi na powtarzające się wypadki na palcu budowy wynikające...
-
Weryfikacja parametru K rozkładu Rice'a dla środowiska miejskiego w paśmie UHF
PublicationReferat przedstawia wyniki pomiarów wartości parametru K rozkładu Rice’a modelu zaników dla kanałów UHF w terenie miejskim na podstawie zarejestrowanych sygnałów łącza w dół ze stacji bazowych CDMA2000. Przedstawiono sposób rejestracji i obróbki sygnałów oraz zaproponowano model rozkładu prawdopodobieństwa parametru K dla danego terenu.
-
Obliczeniowa weryfikacja pewności ruchowej hydrodynamicznych łożysk wzdłużnych na przykładzie elektrowni wodnej Dychów
PublicationW związku z modernizacją hydrozespołów elektrowni szczytowo-pompowej (esp) Dychów analizie poddano łożysko wzdłużne. Przeprowadzona analiza, która będzie podstawą do podjęcia decyzji o zakresie wymaganych zmian konstrukcyjnych w łożysku objęła ocenę danych o dotychczasowej eksploatacji oraz obliczenia sprawdzające prawidłowości pracy łożyska w nowych warunkach. W obliczeniach uwzględniono odkształcenia termosprężyste segmentu oraz...
-
Pomiarowa weryfikacja efektywności pracy asynchronicznej metody jednoczesnej estymacji położenia i orientacji obiektu
PublicationW referacie opisano wyniki pomiarowej weryfikacji efektywności pracy asynchronicznej metody lokalizowania obiektu na płaszczyźnie za pomocą sygnałów lokalizacyjnych wysyłanych jednocześnie z dwóch nadajników umieszczonych na tym obiekcie w znanej odległości od siebie.
-
WERYFIKACJA KONCEPCJI PRZEGUBÓW PLASTYCZNYCH PROJEKTOWANYCH NA ODZIAŁYWANIA SEJSMICZNE WIADUKTU V6 OBWODNICY ISTAMBUŁU
PublicationW pracy zawarto wyniki analiz betonowego wiaduktu V6 budowanego w ciągu obwodnicy Istambułu w Turcji realizowanego w ramach projektu Northern Marmara Highway. Przeprawę stanowią dwie niezależne nitki o skrzynkowym przekroju poprzecznym i szerokości 22,00 m. Schemat statyczny obiektu to belka dziewięcioprzęsłowa o długości całkowitej 446,86 m oparta na podporach słupowych o zmiennej sztywności (rys.1) i wysokościach zmieniających...
-
Wspomagana komputerowo weryfikacja określonego poziomu nienaruszalności bezpieczeństwa sil z wykorzystaniem autorskiej aplikacji ProSIL
PublicationW referacie przedstawiono oprogramowanie Pro SIL wspomagające zarządzanie bezpieczeństwem funkcjonalnym. Program ProSIL składa się z trzech modułów wspomagających: określanie wymaganego poziomu SIL (moduł ProSILen) weryfikację SIL (moduł ProSILer) oraz przeprowadzenie analizy warstw zabezpieczeń metodą LOPA. W aplikacji ProSIL zaimplementowano opracowaną w trakcie badań metodykę analizy bezpieczeństwa funkcjonalnego w projektowaniu...
-
Verification of multiband system for non-contact emissivity measurements
PublicationW pracy przeprowadzono weryfikację wielopasmowej pasywnej metody pomiaru emisyjności obiektu na drodze eksperymentalnej. 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.
-
Eksperymentalna weryfikacja przydatności wybranych parametrów standardu MPEG-7 w procesie klasyfikacji dźwięków instrumentów muzycznych
PublicationObecnie stosowane metody wyszukiwania informacji muzycznej w internecie bazują na parametrycznym opisie zawartości danych multimedialnych. W standardzie MPEG-7 w części dotyczącej sygnałów fonicznych zawarto opis oparty w dużej mierze o analizę widmową, przy czym dla dźwięków muzycznych parametryzowane jest widmo FFT fragmentu stanu quasi-ustalonego.
-
Weryfikacja systemu dopasowania protez słuchu w oparciu o badanie percepcji sygnału mowy w szumie
PublicationWiększość systemów dopasowania protez słuchu koncentruje się na poprawie zrozumiałości mowy. Problem dopasowania protez słuchu może w uproszczeniu być przedstawiony jako problem dopasowania szerokiej dynamiki sygnału mowy do zawężonej dynamiki uszkodzonego słuchu. Głównym celem badań było przetestowanie opracowanego systemu oraz sprawdzenie w jakim stopniu zaimplementowany moduł wirtualnej protezy słuchu może poprawić zrozumiałość...
-
Ocena stanu technicznego młyna rurowego średnicy 3,4m i długości 13.5m oraz weryfikacja wprowadzonych zmian
PublicationPrzeprowadzono obszerną analizę wytrzymałościową młyna do mielenia cementu. Opracowano własną metodykę symulowania działania obciążenia. Wyznaczono obszary największych naprężeń. Opracowano zalecenia zmiany geometrii młyna.
-
Theoretical and experimental investigation of Optical Coherent Tomography topologies
PublicationW artykule przedstawiono teoretyczną i eksperymentalną analizę konfiguracji interferometrów w układach koherentnego tomografu optycznego. Zaprezentowano zrealizowany układ, którego specjalnie zaprojektowana konfiguracja pozawala na analizę zmian polaryzacji sygnału pomiarowego.
-
Komputerowa weryfikacja układów cyfrowych CMOS utworzonych z podukładów zasilanych ze źródeł o różnych wartościach napięcia
PublicationW pracy zaprezentowano wyniki komputerowej weryfikacji cyfrowego układu CMOS utworzonego z klastrów, z których każdy jest zasilany odpowiednio malejącymi wartościami napięć. Zbiór klastrów został utworzony przy pomocy algorytmu ECA (Evolutionary Clustering Algorithm) dla potrzeb redukcji mocy pobieranej ze źródła zasilającego. Otrzymane rozwiązanie, charakteryzujące się zmniejszeniem zapotrzebowania na moc, nie powoduje pogorszenia...
-
Weryfikacja i aktualizacja "Katalogu typowych konstrukcji nawierzchni podatnych i półsztywnych" z 1997 roku - Etap III
Publication...
-
Weryfikacja odwzorowania kształtów i wymiarów podzespołów płaskich, wycinanych w technologii elektrodrążenia urządzenia wspomagającegozrobotyzowane narzędzia laparoskopowe
PublicationW pracy zaprezentowano analizę poprawności wykonaniapodzespołów urządzenia będącego zrobotyzowanym mikronadgarstkiem,wykorzystywanym dla zwiększenia ruchliwości narzędzilaparoskopowych o średnicy 2,5 mm. Analizowane podzespoły wykonanesą w skali 7:1 w technologii elektrodrążenia drutem o średnicy50 mm. Charakteryzują się architekturą płaską o określonej głębokościi skomplikowanym kształcie w pozostałych dwóch wymiarach. Analiziepoddano...