Search
Search results for: TWIERDZENIE MAZURA-ORLICZA
-
Istnienie i regularność heteroklinicznych rozwiązań równania Allena-Cahna z anizotropowym operatorem eliptycznym
PublicationCelem 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...
-
Twierdzenie - rysunek
Publication -
Grafo-mania, czyli rzecz o grafach i algorytmach. Twierdzenie o czterech barwach
PublicationPrzedstawiono istotę i historię twierdzenia o 4 barwach.
-
No-local-broadcasting theorem for multipartite quantum correlations
PublicationWe prove that the correlations present in a multipartite quantum state have an operational quantum character even if the state is unentangled, as long as it does not simply encode a multipartite classical probability distribution. Said quantumness is revealed by the new task of local broadcasting, i.e., of locally sharing preestablished correlations, which is feasible if and only if correlations are stricly classical. Our operational...
-
Gdańskie Centrum Handlowe - Manhattan.
PublicationOpis realizacji obiektu zaprojektowanego przez arch. arch. W Targowskiego, A. Taraszkiewicz i P. Mazura.
-
Mazur-Orlicz theorem and asymptotic formula for the error in supreme norm.
PublicationObliczono formułę asymptotyczną błędu interpolacji dla normy supremum.
-
Wojciech Jędruch dr hab. inż.
People -
Numerical approximations of parabolic functional differential equations on unbounded domains
PublicationSkonstruowano 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
PublicationW 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.
-
Ergodic type theorems for Gaussian systemstwierdzenia typu ergodycznego dla układów gaussowskich
PublicationUdowodniono twierdzenie typu ergodycznego dla zmiennych losowych będących złożeniem zmiennych losowych gaussowskich z funkcjami z odpowiedniej klasy.
-
Box-splines orthogonal projections.
PublicationUogólniono twierdzenie Sweldensa i Piessensa na pudełkowe funkcje gięte. Podano formułę asymptotyczną dla funkcji o ograniczonej wariacji.
-
Periodicity of a sequence of local fixed point indices of iterations
PublicationPraca 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ń.
-
A new approach to numerical solution of fixed-point problems and its application to delay differential equations
PublicationW 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...
-
States of light via reducible quantization.
PublicationRelatywistyczne 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.
-
Positive solutions of one-dimensional p-Laplacian boundary value problems for fourth-order differential equations with deviating arguments
PublicationPraca 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]
PublicationPraca 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
PublicationPodano 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.
-
On quasi-compact Markov nets
PublicationAnalizuje 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.
-
Generalized solution of mixed problems for first order partial differential equations with state dependent delays
PublicationW pracy zostało udowodnione twierdzenie o istnieniu i jednoznaczności rozwiązań dla zagadnień początkowo-brzegowych z cząstkowym równaniem różniczkowo-funkcyjnym z opóźnionym argumentem zależnym od funkcji niewiadomej. Użyto metody bicharakterystyk. Jednoznaczność rozwiązań wykazano metodą porównawczą, istnienie - metodą ciągów przybliżeń.
-
Generalized solutions of first order partial differential functional inequalities
PublicationW pracy rozważa się zagadnienia początkowo brzegowe dla nieliniowych równań różniczkowo funkcyjnych cząstkowych pierwszego rzędu. Podano dowód jednoznaczności rozwiązań uogólnionych. Oparty jest on na twierdzeniu porównawczym dla nierówności różniczkowo funkcyjnych w sensie Caratheodory'ego. Prezentowane jest twierdzenie o uogólnionych rozwiązaniach nierówności różniczkowo funkcyjnych.
-
Existence of positive solutions to second order four-point impulsive differential problems with deviating arguments [online]
PublicationW pracy dyskutowane są problemy brzegowe dla równań różniczkowych rzędu drugiego z impulsami i z odchylonymi argumentami. Badano przypadki dla argumentów opóźnionych i wyprzedzonych. Podano warunki które gwarantują, że omawiane problemy mają rozwiązania dodatnie. Zastosowano odpowiednie twierdzenie o punkcie stałym.
-
Bifurkacje z łamaniem symetrii w zagadnieniu różniczkowo-funkcyjnym opisującym nieliniowe deformacje biologicznego klastra: metody wariacyjne
PublicationW 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...
-
Degree of T-equivariant maps in R^n
PublicationW pracy przedstawiona jest konstrukcja niezmienniczego stopnia topologicznego dla odwzorowań z symetriami działających na przestrzeni euklidesowej z inwolucją. Udowodnione jest twierdzenie, że dwa dopuszczalne i gradientowe odwzorowania niezmiennicze są niezmienniczo homotopijne wtedy i tylko wtedy, gdy są one homotopijne niezmienniczo i gradientowo.
-
Positive solutions for fourth-order differential equations with deviating arguments and integral boundary conditions
PublicationBadane są problemy brzegowe dla równań różniczkowych rzędu czwartego z odchylonymi argumentami i z warunkami brzegowymi typu całkowego. Sformułowano twierdzenie dotyczące istnienia dodatnich rozwiązań takich problemów. W dowodzie korzystano z tw. Avery-Petersona o punktach stałych dla stożków. Podano przykład ilustrujący otrzymane wyniki.
-
Implicit difference functional inequalities and applications
PublicationKlasyczne rozwiązania problemów początkowych przybliżane są rozwiązaniami uwikłanych metod różnicowych. Wykazana została zbieżność i stabilność uwikłanych schematów. Przy założeniu, że funkcje dane spełniają nieliniowe oszacowanie typu Perrona względem argumentu funkcyjnego, udowodniono stabilność metody uwikłanej, wykorzystując twierdzenie porównawcze dla funkcji spełniających uwikłane nierówności różnicowe typu Volterry.
-
Some remarks on the Euler ring U(G)
PublicationNiech G będzie zwartą grupą Liego i niech U(G) oznacza pierściń Eulera G skonstruoawany przez tom Diecka w [5,6]. Główny wynikpracy (Twierdzenie 4.1) opisuje homomorfizm pierścienia U(SO(3)) w pierścień U(SO(2))indukowany przez włożenie grupy SO(2) w grupę SO(3).
-
Multiple solutions of boundary-value problems for fourth-order differential equations with deviating arguments
PublicationPraca dotyczy równań różniczkowych rzędu czwartego z warunkami brzegowymi i odchylonymi argumentami. Podano wystarczające warunki, dla których problemy dotyczące takich równań mają dodatnie rozwiązania. W pracy rozważa się przypadki kiedy argumenty odchylone są typu opóźnionego lub wyprzedzonego. W celu zapewnienia istnienia przynajmniej trzech dodatnich rozwiązań wykorzystano twierdzenie Avery-Petersona.
-
Dynamic inequalities and equations of Volterra type on time scales
PublicationPraca dotyczy całkowo-różniczkowych równań dynamicznych typu Volterry z warunkami początkowymi. Stosując twierdzenie Banacha o punkcie stałym pokazano istnienie jedynego rozwiązania liniowego równania dynamicznego. Stosując metodę iteracji monotonicznych pokazano istnienie rozwiązań ekstremalnych dla problemów nieliniowych. Badano też nierówności dynamiczne. Praca zawiera również uwagi dotyczące zagadnień różniczkowych i różnicowych.
-
High-speed residue-to-binary converter based on the Chinese RemainderTheorem.
PublicationPrzedstawiono szybki konwerter z systemu resztowego do systemu binarnego dla modułów 5-bitowych oparty o chińskie twierdzenie o resztach. Projekcje ortogonalne są generowane przy użyciu odwzorowania realizowanego przy zastosowaniu funkcji logicznych pięciu zmiennych. Wartość wyjściowa jest obliczana przy użyciu drzewaWallace'a z segmentacją wektorów wyjściowych i redukcją do 2M, M zakres liczbowy systemu oraz efektywny finalny...
-
Generalized solutions of mixed problems for first-order partial functional differential equations
PublicationW pracy udowodniono twierdzenie o istnieniu rozwiązań i ich ciągłej zależności od warunków początkowo brzegowych. Do przekształcenia zagadnienia oryginalnego w układ równań całkowo funkcyjnych typu Volterry użyto metody bicharakterystyk. Istnienie rozwiązań udowodnione jest metodą kolejnych przybliżeń, przy użyciu twierdzeń o nierównościach całkowych. Rozwiązania klasyczne układów równań całkowo funkcyjnych prowadzą do rozwiązań...
-
Jak gładkość generuje punkty periodyczne
PublicationJednym z ważnych problemów teorii układów dynamicznych i topologii jest pytanie, jaka jest najmniejsza liczba punktów stałych lub periodycznych w danej klasie odwzorowań. Na przykład klasyczne twierdzenie Brouwera stwierdza, że każde ciągłe odwzorowanie kuli domkniętej w siebie ma przynajmniej jeden punkt stały. Szczególnie interesujące staje się powyższe pytanie w odniesieniu do klasy homotopii danego odwzorowania f. Artykuł poświęcony...
-
Some methods of diagnosis of analog circuit using mixed signal test bus IEEE 1149.4
PublicationW artykule przedstawiono wybrane metody testowania i diagnostyki analogowych układów elektronicznych zamontowanych na pakiecie pomiędzy układami scalonymi wyposażonymi w magistralę IEEE 1149.4. Prezentowane metody dobrano pod kątem stopnia skomplikowania układów testowanych oraz specyficznych właściwości metrologicznych magistrali, które ograniczają możliwości pomiarowe i aplikacyjność metod. Rozważono trzy typy układów testowanych:...
-
Numerical conditioning of delta-domain Lyapunov and Riccati equations
PublicationW pracy rozważono problem uwarunkowania dyskretno czasowych równań Lapunowa oraz równań Riccatiego - to znaczy problem wrażliwości rozwiązań takich równań na odchyłki ich parametrów od nominalnych wartości. Zdefiniowano odpowiedni "różniczkowy" wskaźnik uwarunkowania oraz podano efektywną metodę szacowania jego wartości. Udowodniono teoretycznie - a także przekonująco zilustrowano na drodze numerycznej - twierdzenie głoszące, iż...
-
Conditions for measurement, analog-to-digital conversion and frequency analysis of irregularities of profile surface
PublicationPrzedstawiono uwarunkowania pomiaru, przetwarzania analogowo-cyfrowego i analizy częstotliwościowej nierówności powierzchni toczonych dla celów rozpoznawania ich głównych składowych. Przedstawiono ograniczenia w pomiarze igłą, która odwzorowuje nierówności poprzeczne. Podano zależności parametrów pomiaru cyfrowego nierówności warunkujące zakresy ich rozpatrywania. Dla wartości przedziału próbkowania, dla którego nie jest spełnione...
-
Two almost homoclinic solutions for second-order perturbed Hamiltonian systems
PublicationW niniejszym artykule badamy problem istnienia rozwiązań prawie homoklinicznych (rozwiązań znikających w nieskończonościach) dla układów Hamiltonowskich drugiego rzędu (układów Newtonowskich) z zaburzeniem. Nasz wynik jest uogólnieniem twierdzenia Rabinowitza-Tanaki o istnieniu rozwiązania homoklinicznego dla układów bez zaburzenia [Math. Z. 206 (1991) 473-499]. O zaburzeniu zakładamy, że jest dostatecznie małe w przestrzeni funkcji...
-
Problem niezależności rankingu dobrobytu od rozkładu odniesienia
PublicationW pracy analizowano problem niezależności porównań dobrobytu heterogenicznych gospodarstw domowych od typu gospodarstwa odniesienia. W takich porównaniach korzysta się ze skal ekwiwalentności, w których jednoosobowe, bezdzietne gospodarstwo domowe jest zwykle przyjmowane jako gospodarstwo odniesienia. W pracy udowodniono twierdzenie, które ustala wpływ wyboru gospodarstwa odniesienia na ranking rozkładów dochodów ekwiwalentnych,...
-
Kierunki rozwoju inteligentnych systemów produkcyjnych
PublicationNiniejszy rozdział jest konsekwentnym rozwinieciem wybranych wniosków pracy [8]. W szczególności nadal aktualne pozostaje twierdzenie, że projektowanie Elastycznych Systemów Sterowania Produkcją nalezy do kręgu podstawowych kierunków prac badawczych o istotnym znaczeniu w nauce o inzynierii i zarządzania produkcją. Zatem po charakteryzowaniu trendów interpretacji elastyczności systemów produkcyjnych przystąpiono do analizy jej...
-
Effective residue-to-binary converter with the Chinese Remainder Theorem
PublicationKonwersja 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...
-
Selektywne chłodzenie mózgu noworodka po Niedotlenieniu okołoporodowym. Część 1. Medyczne fakty oraz przegląd dostępnych rozwiązań systemów selektywnego chłodzenia mózgu
PublicationMózg ludzki jest organem delikatnym, dlatego tak ważne jest zadbanie o to, aby już w momencie przyjścia na świat noworodek miał zapewnioną, w razie konieczności możliwość minimalizacji uszkodzeń neurologicznych, spowodowanych niedotlenieniem okołoporodowym. Niedotlenienie to w dramatyczny sposób zaburza homeostazę mózgu, który jako organ najbardziej energochłonny potrzebuje najwięcej tlenu. Zapoczątkowane brakiem tlenu procesy...
-
Technika cyfrowego przetwarzania sygnałów
PublicationPodręcznik jest przeznaczony dla studentów kierunków Elektronika i telekomunikacja, Inżynieria biomedyczna oraz Automatyka i robotyka. Obejmuje on zagadnienia z zakresu cyfrowego przetwarzania sygnałów, przerabiane na takich przedmiotach jak Przetwarzanie sygnałów, Filtry cyfrowe, Zastosowania procesorów sygnałowych. Ma stanowić pomoc przy prowadzeniu zajęć z ćwiczeń tablicowych, zajęć laboratoryjnych czy projektu z zastosowań...
-
Multiple bifurcation in the solution set of the von Karman equations with S^{1}-symmetries
PublicationRozważmy cienką, sprężystą, kołową płytę, położoną na sprężystym podłożu, poddawaną działaniu sił ściskających koncentrycznie wzdłuż jej brzegu. Formy równowagi takiej płyty są rozwiązaniami równań von Karmana z dwoma parametrami określonych na dysku w R^{2}. Są to równania różniczkowe cząstkowe rzędu czwartego. Można je zapisać jako równanie operatorowe F(x,p)=0 w przestrzeniach Höldera, gdzie zmienna x odpowiada formom równowagi...
-
Podstawy pól i fal elektromagnetycznych
PublicationW pracy przedstawiono w sposób systematyczny podstawowe zagadnienia elektromagnetyzmu. Materiał zawarto w dwunastu rozdziałach, w których zagadnienia teoretyczne, o ile to było możliwe, ilustrowano przykładami przybliżającymi Czytelnikowi ich sens fizyczny. Początkowe rozdziały poświęcono narzędziom matematycznym stosowanym w analizie zagadnień polowych oraz przedstawieniu koncepcji pól: elektrycznego i magnetycznego. Następnie...
-
Możliwości formalizacji procesów zarządzania przedsięwzięciami z wykorzystaniem teorii zbiorów rozmytych.
PublicationCzę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...
-
Cassirer E. Język i mit. Przyczynek do zagadnienia imion bogów.Przekład, wstęp i opracowanie: Przemysław Parszutowicz.. Wydaw. Marek Drzewiecki,2021
PublicationRozprawa Cassirera pochodzi z najważniejszego bodaj okresu jego twórczości – okresu współpracy z Biblioteką Warburga – i mimo niewielkich rozmiarów jest w dużej mierze reprezentatywna, tak gdy idzie o wykorzystywaną przez niego metodę, jak i o główny obszar jego zainteresowań badawczych. Stanowi bezpośrednie nawiązanie do rozprawy Hermanna Usenera Götternamen. Versuch einer Lehre von der religiösen Begriffsbildung. Pod względem...
-
O imionach bogów
PublicationArtykuł omawia i analizuje Cassirerowską koncepcję imion bogów. Koncepcja ta pochodzi z najważniejszego bodaj okresu jego twórczości – okresu współpracy z Biblioteką Warburga – i mimo niewielkich rozmiarów jest w dużej mierze reprezentatywna, tak gdy idzie o wykorzystywaną przez niego metodę, jak i o główny obszar jego zainteresowań badawczych. Stanowi bezpośrednie nawiązanie do rozprawy Hermanna Usenera Götternamen. Versuch einer...
-
Selektywne chłodzenie mózgu noworodka po niedotlenieniu okołoporodowym. Cześć 2. Koncepcja hybrydowego systemu selektywnego chłodzenia mózgu noworodka
PublicationMózg ludzki jest organem delikatnym, dlatego tak ważne jest zadbanie o to, aby już w momencie przyjścia na świat noworodek miał zapewnioną, w razie konieczności możliwość minimalizacji uszkodzeń neurologicznych, spowodowanych niedotlenieniem okołoporodowym. Niedotlenienie to w dramatyczny sposób zaburza homeostazę mózgu, który jako organ najbardziej energochłonny potrzebuje najwięcej tlenu. Zapoczątkowane brakiem tlenu procesy...
-
Mieszanie w klasie niejednorodnych łańcuchów Markowa i kwadratowych operatorów stochastycznych
PublicationRozprawa 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...
-
Selektywne chłodzenie mózgu noworodka po niedotlenieniu okołoporodowym. Cześć 3. Hybrydowy system selektywnego chłodzenia mózgu noworodka
PublicationZapoczątkowane brakiem tlenu procesy biochemiczne mają zgubne skutki dla układu nerwowego, w szczególności rozwijającego się. Hipotermia, czyli stan oziębienia poniżej pewnych wartości temperatur, spowalnia znacznie lub całkowicie wyhamowuje poszczególne reakcje, i to leży u podstaw jej własności neuroprotekcyjnych. Powyższe twierdzenie poparte licznymi faktami naukowymi leży u podstaw koncepcji selektywnego chłodzenia mózgu i...
-
Geodezja wyższa i astronomia geodezyjna_2022
e-Learning CoursesTrygonometria sferyczna: linia trygonometryczna, własności trójkąta sferycznego; twierdzenie sinusów, cosinusów dla boków, cosinusów dla kątów oraz tangensów. Wzory Borda, analogie Nepera. Nadmiar sferyczny. Pole powierzchni trójkąta sferycznego. Wprowadzenie do geodezji wyższej: podział geodezji, kształt Ziemi, powierzchnie odniesienia, sieci geodezyjne. Elipsoida obrotowa spłaszczona jako powierzchnia odniesienia: elementarne...
-
Geodezja wyższa i astronomia geodezyjna - Ćwiczenia_2022
e-Learning CoursesTrygonometria sferyczna: linia trygonometryczna, własności trójkąta sferycznego; twierdzenie sinusów, cosinusów dla boków, cosinusów dla kątów oraz tangensów. Wzory Borda, analogie Nepera. Nadmiar sferyczny. Pole powierzchni trójkąta sferycznego. Wprowadzenie do geodezji wyższej: podział geodezji, kształt Ziemi, powierzchnie odniesienia, sieci geodezyjne. Elipsoida obrotowa spłaszczona jako powierzchnia odniesienia: elementarne...