Filters
total: 2238
filtered: 1966
-
Catalog
- Publications 1966 available results
- Journals 1 available results
- People 70 available results
- Inventions 4 available results
- Projects 11 available results
- Research Teams 7 available results
- Research Equipment 1 available results
- e-Learning Courses 142 available results
- Events 10 available results
- Open Research Data 26 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: ALGORYTMY DECYZYJNE
-
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.
-
Wykrywanie prostych w obrazie cyfrowym z wykorzystaniem transformacji Hougha
PublicationArtykuł prezentuje eksperymentalną analizę wpływu szumu o założonym poziomie na skuteczność wykrywania prostych w obrazie przy użyciu algorytmu Hougha. Analizę przeprowadzono przy użyciu opracowanej aplikacji obejmującej realizację procedury generacji szumu oraz algorytmu automatycznie wyznaczającego liczbę pikseli w funkcji jasności w przestrzeni Hougha. Zbadano wpływ poziomu szumu na różnicę w liczbach pikseli tworzących prostą...
-
Uporządkowane kolorowanie wierzchołków grafów
PublicationW pracy przedstawiamy stosunkowo nowy model kolorowania grafów, mianowicie kolorowanie uporządkowane. Po scharakteryzowaniu potencjalnych zastosowań tego modelu przedstawiamy liniowy algorytm kolorowania grafów w sposób przybliżony. Pokazujemy klasy grafów, które ten algorytm koloruje optymalnie i klasy grafów, dla których błąd pokolorowania może być dowolnie duży. Przedstawiamy również doświadczenia komputerowe zebrane w trakcie...
-
Zastosowanie funkcji kształtu w sterowaniu przekształtnikami matrycowymi w warunkach asymetrii napięć zasilających
PublicationW artykule przeanalizowano sterowanie przekształtnikami matrycowymi z zastosowaniem funkcji kształtu trójkątnego elementu skończonego. Bazując na właściwościach funkcji kształtu, zaproponowano nowy algorytm modulacji PWM dla dwumodułowych przekształtników matrycowych pozwalający na zwiększenie amplitudy napięcia wyjściowego oraz kształtowanie poprawnych i sinusoidalnych prądów wyjściowych w warunkach asymetrii napięć zasilających....
-
Estymacja napięcia niezrównoważenia w obwodzie pośredniczącym trójpoziomowego falownika NPC z wykorzystaniem obserwatora EKF
PublicationW artykule przedstawiono nowy algorytm estymacji napięcia niezrównoważenia w obwodzie pośredniczącym falownika 3L-NPC (ang. Three Level Neutral Diode-Clamped Converter) wykorzystujący rozszerzony filtr Kalmana. Algorytm może być wykorzystany do sterowania falownikiem bez czujnika napięcia w punkcie środkowym jak również może służyć do celów diagnostycznych czujnika polegających na porównaniu mierzonej wartości z estymowaną. W artykule...
-
Zastosowanie funkcji kształtu w sterowaniu przekształtnikami matrycowymi w warunkach asymetrii napięć zasilających
PublicationW artykule przeanalizowano sterowanie przekształtnikami matrycowymi z zastosowaniem funkcji kształtu trójkątnego elementu skończonego. Bazując na właściwościach funkcji kształtu, zaproponowano nowy algorytm modulacji PWM dla dwumodułowych przekształtników matrycowych pozwalający na zwiększenie amplitudy napięcia wyjściowego oraz kształtowanie poprawnych i sinusoidalnych prądów wyjściowych w warunkach asymetrii napięć zasilających....
-
Sterowanie przekształtnikiem sieciowym z predykcją siły elektromotorycznej
PublicationPraca zawiera propozycję układu sterowania przkształtnikiem sieciowym z funkcją filtru aktywnego bez pomiaru napięcia sieci. W układzie sterowania zaproponowano precyzyjny algorytm estymacji i predykcji zastępczej siły elektromotorycznej oraz zastosowano predykcyjny regulator prądu oparty na modelu obiektu. W pracy przedstawiono analizę obszaru pracy przekształtnika, analizę strategii sterowania przkształtnikiem oraz algorytm i...
-
Enhancing set of experiance knowledge structure (SOEKS) with w nearest neighbour algorithm Relief-F
PublicationPrzedstawiono koncepcje uzupelnienia i wpsomagania struktury wiedzy opartej na SOEKS przy pomocy algorytmu przypisujacego wagi atrybutow.
-
Cost minimisation in multi-interface networks
PublicationPraca dotyczy problemu minimalizacji energii poprzez selektywne odłączanie urządzeń komunikacyjnych w wielointerfejsowych sieciach bezprzewodowych w taki sposób, by zapewnić realizację wymaganego grafu połączeń. Sformułowano problem optymalizacyjny, podano wyniki dotyczące jego trudności i zaproponowano algorytmy optymalizacyjne.
-
Wyszukiwanie obrazów w multimedialnych bazach danych.
PublicationW pracy przedstawiono problem wyszukiwania obrazów w multimedialnych bazach danych. Wskazano na istniejące w tej dziedzinie problemy oraz metody ich rozwiązywania. Przedstawiono wybrane algorytmy wyszukiwania obrazów, zaprezentowano prototypowy system wyszukiwania oraz wstępne wyniki badań.
-
Identyfikacja na podstawie pisma i tekstu
PublicationW pracy zamieszczono opis różnych technik identyfikacji tożsamości na podstawie pisma, tekstu i podpisów. Omówiono algorytmy ekstrakcji cech niezbędne do wykonania operacji rozpoznawania. Opisane systemy biometryczne odgrywają dużą rolę w identyfikacji i weryfikacji osobniczej.
-
Predictive current controller with simplified load model operating for allfrequencies. Vestnik Nacionalnogo tehniceskogo universiteta ''Harkovskij po- litehniceskij institut'' Problemy avtomatizirowannogo elektroprivoda. Teo- ri i praktika.**2002 vyp. 12 t. 2 s. 355-357, 6 rys. bibliogr. 4 poz. Seri ''Elektrotehnika, elektronika i elektroprivod''. Predykcyjny regulator prądu z uproszczonym modelem obciążenia pracujący wszerokim zakresie częstotliwości.
PublicationZaprezentowano nowy rodzaj regulatora predykcyjnego prądu, umożliwiającydziałanie w szerokim zakresie częstotliwości. Rozpatrzono aspekty praktycznepraktyczne realizacji algorytmu sterowania.
-
Przykłady zastosowania zestawu uruchomieniowego TMS320C6711 DSK z procesorem sygnałowym do realizacji stanowisk laboratoryjnych w laboratorium procesorów sygnałowych. Zastosowanie Komputerów w Nauce i Technice. Gdańsk 2003. XIII cykl seminariów zorganizowanych przez PTETiS, Oddział Gdańsk.
PublicationPrzedstawiono dwa stanowiska laboratoryjne wykorzystujące zestawy ze zmiennoprzecinkowym procesorem sygnałowym TMS320C6711. Jedno z nich realizuje analizator widma a drugie demonstruje algorytmy kodowania sygnałów podczas ich transmisji. Oba przygotowane stanowiska opracowano przy wykorzystaniu środowiska Code Composer Studio.
-
Digital Imaging and Communication in Medicine Standard for Breast Thermal Imaging
PublicationOmówiono znaczenie normy DICOM w obrazowaniu medycznym. Zaproponowano metodę opisu danych w diagnostyce terminczej piersi dla potrzeb normy DICOM. Zaprojektowano i wykonano algorytmy automatycznej konwersji danych oraz tworzenia struktur danych w hierarchiczno-obiektowym modelu danych.
-
Metoda analizy wielokryterialnej do planowania rozwoju sieci elektroenergetycznej średniego i niskiego napięcia
PublicationW artykule przedstawiono metodę wspomagającą decyzje w zakresie wyboru wariantu przyłączenia odbioru do sieci elektroenergetycznej dystrybucyjnej niskiego napięcia lub średniego napięcia oraz mikrogeneracji do sieci niskiego napięcia. Metodę tą zaimplementowano w skoroszycie kalkulacyjnym Microsoft Excel i zastosowano do analizy złożonych przypadków przyłączenia odbioru lub mikrogeneracji.
-
Non linear identification of underwater vehicles. W: [CD-ROM] Conference Proceedings. The 29th Israel Conference on Mechanical Engineering. May 12-13, 2003 Haifa, Israel. Haifa: Technion - Israel Inst. Technol.**2003[B8] s. 1-8, 5 rys. bibliogr. 7 poz. Nieliniowa identyfikacja pojazdów podwodnych.
PublicationArtykuł dotyczy identyfikacji nieliniowych modeli pojazdów podwodnych o wie-lu zmiennych. Zaproponowana metoda działa w obszarze czasu rzeczywistego imoże być stosowana do nieliniowych modeli, które są liniowe w części doty-czącej nieznanego wektora parametrów. W celu poradzenia sobie z parametramizmieniającymi się w czasie, zastosowano rekursyjną wersję algorytmu identy-fikacji. Po krótkim opisie matematycznych podstaw...
-
A multirate approach to DDS algorithm versus Taylor-series expansion technique.
PublicationPokazano, że cyfrowy generator syntezy bezpośredniej (DDS) można traktować jako algorytm wieloszybkościowy. Rozważono i porównano dwa sposoby wykorzystania pamięci. W pierwszym z nich zastosowano filtr ułamkowo-opóźniający o strukturze Farrowa. Drugie podejście oparto na rotacji fazy na podstawie rozwinięcia w szereg Taylora. Eksperymenty pokazują, że za pomocą obu tych sposobów, dla sinusoidy zespolonej generowanej w kwadraturowym...
-
Incremental construction of Minimal Tree Automata [online]
PublicationWe describe an algorithm that allows the incremental addition or removal of unranked ordered trees to minimal frontier-to-root deterministic tree automaton (DTA). The algorithm takes a tree t and a minimal DTA A as input; it outputs a minimal DTA A' which accepts the language L(A) accepted by A incremented (or decremented) with the tree t. The algorithm can be used to efficiently maintain dictionaries which store large collections...
-
Edge ranking and searching in partial orders
PublicationArtykuł jest poświęcony problemowi konstrukcji optymalnej (wymagającej minimalnej ilości porównań/zapytań) strategii wyszukiwania elementu w częściowym porządku. W pracy wskazano związki pomiędzy tym problemem oraz uporządkowanym kolorowaniem krawędzi grafów, co implikuje liniowy algorytm dla częściowych porządków o strukturze drzewa. Pokazano również, że znalezienie optymalnej strategii jest problemem obliczeniowo trudnym dla...
-
Boundary value problems for systems of functional differential equations
PublicationPraca dotyczy przybliżonych rozwiązań zagadnienia brzegowego dla funkcyjnych równań różniczkowych 2-go rzędu. Podano numeryczne algorytmy na wyznaczenie tego rozwiązania i warunki dostateczne, przy których metoda jest zgodna i zbieżna. Podano też konstrukcję metody dowolnego rzędu.
-
Rozproszone kolorowanie grafów
PublicationW pracy rozważany jest rozproszony model obliczeń, w którym struktura systemu jest reprezentowana przez graf bezpośrednich połączeń komunikacyjnych. W tym modelu podajemy nowe, rozproszone algorytmy kolorowania grafów wraz z dokładną analizą teoretyczną i wynikami eksperymentów obliczeniowych.
-
Strategia doboru oprogramowania optymalizacji transportu - przykład aplikacyjny
PublicationW artykule pokazano praktyczne wdrozony w praktyce przemysłowej komputerowo wspomagany system optymalizacji transportu. Na wstepie scharakteryzowano wyjsciową sytuację decyzyjną przedsiebiorstwa w połączeniu z jego parametrami logistycznymi. Z kolei pokazano techniki i narzedziaorganizacji projektu IT z wykorzystaniem modeli referencyjnych ładu korporacyjnego, na przykłądzie kaskadowego modelu życia systemu IT, procesowo-projektowej...
-
Minimum vertex ranking spanning tree problem for chordal and proper interval graphs
PublicationW pracy rozważamy problem szukania, dla danego grafu prostego, drzewa spinającego, którego uporządkowana liczba chromatyczna jest minimalna. K.~Miyata i inni dowiedli w [Np-hardness proof and an approximation algorithm for the minimum vertex ranking spanning tree problem,Discrete Appl. Math. 154 (2006) 2402-2410], że odpowiedni problem decyzyjny jest NP-trudny już w przypadku pytania o istnienie uporządkowanego 4-pokolorowania....
-
Cienie i cieniowanie w grafice komputerowej
PublicationW artykule poruszono kwestie dotyczące tworzenia cieni i światłocieni w gra-fice komputerowej. Przywołano popularne algorytmy do generowania cieni orazich relacje z metodami wykreślnymi. Ponadto omówiono specyfikę i niektóremożliwości przykładowego programu (3DStudio Viz 3) w tym zakresie.
-
Interval wavelength assignment in all-optical star networks
PublicationArtykuł omawia zwarte końcówkowe kolorowanie grafów, które jest matematycznym modelem dla problemu przydziału częstotliwości w sieciach optycznych. W artykule przedstawiono wielomianowe algorytmy wyznaczania zwartej końcówkowej liczby chromatycznej dla pełnych grafów k-dzielnych, drzew i podkubicznych grafów dwudzielnych.
-
Simulation of incremental encoder signals
PublicationPrzedstawiono generator sygnału impulsowego do symulacji sygnału z przetwornika obrotowo-impulsowego w stanach przejściowych. Omówiono algorytmy wyznaczenia przedziałów międzyimpulsowych dla trzech rodzajów zmian prędkości obrotowej: liniowej, wykładniczej oraz sinusoidalnej. Przeanalizowano błędy kwantowania wynikające z cyfrowej realizacji generatora.
-
Modele matematyczne do wspomagania komputerowo sterowania systemami produkcyjnymi.
PublicationPrzedstawia się zasadę budowy zunifikowanego modelu matematycznego zintegrowanego sterowania systemami produkcyjnymi. Model ten składa się z modeli zespołów produkcyjnych oraz z istotnych w rozwiązaniu problemu modeli matematycznych zespołów zaopatrzeniowych oraz zespołów zbytu produktów. Uwzględnione są także w nim relacje pozwalające decydentowi podejmować decyzje dotyczące renowacji zespołów.
-
Rozpoznawanie dynamicznych i statycznych gestów rąk w zastosowaniu do sterowania aplikacjami komputerowymi
PublicationW referacie przedstawiono interfejs, metody oraz algorytmy sterowania komputerem za pomocą dynamicznych i statycznych gestów rąk. Komponentami opracowanego rozwiązania są komputer klasy PC wraz z opracowanym interfejsem i oprogramowaniem, kamera internetowa oraz projektor multimedialny. Gesty rozpoznawane są w procesie analizy obrazu wizyjnego pozyskanego z kamery internetowej przymocowanej do projektora oraz analizy obrazu wyświetlanego...
-
High level synthesis with adaptive evolutionary algorithm for solving reliability and thermal problems in reconfigurable microelectronic systems.
PublicationPraca dotyczy badań efektywności adaptacyjnego algorytmu ewolucyjnego (AEA)zastosowanego do syntezy wysokiego poziomu układów cyfrowych CMOS w celu zredukowania rozpraszanej przez nie mocy. W wyniku obniżenia poziomu mocy pobieranej przez układ mikroelektroniczny uzyskuje się zmniejszenie szczytowej i średniej temperatury układu scalonego co z kolei prowadzi do wzrostu niezawodności całego systemu. Podczas przeprowadzonych...
-
Connected searching of weighted trees
PublicationW artykule rozważamy problem spójnego przeszukiwania drzew obciążonych. Autorzy w [L. Barriere i inni, Capture of an intruder by mobile agents, SPAA'02 (2002) 200-209] twierdzą, że istnieje wielomianowy algorytm dla problemu obliczania optymalnej strategii przeszukiwania obciążonego drzewa. W niniejszej pracy pokazano, że problem ten jest obliczeniowo trudny nawet dla wierzchołkowo-obciążonych drzew (wagi krawędzi równe 1) oraz...
-
Inteligentna Synteza Niskich Częstotliwości w urządzeniach mobilnych
PublicationW pracy przedstawiono algorytm inteligentnej adaptacji parametrów syntezy niskich częstotliwości w urządzeniach przenośnych w zależności od odtwarzanego gatunku muzycznego (Smart VBS). Proponowany algorytm wykorzystuje metody generacji harmonicznych oparte na generatorze funkcji nieliniowych (NLD) i wokoderze fazowym (PV). Dla znalezienia optymalnych parametrów syntezy przeprowadzono testy subiektywne sprawdzające powiązanie parametrów...
-
Sieci RPR - sprawiedliwość
PublicationW pracy dokonano charakterystyki sieci RPR. Zdefiniowano pojęcie sprawiedliwości. Opisano algorytmy mające zapewnić sprawiedliwość wykorzystywane w sieciach komputerowych, w szczególności w sieciach RPR. Przedstawiono wyniki badań możliwości stabilnego wysyłania danych przez stacje RPR znajdujące się w domenie przeciążenia.
-
Optical excitation methods in active dynamic thermography in medical diagnostics.
PublicationArtykuł zawiera opis metod pobudzania cieplnego badanych obszarów ciała ludzkiego w technice aktywnej termografii dynamicznej. Jako źródła pobudzenia cieplnego mogą być stosowane lampy podczerwieni, lampy halogenowe dużej mocy, a także lasery. W artykule opisano również algorytmy obliczeń obrazów parametrycznych.
-
Modernizacja łuków koszowych z wykorzystaniem programu MUGO
PublicationW artykule przedstawiono opracowywane obecnie algorytmy obliczeń, które będą wykonywane w programie komputerowym MUGO służącym do wyznaczania przesunięć toru i robót ziemnych. Program jest związany z modernizacją układów geometrycznych toru kolejowego. W pracy scharakteryzowano aktualny stan zaawansowania programu.
-
Integracja systemu zarządzania z modułem wymiarowania zasobów w Systemie IIP
PublicationCelem artykułu jest przedstawienie współpracy dwuetapowego wymiarowania z systemem zarządzania na poziomie warstw L1 i L2 architektury Systemu IIP. Omówiono zadania systemu zarządzania oraz modułu wymiarowania, zrealizowane algorytmy optymalizacyjne oraz uniwersalne styki z systemem zarządzania oraz Równoległymi Internetami.
-
Modernizacja łuków koszowych z wykorzystaniem programu MUGO
PublicationW artykule przedstawiono opracowywane obecnie algorytmy obliczeń, które będą wykonywane w programie komputerowym MUGO służącym do wyznaczania przesunięć toru i robót ziemnych. Program jest związany z modernizacją układów geometrycznych toru kolejowego. W pracy scharakteryzowano aktualny stan zaawansowania programu.
-
Różnicowa tomografia impedancyjna
PublicationW pracy zaprezentowano ideę obrazowania obiektów trójwymiarowych przy pomocy pomiaru impedancji na jego punktach brzegowych. W pracy pokazano podstawy obrazowania przy użyciu pomiaru z wykorzystaniem dwu częstotliwości jednocześnie , pokazano algorytmy rekonstrukcji i przykładowy system pomiarowy wykorzystujący zaproponowaną technikę.
-
Współpraca systemu zarządzania z modułem wymiarowania zasobów w Systemie IIP
PublicationCelem artykułu jest przedstawienie współpracy dwuetapowego wymiarowania z systemem zarządzania na poziomie warstw L1 i L2 architektury Systemu IIP. Omówiono zadania systemu zarządzania oraz modułu wymiarowania, zrealizowane algorytmy optymalizacji oraz uniwersalne styki z systemem zarządzania oraz Równoległymi Internetami.
-
AUTOMATYCZNE ROZPOZNAWANIE GATUNKÓW MUZYCZNYCH W APLIKACJI SYNTEZUJĄCEJ NISKIE CZĘSTOTLIWOŚCI W URZĄDZENIACH MOBILNYCH
PublicationW pracy został opisany inteligentny algorytm syntezy niskich częstotliwości w urządzeniach mobilnych (Smart VBS). Algorytm Smart VBS rozpoznaje gatunek muzyczny i w zależności od wskazania dobiera optymalne parametry syntezy niskich częstotliwości. Synteza niskich częstotliwości odbywa się z wykorzystaniem metody funkcji nieliniowych (NLD). Modyfikacji podlega wykorzystywana funkcja nieliniowa, liczba oraz poziom wzmocnienia dodawanych...
-
Semi-Markov model of diesel engines' operating process.
PublicationNajistotniejszym problemem eksploatacji silników o zapłonie samoczynnym jest problem racjonalnego (a zwłaszcza optymalnego) sterowania procesem eksploatacji tych silników. Sterowanie takie może ułatwić zastosowanie iteracyjnego algorytmu wyznaczania optymalnych strategii opracowanego przez R.A. Howarda. Wykorzystanie jednak tego algorytmu do sterowania procesem eksploatacji silników wymaga między innymi opracowania modelu procesu...
-
Cholesky factorization of matrices in parallel and ranking of graphs.
PublicationUporządkowane kolorowanie znajduje zastosowanie przy równoległej faktoryzacji macierzy metodą Cholesky'ego. Praca zawiera opis tego zastosowania. Podano także algorytmy optymalnego uporządkowanego kolorowania krawędzi pewnych klas grafów: grafów pełnych dwudzielnych oraz powstałych z pełnych dwudzielnych przez usunięcie O(log n) krawędzi.
-
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.
-
Protokół głosowania większościowego w narzędziu wsparcia decyzji handlowych
PublicationIstnieje szerokie spektrum narzędzi i metod wspierających decyzje handlowe, lecz brakuj jasnych reguł ich stosowania. Zaproponowano samoorganizujacy się system agentowy do wspierania decyzji handlowych. System bazując na glosowaniu z dynamicznymi wagami, wskazuje efektywne indykatory na podstawie ich poprzednich osiągnięć. Przedstawiono analizę formalną i wyniki weryfikacji, potwierdzającej cechy rozwiązania.
-
Plany rozwoju przestrzennego jako kontynuacja rozwoju międzywojennej wizji
PublicationPowstanie i rozwój Gdyni nierozerwalnie wiążą się z okresem dwudziestolecia międzywojennego. Podjęte wówczas decyzje zadecydowały o kierunkach rozwoju śródmieścia, a współczesne przekształcenia wpisują się zarysowane ponad 80 lat temu kierunki. Artykuł dotyczy zagadnienia kontynuacji wizji urbanistycznej Gdyni okresu międzywojennego w dzisiejszych czasach, przywołując obecne tendencje i realizowane już inwestycje.
-
Badanie wpływu strategii sterowania obiegiem narzędzi na wydajność elastycznego systemu wytwarzania.
PublicationPrzedmiotem rozprawy doktorskiej są badania wpływu strategii sterowania obiegiem narzędzi na wydajność elastycznego systemu wytwarzania. Obiektem badań było elastyczne gniazdo obróbkowe wyposażone w trzy poziome frezarsko-wytaczarskie centra obróbkowe przeznaczone do wytwarzania części klasy korpus. Wybrane strategie przydziału operacji technologicznych i adekwatnych zestawów narzędziowych poddano analizie i ocenie wg przyjętych...
-
Mobilne pomiary satelitarne na liniach Pomorskiej Kolei Metropolitalnej
PublicationW pracy przedstawiono organizację i wykonanie mobilnych pomiarów satelitarnych, przeprowadzonych na liniach Pomorskiej Kolei Metropolitalnej przed oficjalnym oddaniem do eksploatacji. Pomiary te umożliwiły precyzyjne odtworzenie jej rzeczywistego kształtu geometrycznego. Opisano zagadnienia projektowania i budowy omawianej linii kolejowej oraz prace geodezyjne przy realizacji inwestycji. W analizie wyników przeprowadzonych pomiarów...
-
A new approach to visual system testing
PublicationOpisano budowę laboratoryjnego stanowiska prac bawczych nad perymetrią obiektywną. Przedstawiono zasadę działania algorytmu VEPDA oraz wyniki działania VEPDA na danych eksperymentalnych.
-
Ewolucyjna minimalizacja poboru mocy podczas procesu testowania kombinacyjnych układów cyfrowych
PublicationW artykule przedstawiono zastosowanie algorytmu ewolucyjnego do minimalizacji poboru mocy podczas procesu testowania kombinacyjnych układów cyfrowych. Przy użyciu proponowanej metody dokonano wyboru kolejności podawania na wejścia układu wektorów testowych, aby liczba przełączeń bramek wchodzących w jego skład była jak najmniejsza. Pod uwagę wzięto cztery układy wybrane z literatury. Otrzymane wyniki wskazują, że możliwe jest...
-
Optymalne pokolorowania średnicowe dla wybranych klas grafów
PublicationW pracy opisano wybrane właściwości szczególnego przypadku radiowego kolorowania grafów, zwanego kolorowaniem średnicowym. Podano zasadę działania algorytmu optymalnego kolorowania średnicowego i oszacowania liczby średnicowej grafu w przypadku ogólnym oraz dla ścieżek i cykli. Korzystając z podanego algorytmu, znaleziono dokładne wartości liczby średnicowej dla ścieżek i cykli niewielkiej długości, co pozwoliło na obalenie wcześniej...
-
Large rotations in first-order shear deformation FE analysis of laminated shells
PublicationAbstrakt: Teoria powłok o skończonych obrotach w ramach modelu ścinania pierwszego rzędu stanowi podstawę zaprezentowanego w pracy algorytmu MES statycznej, geometrycznie nieliniowej analizy konstrukcji warstwowych. Szczególną uwagę zwrócono na właściwy opis skończonych obrotów przy zastosowaniu kątów Eulera oraz procedurę uaktualniania parametrów obrotowych. Przedstawiono sformułowanie przyrostowe w stacjonarnym opisie Lagrange´a....