Filtry
wszystkich: 357
wybranych: 272
-
Katalog
Filtry wybranego katalogu
Wyniki wyszukiwania dla: IGRAFX
-
Wpływ temperatury na skład produktów pirolizy
PublikacjaPraca prezentuje wyniki badań pirolizy biomasy przy różnych temperaturach maksymalnych prowadzenia pro- cesu. Biomasą użytą w eksperymentach były zrębki brzozowe. Analizowano udziały masowe pięciu frakcji pro- duktów: karbonizatu, smół lekkich, smół ciężkich, wody oraz gazu pirolitycznego. Wykonano także analizy ciepła spalania poszczególnych frakcji w zależności od temperatury prowadzenia procesu. Eksperymenty wykonano przy pomocy...
-
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...
-
Maximum vertex occupation time and inert fugitive: recontamination does help [online]
PublikacjaRozważamy problem przeszukania danego grafu prostego G w celu przechwycenia niewidocznego i leniwego uciekiniera. Parametrem optymalizacyjnym, który minimalizujemy jest maksymalny czas (liczba tur strategii przeszukiwania), podczas których wierzchołek może być strzeżony (okupowany przez strażnika). Strategia monotoniczna to taka, która nie dopuszcza sytuacji, w której uciekinier dociera do wierzchołka, który wcześniej został oczyszczony....
-
Minimum vertex ranking spanning tree problem for chordal and proper interval graphs
PublikacjaW pracy rozważamy problem szukania, dla danego grafu prostego, drzewa spinającego, którego uporządkowana liczba chromatyczna jest minimalna. K.~Miyata i inni dowiedli w [Np-hardness proof and an approximation algorithm for the minimum vertex ranking spanning tree problem,Discrete Appl. Math. 154 (2006) 2402-2410], że odpowiedni problem decyzyjny jest NP-trudny już w przypadku pytania o istnienie uporządkowanego 4-pokolorowania....
-
Beesybees-Agent-Based, Adaptive & Learning Workflow Execution Module for BeesyCluster
PublikacjaPrezentujemy projekt oraz implementację adaptacyjnego i uczącego się modułu przeznaczonego dowykonywania scenariuszy w środowisku BeesyCluster. BeesyCluster pozwala na modelowaniescenariuszy w formie acyklicznego grafu skierowanego, w którym wierzchołki oznaczają zadania,a krawędzie określają zależności między nimi. Przedstawiamy także kooperatywne wykonaniescenariusza przez grupę agentów zdolnych do zbierania, składowania i korzystania...
-
Diiodo-BODIPY Sensitizing of the [Mo3S13]2– Cluster for Noble-Metal-Free Visible-Light-Driven Hydrogen Evolution within a Polyampholytic Matrix
PublikacjaWe report on a photocatalytic setup that utilizes the organic photosensitizer (PS) diiodo-BODIPY and the non-precious-metal-based hydrogen evolution reaction (HER) catalyst (NH4)2[Mo3S13] together with a polyampholytic unimolecular matrix poly(dehydroalanine)-graft-poly(ethyleneglycol) (PDha-g-PEG) in aqueous media. The system shows exceptionally high performance with turnover numbers (TON > 7300) and turnover frequencies (TOF...
-
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...
-
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...
-
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...
-
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,
-
Wspomagana komputerowo weryfikacja określonego poziomu nienaruszalności bezpieczeństwa sil z wykorzystaniem autorskiej aplikacji ProSIL
PublikacjaW referacie przedstawiono oprogramowanie Pro SIL wspomagające zarządzanie bezpieczeństwem funkcjonalnym. Program ProSIL składa się z trzech modułów wspomagających: określanie wymaganego poziomu SIL (moduł ProSILen) weryfikację SIL (moduł ProSILer) oraz przeprowadzenie analizy warstw zabezpieczeń metodą LOPA. W aplikacji ProSIL zaimplementowano opracowaną w trakcie badań metodykę analizy bezpieczeństwa funkcjonalnego w projektowaniu...
-
Parallel processing of multimedia streams
PublikacjaW 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...
-
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...
-
Quantitative Analysis of Biofilm Formed on Vascular Prostheses by Staphylococcus Epidermidis with Different ica and aap Genetic Status
PublikacjaOBJECTIVES: This study aims to examine biofilm formed on vascular prostheses by Staphylococcus epidermidis with different ica and aap genetic status, and to evaluate the effect of antibiotic-modified prostheses on bacterial colonization. METHODS: Biofilm formation was determined using fluorescence microscopy imaging. Quantitative analysis was conducted using the biofilm coverage ratio (BCR) calculations. RESULTS: Our investigations...
-
Fast service restoration under shared protection at lightpath level in survivable WDM mesh grooming networks
PublikacjaW artykule zaproponowano nowe podejście do optymalizacji rozdziału zasobów w przeżywalnych sieciach optycznych z agregacją strumieni ruchu. Zaproponowana metoda bazuje na wierzchołkowym kolorowaniu grafu konfliktów. Jest pierwszym podejściem, dedykowanym sieciom optycznym z agregację strumieni ruchu z pełną zdolnością do konwersji długości fal, która nie powoduje wydłużenia ściezek zabezpieczjących, a więc zapewnia szybkie odtwarzanie...
-
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...
-
Analiza ryzyka i zarządzanie bezpieczeństwem funkcjonalnym w instalacjach technicznych
PublikacjaW rozdziale przedstawiono wybrane zagadnienia dotyczące analizy ryzyka i zarządzania bezpieczeństwem funkcjonalnym w cyklu życia w instalacjach technicznych podwyższonego ryzyka w nawiązaniu do odpowiednich norm międzynarodowych i aktualnej literatury przedmiotu. Podkreślono znaczenie definiowania matrycy lub grafu ryzyka w danym systemie technicznym, które odgrywa istotną rolę w określeniu wymaganego poziomu nienaruszalności bezpieczeństwa...
-
Universal Augmentation Schemes for Network Navigability
PublikacjaRozważano problem uzupełniania grafu (reprezentującego np. sieci społeczne) poprzez dodanie w każdym węźle jednego dodatkowego skierowanego połączenia (długodystansowego). Dokładniej, dla każdego węzła definiuje się listę prawdopodobieństw istnienia połączenia wychodzącego z danego węzła do wszystkich pozostałych węzłów; wartości tych prawdopodobieństw muszą sumować się do jedności. Routing zachłanny w takiej sieci polega na przekazywaniu...
-
Algorytmy samostabilizujące w sieciach o wybranych topologiach
PublikacjaIdea algorytmów samostabilizujących została zapoczątkowana przez E. Dijkstrę artykułem pt. „Self-stabilizing systems in spite of distributed control” (Communications of the ACM, 1974). W rozprawie został położony nacisk na algorytmy samostabilizujące działające w sieciach o pewnych specyficznych topologiach, jak na przykład w grafach maksymalnych zewnętrznie planarnych, iloczynach kartezjańskich tych grafów ze ścieżkami i w drzewach. Wykorzystując...
-
High meniscal slope angle as a risk factor for meniscal allograft extrusion
PublikacjaA meniscal graft extrusion is still an unresolved problem that affects most patients after a meniscal transplantation. Despite the advances in surgical techniques, together with the improved methods for a meniscal allograft sizing, success is only observed in up to 75% of patients after they experience a meniscal allograft transplantation. Because a meniscal extrusion is associated with a cartilage deterioration and the progression...
-
A new diagnostic IR-thermal imaging method for evaluation of cardiosurgery procedures
PublikacjaTwo methods for monitoring the state of the myocardium during cardiosurgical interventions based on thermal IR imaging are presented below. These methods, called static thermography and active dynamic thermography (ADT), use information about the distribution of temperature on the surface, and an external excitation source to induce thermal transient processes in a tested object. Recording the time series of thermograms allows...
-
IR-THERMAL IMAGING IN CARDIOSURGERY
PublikacjaA method for monitoring the state of the myocardium during cardiosurgical interventions based on thermal IR imaging is presented. These methods called Static Thermography and Active Dynamic Thermography (ADT) uses information about distribution of temperature on the surface and an external excitation source to induce thermal transient processes in a tested object. Recording time series of thermograms allows to calculate parametric...
-
A note on compact and compact circular edge-colorings of graphs
PublikacjaW pracy rozważamy dwa warianty kolorowania krawędzi grafów prostych i ważonych, mianowicie kolorowania zwarte oraz zwarte cyrkularne. Rozważamy relacje pomiędzy nimi. Dowodzimy, że każdy zewnętrznie planarny graf dwudzielny posiada zwarte pokolorowanie krawędziowe oraz, że problem ten dla grafów ogólnych jest NP-zupełny. Podajemy również wielomianowy 1.5-przybliżony algorytm oraz pseudowielomianowy dokładny algorytm zwartego cyrkularnego...
-
Modelowanie problemów strażniczych jako grafów dynamicznych - przykładowy sposób analizy skuteczności systemów strażniczych
PublikacjaW problemach strażniczych rozważamy przestrzeń (graf), w której znajduje się intruz i pewna liczba agentów przechwytujących, zaś celem większości algorytmów jest jak najszybsze przechwycenie intruza lub też uniknięcie przez niego detekcji.Zaprezentowany model pozwala na praktyczne rozważanie problemów z życia wziętych przez matematyczne przedstawienie różnorodnych agentów przechwytujących (kamery mobilne i stacjonarne, strażnicy...
-
Masked arterial hypertension in a 64-year-old man with primary aldosteronism
Publikacja -
A Framework for Searching in Graphs in the Presence of Errors
PublikacjaWe consider a problem of searching for an unknown target vertex t in a (possibly edge-weighted) graph. Each vertex-query points to a vertex v and the response either admits that v is the target or provides any neighbor s of v that lies on a shortest path from v to t. This model has been introduced for trees by Onak and Parys [FOCS 2006] and for general graphs by Emamjomeh-Zadeh et al. [STOC 2016]. In the latter, the authors provide...
-
The maximum edge-disjoint paths problem in complete graphs
PublikacjaRozważono problem ścieżek krawędziowo rozłącznych w grafach pełnych. Zaproponowano wielomianowe algorytmy: 3.75-przybliżony (off-line) oraz 6.47-przybliżony (on-line), poprawiając tym samym wyniki wcześniej znane z literatury [P. Carmi, T. Erlebach, Y. Okamoto, Greedy edge-disjoint paths in complete graphs, in: Proc. 29th Workshop on Graph Theoretic Concepts in Computer Science, in: LNCS, vol. 2880, 2003, pp. 143-155]. Ponadto...
-
Równowaga strategiczna dla zbiorów defensywnych w drzewach
PublikacjaW pracy rozważany jest problem defensywnej równowagi strategicznej dla zbiorów defensywnych w drzewach (spójnych grafach acyklicznych), który polega na znalezieniu dwóch rozłącznych globalnych zbiorów defensywnych. Zagadnienie to znajduje zastosowanie w modelo- waniu problemów komunikacyjnych w sieciach. Dla danego grafu G podzbiór jego wierzchołków S jest zbiorem defensywnym, jeśli dla każdego wierzchołka v należącego do S spełniony...
-
Studies on the Combined Impact of Starch Source and Multiple Processing on Selected Properties of Thermoplastic Starch/Ethylene-Vinyl Acetate Blends
PublikacjaThermoplastic starch (TPS)/ethylene vinyl acetate (EVA) blends compatibilized with polyethylene-graft-maleic anhydride (PE-g-MA) were prepared from various native starches (potato, maize and waxy maize) and subjected to multiple extrusion cycles. Source of starch has significant impact on its composition, hence properties of obtained TPS and their blends with EVA. Higher content of amylopectin in waxy maize starch, comparing to...
-
Analiza możliwości ruchowych optycznych pól komutacyjnych.
PublikacjaWielosekcyjne optyczne pola komutacyjne mogą być budowane w oparciu o trzy typy komutatorów: FX, WSX i WIX (oznaczanych też w literaturze przez FXC, WSXC i WIXC), które realizują odpowiednio komutację: światłowodów, długości fal oraz długości fal z ich konwersją. Własności łączeniowe zależne są od tego jakiej kombinacji komutatorów użyjemy do realizacji wielosekcyjnego pola komutacyjnego. W pracy rozważono trójsekcyjne symetryczne...
-
The complexity of node blocking for dags
PublikacjaRozważamy następującą grę (pomiędzy dwoma graczami) kombinatoryczną o nazwie ''node blocking''. Dany jest graf skierowany. Każdy wierzchołek może być zajęty przez co najwyżej jeden token. Wyróżniamy dwa kolory tokenów, biały i czarny, każdy gracz może przemieszczać tylko własne tokeny. Gracze wykonują ruchy naprzemiennie. Ruch polega na wyborze dowolnego tokena własnego koloru i przesunięciu go na dowolnego niezajętego przez inny...
-
Heart rate variability and functional outcome in ischemic stroke
Publikacja -
Mining Knowledge of Respiratory Rate Quantification and Abnormal Pattern Prediction
PublikacjaThe described application of granular computing is motivated because cardiovascular disease (CVD) remains a major killer globally. There is increasing evidence that abnormal respiratory patterns might contribute to the development and progression of CVD. Consequently, a method that would support a physician in respiratory pattern evaluation should be developed. Group decision-making, tri-way reasoning, and rough set–based analysis...
-
Synthesis and electronic properties of B-doped single wall carbon nanotubes
Publikacja -
Hypertension is associated with dysfunction of both peripheral and central auditory system
Publikacja -
Generalised heart rate statistics reveal neurally mediated homeostasis transients
PublikacjaDistributions of accelerations and decelerations, obtained from increments of heart rate recorded during a head-up tilt table (HUTT) test provide short-term characterization of the complex cardiovascular response to a rapid controlled dysregulation of homeostasis. A generalised statistic is proposed for evaluating the neural reflexes responsible for restoring the homeostatic dynamics. An evaluation of the effects on heart rate...
-
Poszukiwanie nowych leków immunosupresyjnych (Quest for new immunosuppressive drugs)
PublikacjaTransplantology is getting more and more important in medicine. Development of surgical techniques and immunosuppressive treatment enabled to establish successful transplantations with various organs and tissues. However, allografts are recognized as foreign tissues and stimulate rejection, i.e. a strong immunological response which, if not stopped, results in complete destruction of the transplanted tissue. In order to prevent...
-
Distributed state estimation using a network of asynchronous processing nodes
PublikacjaWe consider the problem of distributed state estimation of continuous-time stochastic processes using a~network of processing nodes. Each node performs measurement and estimation using the Kalman filtering technique, communicates its results to other nodes in the network, and utilizes similar results from the other nodes in its own computations. We assume that the connection graph of the network is not complete, i.e. not all nodes...
-
Cognitive Dysfunction in Type 1 Diabetes Mellitus
Publikacja -
Compensatory functional reorganization may precede hypertension-related brain damage and cognitive decline
Publikacja -
Algoritmically improved microwave radar monitors breathing more acurrate than sensorized belt
PublikacjaThis paper describes a novel way to measure, process, analyze, and compare respiratory signals acquired by two types of devices: a wearable sensorized belt and a microwave radar-based sensor. Both devices provide breathing rate readouts. First, the background research is presented. Then, the underlying principles and working parameters of the microwave radar-based sensor, a contactless device for monitoring breathing, are described....
-
Modele i algorytmy dla grafowych struktur defensywnych
PublikacjaW niniejszej pracy przeprowadzono analizę złożoności istnienia struktur defensywnych oraz równowag strategicznych w grafach. W przypadku struktur defensywnych badano modele koalicji defensywnych, zbiorów defensywnych i koalicji krawędziowych - każdy z nich w wersji globalnej, tj. z wymogiem dominacji całego grafu. W przypadku modeli równowagi strategicznej badano równowagę strategiczną koalicji defensywnych, równowagę strategiczną...
-
Modele i algorytmy dla grafowych struktur defensywnych
PublikacjaW niniejszej pracy przeprowadzono analizę złożoności istnienia struktur defensywnych oraz równowag strategicznych w grafach. W przypadku struktur defensywnych badano modele koalicji defensywnych, zbiorów defensywnych i koalicji krawędziowych – każdy z nich w wersji globalnej, tj. z wymogiem dominacji całego grafu. W przypadku modeli równowagi strategicznej badano równowagę strategiczną koalicji defensywnych, równowagę strategiczną...
-
Efficient production of B-substituted single-wall carbon nanotubes
Publikacja -
Elimination of metal catalyst and carbon-like impurities from single-wall carbon nanotube raw material
Publikacja -
Modeling, run-time optimization and execution of distributed workflow applications in the JEE-based BeesyCluster environment
PublikacjaArtykuł prezentuje kompletne rozwiązanie do modelowania naukowych i biznesowych scenariuszy. statycznego i dynamicznego wyboru usług z uwzględnieniem parametrów jakościowych oraz wykonanie scenariuszy w rzeczywistym środowisku. Scenariusz jest modelowany jako acykliczny graf skierowany, w którym węzły reprezentują zadania zaś krawędzie zależności pomiędzy zadaniami. Warstwa pośrednia BeesyCluster jest wykorzystana do umożliwienia...
-
The phenomenon of HbA1c stability and the risk of hypoglycemia in long-standing type 1 diabetes
Publikacja -
CP2015 – zmodyfikowana metodyka przewidywania hałasu powstającego na parkingach, stacjach paliw, MOP-ach i punktach poboru opłat
PublikacjaW przypadku przedsięwzięć „mogących zawsze lub potencjalnie znacząco oddziaływać na środowisko” pierwszą decyzją, którą należy uzyskać w ramach procedury inwestycyjnej, jest decyzja o środowiskowych uwarunkowaniach (w skrócie: decyzja środowiskowa, DŚU). Procedura związana z uzyskaniem DŚU została opisana w Ustawie z 3 października 2008 r. o udostępnianiu informacji o środowisku i jego ochronie, udziale społeczeństwa w ochronie...
-
Clonal selection in discrete optimization
PublikacjaW rozprawie zajmujemy się efektywnymi metodami przybliżonego rozwiązywania problemów optymalizacji dyskretnej, a w szczególności algorytmami opartymi na metodzie selekcji klonalnej (SK), należącymi do kategorii sztucznych systemów immunologicznych. Techniki optymalizacji to znaczące pole badań w informatyce, a niektóre ze starszych technik, takie jak algorytmy genetyczne, symulowane wyżarzanie czy przeszukiwanie tabu, stały się...