Filters
total: 1063
-
Catalog
- Publications 870 available results
- Publishing Houses 1 available results
- People 63 available results
- Inventions 4 available results
- Projects 6 available results
- Laboratories 2 available results
- Research Teams 3 available results
- Research Equipment 1 available results
- e-Learning Courses 24 available results
- Events 29 available results
- Open Research Data 60 available results
displaying 1000 best results Help
Search results for: GRAFY PEŁNE
-
Topologia algebraiczna 2022/23
e-Learning CoursesCelem przedmiotu jest zapoznanie studentów z podstawowymi pojęciami i twierdzeniami z zakresu topologii algebraicznej.
-
Teoria punktów stałych [2022/2023] (Matematyka, WFTiMS)
e-Learning CoursesTeoria punktów stałych WFTIMS, Matematyka
-
Detection methods of dynamic spammer's behavior
PublicationPoczta 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.
PublicationW 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
PublicationPodano 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
PublicationSample 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
PublicationZaproponowano 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
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. 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
PublicationNiniejsza 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
PublicationRozważ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
PublicationNiech 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
PublicationArtykuł 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
PublicationPraca 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.
PublicationIstotną 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
PublicationW 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
PublicationW 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
PublicationPodano 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.
PublicationWykazano 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
PublicationWykonano 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
PublicationLet 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
PublicationWe 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
PublicationLet 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
PublicationDu, 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
PublicationLet 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
PublicationA 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.
PublicationPrzedstawiono 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
PublicationTytuł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
PublicationW 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
PublicationW 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
PublicationW 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
PublicationThe 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
PublicationTemporal 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
PublicationLet 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
PublicationThis 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
PublicationPraca 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.
PublicationWyróż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
PublicationW 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
PublicationW 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
PublicationForecasting 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
PublicationW 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
PublicationArtykuł 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.
PublicationArtykuł 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
PublicationIstnieje 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
PublicationDla 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.
PublicationArtykuł 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
PublicationReferat 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.
PublicationArtykuł 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.
PublicationW 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
PublicationW 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
PublicationMię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...