Filtry
wszystkich: 1063
-
Katalog
- Publikacje 870 wyników po odfiltrowaniu
- Wydawnictwa 1 wyników po odfiltrowaniu
- Osoby 63 wyników po odfiltrowaniu
- Wynalazki 4 wyników po odfiltrowaniu
- Projekty 6 wyników po odfiltrowaniu
- Laboratoria 2 wyników po odfiltrowaniu
- Zespoły Badawcze 3 wyników po odfiltrowaniu
- Aparatura Badawcza 1 wyników po odfiltrowaniu
- Kursy Online 24 wyników po odfiltrowaniu
- Wydarzenia 29 wyników po odfiltrowaniu
- Dane Badawcze 60 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: GRAFY PEŁNE
-
Topologia algebraiczna 2022/23
Kursy OnlineCelem przedmiotu jest zapoznanie studentów z podstawowymi pojęciami i twierdzeniami z zakresu topologii algebraicznej.
-
Teoria punktów stałych [2022/2023] (Matematyka, WFTiMS)
Kursy OnlineTeoria punktów stałych WFTIMS, Matematyka
-
Detection methods of dynamic spammer's behavior
PublikacjaPoczta elektroniczna ze względu na swoją naturę jest bardzo podatna na zjawisko spamu. Oddzielanie spamu od dobrych wiadomości jest zadaniem żmudnym i pracochłonnym. Dlatego jest rzeczą istotną opracowanie skutecznej metody walki ze spamem uwzględniającej nie tylko aktualne metody działania spamerów, ale również wzięcie pod uwagę dynamicznych aspektów zmieniających się stale ich zachowań.Artykuł opisuje metodę klasyfikacji wiadomości...
-
Design of highly linear tunable CMOS OTA using a linearizing differentialpair in the output stage.
PublikacjaW pracy przedstawiono analityczną metodę projektowania wzmacniaczy transkonduktancyjnych CMOS o bardzo dobrej liniowości. Praca zawiera również wyniki symulacji pełnej wersji zaprojektowanego układu otrzymane przy użyciu symulatora SPICE.
-
On homotopy Conley index for multivalued flows in Hilbert spaces
PublikacjaPodano aproksymacyjną definicję indeksu homotopijnego, otrzymując naturalne związki z podobnymi niezmiennikami. Zbadano własności tego niezmiennika i zastosowano do badania gradientowych potoków wykazując pewne geometryczne własności zbiorów niezmienniczych
-
Entropy Measures in the Assessment of Heart Rate Variability in Patients with Cardiodepressive Vasovagal Syncope
PublikacjaSample entropy (SampEn) was reported to be useful in the assessment of the complexity of heart rate dynamics. Permutation entropy (PermEn) is a new measure based on the concept of order and was previously shown to be accurate for short, non-stationary datasets. The aim of the present study is to assess if SampEn and PermEn obtained from baseline recordings might differentiate patients with various outcomes of the head-up tilt test...
-
Poszukiwanie wygodnego analitycznie opisu funkcyjnego dla praktycznych kształtów udaru prądowego
PublikacjaZaproponowano kilka opisów funkcyjnych dla prądowego pobudzania uziemień. Wyznaczono pełną reakcję uziemienia na prądowy udar opisany badanymi rodzinami funkcji. Naszkicowano ogólny schemat analizy, wspólny dla wiekszości badanych opisów.
-
Cost minimization in wireless networks with a bounded and unbounded number of interfaces
PublikacjaPraca 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. Rozważono zarówno wariant, w którym liczba interfejsów komunikacyjnych jest parametrem stałym (narzuconym...
-
Eksperymenty z zastosowanie algorytmów genetycznych do problemu kolorowania grafów
PublikacjaNiniejsza praca przedstawia wykorzystanie algorytmów genetycznych (AG) do problemu kolorowania wierzchołków grafu (GCP). Przeprowadzono szereg symulacji mających na celu porównanie skuteczności operatorów krzyżownia, mutacji i selekcji oraz sposobu generacji i parametrów populacji. Uzyskane wyniki pokazały znaczną przewagę operatorów korzystających z wiedzy o problemie nad operatorami losowymi. Dla wybranej konfiguracji algorytmu...
-
Packing [1,Delta]-factors in graphs of small degree
PublikacjaRozważano problem znalezienia w grafie zadanej liczby k krawędziowo rozłącznych [1,Delta]-faktorów, gdzie Delta oznacza stopień grafu. Problem ten można rozwiązać w czasie liniowym dla k=2, jest on jednak NP-trudny dla każdego k>=3. Pokazano, że wariant minimalizacjny problemu dla k=2 jest NP-trudny dla grafów planarnych podkubicznych, jednak w ogólności istnieje algorytm (42 Delta - 30) / (35 Delta - 21) - aproksymacyjny.
-
Total outer-connected domination numbers of trees
PublikacjaNiech G=(V,E) będzie grafem bez wierzchołków izolowanych. Zbiór wierzchołków D nazywamy zbiorem dominującym totalnym zewnętrznie spójnym jeżli każdy wierzchołek grafu ma sąsiada w D oraz podgraf indukowany przez V-D jest grafem spójnym. Moc najmniejszego zbioru D o takich własnościach nazywamy liczbą dominowania totalnego zewnątrznie spójnego. Praca m.in. zawiera dolne ograniczenie na liczbę dominowania totalnego zewnętrznie spójnego...
-
On the complexity of distributed graph coloring with local minimality constraints
PublikacjaArtykuł traktuje o zachłannym kolorowaniu grafów w modelu rozproszonym. Omówiono algorytmy rozproszone, dające w wyniku pokolorowanie spełniające warunki dla pokolorowań sekwencyjnych typu S oraz Largest-First (LF). Udowodniono również, że każda rozproszona implementacja algorytmu S wymaga co najmniej Omega(log n / log log n) rund, a algorytmu LF co najmniej Omega (n^{1/2}) rund, gdzie n oznacza liczbę wierzchołków grafu.
-
ZMIANY TEMPERATURY POWIETRZA NA MORZACH ARKTYKI ROSYJSKIEJ I ICH KONSEKWENCJE DLA ŻEGLUGI NA PÓŁNOCNEJ DRODZE MORSKIEJ
PublikacjaPraca omawia zmiany średniej miesięcznej temperatury powietrza na morzach Arktyki Rosyjskiej w latach 1988-2013. Wartości średnie wieloletnie z tego okresu porównano z danymi podawanymi w locjach rosyjskich dla okresu 1936-1987. Stwierdzono, że w badanym okresie na wszystkich badanych stacjach doszło do wzrostu temperatury powietrza. Największy wzrost miał miejsce w sezonie chłodnym (o 1,5-2 deg). W sezonie ciepłym wzrosty były...
-
Blok wytwórczy w hierarchicznej strukturze sterowania U i Q.
PublikacjaIstotną rolę w procesie regulacji napięć w systemie elektroenergetycznym pełni generator synchroniczny. W referacie przedstawiono wymagania dla układów regulacji generatorów synchronicznych jako elementów hierarchicznej struktury sterowania U i Q.
-
Wyznaczanie uogólnionej transmitancji operatorowej
PublikacjaW pracy przedstawiono definicję uogólnionej transmitancji operatorowej, stosowaną zarówno w opisie układów dynamicznych dyskretnych jak i ciągłych. Zaprezentowano sposób jej wyznaczania oraz na kilku przykładach przedstawiono pewne jej własności.
-
Model systemu zarządzania wiedzą z uwzględnieniem aspektów wiarygodności
PublikacjaW rozdziale przedstawiony został model systemu zarządzania wiedzą, w którym uwzględniono aspekty wiarygodności. Dla zaprezentowanego modelu opisane zostały również metody definiowania wiarygodności w Sieci Semantycznej oraz wnioskowania względem wiedzy wzbogaconej o informacje na temat wiarygodności. Na początku model definiuje "ontologię wiarygodności" - ontologię, która pozwala przypisać pewne zbiory cech do konkretnych asercji....
-
On delay differential equations with boundary conditions
PublikacjaPodano warunki na istnienie rozwiązania zagadnienia brzegowego typu opóźnionego, zakładając pewne warunki monotoniczności funkcji występującej po prawej stronie naszego zagadnienia. Pokazano, że dwa ciągi monotoniczne są zbieżne do rozwiązania dokładnego.
-
Direct estimation of elements of algebra of quantum states and entanglement detection via linear contraction.
PublikacjaWykazano możliwość obliczenia elementów algebry generowanej przez macierze bez uprzedniej rekonstrukcji stanu. Ponadto wykazano, że pewne testy separowalności oparte o liniowe operacje zwężające można przeprowadzić bez uprzedniej rekonstrukcji badanych stanów.
-
Badania skuteczności ochrony katodowej nóg platformy wydobywczej
PublikacjaWykonano badania potencjałowe parametrów ochrony platformy wydobywczej Baltic Beta. Stwierdzono występowanie pełnej ochrony katodowej w rejonie dna. Stan techniczny anod wykazuje znaczne zużycie, jednakże w dalszym ciągu realizują proces ochorny
-
Periodic points of latitudinal maps of the $m$-dimensional sphere
PublikacjaLet f be a smooth self-map of the m-dimensional sphere Sm. Under the assumption that f preserves latitudinal foliations with the fibres S1, we estimate from below the number of fixed points of the iterates of f. The paper generalizes the results obtained by Pugh and Shub and by Misiurewicz.
-
Topological-numerical analysis of a two-dimensional discrete neuron model
PublikacjaWe conduct computer-assisted analysis of a two-dimensional model of a neuron introduced by Chialvo in 1995 [Chaos, Solitons Fractals 5, 461–479]. We apply the method of rigorous analysis of global dynamics based on a set-oriented topological approach, introduced by Arai et al. in 2009 [SIAM J. Appl. Dyn. Syst. 8, 757–789] and improved and expanded afterward. Additionally, we introduce a new algorithm to analyze the return times...
-
Shub’s conjecture for smooth longitudinal maps of S^m
PublikacjaLet f be a smooth map of the m-dimensional sphere Sm to itself, preserving the longitudinal foliation. We estimate from below the number of fixed points of the iterates of f , reduce Shub’s conjecture for longitudinal maps to a lower dimensional classical version, and prove the conjecture in case m = 2 and in a weak form for m = 3.
-
Generating sequences of Lefschetz numbers of iterates
PublikacjaDu, Huang and Li showed in 2003 that the class of Dold–Fermat sequences coincides with the class of Newton sequences, which are defined in terms of socalled generating sequences. The sequences of Lefschetz numbers of iterates form an important subclass of Dold–Fermat (thus also Newton) sequences. In this paper we characterize generating sequences of Lefschetz numbers of iterates.
-
Periodic Points for Sphere Maps Preserving MonopoleFoliations
PublikacjaLet S^2 be a two-dimensional sphere. We consider two types of its foliations with one singularity and maps f:S^2→S^2 preserving these foliations, more and less regular. We prove that in both cases f has at least |deg(f)| fixed points, where deg(f) is a topological degree of f. In particular, the lower growth rate of the number of fixed points of the iterations of f is at least log|deg(f)|. This confirms the Shub’s conjecture in...
-
Attractors of dissipative homeomorphisms of the infinite surface homeomorphic to a punctured sphere
PublikacjaA class of dissipative orientation preserving homeomorphisms of the infinite annulus,pairs of pants, or generally any infinite surface homeomorphic to a punctured sphere isconsidered. We prove that in some isotopy classes the local behavior of such homeomor-phisms at a fixed point, namely the existence of so-called inverse saddle, impacts thetopology of the attractor — it cannot be arcwise connected
-
Calculation of lead settlement curve based on CPT test results and Auger Piles.
PublikacjaPrzedstawiono wykorzystanie wyników statycznego sondowania CPT do określenia pełnej krzywej osiadania, aż do obciążenia granicznego. Wykorzystano wyniki badań statycznych dla 23 wierconych pali wielkośrednicowych. Przedstawiono zależności korelacyjne bazujące na analizie statystycznej.
-
Methyl 3-[(1,1-dioxo-1λ<sup>6</sup>,2-benzothiazol- 3-yl)amino]-5-nitrothiophene-2-carboxylate
PublikacjaTytułowy związek został otrzymany przez nitrowanie odpowiedniej pochodnej tiofenu. Wyznaczono i opisano jego strukturę rentgenowską w ciele stałym. Związek wykazuje pewne właściwości inhibicyjne w stosunku do enzymu ludzkiej elastazy leukocytowej (HLE).
-
Harmoniczne kolorowanie grafów
PublikacjaW rozdziale omówiono tzw. harmoniczne kolorowanie grafów, które jest odmia-ną klasycznego kolorowania wierzchołków grafów. Podano najważniejsze własno-ści tego sposobu kolorowania grafów i jego potencjalne zastosowanie w radio-komunikacji lotniczej i projektoaniu funkcji mieszających. Podano równieżtzw. algorytm degresywny, który koloruje każdy graf za pomocą liczby kolorównie przekraczającej w dwójnasób harmonicznej liczby...
-
Metoda szybkiego wyznaczania par węzłowo rozłącznych tras dla ochrony transmisji unicast
PublikacjaW celu ochrony transmisji przed awarią węzłów/łączy wykorzystuje się alternatywne trasy transmisji. Jednakże, złożoność obliczeniowa dostępnych algorytmów doboru tras rozłącznych często istotnie wstrzymuje producentów sprzętu od implementacji tychże rozwiązań. W pracy prezentujemy nowe podejście wyznaczania par rozłącznych tras bazujące na transformacji grafu sieci w meta strukturę. Wyniki badań odnośnie czasu wyznaczania tras...
-
Komputerowe wspomaganie procesu zarządzania bezpieczeństwem funkcjonalnym
PublikacjaW niniejszym rozdziale przedstawiono oprogramowanie ProSIL wspomagające zarządzanie bezpieczeństwem funkcjonalnym. Program ProSIL składa się z dwóch modułów wspomagających: określenie wymaganego poziomu SIL (moduł ProSILen) oraz weryfikację SIL (moduł ProSILer). W aplikacji ProSIL zaimplementowano opracowaną w trakcie badań metodykę analizy bezpieczeństwa funkcjonalnego w projektowaniu i użytkowaniu systemów SIS zgodnie z wymaganiami...
-
Network Approach to Increments of RR-intervals for Visualization of Dynamics of Cardiac Regulation
PublikacjaThe transition network for RR -increments is pre- sented in a directed and weighted graph, with vertices represent- ing RR -increments and edges corresponding to the order in a sequence of increments. The adjacency matrix and the transition matrix of this network provide a graphical tool which could be useful in the assessment of cardiac regulation. As an example, the method is applied in detecting differences between diurnal activity...
-
Temporal Changes in Complexity of Cardiovascular Regulation during Head-Up Tilt Test by Entropic Measures of Fluctuations of Heart Period Intervals and Systolic Blood Pressure
PublikacjaTemporal changes in complexity of cardiovascular regulation during head-up tilt test by entropic measures of fluctuations of heart period intervals and systolic blood pressure
-
Lefschetz periodic point free self-maps of compact manifolds
PublikacjaLet f be a self-map of a compact connected manifold M. We characterize Lefschetz periodic point free continuous self-maps of M for several classes of manifolds and generalize the results of Guirao and Llibre [J.L.G. Guirao, J. Llibre, On the Lefschetz periodic point free continuous self-maps on connected compact manifolds, Topology Appl. 158 (16) (2011) 2165-2169].
-
Testing for conformance of parallel programming pattern languages
PublikacjaThis paper reports on the project being run by TUG and IMAG, aimed at reducing the volume of tests required to exercise parallel programming language compilers and libraries. The idea is to use the ISO STEP standard scheme for conformance testing of software products. A detailed example illustrating the ongoing work is presented.
-
Monotone method to Volterra and Fredholm integral equations with deviating arguments
PublikacjaPraca dotyczy problemów istnienia rozwiązań równań całkowych typu Volterry i Fredholma z odchylonymi argumentami. Podano warunki dostateczne na istnienie rozwiązań w odpowiedniej klasie. Pewne nierówności całkowe typu opóźnionego są również przedmiotem badań.
-
Testability of distributed object.
PublikacjaWyróżniono trzy poziomy zdalnego dostępu do obiektu: ograniczony, częściowy; pełny i sformułowano warunki testowalności dla dwu klas aplikacji rozproszonych: własnych i obcych. Zaproponowano metodę zdalnego monitorowania stanu obiektów zaimplementowanych =na platformie COBRA
-
Stateczność w ocenie nośności łukowego przęsła wiaduktu drogowego
PublikacjaW referacie przedstawiono metodykę postępowania w analizie nośności. Na przykładzie stalowego przęsła łukowego pokazano możliwości oceny stateczności złożonych konstrukcji w oparciu o rozwiązanie problemu własnego i pełną analizę nieliniową z uwzględnieniem imperfekcji
-
Diagnostic model of compression-ignition engine slide bearings for controlling the changes of their state
PublikacjaW artykule przedstawiono koncepcję umożliwiającą sterowanie procesami zmian stanów eksploatacyjnych silnika na podstawie modelu diagnostycznego łożysk ślizgowych. Jako model łożyska ślizgowego przyjęty został topologiczny model diagnostyczny, pozwalający na pełne i dokładne wykorzystanie oleju smarowego jako jednego z nośników informacji o stanie technicznym łożyska. Przedstawiona została przykładowa interpretacja stanów eksploatacyjnych...
-
Predicting Ice Phenomena in a River Using the Artificial Neural Network and Extreme Gradient Boosting
PublikacjaForecasting ice phenomena in river systems is of great importance because these phenomena are a fundamental part of the hydrological regime. Due to the stochasticity of ice phenomena, their prediction is a difficult process, especially when data sets are sparse or incomplete. In this study, two machine learning models—Multilayer Perceptron Neural Network (MLPNN) and Extreme Gradient Boosting (XGBoost)—were developed to predict...
-
Knowledge and information management in contemporary organizations - theoretical considerations
PublikacjaW artykule zaprezentowano teoretyczne rozważania dotyczące wiedzy oraz zarządzania wiedzą we współczesnych organizacjach. Podkreślono w nim rolę zarządzania wiedzą jako źródła przewagi konkurencyjnej, a także zamieszczono pewne wytyczne odnośnie wprowadzania zarządzania wiedzą w organizacji.
-
Miejsce Polski w Europie w opinii młodzieży szkół gimnazjalnych woj. pomorskiego
PublikacjaArtykuł analizuje spojrzenie młodzieży szkół gimnazjalnych z terenu woj. pomorskiego na miejsce i role Polski w Europie. Młodzież wskazuje szanse i atuty integracji lecz takze zagrożenia i problemy pojawiające się na drodze pełnej integracji.
-
Detection of roles of actors in social networks using the properties of actors' neighborhood structure.
PublikacjaArtykuł opisuje metodę identyfikacji ról aktorów sieci społecznej. Metoda ta może być szczególnie przydatna w sieciach społecznych, o których posiadamy ograniczoną wiedzę, głównie zawężoną do lokalnych powiązań pomiędzy aktorami. Przedstawiona w artykule metoda korzysta z grafu relacji społecznych, algorytmu identyfikacji ról oraz zbioru grafów wzorców relacji. Rozwiązanie zostało przetestowane w społeczności użytkowników serwisu...
-
Model formalny dla problemu lokalizacji błędów w kodzie programu
PublikacjaIstnieje szereg sposobów badania poprawności programów komputerowych. W niniejszym referacie podejmujemy problem automatycznego testowania oprogramowania przy założeniu, iż dany jest zbiór testów (asercji) dla poszczególnych fragmentów kodu. Dla uproszczenia analizy zakładamy, że badany fragment kodu zawiera dokładnie jeden błąd, co nie zmniejsza ogólności rozważań. W artykule analizujemy praktyczne aspekty powyższego problemu...
-
A note on fast approximate backbone coloring of split graphs with star--like backbones
PublikacjaDla grafu G = (V, E) z wyróżnionym podgrafem H, kolorowanie szkieletowe jest zdefiniowane jako odwzorowanie c spełniające |c(u) - c(v)| > 1 dla każdej krawędzi z E(H) oraz |c(u) - c(v)| > 0 dla każdej krawędzi z E(G). W pracy przedstawiono 1-przybliżony algorytm kolorowania szkieletowego split grafów ze skojarzeniem w szkielecie o złożoności O(|V|) oraz 1-przybliżony algorytm dla split grafów z rozłącznymi gwiazdami w szkielecie.
-
Temperatura wody chłodzącej w skraplaczu jako czynnik wpływający na ilość produkowanej mocy elektrycznej w bloku parowym 360 MW.
PublikacjaArtykuł przedstawia analizę techniczną wpływu zmian temperatury wody chłodzącej skraplacz na ilość produkowanej energii elektrycznej, jak również zmiany jednostkowego zużycia ciepła dla obiegu elektrowni Opole z turbiną 360MW. Analiza została przeprowadzona przy pomocy programu DIAGAR oraz jego preprocesora Projdiag w którym został stworzony wstępny graf obliczeniowy a także wygenerowane dane, dzięki którym możliwe było przeprowadzenie...
-
Wpływ temperatury wody chłodzącej w skraplaczu na ilość produkowanej mocy elektrycznej w obiegu parowym 200MW
PublikacjaReferat przedstawia analizę techniczną wpływu zmian temperatury wody chłodzącej skraplacz na ilość produkowanej energii elektrycznej, jak również zmiany jednostkowego zużycia ciepła dla obiegu elektrowni Turów z turbiną 200MW. Analiza została przeprowadzona przy pomocy programu DIAGAR oraz jego preprocesora Projdiag w którym został stworzony wstępny graf obliczeniowy a także wygenerowane dane, dzięki którym możliwe było przeprowadzenie...
-
Temperatura wody chłodzącej w skraplaczu jako czynnik wpływający na ilość produkowanej mocy elektrycznej w bloku parowym 360 MW.
PublikacjaArtykuł przedstawia analizę techniczną wpływu zmian temperatury wody chłodzącej skraplacz na ilość produkowanej energii elektrycznej, jak również zmiany jednostkowego zużycia ciepła dla obiegu elektrowni Opole z turbiną 360MW. Analiza została przeprowadzona przy pomocy programu DIAGAR oraz jego preprocesora Projdiag w którym został stworzony wstępny graf obliczeniowy a także wygenerowane dane, dzięki którym możliwe było przeprowadzenie...
-
Struktura techniczna układu sterowania U i Q. Systemy elektroenergetyczne: eksploatacja, stabilność, niezawodność, awarie i restytucje, modelowanie i symulacje.
PublikacjaW przypadku hierarchicznej struktury sterowania konieczne jest zapewnienie we wszystkich węzłach systemu nowoczesnych, w pełni automatycznych układów regulacji i sterowania. W referacie przedstawiono propozycję realizacji poszczególnych szczebli hierarchicznej struktury sterowania napięciami i rozpływem mocy biernej.
-
Sterowanie silnikiem indukcyjnym w zakresie osłabiania pola z zastosowaniem modelu multiskalarnego
PublikacjaW artykule przedstawiono strategię sterowania silnikiem indukcyjnym dla dużych prędkości w zakresie osłabiania pola. Nowe zależności dla ograniczenia napięcia wyjściowego falownika oraz maksymalnego prądu stojana zostały wyprowadzone w oparciu o model multiskalarny silnika indukcyjnego. Największą korzyścią płynąca z zastosowania w układzie regulacji modelu multiskalarnego jest pełne odsprzężenie toru sterowania prędkością i toru...
-
Gdańsk oczami Irlandzkich i Polskich Artystów Plastyków. Krenz J.: Cykl 7 akwarel i pasteli. Zimowy Gdańsk
PublikacjaMiędzynarodowa wystawa zbiorowa, poplenerowa: Gdańsk oczami Irlandzkich i Polskich Artystów Plastyków. Galeria Sztuki Domu Aktora w Gdańsku. Przez kilka grudniowych dni artyści plastycy z Irlandii i Polski malowali zimowy Gdańsk. Stronę irlandzką reprezentowali: Jonathan Brennan, Katherine St.Angelo, Esther O’Kelly, Joanna Mules, Marcus Patton. Polscy uczestnicy: Magdalena Nowacka-Kolano, Anna Schumacher, Krzysztof Ludwin i Komisarz...