Filters
total: 19811
filtered: 12801
-
Catalog
- Publications 12801 available results
- Journals 119 available results
- Conferences 1 available results
- Publishing Houses 7 available results
- People 801 available results
- Inventions 113 available results
- Projects 424 available results
- Laboratories 20 available results
- Research Teams 50 available results
- Research Equipment 11 available results
- e-Learning Courses 3182 available results
- Events 650 available results
- Open Research Data 1632 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: DNA SENSITIZATION
-
Koncepcja nowego testu energetycznego dla pojazdów samochodowych
PublicationW pracy zaproponowana została koncepcja nowego testu energetycznego dla pojazdów samochodowych, którego wyniki będą reprezentatywne dla pełnego zakresu warunków ruchu spotykanych przez użytkowników pojazdów. Głównym zastosowaniem takiego testu będzie możliwość obiektywnej oceny efektywności energetycznej badanego pojazdu. Pełen zakres eksploatacji badanego pojazdu zostanie uwzględniony dzięki długoterminowej rejestracji parametrów...
-
The structure and role of mammalian sperm RNA: a review
Publication -
Uwarunkowania efektywności kształcenia w liceum dla dorosłych
PublicationTematyka funkcjonowania szkolnictwa dla dorosłych w Polsce od ponad 20 lat wydaje się zapomniana. Wprawdzie podejmowane są nieliczne prace ukazujące wspierający charakter edukacyjny szkół dla dorosłych wobec uczących się w nich słuchaczy, jednak instytucje te nie cieszą się uznaniem społeczeństwa. Celem oddanej w ręce czytelnika monografii jest zweryfikowanie tej oceny na podstawie badania efektów uczenia w szkołach dla dorosłych...
-
Dwa projekty dróg wodnych w II Rzeczypospolitej.
PublicationOmówiono dwa projekty kanałów zaprojektowanych w Polsce w latach międzywojennych.
-
Optoelektroniczne sensory fluorescencyjne dla monitoringu zanieczyszczeń środowiska
Publicationw pracy zaproponowano i opisano optoelektroniczny fluorescencyjny sensor do pomiaru stężenia kobaltu w wodzie. opisano zasadę działania tego typu sensorów. zaproponowano konfigurację laboratoryjnego stanowiska pomiarowego i przeprowadzono dobór niektórych jego komponentów. przedstawiono także etapy dalszych prac badawczych nad konstrukcją sensora.
-
Wykorzystanie serwerów UDDI dla systemów zdalnej edukacji.
PublicationW artykule przedstawiono możliwości wykorzystania usług sieciowych opartych na serwerach UDDI (Universal Description, Discovery and Integration) do przechowywania obiektów edukacyjnych. Opisane rozwiązanie wykorzystujące język XML, protokół SOAP (Simple Object Access Protocol) i standard WSDL (Web Services Description Language) pozwala na tworzenie baz wiedzy przeznaczonych zarówno dla uczniów jak również dla nauczycieli....
-
Szacowanie wartości niemierzonych dla celów sterowania predykcyjnego
PublicationEfektywne sterowanie zintegrowanym systemem ściekowym za pomocą zaawansowanych technologii sterowania - w tym przypadku technologii krzepkiego sterowania predykcyjnego (ang. Robust Model Predictive Control - RMPC) - ma na celu utrzymanie wysokiej technologicznej wydajności systemu przy relatywnie niskich kosztach jego prowadzenia oraz zapewnienie, że zostaną spełnione organiczenia związane z jakością oczyszczonych ścieków.
-
System pomiarowo-informacyjny dla urządzenia do mikrotunelingu
PublicationPrzedstawiono opracowany i wykonany przez autorów system pomiarowy do wizualizacji stanu pracy urządzenia do bezwykopowego wykonywania rurociągów podziemnych. Opisano modułową budowę systemu. Omówiono możliwości rejestracji zmian najważniejszych parametrów w czasie wykonywania tunelu.
-
Projekt niezawodnej sieci Ethernet dla Radia Gdańsk
PublicationW referacie określono wymagania niezawodnościowe sieci komputerowej wspierającej transmisję dźwięków i wiadomości w Regionalnej Rozgłośni Radiowej (MTBF rzędu kilku lat). Przedstawiono elementy analizy niezawodności sieci i dla typowych wartości parametrów urządzeń (MTBF kilka lat), połączeń (MTBF kilkanaście lat) i struktur sieci Ethernet, określając średni czas między awariami sieci. Wykazano konieczność wprowadzenia elementów...
-
REALIZACJA APLIKACJI SCHEDULER DLA STEROWANIA SIECIĄ TRANSPORTOWĄ
PublicationW artykule przedstawiono wykorzystanie koncepcji SDN z protokołem OpenFlow do sterowania siecią transportową z komutacją pakietów. W tym celu zrealizowana została aplikacja sterująca połączeniami w sieci telekomunikacyjnej. Podstawą jej działania jest planowany przez administratora sieci harmonogram połączeń, zawierający wszystkie niezbędne parametry konieczne dla przeprowadzenia sterowania.
-
Interfejs miejskiego systemu informacji dla osób niepełnosprawnych.
PublicationArtykuł przedstawia analizę potrzeb różnych grup osób niepełnosprawnych oraz możliwe rozwiązania implementacyjne w zakresie interfejsu użytkownika, ułatwiające posługiwanie się systemami informacyjnymi na przykładzie systemu GDASKON.
-
Algorytm przybliżony dla cyrkularnego kolorowania krawędzi grafów
PublicationW artykule autorzy proponują algorytm przybliżony dla cylkularnego kolorowania krawędzi grafu. Przedstawione są oszacowania na złożoność obliczeniową tego algorytmu, a także wyniki testów na grafach o małej liczbie wierzchołków jak i na grafach losowych.
-
Preprocesor graficzny ATPDRAW dla programu symulacyjnego ATP.
PublicationPrzedstawiono program ATPDraw, który jest preprocesorem graficznym dla programu ATP przeznaczonego do obliczania stanów przejściowych w obwodach elektrycznych. Opracowanie preprocesora znacznie ułatwiło tworzenie modelu symulowanego układu. Model jest tworzony w dużo czytelniejszej niż tekstowa formie graficznej. ATPDraw umożliwia stworzenie w prosty sposób łatwej do wykorzystania biblioteki własnych modeli obiektów i zjawisk....
-
Algorytm samostabilizujący dla problemu kolorowania krawędzi grafu.
PublicationReferat ten poświęcony jest kolorowaniu grafów w modelu rozproszonym.Podano samostabilizujący się algorytm kolorowania krawędzi grafu. Jest to prawdopodobnie pierwszy algorytm krawędziowego kolorowania grafów w tym modelu. Rozważania teoretyczne zostały poparte eksperymentami komputerowymi.
-
Liczby Ramseya on-line dla różnych klas grafów
PublicationRozpatrujemy grę rozgrywaną na nieskończonej liczbie wierzchołków, w której każda runda polega na wskazaniu krawędzi przez jednego gracza - Budowniczego oraz pokolorowaniu jej przez drugiego gracza - Malarkę na jeden z dwóch kolorów, czerwony lub niebieski. Celem Budowniczego jest zmuszenie Malarki do stworzenia monochromatycznej kopii wcześniej ustalonego grafu H w jak najmniejszej możliwej liczbie ruchów. Zakładamy, że gracze...
-
Vartist´ solniacnogo nagrivanija wody dla pobytovych potrieb
PublicationPrzedstawiono wyniki studium parametrycznego efektywności ekonomicznej instalacji słonecznej do ogrzewania wody użytkowej w Polsce w aktualnych warunkach gospodarczych. W rachunku ekonomicznym wykorzystano zmodyfikowaną metodę kosztów rocznych-koherentną z metodą ''Zaktualizowanej Wartości Netto''-NPVW studium rozważono wpływ temperatury wody uzupełniającej oraz wielkość zużycia wody na jednostkowe średnie dyskontowe koszty...
-
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...
-
Mechanizmy QoS dla wielousługowych sieci IP. 2.
PublicationZaprezentowano koncepcje organizacji wielousługowych sieci IP. Przedstawiono podstawowe modele usług pozwalających na zróżnicowanie obsługi różnych typów ruchu. Opisano usługę best effort, a także usługi zintegrowane (IntServ-) i zróżnicowane (DiffServ). Podobno przykłady realizacji usługi DiffServ.
-
Syntezy i właściwości nowych poliuretanów dla medycyny
PublicationOpisano syntezy poliuretanów (PUR) z użyciem cykloalifatycznego diizocyjanianu, małocząsteczkowych dioli i triglicerydu kwasu 12-hydroksyoleinowego (olej rycynowy) oraz oligomeroli tworzących segmenty giętkie: polioksytetra-metylenoglikolu (PTMG), poliwęglanu glikolu heksametylenowego (PHC), polibu-tadienodiolu (PBD) i handlowego prepolimeru uretanowego z PBD i 4,4´-diizo-cyjanianu difenylometanu. Przedstawiono wyniki badań właściwości...
-
Warsztaty teleinformatyczne dla uczniów - cele, środki, oceny
PublicationPrzedstawiono podsumowanie i wnioski płynące z przeprowadzenia Warsztatów teleinformatycznych dla uczniów szkół średnich. Referat prezentuje ocenę warsztatów zarówno przez przedstawicieli szkoły średniej, biorących aktywny udział w warsztatach, jak i organizatorów przedsięwzięcia - nauczycieli akademickich. Celem warsztatów, których plan przedstawiony został na XVIII konferencji Informatyka w Szkole, było ułatwienie uczniom podjęcia...
-
Modele i algorytmy dla grafowych struktur defensywnych
PublicationW 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ą...
-
Zastosowanie wielopoziomowego modelu ruchu dla systemu TRISTAR
PublicationW artykule przedstawiono ideę budowy wielopoziomowego modelu ruchu z uwzględnieniem zastosowania środków Inteligentnych Systemów Transportu, które posłużą do zasilania modeli ruchu danymi pochodzącymi z systemów detekcji parametrów ruchu. Połączenie w jedną strukturę modelu wielopoziomowego z Systemem Planowania Ruchu, który jest realizowany w ramach systemu TRISTAR, pozwoli na wykorzystanie danych pochodzących z automatycznych...
-
Algorytm PWM dla 9-fazowego silnika indukcjnego
Publication -
Speace frienly for the blind = Przestrzeń przyjazna dla niewidomych
PublicationThe article presents issues connected with accessibility of public space for people with eyesight disabilities. The use of the extravisual spatial stimuli in shaping the urban environment has been analysed. Spaces in which musltisensory spatial reception is feasible become user-friendly, as they come to meet the changing needs of their users. The article introduces a system of textures aiding spatial orientation, navigation and...
-
Algorytm doboru interfejsu radiowego dla radia kognitywnego
PublicationW artykule zaprezentowano zmodyfikowany cykl kognitywny i zaproponowano nowy algorytm do doboru interfejsu radiowego, dla radia kognitywnego, w danym momencie czasu, przy określonych, chwilowych warunkach operacyjnych pracy systemów. Działanie algorytmu zilustrowano w formie wyników badań symulacyjnych.
-
Usieciowienie wymiaru sprawiedliwości a wyzwania dla kadry zarządzającej
PublicationCelem artykułu jest udzielenie odpowiedzi na pytanie, czy kadra zarządzająca jest przygotowana do realizacji wyzwań związanych z usieciowieniem wymiaru sprawiedliwości oraz jakimi narzędziami powinien dysponować nowoczesny wymiar sprawiedliwości, aby skutecznie przygotować kadrę zarządzającą sądami do zmian w zarządzaniu. Organizacja wymiaru sprawiedliwości, a w jej ramach poszczególne sądy ulega przeobrażeniom. Dzieje się tak...
-
System budżetowania parametrów jakościowych dla połączeń wielodomenowych
PublicationRozwiązanie problemu gwarancji jakości usług dla wielodomenowych sieci NGN przy jednoczesnej optymalizacji wykorzystania zasobów jest nadal otwarte. Zaproponowano modyfikację dotychczasowego podejścia, które sprowadza się do budżetowania bilansowania) dwóch, a nie trzech parametrów jakościowych (średniego opóźnienia i prawdopodobieństwa straty) przy jednoczesnej kontroli parametru zmienności opóźnienia w powiązaniu z prawdopodobieństwem...
-
Koacerwacja jako alternatywa dla konwencjonalnych technik ekstrakcji
PublicationOdpowiednie przygotowanie próbki przed analizą chromatograficzną to jeden z najważniejszych kroków w całej procedurze analitycznej w celu uzyskania dokładnych i wiarygodnych wyników. Ekstrakcja koacerwacyjna ma duży potencjał rozwoju ze względu na możliwość wprowadzania licznych modyfikacji, wspomagających proces wyodrębniania.
-
PROJEKTOWANIE GRAFICZNEGO INTERFEJSU UŻYTKOWNIKA DLA OSÓB STARSZYCH
Publication: W artykule opisano zagadnienia dotyczące tworzenia optymalnego interfejsu użytkownika przeznaczonego dla osób starszych i przewlekle chorych.
-
Strefa dla wodociągu. Instalacje zaopatrzenia w wodę
PublicationZagrożenia wynikające z sąsiedztwa przewodów wodociągowych. Ocena ogólnego stanu starszych przewodów. Braki w informacjach, potencjał szkodowy, zagrożenia dla sąsiadujących obiektów, strefy zagrożenia. Kolizje, obecność w gruncie znaczącej części sieci reprezentującej od samego początku obniżoną jakość.
-
Integracja Niskopoziomowego Podsystemu Bezpieczeństwa dla Systemu IIP
PublicationArtykuł omawia prace nad prototypowaniem i integracja podsystemu bezpieczenstwa Systemu IIP na poziomie wirtualizacji zasobów sieciowych. Przedstawiono jego zakres funkcjonalny, sposób funkcjonowania w sieci badawczej PL-LAB oraz realizacje scenariusza ochrony danych przesyłanych w Równoległym Internecie CAN.
-
Analiza empirycznego modelu propagacyjnego dla budynków parkingowych
PublicationRozwój branży telekomunikacyjnej pozwolił na możliwość realizacji transmisji bezprzewodowej za pomocą fal radiowych. Jednak pociąga to za sobą problemy związane ze zmiennymi warunkami propagacji fal radiowych. Ich złożoność zależy od środowiska propagacyjnego, w którym ta fala się rozchodzi. Aby zaprojektowanie bezprzewodowej sieci wewnątrzbudynkowej stało się możliwe, trzeba dysponować wiedzą na temat danego środowiska propagacyjnego...
-
Konstrukcje morskich farm wiatrowych – wyzywanie dla projektantów
PublicationPozyskanie energii wiatru jest jednym z najbardziej obiecujących źródeł energii odnawialnej. W artykule przestawiono zagadnienia związane z rozwojem energetyki wiatrowej, w tym budową morskich farm wiatrowych. W szczególności zaś zaprezentowano podstawy energetyki wiatrowej, stan aktualny i perspektywy rozwoju morskich farm wiatrowych, elementy konstrukcyjne morskich turbin wiatrowych oraz infrastrukturę przesyłania energii na...
-
Nauka – edukacja – przemysł : synergiczna współpraca dla innowacyjności
PublicationW artykule przedstawiono zagadnienia dotycz ą ce relacji na styku nauka-edukacja- przemys ł w aspekcie efektywnej wspó ł pracy dla uzyskania odpowiedniego poziomu synergii w rozwi ą zywaniu problemów energetyki, w szczególno ś ci samowystarczalno ś ci energetycznej i konieczno ś ci wdra ż ania innowacyjnych rozwi ą za ń w tym obszarze. Odniesiono si ę do metod oceny prowadzenia bada ń naukowych w uczelniach...
-
Balistyka dla snajperów : Praktyczny poradnik. - J. A. Ejsmont. -
PublicationJest to pierwsza w Polsce książka z zakresu balistyki, opracowana dla snajperów, strzelców wyborowych, sportowych strzelców długodystansowych oraz myśliwych. W przystępny sposób przedstawiono w niej zagadnienia związane z balistyką wewnętrzną, zewnętrzną i końcową. Bardzo wnikliwie omówiono również celowniki optyczne, sposoby ich testowania i regulacji. Opisano zasady określania poprawek uwzględniających odległość od celu, położenie...
-
Wykorzystanie metody DEA w zarządzaniu opieką zdrowotną
PublicationCelem tego artykułu jest przedstawienie możliwości wykorzystania metody DEA do oceny efektywności funkcjonowania szpitali zarządzanych przez Wojewódzkie Oddziały Narodowego Funduszu Zdrowia (NFZ). Wykorzystano metodę Data Envelopment Analysis, pozwalającą na przeprowadzenie analizy względnej efektywności badanych jednostek. Uzyskane wyniki pozwalają na ustalenie efektywności lecznictwa szpitalnego w oddziałach wojewódzkich NFZ....
-
Numeryczny model terenu dla studium wykonalności inwestycji
PublicationAutorzy prezentują możliwość pozyskania numerycznego modelu terenu (lądu i dna morskiego) w oparciu o korelację pomiarów fotogrametrycznych i batymetrycznych. Prezentują autorskie opracowanie geoinformatyczne połączone z wdrożeniem na przykładzie wybranej inwestycji w strefie brzegowej Morza Bałtyckiego.
-
Międzynarodowa nagroda NO-DIG 2011 dla Projektu Warszawskiego
PublicationMiędzynarodowa nagroda NODIG za 2011 dla projektu warszawskiego Czajka. Ogólna informacja, przezentacja.
-
Moduł komunikacji bezprzewodowej dla bezzałogowego statku latającego
PublicationW artykule przedstawiono projekt modułów komunikacji bezprzewodowej przeznaczonych do zastosowania w Bezzałogowych Statkach Latających. Przedstawiono opis i zasadę działania poszczególnych podzespołów wchodzących w skład urządzenia oraz opis zaprojektowanego protokołu komunikacyjnego wraz z jego funkcjonalnościami. Ze względu na zasilanie bateryjne modułu powietrznego zastosowane zostały techniki zmniejszenia zużycia energii.
-
Doradztwo dla strategii rozwoju innowacyjnego w MSP
PublicationOmówiono procesy rozwoju innowacji w MSP na współczesnym rynku. Scharakteryzowano doradztwo jako instrument wsparcia innowacyjnego rozwoju MSP w rozwiniętych krajach UE. Zaprezentowano proces doradztwa podstawowego dla strategii innowacyjnego rozwoju w MSP w Polsce. Przedstawiono doradztwo zaawansowane dla strategii innowacyjnego rozwoju w MSP w Polsce.
-
Opony i nawierzchnie drogowe dla samochodów elektrycznych
PublicationOd czasu wynalezienia koła, które to wydarzenie miało miejsce około 6 tys. lat temu, rozpoczęła się era transportu kołowego trwająca do dzisiaj. W początkowym okresie koło, a często walec, wykorzystywane były jedynie do przesuwania ciężkich przedmiotów na niewielkie odległości. Potem pojawiły się pojazdy kołowe napędzane siłą mięśni zwierząt pociągowych. Dopiero pod koniec XVIII wieku zbudowano pierwsze pojazdy, które możemy zakwalifikować...
-
DEA JAKO METODA OCENY NIEMEDYCZNYCH DETERMINANT ZDROWIA
PublicationSystemy opieki zdrowotnej ze względu na uwarunkowania społeczno-ekonomiczne, takie jak wydłużanie się długości życia, starzenie się społeczeństwa, rozwój technologii medycznych i wysokie koszty funkcjonowania, muszą dbać o efektywność. Celem artykułu jest przedstawienie modelu pomiaru i oceny wpływu czynników ryzyka na zdrowie, z wykorzystaniem metody Data Envelopment Analysis. Analizę przeprowadzono dla 34 krajów OECD dla lat...
-
Strategie wzrostowe dla Neptun Ship Service Ltd.
PublicationW ekspertyzie przeprowadzono ewaluację strategii wzrostowych dla firmy Neptun Ship Service Ltd.
-
Badanie sieci świadomości sytuacyjnej dla infrastruktury elektroenergetycznej
PublicationWspółczesne systemy elektroenergetyczne są narażone na nowe rodzaje zagrożeń. Są one spowodowane lukami w zabezpieczeniach oraz słabościami architektonicznymi związanymi z szerszym zastosowaniem technologii teleinformatycznych (ICT) w tych systemach. Połączenie sieci elektroenergetycznych z Internetem naraża je na nowego rodzaju niebezpieczeństwa, takie jak ataki APT (ang. Advanced Persistent Threats) lub rozproszona odmowa usługi...
-
Ultradźwiękowy moduł antymaskingu dla czujek ruchu PIR
PublicationPrzedstawiono podstawowe założenia, jakie powinien spełniać moduł funkcji antymaskingu, stosowany wraz z czujnikami ruchu opartymi o technologię PIR, umożliwiający spełnienie podstawowych wymagań zawartych w normach serii EN50131. W oparciu o wymagania, stworzono układ spełniający wszystkie wymagania zawarte w normach i dostosowano go do zainstalowania w istniejących obudowach czujek. W pracy przybliżone zostaną podstawy teoretyczne...
-
Łukowa kładka dla pieszych podczas próbnego obciążenia
PublicationPraca zawiera wybrane charakterystyki łukowej kładki dla pieszych, w tym opis badań podczas próbnego obciążenia, reprezentatywne wyniki pomiarów i analizy MES. Szczególną uwagę zwrócono na problem dynamiczny. Ten bardzo efektowny od strony estetycznej obiekt, ze względu na przyjęty schemat statyczny oraz niewielki ciężar, tak jak większość lekkich mostów dla pieszych, w łatwy sposób ulega znacznym wzbudzeniom. W wyniku badań stwierdzono,...
-
Wartość wiedzy dla współpracy nauki i biznesu
PublicationBudowanie przewagi konkurencyjnej na podstawie kapitału ludzkiego stanowi istotę gospodarki opartej na wiedzy. Krytyczną wartością współczesnego przedsiębiorstwa jest zatem wiedza i kapitał intelektualny. Efektywny sposób zarządzania nimi wpływa bezpośrednio na poziom kreatywności i innowacyjności. W konsekwencji stanowi główny trzon w procesie budowania konkurencyjnej pozycji przedsiębiorstwa w dynamicznie zmieniającym się otoczeniu....
-
Kwaternionowy system kryptograficzny dla zabezpieczania danych multimedialnych
PublicationProblemem badawczym, którego dotyczy rozprawa jest kryptograficzne zabezpieczanie danych multimedialnych, głównie obrazów i sygnałów video, przed działaniami niepowołanych osób i organizacji, chcących uzyskać do nich dostęp i mieć możliwość ich nielegalnego wykorzystania oraz modyfikacji. W rozprawie wykazano, że wykorzystanie właściwości rachunku kwaternionowego umożliwia zbudowanie kwaternionowego systemu kryptograficznego dla...
-
Oczyszczalnie hydrofitowe dla miejscowości turystycznej – studium przypadku
PublicationTematem artykułu jest możliwość zastosowania oczyszczania ścieków bytowych metodą hydrofitową w małych miejscowościach turystycznych. Miejscowości takie charakteryzują się zmienną liczbą mieszkańców w ciągu roku, co wiąże się ze znacznymi wahaniami ilości i jakości dopływających ścieków. W artykule scharakteryzowano i porównano wariantowe konfiguracje oczyszczalni hydrofitowych możliwych do zastosowania jako lokalne oczyszczalnie...
-
Równowaga strategiczna dla zbiorów defensywnych w drzewach
PublicationW 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...