Filters
total: 1192
filtered: 988
-
Catalog
- Publications 988 available results
- People 51 available results
- Projects 14 available results
- Laboratories 2 available results
- Research Teams 4 available results
- Research Equipment 1 available results
- e-Learning Courses 97 available results
- Events 10 available results
- Open Research Data 25 available results
Chosen catalog filters
Search results for: KLASTRY OBLICZENIOWE
-
Kolorowanie grafów obciążonych i jego zastosowanie w problemie przydziału częstotliwości
PublicationReferat omawia jeden z modeli dla problemu przydziału częstotliwości, oparty o kolorowanie grafów obciążonych. Podana została złożoność obliczeniowa modelu i wielomianowy algorytm 4-kolorowania grafów w tym modelu.
-
Wymaganie w projektowaniu instalacji wodociągowych.
PublicationZagadnienia korygowania przepływów w instalacjach wodociągowych. Konsekwencje redukcji przepływu obliczeniowego. Potrzeba urealnienia wartości obliczeniowych.
-
Using a computational model to compare objective negotiations in real and virtual environments
PublicationZaprezentowano obliczeniowy model negocjacji uwzględniający warunki początkowe, przebieg negocjacji i wyniki negocjacji. Przedstawiono komputerowy system wspomagający rejestrację przebiegu negocjacji i ich wyników oraz analizę negocjacji zgodną z proponowanym modelem.
-
Consensus models: Computational complexity aspects in modern approaches to the list coloring problem
PublicationArtykuł poświęcony jest nowym modelom konsensusowego kolorowania grafów. Artykuł zawiera omówienie trzech takich modeli, analizę ich złożoności obliczeniowej oraz wielomianowy algorytm dla częściowych k-drzew, dla tzw. modelu addytywnego.
-
Metoda analizy poziomu promieniowania cieplnego w wyniku spalania gazu na wysięgniku wieżowym platformy morskiej
PublicationW artykule scharakteryzowano spotykane rozwiązania wysięgników palnika gazu instalowanych na platformach morskich oraz przedstawiono - na przykładzie wysięgnika wieżowego - procedurę obliczeniową związaną z określaniem strumienia promieniowania cieplnego, pochodzącego od płomienia spalanego gazu. Przedstawiona metoda została oparta na analizie wektorowej wzajemnej geometrii wysięgnika wieżowego palnika oraz płomienia spalanego...
-
Korzyści funkcjonowania podmiotów w strukturach klastrowych
PublicationW niniejszym artykule autorka przedstawiła pozytywne efekty zewnętrzne, uzyskiwane dzięki wspólnej lokalizacji w klastrze, wskazując na aktywne i pasywne oraz popytowe i podażowe korzyści aglomeracji. Autorka skupiła się przede wszystkim na korzyściach związanych z przepływem wiedzy w strukturach klastrowych. Ów proces jest kluczowy dla klastrów, ponieważ stanowi zarazem przyczynę i skutek efektu synergii w klastrach: przepływ...
-
Badania spękań niskotemperaturowych podbudów z AC WMS na nowobudowanej autostradzie A1 w Polsce. Część 2 - Analiza przyczyn powstania spękań nawierzchni.
PublicationW artykule przedstawiono problem niskotemperaturowych spękań poprzecznych, które powstały na nowo budowanych podbudowach z betonu asfaltowego o wysokim module sztywności AC WMS. Liczne spękania niskotemperaturowe powstały na analizowanych podbudowach AC WMS podczas okresu zimowego w 2012 r., zanim cała konstrukcja nawierzchni została ukończona. Spękania powstały zarówno na połączeniach technologicznych, jak i między nimi. Problem...
-
Paired domination and doubly domination in graphs
PublicationW rozprawie poruszane są zagadnienia związane z dominowaniem parami w grafach oraz domiowaniem totalno - powściągniętym w grafach. Ponadto omawiane są zagadnienia związane ze złożonością obliczeniową różnych problemów dominowania w grafach.
-
Wpływ osłony wokół fundamentu na przemieszczenia przyczółka
PublicationPrzedstawiono obliczeniowo wpływ ścianki szczelnej, jako osłony fundamentu, na przemieszczenia przyczółka mostowego posadowionego bezpośrednio i na palach fundamentowych. Obliczenia wykonano w oparciu o metodę elementów skończonych dla różnych schematów obciążeń.
-
Mechanizmy bezpieczeństwa w systemie Comcute
PublicationWyróżniono podstawowe problemy związane z bezpieczeństwem przetwarzania w systemie utrzymania wielkiej mocy obliczeniowej w sytuacjach kryzysowych Comcute. Ponadto na przykładzie architektury systemu modelowego przedstawiono mechanizmy bezpieczeństwa przydatne do zastosowania w projekcie.
-
Wprowadzenie do algorytmów kwantowych. Problemy współczesnej nauki. Teoria i zastosowanie.
PublicationCelem tej pracy jest prezentacja kwantowego modelu obliczeń. Szczególny nacisk położono na zagadnienia matematyczne i informatyczne. Zadbano o wyjaśnienie podstaw teoretycznych, podanie pełnych dowodów poprawności algorytmów kwantowych oraz szacowanie złożoności obliczeniowej.
-
Łukowa kładka dla pieszych przez rzekę Wartę we Wronkach
PublicationW artykule opisano konstrukcję kładki dla pieszych przez Wartę we Wronkach. Przedstawiono pierwotną wersję konstrukcji obiektu. Omówiono modyfikacje wprowadzone podczas wykonywania projektu wykonawczego. Zaprezentowano zdjęcia z montażu przęsła nurtowego oraz zdjęcia po zakończonej budowie kładki. Na rysunkach przedstawiono szczegóły konstrukcyjne, przekroje poprzeczne oraz modele obliczeniowe konstrukcji obiektu.
-
Wykonanie obliczeń sprawdzających koncepcję procedury zabezpieczenia platformy głowicowej PG-1 podczas naprowadzania platformy Petrobaltic na pozycję platformy PG-1
PublicationNa zamówienie firmy Lotos Petrobaltic S.A. przeprowadzono wielowariantową analizę obliczeniową układu stabilizacji platformy PG-1 podczas procedury podejścia platformy Petrobaltic. Uwzględniono różne stany morza oraz sposoby realizacji układu elementów zapewniających stateczność poprzeczną platformy.
-
Algorytm przybliżony dla cyrkularnego kolorowania krawędzi grafów
PublicationW artykule autorzy proponują algorytm przybliżony dla cylkularnego kolorowania krawędzi grafu. Przedstawione są oszacowania na złożoność obliczeniową tego algorytmu, a także wyniki testów na grafach o małej liczbie wierzchołków jak i na grafach losowych.
-
Projektowanie stalowych konstrukcji prętowych wg Eurokodu 3.
PublicationW pracy przedsawiono wybrane zagadnienia z Eurocodu 3 dotyczące projektowania układów prętowych oraz projektowania węzłów.Omówiono stosowane modele obliczeniowe oraz metody analizy globalnej konstrukcji. Przedstawiono klasyfikację układów prętowych z uwagi na stateczność jak również klasyfikację węzłów z uwagi na sztywność obrotowa i nośność. Szczególowo omówiono zagadnienie projektowania węzłów podatnych
-
Nasyp z geosyntetycznym wzmocnieniem podstawy posadowiony na pionowych elementach nośnych
PublicationW artykule przedstawiono zapisy aktualnych wytyczne niemieckich EBGEO 2010 dotyczących projektowania nasypów ze wzmocnieniem geosyntetycznym podstawy posadowionych na pionowych elementach nośnych. Szczegółowo omówiono metodę obliczeniową powołaną w wytycznych EBGEO 2010 w świetle najnowszych badań.
-
The Implementation of a Microserver.
PublicationArtykuł prezentuje zasady projektowania mikroserwerów o ograniczonej złożoności obliczeniowej i niewielkim poborze energii. Zaproponowana redukcja funkcjonalności protokołow TCP/IP, pomimo niewielkiego zapotrzebowania na obliczenia, pozwala na realizację wydajnego połączenia klient-serwer w układach mikrokontrolerowych.
-
Modelowanie pola temperatury sekcji grzejnej do badania wrzenia
PublicationW pracy rozpatrzono zagadnienie związane z opracowaniem konstrukcji sekcji grzejnej na której zachodzi wrzenie przy zastosowaniu komercyjnego programu obliczeniowego ANSYS.
-
Symulacja deformacji gniazda dużego łożyska tocznego na warunki pracy jego elementów tocznych
PublicationW referacie wykazano istotny wpływ sztywności oprawy łożyska na obciążenie jego elementów tocznych. W pracy wykorzystano wyniki pomiarów warunków pracy rzeczywistego stojaka, co pozwoliło zbudować i poddać weryfikacji model obliczeniowy w celu poprawy jego wiarygodności.
-
Planowanie rozmieszczenia strażników w galeriach sztuki metodą kolorowania grafów
PublicationW niniejszym rozdziale zaprezentujemy podejście chromatyczne do wyznaczenialiczby straży w galeriach dowolnego kształtu bez dziur oraz w galeriach or-togonalnych z dziurami, a także bez dziur. Rozważane tu problemy są NP-trud-ne pod względem złożoności obliczeniowej.
-
Differential cross section minima in elastic scattering of electrons fromzinc
PublicationZostały obliczone położenia minimów różniczkowych przekrojów czynnych na sprężyste rozpraszanie elektronów na atomach cynku. Metoda obliczeniowa oparta jest na równaniach relatywistycznej mechaniki kwantowej. Wyniki obliczeń zostały porównane z ostatnimi danymi doświadczalnymi grupy z Uniwersytetu Belgradzkiego.
-
ANALIZA KONSTRUKCJI I GEOMETRII ŁOŻYSK WZDŁUŻNO-POPRZECZNYCH TURBOSPRĘŻARKI A1.3001 typ 3M65 KONCEPCJA ZMODERNIZOWANEGO ŁOŻYSKA.
PublicationW wyniku rozpoznania problemu niezadowalającej trwałości łożysk wałka I i II stopnia turbosprężarki oraz wykonaniu analizy obliczeniowej wielu wariantów łożysk promieniowych i osiowych zaproponowano nowe koncepcje łożysk, które odpowiednio zaprojektowane i wykonane powinny zapewnić długotrwałą pracę.
-
O problemie przydziału częstotliwości, kontrastowym kolorowaniu grafów i częściowych k-drzewach
PublicationNiniejszy artykuł poświęcony jest złożoności obliczeniowej problemu przydziału częstotliwości. Zawiera dowód tego, że jest on NP-trudny nawet dla grafów interferencji, będących grafami dwudzielnymi, oraz wielomianowy algorytm rozwiązujący ten problem dla grafów interferencji, będących częściowymi k-drzewami.
-
Zjawisko wyścigu w programowaniu współbieżnym
PublicationW rozdziale przedstawiono omówienie podstawowego problemu, z jakim, prędzej czy później, styka się każdy programista piszący oprogramowanie wykorzystujące współbieżność. W praktyce będzie to każdy programista starający się w pełni wykorzystywać moc obliczeniową współczesnych wielordzeniowych procesorów i akceleratorów
-
Usability of calculation methods for saw blade stiffness determination.
PublicationW pracy przedstawiono metodykę wyznaczania sztywności poprzecznej pił określanej na linii zębów. Prezentowana metodyka może być wykorzystywana zarówno do pił trakowych jak i taśmowych. Podano zalecenia wyboru odpowiedniej metody obliczeniowej w zależności od szerokości brzeszczotu piły.
-
Path Coloring and Routing in Graphs.
PublicationW rozdziale omówione zostały problemy kolorowania ścieżek i routingu w grafach. Podano podstawowe definicje związane z tymi problemami, znane wyniki wraz z dyskusją złożoności obliczeniowej dla grafów ogólnych i dla kilku podstawowych klas grafów oraz zastosowania.
-
ZAAWANSOWANE SYMULACJE NUMERYCZNE MES DYNAMIKI MOSTÓW Z WYKORZYSTANIEM PROCEDURY EXPLICITE
PublicationDostęp do mocy obliczeniowej superkomputerów oraz możliwość wykorzystania nowoczesnych systemów, np. takich jak Ls-Dyna, pozwala na uzyskanie niezwykle szczegółowych rozwiązań bardzo skomplikowanych problemów inżynierskich. Zagadnienia te dotyczą zakresu statyki/stateczności jak i dynamiki dla rozbudowanych układów konstrukcyjnych zarówno w zakresie nieliniowości materiałowej jak i geometrycznej. Uzyskanie wiarygodnych wyników...
-
Ekologiczne łożysko foliowe smarowane wodą - budowa i analiza wpływu wybranych parametrów konstrukcyjnych na sztywność podparcia łożyska = Environmentaly friendly water lubricated foil braing-design and influence analysis of selected design parameters bearing support stiffness
PublicationW artykule opisano budowę prototypowego łożyska foliowego smarowanego wodą ze szczególnym uwzględnieniem wpływu geometrii elementów podatnych łożyska na jego sztywność. Opisano technologię jego wykonania oraz model obliczeniowy łożyska opracowany z wykorzystaniem MES, przedstawiono wyniki wybranych analiz obliczeniowych.
-
Zabezpieczanie transmisji w rozproszonym systemie pomiarowym z wykorzystaniem algorytmu XXTEA
PublicationArtykuł dotyczy bezpieczeństwa transmisji danych w bezprzewodowym systemie pomiarowo-sterującym. Dokonano przeglądu algorytmów szyfrowania ze szczególnym uwzględnieniem tych dedykowanych do jednostek o niewielkiej mocy obliczeniowej. Moduły pomiarowe przesyłają bezprzewodowo do centrali systemu dane zabezpieczone zmodyfikowanym algorytmem XXTEA.
-
Analiza numeryczna i wymiarowanie stropu kablobetonowego
PublicationW pracy poruszono tematykę analizy numerycznej i wymiarowania stropu kablobetonowego. Przedstawiono przykład obliczeniowy, w którym omówiono poszczególne etapy budowy modelu numerycznego w programie SOFiSTiK oraz wymiarowania stropu żelbetowego kablobetonowego budynku biurowo-usługowego zaprojektowanego w układzie płytowo-słupowym.
-
Metoda określania przenikalności elektrycznej podłoży do hybrydowych mikrofalowych układów scalonych.
PublicationPrzedstawiono metodę określania przenikalności elektrycznej podłoży dielektrycznych stosowanych w konstrukcjach mikrofalowych układów scalonych opartą na pomiarze częstotliwości rezonansowych obustronnie metalizowanej płytki podłożowej. W procedurze obliczeniowej uwzględniono efekty związane ze składowymi pola elektrycznego wychodzącego poza obszar dielektryka podłożowego.
-
Fast algorithms for identyfication of periodiccaly varying systems.
PublicationPraca dotyczy identyfikacji obiektów o parametrach zmieniających się w sposób okresowy. Zaproponowane algorytmy śledzenia parametrów cechują się niską złożonością obliczeniową, typową dla podejścia gradientowego a zarazem wysoką jakością śledzenia typową dla złożonych algorytmów opartych na metodzie funkcji bazowych.
-
Doświadczenia z badań obiektów z łukiem na diagonali
PublicationW pracy przedstawiono konstrukcję oraz metodykę i zakres badań dwóch wiaduktów łukowych z dźwigarem głównym po diagonali pomostu.Przedstawiono modele obliczeniowe oraz zakres obliczeń statycznych i dynamicznych. Omówiono wyniki badań statycznych i dynamicznych analizowanych obiektów. Sformułowano wnioski dotyczące rzeczywistej pracy badanych obiektów oraz potrzeby zaawansowanych obliczeń i odpowiedniej metodyki tego rodzaju konstrukcji...
-
Ścinanie w ujęciu przepisów europejskich.
PublicationW pracy omówiono, wraz z obszernym komentarzem model obliczeniowy i zasady wymiarowania konstrukcji żelbetowych na ścinanie wg normy europejskiej. Podano wytyczne projektowania zbrojenia. Przedstawiono szeroki komentarz dotyczący zalet i wad modelu wg normy pr EN 1992 - July 2002
-
Próba modelowania i optymalnego sterowania zespołem mięśni ramienia-przedramienia w stanie dynamicznym.
PublicationW artykule przedstawiono model obliczeniowy obrotu przedramienia, który składa sie z sześciu zginaczy i trzech prostowników. Ten model jest opisany nieliniowym równaniem różniczkowo-całkowym o zmiennych w czasie wspołczynnikach. Również został opisany model optymalnego sterowania wybranym układem mięśni.
-
Modelowanie zachowania mięśnia szkieletowego w stanie dynamicznym.
PublicationW artykule przedstawiono obliczeniowy model zachowania mięśnia szkieletowego poprzecznie prążkowanego. Model mięśnia jest układem o zmiennych w czasie współczynnikach, który może być opisany układem równań różniczkowych oraz jednym równaniem różniczkowo-całkowym. Zaprezentowano zasymulowane przebiegi skurczów izometrycznego i izotonicznego.
-
An efficient algorithm for the longest tandem scattered subsequence problem.
PublicationReferat dotyczy zagadnienia wyznaczania najdłuższego podciągu podwójnego (typu x1,x2,...,xk,x1,x2,...,xk) dla zadanego ciągu znaków (y1,y2,...,yn). Podano algorytm o złożoności obliczeniowej O(n^2) i pamięciowej O(n) znajdujący optymalne rozwiązanie postawionego problemu.
-
Automatyzacja sprawdzania poprawności wnioskowania podczas rozwiązywania zadań obliczeniowych.
PublicationW artykule omówiono założenia projektowe i architekturę edukacyjnego systemu informatycznego nadzorującego proces wnioskowania użytkownika podczas rozwiązywania zadań obliczeniowych. Opisywany jest system z bazą wiedzy, w których wiedza o zadaniach z elementarnej matematyki, fizyki lub chemii jest reprezentowana w postaci modeli obliczeniowych, stanowiących szczególny przypadek sieci semantycznych. Scharakteryzowano prototypowy...
-
Badania, analizy techniczne i ocena możliwości wykorzystania istniejących konstrukcji wież oświetleniowych do ponownego zastosowania
PublicationWykonanie badań i pomiarów technicznych istniejącej konstrukcji metalowej w celu identyfikacji jej parametrów geometrycznych, wytrzymałościowych oraz zastosowanych powłok ochronnych. Ocena stanu połączeń spawanych. Analizy obliczeniowe statyczno-wytrzymałościowe z uwzględnieniem zagadnień dynamiki budowli konstrukcji metalowej wież oświetleniowych na podstawie uzyskanych danych z badań i pomiarów terenowych. Ocena możliwości zastosowania...
-
Analiza przydatności wybranych algorytmów opartych na ewolucji populacji do szeregowania zadań produkcyjnych
PublicationW pracy omówiono konstrukcję trzech algorytmów opartych na ewolucji populacji: ewolucyjnego, uczenia populacji i mrówkowego do szeregowania zadań produkcyjnych. Zaprezentowano wyniki eksperymentu dla trzech trudnych obliczeniowo problemów deterministycznych. Na podstawie otrzymanych wyników przeanalizowano przydatność przedstawionych metod do szeregowania zadań.
-
Analiza systemu zasilania trolejbusów z wykorzystaniem metody Monte Carlo
PublicationW rozprawie przedstawiono model symulacyjny układu zasilania sieci trolejbusowej oparty na metodzie Monte Carlo. Przeprowadzono eksperymentalną weryfikację opracowanej metody obliczeniowej. Zaprezentowano przykładowe zastosowanie modelu symulacyjnego. Opracowana metoda może być wykorzystana dla celów analizy układów zasilania trakcji trolejbusowej i tramwajowej.
-
Connectivity in Multi-Interface Networks
PublicationRozważano zagadnienie minimalizacji energii w sieciach bezprzewodowych bez infrastruktury, w których niektóre węzły są wyposażone w więcej, niż jeden interfejs. W przyjętym modelu sieci podano nowe algorytmy przybliżone oraz wyniki dotyczące złożoności obliczeniowej dla problemu najtańszej spójnej podsieci spinającej.
-
Sum coloring of bipartite graphs with bounded degree.
PublicationArtykuł poświęcony jest złożoności obliczeniowej zagadnienia sumacyjnego kolorowania grafów dwudzielnych o ograniczonym stopniu. Zawiera dowód tego, że sumacyjne kolorowanie grafów dwudzielnych stopnia mniejszego równego 5 jest NP-zupełne oraz opis wielomianowego algorytmu, który optymalnie sumacyjnie koloruje grafy dwudzielne podkubiczne.
-
ANALIZA MOŻLIWOŚCI POPRAWY STANU DYNAMICZNEGO TURBOZESPOŁU NR2 POPRZEZ MODERNIZACJĘ LUB ZMIANĘ KONSTRUKJI ŁOŻYSKA NR 1 W EDF POLSKA S.A. ODDZIAŁ WYBRZEŻE LOKALIZACJA ELEKTROCIEPŁOWNIA W GDYNI
PublicationCelem pracy było wykonanie analizy warunków pracy łożysk 1, 2 i 3 turbozespołu TG-2 zainstalowanego w EC Gdynia oraz określenie możliwości ewentualnej modernizacji łożysk w celu uzyskania stabilniejszej pracy turbozespołu. Do analizy właściwości łożysk ślizgowych turbiny wykorzystano program obliczeniowy ARTbear7.0.
-
Dynamiczny model uogólnionego łącznika energoelektronicznego do symulacji układów przekształtnikowych
PublicationZaproponowano strategię modelowania, w której po określeniu postaci modelu dobiera się numeryczne metody obliczeniowe stosowane w symulacji. Przedstawiono opracowany uogólniony, nieliniowy model tranzystora mocy IGBT. Przyjęto, że do określenia parametrów tego modelu powinna wystarczać znajomość standardowych, katalogowych para-metrów i charakterystyk. Przedstawiono model zaciskowy o klasycznej strukturze, odwzorowujący z wystarczającą...
-
Problemy doboru i instalowania wyłączników różnicowoprądowych
PublicationPrzedstawiono klasyfikację wyłączników różnicowoprądowych oraz zasady ich doboru i instalowania w instalacjach elektrycznych. Omówiono czynniki wpływające na prawidłowe działanie wyłączników i zwrócono uwagę na błędy popełniane przy ich stosowaniu. Wymieniono obwody, w których instalowanie wyłączników różnicowoprądowych jest obowiązkowe, a w których niezalecane. Zwrócono uwagę na ich dobezpieczanie oraz koordynację z ogranicznikami...
-
KASKADA - środowisko do wytwarzania i uruchamiania multimedialnych aplikacji równoległych
PublicationOpisano podstawowe cechy platformy KASKADA jako środowiska do tworzenia i uruchamiania multimedialnych aplikacji rozproszonych. Przedstawiono funkcjonalność wspierającą konstrukcję algorytmów, zaimplementowanych jako zadania obliczeniowe wykonujące analizę danych wejściowych, usług prostych umożliwiających uruchamianie zadań obliczeniowych oraz usług złożonych agregujących usługi proste za pomocą scenariuszy wykonania. Zaprezentowano...
-
Challenges of modern assessment of safety of ships in critical conditions. Options for preliminary design
PublicationW pracy przedstawiono wyniki badań na temat zastosowania formalnej metody oceny bezpieczeństwa statków w stanie uszkodzonym w stosunku do obecnej metody, opartej na przepisach zawartych w konwencji SOLAS rozdział II-1, części A, B i B-1. Przedstawiono elementy analizy bezpieczeństwa obejmujące identyfikację zagrożeń i scenariuszy wypadków, ocenę zagrożeń, ocenę ryzyka i kontrolę ryzyka. Podano przykłady obliczeniowe i wnioski praktyczne.
-
An approximation algorithm for maximum P3-packing in subcubic graphs
PublicationW pracy podano algorytm 4/3-przyliżony dla trudnego obliczeniowo problemu umieszczania wierzchołkowo rozłącznych dwukrawędziowych ścieżek w grafach o stopniu maksymalnym 3 i stopniu minimalnym 2. Poprawiono tym samym wcześniejsze wyniki dla grafów kubicznych (A. Kelmans, D. Mubayi, Journal of Graph Theory 45, 2004).
-
Łagodne wprowadzenie do analizy algorytmów
PublicationKsiążka jest 11. wydaniem podręcznika akademickiego poświęconego podstawom algorytmiki. Składa się z trzech rozdziałów. Rozdział 1 daje podstawy formalne niezbędne przy analizie algorytmów pod kątem złożoności obliczeniowej. Rozdział 2 wprowadza w zagadnienia analizy algorytmów z różnych punktów widzenia.Rozdział 3 przedstawia podstawowe struktury danych.