Filtry
wszystkich: 698
wybranych: 623
-
Katalog
- Publikacje 623 wyników po odfiltrowaniu
- Czasopisma 1 wyników po odfiltrowaniu
- Osoby 34 wyników po odfiltrowaniu
- Wynalazki 1 wyników po odfiltrowaniu
- Projekty 5 wyników po odfiltrowaniu
- Laboratoria 1 wyników po odfiltrowaniu
- Kursy Online 29 wyników po odfiltrowaniu
- Wydarzenia 3 wyników po odfiltrowaniu
- Dane Badawcze 1 wyników po odfiltrowaniu
Filtry wybranego katalogu
Wyniki wyszukiwania dla: TWIERDZENIE PORÓWNAWCZE
-
Czy warto pić wodę butelkowaną? Analiza porównawcza jakości wody z gdańskich ujęć podziemnych i wody butelkowanej
PublikacjaŻycie ludzkie nierozłącznie wiąże się z obecnością wody. Woda stanowi zarówno element organizmu ludzkiego, jak i środowiska. Prawidłowe funkcjonowanie człowieka w dużej mierze zależy od regularnego dostarczania organizmowi niezbędnej dawki wody oraz odpowiedniej ilości składników mineralnych. Celem pracy była analiza porównawcza jakości wody wodociągowej pochodzącej z ujęć podziemnych oraz dostępnych na rynku wód butelkowanych...
-
Delay integro-differential inequalities with initial time difference and applications.
PublikacjaPraca dotyczy nierówności różniczko-całkowych z opóźnionymi argumentami przy różnych warunkach początkowych. Przy pewnych założeniach (m.in. monotoniczność, jednostronny warunek Lipschitza) sformułowano twierdzenia porównawcze dla rozwiązań w.w nierówności. Pokazano zastosowania w technice iteracji monotonicznych i sformułowano warunki dostateczne na istnienie rozwiązań ekstremalnych dla równań różniczkowo-całkowych z odchylonymi...
-
Grupy banków w skoncentrowanym środowisku – analiza porównawcza grup dużych, średnich i małych banków w Macedonii i Chorwacji
PublikacjaCel - przedstawienie sytuacji w chorwackim i macedońskim sektorze bankowym odnośnie zmian będących skutkiem procesów konsolidacyjnych oraz analiza porównawcza zmian zachodzących w 3 grupach banków: dużych, średnich i małych w omawianych krajach Metoda badania – Wykorzystane metody badawcze obejmują studia literatury, głównie zagranicznej, oraz analizę danych finansowych oraz raportów Banku Centralnego w Chorwacji i Macedonii. Wyniki...
-
An improved high-speed residue-to-binary converter based on the chinese remainder theorem
Publikacjaw pracy zaprezentowano nowy szybki konwerter z systemu resztowego do systemu binarnego. Projekcje ortogonalne wyznaczane są przy użyciu funkcji logicznych pięciu zmiennych. Suma projekcji obliczana jest z zastosowaniem drzewa Wallace'a. Wektor sumy i wektor przeniesienia są dzielone na segmenty tak aby liczba reprezentowana łącznie przez obydwa segmenty o młodszych wagach nie przekraczała zakresu systemu resztowego,M. Bity segmentów...
-
A reliable synthesis of discrete-time H-inf control. Part I: basic theorems and J-lossless conjugators
PublikacjaThe paper gives a basis for solving many problems of numerically reliable synthesis of sub-optimal discrete-time control in H-inf. The approach is based on J-lossless factorisation of the delta-domain chain-scattering description of continuous-time plants being controlled. Relevant properties of poles and zeroes of chain-scattering models are given. Necessary and sufficient conditions for the existence of stabilising J-lossless...
-
FPGA implementation of reverse residue conversion based on the new Chinese Remainder Theorem II- Part I
PublikacjaW pracy opisano implementację algorytmu konwersji z systemu resztowego do systemu binarnego opartą na nowej formie chińskiego twierdzenia o resztach określanego jako CRT II.Nowa forma CRT nie wymaga operacji modulo M , gdzie M jest zakresem liczbowym systemu resztowego, jednak wymagana jest pewna liczba mnożników. W środowisku FPGA jest zwykle dostępne są mnożniki, stąd mogą być one wykorzystane do realizacji konwertera. Głównym...
-
Bifurkacje z łamaniem symetrii w zagadnieniu różniczkowo-funkcyjnym opisującym nieliniowe deformacje biologicznego klastra: metody wariacyjne
PublikacjaW pracy doktorskiej badane są matematyczne własności obiektu o elastycznym, wolnym brzegu, który został nazwany biologicznym klastrem. Brzeg klastra umocniony jest przy pomocy elastycznych połączeń z jądrem i jest wypełniony sprężonym gazem. Praca składa się z trzech rozdziałów. Pierwszy z nich ma charakter wprowadzający. Przypomniane są w nim pojęcia i fakty z zakresu analizy funkcjonalnej. Wprowadzone są definicje, twierdzenia...
-
Analiza porównawcza dobowych wykresów obciążeń polskich elektrowni szczytowo-pompowych z krzywymi dobowego wytwarzania mocy w krajowym systemie elektroenergetycznym.
PublikacjaPrzeanalizowano zależności pomiędzy krzywymi dobowego wytwarzania mocy w KSE a grafikami dobowych obciążeń krajowych elektrowni szczytowo-pompowych. Badania wykonano dla roku 2000 i 2001 i ograniczono do elektrowni: Żarnowiec i Porąbki - Żar. Analiza objęła dla każdego miesiąca charakterystyczne dni robocze, charakterystyczne dni sobotnie i niedzielne oraz wszystkie dni świąteczne obowiązujące w Polsce. Materiałem badawczym są...
-
Analiza porównawcza procesów tłumienia i wygładzania fali ciśnienia w trakcie nieustalonego przepływu w rurociągach wykonanych z różnych materiałów.
PublikacjaUderzenie hydrauliczne jest uważane za jeden z najważniejszych problemów nieustalonego przepływu w przewodach, dlatego nadal stanowi obiekt badań wielu naukowców. To zagadnienie może być badane na dwóch poziomach: praktycznym i teoretycznym. W artykule zaprezentowane zostały wyniki badań doświadczalnych przeprowadzonych na stanowisku pomiarowym nieustalonego przepływu, funkcjonującym w Laboratorium Hydraulicznym Wydziału Inżynierii...
-
Grupowanie i ocena parametrów elektryczno ruchowych trolejbusowego układu zasilania metodą analizy głównych składowych
PublikacjaJednym z podstawowych typów badań i analiz wykonywanych w różnych gałęziach nauki są analizy porównawcze. W tego typu badaniach mamy do czynienia z wieloma obiektami, które są charakteryzowane za pomocą różnych parametrów, często wyrażonych w różnych jednostkach fizycznych. Celem wielowymiarowej analizy porównawczej jest znalezienie zależności pomiędzy parametrami poszczególnych obiektów i ich grupowanie na podstawie podobieństw....
-
FPGA implementation of reverse residue conversion based on the new Chinese Remainder Theorem II- Part II,- Experimantal results
PublikacjaW pracy opisano realizację sprzętową konwertera z systemu resztowego do systemu binarnego. Konwerter jest oparty na nowej formie chińskiego twierdzenia o resztach CRT II. Teoretyczne aspekty takiej konwersji przedstawiono w części I. Implementację konwertera wykonano w środowisku Xilinx FPGA. Zaprezentowano ogólną architekturę konwertera, a także opisano realizację wybranych bloków. Podano ilość koniecznych zasobów sprzętowych...
-
Analiza porównawcza metod predykcji chwili zgodności fazowejw automatycznym synchronizatorze prądnic = Comparison of the methods of prediction time phase coincidence in automatic synchronizer of power generators
PublikacjaW artykule porównano dokładność wybranych metod realizacji warunku fazowego podczas synchronizacji obiektów elektroenergetycznych. Do porównania wybrano trzy metody: liniową, wielomianową oraz metodę adaptacyjnej synchronizacji prądnic z ekstrapolacją funkcją wymierną. Badania przeprowadzono dla różnych warunków pracy. Przyjęto stałą różnicę częstotliwości napięć synchronizowanych obiektów, różnicę częstotliwości zmieniającą się...
-
Badania porównawcze docierania powierzchni płaskich elementów miedzianych, ceramicznych i z węglików spiekanych = Comparative research of lapping of flat surfaces of parts made from copper, ceramics and sintered carbides
PublikacjaPrzedstawiono badania porównawcze jakości i intensywności docierania elementów miedzianych, ceramicznych i z węglików spiekanych. Analizowano skażenie powierzchni miedzi ścierniwem oraz porównano mechanizmy usuwania materiału w przypadku obróbki metali i ceramiki.
-
Substituent effects on ^15N NMR chemical shifts in selected N-alkylthiohydroxamic acids. A comparative study
PublikacjaNa podstawie widm 15N NMR przeanalizowano wpływy podstawników wybranych kwasów tiohydroksamowych na przesunięcia chemiczne N-15. Analiza porównawcza z przesunięciami chemicznymi strukturalnie podobnych amidów, tioamidów i kwasów hydroksamowych pozwoliła na stwierdzenie, że nie zatłoczenie steryczne a grupa N-OH jest odpowiedzialna za osłabienie efektów odsłaniających zarówno podstawników bezpośrednio związanych z atomem azotu jak...
-
Effective residue-to-binary converter with the Chinese Remainder Theorem
PublikacjaKonwersja liczb z systemu resztowego do systemu binarnego jest podstawową operacją we wszystkich układach cyfrowego przetwarzania sygnałów, które wykorzystują system resztowy. W niniejszej pracy zaproponowano nową metodę konwersji opartą o chińskie twierdzenie o resztach dla modułów 5- i 6-bitowych. Specyficzną cechą nowej metody jest sposób obliczania tzw. współczynnika nadmiaru w formule chińskiego twierdzenia o resztach, co...
-
Stateczność samopodnoszących pełnomorskich platform wiertniczych w fazie eksploatacji
PublikacjaWspółczynnik bezpieczeństwa platformy Petrobaltic na moment obrotowy (stateczność ogólna) oszacowany przy założeniu, że konstrukcja jest traktowana jako układ słupów połączonych sztywnym pokładem, z korekcją efektów drugiego rzędu. Przemieszczenie poziome pokładu platformy wyznaczone, stosując odpowiedni model MES. Siła krytyczna nogi obliczona przy założeniu jej utwierdzenia w dnie morza. Wpływ odchyłki od idealnej geometrii rur...
-
Ekspertyza porównawcza w zakresie możliwości wykorzystania standardów komunikacyjnych do zastosowania w systemie zdalnego automatycznego odczytu ciepłomierzy na potrzeby przedsiębiorstwa energetyki cieplnej Geotermia Podhalańska S.A.
PublikacjaCelem ekspertyzy było porównnie zakresu możliwości wykorzystania standardów komunikacyjnych do zastosowania w systemie zdalnego automatycznego odczytu ciepłomierzy
-
Implicit difference methods for nonlinear first order partial differential equations
PublikacjaW pracy klasyczne rozwiązania początkowo brzegowych problemów dla nieliniowych równań różniczkowych, szacowane są przez rozwiązania quasiliniowych układów uwikłanych równań różnicowych. Dowód zbieżności rozważanych metod opiera się na technice porównawczej z nieliniowym oszacowaniem typu Perrona dla funkcji danych. To nowe podejście do uwikłanych metod różnicowych dla równań nieliniowych opiera się na quasilinearyzacji tych metod...
-
Ocena oddziaływania na krajobraz. Przypadek Rospudy. Cz. II.
PublikacjaW artykule, który ma charakter polemiczny, zaprezentowane zostały szczegółowe zagadnienia związane z doborem kryteriów do oceny porównawczej wariantów pod kątem ich oddziaływania na krajobraz, oraz z oceną znaczenia skutków w krajobrazie. Przedstawiono aspekty teoretyczne związane z oceną znaczenia skutków w krajobrazie, w tym omówiono etapy prac oraz ogólne kryteria nadawania znaczeń. Następnie zaprezentowano szczegółowe kryteria...
-
Badania radiograficzne porównawcze złączy spawanych rur według PN-EN 1435oraz dotychczasowych norm polskich. Zesz. Probl. Badania Nieniszczące**2002 nr 7 s. 47-54, 4 rys. 8 tab. bibliogr. 6 poz.
PublikacjaW pracy przedstawiono cele przeprowadzonych badań. Pierwszym była próba u-stalenia jak w praktyce przedstawiają się wyniki badań związane z ich dok-ładnością, a więc jakością radiogramów. Drugim celem badań było porównaniedokładności badań radiograficznych złączy spawanych rur prowadzonych wedługdotychczasowych norm z wielkościami uzyskanymi przy zastosowaniu normyPN-EN 1435.
-
Możliwości formalizacji procesów zarządzania przedsięwzięciami z wykorzystaniem teorii zbiorów rozmytych.
PublikacjaCzęsto w literaturze pojawia się twierdzenie, że zarządzanie przedsięwzięciami jest bardziej sztuką niż planowaną metodą postępowania. Takie stwierdzenie wynika z faktu, że w trakcie prac projektowych podejmowane przez kierownika zespołu decyzje są wynikiem trudnych do planowania procesów, jak np. zmiana składu zespołu (nasz najlepszy programista może zostać ''podkupiony'' przez konkurencyjną firmę). Z tego też powodu wielu...
-
Numerical approximations of parabolic functional differential equations on unbounded domains
PublikacjaSkonstruowano schematy różnicowe zagadnień początkowych dla nieliniowych parabolicznych równań różniczkowo funkcyjnych. Przedstawiono twierdzenie o oszacowaniu błędu rozwiązań przybliżonych dla równań różnicowo funkcyjnych typu Volterry z niewiadomą funkcją kilku zmiennych. Udowodniono twierdzenie o zbieżności jawnych schematów różnicowych. Podano przykłady numeryczne.
-
Caratheodory solutions to quasi-linear hyperbolic systems of partial differential equations with state dependent delays
PublikacjaW pracy udowodniono twierdzenie o istnieniu i jednoznaczności rozwiązań oraz o ich ciągłej zależności od warunków początkowych dla układów równań różniczkowych cząstkowych z opóźnionym argumentem, zależnym od funkcji niewiadomej. Posłużono się metodą bicharakterystyk a istnienia dowiedziono stosując twierdzenie Banacha o punkcie stałym.
-
Ocena stanu technicznego rurociągu przesyłowego zawiesiny popiołów w Elektrowni Ostrołęka B
PublikacjaPrzedmiotem pracy był rurociąg przesyłowy zawiesiny popiołów przesyłanych z Elektrowni Ostrołęka B. Celem pracy było potwierdzenie przynależności próbek yvyciętych z rurociągu do określonego gatunku stali i ocena stanu materiału po eksploatacji. Dla zrealizowania tego celu wykonano: - analizę składu chemicznego materiału pobranego ze stalowych rur, - mikroanalizę warstw wierzchnich na powierzchni wewnętrznej i zewnętrznej, -...
-
The Conley index, cup-length and bifurcation
PublikacjaZastosowano strukturę modułu w indeksie kohomologicznym Conleya do dowodu twierdzenia o minimalnej ilości rozwiązań okresowych dla układów Hamiltonowskich. Wykazano też ogólne twierdzenia dotyczące nietrywialności struktury mudułu.
-
Algorytmy analizy porównawczej dla potrzeb systemów wyszukiwania obrazów medycznych.**2002, 134 s. bibliogr. 198 poz. maszyn. Rozprawa doktorska /13.12.2002/ WETI PG. Promotor: prof. dr hab. inż. A. Nowakowski, prof. zw. PG.
PublikacjaPodstawowym celem projektu było opracowanie, implementacja i weryfikacja e-fektywnych algorytmów analizy porównawczej dla potrzeb wyszukiwania i inter-pretacji danych wielomedialnych obrazów medycznych i ich sekwencji czaso-wych. W wyniku realizacji projektu opracowano: system gromadzenia i prezen-tacji danych zgodnie z normą DICOM, metodę dwuetapowej segmentacji obrazówstosując filtrację histogramu oraz łączenie serii...
-
Box-splines orthogonal projections.
PublikacjaUogólniono twierdzenie Sweldensa i Piessensa na pudełkowe funkcje gięte. Podano formułę asymptotyczną dla funkcji o ograniczonej wariacji.
-
Ergodic type theorems for Gaussian systemstwierdzenia typu ergodycznego dla układów gaussowskich
PublikacjaUdowodniono twierdzenie typu ergodycznego dla zmiennych losowych będących złożeniem zmiennych losowych gaussowskich z funkcjami z odpowiedniej klasy.
-
Differential-algebraic systems with initial time difference
PublikacjaO funkcjach występujących w zagadnieniu zakładano m.in. warunek typu Perrona uzyskując pewne wyniki porównawcze dla zagadnień różniczkowo-algebraicznych startujących z różnych punktów początkowych. Wyniki porównawcze uzyskano również wykorzystując odpowiednią funkcję typu Lapunova. Sformułowane zostały warunki dostateczne na to aby rozwiązanie było stabilne.
-
Periodicity of a sequence of local fixed point indices of iterations
PublikacjaPraca uogólnia klasyczne twierdzenie Shuba i Sullivana o periodyczności ciągu indeksów punktu stałego iteracji odwzorowań gładkich na szerszą klasę przekształeń.
-
Fingerprint comparison of low-volatile petroleum products by means of Thin Layer Chromatography (TLC) for identification of process leakages and environmental pollution
PublikacjaW pracy zbadano możliwość zastosowania stosunkowo prostej i szybkiej procedury przygotowania próbki, rozdzielania grup składników techniką cienkowarstwowej chromatografii cieczowej (TLC), wizualizacji w świetle UV 254 oraz 360 nm i analizy porównawczej cech plamek na płytkach TLC do określenia rodzaju niskolotnego materiału ropopochodnego stanowiącego zanieczyszczenie wód procesowych, lub wyciek z instalacji w rafinerii ropy naftowej....
-
Fixed point theorems for weakly commuting and compatible multi-valued mappings.
PublikacjaW pracy podano twierdzenia o wspólnych punktach stałych czwórki odwzorowań: dwóch jednowartościowych T i S oraz dwóch wielowartościowych F i G, spełniających nieliniowy uogólniony warunek kontrakcyjny, przy pewnych założeniach dotyczących uogólnionej komutatywności T,S i F,G. W pracy zamieszczono przykłady ilustrujące udowodnione twierdzenia.
-
Investigation of properties of M3x14 screws
PublikacjaWykonano badania porównawcze własności dwóch partii wkrętów M3x14. Sformułowano wnioski.
-
A new approach to numerical solution of fixed-point problems and its application to delay differential equations
PublikacjaW pracy rozpatruje się pewne aproksymacje punktu stałego ciągłego operatora A odwzorowującego przestrzeń metryczną w siebie. Wspomniany punkt stały przybliża się tzw. epsilon przybliżonym punktem stałym z przestrzeni skończenie wymiarowej. Udowodnione zostało twierdzenie dające warunki konieczne i dostateczne istnienia punktu stałego w ogólnej przestrzeni metrycznej. Warunki te wyrażone są w terminach epsilon przybliżonego punktu...
-
Comparative study with magnetic techniques of P91 and 13HMF steels properties subjected to fatigue tests
PublikacjaWykonano badania porównawcze technikami magnetycznymi właściwości stali P91 i 13HMF poddanych testowi zmęczenia
-
RNS reverse converter based on the new chinese remainder theorem.
PublikacjaPrzeanalizowano złożoność układu cyfrowego opartego na nowej odmianie chińskiego twierdzenia o resztach.
-
States of light via reducible quantization.
PublikacjaRelatywistyczne sformułowanie kwantowania pola opartego o redukowalne reprezentacje kanonicznych związków komutacyjnych. Konstrukcja stanów fokowskich i koherentnych. Analiza automatycznej regularyzacji rozbieżności w podczerwieni. Twierdzenie o granicy termodynamicznej.
-
Mieszanie w klasie niejednorodnych łańcuchów Markowa i kwadratowych operatorów stochastycznych
PublikacjaRozprawa doktorska poświęcona jest zagadnieniu asymptotycznych własności w klasie nieskończenie wymiarowych niejednorodnych łańcuchów Markowa z czasem dyskretnym oraz w klasie kwadratowych operatorów stochastycznych. W pierwszej kolejności definiowane są różne rodzaje asymptotycznego zachowania (mieszania) niejednorodnych łańcuchów Markowa odpowiadające zbieżności w normowej i mocnej topologii operatorowej oraz omówione są relacje...
-
Positive solutions of one-dimensional p-Laplacian boundary value problems for fourth-order differential equations with deviating arguments
PublikacjaPraca dotyczy istnienia dodatnich rozwiązań dla równań różniczkowych rzędu czwartego z warunkami brzegowymi z odchylonymi argumentami. Stosując twierdzenie o punkcie stałym dla stożków podano warunki dostateczne na istnienia takich rozwiązań.
-
Positive solutions for three-point one-dimensional p-Laplacian boundary value problems with advanced arguments [online]
PublikacjaPraca dotyczy problemów istnienia dodatnich rozwiązań dla trzy-punktowych zagadnień brzegowych z wyprzedzonymi argumentami. Zastosowano twierdzenie Avery-Petersona o punkcie stałym aby uzyskać warunki dostateczne na istnienie conajmniej trzech dodatnich rozwiązań.
-
Conley type index applied to Hamiltonian inclusions
PublikacjaPodano dowód istnienia nietrywialnych rozwiązań okresowych dla inkluzji Hamiltonowskich, z potencjałem lokalnie Lipschitzowskim, okresowym, uogólniając klasyczne twierdzenie Ammana- Zehndera. Użyto techniki z teorii indeksu Conley'a dla wielowartościowych potoków w przestrzeni Hilberta.
-
Multimedia data mining for e-Commerce.
PublikacjaPrzedstawiono studium porównawcze metod eksploracji danych dla e-Commerce.Skupiono się na studium przypadku aplikacji medycznych - wyszukiwania przypadków podobnych.
-
Saturation of Bernstein Schnabl operators.
PublikacjaW pracy dowodzi się twierdzenia o nasyceniu dla operatorów Bernsteina-Schnabla nad sympleksem Bauera w przestrzeni Banacha.
-
Fala stojąca Stokesa - aproksymacja ciśnienia hydrodynamicznego 2 czy 5 rzędu?
PublikacjaOmówienie rozwiązania dla ciśnienia hydrodynamicznego pod falą stojącą Stokesa metodą perturbacji. Numeryczna analiza porównawcza rozwiązania dla oscylacji ciśnienia hydrodynamicznego w aproksymacji drugiego i piątego rzędu. Analiza porównawcza siły hydrodynamicznej obciążającej falochron pionowościenny, obliczonej zgodnie z aproksymacją fali stojącej Stokesa 2 i 5 rzędu.
-
Istnienie i regularność heteroklinicznych rozwiązań równania Allena-Cahna z anizotropowym operatorem eliptycznym
PublikacjaCelem rozprawy jest udowodnienie dwóch twierdzeń dotyczących równań różniczkowych cząstkowych typu eliptycznego. Pierwsze mówi o regularności słabych rozwiązań pewnej klasy równań z operatorem eliptycznym, który pochodzi od wypukłej i anizotropowej G-funkcji spełniającej odpowiednie warunki wzrostu. To twierdzenie jest pewnym uogólnieniem znanych wyników z izotropowymi warunkami wzrostu na przypadek operatorów anizotropowych. Drugie...
-
On quasi-compact Markov nets
PublikacjaAnalizuje się strukturę ergodyczną netów Markowa. W szczególności podano charakteryzację ściśle ergodycznych minimalnych (L-R) netów markowskich na zwartej przestrzeni fazowej. Uzyskano warunki równoważne quasi-zwartości (L-R) netów Markowa, rozszerzając tzw. ergodyczne twierdzenie Lotz'a.
-
Efektywna eksploatacja żurawi przenośnych w logistycznej sieci dystrybucji.
PublikacjaPrzedstawiono porównawczo warianty samochodowych jednostek transportowych w sieci dystrybucji.
-
Initial problems for neutral functional differential equations with unbounded delay.
PublikacjaSformułowano układ aksjomatów dla przestrzeni fazowej . Wykazano istnienie jednoznaczności rozwiązań zagadnienia Cauchy´ego. Dowód wykorzystuje metody porównawcze z nieliniowymi oszacowaniami dla danej funkcji.
-
Antypodalna radiowa liczba chromatyczna grafu.
PublikacjaOpisane zostały podstawowe zasady i właściwości antypodalnego kolorowania grafów. Zebrano publikowane w literaturze przedmiotu twierdzenia i uzupełniono wnioskami wynikającymi z własnych badań.
-
Indices of interations and periodic points of simplical maps of smooth type
PublikacjaW pracy dowodzi się symplicjalnego odpowiednika twierdzenia Chowa, Mallet-Paret i Yorke´a. Otrzymany wynik służy do badania punktów periodycznych odwzorowań symplicjalnych gładkiego typu.