Search
Search results for: NP-TRUDNOŚĆ
-
Cykliczny system otwarty z ograniczeniami obustronnych przestojów
PublicationW pracy badany jest system otwarty, który pracuje cyklicznie, tj. po ukończeniu jednego zestawu zadań przetwarzany jest kolejny zestaw identycznych zadań. Narzucone jest przy tym ograniczenie polegające na braku przestojów zarówno po stronie procesów jak i zadań. Wykazana jest NP-trudność problemu konstrukcji uszeregowania spełniającego te założenia jak i problemu minimalizacji długość i cyklu.
-
Nagrzewanie przewodów o niejednorodnym przekroju w stanach nieustalonych.
PublicationNagrzewanie przewodów o przekroju niejednorodnym, np. topików bezpiecznikowych, było badane eksperymentalnie. Metoda eksperymentalna jest pracochłonna i często uniemożliwia określenie wartości lokalnych i rozkładu temperatury, zwłaszcza, jeżeli przewód jest umieszczony wewnątrz urządzenia, np. we wnętrzu bezpiecznika. Trudność tę łatwo można pokonać stosując metody symulacyjne, które pozwalają w krótkim czasie uzyskać wyniki....
-
Modele i algorytmy dla grafowych struktur defensywnych
PublicationW niniejszej pracy przeprowadzono analizę złożoności istnienia struktur defensywnych oraz równowag strategicznych w grafach. W przypadku struktur defensywnych badano modele koalicji defensywnych, zbiorów defensywnych i koalicji krawędziowych - każdy z nich w wersji globalnej, tj. z wymogiem dominacji całego grafu. W przypadku modeli równowagi strategicznej badano równowagę strategiczną koalicji defensywnych, równowagę strategiczną...
-
Modele i algorytmy dla grafowych struktur defensywnych
PublicationW niniejszej pracy przeprowadzono analizę złożoności istnienia struktur defensywnych oraz równowag strategicznych w grafach. W przypadku struktur defensywnych badano modele koalicji defensywnych, zbiorów defensywnych i koalicji krawędziowych – każdy z nich w wersji globalnej, tj. z wymogiem dominacji całego grafu. W przypadku modeli równowagi strategicznej badano równowagę strategiczną koalicji defensywnych, równowagę strategiczną...
-
KLASYFIKACJA SYGNAŁU EKG PRZY UŻYCIU KONWOLUCYJNYCH SIECI NEURONOWYCH
PublicationPodniesienie jakości i zautomatyzowanie procesu diagnozy jest istotnym elementem rozwoju medycyny i samokontroli stanu zdrowia pacjentów. Od dłuższego czasu istnieją i są stosowane różne metody analizy i klasyfikacji sygnału EKG, jednak nie zawsze ich dokładność jest zadowalająca. Największym problemem jest trudność rozpoznania istniejącej nieprawidłowości, w przypadku gdy jej reprezentacja jest podobna do prawidłowej pracy...
-
Systemy automatycznej detekcji bezdechu sennego
PublicationZgodnie z przyjętą klasyfikacją międzynarodową identyfikowanych jest ponad 60 różnych zaburzeń snu [58] z podziałem na 7 kategorii. Bezdech senny, zarówno centralny jak i obturacyjny zaliczany jest do kategorii drugiej. Systemy pomiarowe wykorzystywane w monitorowaniu i diagnozie snu, w tym wykorzystywane do detekcji bezdechu sennego, można sklasyfikować ze względu na wiele kryteriów, np. ze względu na to czy badania wykonywane...
-
Połączenie chromatografu cieczowego ze spektrometrem mas - stare i nowe rozwiązania
PublicationChromatografia cieczowa sprzężona ze spektrometrią mas w ostatnich latach stała się główną techniką wykorzystywaną do oznaczania szerokiej gamy indywiduów chemicznych. Jednakże połączenie chromatografii cieczowej i spektrometrii mas napotkało wiele problemów, takich jak ogromna różnica ciśnień panująca w obu tych aparatach oraz zmiana stanu skupienia fazy ruchomej z ciekłej na gazową (a więc zmiana objętości). Ogromnym wyzwaniem...
-
Kompetencje absolwenta kierunku unikatowego - zarządzanie inżynierskie
PublicationW artykule przedstawiono założenia kierunku unikatowego zarządzanie inżynerskie oraz kompetencje przypisane poszczególnym przedmiotom programu studiów. W konkuzji podkreślono wyjątkowe znaczenie kompetencji społecznych oraz wskazano na trudność ich oceny.
-
Zaawansowane symulacje układów przekształtnikowych z zastosowaniem symulatora TCad 7.
PublicationW artykule wskazano na trudność modelowania sterowania nowoczesnych układów przekształtnikowych i przedstawiono metodę modelowania zastosowaną w symulatorze TCad. Przedstawione rozwiązanie otwiera możliwość wstawiania do programu symulatora dowolnie rozbudowanego programu poprzez bibliotekę DLL, do zawartości której TCad odwołuje się za pośrednictwem specjalnych bloków pomocniczych.
-
Conley index in Hilbert spaces and problem of Angenent and van der Vorst
PublicationW pracy stosuje się teorię indeksu Conley`a dla przestrzeni Hilberta do uzyskania twierdzeń o istnieniu rozwiązań nieliniowego eliptycznego układu równań różniczkowych. Istotna trudność polega na tym, że stosując metody wariacyjne otrzymuje się funkcjonał na odpowiednio dobranej przestrzeni funkcyjnej, którego punkty krytyczne mają obie rozmaitości (stabilną i niestabilną) wymiaru nieskończonego.
-
Porównanie algorytmów ważonego umieszczania grafów w grafach minimalizujących opóźnienia komunikacyjne
PublicationW artykule omówiono i porównano zaimplementowane algorytmy ważonego umieszczania grafów w grafach. Z uwagi na obliczeniową trudność problemu ogólnego większość przedstawionych podejść to heurystyki. Dla ograniczonych instancji problemu zaproponowano podejście dokładne oparte o ideę backtrackingu. W pracy zawarto porównanie algorytmów pod względem czasów działania i jakości uzyskanych rozwiązań. Algorytmy zaimplementowane zostały...
-
Degree of entaglement as a physically ill-posted problem: The case of entaglement with vacuum
PublicationAnalizujemy przypadek fotonu w superpozycji różnych modów i zadajemy pytanie o stopień ich splątania z próżnią. Problem okazuje się być źle postawiony, gdyż nie wiemy którą reprezentację algebry CCR wybrać dla kwantowania pola. Gdy dokonamy wyboru jednoznacznie możemy rozwiązać zagadnienie splątania. Tak więc trudność nie leży w matematyce lecz w fizyce problemu.
-
Paradoks decyzyjny – racjonalne i intuicyjne podejmowanie decyzji
PublicationW pracy scharakteryzowano poszczególne etapy działań prowadzące do znajdowania najlepszych rozwiązań dla rozpatrywanego problemu. Zwrócono uwagę na paradoks decyzyjny który wskazuje, że mądre rozwiązanie problemu wymaga zarówno racjonalnego, jak i intuicyjnego podejścia. Na przykładzie sortowania obrazów zaprezentowano niezależnie oba podejścia podkreślając potrzebę ich wzajemnego uzupełniania się. Podkreślono trudność budowy algorytmów,...
-
Neuronowy model mocy farmy wiatrowej
PublicationPopularność i rosnące możliwości sztucznych sieci neuronowych przyczyniają się do coraz to szerszego zastosowania przemysłowego. Szybki przyrost mocy elektrowni wiatrowych w krajowej sieci elektroenergetycznej (KSE) stawia trudne zadanie bilansowania mocy przed krajowymi Operatorami Sieci Dystrybucyjnych (OSD) i Operatorem Sieci Przesyłowej (OSP). Prawnym obowiązkiem prognozowania mocy farmy wiatrowej obarczony jest właściciel....
-
Neuronowy model mocy farmy wiatrowej
PublicationPopularność i rosnące możliwości sztucznych sieci neuronowych przyczyniają się do coraz to szerszego zastosowania przemysłowego. Szybki przyrost mocy elektrowni wiatrowych w krajowej sieci elektroenergetycznej (KSE) stawia trudne zadanie bilansowania mocy przed krajowymi Operatorami Sieci Dystrybucyjnych (OSD) i Operatorem Sieci Przesyłowej (OSP). Prawnym obowiązkiem prognozowania mocy farmy wiatrowej obarczony jest właściciel....
-
Zakażenia bakteryjne w przewlekłym zapaleniu ucha środkowego - ocena przydatności diagnostyki molekularnej opartej o technikę PCR. Bacterial infection in chronic otitis media - assessment of usefulness of molecular diagnostic based in PCR method.
PublicationIdentyfikacja zakażeń w przewlekłym zapaleniu ucha środkowego jest trudna, o czym świadczą wysokie odsetki ujemnych wyników badań bakteriologicznych. Przyczyną tego jest trudność w uzyskiwaniu wiarygodnego materiału do badań oraz stosunkowo niska czułość klasycznych metod diagnostycznych. Amplifikacja bakteryjnego DNA techniką PCR jest badaniem, które może przyczynić się do zwiększenia efektywności i czułości badań bakteriologicznych....
-
Generating training data for SART-2 keystroke analysis module
PublicationAnaliza dynamiki pisania na klawiaturze jest jedną z technik biometrycznych, które uwzględniają cechy behawioralne. Trudność związana z informacja na temat dynamiki pisania na klawiaturzepolega na tym, że są to dane bardzo niestabilne. Artykuł prezentuje krótko rozwiązanie wykorzystane w celu zbierania danych uczących oraz ekstrakcji cech dla systemu uwierzytelniania użytkownika na podstawie sposobu korzystania z klawiatury. Następnie...
-
‘Interspaces of the house | contextualized. our homes about ourselves’ cykl obrazów [w ramach:] międzynarodowa wystawa zbiorowa | ekspozycja hybrydowa Muestra de Arte Universitario - International MAU-I 2023, 'Interconexiones culturales: mirar cómo miras’
Publicationinterprzestrzenie domu: skontekstowane. nasze domy o nas samych W obrazie domu rodzinnego, z którym się utożsamiamy widzimy samych siebie. Tak też poznajemy naszych sąsiadów i ludzi z dalszych kręgów kulturowych. Sposób zamieszkiwania, tworzone schronienia współtworzą nasz wizerunek. Migracje, przemieszczenia, przenoszenie kulturowego wzorca domu i jego spasowywanie z realiami zastanymi tworzy przestrzeń innowacyjnych rozwiązań....
-
Uziemienia w zespołach elektrowni wiatrowych
PublicationW pracy jest omawiana problematyka budowy systemów uziemień na farmach elektrowni wiatrowych. Uziemienia poszczególnych elektrowni są wykorzystywane jako elementy systemu ochrony odgromowej oraz układu ochrony od porażeń otoczenia elektrowni wiatrowej. Farmy elektrowni są często umieszczane na gruntach o wysokiej rezystywności, co utrudnia realizację skutecznych systemów uziemień elektrowni. Trudność może napotykać zwłaszcza wykonanie...
-
Ocena współpracy pali Vibro z podłożem gruntowym na podstawie badań in-situ
PublicationW odniesieniu od obecnych trendów optymalnego projektowania obiektów inżynierskich, dąży się do określania rzeczywistych wartości współdziałania podłoża gruntowego i konstrukcji. Pale Vibro, należą do grupy pali przemieszczeniowych z poszerzoną podstawą, charakteryzują się bardzo dużą nośnością, szczególnie w gruntach niespoistych. Próbne obciążenia statyczne wskazują, że nośność pali Vibro jest znacznie większa niż zakładana...
-
System wykrywania i przeciwdziałania spoofingowi GPS
PublicationSpoofing w systemach nawigacji satelitarnej jest atakiem elektronicznym, który polega na nieuprawnionej emisji sygnałów stanowiących imitacje rzeczywistych sygnałów odbieranych z satelitów. Powoduje on wyznaczenie nieprawidłowych informacji o czasie, położeniu i prędkości odbiornika. Z uwagi na trudność jego wykrycia, spoofing stanowi poważniejsze zagrożenie niż proste zagłuszanie sygnałów zakłóceniem o dużej mocy (ang. jamming)....
-
Całkowanie nieliniowych równań dynamiki ciała sztywnego i powłok sprężystych.
PublicationOgólnym celem pracy jest studium i opracowanie algorytmów numerycznych do analizy dynamicznej układów mechanicznych. Opracowane i analizowane schematy całkowania nieliniowych równań ruchu odnoszą się do konstrukcji sformułowanych w ramach teorii sześcioparametrowej (modele bryły sztywnej, przestrzennych konstrukcji prętowych oraz niektóre teorie płyt i powłok). Podstawę pracy stanowią rozważania teoretyczne z zakresu metod numerycznych...
-
Analiza skutków ekonomicznych zastosowania wybranych metaheurystyk w harmonogramowaniu projektow.
PublicationRozprawa dotyczy problematyki związanej z budowaniem harmonogramów realizacji prac w organizacjach zarządzanych przez projekty. W ostatnich latach można zauważyć rosnące zainteresowanie tą formą wytwarzania i dostarczania zarówno dóbr inwestycyjnych, jak i konsumpcyjnych w rozmaitych gałęziach gospodarki. Harmonogram stanowiąc jedno z istotniejszych narzędzi pozwalających na właściwe zarządzanie realizacją przedsięwzięcia, zwiększa...
-
Metoda OptD do redukcji danych w opracowaniu wyników pomiarów linii elektroenergetycznych
PublicationSkaning laserowy to technologia dostarczająca we względnie krótkim czasie dużą ilość danych pomiarowych. Jest to zarazem pozytywna jak i negatywna cecha tej technologii. Z jednej strony w wyniku skaningu otrzymuje się dane, które szczegółowo odzwierciedlają pomierzony obiekt. Z drugiej strony trudność sprawia przetwarzanie takiej ilości danych i nie zawsze wszystkie dane ze skaningu są niezbędne do realizacji wybranego zadania....
-
Prognozowanie pracy pali Vibro obciążonych osiowo z wykorzystaniem wyników sondowania CPT.
PublicationW odniesieniu do obecnych trendów optymalnego projektowania obiektów inżynierskich, dąży sie do określania rzeczywistych wartości współoddziaływania podłoża gruntowego i konstrukcji. Pale Vibro należą do grupy pali przemieszczeniowych z poszerzoną podstawą, charakteryzują się bardzo dużą nośnością, szczególnie w gruntach niespoistych. Próbne obciążenia statyczne (SPLT) wskazują, że nośność pali Vibro...
-
Zastosowanie metod uczenia maszynowego w procesie rehabilitacji kończyny górnej
PublicationCelem rozprawy jest opracowanie systemu opartego na metodach uczenia maszynowego, który w przyszłości pozwoli na zautomatyzowanie wybranych procedur w procesie rehabilitacji kończyny górnej. Nośnikiem informacji związanej ze stanem fizjologicznym pacjenta jest biologiczne sprzężenie zwrotne w postaci sygnałów elektromiografi powierzchniowej (ang. sufrace electromigraphy, sEMG). Przypuszcza się, że dzięki zastosowaniu sterowania...
-
Zastosowanie techniki LC-MS/MS oraz biotestów w analityce próbek środowiskowych w celu oznaczenia ich potencjału endokrynnego i zawartości wybranych związków endokrynnych
PublicationWyniki wielu badań prowadzonych w przeciągu ostatnich lat mogą stanowić podstawę do stwierdzenia, że zanieczyszczenia emitowane do środowiska ze źródeł antropogennych mogą stanowić kolejny rodzaj zagrożenia, z którego nie zdawano sobie sprawy wcześniej. Zanieczyszczeniami takimi są substancje z grupy EDC definiowane jako jakikolwiek czynnik, który wpływa na syntezę, wydalanie, transport, wiązanie, działanie lub wydalanie hormonów...
-
Dokumentacja projektowa konstrukcji stalowych w budowlanych przedsięwzięciach inwestycyjnych
PublicationKsiążka przedstawienia proces przygotowania dokumentacji projektowej obiektu o konstrukcji stalowej. Z uwagi na złożoność tego procesu oraz niejednoznaczność obowiązujących i ciągle zmieniających się przepisów, autorzy zdecydowali się na opisanie całego procesu budowlanego przedsięwzięcia inwestycyjnego BPI, co umożliwiło pokazanie miejsca i roli kolejnych elementów dokumentacji projektowej w tymże procesie. Poszczególne zagadnienia...
-
Nośność graniczna pali Vibro obciążonych osiowo na podstawie próbnych obciążeń statycznych i wyników sondowania CPT.
PublicationW odniesieniu od obecnych trendów optymalizacji w projektowaniu obiektów inżynierskich, dąży się do określania rzeczywistych wartości współoddziaływać podłoża gruntowego i konstrukcji. Pale Vibro, należą do grupy pali przemieszczeniowych z poszerzoną podstawą, charakteryzują się bardzo dużą nośnością, szczególnie w gruntach niespoistych. Wyniki próbnych obciążeń statycznych wskazują, że nośność pali Vibro jest znacznie większa...
-
Genetycznie modyfikowane mikroorganizmy narzędziem służącym do usuwania metali ciężkich ze środowiska
PublicationMetale ciężkie są pierwiastkami metalicznymi i półmetalicznymi o gęstości powyżej 4,5 g•cm-3. Powodują zaburzenia w strukturze DNA, mogą być przyczyną chorób nowotworowych, układu nerwowego, pokarmowego, naczyniowego i kostnego. Wykorzystywane są w przemyśle chemicznym, elektromaszynowym, szklarskim, metalurgicznym, farbiarskim, wydobywczym, energetyce jądrowej. Wiele metali, takich jak kobalt, miedź, nikiel, stanowi mikroelementy...
-
METODYKA SZACOWANIA OSIADAŃ PALI VIBRO NA PODSTAWIE WYNIKÓW BADAŃ STATYCZNYCH CPT
PublicationPróbne obciążenia statyczne (SPLT) wskazują, że nośność pali Vibro jest znacznie większa niż zakładana na etapie projektu. Trudność, w wielu przypadkach, sprawia wyznaczenie nośności granicznej na podstawie próbnego obciążenia statycznego, ze względu na liniowy przebieg krzywej obciążenie - osiadanie. Praca zawiera analizę, której wynikiem jest metoda prognozowania krzywej obciążenie - osiadanie pali Vibro obciążanych osiowo,...
-
Sterowanie trakcyjnym silnikiem synchronicznym z magnesami trwałymi zagłębionymi w wirniku bez pomiaru wielkości mechanicznych
PublicationPraca dotyczy zastosowania bezczujnikowej metody sterowania silnikiem synchronicznym z magnesami trwałymi zagłębionymi w wirniku (IPMSM) w trakcyjnym układzie napędowym małej mocy zawierającym sterownik mikroprocesorowy oraz falownik tranzystorowy. Regulacja momentu elektromagnetycznego silnika IPMSM wymaga pomiaru położenia kątowego wirnika. Proponowana metoda jest tzw. metodą bezczujnikową - bez sprzężeń zwrotnych od wielkości...
-
Million dollar algorithn?
PublicationArtykuł w sposób popularnonaukowy porusza następujące problemy:- 2300 lat algorytmiki- 7 problemów milenijnych- rodzaje problemów pod kątem złożoności obliczeniowej- planowanie optymalne- banki i grafy- czy P=NP?
-
Chromatic scheduling of 1- and 2-processor uet tasks on dedicated machines with availability constraints.
PublicationRozważono uogólnienie klasycznego szeregowania jednostkowych zadań jedno- i dwuprocesorowych na maszynach dedykowanych. Przyjęty model pozwala na naturalne wprowadzenie wszystkich klasycznych kryteriów optymalizacyjnych dla harmonogramów. Zaproponowano algorytmy wielomianowe dla systemów rzadkich.
-
Modele i metody kolorowania grafów. Część I
PublicationNiniejszy artykuł jest pierwszą częścią 2-odcinkowego cyklu przeglądowego na temat modeli i metod kolorowania grafów. Przedstawiono w nim najważniejsze, z punktu widzenia zastosowań, modele kolorowania grafów. W szczególności pokazano co można kolorować w grafie i jak to można kolorować. Ponieważ kolorowanie we wszystkich odmianach i wariantach jest NP-trudne, podajemy oszacowania na liczbę chromatyczną oraz potencjalne zastosowania...
-
Inferring perfect phylogenies with restrictions on character state transitions
PublicationZnana z klasycznej literatury metoda rekonstrukcji drzewa filogenetycznego zbioru gatunków na podstawie ich cech analizowanych w modelu doskonałej filogenezy często okazuje się niewystarczająca ze względu na założenia tego modelu, zmuszające do pominięcia znanych biologom informacji. W pracy definiujemy rozszerzenie umożliwiając wprowadzenie dla każdej cechy grafu skierowanego dopuszczalnych przejść ewolucyjnych pomiędzy jej stanami....
-
Some results on trading model in a consensus list coloring
PublicationKonsensusowy model kolorowania grafów - uogólnienie kolorowania listowego, został zdefiniowany przez Mahadeva i Robertsa w 2002 jako użyteczne narzędzie teoretyczne w niektórych zagadnieniach bioinformatycznych. Pozostaje on jednak słabo rozpoznany pod względem własności algorytmicznych. Wykazujemy, że problem kolorowania grafów pełnych w tym modelu jest wielomianowy, co można uogólnić na częściowe k-drzewa przy ustalonym ograniczeniu...
-
Modele i metody kolorowania grafów. Część II
PublicationNiniejszy artykuł jest drugą częścią 2-odcinkowego cyklu przeglądowego na temat modeli i metod kolorowania grafów. Przedstawiono w nim najważniejsze, z punktu widzenia zastosowań, modele kolorowania grafów. W szczególności pokazano różne kryteria i ograniczenia modyfikujące kolorowanie klasyczne. Ponieważ kolorowanie we wszystkich tych odmianach i wariantach jest NP-trudne, podano oszacowania na liczbę chromatyczną (indeks chromatyczny)...
-
Wybrane zastosowania niestandardowych modeli kolorowania w szeregowniu dwu-procesowych zadań jednostkowych
PublicationNiniejsza praca poświęcona jest wykorzystaniu teorii chromatycznej grafów wszeregowaniu. Koncepcja ta polega na przedstawieniu zbioru zadań w postaci krawędzi tzw. grafu konfliktów.
-
Szeregowanie zadań metodami kolorowania grafów.Monografie 37.
PublicationNiniejsza praca poświęcona jest wykorzystaniu teorii chromatycznej grafów w szeregowaniu. Koncepcja ta polega na przedstawieniu zbioru zadań w postaci krawędzi tzw. grafu konfliktów.
-
Complixity results on open shop scheduling to minimize total cost of operations
PublicationW pracy zaprezentowano serię rezultatów dotyczących złożoności obliczeniowejproblemu szeregowania w systemie otwartym z kryterium łącznego kosztu opera-cji. W ogólności problem jest NP-trudny nawet w przypadku 1-procesorowym.Dlatego zaprezentowano możliwie wiele przypadków szczególnych, które są wie-lomianowe. Są one funkcją długości operacji i struktury grafu konfliktów po-między zadaniami.
-
Szeregowanie rozrzedzonych systemów zadań jednostkowych 1- i 2-procesorowych w oknach czasowych
PublicationSzeregowanie jednostkowych zadań 1- i 2-procesorowych z dodatkowym ograniczeniem w postaci zróżnicowanych okien czasowych, w których zadania te mogą być wykonywane zamodelowano przy pomocy listowego kolorowania i multikolorowania krawędzi grafów. Kryteria jakości harmonogramu: maksymalny koszt wykonania zadania w jednostce czasu oraz suma tychże kosztów po wszystkich zadaniach można przedstawić rozszerzając kolorowanie listowe...
-
Przewidywanie zmian krajobrazowych w gospodarowaniu przestrzenią : z wykorzystaniem ocen oddziaływania na środowisko na przykładzie transportu drogowego
PublicationPraca dotyczy prognozowania skutków pojawiających się w krajobrazie w wyniku złożonych procesów gospodarowania przestrzenią. Temat uznano za ważny i aktualny, gdyż wiedza na temat charakteru, wielkości i znaczenia zmian krajobrazowych jest podstawą dla właściwej ochrony i kształtowania krajobrazu, poddawanego nieustannej i silnej presji inwestycyjnej. Niska skuteczność systemu planowania przestrzennego, odpowiedzialnego za zrównoważony...