Filters
total: 778
filtered: 493
Search results for: tworzenie i weryfikacja powiązań
-
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...
-
Tworzenie poligonu kierunków głównych trasy kolejowej z wykorzystaniem pomiarów GPS
PublicationW pracy przedstawiono kolejny moduł opracowywanego w Politechnice Gdańskiej programu komputerowego SATTRACK do wizualizacji, oceny i projektowania trasy kolejowej, dostosowanego do techniki ciągłych pomiarów satelitarnych. Jest to moduł TRACK_POL, służący do tworzenia poligonu kierunków głównych trasy kolejowej. Zapisane w pliku tekstowym współrzędne prostych wykorzystuje się do wyznaczenia ich równań w państwowym układzie odniesień...
-
Zastosowania ontologii: Tworzenie scenariuszy negocjacyjnych z wykorzystaniem języka WS-CDL
PublicationIstnieje mozliwość formalnego zapisu przebiegu różnego rodzaju przedsięwzięć. Jedną z mozliwości zapisu scenariusza przedsięwzięcia jest wykorzystanie języka WS-CDL. Zaprezentowano metodę tworzenia konkretnej choreografii przedsięwzięcia w tym języku. Zwrócono uwagę na taniec negocjacyjny, w tym definicje ról, związków oraz typów kanałów komunikacyjnych. Dodatkowo zaproponoano środowisko wykonania scenariuszy zapisanych w tym języku.
-
Tworzenie miejskości po 1990r., Geneza niemieckiej urbanistyki współczesnych założeń mieszkaniowych
PublicationArtykuł jest przyczyną do przypomnienia genezy współczesnej formy niemieckich miejskich struktur mieszkaniowych w kontekście zmian rozumienia ich wymiaru miejskości. Niemiecka myśl urbanistyczna łączy w sobie dwie wyraziste tradycje dwudziestego wieku - Gründerzeit i KlassischeModerne. Pozostaje jednak silnie otwarta na innowację generowaną nie tylko dzięki postępowi technicznemu, ale przede wszystkim poprzez planowanie interdyscyplinarne...
-
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 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 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 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 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 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 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 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 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,...
-
Buliding organizational knowledge in software and systems R&D organization
PublicationOmówiono specyficzne dla firm software podejście do tworzenia wiedzy organizacyjnej. Zaproponowano narzędzia pomocne w tworzeniu takiej wiedzy.
-
Incremental and pseudo-incremental construction of pseudo-minimal automata.
PublicationAutomaty pseudominimalne mają dla każdego słowa w języku automatu co najmniej jeden element własny (stan lub przejście), który nie jest współdzielony z żadnym innym słowem. Przedstawiamy przyrostowe i półprzyrostowe algorytmy tworzenia takich automatów.
-
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 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...
-
Przypadek przedsiębiorstwa społecznego - o jednej spółdzielni i jej prezesie. Kluczowe wymiary analityczne: cel, governance, sieci powiązań
PublicationRozdział przedstawia studium przypadku działania przedsiębiorstwa społecznego - spółdzielni zatrudniającej osoby niepełnosprawne. W dużej mierze skupia się na opisie osoby prezesa spółdzielni i jego decyzjach oraz ich wpływu na działanie przedsięwzięcia. Tekst może służyć jako punkt wyjścia do dyskusji na temat przedsiębiorczości społecznej oraz oceny spółdzielni jako formy działania, poprzez pryzmat mechanizmów rządzenia, sieci...
-
Generowanie początkowych rozwiązań przez algorytm sił wirtualnych w problemach logistycznych: rola wartości parametrów i charakterystyk powiązań
Publication -
Wspomagane komputerowo tworzenie modeli probabilistycznych w ocenie niezawodności i bezpieczeństwa przykładowych systemów.
PublicationPrzedstawiaono narzędzia komputerowe wykorzystywane do oceny niezawodności i bezpieczeństwa przykładowych systemów technicznych. Możliwości narzędzi zilustrowano przykładami układów zabezpieczeń realizowanych w oparciu o elektryczne, elektroniczne i programowalne elektroniczne systemy (E/E/PE.
-
System logiki rozmytej wspomagający tworzenie animacji komputerowych w oparciu o język Python
PublicationW celu tworzenia animacji komputerowych opartych o reguły wywodzące się z animacji tradycyjnej zaimplementowano system logiki rozmytej w języku Python, wykorzystujący słownikowy typ danych (tablice asocjacyjne). Zaprojektowane reguły łączą etykiety słowne, oznaczające zmienne lingwistyczne z etykietami nazw funkcji przynależności wykorzystującymi wartości lingwistyczne. W referacie przedstawiono fazy projektowania systemu, określania...
-
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.
-
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,...
-
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...
-
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 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...
-
Weryfikacja założeń do badań sonarowych oraz pomiary testowe w basenie portowym
Publication.
-
Zróżnicowanie regionalne jakość kapitału ludzkiego a gospodarka oparta na wiedzy i tworzenie społeczeństwa informacyjnego
PublicationW rozdziale przedstawiono analizę wskaźników opisującychgospodarkę opartą na wiedzy (GOW). Przedstawiono wskaźnik GOW wwymiarze regionalnym, dla poszczególnych województw w Polsce iporównano go z syntetycznym wskaźnikiem jakości kapitału ludzkiego(WJKL) obliczonym również dla województw.
-
Metamorfozy miasta. Trwanie-przetwarzanie, tworzenie-odtwarzanie. Współczesna architektura Gdańska w dialogu z historią.
PublicationObserwacja przemian w rozwoju urbanistycznym miasta sklasyfikowanych w czterech głównych nurtach: trwania/przetwarzania, tworzenia/odtwarzania. Rozważania na temat kodu genetycznego, umożliwiającego rekonstrukcję i rozwój tkanki miasta, jej struktury i poszczególnych elementów.
-
Tworzenie modelu pojęciowego dla zarządzania ryzykiem na przykładzie procesu laminowania w stoczni jachtowej
PublicationCelem artykułu jest zaproponowanie modelu pojęciowego normalizującego kryteria oceny ryzyka w systemie zarządzania jakością w stoczni jachtowej. Zamiarem jest przeprowadzenie analizy danych, pozwalającej wytyczyć zbiory o wysokim, średnim i niskim poziomie istotności dla wszystkich błędów powstających w procesie laminowania. W artykule skoncentrowano się na najważniejszych pojęciach związanych z ryzykiem i kryteriami jego oceny....
-
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...
-
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...
-
Creating the e-decisional community through the knowledge supply chan system
PublicationW pracy przedstawiono zasady tworzenia społeczeństwa cyfrowego opartego na wymianie wiedzy dostępnej w nośnikach internetowych. Omówiono zasady modelowania takiej wiedzy i budowy tzw. łańcucha zaopatrzenia w wiedzę.
-
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.
-
Tworzenie sieci współpracy uczelni z otoczeniem przy wykorzystaniu zamówień przedkomercyjnych na przykładzie projektu e-Pionier
PublicationAutorzy podjęli temat nowatorskiego podejścia uczelni do zamówień publicznych z wykorzystaniem modelu poczwórnej helisy opartej na zamówieniach przedkomercyjnych (pre-commercial procurement). Celem publikacji jest wskazanie możliwości praktycznego zastosowania takiego podejścia na przykładzie pilotażowego projektu e-Pionier, realizowanego w latach 2017-2020 przez Politechnikę Gdańską we współpracy z innymi uczelniami, instytucjami...
-
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.
-
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ść...
-
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.
-
Hala namiotowa o konstrukcji stalowej - Statyczno - wytrzymałościowa weryfikacja nośności i bezpieczeństwa obiektu o konstrukcji stalowej
PublicationPrzedmiotem opracowania jest analiza statyczno – wytrzymałościowa konstrukcji hali namiotowej zlokalizowanej na nabrzeżu portu rybackiego, usytuowanego na brzegu Morza Bałtyckiego, na terenie administrowanym przez oddział stoczniowy spółki Szkuner. Celem niniejszego opracowania eksperckiego jest określenie: stopnia wykorzystania nośności istniejących elementów konstrukcyjnych obiektu na podstawie: pierwotnego opracowania projektowego...
-
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...
-
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...