Filters
total: 1069
filtered: 874
-
Catalog
- Publications 874 available results
- Publishing Houses 1 available results
- People 60 available results
- Inventions 4 available results
- Projects 7 available results
- Laboratories 2 available results
- Research Teams 3 available results
- Research Equipment 1 available results
- e-Learning Courses 25 available results
- Events 29 available results
- Open Research Data 63 available results
Chosen catalog filters
Search results for: GRAFY PEŁNE
-
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...
-
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.
-
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.
-
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.
-
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...
-
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...
-
Nieświadome decyzje konsumentów
PublicationArtykuł pokazuje niektóre aspekty znaczenia procesów nieświadomych dla dokonywania decyzji przez konsumentów. Ukazane jest w nim podejście, według którego konsument nie jest jednostką w pełni racjonalną, a raczej wykazuje się tendencją do racjonalizowania swoich wyborów po fakcie.
-
Boundary value problems for dynamic equations of Volterra type on time scales
PublicationPraca dotyczy równań i nierówności dla problemów dynamicznych typu Volterry. Podano warunki dostateczne na istnienie ekstremalnych rozwiązań w obszarze ograniczonym przez dolne i górne rozwiązania. Praca zawiera również pewne uwagi dla konkretnych zagadnień różniczkowych i dyskretnych.
-
ELEMENTY OPISU MIEJSCA WYPADKU DROGOWEGO
PublicationW celu dokonania rekonstrukcji wypadku drogowego niezbędny jest szczegółowy oraz oddający w pełni stan rzeczywisty opis miejsca wypadku. Poniższy artykuł omawia podstawowe elementy takie jak protokół miejsca wypadku, szkic, dokumentacje fotograficzną oraz ocenę obrażeń uczestników wypadku.
-
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
-
Przypodporowa strefa ścinania belek betonowych częściowo sprężonych
PublicationW artykule zaprezentowano wyniki badań eksperymentalnych serii belek częściowo i w pełni sprężonych. Przedstawiono obraz morfologii zarysowań, siły rysujące oraz niszczące. Otrzymane wyniki nośności ścinania zestawiono z wynikami badań otrzymanymi przez innych badaczy na przestrzeni ostatnich lat.
-
Viscoplastic constitutive laws and their implementation it the finite element method
PublicationW pracy przedstawiono zasady formułowania i zastosowania w metodzie elementów skończonych lepkoplastycznych praw konstytutywnych. Podano skrótowo sposób identyfikacji parametrów i omówiono pewne szczególne założenia, które muszą być przyjęte aby można było dane prawo zastosować w obliczeniach numerycznych.
-
Systems of differential inequalities with initial time difference.
PublicationPewne twierdzenia porównawcze są formułowane dla takich zagadnień.O funkcji F występującej po prawej stronie nierówności różniczkowej zakłada się, że spełnia własności kwasimonotoniczności. Sformułowanorównież twierdzenia o istnieniu ekstremalnych rozwiązań dla odpowiednich równań różniczkowych pierwszego rzędu z odchylonymi argumentami.
-
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...
-
Covariant forms of lax one-field operators: from abelian to noncommutative
PublicationBadamy kowariancje w odniesieniu do transformacji Darboux wielomianowych operatorów różniczkowych o współczynnikach określonych przez funkcje jednego bazowego pola. W przypadku komutatywnym rozważana para Laxa równań typu Boussinesqa. Wprowadza się pewne zbudowane niezmiennicze formy i nie-abeliowe funkcje specjalne.
-
Szara strefa na krajowym rynku pracy
PublicationW artykule przedstawiono zjawisko szarej strefy w Polsce, wskazując m.in. przyczyny jej tworzenia się oraz szacowane jej rozmiary. Zwrócono też uwagę na to, że mimo jej generalnie negatywnej oceny, niesie ona ze sobą także pewne pozytywne skutki dla gospodarki.
-
Parallel processing of multimedia streams
PublicationW artykule zaprezentowana jest nowa biblioteka wspierającą tworzenie zadań obliczeniowych, część platformy KASKADA.Przedstawiony został projekt biblioteki, uwzględniający diagram głównych klas oraz diagram sekwencji. Drugi z diagramów ukazuje współpracę głównych klas w procesie przetwarzania strumieni multimedialnych. W dalszej częsci omówione zostały szczegły mechanizmu komunikacji międzyzadawniowej oraz przedstawiony został graf...
-
A quaternion-based modified feistel cipher for multimedia transmission
PublicationIn this paper a quaternion-based modified Feistel Cipher is proposed. The algorithm is based on the scheme proposed by Sastry and Kumar (2012). Our algorithm uses special properties of quaternions to perform rotations of data sequences in 3D space for each of the cipher rounds. The plaintext (image in gray-tone) is divided into two square matrices of equal size which consist of Lipschitz quaternions. A modular arithmetic was implemented...
-
ProSIL Software for functional saferty management in life cycle = Aplikacja ProSIL do zarządzania bezpieczeństwem funkcjonalnym w cyklu życia
PublicationIn the paper the ProSIL software to aid the functional safety management is presented. The software consists of three modules to aid: determination of the required SIL level (ProSILen), veryfication of the SIL level (ProSILver). In the aplication the method of the calibrated risk graph to determine the required safety integrity level SIL for defined safety instrumented functions is applied. The methods concerning functional safety...
-
Femtosekundowe urządzenie laserowe do mikroobróbki materiałów
PublicationW niniejszym artykule zaprezentowano ideę działania prototypowego femtosekundowego urządzenia laserowego do mikroobróbki materiałów oraz opracowanego przez nas femtosekundowego lasera światłowodowego na krysztale Yb:KYW. Wykorzystanie ultrakrótkich impulsów laserowych w mikroobróbce materiałów oferuje dużą przewagę nad mikroobróbką długo-impulsową, ze względu na zminimalizowanie oddziaływań cieplnych w obrabianym materiale. Pozwala...
-
Algebraic periods and minimal number of periodic points for smooth self-maps of 1-connected 4-manifolds with definite intersection forms
PublicationLet M be a closed 1-connected smooth 4-manifolds, and let r be a non-negative integer. We study the problem of finding minimal number of r-periodic points in the smooth homotopy class of a given map f: M-->M. This task is related to determining a topological invariant D^4_r[f], defined in Graff and Jezierski (Forum Math 21(3):491–509, 2009), expressed in terms of Lefschetz numbers of iterations and local fixed point indices of...
-
Region wschodniopomorski.
PublicationPełna charakterystyka fizjograficzna regionu wschodniopomorskiego. Opis warunków klimatycznych, hydrologicznych, budowy geologicznej i warunków występowania wód podziemnych. Ocena warunków krążenia wód podziemnych i ich składu chemicznego. Opis jednostek i wydzieleń hydrogeologicznych. Ocena zagrożenia wód podziemnych i możliwości gospodarowania ich zasobami.
-
Badania nośności pali formowanych iniekcją strumieniową
PublicationReferat prezentuje autorski projekt doświadczalny, przeprowadzony w pełnej skali technicznej, obejmujący terenowe badania nosności pali formowanych iniekcją strumieniową. Badania przeprowadzono na specjalnie przygotowanym do tego celu poletku doświadczalnym. Celem doświadczenia była ocena jednostkowych oporów gruntu na pobocznicy badanych pali.
-
Stability analysis of two-step Runge-Kutta methods for delay differential equations
PublicationW pracy badana jest własność stabilności dwukrokowej metody Rungego-Kutty względem liniowego równania testowego o zespolonych współczynnikach. Udowodniono, że jeśli pewne warunki są spełnione to każda A-stabilna dwukrokowa metoda Rungego-Kutty zastosowana do równania różniczkowego z opóźnieniem jest P-stabilna.
-
Systemy polityczne w przestrzeni europejskiej
PublicationJedna z podstawowych kategorii politologicznych są systemy polityczne. Szczegóny ich wymiar uwidacznia się w przestrzeni europejskiej. Mimo występowania licznych różnic w organizacji życia politycznego zauważa się jednak pewne cechy wspólne wynikające ze wspólnego dziedzictwa kulturowegi i zbliżonych doświadczeń historycznych.
-
Drawing maps with advice
PublicationW pracy podejmujemy temat konstrukcji algorytmu dla agenta, który zostaje umieszczony w dowolnym wierzchołku grafu (wierzchołki są nierozróżnialne, krawędzie mają etykiety portów), po czym realizuje algorytm zmierzający do znalezienia drzewa spinającego grafu lub izomorficznej kopii grafu. Dla obu problemów podajemy asymptotycznie dokładne lub prawie dokładne oszacowania na ilość bitów dodatkowej informacji, którą agent musi otrzymać...
-
Realizacja urządzeń automatyki elektroenergetycznej na bazie układów FPGA
PublicationW artykule opisano wykorzystanie układu FPGA do realizacji układu automatycznej synchronizacji prądnic. Zastosowanie układu FPGA zapewnia w pełni sprzętową realizację procesu synchronizacji. Gwarantuje to deterministyczną i niezawodną realizację procesu synchronizacji. Układ FPGA pozwala również na równoległą realizację poszczególnych zadań procesu synchronizacji.
-
Modelowanie mechaniczne siatki stosowanej w leczeniu przepuklin
PublicationW pracy proponuje się model jednowymiarowy cięgnowy siatki w celu ustalenia najbardziej istotnych parametrów modelowania. Zbadano, za pomocą analizy wrażliwości, wpływ: sprężystego połączenia siatki z powięzią, stałej materiałowej siatki i wstępnego napięcia siatki. Podano pewne wnioski praktyczne dla chirurgów wszczepiających siatki.