Filters
total: 772
filtered: 622
-
Catalog
- Publications 622 available results
- Journals 1 available results
- People 21 available results
- Inventions 4 available results
- Projects 10 available results
- Laboratories 2 available results
- Research Teams 2 available results
- e-Learning Courses 48 available results
- Events 4 available results
- Open Research Data 58 available results
Chosen catalog filters
Search results for: GRAFY PRZEPŁYWOWE
-
Hydraulic loss coefficients in 1D Flows
PublicationWyniki pomiarów pokazują, że współczynniki strat energii mechanicznej dla przepływów niejednostajnych i nieustalonych przyjmują wartości zdecydowanie większe, niż tradycyjnie przyjmowane dla ruchu jednostajnego. W pracy przedstawiono ananizę możliwych przypadków ruchu oraz wyniki obserwacji laboratoryjnych.Wykazano, że wzrost wartości współczynników jest uzasadniony fizykalnie.Zaproponowano robocza metodą ich korygowania.
-
Confined granular flow in silos : experiments and numerical investigation
PublicationW monografii opisano niektóre charakterystyczne zjawiska mające miejsce podczas przepływów silosowych materiałów sypkich. Wykonano badania doświadczalne oraz obliczenia numeryczne celem wyjaśnienia zjawisk. Doświadczenia wykonano w dużych i małych silosach. Obliczenia wykonano przy zastosowaniu metody elementów skończonych opartej na hipoplastycznym modelu konstytutywnym dla materiałów sypkich.
-
Experimental and theoretical studies of resonance effects during silo flow.
PublicationPrzedstawiono badania nad rezonansowymi efektami dynamicznymi podczas przepływów silosowych. Wpływ rezonansu na wielkość naporu był analizowany przy pomocy badań doświadczalnych i obliczeń MES na bazie prawa mikropolarnego sprężysto-plastycznego. Doświadczenia wykonano w silosie o przekroju okrągłym i prostokątnym. Zaproponowano efektywną metodę redukcji efektów dynamicznych.
-
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...
-
Analiza projektowa hybrydowej siłowni kogeneracyjnej wykorzystującej biogaz
PublicationW niniejszej pracy zawarto podstawowe wiadomości związane z biogazem, jego źródłami pozyskiwania i możliwościami wykorzystywania. Przeprowadzono analizę projektową układu hybrydowego pod kątem korzyści energetycznych wynikających z wykorzystania tego rodzaju instalacji do utylizacji biogazu rolniczego pozyskiwanego z przykładowego gospodarstwa rolniczego oraz wstępnie zaprojektowano układ przepływowy mikroturbiny gazowej. Celem...
-
Komputerowa symulacja i badania terenowe miejskich systemów wodociągowych.
PublicationPrzedstawiono metodykę konstruowania komputerowych modeli przepływów w wersji dynamicznej, a także wyniki własnych badań terenowych i symulacyjnych procesu przepływu wody w eksploatowanych miejskich systemach wodociągowych. W procesie tworzenia komputerowego modelu przepływu wykorzystano autorską propozycję obliczania wydatków węzłowych na podstawie analizy zbioru odczytów wodomierzowych u wszystkich odbiorców. Zaprezentowano realizację...
-
Zastosowanie metody hydrofitowej do oczyszczania odcieków ze składowisk odpadów komunalnych
PublicationW artykule omówiono działanie trzech oczyszczalnie hydrofitowych zasilanych odciekami ze składowisk odpadów komunalnych, zlokalizowanych w północnej Polsce (2 obiekty) oraz w południowej Szwecji (1 obiekt). Analizowane obiekty różniły się budową, sposobem przepływu ścieków i sposobem podczyszczania odcieków surowych. Przeanalizowano, jak różnice w konfiguracji oraz sposobie eksploatacji obiektów wpływały na ich funkcjonowanie i...
-
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...
-
Implicit versus explicit finite volume schemes for extreme, free surface water flow modelling.
PublicationPrzedstawiono jeden jawny i trzy niejawne schematy metody objętości skończonych. Porównano własności tych schematów oraz oceniono możliwości ich stosowania do modelowania gwałtownych przepływów w kanałach otwartych. Zaproponowano modyfikację schematu niejawnego. Poprawiony schemat może być stosowany do obliczeń przepływu szybkozmiennego w kanałach otwartych i w sieciach kanalizacyjnych.
-
Heat and mass transfer in air-fed pressurised suits
PublicationOpisano konieczność modelowania transportu masy i ciepła w kombinezonach ochronnych. Omówiono różne sposoby modelowania wymiany ciepła, łącznie ze sprzężoną wymianą ciepła. Uwzględniono również ludzki metabolizm i turbulentne mechanizmy wymiany masy i ciepła. Publikacja opisuje również sposób modelowanie turbulentnych przepływów wieloskładnikowych. Pokazano również porównanie obliczeń z eksperymentem.
-
Numerical aspects of improvement of the unsteady pipe flow equations
PublicationW pracy dokonano analizy zaproponowanych w ostatnich latach metod opisu oporów ruchu w przepływie nieustalonym w przewodach pod ciśnieniem. Wykazano,że modyfikacja współczynnika oporów liniowych nie może zapewnić pozytywnych efektów oraz ,że poprawa wyników wykazywana przez autorów modyfikacji wynika z błędu dyfuzji numerycznej generowanej przez metodę rozwiązania.
-
Heat and mass transfer in air-fed pressurised suits
PublicationOpisano konieczność modelowania transportu masy i ciepła w kombinezonach ochronnych. Omówiono różne sposoby modelowania wymiany ciepła, łącznie ze sprzężoną wymianą ciepła. Uwzględniono również ludzki metabolizm i turbulentne mechanizmy wymiany masy i ciepła. Publikacja opisuje również sposób modelowanie turbulentnych przepływów wieloskładnikowych. Pokazano również porównanie obliczeń z eksperymentem.
-
Application of an uncoupled ALE-formulation of granular flow in silos with and without inserts
PublicationW artykule przedstawiono wyniki numerycznej analizy zachowania się materiałów granulowanych podczas przepływów w silosach ze wstawkami. Obliczenia wykonano przy zastosowaniu prawa sprężysto-plastycznego według Druckera-Pragera przy zastosowaniu podejścia mieszanego niepołączonego ALE. Zbadano wpływ rodzaju wstawki i kąta tarcia na ścianie na wielkość naprężeń na ścianie.
-
Experimental and theoretical investigations of silo music
PublicationW artykule przedstawiono wyniki doświadczalne i teoretyczne badania zjawiska muzyki silosowej podczas przepływów materiałów granulowanych w silosach. Badania dynamiczne i tomograficzne wykonane w modelu silosu napełnionego piaskiem. Obliczenia numeryczne wykonano przy zastosowaniu metody elementów skończonych i mikropolarnego modelu hipoplastycznego z uwzględnieniem dynamicznej interakcji ściany z piaskiem.
-
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...
-
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.
-
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...
-
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.
-
Application of the simplified models to inverse flood routing in upper Narew river(Poland)
PublicationW pracy przedstawiono rozwiązanie zagadnienia odwrotnej transformacji przepływów z zastosowaniem uproszczonych modeli. Zastosowano model fali kinematycznej oraz równanie retencji. W pierwszym przypadku równanie całkowano w kierunku malejącego czasu zaś w drugim w kierunku przeciwnym do przepływu. Wykazano, że obydwa podejścia są równoważne. Modele zastosowano dla górnego odcinka Narwi.
-
Chromatyczne szeregowanie zadań w cyklicznych systemach produkcyjnych.
PublicationGłównym celem pracy jest klasyfikacja złożoności obliczeniowej problemu szeregowania zadań w przypadku cyklicznej pracy systemu produkcyjnego. Rozważane są przy tym trzy modele szeregowania: system zadań dwuprocesorowych, system otwarty i system przepływowy. Kryterium optymalizacyjnym które jest analizowane jest długość cyklu wyrażająca częstość realizacji poszczególnych zestawów operacji. W pracy posługiwano się teorią grafów...
-
Hydrauliczna wiarygodność wyników pomiarów terenowych stosowanych do identyfikacji oporności hydraulicznej przewymiarowanych sieci wodociągowych
PublicationPublikacja zawiera zalecenia metodyczne dotyczące identyfikacji oporności hydraulicznej w przewymiarowanych sieciach wodociągowych na tle spotykanych nieprawidłowości. Krytycznie oceniono wyniki pomiarów terenowych, które zastosowano do tarowania komputerowych modeli przepływów (KMP) pomimo, że nie spełniały kryterium hydraulicznej wiarygodności. Ponadto zaproponowano spadek hydrauliczny jako obiektywny wskaźnik wiarygodności pomiarów,...
-
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...
-
Wyznaczanie odpływu ze zlewni niekontrolowanych Kanału Raduni podczas powodzi w 2001 r.
PublicationMetoda SCS (ang. Soil Conservation Service) pozwalająca wyznaczyć wysokość opadu efektywnego. Metoda geomorfologicznego hydrogramu jednostkowego do wyznaczenia hydrogramu odpływu ze zlewni niekontrolowanej. Aplikacja metody do sytuacji w zlewni Kanału Raduni na przykładzie powodzi z 2001 roku. Wyniki obliczeń dla potoków zasilających Kanał Raduni, odniesienie uzyskanych przepływów do dopływu z 2001 roku.
-
Streamvise vortex interaction with a horseshoe vortex.
PublicationPrzedstawiono analizę numeryczną dotyczącą możliwości oddziaływania wirami wzdłużnymi na strukturę wirów podkowiastych. Wykonano obliczenia opływu ciała symetrycznego w ramach modelu trójwymiarowego. Wykazano, że dla różnie zlokalizowanych wydmuchów czynnika, stanowiących generatory wirów wzdłużnych, uzyskuje się zasadniczo różny wpływ na strukturę przepływu. Uzyskane wyniki wskazują na możliwość kontrolowania przepływów wtórnych...
-
The evolution of market integration between the eu and poland - price and trade approach
Publicationw artykule przedstawiono dwa podejscia do mierzenia integracji ekonomicznej tj. podejscie od strony cen i podejscie od strony przepływów handlowych. na podstawie 49 wyselekcjonowanych cen produków oraz danych o wolumenie i wartosci eksportu i importu tych produktów autorki wyliczyły przy zastosowaniu wybranych modeli panelowych stopień rynkowej integracji między Polską a krajami UE15.
-
Shock wave - boundary layer interaction control by air-jet streamwise vortices
PublicationW pracy przedstawiono wyniki badań eksperymentalnych i numerycznych oddziaływania fali uderzeniowej z warstwą przyścienną. Badania eksperymentalne wykonano dla różnych geometrii dysz. Przedstawiono wpływ generatorów wirów wzdłużnych na strukturę przepływu i możliwość kontrolowania oderwania za falą uderzeniową. Przeprowadzono optymalizację konfiguracji generatora wirów w przepływie naddźwiękowym w oparciu wyniki obliczeń przepływu...
-
Scenariusze przepływu pracy sprzężone z automatyczną akwizycją danych
PublicationPrzedstawiono tematykę inteligentnych przepływów pracy (smart workflow). Przedstawiono aplikacje oparte o inteligentne scenariusz przepływu pracy: sterowanie systemem audio, monitorowanie warunków środowiskowych pomieszczenia i dynamiczną kontekstową listę zadań. Opisano komponentową architekturę systemu. Opisano etapy poszerzające proces projektowania i implementacji. Wskazano na problemy występujące podczas wykonywania tych aplikacji...
-
Symulacyjne badania zaburzeń w rozpływie strumienia w transformatorze
PublicationPrzedstawiono nieliniowy model elektromagnetyczny transformatora, który umożliwia symulację występowania przepływów w wybranych miejscach obwodu magnetycznego. Podstawowe parametry zostały obliczone wg metod klasycznych. Wpływ nasycenia uwzględniono w postaci funkcji aproksymującej przenikalność magnetyczną wyznaczona na podstawie pomiarów obiektu fizycznego. Przeprowadzono symulacje stanów nieustalonych w przypadku wystąpienia...
-
Experimental and theoretical studies of resonance effects during confined flow in silos
PublicationPrzedstawiono badania nad rezonansowymi efektami dynamicznymi podczas przepływów silosowych. Wpływ rezonansu na wielkość naporu był analizowany przy pomocy badań doświadczalnych i obliczeń MES na bazie prawa mikropolarnego sprężysto-plastycznego. Doświadczenia wykonano w silosie o przekroju okrągłym i prostokątnym. Zaproponowano efektywną metodę redukcji efektów dynamicznych. Obliczenia wykonano dla dużych i małych silosów.
-
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...
-
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...
-
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...
-
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
-
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...
-
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].
-
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
-
Wyznaczanie współczynnika dyspersji metodą kondultometryczną
PublicationW artykule przedstawiono konduktometryczną metodę wyznaczania współczynnika dyspersji w przypadku jednowymiarowym statystyczną metodą Fischera. Obliczenia wykonano na podstawie pomiarów przewodności nierozkładalnego trasera w postaci roztworu solanki (NaCl). Do tego celu wykonane zostało stanowisko pomiarowe złożone z prostego odcinka rurociągu wykonanego z polipropylenu o średnicy D=15 mm i długości L=44,05 m. Na wlocie i wylocie...
-
Modelling of flow boiling process in small diameter tubes.
PublicationW pracy zastosowano standardową korelację wrzenia w przepływie (wyprowadzoną dla rur o konwencjonalnych wymiarach) do przypadków wrzenia w rurach o małych średnicach. Porównanie wyników obliczeń z danymi literaturowymi wykazało nieużyteczność tej korelacji. Wykazano zatem potrzebę prowadzenia badań podstawowych celem uzyskania korelacji pozwalającej umiejętnie przewidywać warunki wymiany ciepła w kanałach o małych średnicach.
-
Modelling of Flow Process in Small Diameter Tubes.
PublicationW pracy zastosowano standardowš korelację wrzenia w przepływie (wyprowadzonš dla rur o konwencjonalnych wymiarach) do przypadków wrzenia w rurach o małych rednicach. Porównanie wyników z danymi literaturowymi wykazało nieużytecznoć tej korelacji. Wykazano zatem potrzebę prowadzenia badań podstawowych celem uzyskania korelacji pozwalajšcej umiejętnie przewidywać warunki wymiany ciepła w kanałach o małych rednicach.
-
Inverse method for 2D viscous flow design problem using stream-function coordinates for axisymmetric model
PublicationOpracowano metodę odwrotną dla przepływów lepkich nieściśliwych w osiowosymetrycznej konfiguracji. Użyto współrzędnych funkcji prądu mających tą właściwość, iż możliwe jest zastapienie jednej współrzędnej geometrycznej zmienną zależną od prędkości przepływu. W związku z czym możliwe jest rozwiązanie zadania projektowego. Metodę rozwiązano numerycznie dla przypadku testowego jak i pokazano możliwości metody dla bardziej skomplikowanego...
-
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...
-
ZASTOSOWANIE KORELACJI OPISUJĄCYCH WYMIANĘ CIEPŁA W OB-SZARZE PĘCZKÓW MIKROSTRUG DO PROJKTOWANIA KOMPAKTOWYCH WYMIENNIKÓW CIEPŁA: CZ.1. BUDOWA MODELOWEGO WYMIENNIKA CIEPŁA I JEGO CHARAKTERYSTYKA
PublicationArtykuł przedstawia konstrukcję prototypowego, modułowego mikrostru-gowego wymiennika ciepła. Przeprowadzone badania cieplno przepływo-we w układzie woda-woda, umożliwiają określenie efektywności wymiany ciepła, charakterystyk cieplno przepływowych, oraz wielkości współczynnika przejmowania ciepła. Eksperymenty w dalszej części publikacji posłużą do weryfikacji stosowalności istniejących korelacji opisujących wymianę ciepła w obszarze...
-
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.
-
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...